Fix a minor bug where we would go into infinite loops on some constants
llvm-svn: 14638
diff --git a/llvm/lib/Transforms/Scalar/InstructionCombining.cpp b/llvm/lib/Transforms/Scalar/InstructionCombining.cpp
index fad2730..be1111f 100644
--- a/llvm/lib/Transforms/Scalar/InstructionCombining.cpp
+++ b/llvm/lib/Transforms/Scalar/InstructionCombining.cpp
@@ -846,7 +846,8 @@
Instruction *InstCombiner::visitRem(BinaryOperator &I) {
if (I.getType()->isSigned())
if (Value *RHSNeg = dyn_castNegVal(I.getOperand(1)))
- if (RHSNeg != I.getOperand(1)) { // Avoid problems with MININT
+ if (!isa<ConstantSInt>(RHSNeg) ||
+ cast<ConstantSInt>(RHSNeg)->getValue() >= 0) {
// X % -Y -> X % Y
AddUsesToWorkList(I);
I.setOperand(1, RHSNeg);