test/CodeGen/X86/regalloc-fast-missing-live-out-spill.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple=x86_64-grtev4-linux-gnu -run-pass=regallocfast -o - %s | FileCheck %s
   3
   4 # Bug 41973. Make sure %12 is detected as live out of %bb.0, even
   5 # though the use is allocated before the def block %bb.3. Previously
   6 # mayLiveOut only recorded on defs, and would not find the virtual
   7 # register use if it had already been replace with a physical
   8 # register.
   9
  10 ---
  11 name:            main
  12 tracksRegLiveness: true
  13 body:             |
  14   ; CHECK-LABEL: name: main
  15   ; CHECK: bb.0:
  16   ; CHECK:   successors: %bb.3(0x80000000)
  17   ; CHECK:   liveins: $edi, $rsi
  18   ; CHECK:   MOV64mr %stack.0, 1, $noreg, 0, $noreg, killed $rsi :: (store 8 into %stack.0)
  19   ; CHECK:   JMP_1 %bb.3
  20   ; CHECK: bb.1:
  21   ; CHECK:   successors:
  22   ; CHECK: bb.2:
  23   ; CHECK:   successors: %bb.3(0x80000000)
  24   ; CHECK:   $rax = MOV64rm %stack.1, 1, $noreg, 0, $noreg :: (load 8 from %stack.1)
  25   ; CHECK:   renamable $ecx = MOV32r0 implicit-def $eflags
  26   ; CHECK:   renamable $rdx = SUBREG_TO_REG 0, killed renamable $ecx, %subreg.sub_32bit
  27   ; CHECK:   MOV64mi32 killed renamable $rax, 1, $noreg, 0, $noreg, 0 :: (volatile store 8)
  28   ; CHECK:   MOV64mr %stack.0, 1, $noreg, 0, $noreg, killed $rdx :: (store 8 into %stack.0)
  29   ; CHECK: bb.3:
  30   ; CHECK:   successors: %bb.2(0x40000000), %bb.1(0x40000000)
  31   ; CHECK:   $rax = MOV64rm %stack.0, 1, $noreg, 0, $noreg :: (load 8 from %stack.0)
  32   ; CHECK:   renamable $ecx = MOV32r0 implicit-def dead $eflags
  33   ; CHECK:   renamable $rdx = SUBREG_TO_REG 0, killed renamable $ecx, %subreg.sub_32bit
  34   ; CHECK:   MOV64mr %stack.1, 1, $noreg, 0, $noreg, killed $rdx :: (store 8 into %stack.1)
  35   ; CHECK:   JMP64r killed renamable $rax
  36   bb.0:
  37     liveins: $edi, $rsi
  38
  39     %4:gr64 = COPY $rsi
  40     %2:gr32 = COPY $edi
  41     %3:gr32 = COPY killed %2
  42     %5:gr64 = COPY killed %4
  43     %13:gr64 = COPY %5
  44     JMP_1 %bb.3
  45
  46   bb.1:
  47     successors:
  48
  49
  50   bb.2:
  51     %0:gr64 = COPY %12
  52     %10:gr32 = MOV32r0 implicit-def $eflags
  53     %11:gr64 = SUBREG_TO_REG 0, %10, %subreg.sub_32bit
  54     MOV64mi32 %0, 1, $noreg, 0, $noreg, 0 :: (volatile store 8)
  55     %13:gr64 = COPY %11
  56
  57   bb.3:
  58     successors: %bb.2, %bb.1
  59
  60     %1:gr64 = COPY %13
  61     %9:gr32 = MOV32r0 implicit-def dead $eflags
  62     %8:gr64 = SUBREG_TO_REG 0, killed %9, %subreg.sub_32bit
  63     %12:gr64 = COPY %8
  64     JMP64r %1
  65
  66 ...