Lines Matching full:fadd
37 ; fadd [nnan ninf] X, (fsub [nnan ninf] 0, X) ==> 0
44 %zero1 = fadd nnan ninf float %t1, %a
47 %zero2 = fadd ninf float %t2, %a
50 %zero3 = fadd float %t3, %a
53 %zero4 = fadd nnan ninf float %t4, %a
58 ; CHECK: %no_zero = fadd nnan float %nofold, %a
59 %no_zero = fadd nnan float %nofold, %a
62 %zero5 = fadd float %zero1, %zero2
63 %zero6 = fadd float %zero3, %zero4
64 %zero7 = fadd float %zero5, %zero6
67 %ret = fadd nsz float %no_zero, %zero7
84 ; CHECK: %no_zero = fadd
85 %no_zero = fadd float %no_zero1, %no_zero2
88 %ret = fadd nsz float %no_zero, %zero1
94 ; fadd nsz X, 0 ==> X
98 ; CHECK: %no_zero1 = fadd
99 %no_zero1 = fadd ninf float %a, 0.0
100 ; CHECK: %no_zero2 = fadd
101 %no_zero2 = fadd nnan float %a, 0.0
102 ; CHECK: %no_zero = fadd
103 %no_zero = fadd float %no_zero1, %no_zero2
