diff --git a/lib/Transforms/InstCombine/InstCombineCompares.cpp b/lib/Transforms/InstCombine/InstCombineCompares.cpp index cb434bda57a..3e549d94282 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 66607ea0017..b41cdfa7cf1 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