1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 5
2 ; RUN: llc -mtriple=amdgcn-amd-amdpal -mcpu=gfx900 -verify-machineinstrs -o - %s | FileCheck %s
4 ; Check for verifier error after tail duplication. An implicit_def of
5 ; a subregsiter is needed to maintain liveness after assignment.
7 define amdgpu_vs void @test(i32 inreg %cmp, i32 %e0) {
9 ; CHECK: ; %bb.0: ; %entry
10 ; CHECK-NEXT: s_cmp_eq_u32 s0, 0
11 ; CHECK-NEXT: s_mov_b32 s0, 0
12 ; CHECK-NEXT: s_cbranch_scc1 .LBB0_2
13 ; CHECK-NEXT: ; %bb.1: ; %load
14 ; CHECK-NEXT: s_mov_b32 s1, s0
15 ; CHECK-NEXT: s_mov_b32 s2, s0
16 ; CHECK-NEXT: s_mov_b32 s3, s0
17 ; CHECK-NEXT: v_mov_b32_e32 v1, 0
18 ; CHECK-NEXT: buffer_load_format_xy v[1:2], v1, s[0:3], 0 idxen
19 ; CHECK-NEXT: s_waitcnt vmcnt(0)
20 ; CHECK-NEXT: exp mrt0 v0, v1, v2, v0
21 ; CHECK-NEXT: s_endpgm
22 ; CHECK-NEXT: .LBB0_2:
23 ; CHECK-NEXT: v_mov_b32_e32 v1, 0
24 ; CHECK-NEXT: exp mrt0 v0, v1, v2, v0
25 ; CHECK-NEXT: s_endpgm
27 %cond = icmp eq i32 %cmp, 0
28 br i1 %cond, label %end, label %load
31 %data1 = call <2 x i32> @llvm.amdgcn.struct.buffer.load.format.v2i32(<4 x i32> zeroinitializer, i32 0, i32 0, i32 0, i32 0)
32 %e1 = extractelement <2 x i32> %data1, i32 0
33 %e2 = extractelement <2 x i32> %data1, i32 1
37 %out1 = phi i32 [ 0, %entry ], [ %e1, %load ]
38 %out2 = phi i32 [ poison, %entry ], [ %e2, %load ]
39 call void @llvm.amdgcn.exp.i32(i32 0, i32 15, i32 %e0, i32 %out1, i32 %out2, i32 %e0, i1 false, i1 false)