[llvm-commits] [llvm] r72266 - in /llvm/trunk: lib/Transforms/Scalar/IndVarSimplify.cpp test/Transforms/IndVarSimplify/interesting-invoke-use.ll

[Duncan Sands]

Hi Dan,

> Teach IndVarSimplify's FixUsesBeforeDefs to handle InvokeInsts by
> assuming that the use of the value is in a block dominated by the
> "normal" destination. LangRef.html and other documentation sources
> don't explicitly guarantee this, but it seems to be assumed in
> other places in LLVM at least.

take a look at Verifier.cpp, line 1310 and onwards.

> This fixes an assertion failure on the included testcase, which
> is derived from the Ada testsuite.

It also fixes the other Ada testsuite failures - thanks!

Ciao,

Duncan.