diff options
| author | Bill Wendling <isanbard@gmail.com> | 2012-03-10 18:20:55 +0000 |
|---|---|---|
| committer | Bill Wendling <isanbard@gmail.com> | 2012-03-10 18:20:55 +0000 |
| commit | 798d013bcba198af628d2dab8448f709b96e4a75 (patch) | |
| tree | f4fc09816081b6427cd40d7a0cb257a1f2a126c5 /lib/Analysis/InstructionSimplify.cpp | |
| parent | 30a73022bbf622e73ac285822d8235e9f4c74096 (diff) | |
As Duncan pointed out, pointers tend not to be in floating point format...for now.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@152499 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Analysis/InstructionSimplify.cpp')
| -rw-r--r-- | lib/Analysis/InstructionSimplify.cpp | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/lib/Analysis/InstructionSimplify.cpp b/lib/Analysis/InstructionSimplify.cpp index 95fd48ee65..0dd0d6ed3a 100644 --- a/lib/Analysis/InstructionSimplify.cpp +++ b/lib/Analysis/InstructionSimplify.cpp @@ -1610,30 +1610,30 @@ static Value *SimplifyICmpInst(unsigned Predicate, Value *LHS, Value *RHS, // If both sides are different identified objects, they aren't equal // unless they're null. if (LHSPtr != RHSPtr && llvm::isIdentifiedObject(RHSPtr) && - (Pred == CmpInst::ICMP_EQ || Pred == CmpInst::FCMP_UEQ)) + Pred == CmpInst::ICMP_EQ) return ConstantInt::get(ITy, false); // A local identified object (alloca or noalias call) can't equal any // incoming argument, unless they're both null. if (isa<Instruction>(LHSPtr) && isa<Argument>(RHSPtr) && - (Pred == CmpInst::ICMP_EQ || Pred == CmpInst::FCMP_UEQ)) + Pred == CmpInst::ICMP_EQ) return ConstantInt::get(ITy, false); } // Assume that the constant null is on the right. if (llvm::isKnownNonNull(LHSPtr) && isa<ConstantPointerNull>(RHSPtr)) { - if (Pred == CmpInst::ICMP_EQ || Pred == CmpInst::FCMP_UEQ) + if (Pred == CmpInst::ICMP_EQ) return ConstantInt::get(ITy, false); - else if (Pred == CmpInst::ICMP_NE || Pred == CmpInst::FCMP_ONE) + else if (Pred == CmpInst::ICMP_NE) return ConstantInt::get(ITy, true); } } else if (isa<Argument>(LHSPtr)) { RHSPtr = RHSPtr->stripInBoundsOffsets(); // An alloca can't be equal to an argument. if (isa<AllocaInst>(RHSPtr)) { - if (Pred == CmpInst::ICMP_EQ || Pred == CmpInst::FCMP_UEQ) + if (Pred == CmpInst::ICMP_EQ) return ConstantInt::get(ITy, false); - else if (Pred == CmpInst::ICMP_NE || Pred == CmpInst::FCMP_ONE) + else if (Pred == CmpInst::ICMP_NE) return ConstantInt::get(ITy, true); } } |