llvm/test/CodeGen/AMDGPU/vgpr-spill-dead-frame-in-dbg-value.mir

   1 # RUN: llc -mtriple=amdgcn-amd-amdhsa -mcpu=gfx908 -amdgpu-spill-vgpr-to-agpr=true -verify-machineinstrs -run-pass=prologepilog -o - %s | FileCheck %s
   2
   3 # After handling the VGPR spill to AGPR copy, replace the dead frame index in the DBG_VALUE instruction with reg 0.
   4 # Otherwise, the test would crash while trying to replace the dead frame index.
   5 --- |
   6   define amdgpu_kernel void @test() { ret void }
   7
   8   !0 = distinct !DICompileUnit(language: DW_LANG_C99, file: !4, producer: "llvm", isOptimized: true, runtimeVersion: 0, emissionKind: FullDebug, enums: !4, retainedTypes: !4)
   9   !1 = !DILocalVariable(name: "a", scope: !2, file: !4, line: 126, type: !6)
  10   !2 = distinct !DISubprogram(name: "test", scope: !4, file: !4, line: 1, type: !3, isLocal: false, isDefinition: true, scopeLine: 2, flags: DIFlagPrototyped, isOptimized: true, unit: !0, retainedNodes: !5)
  11   !3 = !DISubroutineType(types: !4)
  12   !4 = !{null}
  13   !5 = !{!1}
  14   !6 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !7, size: 64, align: 32)
  15   !7 = !DIBasicType(name: "int", size: 32, align: 32, encoding: DW_ATE_signed)
  16   !8 = !DIExpression()
  17   !9 = !DILocation(line: 10, column: 9, scope: !2)
  18
  19 ...
  20 ---
  21 name:            test
  22 tracksRegLiveness: true
  23 frameInfo:
  24   maxAlignment:    4
  25 stack:
  26   - { id: 0, type: spill-slot, size: 4, alignment: 4 }
  27 machineFunctionInfo:
  28   maxKernArgAlign: 4
  29   isEntryFunction: true
  30   waveLimiter:     true
  31   scratchRSrcReg:  '$sgpr96_sgpr97_sgpr98_sgpr99'
  32   stackPtrOffsetReg: '$sgpr32'
  33   frameOffsetReg: '$sgpr33'
  34   hasSpilledVGPRs: true
  35   argumentInfo:
  36     privateSegmentBuffer: { reg: '$sgpr0_sgpr1_sgpr2_sgpr3' }
  37     dispatchPtr:     { reg: '$sgpr4_sgpr5' }
  38     kernargSegmentPtr: { reg: '$sgpr6_sgpr7' }
  39     workGroupIDX:    { reg: '$sgpr8' }
  40     privateSegmentWaveByteOffset: { reg: '$sgpr9' }
  41 body:             |
  42   ; CHECK-LABEL: name: test
  43   ; CHECK: bb.0:
  44   ; CHECK:   $agpr0 = V_ACCVGPR_WRITE_B32_e64 $vgpr2, implicit $exec
  45   ; CHECK:   DBG_VALUE $noreg, 0
  46   ; CHECK: bb.1:
  47   ; CHECK:   $vgpr2 = V_ACCVGPR_READ_B32_e64 $agpr0, implicit $exec
  48   ; CHECK:   S_ENDPGM 0
  49   bb.0:
  50     $vgpr2 = IMPLICIT_DEF
  51     SI_SPILL_V32_SAVE $vgpr2, %stack.0, $sgpr32, 0, implicit $exec :: (store (s32) into %stack.0, align 4, addrspace 5)
  52     DBG_VALUE %stack.0, 0, !1, !8, debug-location !9
  53
  54   bb.1:
  55     renamable $vgpr2 = SI_SPILL_V32_RESTORE %stack.0, $sgpr32, 0, implicit $exec :: (load (s32) from %stack.0, align 4, addrspace 5)
  56     S_ENDPGM 0