1 ; RUN: opt -reassociate -gvn -S < %s | FileCheck %s
3 ; (x + 0.1234 * y) * (x + -0.1234 * y) -> (x + 0.1234 * y) * (x - 0.1234 * y)
4 define double @test1(double %x, double %y) {
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
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
20 ; (x + -0.1234 * y) * (x + -0.1234 * y) -> (x - 0.1234 * y) * (x - 0.1234 * y)
21 define double @test2(double %x, double %y) {
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
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
36 ; (x + 0.1234 * y) * (x - -0.1234 * y) -> (x + 0.1234 * y) * (x + 0.1234 * y)
37 define double @test3(double %x, double %y) {
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
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
52 ; Canonicalize (x - -1234 * y)
53 define i64 @test4(i64 %x, i64 %y) {
55 ; CHECK-NEXT: mul i64 %y, 1234
56 ; CHECK-NEXT: add i64 %mul, %x
57 ; CHECK-NEXT: ret i64 %sub
59 %mul = mul i64 %y, -1234
60 %sub = sub i64 %x, %mul
64 ; Canonicalize (x - -0.1234 * y)
65 define double @test5(double %x, double %y) {
67 ; CHECK-NEXT: fmul double %y, 1.234000e-01
68 ; CHECK-NEXT: fadd double %x, %mul
69 ; CHECK-NEXT: ret double
71 %mul = fmul double -1.234000e-01, %y
72 %sub = fsub double %x, %mul
76 ; Don't modify (-0.1234 * y - x)
77 define double @test6(double %x, double %y) {
79 ; CHECK-NEXT: fmul double %y, -1.234000e-01
80 ; CHECK-NEXT: fsub double %mul, %x
81 ; CHECK-NEXT: ret double %sub
83 %mul = fmul double -1.234000e-01, %y
84 %sub = fsub double %mul, %x
88 ; Canonicalize (-0.1234 * y + x) -> (x - 0.1234 * y)
89 define double @test7(double %x, double %y) {
91 ; CHECK-NEXT: fmul double %y, 1.234000e-01
92 ; CHECK-NEXT: fsub double %x, %mul
93 ; CHECK-NEXT: ret double %add
95 %mul = fmul double -1.234000e-01, %y
96 %add = fadd double %mul, %x
100 ; Canonicalize (y * -0.1234 + x) -> (x - 0.1234 * y)
101 define 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
107 %mul = fmul double %y, -1.234000e-01
108 %add = fadd double %mul, %x
112 ; Canonicalize (x - -0.1234 / y)
113 define 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
119 %div = fdiv double -1.234000e-01, %y
120 %sub = fsub double %x, %div
124 ; Don't modify (-0.1234 / y - x)
125 define 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
131 %div = fdiv double -1.234000e-01, %y
132 %sub = fsub double %div, %x
136 ; Canonicalize (-0.1234 / y + x) -> (x - 0.1234 / y)
137 define 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
143 %div = fdiv double -1.234000e-01, %y
144 %add = fadd double %div, %x
148 ; Canonicalize (y / -0.1234 + x) -> (x - y / 0.1234)
149 define 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
155 %div = fdiv double %y, -1.234000e-01
156 %add = fadd double %div, %x