| blob | c3b822ac21456ba04905cd9d84d015f1775bca45 |
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc < %s -mtriple=i686-unknown | FileCheck %s --check-prefix=X86
3 ; RUN: llc < %s -mtriple=x86_64-unknown | FileCheck %s --check-prefix=X64
5 define i16 @test_mul_by_1(i16 %x) {
6 ; X86-LABEL: test_mul_by_1:
7 ; X86: # BB#0:
8 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax
9 ; X86-NEXT: retl
10 ;
11 ; X64-LABEL: test_mul_by_1:
12 ; X64: # BB#0:
13 ; X64-NEXT: movl %edi, %eax
14 ; X64-NEXT: retq
15 %mul = mul nsw i16 %x, 1
16 ret i16 %mul
17 }
19 define i16 @test_mul_by_2(i16 %x) {
20 ; X86-LABEL: test_mul_by_2:
21 ; X86: # BB#0:
22 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax
23 ; X86-NEXT: addl %eax, %eax
24 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
25 ; X86-NEXT: retl
26 ;
27 ; X64-LABEL: test_mul_by_2:
28 ; X64: # BB#0:
29 ; X64-NEXT: # kill: %edi<def> %edi<kill> %rdi<def>
30 ; X64-NEXT: leal (%rdi,%rdi), %eax
31 ; X64-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
32 ; X64-NEXT: retq
33 %mul = mul nsw i16 %x, 2
34 ret i16 %mul
35 }
37 define i16 @test_mul_by_3(i16 %x) {
38 ; X86-LABEL: test_mul_by_3:
39 ; X86: # BB#0:
40 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax
41 ; X86-NEXT: leal (%eax,%eax,2), %eax
42 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
43 ; X86-NEXT: retl
44 ;
45 ; X64-LABEL: test_mul_by_3:
46 ; X64: # BB#0:
47 ; X64-NEXT: # kill: %edi<def> %edi<kill> %rdi<def>
48 ; X64-NEXT: leal (%rdi,%rdi,2), %eax
49 ; X64-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
50 ; X64-NEXT: retq
51 %mul = mul nsw i16 %x, 3
52 ret i16 %mul
53 }
55 define i16 @test_mul_by_4(i16 %x) {
56 ; X86-LABEL: test_mul_by_4:
57 ; X86: # BB#0:
58 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax
59 ; X86-NEXT: shll $2, %eax
60 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
61 ; X86-NEXT: retl
62 ;
63 ; X64-LABEL: test_mul_by_4:
64 ; X64: # BB#0:
65 ; X64-NEXT: # kill: %edi<def> %edi<kill> %rdi<def>
66 ; X64-NEXT: leal (,%rdi,4), %eax
67 ; X64-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
68 ; X64-NEXT: retq
69 %mul = mul nsw i16 %x, 4
70 ret i16 %mul
71 }
73 define i16 @test_mul_by_5(i16 %x) {
74 ; X86-LABEL: test_mul_by_5:
75 ; X86: # BB#0:
76 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax
77 ; X86-NEXT: leal (%eax,%eax,4), %eax
78 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
79 ; X86-NEXT: retl
80 ;
81 ; X64-LABEL: test_mul_by_5:
82 ; X64: # BB#0:
83 ; X64-NEXT: # kill: %edi<def> %edi<kill> %rdi<def>
84 ; X64-NEXT: leal (%rdi,%rdi,4), %eax
85 ; X64-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
86 ; X64-NEXT: retq
87 %mul = mul nsw i16 %x, 5
88 ret i16 %mul
89 }
91 define i16 @test_mul_by_6(i16 %x) {
92 ; X86-LABEL: test_mul_by_6:
93 ; X86: # BB#0:
94 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax
95 ; X86-NEXT: addl %eax, %eax
96 ; X86-NEXT: leal (%eax,%eax,2), %eax
97 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
98 ; X86-NEXT: retl
99 ;
100 ; X64-LABEL: test_mul_by_6:
101 ; X64: # BB#0:
102 ; X64-NEXT: # kill: %edi<def> %edi<kill> %rdi<def>
103 ; X64-NEXT: addl %edi, %edi
104 ; X64-NEXT: leal (%rdi,%rdi,2), %eax
105 ; X64-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
106 ; X64-NEXT: retq
107 %mul = mul nsw i16 %x, 6
108 ret i16 %mul
109 }
111 define i16 @test_mul_by_7(i16 %x) {
112 ; X86-LABEL: test_mul_by_7:
113 ; X86: # BB#0:
114 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %ecx
115 ; X86-NEXT: leal (,%ecx,8), %eax
116 ; X86-NEXT: subl %ecx, %eax
117 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
118 ; X86-NEXT: retl
119 ;
120 ; X64-LABEL: test_mul_by_7:
121 ; X64: # BB#0:
122 ; X64-NEXT: # kill: %edi<def> %edi<kill> %rdi<def>
123 ; X64-NEXT: leal (,%rdi,8), %eax
124 ; X64-NEXT: subl %edi, %eax
125 ; X64-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
126 ; X64-NEXT: retq
127 %mul = mul nsw i16 %x, 7
128 ret i16 %mul
129 }
131 define i16 @test_mul_by_8(i16 %x) {
132 ; X86-LABEL: test_mul_by_8:
133 ; X86: # BB#0:
134 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax
135 ; X86-NEXT: shll $3, %eax
136 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
137 ; X86-NEXT: retl
138 ;
139 ; X64-LABEL: test_mul_by_8:
140 ; X64: # BB#0:
141 ; X64-NEXT: # kill: %edi<def> %edi<kill> %rdi<def>
142 ; X64-NEXT: leal (,%rdi,8), %eax
143 ; X64-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
144 ; X64-NEXT: retq
145 %mul = mul nsw i16 %x, 8
146 ret i16 %mul
147 }
149 define i16 @test_mul_by_9(i16 %x) {
150 ; X86-LABEL: test_mul_by_9:
151 ; X86: # BB#0:
152 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax
153 ; X86-NEXT: leal (%eax,%eax,8), %eax
154 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
155 ; X86-NEXT: retl
156 ;
157 ; X64-LABEL: test_mul_by_9:
158 ; X64: # BB#0:
159 ; X64-NEXT: # kill: %edi<def> %edi<kill> %rdi<def>
160 ; X64-NEXT: leal (%rdi,%rdi,8), %eax
161 ; X64-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
162 ; X64-NEXT: retq
163 %mul = mul nsw i16 %x, 9
164 ret i16 %mul
165 }
167 define i16 @test_mul_by_10(i16 %x) {
168 ; X86-LABEL: test_mul_by_10:
169 ; X86: # BB#0:
170 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax
171 ; X86-NEXT: addl %eax, %eax
172 ; X86-NEXT: leal (%eax,%eax,4), %eax
173 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
174 ; X86-NEXT: retl
175 ;
176 ; X64-LABEL: test_mul_by_10:
177 ; X64: # BB#0:
178 ; X64-NEXT: # kill: %edi<def> %edi<kill> %rdi<def>
179 ; X64-NEXT: addl %edi, %edi
180 ; X64-NEXT: leal (%rdi,%rdi,4), %eax
181 ; X64-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
182 ; X64-NEXT: retq
183 %mul = mul nsw i16 %x, 10
184 ret i16 %mul
185 }
187 define i16 @test_mul_by_11(i16 %x) {
188 ; X86-LABEL: test_mul_by_11:
189 ; X86: # BB#0:
190 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax
191 ; X86-NEXT: leal (%eax,%eax,4), %ecx
192 ; X86-NEXT: leal (%eax,%ecx,2), %eax
193 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
194 ; X86-NEXT: retl
195 ;
196 ; X64-LABEL: test_mul_by_11:
197 ; X64: # BB#0:
198 ; X64-NEXT: # kill: %edi<def> %edi<kill> %rdi<def>
199 ; X64-NEXT: leal (%rdi,%rdi,4), %eax
200 ; X64-NEXT: leal (%rdi,%rax,2), %eax
201 ; X64-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
202 ; X64-NEXT: retq
203 %mul = mul nsw i16 %x, 11
204 ret i16 %mul
205 }
207 define i16 @test_mul_by_12(i16 %x) {
208 ; X86-LABEL: test_mul_by_12:
209 ; X86: # BB#0:
210 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax
211 ; X86-NEXT: shll $2, %eax
212 ; X86-NEXT: leal (%eax,%eax,2), %eax
213 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
214 ; X86-NEXT: retl
215 ;
216 ; X64-LABEL: test_mul_by_12:
217 ; X64: # BB#0:
218 ; X64-NEXT: # kill: %edi<def> %edi<kill> %rdi<def>
219 ; X64-NEXT: shll $2, %edi
220 ; X64-NEXT: leal (%rdi,%rdi,2), %eax
221 ; X64-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
222 ; X64-NEXT: retq
223 %mul = mul nsw i16 %x, 12
224 ret i16 %mul
225 }
227 define i16 @test_mul_by_13(i16 %x) {
228 ; X86-LABEL: test_mul_by_13:
229 ; X86: # BB#0:
230 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax
231 ; X86-NEXT: leal (%eax,%eax,2), %ecx
232 ; X86-NEXT: leal (%eax,%ecx,4), %eax
233 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
234 ; X86-NEXT: retl
235 ;
236 ; X64-LABEL: test_mul_by_13:
237 ; X64: # BB#0:
238 ; X64-NEXT: # kill: %edi<def> %edi<kill> %rdi<def>
239 ; X64-NEXT: leal (%rdi,%rdi,2), %eax
240 ; X64-NEXT: leal (%rdi,%rax,4), %eax
241 ; X64-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
242 ; X64-NEXT: retq
243 %mul = mul nsw i16 %x, 13
244 ret i16 %mul
245 }
247 define i16 @test_mul_by_14(i16 %x) {
248 ; X86-LABEL: test_mul_by_14:
249 ; X86: # BB#0:
250 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %ecx
251 ; X86-NEXT: leal (%ecx,%ecx,2), %eax
252 ; X86-NEXT: leal (%ecx,%eax,4), %eax
253 ; X86-NEXT: addl %ecx, %eax
254 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
255 ; X86-NEXT: retl
256 ;
257 ; X64-LABEL: test_mul_by_14:
258 ; X64: # BB#0:
259 ; X64-NEXT: # kill: %edi<def> %edi<kill> %rdi<def>
260 ; X64-NEXT: leal (%rdi,%rdi,2), %eax
261 ; X64-NEXT: leal (%rdi,%rax,4), %eax
262 ; X64-NEXT: addl %edi, %eax
263 ; X64-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
264 ; X64-NEXT: retq
265 %mul = mul nsw i16 %x, 14
266 ret i16 %mul
267 }
269 define i16 @test_mul_by_15(i16 %x) {
270 ; X86-LABEL: test_mul_by_15:
271 ; X86: # BB#0:
272 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax
273 ; X86-NEXT: leal (%eax,%eax,4), %eax
274 ; X86-NEXT: leal (%eax,%eax,2), %eax
275 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
276 ; X86-NEXT: retl
277 ;
278 ; X64-LABEL: test_mul_by_15:
279 ; X64: # BB#0:
280 ; X64-NEXT: # kill: %edi<def> %edi<kill> %rdi<def>
281 ; X64-NEXT: leal (%rdi,%rdi,4), %eax
282 ; X64-NEXT: leal (%rax,%rax,2), %eax
283 ; X64-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
284 ; X64-NEXT: retq
285 %mul = mul nsw i16 %x, 15
286 ret i16 %mul
287 }
289 define i16 @test_mul_by_16(i16 %x) {
290 ; X86-LABEL: test_mul_by_16:
291 ; X86: # BB#0:
292 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax
293 ; X86-NEXT: shll $4, %eax
294 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
295 ; X86-NEXT: retl
296 ;
297 ; X64-LABEL: test_mul_by_16:
298 ; X64: # BB#0:
299 ; X64-NEXT: shll $4, %edi
300 ; X64-NEXT: movl %edi, %eax
301 ; X64-NEXT: retq
302 %mul = mul nsw i16 %x, 16
303 ret i16 %mul
304 }
306 define i16 @test_mul_by_17(i16 %x) {
307 ; X86-LABEL: test_mul_by_17:
308 ; X86: # BB#0:
309 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %ecx
310 ; X86-NEXT: movl %ecx, %eax
311 ; X86-NEXT: shll $4, %eax
312 ; X86-NEXT: addl %ecx, %eax
313 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
314 ; X86-NEXT: retl
315 ;
316 ; X64-LABEL: test_mul_by_17:
317 ; X64: # BB#0:
318 ; X64-NEXT: # kill: %edi<def> %edi<kill> %rdi<def>
319 ; X64-NEXT: movl %edi, %eax
320 ; X64-NEXT: shll $4, %eax
321 ; X64-NEXT: leal (%rax,%rdi), %eax
322 ; X64-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
323 ; X64-NEXT: retq
324 %mul = mul nsw i16 %x, 17
325 ret i16 %mul
326 }
328 define i16 @test_mul_by_18(i16 %x) {
329 ; X86-LABEL: test_mul_by_18:
330 ; X86: # BB#0:
331 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax
332 ; X86-NEXT: addl %eax, %eax
333 ; X86-NEXT: leal (%eax,%eax,8), %eax
334 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
335 ; X86-NEXT: retl
336 ;
337 ; X64-LABEL: test_mul_by_18:
338 ; X64: # BB#0:
339 ; X64-NEXT: # kill: %edi<def> %edi<kill> %rdi<def>
340 ; X64-NEXT: addl %edi, %edi
341 ; X64-NEXT: leal (%rdi,%rdi,8), %eax
342 ; X64-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
343 ; X64-NEXT: retq
344 %mul = mul nsw i16 %x, 18
345 ret i16 %mul
346 }
348 define i16 @test_mul_by_19(i16 %x) {
349 ; X86-LABEL: test_mul_by_19:
350 ; X86: # BB#0:
351 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %ecx
352 ; X86-NEXT: leal (%ecx,%ecx,4), %eax
353 ; X86-NEXT: shll $2, %eax
354 ; X86-NEXT: subl %ecx, %eax
355 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
356 ; X86-NEXT: retl
357 ;
358 ; X64-LABEL: test_mul_by_19:
359 ; X64: # BB#0:
360 ; X64-NEXT: # kill: %edi<def> %edi<kill> %rdi<def>
361 ; X64-NEXT: leal (%rdi,%rdi,4), %eax
362 ; X64-NEXT: shll $2, %eax
363 ; X64-NEXT: subl %edi, %eax
364 ; X64-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
365 ; X64-NEXT: retq
366 %mul = mul nsw i16 %x, 19
367 ret i16 %mul
368 }
370 define i16 @test_mul_by_20(i16 %x) {
371 ; X86-LABEL: test_mul_by_20:
372 ; X86: # BB#0:
373 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax
374 ; X86-NEXT: shll $2, %eax
375 ; X86-NEXT: leal (%eax,%eax,4), %eax
376 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
377 ; X86-NEXT: retl
378 ;
379 ; X64-LABEL: test_mul_by_20:
380 ; X64: # BB#0:
381 ; X64-NEXT: # kill: %edi<def> %edi<kill> %rdi<def>
382 ; X64-NEXT: shll $2, %edi
383 ; X64-NEXT: leal (%rdi,%rdi,4), %eax
384 ; X64-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
385 ; X64-NEXT: retq
386 %mul = mul nsw i16 %x, 20
387 ret i16 %mul
388 }
390 define i16 @test_mul_by_21(i16 %x) {
391 ; X86-LABEL: test_mul_by_21:
392 ; X86: # BB#0:
393 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax
394 ; X86-NEXT: leal (%eax,%eax,4), %ecx
395 ; X86-NEXT: leal (%eax,%ecx,4), %eax
396 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
397 ; X86-NEXT: retl
398 ;
399 ; X64-LABEL: test_mul_by_21:
400 ; X64: # BB#0:
401 ; X64-NEXT: # kill: %edi<def> %edi<kill> %rdi<def>
402 ; X64-NEXT: leal (%rdi,%rdi,4), %eax
403 ; X64-NEXT: leal (%rdi,%rax,4), %eax
404 ; X64-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
405 ; X64-NEXT: retq
406 %mul = mul nsw i16 %x, 21
407 ret i16 %mul
408 }
410 define i16 @test_mul_by_22(i16 %x) {
411 ; X86-LABEL: test_mul_by_22:
412 ; X86: # BB#0:
413 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %ecx
414 ; X86-NEXT: leal (%ecx,%ecx,4), %eax
415 ; X86-NEXT: leal (%ecx,%eax,4), %eax
416 ; X86-NEXT: addl %ecx, %eax
417 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
418 ; X86-NEXT: retl
419 ;
420 ; X64-LABEL: test_mul_by_22:
421 ; X64: # BB#0:
422 ; X64-NEXT: # kill: %edi<def> %edi<kill> %rdi<def>
423 ; X64-NEXT: leal (%rdi,%rdi,4), %eax
424 ; X64-NEXT: leal (%rdi,%rax,4), %eax
425 ; X64-NEXT: addl %edi, %eax
426 ; X64-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
427 ; X64-NEXT: retq
428 %mul = mul nsw i16 %x, 22
429 ret i16 %mul
430 }
432 define i16 @test_mul_by_23(i16 %x) {
433 ; X86-LABEL: test_mul_by_23:
434 ; X86: # BB#0:
435 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %ecx
436 ; X86-NEXT: leal (%ecx,%ecx,2), %eax
437 ; X86-NEXT: shll $3, %eax
438 ; X86-NEXT: subl %ecx, %eax
439 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
440 ; X86-NEXT: retl
441 ;
442 ; X64-LABEL: test_mul_by_23:
443 ; X64: # BB#0:
444 ; X64-NEXT: # kill: %edi<def> %edi<kill> %rdi<def>
445 ; X64-NEXT: leal (%rdi,%rdi,2), %eax
446 ; X64-NEXT: shll $3, %eax
447 ; X64-NEXT: subl %edi, %eax
448 ; X64-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
449 ; X64-NEXT: retq
450 %mul = mul nsw i16 %x, 23
451 ret i16 %mul
452 }
454 define i16 @test_mul_by_24(i16 %x) {
455 ; X86-LABEL: test_mul_by_24:
456 ; X86: # BB#0:
457 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax
458 ; X86-NEXT: shll $3, %eax
459 ; X86-NEXT: leal (%eax,%eax,2), %eax
460 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
461 ; X86-NEXT: retl
462 ;
463 ; X64-LABEL: test_mul_by_24:
464 ; X64: # BB#0:
465 ; X64-NEXT: # kill: %edi<def> %edi<kill> %rdi<def>
466 ; X64-NEXT: shll $3, %edi
467 ; X64-NEXT: leal (%rdi,%rdi,2), %eax
468 ; X64-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
469 ; X64-NEXT: retq
470 %mul = mul nsw i16 %x, 24
471 ret i16 %mul
472 }
474 define i16 @test_mul_by_25(i16 %x) {
475 ; X86-LABEL: test_mul_by_25:
476 ; X86: # BB#0:
477 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax
478 ; X86-NEXT: leal (%eax,%eax,4), %eax
479 ; X86-NEXT: leal (%eax,%eax,4), %eax
480 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
481 ; X86-NEXT: retl
482 ;
483 ; X64-LABEL: test_mul_by_25:
484 ; X64: # BB#0:
485 ; X64-NEXT: # kill: %edi<def> %edi<kill> %rdi<def>
486 ; X64-NEXT: leal (%rdi,%rdi,4), %eax
487 ; X64-NEXT: leal (%rax,%rax,4), %eax
488 ; X64-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
489 ; X64-NEXT: retq
490 %mul = mul nsw i16 %x, 25
491 ret i16 %mul
492 }
494 define i16 @test_mul_by_26(i16 %x) {
495 ; X86-LABEL: test_mul_by_26:
496 ; X86: # BB#0:
497 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %ecx
498 ; X86-NEXT: leal (%ecx,%ecx,8), %eax
499 ; X86-NEXT: leal (%eax,%eax,2), %eax
500 ; X86-NEXT: subl %ecx, %eax
501 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
502 ; X86-NEXT: retl
503 ;
504 ; X64-LABEL: test_mul_by_26:
505 ; X64: # BB#0:
506 ; X64-NEXT: # kill: %edi<def> %edi<kill> %rdi<def>
507 ; X64-NEXT: leal (%rdi,%rdi,8), %eax
508 ; X64-NEXT: leal (%rax,%rax,2), %eax
509 ; X64-NEXT: subl %edi, %eax
510 ; X64-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
511 ; X64-NEXT: retq
512 %mul = mul nsw i16 %x, 26
513 ret i16 %mul
514 }
516 define i16 @test_mul_by_27(i16 %x) {
517 ; X86-LABEL: test_mul_by_27:
518 ; X86: # BB#0:
519 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax
520 ; X86-NEXT: leal (%eax,%eax,8), %eax
521 ; X86-NEXT: leal (%eax,%eax,2), %eax
522 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
523 ; X86-NEXT: retl
524 ;
525 ; X64-LABEL: test_mul_by_27:
526 ; X64: # BB#0:
527 ; X64-NEXT: # kill: %edi<def> %edi<kill> %rdi<def>
528 ; X64-NEXT: leal (%rdi,%rdi,8), %eax
529 ; X64-NEXT: leal (%rax,%rax,2), %eax
530 ; X64-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
531 ; X64-NEXT: retq
532 %mul = mul nsw i16 %x, 27
533 ret i16 %mul
534 }
536 define i16 @test_mul_by_28(i16 %x) {
537 ; X86-LABEL: test_mul_by_28:
538 ; X86: # BB#0:
539 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %ecx
540 ; X86-NEXT: leal (%ecx,%ecx,8), %eax
541 ; X86-NEXT: leal (%eax,%eax,2), %eax
542 ; X86-NEXT: addl %ecx, %eax
543 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
544 ; X86-NEXT: retl
545 ;
546 ; X64-LABEL: test_mul_by_28:
547 ; X64: # BB#0:
548 ; X64-NEXT: # kill: %edi<def> %edi<kill> %rdi<def>
549 ; X64-NEXT: leal (%rdi,%rdi,8), %eax
550 ; X64-NEXT: leal (%rax,%rax,2), %eax
551 ; X64-NEXT: addl %edi, %eax
552 ; X64-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
553 ; X64-NEXT: retq
554 %mul = mul nsw i16 %x, 28
555 ret i16 %mul
556 }
558 define i16 @test_mul_by_29(i16 %x) {
559 ; X86-LABEL: test_mul_by_29:
560 ; X86: # BB#0:
561 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %ecx
562 ; X86-NEXT: leal (%ecx,%ecx,8), %eax
563 ; X86-NEXT: leal (%eax,%eax,2), %eax
564 ; X86-NEXT: addl %ecx, %eax
565 ; X86-NEXT: addl %ecx, %eax
566 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
567 ; X86-NEXT: retl
568 ;
569 ; X64-LABEL: test_mul_by_29:
570 ; X64: # BB#0:
571 ; X64-NEXT: # kill: %edi<def> %edi<kill> %rdi<def>
572 ; X64-NEXT: leal (%rdi,%rdi,8), %eax
573 ; X64-NEXT: leal (%rax,%rax,2), %eax
574 ; X64-NEXT: addl %edi, %eax
575 ; X64-NEXT: addl %edi, %eax
576 ; X64-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
577 ; X64-NEXT: retq
578 %mul = mul nsw i16 %x, 29
579 ret i16 %mul
580 }
582 define i16 @test_mul_by_30(i16 %x) {
583 ; X86-LABEL: test_mul_by_30:
584 ; X86: # BB#0:
585 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %ecx
586 ; X86-NEXT: movl %ecx, %eax
587 ; X86-NEXT: shll $5, %eax
588 ; X86-NEXT: subl %ecx, %eax
589 ; X86-NEXT: subl %ecx, %eax
590 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
591 ; X86-NEXT: retl
592 ;
593 ; X64-LABEL: test_mul_by_30:
594 ; X64: # BB#0:
595 ; X64-NEXT: movl %edi, %eax
596 ; X64-NEXT: shll $5, %eax
597 ; X64-NEXT: subl %edi, %eax
598 ; X64-NEXT: subl %edi, %eax
599 ; X64-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
600 ; X64-NEXT: retq
601 %mul = mul nsw i16 %x, 30
602 ret i16 %mul
603 }
605 define i16 @test_mul_by_31(i16 %x) {
606 ; X86-LABEL: test_mul_by_31:
607 ; X86: # BB#0:
608 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %ecx
609 ; X86-NEXT: movl %ecx, %eax
610 ; X86-NEXT: shll $5, %eax
611 ; X86-NEXT: subl %ecx, %eax
612 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
613 ; X86-NEXT: retl
614 ;
615 ; X64-LABEL: test_mul_by_31:
616 ; X64: # BB#0:
617 ; X64-NEXT: movl %edi, %eax
618 ; X64-NEXT: shll $5, %eax
619 ; X64-NEXT: subl %edi, %eax
620 ; X64-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
621 ; X64-NEXT: retq
622 %mul = mul nsw i16 %x, 31
623 ret i16 %mul
624 }
626 define i16 @test_mul_by_32(i16 %x) {
627 ; X86-LABEL: test_mul_by_32:
628 ; X86: # BB#0:
629 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax
630 ; X86-NEXT: shll $5, %eax
631 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
632 ; X86-NEXT: retl
633 ;
634 ; X64-LABEL: test_mul_by_32:
635 ; X64: # BB#0:
636 ; X64-NEXT: shll $5, %edi
637 ; X64-NEXT: movl %edi, %eax
638 ; X64-NEXT: retq
639 %mul = mul nsw i16 %x, 32
640 ret i16 %mul
641 }
643 ; (x*9+42)*(x*5+2)
644 define i16 @test_mul_spec(i16 %x) nounwind {
645 ; X86-LABEL: test_mul_spec:
646 ; X86: # BB#0:
647 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax
648 ; X86-NEXT: leal 42(%eax,%eax,8), %ecx
649 ; X86-NEXT: leal 2(%eax,%eax,4), %eax
650 ; X86-NEXT: imull %ecx, %eax
651 ; X86-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
652 ; X86-NEXT: retl
653 ;
654 ; X64-LABEL: test_mul_spec:
655 ; X64: # BB#0:
656 ; X64-NEXT: # kill: %edi<def> %edi<kill> %rdi<def>
657 ; X64-NEXT: leal 42(%rdi,%rdi,8), %ecx
658 ; X64-NEXT: leal 2(%rdi,%rdi,4), %eax
659 ; X64-NEXT: imull %ecx, %eax
660 ; X64-NEXT: # kill: %ax<def> %ax<kill> %eax<kill>
661 ; X64-NEXT: retq
662 %mul = mul nsw i16 %x, 9
663 %add = add nsw i16 %mul, 42
664 %mul2 = mul nsw i16 %x, 5
665 %add2 = add nsw i16 %mul2, 2
666 %mul3 = mul nsw i16 %add, %add2
667 ret i16 %mul3
668 }