1*1ed65febSNathan Gauër; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv-unknown-vulkan-compute %s -o - -filetype=obj | spirv-val %} 2*1ed65febSNathan Gauër; RUN: llc -mtriple=spirv-unknown-vulkan-compute -O0 %s -o - | FileCheck %s --match-full-lines 3*1ed65febSNathan Gauër 4*1ed65febSNathan Gauërtarget datalayout = "e-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-G1" 5*1ed65febSNathan Gauërtarget triple = "spirv-unknown-vulkan1.3-compute" 6*1ed65febSNathan Gauër 7*1ed65febSNathan Gauërdefine internal spir_func void @main() #1 { 8*1ed65febSNathan Gauër; CHECK: %[[#entry:]] = OpLabel 9*1ed65febSNathan Gauër; CHECK: OpBranch %[[#do_body:]] 10*1ed65febSNathan Gauërentry: 11*1ed65febSNathan Gauër %0 = call token @llvm.experimental.convergence.entry() 12*1ed65febSNathan Gauër %val = alloca i32, align 4 13*1ed65febSNathan Gauër %i = alloca i32, align 4 14*1ed65febSNathan Gauër store i32 0, ptr %val, align 4 15*1ed65febSNathan Gauër store i32 0, ptr %i, align 4 16*1ed65febSNathan Gauër br label %do.body 17*1ed65febSNathan Gauër 18*1ed65febSNathan Gauër; CHECK: %[[#do_body]] = OpLabel 19*1ed65febSNathan Gauër; CHECK: OpSelectionMerge %[[#do_end:]] None 20*1ed65febSNathan Gauër; CHECK: OpBranchConditional %[[#cond:]] %[[#do_end]] %[[#if_end:]] 21*1ed65febSNathan Gauërdo.body: 22*1ed65febSNathan Gauër %1 = call token @llvm.experimental.convergence.loop() [ "convergencectrl"(token %0) ] 23*1ed65febSNathan Gauër %2 = load i32, ptr %i, align 4 24*1ed65febSNathan Gauër %inc = add nsw i32 %2, 1 25*1ed65febSNathan Gauër store i32 %inc, ptr %i, align 4 26*1ed65febSNathan Gauër %3 = load i32, ptr %i, align 4 27*1ed65febSNathan Gauër %cmp = icmp sgt i32 %3, 5 28*1ed65febSNathan Gauër br i1 %cmp, label %if.then, label %if.end 29*1ed65febSNathan Gauër 30*1ed65febSNathan Gauër; CHECK: %[[#if_end]] = OpLabel 31*1ed65febSNathan Gauër; CHECK: OpBranch %[[#do_end]] 32*1ed65febSNathan Gauërif.end: 33*1ed65febSNathan Gauër %4 = load i32, ptr %i, align 4 34*1ed65febSNathan Gauër store i32 %4, ptr %val, align 4 35*1ed65febSNathan Gauër br label %do.end 36*1ed65febSNathan Gauër 37*1ed65febSNathan Gauër; Block is removed. 38*1ed65febSNathan Gauërif.then: 39*1ed65febSNathan Gauër br label %do.end 40*1ed65febSNathan Gauër 41*1ed65febSNathan Gauër; CHECK: %[[#do_end]] = OpLabel 42*1ed65febSNathan Gauër; CHECK: OpBranch %[[#do_body2:]] 43*1ed65febSNathan Gauërdo.end: 44*1ed65febSNathan Gauër br label %do.body2 45*1ed65febSNathan Gauër 46*1ed65febSNathan Gauër; CHECK: %[[#do_body2]] = OpLabel 47*1ed65febSNathan Gauër; CHECK: OpBranch %[[#do_body4:]] 48*1ed65febSNathan Gauërdo.body2: 49*1ed65febSNathan Gauër %6 = call token @llvm.experimental.convergence.loop() [ "convergencectrl"(token %0) ] 50*1ed65febSNathan Gauër %7 = load i32, ptr %i, align 4 51*1ed65febSNathan Gauër %inc3 = add nsw i32 %7, 1 52*1ed65febSNathan Gauër store i32 %inc3, ptr %i, align 4 53*1ed65febSNathan Gauër br label %do.body4 54*1ed65febSNathan Gauër 55*1ed65febSNathan Gauër; CHECK: %[[#do_body4]] = OpLabel 56*1ed65febSNathan Gauër; CHECK: OpBranch %[[#do_end8:]] 57*1ed65febSNathan Gauërdo.body4: 58*1ed65febSNathan Gauër %8 = call token @llvm.experimental.convergence.loop() [ "convergencectrl"(token %6) ] 59*1ed65febSNathan Gauër %9 = load i32, ptr %val, align 4 60*1ed65febSNathan Gauër %inc5 = add nsw i32 %9, 1 61*1ed65febSNathan Gauër store i32 %inc5, ptr %val, align 4 62*1ed65febSNathan Gauër br label %do.end8 63*1ed65febSNathan Gauër 64*1ed65febSNathan Gauër; CHECK: %[[#do_end8]] = OpLabel 65*1ed65febSNathan Gauër; CHECK: OpBranch %[[#do_end11:]] 66*1ed65febSNathan Gauërdo.end8: 67*1ed65febSNathan Gauër %11 = load i32, ptr %i, align 4 68*1ed65febSNathan Gauër %dec = add nsw i32 %11, -1 69*1ed65febSNathan Gauër store i32 %dec, ptr %i, align 4 70*1ed65febSNathan Gauër br label %do.end11 71*1ed65febSNathan Gauër 72*1ed65febSNathan Gauër; CHECK: %[[#do_end11]] = OpLabel 73*1ed65febSNathan Gauër; CHECK: OpReturn 74*1ed65febSNathan Gauërdo.end11: 75*1ed65febSNathan Gauër ret void 76*1ed65febSNathan Gauër 77*1ed65febSNathan Gauër} 78*1ed65febSNathan Gauër 79*1ed65febSNathan Gauër 80*1ed65febSNathan Gauërdeclare token @llvm.experimental.convergence.entry() #0 81*1ed65febSNathan Gauërdeclare token @llvm.experimental.convergence.loop() #0 82*1ed65febSNathan Gauër 83*1ed65febSNathan Gauërattributes #0 = { convergent nocallback nofree nosync nounwind willreturn memory(none) } 84*1ed65febSNathan Gauërattributes #1 = { convergent noinline norecurse nounwind optnone "frame-pointer"="all" "no-trapping-math"="true" "stack-protector-buffer-size"="8" } 85*1ed65febSNathan Gauër 86*1ed65febSNathan Gauër!llvm.module.flags = !{!0, !1} 87*1ed65febSNathan Gauër 88*1ed65febSNathan Gauër!0 = !{i32 1, !"wchar_size", i32 4} 89*1ed65febSNathan Gauër!1 = !{i32 4, !"dx.disable_optimizations", i32 1} 90