| ; RUN: opt -mtriple=amdgcn-- -S -structurizecfg -si-annotate-control-flow %s | FileCheck -check-prefix=OPT %s |
| ; RUN: llc -march=amdgcn -verify-machineinstrs < %s | FileCheck -check-prefix=GCN %s |
| |
| |
| ; OPT-LABEL: @annotate_unreachable( |
| ; OPT: call { i1, i64 } @llvm.amdgcn.if( |
| ; OPT-NOT: call void @llvm.amdgcn.end.cf( |
| |
| |
| ; GCN-LABEL: {{^}}annotate_unreachable: |
| ; GCN: s_and_saveexec_b64 |
| ; GCN-NOT: s_endpgm |
| ; GCN: .Lfunc_end0 |
| define amdgpu_kernel void @annotate_unreachable(<4 x float> addrspace(1)* noalias nocapture readonly %arg) #0 { |
| bb: |
| %tmp = tail call i32 @llvm.amdgcn.workitem.id.x() |
| br label %bb1 |
| |
| bb1: ; preds = %bb |
| %tmp2 = sext i32 %tmp to i64 |
| %tmp3 = getelementptr inbounds <4 x float>, <4 x float> addrspace(1)* %arg, i64 %tmp2 |
| %tmp4 = load <4 x float>, <4 x float> addrspace(1)* %tmp3, align 16 |
| br i1 undef, label %bb3, label %bb5 ; label order reversed |
| |
| bb3: ; preds = %bb1 |
| %tmp6 = extractelement <4 x float> %tmp4, i32 2 |
| %tmp7 = fcmp olt float %tmp6, 0.000000e+00 |
| br i1 %tmp7, label %bb4, label %bb5 |
| |
| bb4: ; preds = %bb3 |
| unreachable |
| |
| bb5: ; preds = %bb3, %bb1 |
| unreachable |
| } |
| |
| declare i32 @llvm.amdgcn.workitem.id.x() #1 |
| |
| attributes #0 = { nounwind } |
| attributes #1 = { nounwind readnone } |
