|
120
|
1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
2 ; This test makes sure that shift instructions are properly eliminated
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
3 ; even with arbitrary precision integers.
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
4 ; RUN: opt < %s -instcombine -S | FileCheck %s
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
5
|
|
120
|
6 define i47 @test1(i47 %A) {
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
7 ; CHECK-LABEL: @test1(
|
|
120
|
8 ; CHECK-NEXT: ret i47 %A
|
|
|
9 ;
|
|
|
10 %B = shl i47 %A, 0
|
|
|
11 ret i47 %B
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
12 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
13
|
|
120
|
14 define i41 @test2(i7 %X) {
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
15 ; CHECK-LABEL: @test2(
|
|
120
|
16 ; CHECK-NEXT: ret i41 0
|
|
|
17 ;
|
|
|
18 %A = zext i7 %X to i41
|
|
|
19 %B = shl i41 0, %A
|
|
|
20 ret i41 %B
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
21 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
22
|
|
120
|
23 define i41 @test3(i41 %A) {
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
24 ; CHECK-LABEL: @test3(
|
|
120
|
25 ; CHECK-NEXT: ret i41 %A
|
|
|
26 ;
|
|
|
27 %B = ashr i41 %A, 0
|
|
|
28 ret i41 %B
|
|
|
29 }
|
|
|
30
|
|
|
31 define i39 @test4(i7 %X) {
|
|
|
32 ; CHECK-LABEL: @test4(
|
|
|
33 ; CHECK-NEXT: ret i39 0
|
|
|
34 ;
|
|
|
35 %A = zext i7 %X to i39
|
|
|
36 %B = ashr i39 0, %A
|
|
|
37 ret i39 %B
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
38 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
39
|
|
120
|
40 define i55 @test5(i55 %A) {
|
|
|
41 ; CHECK-LABEL: @test5(
|
|
|
42 ; CHECK-NEXT: ret i55 undef
|
|
|
43 ;
|
|
|
44 %B = lshr i55 %A, 55
|
|
|
45 ret i55 %B
|
|
|
46 }
|
|
|
47
|
|
|
48 define i32 @test5a(i32 %A) {
|
|
|
49 ; CHECK-LABEL: @test5a(
|
|
|
50 ; CHECK-NEXT: ret i32 undef
|
|
|
51 ;
|
|
|
52 %B = shl i32 %A, 32
|
|
|
53 ret i32 %B
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
54 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
55
|
|
120
|
56 define i55 @test6(i55 %A) {
|
|
|
57 ; CHECK-LABEL: @test6(
|
|
|
58 ; CHECK-NEXT: [[C:%.*]] = mul i55 %A, 6
|
|
|
59 ; CHECK-NEXT: ret i55 [[C]]
|
|
|
60 ;
|
|
|
61 %B = shl i55 %A, 1
|
|
|
62 %C = mul i55 %B, 3
|
|
|
63 ret i55 %C
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
64 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
65
|
|
120
|
66 define i55 @test6a(i55 %A) {
|
|
|
67 ; CHECK-LABEL: @test6a(
|
|
|
68 ; CHECK-NEXT: [[C:%.*]] = mul i55 %A, 6
|
|
|
69 ; CHECK-NEXT: ret i55 [[C]]
|
|
|
70 ;
|
|
|
71 %B = mul i55 %A, 3
|
|
|
72 %C = shl i55 %B, 1
|
|
|
73 ret i55 %C
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
74 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
75
|
|
120
|
76 define i29 @test7(i8 %X) {
|
|
|
77 ; CHECK-LABEL: @test7(
|
|
|
78 ; CHECK-NEXT: ret i29 -1
|
|
|
79 ;
|
|
|
80 %A = zext i8 %X to i29
|
|
|
81 %B = ashr i29 -1, %A
|
|
|
82 ret i29 %B
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
83 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
84
|
|
120
|
85 define i7 @test8(i7 %A) {
|
|
|
86 ; CHECK-LABEL: @test8(
|
|
|
87 ; CHECK-NEXT: ret i7 0
|
|
|
88 ;
|
|
|
89 %B = shl i7 %A, 4
|
|
|
90 %C = shl i7 %B, 3
|
|
|
91 ret i7 %C
|
|
|
92 }
|
|
|
93
|
|
|
94 define i17 @test9(i17 %A) {
|
|
|
95 ; CHECK-LABEL: @test9(
|
|
|
96 ; CHECK-NEXT: [[B:%.*]] = and i17 %A, 1
|
|
|
97 ; CHECK-NEXT: ret i17 [[B]]
|
|
|
98 ;
|
|
|
99 %B = shl i17 %A, 16
|
|
|
100 %C = lshr i17 %B, 16
|
|
|
101 ret i17 %C
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
102 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
103
|
|
120
|
104 define i19 @test10(i19 %A) {
|
|
|
105 ; CHECK-LABEL: @test10(
|
|
|
106 ; CHECK-NEXT: [[B:%.*]] = and i19 %A, -262144
|
|
|
107 ; CHECK-NEXT: ret i19 [[B]]
|
|
|
108 ;
|
|
|
109 %B = lshr i19 %A, 18
|
|
|
110 %C = shl i19 %B, 18
|
|
|
111 ret i19 %C
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
112 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
113
|
|
120
|
114 ; Don't hide the shl from scalar evolution. DAGCombine will get it.
|
|
|
115 define i23 @test11(i23 %A) {
|
|
|
116 ; CHECK-LABEL: @test11(
|
|
|
117 ; CHECK-NEXT: [[A:%.*]] = mul i23 %A, 3
|
|
|
118 ; CHECK-NEXT: [[B:%.*]] = lshr i23 [[A]], 11
|
|
|
119 ; CHECK-NEXT: [[C:%.*]] = shl i23 [[B]], 12
|
|
|
120 ; CHECK-NEXT: ret i23 [[C]]
|
|
|
121 ;
|
|
|
122 %a = mul i23 %A, 3
|
|
|
123 %B = lshr i23 %a, 11
|
|
|
124 %C = shl i23 %B, 12
|
|
|
125 ret i23 %C
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
126 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
127
|
|
120
|
128 define i47 @test12(i47 %A) {
|
|
|
129 ; CHECK-LABEL: @test12(
|
|
|
130 ; CHECK-NEXT: [[B1:%.*]] = and i47 %A, -256
|
|
|
131 ; CHECK-NEXT: ret i47 [[B1]]
|
|
|
132 ;
|
|
|
133 %B = ashr i47 %A, 8
|
|
|
134 %C = shl i47 %B, 8
|
|
|
135 ret i47 %C
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
136 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
137
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
138 ; Don't hide the shl from scalar evolution. DAGCombine will get it.
|
|
120
|
139 define i18 @test13(i18 %A) {
|
|
|
140 ; CHECK-LABEL: @test13(
|
|
|
141 ; CHECK-NEXT: [[A:%.*]] = mul i18 %A, 3
|
|
|
142 ; CHECK-NEXT: [[B1:%.*]] = lshr i18 [[A]], 8
|
|
|
143 ; CHECK-NEXT: [[C:%.*]] = shl i18 [[B1]], 9
|
|
|
144 ; CHECK-NEXT: ret i18 [[C]]
|
|
|
145 ;
|
|
|
146 %a = mul i18 %A, 3
|
|
|
147 %B = ashr i18 %a, 8
|
|
|
148 %C = shl i18 %B, 9
|
|
|
149 ret i18 %C
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
150 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
151
|
|
120
|
152 define i35 @test14(i35 %A) {
|
|
|
153 ; CHECK-LABEL: @test14(
|
|
|
154 ; CHECK-NEXT: [[B:%.*]] = and i35 %A, -19760
|
|
|
155 ; CHECK-NEXT: [[C:%.*]] = or i35 [[B]], 19744
|
|
|
156 ; CHECK-NEXT: ret i35 [[C]]
|
|
|
157 ;
|
|
|
158 %B = lshr i35 %A, 4
|
|
|
159 %C = or i35 %B, 1234
|
|
|
160 %D = shl i35 %C, 4
|
|
|
161 ret i35 %D
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
162 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
163
|
|
120
|
164 define i79 @test14a(i79 %A) {
|
|
|
165 ; CHECK-LABEL: @test14a(
|
|
|
166 ; CHECK-NEXT: [[C:%.*]] = and i79 %A, 77
|
|
|
167 ; CHECK-NEXT: ret i79 [[C]]
|
|
|
168 ;
|
|
|
169 %B = shl i79 %A, 4
|
|
|
170 %C = and i79 %B, 1234
|
|
|
171 %D = lshr i79 %C, 4
|
|
|
172 ret i79 %D
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
173 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
174
|
|
120
|
175 define i45 @test15(i1 %C) {
|
|
|
176 ; CHECK-LABEL: @test15(
|
|
|
177 ; CHECK-NEXT: [[A:%.*]] = select i1 %C, i45 12, i45 4
|
|
|
178 ; CHECK-NEXT: ret i45 [[A]]
|
|
|
179 ;
|
|
|
180 %A = select i1 %C, i45 3, i45 1
|
|
|
181 %V = shl i45 %A, 2
|
|
|
182 ret i45 %V
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
183 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
184
|
|
120
|
185 define i53 @test15a(i1 %X) {
|
|
|
186 ; CHECK-LABEL: @test15a(
|
|
|
187 ; CHECK-NEXT: [[V:%.*]] = select i1 %X, i53 512, i53 128
|
|
|
188 ; CHECK-NEXT: ret i53 [[V]]
|
|
|
189 ;
|
|
|
190 %A = select i1 %X, i8 3, i8 1
|
|
|
191 %B = zext i8 %A to i53
|
|
|
192 %V = shl i53 64, %B
|
|
|
193 ret i53 %V
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
194 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
195
|
|
120
|
196 define i1 @test16(i84 %X) {
|
|
|
197 ; CHECK-LABEL: @test16(
|
|
|
198 ; CHECK-NEXT: [[AND:%.*]] = and i84 %X, 16
|
|
|
199 ; CHECK-NEXT: [[CMP:%.*]] = icmp ne i84 [[AND]], 0
|
|
|
200 ; CHECK-NEXT: ret i1 [[CMP]]
|
|
|
201 ;
|
|
|
202 %shr = ashr i84 %X, 4
|
|
|
203 %and = and i84 %shr, 1
|
|
|
204 %cmp = icmp ne i84 %and, 0
|
|
|
205 ret i1 %cmp
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
206 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
207
|
|
120
|
208 define <2 x i1> @test16vec(<2 x i84> %X) {
|
|
|
209 ; CHECK-LABEL: @test16vec(
|
|
|
210 ; CHECK-NEXT: [[AND:%.*]] = and <2 x i84> %X, <i84 16, i84 16>
|
|
|
211 ; CHECK-NEXT: [[CMP:%.*]] = icmp ne <2 x i84> [[AND]], zeroinitializer
|
|
|
212 ; CHECK-NEXT: ret <2 x i1> [[CMP]]
|
|
|
213 ;
|
|
|
214 %shr = ashr <2 x i84> %X, <i84 4, i84 4>
|
|
|
215 %and = and <2 x i84> %shr, <i84 1, i84 1>
|
|
|
216 %cmp = icmp ne <2 x i84> %and, zeroinitializer
|
|
|
217 ret <2 x i1> %cmp
|
|
|
218 }
|
|
|
219
|
|
|
220 define i1 @test17(i106 %A) {
|
|
|
221 ; CHECK-LABEL: @test17(
|
|
|
222 ; CHECK-NEXT: [[B_MASK:%.*]] = and i106 %A, -8
|
|
|
223 ; CHECK-NEXT: [[C:%.*]] = icmp eq i106 [[B_MASK]], 9872
|
|
|
224 ; CHECK-NEXT: ret i1 [[C]]
|
|
|
225 ;
|
|
|
226 %B = lshr i106 %A, 3
|
|
|
227 %C = icmp eq i106 %B, 1234
|
|
|
228 ret i1 %C
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
229 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
230
|
|
120
|
231 define <2 x i1> @test17vec(<2 x i106> %A) {
|
|
|
232 ; CHECK-LABEL: @test17vec(
|
|
|
233 ; CHECK-NEXT: [[B_MASK:%.*]] = and <2 x i106> %A, <i106 -8, i106 -8>
|
|
|
234 ; CHECK-NEXT: [[C:%.*]] = icmp eq <2 x i106> [[B_MASK]], <i106 9872, i106 9872>
|
|
|
235 ; CHECK-NEXT: ret <2 x i1> [[C]]
|
|
|
236 ;
|
|
|
237 %B = lshr <2 x i106> %A, <i106 3, i106 3>
|
|
|
238 %C = icmp eq <2 x i106> %B, <i106 1234, i106 1234>
|
|
|
239 ret <2 x i1> %C
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
240 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
241
|
|
120
|
242 define i1 @test18(i11 %A) {
|
|
|
243 ; CHECK-LABEL: @test18(
|
|
|
244 ; CHECK-NEXT: ret i1 false
|
|
|
245 ;
|
|
|
246 %B = lshr i11 %A, 10
|
|
|
247 %C = icmp eq i11 %B, 123
|
|
|
248 ret i1 %C
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
249 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
250
|
|
120
|
251 define i1 @test19(i37 %A) {
|
|
|
252 ; CHECK-LABEL: @test19(
|
|
|
253 ; CHECK-NEXT: [[C:%.*]] = icmp ult i37 %A, 4
|
|
|
254 ; CHECK-NEXT: ret i1 [[C]]
|
|
|
255 ;
|
|
|
256 %B = ashr i37 %A, 2
|
|
|
257 %C = icmp eq i37 %B, 0
|
|
|
258 ret i1 %C
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
259 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
260
|
|
120
|
261 define <2 x i1> @test19vec(<2 x i37> %A) {
|
|
|
262 ; CHECK-LABEL: @test19vec(
|
|
|
263 ; CHECK-NEXT: [[C:%.*]] = icmp ult <2 x i37> %A, <i37 4, i37 4>
|
|
|
264 ; CHECK-NEXT: ret <2 x i1> [[C]]
|
|
|
265 ;
|
|
|
266 %B = ashr <2 x i37> %A, <i37 2, i37 2>
|
|
|
267 %C = icmp eq <2 x i37> %B, zeroinitializer
|
|
|
268 ret <2 x i1> %C
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
269 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
270
|
|
120
|
271 define i1 @test19a(i39 %A) {
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
272 ; CHECK-LABEL: @test19a(
|
|
120
|
273 ; CHECK-NEXT: [[C:%.*]] = icmp ugt i39 %A, -5
|
|
|
274 ; CHECK-NEXT: ret i1 [[C]]
|
|
|
275 ;
|
|
|
276 %B = ashr i39 %A, 2
|
|
|
277 %C = icmp eq i39 %B, -1
|
|
|
278 ret i1 %C
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
279 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
280
|
|
120
|
281 define <2 x i1> @test19a_vec(<2 x i39> %A) {
|
|
|
282 ; CHECK-LABEL: @test19a_vec(
|
|
|
283 ; CHECK-NEXT: [[C:%.*]] = icmp ugt <2 x i39> %A, <i39 -5, i39 -5>
|
|
|
284 ; CHECK-NEXT: ret <2 x i1> [[C]]
|
|
|
285 ;
|
|
|
286 %B = ashr <2 x i39> %A, <i39 2, i39 2>
|
|
|
287 %C = icmp eq <2 x i39> %B, <i39 -1, i39 -1>
|
|
|
288 ret <2 x i1> %C
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
289 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
290
|
|
120
|
291 define i1 @test20(i13 %A) {
|
|
|
292 ; CHECK-LABEL: @test20(
|
|
|
293 ; CHECK-NEXT: ret i1 false
|
|
|
294 ;
|
|
|
295 %B = ashr i13 %A, 12
|
|
|
296 %C = icmp eq i13 %B, 123
|
|
|
297 ret i1 %C
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
298 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
299
|
|
120
|
300 define i1 @test21(i12 %A) {
|
|
|
301 ; CHECK-LABEL: @test21(
|
|
|
302 ; CHECK-NEXT: [[B_MASK:%.*]] = and i12 %A, 63
|
|
|
303 ; CHECK-NEXT: [[C:%.*]] = icmp eq i12 [[B_MASK]], 62
|
|
|
304 ; CHECK-NEXT: ret i1 [[C]]
|
|
|
305 ;
|
|
|
306 %B = shl i12 %A, 6
|
|
|
307 %C = icmp eq i12 %B, -128
|
|
|
308 ret i1 %C
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
309 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
310
|
|
120
|
311 define i1 @test22(i14 %A) {
|
|
|
312 ; CHECK-LABEL: @test22(
|
|
|
313 ; CHECK-NEXT: [[B_MASK:%.*]] = and i14 %A, 127
|
|
|
314 ; CHECK-NEXT: [[C:%.*]] = icmp eq i14 [[B_MASK]], 0
|
|
|
315 ; CHECK-NEXT: ret i1 [[C]]
|
|
|
316 ;
|
|
|
317 %B = shl i14 %A, 7
|
|
|
318 %C = icmp eq i14 %B, 0
|
|
|
319 ret i1 %C
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
320 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
321
|
|
120
|
322 define i11 @test23(i44 %A) {
|
|
|
323 ; CHECK-LABEL: @test23(
|
|
|
324 ; CHECK-NEXT: [[D:%.*]] = trunc i44 %A to i11
|
|
|
325 ; CHECK-NEXT: ret i11 [[D]]
|
|
|
326 ;
|
|
|
327 %B = shl i44 %A, 33
|
|
|
328 %C = ashr i44 %B, 33
|
|
|
329 %D = trunc i44 %C to i11
|
|
|
330 ret i11 %D
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
331 }
|
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
332
|
|
120
|
333 define i37 @test25(i37 %tmp.2, i37 %AA) {
|
|
|
334 ; CHECK-LABEL: @test25(
|
|
|
335 ; CHECK-NEXT: [[TMP_3:%.*]] = and i37 %tmp.2, -131072
|
|
|
336 ; CHECK-NEXT: [[X2:%.*]] = add i37 [[TMP_3]], %AA
|
|
|
337 ; CHECK-NEXT: [[TMP_6:%.*]] = and i37 [[X2]], -131072
|
|
|
338 ; CHECK-NEXT: ret i37 [[TMP_6]]
|
|
|
339 ;
|
|
|
340 %x = lshr i37 %AA, 17
|
|
|
341 %tmp.3 = lshr i37 %tmp.2, 17
|
|
|
342 %tmp.5 = add i37 %tmp.3, %x
|
|
|
343 %tmp.6 = shl i37 %tmp.5, 17
|
|
|
344 ret i37 %tmp.6
|
|
|
345 }
|
|
|
346
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
347 define i40 @test26(i40 %A) {
|
|
120
|
348 ; CHECK-LABEL: @test26(
|
|
|
349 ; CHECK-NEXT: [[B:%.*]] = and i40 %A, -2
|
|
|
350 ; CHECK-NEXT: ret i40 [[B]]
|
|
|
351 ;
|
|
|
352 %B = lshr i40 %A, 1
|
|
|
353 %C = bitcast i40 %B to i40
|
|
|
354 %D = shl i40 %C, 1
|
|
|
355 ret i40 %D
|
0
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff
changeset
|
356 }
|
