llvm/test/CodeGen/AMDGPU/splitkit.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 2
   2 # RUN: llc -o - %s -mtriple=amdgcn-- -mcpu=fiji -verify-machineinstrs -run-pass=greedy,virtregrewriter | FileCheck %s
   3 --- |
   4   define amdgpu_kernel void @func0() #0 { ret void }
   5   define amdgpu_kernel void @func1() #0 { ret void }
   6   define amdgpu_kernel void @splitHoist() #0 { ret void }
   7
   8   attributes #0 = { "amdgpu-num-sgpr"="12" }
   9 ...
  10 ---
  11 # Make sure we only get a single spill+reload even if liverange splitting
  12 # created a sequence of multiple copy instructions.
  13 name: func0
  14 body: |
  15   bb.0:
  16     ; CHECK-LABEL: name: func0
  17     ; CHECK: S_NOP 0, implicit-def renamable $sgpr0
  18     ; CHECK-NEXT: S_NOP 0, implicit-def renamable $sgpr3
  19     ; CHECK-NEXT: SI_SPILL_S128_SAVE renamable $sgpr0_sgpr1_sgpr2_sgpr3, %stack.0, implicit $exec, implicit $sp_reg :: (store (s128) into %stack.0, align 4, addrspace 5)
  20     ; CHECK-NEXT: S_NOP 0, implicit-def dead $sgpr0, implicit-def dead $sgpr1, implicit-def dead $sgpr2, implicit-def dead $sgpr3, implicit-def dead $sgpr4, implicit-def dead $sgpr5, implicit-def dead $sgpr6, implicit-def dead $sgpr7, implicit-def dead $sgpr8, implicit-def dead $sgpr9, implicit-def dead $sgpr10, implicit-def dead $sgpr11
  21     ; CHECK-NEXT: renamable $sgpr0_sgpr1_sgpr2_sgpr3 = SI_SPILL_S128_RESTORE %stack.0, implicit $exec, implicit $sp_reg :: (load (s128) from %stack.0, align 4, addrspace 5)
  22     ; CHECK-NEXT: S_NOP 0, implicit renamable $sgpr0
  23     ; CHECK-NEXT: S_NOP 0, implicit renamable $sgpr3
  24     ; CHECK-NEXT: S_NOP 0, implicit renamable $sgpr0
  25     ; CHECK-NEXT: S_NOP 0, implicit killed renamable $sgpr3
  26     S_NOP 0, implicit-def undef %0.sub0 : sgpr_128
  27     S_NOP 0, implicit-def %0.sub3 : sgpr_128
  28
  29     ; Clobber registers
  30     S_NOP 0, implicit-def dead $sgpr0, implicit-def dead $sgpr1, implicit-def dead $sgpr2, implicit-def dead $sgpr3, implicit-def dead $sgpr4, implicit-def dead $sgpr5, implicit-def dead $sgpr6, implicit-def dead $sgpr7, implicit-def dead $sgpr8, implicit-def dead $sgpr9, implicit-def dead $sgpr10, implicit-def dead $sgpr11
  31
  32     S_NOP 0, implicit %0.sub0
  33     S_NOP 0, implicit %0.sub3
  34     S_NOP 0, implicit %0.sub0
  35     S_NOP 0, implicit %0.sub3
  36 ...
  37 ---
  38 # LiveRange splitting should split this into 2 intervals with the second getting
  39 # allocated to sgpr0_sgpr1 and the first to something else so we see two copies
  40 # in between for the two subregisters that are alive.
  41 name: func1
  42 tracksRegLiveness: true
  43 body: |
  44   bb.0:
  45     liveins: $sgpr0, $sgpr1, $sgpr2
  46     ; CHECK-LABEL: name: func1
  47     ; CHECK: liveins: $sgpr0, $sgpr1, $sgpr2
  48     ; CHECK-NEXT: {{  $}}
  49     ; CHECK-NEXT: renamable $sgpr4 = COPY $sgpr0
  50     ; CHECK-NEXT: renamable $sgpr6 = COPY $sgpr2
  51     ; CHECK-NEXT: S_NOP 0, implicit-def dead $sgpr0, implicit-def dead $sgpr1
  52     ; CHECK-NEXT: S_NOP 0, implicit renamable $sgpr4
  53     ; CHECK-NEXT: S_NOP 0, implicit renamable $sgpr6
  54     ; CHECK-NEXT: renamable $sgpr0 = COPY killed renamable $sgpr4
  55     ; CHECK-NEXT: renamable $sgpr2 = COPY renamable $sgpr6
  56     ; CHECK-NEXT: S_NOP 0, implicit-def dead $sgpr4, implicit-def dead $sgpr5, implicit-def dead $sgpr6, implicit-def dead $sgpr7, implicit-def dead $sgpr8, implicit-def dead $sgpr9, implicit-def dead $sgpr10, implicit-def dead $sgpr11, implicit-def dead $sgpr12, implicit-def dead $sgpr13, implicit-def dead $sgpr14, implicit-def dead $sgpr15, implicit-def dead $vcc_lo, implicit-def dead $vcc_hi
  57     ; CHECK-NEXT: S_NOP 0, implicit renamable $sgpr0
  58     ; CHECK-NEXT: S_NOP 0, implicit killed renamable $sgpr2
  59     undef %0.sub0 : sgpr_128 = COPY $sgpr0
  60     %0.sub2 = COPY $sgpr2
  61
  62     S_NOP 0, implicit-def dead $sgpr0, implicit-def dead $sgpr1
  63
  64     S_NOP 0, implicit %0.sub0
  65     S_NOP 0, implicit %0.sub2
  66
  67     ; Clobber everything but sgpr0-sgpr3
  68     S_NOP 0, implicit-def dead $sgpr4, implicit-def dead $sgpr5, implicit-def dead $sgpr6, implicit-def dead $sgpr7, implicit-def dead $sgpr8, implicit-def dead $sgpr9, implicit-def dead $sgpr10, implicit-def dead $sgpr11, implicit-def dead $sgpr12, implicit-def dead $sgpr13, implicit-def dead $sgpr14, implicit-def dead $sgpr15, implicit-def dead $vcc_lo, implicit-def dead $vcc_hi
  69
  70     S_NOP 0, implicit %0.sub0
  71     S_NOP 0, implicit %0.sub2
  72 ...
  73 ---
  74 # Check that copy hoisting out of loops works. This mainly should not crash the
  75 # compiler when it hoists a subreg copy sequence.
  76 name: splitHoist
  77 tracksRegLiveness: true
  78 body: |
  79   ; CHECK-LABEL: name: splitHoist
  80   ; CHECK: bb.0:
  81   ; CHECK-NEXT:   successors: %bb.1(0x40000000), %bb.2(0x40000000)
  82   ; CHECK-NEXT: {{  $}}
  83   ; CHECK-NEXT:   S_NOP 0, implicit-def renamable $sgpr0
  84   ; CHECK-NEXT:   S_NOP 0, implicit-def renamable $sgpr3
  85   ; CHECK-NEXT:   SI_SPILL_S128_SAVE renamable $sgpr0_sgpr1_sgpr2_sgpr3, %stack.0, implicit $exec, implicit $sp_reg :: (store (s128) into %stack.0, align 4, addrspace 5)
  86   ; CHECK-NEXT:   S_CBRANCH_VCCNZ %bb.1, implicit undef $vcc
  87   ; CHECK-NEXT:   S_BRANCH %bb.2
  88   ; CHECK-NEXT: {{  $}}
  89   ; CHECK-NEXT: bb.1:
  90   ; CHECK-NEXT:   successors: %bb.1(0x40000000), %bb.3(0x40000000)
  91   ; CHECK-NEXT:   liveins: $sgpr0_sgpr1_sgpr2_sgpr3:0x00000000000000C3
  92   ; CHECK-NEXT: {{  $}}
  93   ; CHECK-NEXT:   S_NOP 0, implicit renamable $sgpr0
  94   ; CHECK-NEXT:   S_NOP 0, implicit-def dead $sgpr0, implicit-def dead $sgpr1, implicit-def dead $sgpr2, implicit-def dead $sgpr3, implicit-def dead $sgpr4, implicit-def dead $sgpr5, implicit-def dead $sgpr6, implicit-def dead $sgpr7, implicit-def dead $sgpr8, implicit-def dead $sgpr9, implicit-def dead $sgpr10, implicit-def dead $sgpr11
  95   ; CHECK-NEXT:   renamable $sgpr0_sgpr1_sgpr2_sgpr3 = SI_SPILL_S128_RESTORE %stack.0, implicit $exec, implicit $sp_reg :: (load (s128) from %stack.0, align 4, addrspace 5)
  96   ; CHECK-NEXT:   S_CBRANCH_VCCNZ %bb.1, implicit undef $vcc
  97   ; CHECK-NEXT:   S_BRANCH %bb.3
  98   ; CHECK-NEXT: {{  $}}
  99   ; CHECK-NEXT: bb.2:
 100   ; CHECK-NEXT:   successors: %bb.3(0x80000000)
 101   ; CHECK-NEXT:   liveins: $sgpr0_sgpr1_sgpr2_sgpr3:0x00000000000000C3
 102   ; CHECK-NEXT: {{  $}}
 103   ; CHECK-NEXT:   S_NOP 0, implicit-def dead $sgpr0, implicit-def dead $sgpr1, implicit-def dead $sgpr2, implicit-def dead $sgpr3, implicit-def dead $sgpr4, implicit-def dead $sgpr5, implicit-def dead $sgpr6, implicit-def dead $sgpr7, implicit-def dead $sgpr8, implicit-def dead $sgpr9, implicit-def dead $sgpr10, implicit-def dead $sgpr11
 104   ; CHECK-NEXT:   renamable $sgpr0_sgpr1_sgpr2_sgpr3 = SI_SPILL_S128_RESTORE %stack.0, implicit $exec, implicit $sp_reg :: (load (s128) from %stack.0, align 4, addrspace 5)
 105   ; CHECK-NEXT:   S_BRANCH %bb.3
 106   ; CHECK-NEXT: {{  $}}
 107   ; CHECK-NEXT: bb.3:
 108   ; CHECK-NEXT:   liveins: $sgpr0_sgpr1_sgpr2_sgpr3:0x00000000000000C3
 109   ; CHECK-NEXT: {{  $}}
 110   ; CHECK-NEXT:   S_NOP 0, implicit renamable $sgpr0
 111   ; CHECK-NEXT:   S_NOP 0, implicit renamable $sgpr3
 112   ; CHECK-NEXT:   S_NOP 0, implicit renamable $sgpr0
 113   ; CHECK-NEXT:   S_NOP 0, implicit killed renamable $sgpr3
 114   bb.0:
 115     successors: %bb.1, %bb.2
 116     S_NOP 0, implicit-def undef %0.sub0 : sgpr_128
 117     S_NOP 0, implicit-def %0.sub3 : sgpr_128
 118
 119     S_CBRANCH_VCCNZ %bb.1, implicit undef $vcc
 120     S_BRANCH %bb.2
 121
 122   bb.1:
 123     successors: %bb.1, %bb.3
 124     S_NOP 0, implicit %0.sub0
 125
 126     ; Clobber registers
 127     S_NOP 0, implicit-def dead $sgpr0, implicit-def dead $sgpr1, implicit-def dead $sgpr2, implicit-def dead $sgpr3, implicit-def dead $sgpr4, implicit-def dead $sgpr5, implicit-def dead $sgpr6, implicit-def dead $sgpr7, implicit-def dead $sgpr8, implicit-def dead $sgpr9, implicit-def dead $sgpr10, implicit-def dead $sgpr11
 128
 129     S_CBRANCH_VCCNZ %bb.1, implicit undef $vcc
 130     S_BRANCH %bb.3
 131
 132   bb.2:
 133     successors: %bb.3
 134     ; Clobber registers
 135     S_NOP 0, implicit-def dead $sgpr0, implicit-def dead $sgpr1, implicit-def dead $sgpr2, implicit-def dead $sgpr3, implicit-def dead $sgpr4, implicit-def dead $sgpr5, implicit-def dead $sgpr6, implicit-def dead $sgpr7, implicit-def dead $sgpr8, implicit-def dead $sgpr9, implicit-def dead $sgpr10, implicit-def dead $sgpr11
 136     S_BRANCH %bb.3
 137
 138   bb.3:
 139     S_NOP 0, implicit %0.sub0
 140     S_NOP 0, implicit %0.sub3
 141     S_NOP 0, implicit %0.sub0
 142     S_NOP 0, implicit %0.sub3
 143 ...