1; RUN: opt -reassociate -gvn -S < %s | FileCheck %s
2
3; (x + 0.1234 * y) * (x + -0.1234 * y) -> (x + 0.1234 * y) * (x - 0.1234 * y)
4define double @test1(double %x, double %y) {
5; CHECK-LABEL: @test1
6; CHECK-NEXT: fmul double %y, 1.234000e-01
7; CHECK-NEXT: fadd double %x, %mul
8; CHECK-NEXT: fsub double %x, %mul
9; CHECK-NEXT: fmul double %add{{.*}}, %add{{.*}}
10; CHECK-NEXT: ret double %mul
11
12  %mul = fmul double 1.234000e-01, %y
13  %add = fadd double %mul, %x
14  %mul1 = fmul double -1.234000e-01, %y
15  %add2 = fadd double %mul1, %x
16  %mul3 = fmul double %add, %add2
17  ret double %mul3
18}
19
20; (x + -0.1234 * y) * (x + -0.1234 * y) -> (x - 0.1234 * y) * (x - 0.1234 * y)
21define double @test2(double %x, double %y) {
22; CHECK-LABEL: @test2
23; CHECK-NEXT: fmul double %y, 1.234000e-01
24; CHECK-NEXT: fsub double %x, %mul
25; CHECK-NEXT: fmul double %add{{.*}}, %add{{.*}}
26; CHECK-NEXT: ret double %mul
27
28  %mul = fmul double %y, -1.234000e-01
29  %add = fadd double %mul, %x
30  %mul1 = fmul double %y, -1.234000e-01
31  %add2 = fadd double %mul1, %x
32  %mul3 = fmul double %add, %add2
33  ret double %mul3
34}
35
36; (x + 0.1234 * y) * (x - -0.1234 * y) -> (x + 0.1234 * y) * (x + 0.1234 * y)
37define double @test3(double %x, double %y) {
38; CHECK-LABEL: @test3
39; CHECK-NEXT: fmul double %y, 1.234000e-01
40; CHECK-NEXT: fadd double %x, %mul
41; CHECK-NEXT: fmul double %add{{.*}}, %add{{.*}}
42; CHECK-NEXT: ret double
43
44  %mul = fmul double %y, 1.234000e-01
45  %add = fadd double %mul, %x
46  %mul1 = fmul double %y, -1.234000e-01
47  %add2 = fsub double %x, %mul1
48  %mul3 = fmul double %add, %add2
49  ret double %mul3
50}
51
52; Canonicalize (x - -1234 * y)
53define i64 @test4(i64 %x, i64 %y) {
54; CHECK-LABEL: @test4
55; CHECK-NEXT: mul i64 %y, 1234
56; CHECK-NEXT: add i64 %mul, %x
57; CHECK-NEXT: ret i64 %sub
58
59  %mul = mul i64 %y, -1234
60  %sub = sub i64 %x, %mul
61  ret i64 %sub
62}
63
64; Canonicalize (x - -0.1234 * y)
65define double @test5(double %x, double %y) {
66; CHECK-LABEL: @test5
67; CHECK-NEXT: fmul double %y, 1.234000e-01
68; CHECK-NEXT: fadd double %x, %mul
69; CHECK-NEXT: ret double
70
71  %mul = fmul double -1.234000e-01, %y
72  %sub = fsub double %x, %mul
73  ret double %sub
74}
75
76; Don't modify (-0.1234 * y - x)
77define double @test6(double %x, double %y) {
78; CHECK-LABEL: @test6
79; CHECK-NEXT: fmul double %y, -1.234000e-01
80; CHECK-NEXT: fsub double %mul, %x
81; CHECK-NEXT: ret double %sub
82
83  %mul = fmul double -1.234000e-01, %y
84  %sub = fsub double %mul, %x
85  ret double %sub
86}
87
88; Canonicalize (-0.1234 * y + x) -> (x - 0.1234 * y)
89define double @test7(double %x, double %y) {
90; CHECK-LABEL: @test7
91; CHECK-NEXT: fmul double %y, 1.234000e-01
92; CHECK-NEXT: fsub double %x, %mul
93; CHECK-NEXT: ret double %add
94
95  %mul = fmul double -1.234000e-01, %y
96  %add = fadd double %mul, %x
97  ret double %add
98}
99
100; Canonicalize (y * -0.1234 + x) -> (x - 0.1234 * y)
101define double @test8(double %x, double %y) {
102; CHECK-LABEL: @test8
103; CHECK-NEXT: fmul double %y, 1.234000e-01
104; CHECK-NEXT: fsub double %x, %mul
105; CHECK-NEXT: ret double %add
106
107  %mul = fmul double %y, -1.234000e-01
108  %add = fadd double %mul, %x
109  ret double %add
110}
111
112; Canonicalize (x - -0.1234 / y)
113define double @test9(double %x, double %y) {
114; CHECK-LABEL: @test9
115; CHECK-NEXT: fdiv double 1.234000e-01, %y
116; CHECK-NEXT: fadd double %x, %div
117; CHECK-NEXT: ret double
118
119  %div = fdiv double -1.234000e-01, %y
120  %sub = fsub double %x, %div
121  ret double %sub
122}
123
124; Don't modify (-0.1234 / y - x)
125define double @test10(double %x, double %y) {
126; CHECK-LABEL: @test10
127; CHECK-NEXT: fdiv double -1.234000e-01, %y
128; CHECK-NEXT: fsub double %div, %x
129; CHECK-NEXT: ret double %sub
130
131  %div = fdiv double -1.234000e-01, %y
132  %sub = fsub double %div, %x
133  ret double %sub
134}
135
136; Canonicalize (-0.1234 / y + x) -> (x - 0.1234 / y)
137define double @test11(double %x, double %y) {
138; CHECK-LABEL: @test11
139; CHECK-NEXT: fdiv double 1.234000e-01, %y
140; CHECK-NEXT: fsub double %x, %div
141; CHECK-NEXT: ret double %add
142
143  %div = fdiv double -1.234000e-01, %y
144  %add = fadd double %div, %x
145  ret double %add
146}
147
148; Canonicalize (y / -0.1234 + x) -> (x - y / 0.1234)
149define double @test12(double %x, double %y) {
150; CHECK-LABEL: @test12
151; CHECK-NEXT: fdiv double %y, 1.234000e-01
152; CHECK-NEXT: fsub double %x, %div
153; CHECK-NEXT: ret double %add
154
155  %div = fdiv double %y, -1.234000e-01
156  %add = fadd double %div, %x
157  ret double %add
158}
159