diff options
| author | Max Kazantsev <max.kazantsev@azul.com> | 2017-07-06 10:47:13 +0000 |
|---|---|---|
| committer | Max Kazantsev <max.kazantsev@azul.com> | 2017-07-06 10:47:13 +0000 |
| commit | 98838527c678d581bccca403d1e904942b44677b (patch) | |
| tree | c3a8a30b87110e79978ef1b2ec16e3d2f7734ef7 /llvm/lib/Transforms/Utils/SimplifyIndVar.cpp | |
| parent | 3ae33209cc6b3fca126af66b88f5463e8734971f (diff) | |
| download | bcm5719-llvm-98838527c678d581bccca403d1e904942b44677b.tar.gz bcm5719-llvm-98838527c678d581bccca403d1e904942b44677b.zip | |
Revert "Revert "Revert "[IndVars] Canonicalize comparisons between non-negative values and indvars"""
It appears that the problem is still there. Needs more analysis to understand why
SaturatedMultiply test fails.
llvm-svn: 307249
Diffstat (limited to 'llvm/lib/Transforms/Utils/SimplifyIndVar.cpp')
| -rw-r--r-- | llvm/lib/Transforms/Utils/SimplifyIndVar.cpp | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/llvm/lib/Transforms/Utils/SimplifyIndVar.cpp b/llvm/lib/Transforms/Utils/SimplifyIndVar.cpp index 29f68ed3060..4ebafd8ea78 100644 --- a/llvm/lib/Transforms/Utils/SimplifyIndVar.cpp +++ b/llvm/lib/Transforms/Utils/SimplifyIndVar.cpp @@ -264,10 +264,6 @@ void SimplifyIndvar::eliminateIVComparison(ICmpInst *ICmp, Value *IVOperand) { ICmp->setPredicate(InvariantPredicate); ICmp->setOperand(0, NewLHS); ICmp->setOperand(1, NewRHS); - } else if (ICmpInst::isSigned(Pred) && - SE->isKnownNonNegative(S) && SE->isKnownNonNegative(X)) { - DEBUG(dbgs() << "INDVARS: Turn to unsigned comparison: " << *ICmp << '\n'); - ICmp->setPredicate(ICmpInst::getUnsignedPredicate(Pred)); } else return; |
