[SCCP] Flip range arguments for NSW region check.

This brings the operand order in line with the NUW handling, which was
missed out in 72121a20cd.

At the moment this is NFC as we only additions, but it
should fix miscompiles with 024115ab14 recommitted.
This commit is contained in:
Florian Hahn
2023-01-30 18:03:18 +00:00
parent 025c92077d
commit 4e607ec498

View File

@@ -153,8 +153,8 @@ static bool refineInstruction(SCCPSolver &Solver,
}
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;
}