On 4/17/07, Naveen Neelakantam <[EMAIL PROTECTED]> 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
