This brings the operand order in line with the NUW handling, which was
missed out in
72121a20cda4dc91d0ef5548f930.
At the moment this is NFC as we only additions, but it
should fix miscompiles with
024115ab14822a recommitted.
}
if (!Inst.hasNoSignedWrap()) {
auto NSWRange = ConstantRange::makeGuaranteedNoWrapRegion(
- Instruction::Add, RangeA, OverflowingBinaryOperator::NoSignedWrap);
- if (NSWRange.contains(RangeB)) {
+ Instruction::Add, RangeB, OverflowingBinaryOperator::NoSignedWrap);
+ if (NSWRange.contains(RangeA)) {
Inst.setHasNoSignedWrap();
Changed = true;
}