1 ; RUN: llc -march=r600 -mcpu=SI -verify-machineinstrs< %s | FileCheck -check-prefix=SI %s
4 ; Most SALU instructions ignore control flow, so we need to make sure
5 ; they don't overwrite values from other blocks.
7 ; If the branch decision is made based on a value in an SGPR then all
8 ; threads will execute the same code paths, so we don't need to worry
9 ; about instructions in different blocks overwriting each other.
10 ; SI-LABEL: {{^}}sgpr_if_else_salu_br:
14 define void @sgpr_if_else_salu_br(i32 addrspace(1)* %out, i32 %a, i32 %b, i32 %c, i32 %d, i32 %e) {
16 %0 = icmp eq i32 %a, 0
17 br i1 %0, label %if, label %else
28 %3 = phi i32 [%1, %if], [%2, %else]
30 store i32 %4, i32 addrspace(1)* %out
34 ; The two S_ADD instructions should write to different registers, since
35 ; different threads will take different control flow paths.
37 ; SI-LABEL: {{^}}sgpr_if_else_valu_br:
38 ; SI: s_add_i32 [[SGPR:s[0-9]+]]
39 ; SI-NOT: s_add_i32 [[SGPR]]
41 define void @sgpr_if_else_valu_br(i32 addrspace(1)* %out, float %a, i32 %b, i32 %c, i32 %d, i32 %e) {
43 %tid = call i32 @llvm.r600.read.tidig.x() #0
44 %tid_f = uitofp i32 %tid to float
45 %tmp1 = fcmp ueq float %tid_f, 0.0
46 br i1 %tmp1, label %if, label %else
49 %tmp2 = add i32 %b, %c
53 %tmp3 = add i32 %d, %e
57 %tmp4 = phi i32 [%tmp2, %if], [%tmp3, %else]
58 store i32 %tmp4, i32 addrspace(1)* %out
62 declare i32 @llvm.r600.read.tidig.x() #0
64 attributes #0 = { readnone }