llvm/test/CodeGen/AMDGPU/si-opt-vgpr-liverange-bug-deadlanes.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 2
   2 # RUN: llc -march=amdgcn -mcpu=gfx1100 -verify-machineinstrs -run-pass=si-opt-vgpr-liverange -o - %s | FileCheck -check-prefixes=CHECK %s
   3
   4 # Tests a case that used to assert in SIOptimizeVGPRLiveRange when trying to optimize %3 which still appears
   5 # (though in an undef operand) in the REG_SEQUENCE of the "endif block". This undef pattern was caused by
   6 # DetectDeadLanes.
   7
   8 --- |
   9   define dllexport amdgpu_ps void @_amdgpu_ps_main() #0 {
  10     unreachable
  11   }
  12
  13   attributes #0 = { "target-cpu"="gfx1100" "target-features"=",+wavefrontsize64,+cumode" "uniform-work-group-size"="false" }
  14 ...
  15 ---
  16 name:            _amdgpu_ps_main
  17 tracksRegLiveness: true
  18 registers:
  19   - { id: 1, class: vgpr_32, preferred-register: '' }
  20   - { id: 2, class: vgpr_32, preferred-register: '' }
  21   - { id: 3, class: vgpr_32, preferred-register: '' }
  22   - { id: 4, class: sreg_64, preferred-register: '$vcc' }
  23   - { id: 5, class: vreg_128, preferred-register: '' }
  24   - { id: 6, class: sgpr_128, preferred-register: '' }
  25   - { id: 7, class: vgpr_32, preferred-register: '' }
  26 liveins:
  27   - { reg: '$vgpr0', virtual-reg: '%1' }
  28 body:             |
  29   ; CHECK-LABEL: name: _amdgpu_ps_main
  30   ; CHECK: bb.0:
  31   ; CHECK-NEXT:   successors: %bb.1(0x40000000), %bb.2(0x40000000)
  32   ; CHECK-NEXT:   liveins: $vgpr0
  33   ; CHECK-NEXT: {{  $}}
  34   ; CHECK-NEXT:   [[COPY:%[0-9]+]]:vgpr_32 = COPY killed $vgpr0
  35   ; CHECK-NEXT:   [[V_MOV_B32_e32_:%[0-9]+]]:vgpr_32 = V_MOV_B32_e32 0, implicit $exec
  36   ; CHECK-NEXT:   [[BUFFER_LOAD_DWORD_OFFEN:%[0-9]+]]:vgpr_32 = BUFFER_LOAD_DWORD_OFFEN killed [[COPY]], undef %5:sgpr_128, 0, 0, 0, 0, implicit $exec :: (dereferenceable invariant load (s32))
  37   ; CHECK-NEXT:   [[V_CMP_NE_U32_e64_:%[0-9]+]]:sreg_64 = V_CMP_NE_U32_e64 0, [[BUFFER_LOAD_DWORD_OFFEN]], implicit $exec
  38   ; CHECK-NEXT:   [[SI_IF:%[0-9]+]]:sreg_64 = SI_IF killed [[V_CMP_NE_U32_e64_]], %bb.2, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
  39   ; CHECK-NEXT:   S_BRANCH %bb.1
  40   ; CHECK-NEXT: {{  $}}
  41   ; CHECK-NEXT: bb.1:
  42   ; CHECK-NEXT:   successors: %bb.2(0x80000000)
  43   ; CHECK-NEXT: {{  $}}
  44   ; CHECK-NEXT:   [[REG_SEQUENCE:%[0-9]+]]:vreg_128 = REG_SEQUENCE killed [[V_MOV_B32_e32_]], %subreg.sub0, [[V_MOV_B32_e32_]], %subreg.sub1, [[V_MOV_B32_e32_]], %subreg.sub2, undef %4.sub3, %subreg.sub3
  45   ; CHECK-NEXT: {{  $}}
  46   ; CHECK-NEXT: bb.2:
  47   ; CHECK-NEXT:   successors: %bb.3(0x40000000), %bb.4(0x40000000)
  48   ; CHECK-NEXT: {{  $}}
  49   ; CHECK-NEXT:   [[PHI:%[0-9]+]]:vreg_128 = PHI undef %10:vreg_128, %bb.0, [[REG_SEQUENCE]], %bb.1
  50   ; CHECK-NEXT:   [[PHI1:%[0-9]+]]:vgpr_32 = PHI [[BUFFER_LOAD_DWORD_OFFEN]], %bb.0, undef %15:vgpr_32, %bb.1
  51   ; CHECK-NEXT:   [[SI_ELSE:%[0-9]+]]:sreg_64 = SI_ELSE killed [[SI_IF]], %bb.4, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
  52   ; CHECK-NEXT:   S_BRANCH %bb.3
  53   ; CHECK-NEXT: {{  $}}
  54   ; CHECK-NEXT: bb.3:
  55   ; CHECK-NEXT:   successors: %bb.4(0x80000000)
  56   ; CHECK-NEXT: {{  $}}
  57   ; CHECK-NEXT:   [[REG_SEQUENCE1:%[0-9]+]]:vreg_128 = REG_SEQUENCE killed [[PHI1]], %subreg.sub0, [[PHI1]], %subreg.sub1, [[PHI1]], %subreg.sub2, undef %6:vgpr_32, %subreg.sub3
  58   ; CHECK-NEXT: {{  $}}
  59   ; CHECK-NEXT: bb.4:
  60   ; CHECK-NEXT:   [[PHI2:%[0-9]+]]:vreg_128 = PHI [[PHI]], %bb.2, [[REG_SEQUENCE1]], %bb.3
  61   ; CHECK-NEXT:   SI_END_CF killed [[SI_ELSE]], implicit-def dead $exec, implicit-def dead $scc, implicit $exec
  62   ; CHECK-NEXT:   dead [[REG_SEQUENCE2:%[0-9]+]]:vreg_128 = REG_SEQUENCE killed [[PHI2]].sub2, %subreg.sub0, [[PHI2]].sub2, %subreg.sub1, [[PHI2]].sub2, %subreg.sub2, undef [[BUFFER_LOAD_DWORD_OFFEN]], %subreg.sub3
  63   ; CHECK-NEXT:   S_ENDPGM 0
  64   bb.0:
  65     successors: %bb.5(0x40000000), %bb.6(0x40000000)
  66     liveins: $vgpr0
  67
  68     %1:vgpr_32 = COPY killed $vgpr0
  69     %2:vgpr_32 = V_MOV_B32_e32 0, implicit $exec
  70     %3:vgpr_32 = BUFFER_LOAD_DWORD_OFFEN %1, undef %6:sgpr_128, 0, 0, 0, 0, implicit $exec :: (dereferenceable invariant load (s32))
  71     %4:sreg_64 = V_CMP_NE_U32_e64 0, %3, implicit $exec
  72     %8:sreg_64 = SI_IF killed %4, %bb.6, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
  73     S_BRANCH %bb.5
  74
  75   bb.5:
  76     successors: %bb.6(0x80000000)
  77
  78     %9:vreg_128 = REG_SEQUENCE %2, %subreg.sub0, %2, %subreg.sub1, %2, %subreg.sub2, undef %5.sub3:vreg_128, %subreg.sub3
  79
  80   bb.6:
  81     successors: %bb.7(0x40000000), %bb.8(0x40000000)
  82
  83     %10:vreg_128 = PHI undef %156:vreg_128, %bb.0, %9, %bb.5
  84     %11:sreg_64 = SI_ELSE killed %8, %bb.8, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
  85     S_BRANCH %bb.7
  86
  87   bb.7:
  88     successors: %bb.8(0x80000000)
  89
  90     %12:vreg_128 = REG_SEQUENCE %3, %subreg.sub0, %3, %subreg.sub1, killed %3, %subreg.sub2, undef %7, %subreg.sub3
  91
  92   bb.8:
  93     %13:vreg_128 = PHI %10, %bb.6, %12, %bb.7
  94     SI_END_CF killed %11, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
  95     %5:vreg_128 = REG_SEQUENCE %13.sub2, %subreg.sub0, %13.sub2, %subreg.sub1, killed %13.sub2, %subreg.sub2, undef %3, %subreg.sub3
  96     S_ENDPGM 0
  97 ...