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