xref: /llvm-project/llvm/test/CodeGen/MIR/AMDGPU/stack-id-assert.mir (revision 09bc6abba6e226ad5e9d18d4365690d6f04de21a)
1# This test used to crash MIRPrinter::convertStackObjects():
2# MFI can contain some dead stack objects after PEI pass, but objects storage
3# contains not dead objects only. So using objects IDs as offset in the storage
4# caused out of bounds access.
5
6# RUN: llc -mtriple=amdgcn -start-before=si-lower-sgpr-spills -stop-after=prologepilog -verify-machineinstrs -o - %s | FileCheck %s
7
8# CHECK-LABEL: name:            foo
9# CHECK: {{^}}fixedStack:      []
10# CHECK: stack:           []
11
12# CHECK-LABEL: name:            bar
13# CHECK: fixedStack:      []
14# CHECK-NEXT: {{^}}stack:
15# CHECK-NEXT:  - { id:
16
17
18---
19name:            foo
20body:             |
21  bb.0:
22    SI_RETURN
23
24...
25---
26name:            bar
27tracksRegLiveness: true
28liveins:
29  - { reg: '$vgpr0', virtual-reg: '' }
30  - { reg: '$vgpr1', virtual-reg: '' }
31  - { reg: '$vgpr2', virtual-reg: '' }
32frameInfo:
33  adjustsStack:    true
34stack:
35  - { id: 0, name: '', type: spill-slot, offset: 0, size: 8, alignment: 4,
36      stack-id: sgpr-spill, callee-saved-register: '', callee-saved-restored: true,
37      debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
38machineFunctionInfo:
39  scratchRSrcReg:  '$sgpr0_sgpr1_sgpr2_sgpr3'
40  stackPtrOffsetReg: '$sgpr32'
41body:             |
42  bb.0:
43    liveins: $vgpr0, $vgpr1, $vgpr2
44
45    renamable $vgpr41 = COPY $vgpr2, implicit $exec
46    renamable $vgpr40 = COPY $vgpr1, implicit $exec
47    renamable $vcc = V_CMP_NE_U32_e64 42, killed $vgpr0, implicit $exec
48    $sgpr4_sgpr5 = S_AND_SAVEEXEC_B64 $vcc, implicit-def $exec, implicit-def $scc, implicit $exec
49    renamable $sgpr34_sgpr35 = S_XOR_B64 $exec, killed renamable $sgpr4_sgpr5, implicit-def dead $scc
50
51    ADJCALLSTACKUP 0, 0, implicit-def dead $scc, implicit-def $sgpr32, implicit $sgpr32
52    renamable $sgpr4_sgpr5 = SI_PC_ADD_REL_OFFSET target-flags(amdgpu-gotprel32-lo) @foo + 4, target-flags(amdgpu-gotprel32-hi) @foo + 12, implicit-def dead $scc
53    renamable $sgpr4_sgpr5 = S_LOAD_DWORDX2_IMM killed renamable $sgpr4_sgpr5, 0, 0
54    dead $sgpr30_sgpr31 = SI_CALL killed renamable $sgpr4_sgpr5, @foo, csr_amdgpu, implicit $sgpr0_sgpr1_sgpr2_sgpr3
55    ADJCALLSTACKDOWN 0, 0, implicit-def dead $scc, implicit-def $sgpr32, implicit $sgpr32
56
57    SI_RETURN
58
59...
60
61