1 # RUN: llc -mtriple=amdgcn-amd-amdhsa -amdgpu-dce-in-ra=0 -verify-machineinstrs -stress-regalloc=1 -start-before=simple-register-coalescing -stop-after=greedy -o - %s | FileCheck %s
2 # https://bugs.llvm.org/show_bug.cgi?id=33620
5 # This would assert due to the empty live interval created for %9
6 # on the last S_NOP with an undef subreg use.
8 # CHECK-LABEL: name: expecting_non_empty_interval
10 # CHECK: undef %7.sub1:vreg_64 = V_MAC_F32_e32 0, undef %1:vgpr_32, undef %7.sub1, implicit $exec
11 # CHECK-NEXT: SI_SPILL_V64_SAVE %7, %stack.0, $sgpr0_sgpr1_sgpr2_sgpr3, $sgpr32, 0, implicit $exec :: (store 8 into %stack.0, align 4, addrspace 5)
12 # CHECK-NEXT: undef %5.sub1:vreg_64 = V_MOV_B32_e32 1786773504, implicit $exec
13 # CHECK-NEXT: dead %3:vgpr_32 = V_MUL_F32_e32 0, %5.sub1, implicit $exec
15 # CHECK: S_NOP 0, implicit %6.sub1
16 # CHECK-NEXT: %8:vreg_64 = SI_SPILL_V64_RESTORE %stack.0, $sgpr0_sgpr1_sgpr2_sgpr3, $sgpr32, 0, implicit $exec :: (load 8 from %stack.0, align 4, addrspace 5)
17 # CHECK-NEXT: S_NOP 0, implicit %8.sub1
18 # CHECK-NEXT: S_NOP 0, implicit undef %9.sub0
20 name: expecting_non_empty_interval
21 tracksRegLiveness: true
23 scratchRSrcReg: $sgpr0_sgpr1_sgpr2_sgpr3
24 scratchWaveOffsetReg: $sgpr4
25 stackPtrOffsetReg: $sgpr32
30 undef %0.sub1:vreg_64 = V_MAC_F32_e32 0, undef %1:vgpr_32, undef %0.sub1, implicit $exec
31 undef %2.sub1:vreg_64 = V_MOV_B32_e32 1786773504, implicit $exec
32 dead %3:vgpr_32 = V_MUL_F32_e32 0, %2.sub1, implicit $exec
35 S_NOP 0, implicit %2.sub1
36 S_NOP 0, implicit %0.sub1
37 S_NOP 0, implicit undef %0.sub0
41 # Similar assert which happens when trying to rematerialize.
42 # https://bugs.llvm.org/show_bug.cgi?id=33884
44 # CHECK-LABEL: name: rematerialize_empty_interval_has_reference
47 # CHECK: undef %1.sub2:vreg_128 = V_MOV_B32_e32 1786773504, implicit $exec
50 # CHECK-NEXT: S_NOP 0, implicit %1.sub2
51 # CHECK-NEXT: S_NOP 0, implicit undef %4.sub0
52 # CHECK-NEXT: undef %2.sub2:vreg_128 = V_MOV_B32_e32 0, implicit $exec
53 # CHECK-NEXT: S_NOP 0, implicit %2.sub2
54 name: rematerialize_empty_interval_has_reference
55 tracksRegLiveness: true
57 scratchRSrcReg: $sgpr0_sgpr1_sgpr2_sgpr3
58 scratchWaveOffsetReg: $sgpr4
59 stackPtrOffsetReg: $sgpr32
64 undef %0.sub2:vreg_128 = V_MOV_B32_e32 0, implicit $exec
65 undef %1.sub2:vreg_128 = V_MOV_B32_e32 1786773504, implicit $exec
68 S_NOP 0, implicit %1.sub2
69 S_NOP 0, implicit undef %0.sub0
70 S_NOP 0, implicit %0.sub2