339 lines
9.2 KiB
YAML
339 lines
9.2 KiB
YAML
# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
|
|
# RUN: llc -mtriple=amdgcn-amd-amdhsa -mcpu=gfx906 -verify-coalescing -verify-machineinstrs -start-before=simple-register-coalescing -stop-after=machine-scheduler -o - %s | FileCheck %s
|
|
|
|
# Tests that break due to the handling of partially undef registers
|
|
# when whole register identity copies are erased.
|
|
|
|
# Make sure there is no verifier error after
|
|
# RenameIndepependentSubregs processes this. The coalescer would
|
|
# remove the identity copy in %bb.1, and leave behind a dummy interval
|
|
# across bb.1 with no corresponding value anywhere in the function.
|
|
|
|
---
|
|
name: identity_copy_undef_subrange
|
|
tracksRegLiveness: true
|
|
body: |
|
|
; CHECK-LABEL: name: identity_copy_undef_subrange
|
|
; CHECK: bb.0:
|
|
; CHECK: successors: %bb.1(0x80000000)
|
|
; CHECK: liveins: $vgpr0
|
|
; CHECK: undef %0.sub1:vreg_64 = COPY $vgpr0
|
|
; CHECK: bb.1:
|
|
; CHECK: successors: %bb.2(0x40000000), %bb.1(0x40000000)
|
|
; CHECK: S_CBRANCH_EXECNZ %bb.1, implicit $exec
|
|
; CHECK: S_BRANCH %bb.2
|
|
; CHECK: bb.2:
|
|
; CHECK: successors: %bb.1(0x80000000)
|
|
; CHECK: undef %0.sub1:vreg_64 = nofpexcept V_CEIL_F32_e32 %0.sub1, implicit $mode, implicit $exec
|
|
; CHECK: S_BRANCH %bb.1
|
|
bb.0:
|
|
liveins: $vgpr0
|
|
|
|
undef %0.sub1:vreg_64 = COPY killed $vgpr0
|
|
|
|
bb.1:
|
|
successors: %bb.2, %bb.1
|
|
|
|
%0:vreg_64 = COPY %0
|
|
S_CBRANCH_EXECNZ %bb.1, implicit $exec
|
|
S_BRANCH %bb.2
|
|
|
|
bb.2:
|
|
undef %0.sub1:vreg_64 = nofpexcept V_CEIL_F32_e32 killed %0.sub1, implicit $mode, implicit $exec
|
|
S_BRANCH %bb.1
|
|
|
|
...
|
|
|
|
# Test another use of the register inside the block.
|
|
---
|
|
name: identity_copy_undef_subrange_other_uses0
|
|
tracksRegLiveness: true
|
|
body: |
|
|
; CHECK-LABEL: name: identity_copy_undef_subrange_other_uses0
|
|
; CHECK: bb.0:
|
|
; CHECK: successors: %bb.1(0x80000000)
|
|
; CHECK: liveins: $vgpr0
|
|
; CHECK: undef %0.sub1:vreg_64 = COPY $vgpr0
|
|
; CHECK: bb.1:
|
|
; CHECK: successors: %bb.2(0x40000000), %bb.1(0x40000000)
|
|
; CHECK: S_NOP 0, implicit undef %0.sub0
|
|
; CHECK: S_NOP 0, implicit undef %0.sub0
|
|
; CHECK: S_CBRANCH_EXECNZ %bb.1, implicit $exec
|
|
; CHECK: S_BRANCH %bb.2
|
|
; CHECK: bb.2:
|
|
; CHECK: successors: %bb.1(0x80000000)
|
|
; CHECK: undef %0.sub1:vreg_64 = nofpexcept V_CEIL_F32_e32 %0.sub1, implicit $mode, implicit $exec
|
|
; CHECK: S_BRANCH %bb.1
|
|
bb.0:
|
|
liveins: $vgpr0
|
|
undef %0.sub1:vreg_64 = COPY killed $vgpr0
|
|
|
|
bb.1:
|
|
successors: %bb.2, %bb.1
|
|
|
|
%0:vreg_64 = COPY %0
|
|
S_NOP 0, implicit %0.sub0
|
|
S_NOP 0, implicit %0.sub0
|
|
S_CBRANCH_EXECNZ %bb.1, implicit $exec
|
|
S_BRANCH %bb.2
|
|
|
|
bb.2:
|
|
undef %0.sub1:vreg_64 = nofpexcept V_CEIL_F32_e32 killed %0.sub1, implicit $mode, implicit $exec
|
|
S_BRANCH %bb.1
|
|
|
|
...
|
|
|
|
---
|
|
name: second_identity_copy
|
|
tracksRegLiveness: true
|
|
body: |
|
|
; CHECK-LABEL: name: second_identity_copy
|
|
; CHECK: bb.0:
|
|
; CHECK: successors: %bb.1(0x80000000)
|
|
; CHECK: liveins: $vgpr0
|
|
; CHECK: undef %0.sub1:vreg_64 = COPY $vgpr0
|
|
; CHECK: bb.1:
|
|
; CHECK: successors: %bb.2(0x40000000), %bb.1(0x40000000)
|
|
; CHECK: S_CBRANCH_EXECNZ %bb.1, implicit $exec
|
|
; CHECK: S_BRANCH %bb.2
|
|
; CHECK: bb.2:
|
|
; CHECK: successors: %bb.1(0x80000000)
|
|
; CHECK: undef %0.sub1:vreg_64 = nofpexcept V_MUL_F32_e32 0, %0.sub1, implicit $mode, implicit $exec
|
|
; CHECK: S_BRANCH %bb.1
|
|
bb.0:
|
|
liveins: $vgpr0
|
|
|
|
undef %0.sub1:vreg_64 = COPY killed $vgpr0
|
|
|
|
bb.1:
|
|
successors: %bb.2, %bb.1
|
|
|
|
%0:vreg_64 = COPY killed %0
|
|
%0:vreg_64 = COPY %0
|
|
S_CBRANCH_EXECNZ %bb.1, implicit $exec
|
|
S_BRANCH %bb.2
|
|
|
|
bb.2:
|
|
undef %0.sub1:vreg_64 = nofpexcept V_MUL_F32_e32 0, killed %0.sub1, implicit $mode, implicit $exec
|
|
S_BRANCH %bb.1
|
|
|
|
...
|
|
|
|
---
|
|
name: second_identity_copy_undef_lane_outblock
|
|
tracksRegLiveness: true
|
|
body: |
|
|
; CHECK-LABEL: name: second_identity_copy_undef_lane_outblock
|
|
; CHECK: bb.0:
|
|
; CHECK: successors: %bb.1(0x80000000)
|
|
; CHECK: liveins: $vgpr0
|
|
; CHECK: undef %0.sub1:vreg_64 = COPY $vgpr0
|
|
; CHECK: bb.1:
|
|
; CHECK: successors: %bb.2(0x40000000), %bb.1(0x40000000)
|
|
; CHECK: S_CBRANCH_EXECNZ %bb.1, implicit $exec
|
|
; CHECK: S_BRANCH %bb.2
|
|
; CHECK: bb.2:
|
|
; CHECK: successors: %bb.1(0x80000000)
|
|
; CHECK: %0.sub1:vreg_64 = nofpexcept V_MUL_F32_e32 0, %0.sub1, implicit $mode, implicit $exec
|
|
; CHECK: S_BRANCH %bb.1
|
|
bb.0:
|
|
liveins: $vgpr0
|
|
|
|
undef %0.sub1:vreg_64 = COPY killed $vgpr0
|
|
|
|
bb.1:
|
|
successors: %bb.2, %bb.1
|
|
|
|
%0:vreg_64 = COPY killed %0
|
|
%0:vreg_64 = COPY %0
|
|
S_CBRANCH_EXECNZ %bb.1, implicit $exec
|
|
S_BRANCH %bb.2
|
|
|
|
bb.2:
|
|
%0.sub1:vreg_64 = nofpexcept V_MUL_F32_e32 0, killed %0.sub1, implicit $mode, implicit $exec
|
|
S_BRANCH %bb.1
|
|
|
|
...
|
|
|
|
# The same value number appears in multiple blocks
|
|
---
|
|
name: identity_copy_undef_subrange_null_vninfo_to_remove
|
|
tracksRegLiveness: true
|
|
body: |
|
|
; CHECK-LABEL: name: identity_copy_undef_subrange_null_vninfo_to_remove
|
|
; CHECK: bb.0:
|
|
; CHECK: successors: %bb.1(0x80000000)
|
|
; CHECK: liveins: $vgpr0
|
|
; CHECK: undef %0.sub1:vreg_64 = COPY $vgpr0
|
|
; CHECK: bb.1:
|
|
; CHECK: successors: %bb.3(0x40000000), %bb.2(0x40000000)
|
|
; CHECK: S_CBRANCH_EXECNZ %bb.3, implicit $exec
|
|
; CHECK: bb.2:
|
|
; CHECK: successors: %bb.1(0x80000000)
|
|
; CHECK: S_NOP 0, implicit undef %0.sub0
|
|
; CHECK: undef %0.sub1:vreg_64 = nofpexcept V_CEIL_F32_e32 %0.sub1, implicit $mode, implicit $exec
|
|
; CHECK: S_BRANCH %bb.1
|
|
; CHECK: bb.3:
|
|
; CHECK: S_NOP 0, implicit undef %0.sub0
|
|
bb.0:
|
|
liveins: $vgpr0
|
|
|
|
undef %0.sub1:vreg_64 = COPY killed $vgpr0
|
|
|
|
bb.1:
|
|
%0:vreg_64 = COPY %0
|
|
S_CBRANCH_EXECNZ %bb.3, implicit $exec
|
|
|
|
bb.2:
|
|
S_NOP 0, implicit %0.sub0
|
|
undef %0.sub1:vreg_64 = nofpexcept V_CEIL_F32_e32 killed %0.sub1, implicit $mode, implicit $exec
|
|
S_BRANCH %bb.1
|
|
|
|
bb.3:
|
|
S_NOP 0, implicit %0.sub0
|
|
|
|
...
|
|
|
|
---
|
|
name: undef_copy_self_loop0
|
|
tracksRegLiveness: true
|
|
body: |
|
|
; CHECK-LABEL: name: undef_copy_self_loop0
|
|
; CHECK: bb.0:
|
|
; CHECK: successors: %bb.1(0x80000000)
|
|
; CHECK: liveins: $vgpr0
|
|
; CHECK: undef %0.sub1:vreg_64 = COPY $vgpr0
|
|
; CHECK: bb.1:
|
|
; CHECK: successors: %bb.1(0x40000000), %bb.2(0x40000000)
|
|
; CHECK: S_CBRANCH_EXECNZ %bb.1, implicit $exec
|
|
; CHECK: bb.2:
|
|
; CHECK: S_NOP 0, implicit undef %0.sub0
|
|
bb.0:
|
|
liveins: $vgpr0
|
|
|
|
undef %0.sub1:vreg_64 = COPY killed $vgpr0
|
|
|
|
bb.1:
|
|
%0:vreg_64 = COPY %0
|
|
S_CBRANCH_EXECNZ %bb.1, implicit $exec
|
|
|
|
bb.2:
|
|
S_NOP 0, implicit %0.sub0
|
|
|
|
...
|
|
|
|
---
|
|
name: undef_copy_self_loop1
|
|
tracksRegLiveness: true
|
|
body: |
|
|
; CHECK-LABEL: name: undef_copy_self_loop1
|
|
; CHECK: bb.0:
|
|
; CHECK: successors: %bb.1(0x80000000)
|
|
; CHECK: liveins: $vgpr0
|
|
; CHECK: undef %0.sub1:vreg_64 = COPY $vgpr0
|
|
; CHECK: bb.1:
|
|
; CHECK: successors: %bb.1(0x40000000), %bb.2(0x40000000)
|
|
; CHECK: S_CBRANCH_EXECNZ %bb.1, implicit $exec
|
|
; CHECK: bb.2:
|
|
; CHECK: S_NOP 0, implicit %0.sub1
|
|
bb.0:
|
|
liveins: $vgpr0
|
|
|
|
undef %0.sub1:vreg_64 = COPY killed $vgpr0
|
|
|
|
bb.1:
|
|
%0:vreg_64 = COPY %0
|
|
S_CBRANCH_EXECNZ %bb.1, implicit $exec
|
|
|
|
bb.2:
|
|
S_NOP 0, implicit %0.sub1
|
|
|
|
...
|
|
|
|
# FIXME: This testcase is broken
|
|
# The coalescing of the %0 = %2 COPY in %bb.2 needs to prune the dead
|
|
# phi range across %bb.1 after it is erased.
|
|
# ---
|
|
# name: prune_subrange_phi_value_0
|
|
# tracksRegLiveness: true
|
|
# body: |
|
|
# bb.0:
|
|
# liveins: $vgpr0
|
|
|
|
# undef %0.sub1:vreg_64 = COPY killed $vgpr0
|
|
|
|
# bb.1:
|
|
# successors: %bb.2, %bb.1
|
|
|
|
# %1:vreg_64 = COPY killed %0
|
|
# %0:vreg_64 = COPY %1
|
|
# S_CBRANCH_EXECNZ %bb.1, implicit $exec
|
|
# S_BRANCH %bb.2
|
|
|
|
# bb.2:
|
|
# undef %2.sub1:vreg_64 = COPY %0.sub1
|
|
# %0:vreg_64 = COPY killed %2
|
|
# S_BRANCH %bb.1
|
|
|
|
# ...
|
|
|
|
# Variant of testcase that asserts since there wasn't already an
|
|
# incoming segment at the erased copy, and no valid end point.
|
|
# ---
|
|
# name: prune_subrange_phi_value_1
|
|
# tracksRegLiveness: true
|
|
# body: |
|
|
# bb.0:
|
|
# liveins: $vgpr0
|
|
|
|
# undef %0.sub1:vreg_64 = COPY killed $vgpr0
|
|
|
|
# bb.1:
|
|
# successors: %bb.2, %bb.1
|
|
|
|
# %0:vreg_64 = COPY killed %0
|
|
# S_CBRANCH_EXECNZ %bb.1, implicit $exec
|
|
# S_BRANCH %bb.2
|
|
|
|
# bb.2:
|
|
# undef %1.sub1:vreg_64 = nofpexcept V_CEIL_F32_e32 killed %0.sub1, implicit $mode, implicit $exec
|
|
# %0:vreg_64 = COPY killed %1
|
|
# S_BRANCH %bb.1
|
|
|
|
# ...
|
|
|
|
---
|
|
name: prune_subrange_phi_value_2
|
|
tracksRegLiveness: true
|
|
body: |
|
|
; CHECK-LABEL: name: prune_subrange_phi_value_2
|
|
; CHECK: bb.0:
|
|
; CHECK: successors: %bb.1(0x80000000)
|
|
; CHECK: liveins: $vgpr0
|
|
; CHECK: undef %0.sub1:vreg_64 = COPY $vgpr0
|
|
; CHECK: bb.1:
|
|
; CHECK: successors: %bb.2(0x40000000), %bb.1(0x40000000)
|
|
; CHECK: S_CBRANCH_EXECNZ %bb.1, implicit $exec
|
|
; CHECK: S_BRANCH %bb.2
|
|
; CHECK: bb.2:
|
|
; CHECK: successors: %bb.1(0x80000000)
|
|
; CHECK: %0.sub1:vreg_64 = nofpexcept V_CEIL_F32_e32 %0.sub1, implicit $mode, implicit $exec
|
|
; CHECK: S_BRANCH %bb.1
|
|
bb.0:
|
|
liveins: $vgpr0
|
|
|
|
undef %0.sub1:vreg_64 = COPY killed $vgpr0
|
|
|
|
bb.1:
|
|
successors: %bb.2, %bb.1
|
|
|
|
%0:vreg_64 = COPY killed %0
|
|
S_CBRANCH_EXECNZ %bb.1, implicit $exec
|
|
S_BRANCH %bb.2
|
|
|
|
bb.2:
|
|
%0.sub1:vreg_64 = nofpexcept V_CEIL_F32_e32 %0.sub1, implicit $mode, implicit $exec
|
|
S_BRANCH %bb.1
|
|
|
|
...
|