Lines Matching +full:0 +full:x64
3 ; RUN: llc < %s -mtriple=x86_64-pc-linux | FileCheck %s --check-prefixes=X64,X64-MASK
4 …< %s -mtriple=x86_64-pc-linux -mcpu=bdver1 | FileCheck %s --check-prefixes=X64,X64-SHIFT,X64-SHIFT2
5 …lc < %s -mtriple=x86_64-pc-linux -mcpu=bdver2 | FileCheck %s --check-prefixes=X64,X64-SHIFT,X64-TBM
6 …lc < %s -mtriple=x86_64-pc-linux -mcpu=bdver3 | FileCheck %s --check-prefixes=X64,X64-SHIFT,X64-TBM
7 …lc < %s -mtriple=x86_64-pc-linux -mcpu=bdver4 | FileCheck %s --check-prefixes=X64,X64-SHIFT,X64-TBM
8 …< %s -mtriple=x86_64-pc-linux -mcpu=btver1 | FileCheck %s --check-prefixes=X64,X64-SHIFT,X64-SHIFT2
9 …mtriple=x86_64-pc-linux -mcpu=btver2 | FileCheck %s --check-prefixes=X64,X64-SHIFT,X64-BMI,X64-BMI1
10 …mtriple=x86_64-pc-linux -mcpu=znver1 | FileCheck %s --check-prefixes=X64,X64-SHIFT,X64-BMI,X64-BMI2
11 …mtriple=x86_64-pc-linux -mcpu=znver2 | FileCheck %s --check-prefixes=X64,X64-SHIFT,X64-BMI,X64-BMI2
12 …4-pc-linux -mattr=+fast-scalar-shift-masks | FileCheck %s --check-prefixes=X64,X64-SHIFT,X64-SHIFT2
15 ; fold (shl (lshr x, c1), c2) -> (0) (and x, MASK) or
22 ; X86: # %bb.0:
23 ; X86-NEXT: movb {{[0-9]+}}(%esp), %al
27 ; X64-LABEL: test_i8_shl_lshr_0:
28 ; X64: # %bb.0:
29 ; X64-NEXT: movl %edi, %eax
30 ; X64-NEXT: andb $-8, %al
31 ; X64-NEXT: # kill: def $al killed $al killed $eax
32 ; X64-NEXT: retq
40 ; X86: # %bb.0:
41 ; X86-NEXT: movb {{[0-9]+}}(%esp), %al
46 ; X64-MASK-LABEL: test_i8_shl_lshr_1:
47 ; X64-MASK: # %bb.0:
48 ; X64-MASK-NEXT: # kill: def $edi killed $edi def $rdi
49 ; X64-MASK-NEXT: leal (,%rdi,4), %eax
50 ; X64-MASK-NEXT: andb $-32, %al
51 ; X64-MASK-NEXT: # kill: def $al killed $al killed $eax
52 ; X64-MASK-NEXT: retq
54 ; X64-SHIFT-LABEL: test_i8_shl_lshr_1:
55 ; X64-SHIFT: # %bb.0:
56 ; X64-SHIFT-NEXT: movl %edi, %eax
57 ; X64-SHIFT-NEXT: shrb $3, %al
58 ; X64-SHIFT-NEXT: shlb $5, %al
59 ; X64-SHIFT-NEXT: # kill: def $al killed $al killed $eax
60 ; X64-SHIFT-NEXT: retq
68 ; X86: # %bb.0:
69 ; X86-NEXT: movb {{[0-9]+}}(%esp), %al
74 ; X64-MASK-LABEL: test_i8_shl_lshr_2:
75 ; X64-MASK: # %bb.0:
76 ; X64-MASK-NEXT: movl %edi, %eax
77 ; X64-MASK-NEXT: shrb $2, %al
78 ; X64-MASK-NEXT: andb $56, %al
79 ; X64-MASK-NEXT: # kill: def $al killed $al killed $eax
80 ; X64-MASK-NEXT: retq
82 ; X64-SHIFT-LABEL: test_i8_shl_lshr_2:
83 ; X64-SHIFT: # %bb.0:
84 ; X64-SHIFT-NEXT: # kill: def $edi killed $edi def $rdi
85 ; X64-SHIFT-NEXT: shrb $5, %dil
86 ; X64-SHIFT-NEXT: leal (,%rdi,8), %eax
87 ; X64-SHIFT-NEXT: # kill: def $al killed $al killed $eax
88 ; X64-SHIFT-NEXT: retq
96 ; X86: # %bb.0:
97 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax
102 ; X64-LABEL: test_i16_shl_lshr_0:
103 ; X64: # %bb.0:
104 ; X64-NEXT: movl %edi, %eax
105 ; X64-NEXT: andl $65528, %eax # imm = 0xFFF8
106 ; X64-NEXT: # kill: def $ax killed $ax killed $eax
107 ; X64-NEXT: retq
115 ; X86: # %bb.0:
116 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
118 ; X86-NEXT: andl $65504, %eax # imm = 0xFFE0
122 ; X64-MASK-LABEL: test_i16_shl_lshr_1:
123 ; X64-MASK: # %bb.0:
124 ; X64-MASK-NEXT: # kill: def $edi killed $edi def $rdi
125 ; X64-MASK-NEXT: leal (,%rdi,4), %eax
126 ; X64-MASK-NEXT: andl $65504, %eax # imm = 0xFFE0
127 ; X64-MASK-NEXT: # kill: def $ax killed $ax killed $eax
128 ; X64-MASK-NEXT: retq
130 ; X64-SHIFT-LABEL: test_i16_shl_lshr_1:
131 ; X64-SHIFT: # %bb.0:
132 ; X64-SHIFT-NEXT: movzwl %di, %eax
133 ; X64-SHIFT-NEXT: shrl $3, %eax
134 ; X64-SHIFT-NEXT: shll $5, %eax
135 ; X64-SHIFT-NEXT: # kill: def $ax killed $ax killed $eax
136 ; X64-SHIFT-NEXT: retq
144 ; X86: # %bb.0:
145 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
147 ; X86-NEXT: andl $16376, %eax # imm = 0x3FF8
151 ; X64-MASK-LABEL: test_i16_shl_lshr_2:
152 ; X64-MASK: # %bb.0:
153 ; X64-MASK-NEXT: movl %edi, %eax
154 ; X64-MASK-NEXT: shrl $2, %eax
155 ; X64-MASK-NEXT: andl $16376, %eax # imm = 0x3FF8
156 ; X64-MASK-NEXT: # kill: def $ax killed $ax killed $eax
157 ; X64-MASK-NEXT: retq
159 ; X64-SHIFT-LABEL: test_i16_shl_lshr_2:
160 ; X64-SHIFT: # %bb.0:
161 ; X64-SHIFT-NEXT: movzwl %di, %eax
162 ; X64-SHIFT-NEXT: shrl $5, %eax
163 ; X64-SHIFT-NEXT: shll $3, %eax
164 ; X64-SHIFT-NEXT: # kill: def $ax killed $ax killed $eax
165 ; X64-SHIFT-NEXT: retq
173 ; X86: # %bb.0:
174 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
178 ; X64-LABEL: test_i32_shl_lshr_0:
179 ; X64: # %bb.0:
180 ; X64-NEXT: movl %edi, %eax
181 ; X64-NEXT: andl $-8, %eax
182 ; X64-NEXT: retq
190 ; X86: # %bb.0:
191 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
196 ; X64-MASK-LABEL: test_i32_shl_lshr_1:
197 ; X64-MASK: # %bb.0:
198 ; X64-MASK-NEXT: # kill: def $edi killed $edi def $rdi
199 ; X64-MASK-NEXT: leal (,%rdi,4), %eax
200 ; X64-MASK-NEXT: andl $-32, %eax
201 ; X64-MASK-NEXT: retq
203 ; X64-SHIFT-LABEL: test_i32_shl_lshr_1:
204 ; X64-SHIFT: # %bb.0:
205 ; X64-SHIFT-NEXT: movl %edi, %eax
206 ; X64-SHIFT-NEXT: shrl $3, %eax
207 ; X64-SHIFT-NEXT: shll $5, %eax
208 ; X64-SHIFT-NEXT: retq
216 ; X86: # %bb.0:
217 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
222 ; X64-MASK-LABEL: test_i32_shl_lshr_2:
223 ; X64-MASK: # %bb.0:
224 ; X64-MASK-NEXT: movl %edi, %eax
225 ; X64-MASK-NEXT: shrl $2, %eax
226 ; X64-MASK-NEXT: andl $-8, %eax
227 ; X64-MASK-NEXT: retq
229 ; X64-SHIFT-LABEL: test_i32_shl_lshr_2:
230 ; X64-SHIFT: # %bb.0:
231 ; X64-SHIFT-NEXT: # kill: def $edi killed $edi def $rdi
232 ; X64-SHIFT-NEXT: shrl $5, %edi
233 ; X64-SHIFT-NEXT: leal (,%rdi,8), %eax
234 ; X64-SHIFT-NEXT: retq
242 ; X86: # %bb.0:
243 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
244 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edx
248 ; X64-LABEL: test_i64_shl_lshr_0:
249 ; X64: # %bb.0:
250 ; X64-NEXT: movq %rdi, %rax
251 ; X64-NEXT: andq $-8, %rax
252 ; X64-NEXT: retq
260 ; X86: # %bb.0:
261 ; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx
262 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edx
268 ; X64-MASK-LABEL: test_i64_shl_lshr_1:
269 ; X64-MASK: # %bb.0:
270 ; X64-MASK-NEXT: leaq (,%rdi,4), %rax
271 ; X64-MASK-NEXT: andq $-32, %rax
272 ; X64-MASK-NEXT: retq
274 ; X64-SHIFT-LABEL: test_i64_shl_lshr_1:
275 ; X64-SHIFT: # %bb.0:
276 ; X64-SHIFT-NEXT: movq %rdi, %rax
277 ; X64-SHIFT-NEXT: shrq $3, %rax
278 ; X64-SHIFT-NEXT: shlq $5, %rax
279 ; X64-SHIFT-NEXT: retq
287 ; X86: # %bb.0:
288 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
289 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edx
295 ; X64-MASK-LABEL: test_i64_shl_lshr_2:
296 ; X64-MASK: # %bb.0:
297 ; X64-MASK-NEXT: movq %rdi, %rax
298 ; X64-MASK-NEXT: shrq $2, %rax
299 ; X64-MASK-NEXT: andq $-8, %rax
300 ; X64-MASK-NEXT: retq
302 ; X64-SHIFT-LABEL: test_i64_shl_lshr_2:
303 ; X64-SHIFT: # %bb.0:
304 ; X64-SHIFT-NEXT: shrq $5, %rdi
305 ; X64-SHIFT-NEXT: leaq (,%rdi,8), %rax
306 ; X64-SHIFT-NEXT: retq
313 ; fold (lshr (shl x, c1), c2) -> (0) (and x, MASK) or
320 ; X86: # %bb.0:
321 ; X86-NEXT: movb {{[0-9]+}}(%esp), %al
325 ; X64-LABEL: test_i8_lshr_lshr_0:
326 ; X64: # %bb.0:
327 ; X64-NEXT: movl %edi, %eax
328 ; X64-NEXT: andb $31, %al
329 ; X64-NEXT: # kill: def $al killed $al killed $eax
330 ; X64-NEXT: retq
338 ; X86: # %bb.0:
339 ; X86-NEXT: movb {{[0-9]+}}(%esp), %al
344 ; X64-LABEL: test_i8_lshr_lshr_1:
345 ; X64: # %bb.0:
346 ; X64-NEXT: # kill: def $edi killed $edi def $rdi
347 ; X64-NEXT: leal (,%rdi,8), %eax
348 ; X64-NEXT: shrb $5, %al
349 ; X64-NEXT: # kill: def $al killed $al killed $eax
350 ; X64-NEXT: retq
358 ; X86: # %bb.0:
359 ; X86-NEXT: movb {{[0-9]+}}(%esp), %al
364 ; X64-LABEL: test_i8_lshr_lshr_2:
365 ; X64: # %bb.0:
366 ; X64-NEXT: movl %edi, %eax
367 ; X64-NEXT: shlb $5, %al
368 ; X64-NEXT: shrb $3, %al
369 ; X64-NEXT: # kill: def $al killed $al killed $eax
370 ; X64-NEXT: retq
378 ; X86: # %bb.0:
379 ; X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax
380 ; X86-NEXT: andl $8191, %eax # imm = 0x1FFF
384 ; X64-LABEL: test_i16_lshr_lshr_0:
385 ; X64: # %bb.0:
386 ; X64-NEXT: movl %edi, %eax
387 ; X64-NEXT: andl $8191, %eax # imm = 0x1FFF
388 ; X64-NEXT: # kill: def $ax killed $ax killed $eax
389 ; X64-NEXT: retq
397 ; X86: # %bb.0:
398 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
400 ; X86-NEXT: andl $2047, %eax # imm = 0x7FF
404 ; X64-MASK-LABEL: test_i16_lshr_lshr_1:
405 ; X64-MASK: # %bb.0:
406 ; X64-MASK-NEXT: movl %edi, %eax
407 ; X64-MASK-NEXT: shrl $2, %eax
408 ; X64-MASK-NEXT: andl $2047, %eax # imm = 0x7FF
409 ; X64-MASK-NEXT: # kill: def $ax killed $ax killed $eax
410 ; X64-MASK-NEXT: retq
412 ; X64-SHIFT2-LABEL: test_i16_lshr_lshr_1:
413 ; X64-SHIFT2: # %bb.0:
414 ; X64-SHIFT2-NEXT: movl %edi, %eax
415 ; X64-SHIFT2-NEXT: shrl $2, %eax
416 ; X64-SHIFT2-NEXT: andl $2047, %eax # imm = 0x7FF
417 ; X64-SHIFT2-NEXT: # kill: def $ax killed $ax killed $eax
418 ; X64-SHIFT2-NEXT: retq
420 ; X64-TBM-LABEL: test_i16_lshr_lshr_1:
421 ; X64-TBM: # %bb.0:
422 ; X64-TBM-NEXT: bextrl $2818, %edi, %eax # imm = 0xB02
423 ; X64-TBM-NEXT: # kill: def $ax killed $ax killed $eax
424 ; X64-TBM-NEXT: retq
426 ; X64-BMI-LABEL: test_i16_lshr_lshr_1:
427 ; X64-BMI: # %bb.0:
428 ; X64-BMI-NEXT: movl $2818, %eax # imm = 0xB02
429 ; X64-BMI-NEXT: bextrl %eax, %edi, %eax
430 ; X64-BMI-NEXT: # kill: def $ax killed $ax killed $eax
431 ; X64-BMI-NEXT: retq
439 ; X86: # %bb.0:
440 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
442 ; X86-NEXT: andl $8188, %eax # imm = 0x1FFC
446 ; X64-LABEL: test_i16_lshr_lshr_2:
447 ; X64: # %bb.0:
448 ; X64-NEXT: # kill: def $edi killed $edi def $rdi
449 ; X64-NEXT: leal (,%rdi,4), %eax
450 ; X64-NEXT: andl $8188, %eax # imm = 0x1FFC
451 ; X64-NEXT: # kill: def $ax killed $ax killed $eax
452 ; X64-NEXT: retq
460 ; X86: # %bb.0:
461 ; X86-NEXT: movl $536870911, %eax # imm = 0x1FFFFFFF
462 ; X86-NEXT: andl {{[0-9]+}}(%esp), %eax
465 ; X64-LABEL: test_i32_lshr_lshr_0:
466 ; X64: # %bb.0:
467 ; X64-NEXT: movl %edi, %eax
468 ; X64-NEXT: andl $536870911, %eax # imm = 0x1FFFFFFF
469 ; X64-NEXT: retq
477 ; X86: # %bb.0:
478 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
483 ; X64-LABEL: test_i32_lshr_lshr_1:
484 ; X64: # %bb.0:
485 ; X64-NEXT: # kill: def $edi killed $edi def $rdi
486 ; X64-NEXT: leal (,%rdi,8), %eax
487 ; X64-NEXT: shrl $5, %eax
488 ; X64-NEXT: retq
496 ; X86: # %bb.0:
497 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
502 ; X64-LABEL: test_i32_lshr_lshr_2:
503 ; X64: # %bb.0:
504 ; X64-NEXT: movl %edi, %eax
505 ; X64-NEXT: shll $5, %eax
506 ; X64-NEXT: shrl $3, %eax
507 ; X64-NEXT: retq
515 ; X86: # %bb.0:
516 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
517 ; X86-NEXT: movl $536870911, %edx # imm = 0x1FFFFFFF
518 ; X86-NEXT: andl {{[0-9]+}}(%esp), %edx
521 ; X64-MASK-LABEL: test_i64_lshr_lshr_0:
522 ; X64-MASK: # %bb.0:
523 ; X64-MASK-NEXT: movabsq $2305843009213693951, %rax # imm = 0x1FFFFFFFFFFFFFFF
524 ; X64-MASK-NEXT: andq %rdi, %rax
525 ; X64-MASK-NEXT: retq
527 ; X64-SHIFT2-LABEL: test_i64_lshr_lshr_0:
528 ; X64-SHIFT2: # %bb.0:
529 ; X64-SHIFT2-NEXT: movabsq $2305843009213693951, %rax # imm = 0x1FFFFFFFFFFFFFFF
530 ; X64-SHIFT2-NEXT: andq %rdi, %rax
531 ; X64-SHIFT2-NEXT: retq
533 ; X64-TBM-LABEL: test_i64_lshr_lshr_0:
534 ; X64-TBM: # %bb.0:
535 ; X64-TBM-NEXT: bextrq $15616, %rdi, %rax # imm = 0x3D00
536 ; X64-TBM-NEXT: retq
538 ; X64-BMI1-LABEL: test_i64_lshr_lshr_0:
539 ; X64-BMI1: # %bb.0:
540 ; X64-BMI1-NEXT: movl $15616, %eax # imm = 0x3D00
541 ; X64-BMI1-NEXT: bextrq %rax, %rdi, %rax
542 ; X64-BMI1-NEXT: retq
544 ; X64-BMI2-LABEL: test_i64_lshr_lshr_0:
545 ; X64-BMI2: # %bb.0:
546 ; X64-BMI2-NEXT: movb $61, %al
547 ; X64-BMI2-NEXT: bzhiq %rax, %rdi, %rax
548 ; X64-BMI2-NEXT: retq
556 ; X86: # %bb.0:
557 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
558 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edx
565 ; X64-LABEL: test_i64_lshr_lshr_1:
566 ; X64: # %bb.0:
567 ; X64-NEXT: leaq (,%rdi,8), %rax
568 ; X64-NEXT: shrq $5, %rax
569 ; X64-NEXT: retq
577 ; X86: # %bb.0:
578 ; X86-NEXT: movl {{[0-9]+}}(%esp), %eax
579 ; X86-NEXT: movl {{[0-9]+}}(%esp), %edx
586 ; X64-LABEL: test_i64_lshr_lshr_2:
587 ; X64: # %bb.0:
588 ; X64-NEXT: movq %rdi, %rax
589 ; X64-NEXT: shlq $5, %rax
590 ; X64-NEXT: shrq $3, %rax
591 ; X64-NEXT: retq