[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / AMDGPU / uniform-branch-intrinsic-cond.ll
blobeb6007f21c10cbd440290b2e11f2be9460d0773a
1 ; RUN: llc -march=amdgcn -mcpu=verde -verify-machineinstrs < %s | FileCheck %s
2 ; RUN: llc -march=amdgcn -mcpu=tonga -verify-machineinstrs < %s | FileCheck %s
4 ; This used to raise an assertion due to how the choice between uniform and
5 ; non-uniform branches was determined.
7 ; CHECK-LABEL: {{^}}main:
8 ; CHECK: s_cbranch_vccnz
9 define amdgpu_ps float @main(<4 x i32> inreg %rsrc) {
10 main_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
15 if:
16   %u = fadd float %v, %v
17   call void asm sideeffect "", ""() #0 ; Prevent ifconversion
18   br label %else
20 else:
21   %r = phi float [ %v, %main_body ], [ %u, %if ]
22   ret float %r
25 ; Function Attrs: nounwind readonly
26 declare float @llvm.amdgcn.buffer.load.f32(<4 x i32>, i32, i32, i1, i1) #0
28 attributes #0 = { nounwind readonly }