1; RUN: opt < %s -instcombine -S | FileCheck %s 2 3; PR4374 4define 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> 15define 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