[LLVMdev] invoke semantics

[Chris Lattner]

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.

-Chris