llvm/test/CodeGen/X86/bug47278.mir

   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 ---
   9 name:            foo
  10 tracksRegLiveness: true
  11 body:             |
  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 ...