harmony-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Naveen Neelakantam <neela...@uiuc.edu>
Subject Re: [drvm][jit] ABCD does not eliminate upper bound check
Date Mon, 16 Apr 2007 17:57:50 GMT
Actually, I retract that statement.  I just looked at opt.emconf and  
the loop peeling pass isn't run...  :-)

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).


On Apr 16, 2007, at 12:48 PM, Mikhail Fursov wrote:

> On 4/17/07, Naveen Neelakantam <neelakan@uiuc.edu> wrote:
>> I can take a look, but I suspect that the problem is caused by the
>> loop peeling pass.
>> Why do you think loop-peeling can do something bad here?
> -- 
> Mikhail Fursov

View raw message