harmony-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From "Mikhail Fursov" <mike.fur...@gmail.com>
Subject Re: [drvm][jit] ABCD does not eliminate upper bound check
Date Tue, 17 Apr 2007 05:34:16 GMT
On 4/17/07, Naveen Neelakantam <neelakan@uiuc.edu> wrote:
>
> But in general, other optimization passes can perform transformations
> that break important dataflow relationships between variables.  This
> sometimes makes it impossible for ABCD to prove that a particular
> bounds check is redundant (ABCD uses "constraints", which are derived
> from dataflow).
>
>
Naveen, if any of optimizations we have can break ABCD with Maxim's example,
it worth to be analyzed. I hope there are no such optimizations in JIT
today. If you know one we can proceed and check it: it may lead to
additional improvements in ABCD algorithm.

-- 
Mikhail Fursov

Mime
  • Unnamed multipart/alternative (inline, None, 0 bytes)
View raw message