diff options
| author | Craig Topper <craig.topper@intel.com> | 2017-08-10 01:02:02 +0000 |
|---|---|---|
| committer | Craig Topper <craig.topper@intel.com> | 2017-08-10 01:02:02 +0000 |
| commit | ba69187988ad87aed456608f36febb6f05047370 (patch) | |
| tree | 268f2db91bd05297fb96299735039c94ddcf016b /llvm/lib | |
| parent | c8fbf6ffeaeb4fc9a2b5fcd6c993d64bcbb52818 (diff) | |
| download | bcm5719-llvm-ba69187988ad87aed456608f36febb6f05047370.tar.gz bcm5719-llvm-ba69187988ad87aed456608f36febb6f05047370.zip | |
[InstSimplify] Add test cases that show that simplifySelectWithICmpCond doesn't work with non-canonical comparisons.
llvm-svn: 310542
Diffstat (limited to 'llvm/lib')
| -rw-r--r-- | llvm/lib/Analysis/InstructionSimplify.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/llvm/lib/Analysis/InstructionSimplify.cpp b/llvm/lib/Analysis/InstructionSimplify.cpp index b4f3b87e184..9729629b167 100644 --- a/llvm/lib/Analysis/InstructionSimplify.cpp +++ b/llvm/lib/Analysis/InstructionSimplify.cpp @@ -3660,6 +3660,7 @@ static Value *simplifySelectWithICmpCond(Value *CondVal, Value *TrueVal, // FIXME: This code is nearly duplicated in InstCombine. Using/refactoring // decomposeBitTestICmp() might help. + // FIXME this should support ICMP_SLE/SGE forms as well if (ICmpInst::isEquality(Pred) && match(CmpRHS, m_Zero())) { Value *X; const APInt *Y; |
