commit b6e7cd655c6ee119dbeacc321ee92387f983edb0
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 e1aa6692a280bb8f1768af8804b5a3265a424acd
parent 108709d4d1ff02317972956540dad571bdf43e95

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



git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@130954 91177308-0d34-0410-b5e6-96231b3b80d8

lib/Analysis/InstructionSimplify.cpp

diff --git a/lib/Analysis/InstructionSimplify.cpp b/lib/Analysis/InstructionSimplify.cpp
index e7ef6ff..22a64e1 100644
--- a/lib/Analysis/InstructionSimplify.cpp
+++ b/lib/Analysis/InstructionSimplify.cpp
@@ -1847,7 +1847,7 @@
       // fall-through
     case Instruction::SDiv:
     case Instruction::AShr:
-      if (!LBO->isExact() && !RBO->isExact())
+      if (!LBO->isExact() || !RBO->isExact())
         break;
       if (Value *V = SimplifyICmpInst(Pred, LBO->getOperand(0),
                                       RBO->getOperand(0), TD, DT, MaxRecurse-1))