[LLVMdev] invoke semantics

Jay Foad jay.foad at gmail.com
Fri May 22 12:12:53 PDT 2009

> Teach IndVarSimplify's FixUsesBeforeDefs to handle InvokeInsts by
> assuming that the use of the value is in a block dominated by the
> "normal" destination.

More precisely, the use has to be dominated by the *edge* from the
invoke to its normal destination. This could certainly do with being
documented properly.


More information about the llvm-dev mailing list