[LLVMdev] invoke semantics
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