diff options
| author | Eli Friedman <eli.friedman@gmail.com> | 2011-05-05 21:59:18 +0000 |
|---|---|---|
| committer | Eli Friedman <eli.friedman@gmail.com> | 2011-05-05 21:59:18 +0000 |
| commit | 8a20e66926d7d9143896aa15d583a0afcbabb28d (patch) | |
| tree | a273bd7d6d5bb5bca69a77fe98ac0e96ac12aecb /llvm/lib/Analysis | |
| parent | 3f1b5d077b7e68c0c801a56f17b05dab96f7f992 (diff) | |
| download | bcm5719-llvm-8a20e66926d7d9143896aa15d583a0afcbabb28d.tar.gz bcm5719-llvm-8a20e66926d7d9143896aa15d583a0afcbabb28d.zip | |
PR9838: Fix transform introduced in r127064 to not trigger when only one side of the icmp is an exact shift.
llvm-svn: 130954
Diffstat (limited to 'llvm/lib/Analysis')
| -rw-r--r-- | llvm/lib/Analysis/InstructionSimplify.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/llvm/lib/Analysis/InstructionSimplify.cpp b/llvm/lib/Analysis/InstructionSimplify.cpp index e7ef6ffd8ad..22a64e1b348 100644 --- a/llvm/lib/Analysis/InstructionSimplify.cpp +++ b/llvm/lib/Analysis/InstructionSimplify.cpp @@ -1847,7 +1847,7 @@ static Value *SimplifyICmpInst(unsigned Predicate, Value *LHS, Value *RHS, // 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)) |
