mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2026-04-27 04:18:42 +00:00
Matthias Braun
fa2b7e5cb4
If a dead instruction we may not only have a last-use in the main live range but also in a subregister range if subregisters are tracked. We need to partially rebuild live ranges in both cases. The testcase only broke when subregister liveness was enabled. I commited it in the current form because there is currently no flag to enable/disable subregister liveness. This fixes PR23720. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@238785 91177308-0d34-0410-b5e6-96231b3b80d8
56 lines
2.1 KiB
LLVM
56 lines
2.1 KiB
LLVM
; RUN: llc -verify-machineinstrs -o - %s | FileCheck %s
|
|
; LiveRangeEdit::eliminateDeadDef did not update LiveInterval sub ranges
|
|
; properly.
|
|
target datalayout = "e-p:32:32-p1:64:64-p2:64:64-p3:32:32-p4:64:64-p5:32:32-p24:64:64-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-v2048:2048-n32:64"
|
|
target triple = "amdgcn--"
|
|
|
|
; CHECK-LABEL: foobar:
|
|
; Output with subregister liveness disabled:
|
|
; CHECK: v_mov_b32_e32 v1, 1
|
|
; CHECK: v_mov_b32_e32 v0, 0
|
|
; CHECK: v_cmp_eq_i32_e32 vcc, s0, v0
|
|
; CHECK: v_cmp_eq_i32_e64 s[0:1], s0, v1
|
|
; CHECK: v_mov_b32_e32 v1, 3
|
|
; CHECK: v_mov_b32_e32 v0, 2
|
|
; CHECK: v_cmp_eq_i32_e64 s[2:3], s0, v0
|
|
; CHECK: v_cmp_eq_i32_e64 s[4:5], s0, v1
|
|
; CHECK: v_cndmask_b32_e64 v3, 0, -1, s[4:5]
|
|
; CHECK: v_cndmask_b32_e64 v2, 0, -1, s[2:3]
|
|
; CHECK: v_cndmask_b32_e64 v1, 0, -1, s[0:1]
|
|
; CHECK: v_cndmask_b32_e64 v0, 0, -1, vcc
|
|
; CHECK: v_cmp_ne_i32_e32 vcc, 0, v1
|
|
; CHECK: v_cndmask_b32_e64 v1, 0, v0, vcc
|
|
; CHECK: s_mov_b32 s3, 0xf000
|
|
; CHECK: s_mov_b32 s2, -1
|
|
; CHECK: buffer_store_dwordx2 v[0:1], s[0:3], 0
|
|
; CHECK: s_endpgm
|
|
; Output with subregister liveness enabled:
|
|
; XCHECK: v_mov_b32_e32 v1, 1
|
|
; XCHECK: v_mov_b32_e32 v0, 0
|
|
; XCHECK: v_cmp_eq_i32_e32 vcc, s0, v1
|
|
; XCHECK: v_mov_b32_e32 v1, 3
|
|
; XCHECK: v_mov_b32_e32 v0, 2
|
|
; XCHECK: v_cmp_eq_i32_e64 s[0:1], s0, v0
|
|
; XCHECK: v_cmp_eq_i32_e64 s[2:3], s0, v1
|
|
; XCHECK: v_cndmask_b32_e64 v3, 0, -1, s[2:3]
|
|
; XCHECK: v_cndmask_b32_e64 v2, 0, -1, s[0:1]
|
|
; XCHECK: v_cndmask_b32_e64 v1, 0, -1, vcc
|
|
; XCHECK: v_cmp_ne_i32_e32 vcc, 0, v1
|
|
; XCHECK: v_cndmask_b32_e64 v1, 0, v0, vcc
|
|
; XCHECK: s_mov_b32 s3, 0xf000
|
|
; XCHECK: s_mov_b32 s2, -1
|
|
; XCHECK: buffer_store_dwordx2 v[0:1], s[0:3], 0
|
|
; XCHECK: s_endpgm
|
|
define void @foobar() {
|
|
%v0 = icmp eq <4 x i32> undef, <i32 0, i32 1, i32 2, i32 3>
|
|
%v3 = sext <4 x i1> %v0 to <4 x i32>
|
|
%v4 = extractelement <4 x i32> %v3, i32 1
|
|
%v5 = icmp ne i32 %v4, 0
|
|
%v6 = select i1 %v5, i32 undef, i32 0
|
|
%v15 = insertelement <2 x i32> undef, i32 %v6, i32 1
|
|
store <2 x i32> %v15, <2 x i32> addrspace(1)* undef, align 8
|
|
ret void
|
|
}
|
|
|
|
declare double @llvm.fma.f64(double, double, double)
|