[llvm-commits] ScalarEvolution fix for treeadd

Dan Gohman djg at cray.com
Wed Jul 25 16:00:00 PDT 2007

> I'm not sure why, but it doesn't seem as promising as the previous test
> I had. Could it be that when comparing the PDF I should ignore blocks
> that are not part of the loop?

If there are branches from outside the loop to blocks inside the loop
other than the loop header, then the exit branch may not be executed the
same number of times as the loop header.

Can you identify a testcase that doesn't involve an infinite loop where
the PDF test rejects a loop that the one of the other tests accepts?


Dan Gohman <djg at cray.com>

More information about the llvm-commits mailing list