If we have a umul.with.overflow where the multiply result is not used and one of the operands is a constant, we can perform the overflow check cheaper with a comparison then by performing the multiply an extracting the overflow flag.
(Noticed when looking at the conditions SCEV emits for overflow checks.)
Add assert msg - "Unexpected extract index for overflow inst"