git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@181249
91177308-0d34-0410-b5e6-
96231b3b80d8
return BinaryOperator::CreateSub(ConstantExpr::getAdd(XorRHS, CI),
XorLHS);
}
+ // (X + signbit) + C could have gotten canonicalized to (X ^ signbit) + C,
+ // transform them into (X + (signbit ^ C))
+ if (XorRHS->getValue().isSignBit())
+ return BinaryOperator::CreateAdd(XorLHS,
+ ConstantExpr::getXor(XorRHS, CI));
}
}
; CHECK-NEXT: sub i32 73, %and
; CHECK-NEXT: ret
}
+
+define i32 @test4(i32 %x) nounwind {
+ %sub = xor i32 %x, 2147483648
+ %add = add i32 %sub, 42
+ ret i32 %add
+
+; CHECK: @test4
+; CHECK-NEXT: add i32 %x, -2147483606
+; CHECK-NEXT: ret
+}