144 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 22# RUN: llc -o - %s -mtriple=amdgcn-- -mcpu=fiji -verify-machineinstrs -run-pass=greedy,virtregrewriter | FileCheck %s3--- |4 define amdgpu_kernel void @func0() #0 { ret void }5 define amdgpu_kernel void @func1() #0 { ret void }6 define amdgpu_kernel void @splitHoist() #0 { ret void }7 8 attributes #0 = { "amdgpu-num-sgpr"="12" }9...10---11# Make sure we only get a single spill+reload even if liverange splitting12# created a sequence of multiple copy instructions.13name: func014body: |15 bb.0:16 ; CHECK-LABEL: name: func017 ; CHECK: S_NOP 0, implicit-def renamable $sgpr018 ; CHECK-NEXT: S_NOP 0, implicit-def renamable $sgpr319 ; CHECK-NEXT: SI_SPILL_S128_SAVE renamable $sgpr0_sgpr1_sgpr2_sgpr3, %stack.0, implicit $exec, implicit $sp_reg :: (store (s128) into %stack.0, align 4, addrspace 5)20 ; CHECK-NEXT: S_NOP 0, implicit-def dead $sgpr0, implicit-def dead $sgpr1, implicit-def dead $sgpr2, implicit-def dead $sgpr3, implicit-def dead $sgpr4, implicit-def dead $sgpr5, implicit-def dead $sgpr6, implicit-def dead $sgpr7, implicit-def dead $sgpr8, implicit-def dead $sgpr9, implicit-def dead $sgpr10, implicit-def dead $sgpr1121 ; CHECK-NEXT: renamable $sgpr0_sgpr1_sgpr2_sgpr3 = SI_SPILL_S128_RESTORE %stack.0, implicit $exec, implicit $sp_reg :: (load (s128) from %stack.0, align 4, addrspace 5)22 ; CHECK-NEXT: S_NOP 0, implicit renamable $sgpr023 ; CHECK-NEXT: S_NOP 0, implicit renamable $sgpr324 ; CHECK-NEXT: S_NOP 0, implicit renamable $sgpr025 ; CHECK-NEXT: S_NOP 0, implicit killed renamable $sgpr326 S_NOP 0, implicit-def undef %0.sub0 : sgpr_12827 S_NOP 0, implicit-def %0.sub3 : sgpr_12828 29 ; Clobber registers30 S_NOP 0, implicit-def dead $sgpr0, implicit-def dead $sgpr1, implicit-def dead $sgpr2, implicit-def dead $sgpr3, implicit-def dead $sgpr4, implicit-def dead $sgpr5, implicit-def dead $sgpr6, implicit-def dead $sgpr7, implicit-def dead $sgpr8, implicit-def dead $sgpr9, implicit-def dead $sgpr10, implicit-def dead $sgpr1131 32 S_NOP 0, implicit %0.sub033 S_NOP 0, implicit %0.sub334 S_NOP 0, implicit %0.sub035 S_NOP 0, implicit %0.sub336...37---38# LiveRange splitting should split this into 2 intervals with the second getting39# allocated to sgpr0_sgpr1 and the first to something else so we see two copies40# in between for the two subregisters that are alive.41name: func142tracksRegLiveness: true43body: |44 bb.0:45 liveins: $sgpr0, $sgpr1, $sgpr246 ; CHECK-LABEL: name: func147 ; CHECK: liveins: $sgpr0, $sgpr1, $sgpr248 ; CHECK-NEXT: {{ $}}49 ; CHECK-NEXT: renamable $sgpr4 = COPY $sgpr050 ; CHECK-NEXT: renamable $sgpr6 = COPY $sgpr251 ; CHECK-NEXT: S_NOP 0, implicit-def dead $sgpr0, implicit-def dead $sgpr152 ; CHECK-NEXT: S_NOP 0, implicit renamable $sgpr453 ; CHECK-NEXT: S_NOP 0, implicit renamable $sgpr654 ; CHECK-NEXT: renamable $sgpr0 = COPY killed renamable $sgpr455 ; CHECK-NEXT: renamable $sgpr2 = COPY renamable $sgpr656 ; CHECK-NEXT: S_NOP 0, implicit-def dead $sgpr4, implicit-def dead $sgpr5, implicit-def dead $sgpr6, implicit-def dead $sgpr7, implicit-def dead $sgpr8, implicit-def dead $sgpr9, implicit-def dead $sgpr10, implicit-def dead $sgpr11, implicit-def dead $sgpr12, implicit-def dead $sgpr13, implicit-def dead $sgpr14, implicit-def dead $sgpr15, implicit-def dead $vcc_lo, implicit-def dead $vcc_hi57 ; CHECK-NEXT: S_NOP 0, implicit renamable $sgpr058 ; CHECK-NEXT: S_NOP 0, implicit killed renamable $sgpr259 undef %0.sub0 : sgpr_128 = COPY $sgpr060 %0.sub2 = COPY $sgpr261 62 S_NOP 0, implicit-def dead $sgpr0, implicit-def dead $sgpr163 64 S_NOP 0, implicit %0.sub065 S_NOP 0, implicit %0.sub266 67 ; Clobber everything but sgpr0-sgpr368 S_NOP 0, implicit-def dead $sgpr4, implicit-def dead $sgpr5, implicit-def dead $sgpr6, implicit-def dead $sgpr7, implicit-def dead $sgpr8, implicit-def dead $sgpr9, implicit-def dead $sgpr10, implicit-def dead $sgpr11, implicit-def dead $sgpr12, implicit-def dead $sgpr13, implicit-def dead $sgpr14, implicit-def dead $sgpr15, implicit-def dead $vcc_lo, implicit-def dead $vcc_hi69 70 S_NOP 0, implicit %0.sub071 S_NOP 0, implicit %0.sub272...73---74# Check that copy hoisting out of loops works. This mainly should not crash the75# compiler when it hoists a subreg copy sequence.76name: splitHoist77tracksRegLiveness: true78body: |79 ; CHECK-LABEL: name: splitHoist80 ; CHECK: bb.0:81 ; CHECK-NEXT: successors: %bb.1(0x40000000), %bb.2(0x40000000)82 ; CHECK-NEXT: {{ $}}83 ; CHECK-NEXT: S_NOP 0, implicit-def renamable $sgpr084 ; CHECK-NEXT: S_NOP 0, implicit-def renamable $sgpr385 ; CHECK-NEXT: SI_SPILL_S128_SAVE renamable $sgpr0_sgpr1_sgpr2_sgpr3, %stack.0, implicit $exec, implicit $sp_reg :: (store (s128) into %stack.0, align 4, addrspace 5)86 ; CHECK-NEXT: S_CBRANCH_VCCNZ %bb.1, implicit undef $vcc87 ; CHECK-NEXT: S_BRANCH %bb.288 ; CHECK-NEXT: {{ $}}89 ; CHECK-NEXT: bb.1:90 ; CHECK-NEXT: successors: %bb.1(0x40000000), %bb.3(0x40000000)91 ; CHECK-NEXT: liveins: $sgpr0_sgpr1_sgpr2_sgpr3:0x00000000000000C392 ; CHECK-NEXT: {{ $}}93 ; CHECK-NEXT: S_NOP 0, implicit renamable $sgpr094 ; CHECK-NEXT: S_NOP 0, implicit-def dead $sgpr0, implicit-def dead $sgpr1, implicit-def dead $sgpr2, implicit-def dead $sgpr3, implicit-def dead $sgpr4, implicit-def dead $sgpr5, implicit-def dead $sgpr6, implicit-def dead $sgpr7, implicit-def dead $sgpr8, implicit-def dead $sgpr9, implicit-def dead $sgpr10, implicit-def dead $sgpr1195 ; CHECK-NEXT: renamable $sgpr0_sgpr1_sgpr2_sgpr3 = SI_SPILL_S128_RESTORE %stack.0, implicit $exec, implicit $sp_reg :: (load (s128) from %stack.0, align 4, addrspace 5)96 ; CHECK-NEXT: S_CBRANCH_VCCNZ %bb.1, implicit undef $vcc97 ; CHECK-NEXT: S_BRANCH %bb.398 ; CHECK-NEXT: {{ $}}99 ; CHECK-NEXT: bb.2:100 ; CHECK-NEXT: successors: %bb.3(0x80000000)101 ; CHECK-NEXT: liveins: $sgpr0_sgpr1_sgpr2_sgpr3:0x00000000000000C3102 ; CHECK-NEXT: {{ $}}103 ; CHECK-NEXT: S_NOP 0, implicit-def dead $sgpr0, implicit-def dead $sgpr1, implicit-def dead $sgpr2, implicit-def dead $sgpr3, implicit-def dead $sgpr4, implicit-def dead $sgpr5, implicit-def dead $sgpr6, implicit-def dead $sgpr7, implicit-def dead $sgpr8, implicit-def dead $sgpr9, implicit-def dead $sgpr10, implicit-def dead $sgpr11104 ; CHECK-NEXT: renamable $sgpr0_sgpr1_sgpr2_sgpr3 = SI_SPILL_S128_RESTORE %stack.0, implicit $exec, implicit $sp_reg :: (load (s128) from %stack.0, align 4, addrspace 5)105 ; CHECK-NEXT: S_BRANCH %bb.3106 ; CHECK-NEXT: {{ $}}107 ; CHECK-NEXT: bb.3:108 ; CHECK-NEXT: liveins: $sgpr0_sgpr1_sgpr2_sgpr3:0x00000000000000C3109 ; CHECK-NEXT: {{ $}}110 ; CHECK-NEXT: S_NOP 0, implicit renamable $sgpr0111 ; CHECK-NEXT: S_NOP 0, implicit renamable $sgpr3112 ; CHECK-NEXT: S_NOP 0, implicit renamable $sgpr0113 ; CHECK-NEXT: S_NOP 0, implicit killed renamable $sgpr3114 bb.0:115 successors: %bb.1, %bb.2116 S_NOP 0, implicit-def undef %0.sub0 : sgpr_128117 S_NOP 0, implicit-def %0.sub3 : sgpr_128118 119 S_CBRANCH_VCCNZ %bb.1, implicit undef $vcc120 S_BRANCH %bb.2121 122 bb.1:123 successors: %bb.1, %bb.3124 S_NOP 0, implicit %0.sub0125 126 ; Clobber registers127 S_NOP 0, implicit-def dead $sgpr0, implicit-def dead $sgpr1, implicit-def dead $sgpr2, implicit-def dead $sgpr3, implicit-def dead $sgpr4, implicit-def dead $sgpr5, implicit-def dead $sgpr6, implicit-def dead $sgpr7, implicit-def dead $sgpr8, implicit-def dead $sgpr9, implicit-def dead $sgpr10, implicit-def dead $sgpr11128 129 S_CBRANCH_VCCNZ %bb.1, implicit undef $vcc130 S_BRANCH %bb.3131 132 bb.2:133 successors: %bb.3134 ; Clobber registers135 S_NOP 0, implicit-def dead $sgpr0, implicit-def dead $sgpr1, implicit-def dead $sgpr2, implicit-def dead $sgpr3, implicit-def dead $sgpr4, implicit-def dead $sgpr5, implicit-def dead $sgpr6, implicit-def dead $sgpr7, implicit-def dead $sgpr8, implicit-def dead $sgpr9, implicit-def dead $sgpr10, implicit-def dead $sgpr11136 S_BRANCH %bb.3137 138 bb.3:139 S_NOP 0, implicit %0.sub0140 S_NOP 0, implicit %0.sub3141 S_NOP 0, implicit %0.sub0142 S_NOP 0, implicit %0.sub3143...144