InstCombine: fold fcmp pred (fneg x), C -> fcmp swap(pred) x, -C

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@128626 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Benjamin Kramer 2011-03-31 10:12:15 +00:00
parent b194bdc03b
commit 0db50189dc
2 changed files with 16 additions and 0 deletions

View File

@ -2834,6 +2834,14 @@ Instruction *InstCombiner::visitFCmpInst(FCmpInst &I) {
return SelectInst::Create(LHSI->getOperand(0), Op1, Op2);
break;
}
case Instruction::FSub: {
// fcmp pred (fneg x), C -> fcmp swap(pred) x, -C
Value *Op;
if (match(LHSI, m_FNeg(m_Value(Op))))
return new FCmpInst(I.getSwappedPredicate(), Op,
ConstantExpr::getFNeg(RHSC));
break;
}
case Instruction::Load:
if (GetElementPtrInst *GEP =
dyn_cast<GetElementPtrInst>(LHSI->getOperand(0))) {

View File

@ -32,3 +32,11 @@ define i1 @test4(float %a) nounwind {
; CHECK: @test4
; CHECK-NEXT: fpext float %a to double
}
define i1 @test5(float %a) nounwind {
%neg = fsub float -0.000000e+00, %a
%cmp = fcmp ogt float %neg, 1.000000e+00
ret i1 %cmp
; CHECK: @test5
; CHECK-NEXT: fcmp olt float %a, -1.0
}