When InstCombine tries to fold away (fsub x, (fneg y)) into (fadd x, y), it is
[oota-llvm.git] / test / Transforms / InstCombine / fneg-ext.ll
1 ; RUN: opt -instcombine -S < %s | FileCheck %s
2
3 ; CHECK: test1
4 define double @test1(float %a, double %b) nounwind readnone ssp uwtable {
5 ; CHECK-NOT: fsub
6 ; CHECK: fpext
7 ; CHECK: fadd
8   %1 = fsub float -0.000000e+00, %a
9   %2 = fpext float %1 to double
10   %3 = fsub double %b, %2
11   ret double %3
12 }