commit 8a20e66926d7d9143896aa15d583a0afcbabb28d
author Eli Friedman <eli.friedman@gmail.com> Thu May 05 21:59:18 2011 +0000
committer Eli Friedman <eli.friedman@gmail.com> Thu May 05 21:59:18 2011 +0000
tree a273bd7d6d5bb5bca69a77fe98ac0e96ac12aecb
parent 3f1b5d077b7e68c0c801a56f17b05dab96f7f992

PR9838: Fix transform introduced in r127064 to not trigger when only one side of the icmp is an exact shift.

llvm-svn: 130954

llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp

diff --git a/llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp b/llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp
index bb9b88b..b6963c5 100644
--- a/llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp
+++ b/llvm/lib/Transforms/InstCombine/InstCombineCompares.cpp
@@ -2400,7 +2400,7 @@
         // fall-through
       case Instruction::SDiv:
       case Instruction::AShr:
-        if (!BO0->isExact() && !BO1->isExact())
+        if (!BO0->isExact() || !BO1->isExact())
           break;
         return new ICmpInst(I.getPredicate(), BO0->getOperand(0),
                             BO1->getOperand(0));