xref: /llvm-project/llvm/test/CodeGen/X86/bug47278.mir (revision 1bc8b3258e6d42f702fb11eb60d84d0e23935e3e)
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
2# RUN: llc -mtriple=i386-unknown-linux-musl -verify-machineinstrs -run-pass=regallocfast -o -  %s | FileCheck %s
3# RUN: llc -mtriple=i386-unknown-linux-musl -verify-machineinstrs -passes=regallocfast -o -  %s | FileCheck %s
4
5# Make sure this case doesn't assert or try to assign $ecx to %1 on
6# SHRD32rrCL
7
8---
9name:            foo
10tracksRegLiveness: true
11body:             |
12  bb.0:
13    ; CHECK-LABEL: name: foo
14    ; CHECK: renamable $eax = IMPLICIT_DEF
15    ; CHECK: renamable $edx = MOVZX32rm8 renamable $eax, 1, $noreg, 0, $noreg :: (load (s8) from `ptr undef` + 20, align 4, basealign 16)
16    ; CHECK: dead renamable $ecx = MOV32rm renamable $eax, 1, $noreg, 0, $noreg :: (load (s32) from `ptr undef` + 12, basealign 16)
17    ; CHECK: renamable $al = MOV8rm killed renamable $eax, 1, $noreg, 0, $noreg :: (load (s8) from `ptr undef`, align 4)
18    ; CHECK: dead renamable $ecx = COPY renamable $edx
19    ; CHECK: dead renamable $ecx = COPY renamable $edx
20    ; CHECK: dead renamable $ecx = COPY renamable $edx
21    ; CHECK: renamable $esi = IMPLICIT_DEF
22    ; CHECK: renamable $ecx = IMPLICIT_DEF
23    ; CHECK: renamable $ecx = CMOV32rr renamable $ecx, killed renamable $esi, 2, implicit undef $eflags
24    ; CHECK: renamable $cl = MOV8ri -128
25    ; CHECK: $cl = IMPLICIT_DEF
26    ; CHECK: renamable $eax = COPY renamable $edx
27    ; CHECK: dead renamable $eax = SHRD32rrCL renamable $eax, killed renamable $edx, implicit-def dead $eflags, implicit killed $cl
28    ; CHECK: RET32
29    %0:gr32 = IMPLICIT_DEF
30    %1:gr32 = MOVZX32rm8 %0, 1, $noreg, 0, $noreg :: (load (s8) from `ptr undef` + 20, align 4, basealign 16)
31    %2:gr32 = MOV32rm %0, 1, $noreg, 0, $noreg :: (load (s32) from `ptr undef` + 12, basealign 16)
32    %3:gr8 = MOV8rm %0, 1, $noreg, 0, $noreg :: (load (s8) from `ptr undef`, align 4)
33    %4:gr32 = COPY %1
34    %5:gr32 = COPY %1
35    %6:gr32 = COPY %1
36    %7:gr32 = IMPLICIT_DEF
37    %8:gr32 = IMPLICIT_DEF
38    %8:gr32 = CMOV32rr %8, killed %7, 2, implicit undef $eflags
39    %9:gr8 = MOV8ri -128
40    %9:gr8 = COPY %3
41    $cl = IMPLICIT_DEF
42    %8:gr32 = COPY %1
43    %8:gr32 = SHRD32rrCL %8, %1, implicit-def dead $eflags, implicit $cl
44    RET32
45
46...
47