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).
Naveen
On Apr 16, 2007, at 12:48 PM, Mikhail Fursov wrote:
On 4/17/07, Naveen Neelakantam <[EMAIL PROTECTED]> 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
