1 ; RUN: opt < %s -instsimplify -S | FileCheck %s
3 ; fsub 0, (fsub 0, X) ==> X
5 define float @fsub_0_0_x(float %a) {
6 %t1 = fsub float -0.0, %a
7 %ret = fsub float -0.0, %t1
15 define float @fsub_x_0(float %a) {
16 %ret = fsub float %a, 0.0
23 define float @fadd_x_n0(float %a) {
24 %ret = fadd float %a, -0.0
31 define double @fmul_X_1(double %a) {
32 %b = fmul double 1.000000e+00, %a ; <double> [#uses=1]
33 ; CHECK: ret double %a