llvm/test/CodeGen/MIR/AMDGPU/stack-id-assert.mir

   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 -march=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 ---
  19 name:            foo
  20 body:             |
  21   bb.0:
  22     SI_RETURN
  23
  24 ...
  25 ---
  26 name:            bar
  27 tracksRegLiveness: true
  28 liveins:
  29   - { reg: '$vgpr0', virtual-reg: '' }
  30   - { reg: '$vgpr1', virtual-reg: '' }
  31   - { reg: '$vgpr2', virtual-reg: '' }
  32 stack:
  33   - { id: 0, name: '', type: spill-slot, offset: 0, size: 8, alignment: 4,
  34       stack-id: sgpr-spill, callee-saved-register: '', callee-saved-restored: true,
  35       debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
  36 machineFunctionInfo:
  37   scratchRSrcReg:  '$sgpr0_sgpr1_sgpr2_sgpr3'
  38   stackPtrOffsetReg: '$sgpr32'
  39 body:             |
  40   bb.0:
  41     liveins: $vgpr0, $vgpr1, $vgpr2
  42
  43     renamable $vgpr41 = COPY $vgpr2, implicit $exec
  44     renamable $vgpr40 = COPY $vgpr1, implicit $exec
  45     renamable $vcc = V_CMP_NE_U32_e64 42, killed $vgpr0, implicit $exec
  46     $sgpr4_sgpr5 = S_AND_SAVEEXEC_B64 $vcc, implicit-def $exec, implicit-def $scc, implicit $exec
  47     renamable $sgpr34_sgpr35 = S_XOR_B64 $exec, killed renamable $sgpr4_sgpr5, implicit-def dead $scc
  48
  49     ADJCALLSTACKUP 0, 0, implicit-def dead $scc, implicit-def $sgpr32, implicit $sgpr32
  50     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
  51     renamable $sgpr4_sgpr5 = S_LOAD_DWORDX2_IMM killed renamable $sgpr4_sgpr5, 0, 0
  52     dead $sgpr30_sgpr31 = SI_CALL killed renamable $sgpr4_sgpr5, @foo, csr_amdgpu, implicit $sgpr0_sgpr1_sgpr2_sgpr3
  53     ADJCALLSTACKDOWN 0, 0, implicit-def dead $scc, implicit-def $sgpr32, implicit $sgpr32
  54
  55     SI_RETURN
  56
  57 ...
  58