[llvm-commits] [llvm] r150885 - /llvm/trunk/lib/Analysis/ScalarEvolutionExpander.cpp

Rafael Ávila de Espíndola rafael.espindola at gmail.com
Sat Feb 18 12:04:33 PST 2012


Looks like the problem was not the assert, but the dominate function!

When A is an invoke, the value is only available on the normal dest BB,
but the instruction is certainly not in that BB. That makes us conclude
that an invoke never dominates anything.

The attached patch fixes it. Is it the right fix? Should the value
produced by the invoke dominate the phis on the dest block (I think so,
but it is a corner case)..

Cheers,
Rafael
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: dominate.patch
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20120218/895b0a61/attachment.ksh>


More information about the llvm-commits mailing list