xref: /llvm-project/llvm/test/CodeGen/AMDGPU/splitkit.mir (revision f5f752ebfdfe7224c508599bb33858acaee8a51f) 
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.
13name: func0
14body: |
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.
41name: func1
42tracksRegLiveness: true
43body: |
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.
76name: splitHoist
77tracksRegLiveness: true
78body: |
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...
144