| commit | 6b4972518cff5b0f76ec63fc8b93b74ae64c3f3d | [log] [tgz] |
|---|---|---|
| author | Benjamin Kramer <benny.kra@googlemail.com> | Fri Mar 11 11:37:40 2011 +0000 |
| committer | Benjamin Kramer <benny.kra@googlemail.com> | Fri Mar 11 11:37:40 2011 +0000 |
| tree | 7ac5243accfb041a85b0de85e7f9d5a4ae976bb5 | |
| parent | b69050a94c1c9266ab048a79c8375e5b14d87c72 [diff] [blame] |
InstCombine: Fix a thinko where transform an icmp under the assumption that it's a zero comparison when it's not. Fixes PR9454. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@127464 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Transforms/InstCombine/InstCombineSelect.cpp b/lib/Transforms/InstCombine/InstCombineSelect.cpp index 97abc76..8b9261b 100644 --- a/lib/Transforms/InstCombine/InstCombineSelect.cpp +++ b/lib/Transforms/InstCombine/InstCombineSelect.cpp
@@ -503,9 +503,8 @@ if (!IC || !IC->isEquality()) return 0; - if (ConstantInt *C = dyn_cast<ConstantInt>(IC->getOperand(1))) - if (!C->isZero()) - return 0; + if (!match(IC->getOperand(1), m_Zero())) + return 0; ConstantInt *AndRHS; Value *LHS = IC->getOperand(0);