146 lines · plain
1# RUN: llc -mtriple=amdgcn--amdhsa -mcpu=gfx900 -run-pass si-optimize-exec-masking -verify-machineinstrs -o - %s | FileCheck %s2--- |3 define amdgpu_kernel void @undefined_physreg_sgpr_spill() #0 {4 unreachable5 }6 7 define amdgpu_kernel void @undefined_physreg_sgpr_spill_reorder() #0 {8 unreachable9 }10 11 attributes #0 = { nounwind "amdgpu-num-sgpr"="16" }12 13...14---15 16# copy + s_and_b64 was turned into saveexec, deleting the copy,17# leaving a spill of the undefined register.18 19# CHECK-LABEL: name: undefined_physreg_sgpr_spill20# CHECK: $sgpr0_sgpr1 = COPY $exec, implicit-def $exec21# CHECK-NEXT: SI_SPILL_S64_SAVE $sgpr0_sgpr1,22# CHECK-NEXT: $sgpr2_sgpr3 = S_AND_B64 killed $sgpr0_sgpr1, killed $vcc, implicit-def dead $scc23# CHECK: $exec = COPY killed $sgpr2_sgpr324name: undefined_physreg_sgpr_spill25alignment: 126exposesReturnsTwice: false27legalized: false28regBankSelected: false29selected: false30tracksRegLiveness: true31registers:32liveins:33 - { reg: '$vgpr0', virtual-reg: '' }34 - { reg: '$sgpr4_sgpr5', virtual-reg: '' }35stack:36 - { id: 0, name: '', type: spill-slot, offset: 0, size: 8, alignment: 4,37 stack-id: sgpr-spill, callee-saved-register: '', callee-saved-restored: true,38 debug-info-variable: '', debug-info-expression: '',39 debug-info-location: '' }40constants:41body: |42 bb.0:43 successors: %bb.1, %bb.244 liveins: $vgpr0, $sgpr4_sgpr5, $sgpr8_sgpr9_sgpr10_sgpr11, $sgpr1345 46 $vgpr1_vgpr2 = COPY killed $sgpr4_sgpr5, implicit $exec47 $vgpr1 = GLOBAL_LOAD_UBYTE killed $vgpr1_vgpr2, 0, 0, implicit $exec :: (non-temporal dereferenceable invariant load (s8) from `ptr addrspace(4) poison`)48 $vcc = V_CMP_NE_U32_e64 0, $vgpr0, implicit $exec49 $sgpr0_sgpr1 = V_CMP_EQ_U32_e64 1, killed $vgpr1, implicit $exec50 $vgpr1 = V_CNDMASK_B32_e64 0, 0, 0, -1, killed $sgpr0_sgpr1, implicit $exec51 $sgpr0_sgpr1 = COPY $exec, implicit-def $exec52 SI_SPILL_S64_SAVE $sgpr0_sgpr1, %stack.0, implicit $exec, implicit $sgpr8_sgpr9_sgpr10_sgpr11, implicit $sgpr13, implicit-def dead $m0 :: (store (s64) into %stack.0, align 4, addrspace 5)53 $sgpr2_sgpr3 = S_AND_B64 killed $sgpr0_sgpr1, killed $vcc, implicit-def dead $scc54 $exec = S_MOV_B64_term killed $sgpr2_sgpr355 S_CBRANCH_EXECZ %bb.2, implicit $exec56 S_BRANCH %bb.157 58 bb.1:59 successors: %bb.3(0x80000000)60 liveins: $vgpr0, $vgpr161 62 $sgpr2_sgpr3 = S_MOV_B64 063 $vgpr2 = V_MOV_B32_e32 0, implicit $exec64 $sgpr4_sgpr5 = IMPLICIT_DEF65 S_BRANCH %bb.366 67 bb.2:68 successors:69 liveins: $sgpr8_sgpr9_sgpr10_sgpr11, $sgpr1370 71 $sgpr0_sgpr1 = SI_SPILL_S64_RESTORE %stack.0, implicit $exec, implicit $sgpr8_sgpr9_sgpr10_sgpr11, implicit $sgpr13, implicit-def dead $m0 :: (load (s64) from %stack.0, align 4, addrspace 5)72 $exec = S_OR_B64 $exec, killed $sgpr0_sgpr1, implicit-def $scc73 74 bb.3:75 liveins: $vgpr0, $vgpr1, $vgpr2, $sgpr2_sgpr3, $sgpr4_sgpr576 77 $vcc = COPY $vgpr178 S_ENDPGM 079 80...81---82 83# Move spill to after future save instruction84# CHECK-LABEL: {{^}}name: undefined_physreg_sgpr_spill_reorder85# CHECK: $sgpr0_sgpr1 = COPY $exec, implicit-def $exec86# CHECK: $sgpr2_sgpr3 = S_AND_B64 $sgpr0_sgpr1, killed $vcc, implicit-def dead $scc87# CHECK: SI_SPILL_S64_SAVE killed $sgpr0_sgpr1, %stack.0, implicit $exec, implicit $sgpr8_sgpr9_sgpr10_sgpr11, implicit $sgpr13, implicit-def dead $m0 :: (store (s64) into %stack.0, align 4, addrspace 5)88# CHECK: $exec = COPY killed $sgpr2_sgpr389name: undefined_physreg_sgpr_spill_reorder90alignment: 191exposesReturnsTwice: false92legalized: false93regBankSelected: false94selected: false95tracksRegLiveness: true96registers:97liveins:98 - { reg: '$vgpr0', virtual-reg: '' }99 - { reg: '$sgpr4_sgpr5', virtual-reg: '' }100stack:101 - { id: 0, name: '', type: spill-slot, offset: 0, size: 8, alignment: 4,102 stack-id: sgpr-spill, callee-saved-register: '', callee-saved-restored: true,103 debug-info-variable: '', debug-info-expression: '',104 debug-info-location: '' }105constants:106body: |107 bb.0:108 successors: %bb.1, %bb.2109 liveins: $vgpr0, $sgpr4_sgpr5, $sgpr8_sgpr9_sgpr10_sgpr11, $sgpr13110 111 $vgpr1_vgpr2 = COPY killed $sgpr4_sgpr5, implicit $exec112 $vgpr1 = GLOBAL_LOAD_UBYTE killed $vgpr1_vgpr2, 0, 0, implicit $exec :: (non-temporal dereferenceable invariant load (s8) from `ptr addrspace(4) poison`)113 $vcc = V_CMP_NE_U32_e64 0, $vgpr0, implicit $exec114 $sgpr0_sgpr1 = V_CMP_EQ_U32_e64 1, killed $vgpr1, implicit $exec115 $vgpr1 = V_CNDMASK_B32_e64 0, 0, 0, -1, killed $sgpr0_sgpr1, implicit $exec116 $sgpr0_sgpr1 = COPY $exec, implicit-def $exec117 $sgpr2_sgpr3 = S_AND_B64 $sgpr0_sgpr1, killed $vcc, implicit-def dead $scc118 SI_SPILL_S64_SAVE killed $sgpr0_sgpr1, %stack.0, implicit $exec, implicit $sgpr8_sgpr9_sgpr10_sgpr11, implicit $sgpr13, implicit-def dead $m0 :: (store (s64) into %stack.0, align 4, addrspace 5)119 $exec = S_MOV_B64_term killed $sgpr2_sgpr3120 S_CBRANCH_EXECZ %bb.2, implicit $exec121 S_BRANCH %bb.1122 123 bb.1:124 successors: %bb.3(0x80000000)125 liveins: $vgpr0, $vgpr1126 127 $sgpr2_sgpr3 = S_MOV_B64 0128 $vgpr2 = V_MOV_B32_e32 0, implicit $exec129 $sgpr4_sgpr5 = IMPLICIT_DEF130 S_BRANCH %bb.3131 132 bb.2:133 successors:134 liveins: $sgpr8_sgpr9_sgpr10_sgpr11, $sgpr13135 136 $sgpr0_sgpr1 = SI_SPILL_S64_RESTORE %stack.0, implicit $exec, implicit $sgpr8_sgpr9_sgpr10_sgpr11, implicit $sgpr13, implicit-def dead $m0 :: (load (s64) from %stack.0, align 4, addrspace 5)137 $exec = S_OR_B64 $exec, killed $sgpr0_sgpr1, implicit-def $scc138 139 bb.3:140 liveins: $vgpr0, $vgpr1, $vgpr2, $sgpr2_sgpr3, $sgpr4_sgpr5141 142 $vcc = COPY $vgpr1143 S_ENDPGM 0144 145...146