1; RUN: llc -march=amdgcn -mcpu=verde -verify-machineinstrs < %s | FileCheck %s
2; RUN: llc -march=amdgcn -mcpu=tonga -verify-machineinstrs < %s | FileCheck %s
3
4; This used to raise an assertion due to how the choice between uniform and
5; non-uniform branches was determined.
6;
7; CHECK-LABEL: {{^}}main:
8; CHECK: s_cbranch_vccnz
9define amdgpu_ps float @main(<4 x i32> inreg %rsrc) {
10main_body:
11  %v = call float @llvm.amdgcn.buffer.load.f32(<4 x i32> %rsrc, i32 0, i32 0, i1 true, i1 false)
12  %cc = fcmp une float %v, 1.000000e+00
13  br i1 %cc, label %if, label %else
14
15if:
16  %u = fadd float %v, %v
17  br label %else
18
19else:
20  %r = phi float [ %v, %main_body ], [ %u, %if ]
21  ret float %r
22}
23
24; Function Attrs: nounwind readonly
25declare float @llvm.amdgcn.buffer.load.f32(<4 x i32>, i32, i32, i1, i1) #0
26
27attributes #0 = { nounwind readonly }
28