1 ; RUN: opt < %s -reassociate -gvn -instcombine -S | FileCheck %s
3 define i32 @test1(i32 %arg) {
4 %tmp1 = sub i32 -12, %arg
5 %tmp2 = add i32 %tmp1, 12
9 ; CHECK-NEXT: sub i32 0, %arg
13 define i32 @test2(i32 %reg109, i32 %reg1111) {
14 %reg115 = add i32 %reg109, -30
15 %reg116 = add i32 %reg115, %reg1111
16 %reg117 = add i32 %reg116, 30
20 ; CHECK-NEXT: %reg117 = add i32 %reg1111, %reg109
21 ; CHECK-NEXT: ret i32 %reg117
24 @e = external global i32
25 @a = external global i32
26 @b = external global i32
27 @c = external global i32
28 @f = external global i32
30 define void @test3() {
31 %A = load i32, i32* @a
32 %B = load i32, i32* @b
33 %C = load i32, i32* @c
39 store i32 %t2, i32* @e
41 store i32 %t4, i32* @f
51 define void @test4() {
52 %A = load i32, i32* @a
53 %B = load i32, i32* @b
54 %C = load i32, i32* @c
60 store i32 %t2, i32* @e
62 store i32 %t4, i32* @f
72 define void @test5() {
73 %A = load i32, i32* @a
74 %B = load i32, i32* @b
75 %C = load i32, i32* @c
81 store i32 %t2, i32* @e
83 store i32 %t4, i32* @f
94 %tmp.0 = load i32, i32* @a
95 %tmp.1 = load i32, i32* @b
97 %tmp.2 = add i32 %tmp.0, %tmp.1
98 %tmp.4 = load i32, i32* @c
100 %tmp.5 = add i32 %tmp.2, %tmp.4
102 %tmp.8 = add i32 %tmp.0, %tmp.4
104 %tmp.11 = add i32 %tmp.8, %tmp.1
106 %RV = xor i32 %tmp.5, %tmp.11
109 ; CHECK-LABEL: @test6
113 ; This should be one add and two multiplies.
114 define i32 @test7(i32 %A, i32 %B, i32 %C) {
117 %aab = mul i32 %aa, %B
119 %aac = mul i32 %ac, %A
120 %r = add i32 %aab, %aac
123 ; CHECK-LABEL: @test7
124 ; CHECK-NEXT: add i32 %C, %B
125 ; CHECK-NEXT: mul i32
126 ; CHECK-NEXT: mul i32
127 ; CHECK-NEXT: ret i32
130 define i32 @test8(i32 %X, i32 %Y, i32 %Z) {
133 ; (-X)*Y + Z -> Z-X*Y
137 ; CHECK-LABEL: @test8
138 ; CHECK-NEXT: %A = mul i32 %Y, %X
139 ; CHECK-NEXT: %C = sub i32 %Z, %A
140 ; CHECK-NEXT: ret i32 %C
144 define i32 @test9(i32 %X) {
148 ; CHECK-LABEL: @test9
149 ; CHECK-NEXT: mul i32 %X, 94
150 ; CHECK-NEXT: ret i32
153 define i32 @test10(i32 %X) {
157 ; CHECK-LABEL: @test10
158 ; CHECK-NEXT: mul i32 %X, 3
159 ; CHECK-NEXT: ret i32
162 define i32 @test11(i32 %W) {
167 ; CHECK-LABEL: @test11
168 ; CHECK-NEXT: mul i32 %W, 381
169 ; CHECK-NEXT: ret i32
172 define i32 @test12(i32 %X) {
179 ; CHECK-LABEL: @test12
180 ; CHECK-NEXT: mul i32 %X, -3
181 ; CHECK-NEXT: add i32{{.*}}, 6
182 ; CHECK-NEXT: ret i32
185 define i32 @test13(i32 %X1, i32 %X2, i32 %X3) {
187 %B = mul i32 %A, %X2 ; -X1*X2
188 %C = mul i32 %X1, %X3 ; X1*X3
189 %D = add i32 %B, %C ; -X1*X2 + X1*X3 -> X1*(X3-X2)
191 ; CHECK-LABEL: @test13
192 ; CHECK-NEXT: sub i32 %X3, %X2
193 ; CHECK-NEXT: mul i32 {{.*}}, %X1
194 ; CHECK-NEXT: ret i32
198 define i32 @test14(i32 %X1, i32 %X2) {
199 %B = mul i32 %X1, 47 ; X1*47
200 %C = mul i32 %X2, -47 ; X2*-47
201 %D = add i32 %B, %C ; X1*47 + X2*-47 -> 47*(X1-X2)
204 ; CHECK-LABEL: @test14
205 ; CHECK-NEXT: %[[SUB:.*]] = sub i32 %X1, %X2
206 ; CHECK-NEXT: mul i32 %[[SUB]], 47
207 ; CHECK-NEXT: ret i32
210 ; Do not reassociate expressions of type i1
211 define i32 @test15(i32 %X1, i32 %X2, i32 %X3) {
212 %A = icmp ne i32 %X1, 0
213 %B = icmp slt i32 %X2, %X3
215 %D = select i1 %C, i32 %X1, i32 0
217 ; CHECK-LABEL: @test15
218 ; CHECK: and i1 %A, %B