From 31e7e13789cde613b59b50a283256e0d590e7b0e Mon Sep 17 00:00:00 2001 From: Balaram Makam Date: Wed, 4 May 2016 18:37:35 +0000 Subject: Revert "[InstCombine] Canonicalize icmp instructions based on dominating conditions." This reverts commit 573a40f79b35cf3e71db331bb00f6a84f03b835d. llvm-svn: 268530 --- llvm/lib/IR/ConstantRange.cpp | 12 ------------ 1 file changed, 12 deletions(-) (limited to 'llvm/lib/IR/ConstantRange.cpp') diff --git a/llvm/lib/IR/ConstantRange.cpp b/llvm/lib/IR/ConstantRange.cpp index a2eb1517f57..417b752d1a2 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, -- cgit v1.2.3