; RUN: llc -mtriple=spirv-unknown-vulkan-compute -O0 %s -o - | FileCheck %s ; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv-unknown-vulkan-compute %s -o - -filetype=obj | spirv-val %} ; ; int process() { ; int a = 0; ; int b = 1; ; int val = 0; ; ; for (int i = 0; a && b; ++i) { ; val += 1; ; } ; ; for (int i = 0; a || b; ++i) { ; val += 1; ; b = 0; ; } ; ; b = 1; ; for (int i = 0; a && ((a || b) && b); ++i) { ; val += 4; ; b = 0; ; } ; ; b = 1; ; for (int i = 0; a ? a : b; ++i) { ; val += 8; ; b = 0; ; } ; ; int x = 0; ; int y = 0; ; for (int i = 0; x + (x && y); ++i) { ; val += 16; ; } ; ; return val; ; } ; ; [numthreads(1, 1, 1)] ; void main() { ; process(); ; } ; CHECK: %[[#process:]] = OpFunction %[[#uint:]] DontInline %[[#]] ; CHECK: %[[#bb86:]] = OpLabel ; CHECK: OpBranch %[[#bb87:]] ; CHECK: %[[#bb87]] = OpLabel ; CHECK: OpLoopMerge %[[#bb89:]] %[[#bb90:]] None ; CHECK: OpBranch %[[#bb91:]] ; CHECK: %[[#bb91]] = OpLabel ; CHECK: OpSelectionMerge %[[#bb92:]] None ; CHECK: OpBranchConditional %[[#]] %[[#bb93:]] %[[#bb94:]] ; CHECK: %[[#bb94]] = OpLabel ; CHECK: OpBranch %[[#bb92]] ; CHECK: %[[#bb93]] = OpLabel ; CHECK: OpBranch %[[#bb92]] ; CHECK: %[[#bb92]] = OpLabel ; CHECK: OpBranchConditional %[[#]] %[[#bb96:]] %[[#bb89]] ; CHECK: %[[#bb89]] = OpLabel ; CHECK: OpBranch %[[#bb97:]] ; CHECK: %[[#bb97]] = OpLabel ; CHECK: OpLoopMerge %[[#bb99:]] %[[#bb100:]] None ; CHECK: OpBranch %[[#bb101:]] ; CHECK: %[[#bb101]] = OpLabel ; CHECK: OpSelectionMerge %[[#bb102:]] None ; CHECK: OpBranchConditional %[[#]] %[[#bb103:]] %[[#bb104:]] ; CHECK: %[[#bb104]] = OpLabel ; CHECK: OpBranch %[[#bb102]] ; CHECK: %[[#bb103]] = OpLabel ; CHECK: OpBranch %[[#bb102]] ; CHECK: %[[#bb102]] = OpLabel ; CHECK: OpBranchConditional %[[#]] %[[#bb106:]] %[[#bb99]] ; CHECK: %[[#bb99]] = OpLabel ; CHECK: OpBranch %[[#bb107:]] ; CHECK: %[[#bb107]] = OpLabel ; CHECK: OpLoopMerge %[[#bb109:]] %[[#bb110:]] None ; CHECK: OpBranch %[[#bb111:]] ; CHECK: %[[#bb111]] = OpLabel ; CHECK: OpSelectionMerge %[[#bb112:]] None ; CHECK: OpBranchConditional %[[#]] %[[#bb113:]] %[[#bb114:]] ; CHECK: %[[#bb114]] = OpLabel ; CHECK: OpBranch %[[#bb112]] ; CHECK: %[[#bb113]] = OpLabel ; CHECK: OpSelectionMerge %[[#bb116:]] None ; CHECK: OpBranchConditional %[[#]] %[[#bb117:]] %[[#bb116]] ; CHECK: %[[#bb117]] = OpLabel ; CHECK: OpSelectionMerge %[[#bb118:]] None ; CHECK: OpBranchConditional %[[#]] %[[#bb119:]] %[[#bb120:]] ; CHECK: %[[#bb120]] = OpLabel ; CHECK: OpSelectionMerge %[[#bb122:]] None ; CHECK: OpBranchConditional %[[#]] %[[#bb122]] %[[#bb123:]] ; CHECK: %[[#bb123]] = OpLabel ; CHECK: OpBranch %[[#bb122]] ; CHECK: %[[#bb122]] = OpLabel ; CHECK: OpBranchConditional %[[#]] %[[#bb126:]] %[[#bb118]] ; CHECK: %[[#bb126]] = OpLabel ; CHECK: OpBranch %[[#bb118]] ; CHECK: %[[#bb119]] = OpLabel ; CHECK: OpBranch %[[#bb118]] ; CHECK: %[[#bb118]] = OpLabel ; CHECK: OpBranchConditional %[[#]] %[[#bb116]] %[[#bb129:]] ; CHECK: %[[#bb129]] = OpLabel ; CHECK: OpBranch %[[#bb116]] ; CHECK: %[[#bb116]] = OpLabel ; CHECK: OpBranchConditional %[[#]] %[[#bb112]] %[[#bb133:]] ; CHECK: %[[#bb133]] = OpLabel ; CHECK: OpBranch %[[#bb112]] ; CHECK: %[[#bb112]] = OpLabel ; CHECK: OpSelectionMerge %[[#bb136:]] None ; CHECK: OpBranchConditional %[[#]] %[[#bb136]] %[[#bb137:]] ; CHECK: %[[#bb137]] = OpLabel ; CHECK-NEXT: OpUnreachable ; CHECK: %[[#bb136]] = OpLabel ; CHECK: OpBranchConditional %[[#]] %[[#bb138:]] %[[#bb109]] ; CHECK: %[[#bb109]] = OpLabel ; CHECK: OpBranch %[[#bb139:]] ; CHECK: %[[#bb139]] = OpLabel ; CHECK: OpLoopMerge %[[#bb141:]] %[[#bb142:]] None ; CHECK: OpBranch %[[#bb143:]] ; CHECK: %[[#bb143]] = OpLabel ; CHECK: OpSelectionMerge %[[#bb144:]] None ; CHECK: OpBranchConditional %[[#]] %[[#bb145:]] %[[#bb146:]] ; CHECK: %[[#bb146]] = OpLabel ; CHECK: OpBranch %[[#bb144]] ; CHECK: %[[#bb145]] = OpLabel ; CHECK: OpBranch %[[#bb144]] ; CHECK: %[[#bb144]] = OpLabel ; CHECK: OpBranchConditional %[[#]] %[[#bb149:]] %[[#bb141]] ; CHECK: %[[#bb141]] = OpLabel ; CHECK: OpBranch %[[#bb150:]] ; CHECK: %[[#bb150]] = OpLabel ; CHECK: OpLoopMerge %[[#bb153:]] %[[#bb154:]] None ; CHECK: OpBranch %[[#bb155:]] ; CHECK: %[[#bb155]] = OpLabel ; CHECK: OpSelectionMerge %[[#bb156:]] None ; CHECK: OpBranchConditional %[[#]] %[[#bb157:]] %[[#bb158:]] ; CHECK: %[[#bb158]] = OpLabel ; CHECK: OpBranch %[[#bb156]] ; CHECK: %[[#bb157]] = OpLabel ; CHECK: OpBranch %[[#bb156]] ; CHECK: %[[#bb156]] = OpLabel ; CHECK: OpBranchConditional %[[#]] %[[#bb160:]] %[[#bb153]] ; CHECK: %[[#bb153]] = OpLabel ; CHECK: OpReturnValue %[[#]] ; CHECK: %[[#bb160]] = OpLabel ; CHECK: OpBranch %[[#bb154]] ; CHECK: %[[#bb154]] = OpLabel ; CHECK: OpBranch %[[#bb150]] ; CHECK: %[[#bb149]] = OpLabel ; CHECK: OpBranch %[[#bb142]] ; CHECK: %[[#bb142]] = OpLabel ; CHECK: OpBranch %[[#bb139]] ; CHECK: %[[#bb138]] = OpLabel ; CHECK: OpBranch %[[#bb110]] ; CHECK: %[[#bb110]] = OpLabel ; CHECK: OpBranch %[[#bb107]] ; CHECK: %[[#bb106]] = OpLabel ; CHECK: OpBranch %[[#bb100]] ; CHECK: %[[#bb100]] = OpLabel ; CHECK: OpBranch %[[#bb97]] ; CHECK: %[[#bb96]] = OpLabel ; CHECK: OpBranch %[[#bb90]] ; CHECK: %[[#bb90]] = OpLabel ; CHECK: OpBranch %[[#bb87]] ; CHECK: OpFunctionEnd ; CHECK: %[[#func_main:]] = OpFunction %[[#void:]] DontInline %[[#]] ; CHECK: %[[#bb172:]] = OpLabel ; CHECK: OpReturn ; CHECK: OpFunctionEnd ; CHECK: %[[#func_main_1:]] = OpFunction %[[#void]] None %[[#]] ; CHECK: %[[#bb173:]] = OpLabel ; CHECK: OpReturn ; CHECK: OpFunctionEnd target datalayout = "e-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-G1" target triple = "spirv-unknown-vulkan1.3-compute" ; Function Attrs: convergent noinline norecurse nounwind optnone define spir_func noundef i32 @_Z7processv() #0 { entry: %0 = call token @llvm.experimental.convergence.entry() %a = alloca i32, align 4 %b = alloca i32, align 4 %val = alloca i32, align 4 %i = alloca i32, align 4 %i2 = alloca i32, align 4 %i11 = alloca i32, align 4 %i26 = alloca i32, align 4 %x = alloca i32, align 4 %y = alloca i32, align 4 %i35 = alloca i32, align 4 store i32 0, ptr %a, align 4 store i32 1, ptr %b, align 4 store i32 0, ptr %val, align 4 store i32 0, ptr %i, align 4 br label %for.cond for.cond: ; preds = %for.inc, %entry %1 = call token @llvm.experimental.convergence.loop() [ "convergencectrl"(token %0) ] %2 = load i32, ptr %a, align 4 %tobool = icmp ne i32 %2, 0 br i1 %tobool, label %land.rhs, label %land.end land.rhs: ; preds = %for.cond %3 = load i32, ptr %b, align 4 %tobool1 = icmp ne i32 %3, 0 br label %land.end land.end: ; preds = %land.rhs, %for.cond %4 = phi i1 [ false, %for.cond ], [ %tobool1, %land.rhs ] br i1 %4, label %for.body, label %for.end for.body: ; preds = %land.end %5 = load i32, ptr %val, align 4 %add = add nsw i32 %5, 1 store i32 %add, ptr %val, align 4 br label %for.inc for.inc: ; preds = %for.body %6 = load i32, ptr %i, align 4 %inc = add nsw i32 %6, 1 store i32 %inc, ptr %i, align 4 br label %for.cond for.end: ; preds = %land.end store i32 0, ptr %i2, align 4 br label %for.cond3 for.cond3: ; preds = %for.inc8, %for.end %7 = call token @llvm.experimental.convergence.loop() [ "convergencectrl"(token %0) ] %8 = load i32, ptr %a, align 4 %tobool4 = icmp ne i32 %8, 0 br i1 %tobool4, label %lor.end, label %lor.rhs lor.rhs: ; preds = %for.cond3 %9 = load i32, ptr %b, align 4 %tobool5 = icmp ne i32 %9, 0 br label %lor.end lor.end: ; preds = %lor.rhs, %for.cond3 %10 = phi i1 [ true, %for.cond3 ], [ %tobool5, %lor.rhs ] br i1 %10, label %for.body6, label %for.end10 for.body6: ; preds = %lor.end %11 = load i32, ptr %val, align 4 %add7 = add nsw i32 %11, 1 store i32 %add7, ptr %val, align 4 store i32 0, ptr %b, align 4 br label %for.inc8 for.inc8: ; preds = %for.body6 %12 = load i32, ptr %i2, align 4 %inc9 = add nsw i32 %12, 1 store i32 %inc9, ptr %i2, align 4 br label %for.cond3 for.end10: ; preds = %lor.end store i32 1, ptr %b, align 4 store i32 0, ptr %i11, align 4 br label %for.cond12 for.cond12: ; preds = %for.inc23, %for.end10 %13 = call token @llvm.experimental.convergence.loop() [ "convergencectrl"(token %0) ] %14 = load i32, ptr %a, align 4 %tobool13 = icmp ne i32 %14, 0 br i1 %tobool13, label %land.rhs14, label %land.end20 land.rhs14: ; preds = %for.cond12 %15 = load i32, ptr %a, align 4 %tobool15 = icmp ne i32 %15, 0 br i1 %tobool15, label %land.rhs17, label %lor.lhs.false lor.lhs.false: ; preds = %land.rhs14 %16 = load i32, ptr %b, align 4 %tobool16 = icmp ne i32 %16, 0 br i1 %tobool16, label %land.rhs17, label %land.end19 land.rhs17: ; preds = %lor.lhs.false, %land.rhs14 %17 = load i32, ptr %b, align 4 %tobool18 = icmp ne i32 %17, 0 br label %land.end19 land.end19: ; preds = %land.rhs17, %lor.lhs.false %18 = phi i1 [ false, %lor.lhs.false ], [ %tobool18, %land.rhs17 ] br label %land.end20 land.end20: ; preds = %land.end19, %for.cond12 %19 = phi i1 [ false, %for.cond12 ], [ %18, %land.end19 ] br i1 %19, label %for.body21, label %for.end25 for.body21: ; preds = %land.end20 %20 = load i32, ptr %val, align 4 %add22 = add nsw i32 %20, 4 store i32 %add22, ptr %val, align 4 store i32 0, ptr %b, align 4 br label %for.inc23 for.inc23: ; preds = %for.body21 %21 = load i32, ptr %i11, align 4 %inc24 = add nsw i32 %21, 1 store i32 %inc24, ptr %i11, align 4 br label %for.cond12 for.end25: ; preds = %land.end20 store i32 1, ptr %b, align 4 store i32 0, ptr %i26, align 4 br label %for.cond27 for.cond27: ; preds = %for.inc32, %for.end25 %22 = call token @llvm.experimental.convergence.loop() [ "convergencectrl"(token %0) ] %23 = load i32, ptr %a, align 4 %tobool28 = icmp ne i32 %23, 0 br i1 %tobool28, label %cond.true, label %cond.false cond.true: ; preds = %for.cond27 %24 = load i32, ptr %a, align 4 br label %cond.end cond.false: ; preds = %for.cond27 %25 = load i32, ptr %b, align 4 br label %cond.end cond.end: ; preds = %cond.false, %cond.true %cond = phi i32 [ %24, %cond.true ], [ %25, %cond.false ] %tobool29 = icmp ne i32 %cond, 0 br i1 %tobool29, label %for.body30, label %for.end34 for.body30: ; preds = %cond.end %26 = load i32, ptr %val, align 4 %add31 = add nsw i32 %26, 8 store i32 %add31, ptr %val, align 4 store i32 0, ptr %b, align 4 br label %for.inc32 for.inc32: ; preds = %for.body30 %27 = load i32, ptr %i26, align 4 %inc33 = add nsw i32 %27, 1 store i32 %inc33, ptr %i26, align 4 br label %for.cond27 for.end34: ; preds = %cond.end store i32 0, ptr %x, align 4 store i32 0, ptr %y, align 4 store i32 0, ptr %i35, align 4 br label %for.cond36 for.cond36: ; preds = %for.inc45, %for.end34 %28 = call token @llvm.experimental.convergence.loop() [ "convergencectrl"(token %0) ] %29 = load i32, ptr %x, align 4 %30 = load i32, ptr %x, align 4 %tobool37 = icmp ne i32 %30, 0 br i1 %tobool37, label %land.rhs38, label %land.end40 land.rhs38: ; preds = %for.cond36 %31 = load i32, ptr %y, align 4 %tobool39 = icmp ne i32 %31, 0 br label %land.end40 land.end40: ; preds = %land.rhs38, %for.cond36 %32 = phi i1 [ false, %for.cond36 ], [ %tobool39, %land.rhs38 ] %conv = zext i1 %32 to i32 %add41 = add nsw i32 %29, %conv %tobool42 = icmp ne i32 %add41, 0 br i1 %tobool42, label %for.body43, label %for.end47 for.body43: ; preds = %land.end40 %33 = load i32, ptr %val, align 4 %add44 = add nsw i32 %33, 16 store i32 %add44, ptr %val, align 4 br label %for.inc45 for.inc45: ; preds = %for.body43 %34 = load i32, ptr %i35, align 4 %inc46 = add nsw i32 %34, 1 store i32 %inc46, ptr %i35, align 4 br label %for.cond36 for.end47: ; preds = %land.end40 %35 = load i32, ptr %val, align 4 ret i32 %35 } ; Function Attrs: convergent nocallback nofree nosync nounwind willreturn memory(none) declare token @llvm.experimental.convergence.entry() #1 ; Function Attrs: convergent nocallback nofree nosync nounwind willreturn memory(none) declare token @llvm.experimental.convergence.loop() #1 ; Function Attrs: convergent noinline norecurse nounwind optnone define internal spir_func void @main() #0 { entry: %0 = call token @llvm.experimental.convergence.entry() %call1 = call spir_func noundef i32 @_Z7processv() #3 [ "convergencectrl"(token %0) ] ret void } ; Function Attrs: convergent norecurse define void @main.1() #2 { entry: call void @main() ret void } attributes #0 = { convergent noinline norecurse nounwind optnone "frame-pointer"="all" "no-trapping-math"="true" "stack-protector-buffer-size"="8" } attributes #1 = { convergent nocallback nofree nosync nounwind willreturn memory(none) } attributes #2 = { convergent norecurse "frame-pointer"="all" "hlsl.numthreads"="1,1,1" "hlsl.shader"="compute" "no-trapping-math"="true" "stack-protector-buffer-size"="8" } attributes #3 = { convergent } !llvm.module.flags = !{!0, !1, !2} !0 = !{i32 1, !"wchar_size", i32 4} !1 = !{i32 4, !"dx.disable_optimizations", i32 1} !2 = !{i32 7, !"frame-pointer", i32 2}