[LLVMdev] invoke semantics

Chris Lattner clattner at apple.com
Fri May 22 12:46:32 PDT 2009

On May 22, 2009, at 12:12 PM, Jay Foad wrote:

>> 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.

Jay is right.  The return value only dominates the normal block, not  
the unwind block.


More information about the llvm-dev mailing list