1; RUN: opt < %s -reassociate -gvn -instcombine -S | FileCheck %s
2
3; With reassociation, constant folding can eliminate the 12 and -12 constants.
4define float @test1(float %arg) {
5; CHECK-LABEL: @test1
6; CHECK-NEXT: fsub fast float -0.000000e+00, %arg
7; CHECK-NEXT: ret float
8
9  %tmp1 = fsub fast float -1.200000e+01, %arg
10  %tmp2 = fadd fast float %tmp1, 1.200000e+01
11  ret float %tmp2
12}
13
14define float @test2(float %reg109, float %reg1111) {
15; CHECK-LABEL: @test2
16; CHECK-NEXT: fadd float %reg109, -3.000000e+01
17; CHECK-NEXT: fadd float %reg115, %reg1111
18; CHECK-NEXT: fadd float %reg116, 3.000000e+01
19; CHECK-NEXT: ret float
20
21  %reg115 = fadd float %reg109, -3.000000e+01
22  %reg116 = fadd float %reg115, %reg1111
23  %reg117 = fadd float %reg116, 3.000000e+01
24  ret float %reg117
25}
26
27define float @test3(float %reg109, float %reg1111) {
28; CHECK-LABEL: @test3
29; CHECK-NEXT: %reg117 = fadd fast float %reg109, %reg1111
30; CHECK-NEXT:  ret float %reg117
31
32  %reg115 = fadd fast float %reg109, -3.000000e+01
33  %reg116 = fadd fast float %reg115, %reg1111
34  %reg117 = fadd fast float %reg116, 3.000000e+01
35  ret float %reg117
36}
37
38@fe = external global float
39@fa = external global float
40@fb = external global float
41@fc = external global float
42@ff = external global float
43
44define void @test4() {
45; CHECK-LABEL: @test4
46; CHECK: fadd fast float
47; CHECK: fadd fast float
48; CHECK-NOT: fadd fast float
49; CHECK: ret void
50
51  %A = load float, float* @fa
52  %B = load float, float* @fb
53  %C = load float, float* @fc
54  %t1 = fadd fast float %A, %B
55  %t2 = fadd fast float %t1, %C
56  %t3 = fadd fast float %C, %A
57  %t4 = fadd fast float %t3, %B
58  ; e = (a+b)+c;
59  store float %t2, float* @fe
60  ; f = (a+c)+b
61  store float %t4, float* @ff
62  ret void
63}
64
65define void @test5() {
66; CHECK-LABEL: @test5
67; CHECK: fadd fast float
68; CHECK: fadd fast float
69; CHECK-NOT: fadd
70; CHECK: ret void
71
72  %A = load float, float* @fa
73  %B = load float, float* @fb
74  %C = load float, float* @fc
75  %t1 = fadd fast float %A, %B
76  %t2 = fadd fast float %t1, %C
77  %t3 = fadd fast float %C, %A
78  %t4 = fadd fast float %t3, %B
79  ; e = c+(a+b)
80  store float %t2, float* @fe
81  ; f = (c+a)+b
82  store float %t4, float* @ff
83  ret void
84}
85
86define void @test6() {
87; CHECK-LABEL: @test6
88; CHECK: fadd fast float
89; CHECK: fadd fast float
90; CHECK-NOT: fadd
91; CHECK: ret void
92
93  %A = load float, float* @fa
94  %B = load float, float* @fb
95  %C = load float, float* @fc
96  %t1 = fadd fast float %B, %A
97  %t2 = fadd fast float %t1, %C
98  %t3 = fadd fast float %C, %A
99  %t4 = fadd fast float %t3, %B
100  ; e = c+(b+a)
101  store float %t2, float* @fe
102  ; f = (c+a)+b
103  store float %t4, float* @ff
104  ret void
105}
106
107define float @test7(float %A, float %B, float %C) {
108; CHECK-LABEL: @test7
109; CHECK-NEXT: fadd fast float %C, %B
110; CHECK-NEXT: fmul fast float %A, %A
111; CHECK-NEXT: fmul fast float %1, %tmp2
112; CHECK-NEXT: ret float
113
114  %aa = fmul fast float %A, %A
115  %aab = fmul fast float %aa, %B
116  %ac = fmul fast float %A, %C
117  %aac = fmul fast float %ac, %A
118  %r = fadd fast float %aab, %aac
119  ret float %r
120}
121
122define float @test8(float %X, float %Y, float %Z) {
123; CHECK-LABEL: @test8
124; CHECK-NEXT: fmul fast float %Y, %X
125; CHECK-NEXT: fsub fast float %Z
126; CHECK-NEXT: ret float
127
128  %A = fsub fast float 0.0, %X
129  %B = fmul fast float %A, %Y
130  ; (-X)*Y + Z -> Z-X*Y
131  %C = fadd fast float %B, %Z
132  ret float %C
133}
134
135define float @test9(float %X) {
136; CHECK-LABEL: @test9
137; CHECK-NEXT: fmul fast float %X, 9.400000e+01
138; CHECK-NEXT: ret float
139
140  %Y = fmul fast float %X, 4.700000e+01
141  %Z = fadd fast float %Y, %Y
142  ret float %Z
143}
144
145define float @test10(float %X) {
146; CHECK-LABEL: @test10
147; CHECK-NEXT: fmul fast float %X, 3.000000e+00
148; CHECK-NEXT: ret float
149
150  %Y = fadd fast float %X ,%X
151  %Z = fadd fast float %Y, %X
152  ret float %Z
153}
154
155define float @test11(float %W) {
156; CHECK-LABEL: test11
157; CHECK-NEXT: fmul fast float %W, 3.810000e+02
158; CHECK-NEXT: ret float
159
160  %X = fmul fast float %W, 127.0
161  %Y = fadd fast float %X ,%X
162  %Z = fadd fast float %Y, %X
163  ret float %Z
164}
165
166define float @test12(float %X) {
167; CHECK-LABEL: @test12
168; CHECK-NEXT: fmul fast float %X, -3.000000e+00
169; CHECK-NEXT: fadd fast float %factor, 6.000000e+00
170; CHECK-NEXT: ret float
171
172  %A = fsub fast float 1.000000e+00, %X
173  %B = fsub fast float 2.000000e+00, %X
174  %C = fsub fast float 3.000000e+00, %X
175  %Y = fadd fast float %A ,%B
176  %Z = fadd fast float %Y, %C
177  ret float %Z
178}
179
180define float @test13(float %X1, float %X2, float %X3) {
181; CHECK-LABEL: @test13
182; CHECK-NEXT: fsub fast float %X3, %X2
183; CHECK-NEXT: fmul fast float {{.*}}, %X1
184; CHECK-NEXT: ret float
185
186  %A = fsub fast float 0.000000e+00, %X1
187  %B = fmul fast float %A, %X2   ; -X1*X2
188  %C = fmul fast float %X1, %X3  ; X1*X3
189  %D = fadd fast float %B, %C    ; -X1*X2 + X1*X3 -> X1*(X3-X2)
190  ret float %D
191}
192
193define float @test14(float %X1, float %X2) {
194; CHECK-LABEL: @test14
195; CHECK-NEXT: fsub fast float %X1, %X2
196; CHECK-NEXT: fmul fast float %1, 4.700000e+01
197; CHECK-NEXT: ret float
198
199  %B = fmul fast float %X1, 47.   ; X1*47
200  %C = fmul fast float %X2, -47.  ; X2*-47
201  %D = fadd fast float %B, %C    ; X1*47 + X2*-47 -> 47*(X1-X2)
202  ret float %D
203}
204
205define float @test15(float %arg) {
206; CHECK-LABEL: test15
207; CHECK-NEXT: fmul fast float %arg, 1.440000e+02
208; CHECK-NEXT: ret float %tmp2
209
210  %tmp1 = fmul fast float 1.200000e+01, %arg
211  %tmp2 = fmul fast float %tmp1, 1.200000e+01
212  ret float %tmp2
213}
214
215; (b+(a+1234))+-a -> b+1234
216define float @test16(float %b, float %a) {
217; CHECK-LABEL: @test16
218; CHECK-NEXT: fadd fast float %b, 1.234000e+03
219; CHECK-NEXT: ret float
220
221  %1 = fadd fast float %a, 1234.0
222  %2 = fadd fast float %b, %1
223  %3 = fsub fast float 0.0, %a
224  %4 = fadd fast float %2, %3
225  ret float %4
226}
227
228; Test that we can turn things like X*-(Y*Z) -> X*-1*Y*Z.
229
230define float @test17(float %a, float %b, float %z) {
231; CHECK-LABEL: test17
232; CHECK-NEXT: fmul fast float %a, 1.234500e+04
233; CHECK-NEXT: fmul fast float %e, %b
234; CHECK-NEXT: fmul fast float %f, %z
235; CHECK-NEXT: ret float
236
237  %c = fsub fast float 0.000000e+00, %z
238  %d = fmul fast float %a, %b
239  %e = fmul fast float %c, %d
240  %f = fmul fast float %e, 1.234500e+04
241  %g = fsub fast float 0.000000e+00, %f
242  ret float %g
243}
244
245define float @test18(float %a, float %b, float %z) {
246; CHECK-LABEL: test18
247; CHECK-NEXT: fmul fast float %a, 4.000000e+01
248; CHECK-NEXT: fmul fast float %e, %z
249; CHECK-NEXT: ret float
250
251  %d = fmul fast float %z, 4.000000e+01
252  %c = fsub fast float 0.000000e+00, %d
253  %e = fmul fast float %a, %c
254  %f = fsub fast float 0.000000e+00, %e
255  ret float %f
256}
257
258; With sub reassociation, constant folding can eliminate the 12 and -12 constants.
259define float @test19(float %A, float %B) {
260; CHECK-LABEL: @test19
261; CHECK-NEXT: fsub fast float %A, %B
262; CHECK-NEXT: ret float
263  %X = fadd fast float -1.200000e+01, %A
264  %Y = fsub fast float %X, %B
265  %Z = fadd fast float %Y, 1.200000e+01
266  ret float %Z
267}
268
269; With sub reassociation, constant folding can eliminate the uses of %a.
270define float @test20(float %a, float %b, float %c) nounwind  {
271; CHECK-LABEL: @test20
272; CHECK-NEXT: fsub fast float -0.000000e+00, %b
273; CHECK-NEXT: fsub fast float %b.neg, %c
274; CHECK-NEXT: ret float
275
276; FIXME: Should be able to generate the below, which may expose more
277;        opportunites for FAdd reassociation.
278; %sum = fadd fast float %c, %b
279; %tmp7 = fsub fast float 0, %sum
280
281  %tmp3 = fsub fast float %a, %b
282  %tmp5 = fsub fast float %tmp3, %c
283  %tmp7 = fsub fast float %tmp5, %a
284  ret float %tmp7
285}
286