78 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py2# RUN: llc -mtriple=amdgcn-amd-amdhsa -verify-machineinstrs -amdgpu-enable-rewrite-partial-reg-uses=false -amdgpu-dce-in-ra=0 -stress-regalloc=1 -start-before=register-coalescer -stop-after=greedy,1 -o - %s | FileCheck %s3# https://bugs.llvm.org/show_bug.cgi?id=336204 5---6# This would assert due to the empty live interval created for %97# on the last S_NOP with an undef subreg use.8 9 10 11 12name: expecting_non_empty_interval13tracksRegLiveness: true14machineFunctionInfo:15 scratchRSrcReg: $sgpr0_sgpr1_sgpr2_sgpr316 stackPtrOffsetReg: $sgpr3217body: |18 ; CHECK-LABEL: name: expecting_non_empty_interval19 ; CHECK: bb.0:20 ; CHECK-NEXT: successors: %bb.1(0x80000000)21 ; CHECK-NEXT: {{ $}}22 ; CHECK-NEXT: undef [[V_MOV_B32_e32_:%[0-9]+]].sub1:vreg_64 = V_MOV_B32_e32 1786773504, implicit $exec23 ; CHECK-NEXT: dead [[V_MUL_F32_e32_:%[0-9]+]]:vgpr_32 = V_MUL_F32_e32 0, [[V_MOV_B32_e32_]].sub1, implicit $mode, implicit $exec24 ; CHECK-NEXT: undef [[V_MAC_F32_e32_:%[0-9]+]].sub1:vreg_64 = V_MAC_F32_e32 0, undef %1:vgpr_32, undef [[V_MAC_F32_e32_]].sub1, implicit $mode, implicit $exec25 ; CHECK-NEXT: {{ $}}26 ; CHECK-NEXT: bb.1:27 ; CHECK-NEXT: S_NOP 0, implicit [[V_MOV_B32_e32_]].sub128 ; CHECK-NEXT: S_NOP 0, implicit [[V_MAC_F32_e32_]].sub129 ; CHECK-NEXT: S_NOP 0, implicit undef [[V_MAC_F32_e32_]].sub030 bb.0:31 successors: %bb.132 33 undef %0.sub1:vreg_64 = V_MAC_F32_e32 0, undef %1:vgpr_32, undef %0.sub1, implicit $mode, implicit $exec34 undef %2.sub1:vreg_64 = V_MOV_B32_e32 1786773504, implicit $exec35 dead %3:vgpr_32 = V_MUL_F32_e32 0, %2.sub1, implicit $mode, implicit $exec36 37 bb.1:38 S_NOP 0, implicit %2.sub139 S_NOP 0, implicit %0.sub140 S_NOP 0, implicit undef %0.sub041 42...43 44# Similar assert which happens when trying to rematerialize.45# https://bugs.llvm.org/show_bug.cgi?id=3388446---47 48 49name: rematerialize_empty_interval_has_reference50tracksRegLiveness: true51machineFunctionInfo:52 scratchRSrcReg: $sgpr0_sgpr1_sgpr2_sgpr353 stackPtrOffsetReg: $sgpr3254body: |55 ; CHECK-LABEL: name: rematerialize_empty_interval_has_reference56 ; CHECK: bb.0:57 ; CHECK-NEXT: successors: %bb.1(0x80000000)58 ; CHECK-NEXT: {{ $}}59 ; CHECK-NEXT: undef [[V_MOV_B32_e32_:%[0-9]+]].sub2:vreg_128 = V_MOV_B32_e32 0, implicit $exec60 ; CHECK-NEXT: undef [[V_MOV_B32_e32_1:%[0-9]+]].sub2:vreg_128 = V_MOV_B32_e32 1786773504, implicit $exec61 ; CHECK-NEXT: {{ $}}62 ; CHECK-NEXT: bb.1:63 ; CHECK-NEXT: S_NOP 0, implicit [[V_MOV_B32_e32_1]].sub264 ; CHECK-NEXT: S_NOP 0, implicit undef [[V_MOV_B32_e32_]].sub065 ; CHECK-NEXT: S_NOP 0, implicit [[V_MOV_B32_e32_]].sub266 bb.0:67 successors: %bb.168 69 undef %0.sub2:vreg_128 = V_MOV_B32_e32 0, implicit $exec70 undef %1.sub2:vreg_128 = V_MOV_B32_e32 1786773504, implicit $exec71 72 bb.1:73 S_NOP 0, implicit %1.sub274 S_NOP 0, implicit undef %0.sub075 S_NOP 0, implicit %0.sub276 77...78