llvm/test/CodeGen/AMDGPU/spill-agpr-partially-undef.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple=amdgcn-amd-amdhsa -mcpu=gfx908 -verify-machineinstrs -run-pass=prologepilog %s -o - | FileCheck -check-prefix=CHECK %s
   3
   4 ---
   5 name: spill_a64_kill
   6 tracksRegLiveness: true
   7 stack:
   8   - { id: 0, type: spill-slot, size: 8, alignment: 4 }
   9 machineFunctionInfo:
  10   scratchRSrcReg:  '$sgpr0_sgpr1_sgpr2_sgpr3'
  11   stackPtrOffsetReg: '$sgpr32'
  12   frameOffsetReg: '$sgpr33'
  13 body:             |
  14   bb.0:
  15     liveins: $agpr0_agpr1
  16
  17     ; CHECK-LABEL: name: spill_a64_kill
  18     ; CHECK: liveins: $agpr0_agpr1
  19     ; CHECK-NEXT: {{  $}}
  20     ; CHECK-NEXT: $vgpr0 = V_ACCVGPR_READ_B32_e64 killed $agpr0, implicit $exec, implicit-def $agpr0_agpr1
  21     ; CHECK-NEXT: BUFFER_STORE_DWORD_OFFSET killed $vgpr0, $sgpr0_sgpr1_sgpr2_sgpr3, $sgpr32, 0, 0, 0, implicit $exec, implicit $agpr0_agpr1 :: (store (s32) into %stack.0, addrspace 5)
  22     ; CHECK-NEXT: $vgpr0 = V_ACCVGPR_READ_B32_e64 killed $agpr1, implicit $exec
  23     ; CHECK-NEXT: BUFFER_STORE_DWORD_OFFSET killed $vgpr0, $sgpr0_sgpr1_sgpr2_sgpr3, $sgpr32, 4, 0, 0, implicit $exec, implicit killed $agpr0_agpr1 :: (store (s32) into %stack.0 + 4, addrspace 5)
  24     SI_SPILL_A64_SAVE killed $agpr0_agpr1, %stack.0, $sgpr32, 0, implicit $exec :: (store (s64) into %stack.0, addrspace 5)
  25 ...
  26
  27 # Make sure there's no verifier error on the undef spill component when the value is killed.
  28
  29 ---
  30 name: spill_a64_undef_sub1_killed
  31 tracksRegLiveness: true
  32 stack:
  33   - { id: 0, type: spill-slot, size: 8, alignment: 4 }
  34 machineFunctionInfo:
  35   scratchRSrcReg:  '$sgpr0_sgpr1_sgpr2_sgpr3'
  36   stackPtrOffsetReg: '$sgpr32'
  37   frameOffsetReg: '$sgpr33'
  38 body:             |
  39   bb.0:
  40     liveins: $agpr0
  41
  42     ; CHECK-LABEL: name: spill_a64_undef_sub1_killed
  43     ; CHECK: liveins: $agpr0
  44     ; CHECK-NEXT: {{  $}}
  45     ; CHECK-NEXT: $vgpr0 = V_ACCVGPR_READ_B32_e64 killed $agpr0, implicit $exec, implicit-def $agpr0_agpr1
  46     ; CHECK-NEXT: BUFFER_STORE_DWORD_OFFSET killed $vgpr0, $sgpr0_sgpr1_sgpr2_sgpr3, $sgpr32, 0, 0, 0, implicit $exec, implicit $agpr0_agpr1 :: (store (s32) into %stack.0, addrspace 5)
  47     ; CHECK-NEXT: $vgpr0 = V_ACCVGPR_READ_B32_e64 killed $agpr1, implicit $exec
  48     ; CHECK-NEXT: BUFFER_STORE_DWORD_OFFSET killed $vgpr0, $sgpr0_sgpr1_sgpr2_sgpr3, $sgpr32, 4, 0, 0, implicit $exec, implicit killed $agpr0_agpr1 :: (store (s32) into %stack.0 + 4, addrspace 5)
  49     SI_SPILL_A64_SAVE killed $agpr0_agpr1, %stack.0, $sgpr32, 0, implicit $exec :: (store (s64) into %stack.0, addrspace 5)
  50 ...
  51
  52 ---
  53 name: spill_a64_undef_sub0_killed
  54 tracksRegLiveness: true
  55 stack:
  56   - { id: 0, type: spill-slot, size: 8, alignment: 4 }
  57 machineFunctionInfo:
  58   scratchRSrcReg:  '$sgpr0_sgpr1_sgpr2_sgpr3'
  59   stackPtrOffsetReg: '$sgpr32'
  60   frameOffsetReg: '$sgpr33'
  61 body:             |
  62   bb.0:
  63     liveins: $agpr1
  64
  65     ; CHECK-LABEL: name: spill_a64_undef_sub0_killed
  66     ; CHECK: liveins: $agpr1
  67     ; CHECK-NEXT: {{  $}}
  68     ; CHECK-NEXT: $vgpr0 = V_ACCVGPR_READ_B32_e64 killed $agpr0, implicit $exec, implicit-def $agpr0_agpr1
  69     ; CHECK-NEXT: BUFFER_STORE_DWORD_OFFSET killed $vgpr0, $sgpr0_sgpr1_sgpr2_sgpr3, $sgpr32, 0, 0, 0, implicit $exec, implicit $agpr0_agpr1 :: (store (s32) into %stack.0, addrspace 5)
  70     ; CHECK-NEXT: $vgpr0 = V_ACCVGPR_READ_B32_e64 killed $agpr1, implicit $exec
  71     ; CHECK-NEXT: BUFFER_STORE_DWORD_OFFSET killed $vgpr0, $sgpr0_sgpr1_sgpr2_sgpr3, $sgpr32, 4, 0, 0, implicit $exec, implicit killed $agpr0_agpr1 :: (store (s32) into %stack.0 + 4, addrspace 5)
  72     SI_SPILL_A64_SAVE killed $agpr0_agpr1, %stack.0, $sgpr32, 0, implicit $exec :: (store (s64) into %stack.0, addrspace 5)
  73 ...