From 00e00d693c3991d85ffebf305ddbfd5dfb99ead6 Mon Sep 17 00:00:00 2001 From: Benjamin Kramer Date: Thu, 31 Mar 2011 10:46:03 +0000 Subject: InstCombine: Fix transform to use the swapped predicate. Thanks Frits! git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@128628 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Transforms/InstCombine/InstCombineCompares.cpp | 4 ++-- test/Transforms/InstCombine/fcmp.ll | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/lib/Transforms/InstCombine/InstCombineCompares.cpp b/lib/Transforms/InstCombine/InstCombineCompares.cpp index cb434bd..3e549d9 100644 --- a/lib/Transforms/InstCombine/InstCombineCompares.cpp +++ b/lib/Transforms/InstCombine/InstCombineCompares.cpp @@ -2855,10 +2855,10 @@ Instruction *InstCombiner::visitFCmpInst(FCmpInst &I) { } } - // fcmp (fneg x), (fneg y) -> fcmp x, y + // fcmp pred (fneg x), (fneg y) -> fcmp swap(pred) x, y Value *X, *Y; if (match(Op0, m_FNeg(m_Value(X))) && match(Op1, m_FNeg(m_Value(Y)))) - return new FCmpInst(I.getPredicate(), X, Y); + return new FCmpInst(I.getSwappedPredicate(), X, Y); // fcmp (fpext x), (fpext y) -> fcmp x, y if (FPExtInst *LHSExt = dyn_cast(Op0)) diff --git a/test/Transforms/InstCombine/fcmp.ll b/test/Transforms/InstCombine/fcmp.ll index 66607ea..b41cdfa 100644 --- a/test/Transforms/InstCombine/fcmp.ll +++ b/test/Transforms/InstCombine/fcmp.ll @@ -44,7 +44,7 @@ define i1 @test5(float %a) nounwind { define i1 @test6(float %x, float %y) nounwind { %neg1 = fsub float -0.000000e+00, %x %neg2 = fsub float -0.000000e+00, %y - %cmp = fcmp ogt float %neg1, %neg2 + %cmp = fcmp olt float %neg1, %neg2 ret i1 %cmp ; CHECK: @test6 ; CHECK-NEXT: fcmp ogt float %x, %y -- cgit v1.1