1 ; RUN: opt < %s -instcombine -S | FileCheck %s 2 3 ; PR4374 4 define float @test1(float %a, float %b) nounwind { 5 %t1 = fsub float %a, %b 6 %t2 = fsub float -0.000000e+00, %t1 7 8 ; CHECK: %t1 = fsub float %a, %b 9 ; CHECK-NEXT: %t2 = fsub float -0.000000e+00, %t1 10 11 ret float %t2 12 } 13 14 ; <rdar://problem/7530098> 15 define double @test2(double %x, double %y) nounwind { 16 %t1 = fadd double %x, %y 17 %t2 = fsub double %x, %t1 18 19 ; CHECK: %t1 = fadd double %x, %y 20 ; CHECK-NEXT: %t2 = fsub double %x, %t1 21 22 ret double %t2 23 } 24
