293 lines · plain
1; RUN: llc -mtriple=spirv-unknown-vulkan-compute -O0 %s -o - | FileCheck %s2; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv-unknown-vulkan-compute %s -o - -filetype=obj | spirv-val %}3 4;5; int process() {6; int color = 0;7;8; int val = 0;9;10; if (color < 0) {11; val = 1;12; }13;14; // for-stmt following if-stmt15; for (int i = 0; i < 10; ++i) {16; if (color < 0) { // if-stmt nested in for-stmt17; val = val + 1;18; for (int j = 0; j < 15; ++j) { // for-stmt deeply nested in if-then19; val = val * 2;20; } // end for (int j21; val = val + 3;22; }23;24; if (color < 1) { // if-stmt following if-stmt25; val = val * 4;26; } else {27; for (int k = 0; k < 20; ++k) { // for-stmt deeply nested in if-else28; val = val - 5;29; if (val < 0) { // deeply nested if-stmt30; val = val + 100;31; }32; } // end for (int k33; } // end elsek34; } // end for (int i35;36; // if-stmt following for-stmt37; if (color < 2) {38; val = val + 6;39; }40;41; return val;42; }43;44; [numthreads(1, 1, 1)]45; void main() {46; process();47; }48 49; CHECK: %[[#func_18:]] = OpFunction %[[#uint:]] DontInline %[[#]]50; CHECK: %[[#bb65:]] = OpLabel51; CHECK: OpSelectionMerge %[[#bb66:]] None52; CHECK: OpBranchConditional %[[#]] %[[#bb67:]] %[[#bb66]]53; CHECK: %[[#bb67]] = OpLabel54; CHECK: OpBranch %[[#bb66]]55; CHECK: %[[#bb66]] = OpLabel56; CHECK: OpBranch %[[#bb68:]]57; CHECK: %[[#bb68]] = OpLabel58; CHECK: OpLoopMerge %[[#bb69:]] %[[#bb70:]] None59; CHECK: OpBranchConditional %[[#]] %[[#bb71:]] %[[#bb69]]60; CHECK: %[[#bb69]] = OpLabel61; CHECK: OpSelectionMerge %[[#bb72:]] None62; CHECK: OpBranchConditional %[[#]] %[[#bb73:]] %[[#bb72]]63; CHECK: %[[#bb73]] = OpLabel64; CHECK: OpBranch %[[#bb72]]65; CHECK: %[[#bb72]] = OpLabel66; CHECK: OpReturnValue %[[#]]67; CHECK: %[[#bb71]] = OpLabel68; CHECK: OpSelectionMerge %[[#bb74:]] None69; CHECK: OpBranchConditional %[[#]] %[[#bb75:]] %[[#bb74]]70; CHECK: %[[#bb75]] = OpLabel71; CHECK: OpBranch %[[#bb76:]]72; CHECK: %[[#bb76]] = OpLabel73; CHECK: OpLoopMerge %[[#bb77:]] %[[#bb78:]] None74; CHECK: OpBranchConditional %[[#]] %[[#bb79:]] %[[#bb77]]75; CHECK: %[[#bb77]] = OpLabel76; CHECK: OpBranch %[[#bb74]]77; CHECK: %[[#bb74]] = OpLabel78; CHECK: OpSelectionMerge %[[#bb80:]] None79; CHECK: OpBranchConditional %[[#]] %[[#bb81:]] %[[#bb82:]]80; CHECK: %[[#bb82]] = OpLabel81; CHECK: OpBranch %[[#bb83:]]82; CHECK: %[[#bb83]] = OpLabel83; CHECK: OpLoopMerge %[[#bb84:]] %[[#bb85:]] None84; CHECK: OpBranchConditional %[[#]] %[[#bb86:]] %[[#bb84]]85; CHECK: %[[#bb84]] = OpLabel86; CHECK: OpBranch %[[#bb80]]87; CHECK: %[[#bb86]] = OpLabel88; CHECK: OpSelectionMerge %[[#bb87:]] None89; CHECK: OpBranchConditional %[[#]] %[[#bb88:]] %[[#bb87]]90; CHECK: %[[#bb88]] = OpLabel91; CHECK: OpBranch %[[#bb87]]92; CHECK: %[[#bb87]] = OpLabel93; CHECK: OpBranch %[[#bb85]]94; CHECK: %[[#bb85]] = OpLabel95; CHECK: OpBranch %[[#bb83]]96; CHECK: %[[#bb81]] = OpLabel97; CHECK: OpBranch %[[#bb80]]98; CHECK: %[[#bb80]] = OpLabel99; CHECK: OpBranch %[[#bb70]]100; CHECK: %[[#bb70]] = OpLabel101; CHECK: OpBranch %[[#bb68]]102; CHECK: %[[#bb79]] = OpLabel103; CHECK: OpBranch %[[#bb78]]104; CHECK: %[[#bb78]] = OpLabel105; CHECK: OpBranch %[[#bb76]]106; CHECK: OpFunctionEnd107 108; CHECK: %[[#func_61:]] = OpFunction %[[#void:]] DontInline %[[#]]109; CHECK: %[[#bb89:]] = OpLabel110; CHECK: OpReturn111; CHECK: OpFunctionEnd112 113; CHECK: %[[#func_63:]] = OpFunction %[[#void]] None %[[#]]114; CHECK: %[[#bb90:]] = OpLabel115; CHECK: OpReturn116; CHECK: OpFunctionEnd117 118 119target datalayout = "e-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-G1"120target triple = "spirv-unknown-vulkan1.3-compute"121 122; Function Attrs: convergent noinline norecurse nounwind optnone123define spir_func noundef i32 @_Z7processv() #0 {124entry:125 %0 = call token @llvm.experimental.convergence.entry()126 %color = alloca i32, align 4127 %val = alloca i32, align 4128 %i = alloca i32, align 4129 %j = alloca i32, align 4130 %k = alloca i32, align 4131 store i32 0, ptr %color, align 4132 store i32 0, ptr %val, align 4133 %1 = load i32, ptr %color, align 4134 %cmp = icmp slt i32 %1, 0135 br i1 %cmp, label %if.then, label %if.end136 137if.then: ; preds = %entry138 store i32 1, ptr %val, align 4139 br label %if.end140 141if.end: ; preds = %if.then, %entry142 store i32 0, ptr %i, align 4143 br label %for.cond144 145for.cond: ; preds = %for.inc23, %if.end146 %2 = call token @llvm.experimental.convergence.loop() [ "convergencectrl"(token %0) ]147 %3 = load i32, ptr %i, align 4148 %cmp1 = icmp slt i32 %3, 10149 br i1 %cmp1, label %for.body, label %for.end25150 151for.body: ; preds = %for.cond152 %4 = load i32, ptr %color, align 4153 %cmp2 = icmp slt i32 %4, 0154 br i1 %cmp2, label %if.then3, label %if.end8155 156if.then3: ; preds = %for.body157 %5 = load i32, ptr %val, align 4158 %add = add nsw i32 %5, 1159 store i32 %add, ptr %val, align 4160 store i32 0, ptr %j, align 4161 br label %for.cond4162 163for.cond4: ; preds = %for.inc, %if.then3164 %6 = call token @llvm.experimental.convergence.loop() [ "convergencectrl"(token %2) ]165 %7 = load i32, ptr %j, align 4166 %cmp5 = icmp slt i32 %7, 15167 br i1 %cmp5, label %for.body6, label %for.end168 169for.body6: ; preds = %for.cond4170 %8 = load i32, ptr %val, align 4171 %mul = mul nsw i32 %8, 2172 store i32 %mul, ptr %val, align 4173 br label %for.inc174 175for.inc: ; preds = %for.body6176 %9 = load i32, ptr %j, align 4177 %inc = add nsw i32 %9, 1178 store i32 %inc, ptr %j, align 4179 br label %for.cond4180 181for.end: ; preds = %for.cond4182 %10 = load i32, ptr %val, align 4183 %add7 = add nsw i32 %10, 3184 store i32 %add7, ptr %val, align 4185 br label %if.end8186 187if.end8: ; preds = %for.end, %for.body188 %11 = load i32, ptr %color, align 4189 %cmp9 = icmp slt i32 %11, 1190 br i1 %cmp9, label %if.then10, label %if.else191 192if.then10: ; preds = %if.end8193 %12 = load i32, ptr %val, align 4194 %mul11 = mul nsw i32 %12, 4195 store i32 %mul11, ptr %val, align 4196 br label %if.end22197 198if.else: ; preds = %if.end8199 store i32 0, ptr %k, align 4200 br label %for.cond12201 202for.cond12: ; preds = %for.inc19, %if.else203 %13 = call token @llvm.experimental.convergence.loop() [ "convergencectrl"(token %2) ]204 %14 = load i32, ptr %k, align 4205 %cmp13 = icmp slt i32 %14, 20206 br i1 %cmp13, label %for.body14, label %for.end21207 208for.body14: ; preds = %for.cond12209 %15 = load i32, ptr %val, align 4210 %sub = sub nsw i32 %15, 5211 store i32 %sub, ptr %val, align 4212 %16 = load i32, ptr %val, align 4213 %cmp15 = icmp slt i32 %16, 0214 br i1 %cmp15, label %if.then16, label %if.end18215 216if.then16: ; preds = %for.body14217 %17 = load i32, ptr %val, align 4218 %add17 = add nsw i32 %17, 100219 store i32 %add17, ptr %val, align 4220 br label %if.end18221 222if.end18: ; preds = %if.then16, %for.body14223 br label %for.inc19224 225for.inc19: ; preds = %if.end18226 %18 = load i32, ptr %k, align 4227 %inc20 = add nsw i32 %18, 1228 store i32 %inc20, ptr %k, align 4229 br label %for.cond12230 231for.end21: ; preds = %for.cond12232 br label %if.end22233 234if.end22: ; preds = %for.end21, %if.then10235 br label %for.inc23236 237for.inc23: ; preds = %if.end22238 %19 = load i32, ptr %i, align 4239 %inc24 = add nsw i32 %19, 1240 store i32 %inc24, ptr %i, align 4241 br label %for.cond242 243for.end25: ; preds = %for.cond244 %20 = load i32, ptr %color, align 4245 %cmp26 = icmp slt i32 %20, 2246 br i1 %cmp26, label %if.then27, label %if.end29247 248if.then27: ; preds = %for.end25249 %21 = load i32, ptr %val, align 4250 %add28 = add nsw i32 %21, 6251 store i32 %add28, ptr %val, align 4252 br label %if.end29253 254if.end29: ; preds = %if.then27, %for.end25255 %22 = load i32, ptr %val, align 4256 ret i32 %22257}258 259; Function Attrs: convergent nocallback nofree nosync nounwind willreturn memory(none)260declare token @llvm.experimental.convergence.entry() #1261 262; Function Attrs: convergent nocallback nofree nosync nounwind willreturn memory(none)263declare token @llvm.experimental.convergence.loop() #1264 265; Function Attrs: convergent noinline norecurse nounwind optnone266define internal spir_func void @main() #0 {267entry:268 %0 = call token @llvm.experimental.convergence.entry()269 %call1 = call spir_func noundef i32 @_Z7processv() #3 [ "convergencectrl"(token %0) ]270 ret void271}272 273; Function Attrs: convergent norecurse274define void @main.1() #2 {275entry:276 call void @main()277 ret void278}279 280attributes #0 = { convergent noinline norecurse nounwind optnone "frame-pointer"="all" "no-trapping-math"="true" "stack-protector-buffer-size"="8" }281attributes #1 = { convergent nocallback nofree nosync nounwind willreturn memory(none) }282attributes #2 = { convergent norecurse "frame-pointer"="all" "hlsl.numthreads"="1,1,1" "hlsl.shader"="compute" "no-trapping-math"="true" "stack-protector-buffer-size"="8" }283attributes #3 = { convergent }284 285!llvm.module.flags = !{!0, !1, !2}286 287 288!0 = !{i32 1, !"wchar_size", i32 4}289!1 = !{i32 4, !"dx.disable_optimizations", i32 1}290!2 = !{i32 7, !"frame-pointer", i32 2}291 292 293