diff options
| author | Balaram Makam <bmakam@codeaurora.org> | 2016-05-04 18:37:35 +0000 |
|---|---|---|
| committer | Balaram Makam <bmakam@codeaurora.org> | 2016-05-04 18:37:35 +0000 |
| commit | 31e7e13789cde613b59b50a283256e0d590e7b0e (patch) | |
| tree | 9f106c876807f4beb840cc6f418311292808bf4c /llvm/lib/IR/ConstantRange.cpp | |
| parent | 2373f769cefbd4213d46fb6df01bf453e7981ea9 (diff) | |
| download | llvm-31e7e13789cde613b59b50a283256e0d590e7b0e.zip llvm-31e7e13789cde613b59b50a283256e0d590e7b0e.tar.gz llvm-31e7e13789cde613b59b50a283256e0d590e7b0e.tar.bz2 | |
Revert "[InstCombine] Canonicalize icmp instructions based on dominating conditions."
This reverts commit 573a40f79b35cf3e71db331bb00f6a84f03b835d.
llvm-svn: 268530
Diffstat (limited to 'llvm/lib/IR/ConstantRange.cpp')
| -rw-r--r-- | llvm/lib/IR/ConstantRange.cpp | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/llvm/lib/IR/ConstantRange.cpp b/llvm/lib/IR/ConstantRange.cpp index a2eb151..417b752 100644 --- a/llvm/lib/IR/ConstantRange.cpp +++ b/llvm/lib/IR/ConstantRange.cpp @@ -127,18 +127,6 @@ ConstantRange ConstantRange::makeSatisfyingICmpRegion(CmpInst::Predicate Pred, .inverse(); } -ConstantRange ConstantRange::makeExactICmpRegion(CmpInst::Predicate Pred, - const APInt &C) { - // Computes the exact range that is equal to both the constant ranges returned - // by makeAllowedICmpRegion and makeSatisfyingICmpRegion. This is always true - // when RHS is a singleton such as an APInt and so the assert is valid. - // However for non-singleton RHS, for example ult [2,5) makeAllowedICmpRegion - // returns [0,4) but makeSatisfyICmpRegion returns [0,2). - // - assert(makeAllowedICmpRegion(Pred, C) == makeSatisfyingICmpRegion(Pred, C)); - return makeAllowedICmpRegion(Pred, C); -} - ConstantRange ConstantRange::makeGuaranteedNoWrapRegion(Instruction::BinaryOps BinOp, const ConstantRange &Other, |