214 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; TODO: This test currently fails with LLVM_ENABLE_EXPENSIVE_CHECKS enabled5; XFAIL: expensive_checks6 7; static int foo() { return 200; }8;9; static int process() {10; int a = 0;11; int b = 0;12; int c = 0;13; const int r = 20;14; const int s = 40;15; const int t = 3*r+2*s;16;17; switch(int d = 5) {18; case 1:19; b += 1;20; c += foo();21; case 2:22; b += 2;23; break;24; case 3:25; {26; b += 3;27; break;28; }29; case t:30; b += t;31; case 4:32; case 5:33; b += 5;34; break;35; case 6: {36; case 7:37; break;}38; default:39; break;40; }41;42; return a + b + c;43; }44;45; [numthreads(1, 1, 1)]46; void main() {47; process();48; }49 50; CHECK: %[[#func:]] = OpFunction %[[#]] DontInline %[[#]]51; CHECK: %[[#bb30:]] = OpLabel52; CHECK: OpSelectionMerge %[[#bb31:]] None53; CHECK: OpBranchConditional %[[#]] %[[#bb32:]] %[[#bb33:]]54 55; CHECK: %[[#bb33]] = OpLabel56; CHECK: OpUnreachable57 58; CHECK: %[[#bb32]] = OpLabel59; CHECK: OpSelectionMerge %[[#bb34:]] None60; CHECK: OpBranchConditional %[[#]] %[[#bb35:]] %[[#bb36:]]61 62; CHECK: %[[#bb36]] = OpLabel63; CHECK: OpUnreachable64 65; CHECK: %[[#bb35]] = OpLabel66; CHECK: OpSelectionMerge %[[#bb37:]] None67; CHECK: OpBranchConditional %[[#]] %[[#bb38:]] %[[#bb39:]]68 69; CHECK: %[[#bb39]] = OpLabel70; CHECK: OpUnreachable71 72; CHECK: %[[#bb38]] = OpLabel73; CHECK: OpSelectionMerge %[[#bb40:]] None74; CHECK: OpSwitch %[[#]] %[[#bb41:]] 1 %[[#bb42:]] 2 %[[#bb43:]] 3 %[[#bb44:]] 140 %[[#bb45:]] 4 %[[#bb46:]] 5 %[[#bb47:]] 6 %[[#bb48:]] 7 %[[#bb49:]]75 76; CHECK: %[[#bb49]] = OpLabel77; CHECK: OpBranch %[[#bb40]]78; CHECK: %[[#bb48]] = OpLabel79; CHECK: OpBranch %[[#bb40]]80; CHECK: %[[#bb47]] = OpLabel81; CHECK: OpBranch %[[#bb40]]82; CHECK: %[[#bb46]] = OpLabel83; CHECK: OpBranch %[[#bb40]]84; CHECK: %[[#bb45]] = OpLabel85; CHECK: OpBranch %[[#bb40]]86; CHECK: %[[#bb44]] = OpLabel87; CHECK: OpBranch %[[#bb40]]88; CHECK: %[[#bb43]] = OpLabel89; CHECK: OpBranch %[[#bb40]]90; CHECK: %[[#bb42]] = OpLabel91; CHECK: OpBranch %[[#bb40]]92; CHECK: %[[#bb41]] = OpLabel93; CHECK: OpBranch %[[#bb40]]94 95; CHECK: %[[#bb40]] = OpLabel96; CHECK: OpSelectionMerge %[[#bb50:]] None97; CHECK: OpSwitch %[[#]] %[[#bb50]] 1 %[[#bb51:]] 2 %[[#bb52:]] 3 %[[#bb53:]]98; CHECK: %[[#bb53]] = OpLabel99; CHECK: OpBranch %[[#bb50]]100; CHECK: %[[#bb52]] = OpLabel101; CHECK: OpBranch %[[#bb50]]102; CHECK: %[[#bb51]] = OpLabel103; CHECK: OpBranch %[[#bb50]]104; CHECK: %[[#bb50]] = OpLabel105; CHECK: OpBranch %[[#bb37]]106 107; CHECK: %[[#bb37]] = OpLabel108; CHECK: OpSelectionMerge %[[#bb54:]] None109; CHECK: OpSwitch %[[#]] %[[#bb54]] 1 %[[#bb55:]] 2 %[[#bb56:]]110; CHECK: %[[#bb56]] = OpLabel111; CHECK: OpBranch %[[#bb54]]112; CHECK: %[[#bb55]] = OpLabel113; CHECK: OpBranch %[[#bb54]]114; CHECK: %[[#bb54]] = OpLabel115; CHECK: OpBranch %[[#bb34]]116 117; CHECK: %[[#bb34]] = OpLabel118; CHECK: OpBranch %[[#bb31]]119 120; CHECK: %[[#bb31]] = OpLabel121; CHECK: OpReturn122; CHECK: OpFunctionEnd123 124 125 126target datalayout = "e-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-G1"127target triple = "spirv-unknown-vulkan1.3-compute"128 129; Function Attrs: convergent noinline norecurse130define void @main() #0 {131entry:132 %a.i = alloca i32, align 4133 %b.i = alloca i32, align 4134 %c.i = alloca i32, align 4135 %r.i = alloca i32, align 4136 %s.i = alloca i32, align 4137 %t.i = alloca i32, align 4138 %d.i = alloca i32, align 4139 %0 = call token @llvm.experimental.convergence.entry()140 store i32 0, ptr %a.i, align 4141 store i32 0, ptr %b.i, align 4142 store i32 0, ptr %c.i, align 4143 store i32 20, ptr %r.i, align 4144 store i32 40, ptr %s.i, align 4145 store i32 140, ptr %t.i, align 4146 store i32 5, ptr %d.i, align 4147 %1 = load i32, ptr %d.i, align 4148 switch i32 %1, label %sw.default.i [149 i32 1, label %sw.bb.i150 i32 2, label %sw.bb3.i151 i32 3, label %sw.bb5.i152 i32 140, label %sw.bb7.i153 i32 4, label %sw.bb9.i154 i32 5, label %sw.bb9.i155 i32 6, label %sw.bb11.i156 i32 7, label %sw.bb12.i157 ]158 159sw.bb.i:160 %2 = load i32, ptr %b.i, align 4161 %add.i = add nsw i32 %2, 1162 store i32 %add.i, ptr %b.i, align 4163 %3 = load i32, ptr %c.i, align 4164 %add2.i = add nsw i32 %3, 200165 store i32 %add2.i, ptr %c.i, align 4166 br label %sw.bb3.i167 168sw.bb3.i:169 %4 = load i32, ptr %b.i, align 4170 %add4.i = add nsw i32 %4, 2171 store i32 %add4.i, ptr %b.i, align 4172 br label %_ZL7processv.exit173 174sw.bb5.i:175 %5 = load i32, ptr %b.i, align 4176 %add6.i = add nsw i32 %5, 3177 store i32 %add6.i, ptr %b.i, align 4178 br label %_ZL7processv.exit179 180sw.bb7.i:181 %6 = load i32, ptr %b.i, align 4182 %add8.i = add nsw i32 %6, 140183 store i32 %add8.i, ptr %b.i, align 4184 br label %sw.bb9.i185 186sw.bb9.i:187 %7 = load i32, ptr %b.i, align 4188 %add10.i = add nsw i32 %7, 5189 store i32 %add10.i, ptr %b.i, align 4190 br label %_ZL7processv.exit191 192sw.bb11.i:193 br label %sw.bb12.i194 195sw.bb12.i:196 br label %_ZL7processv.exit197 198sw.default.i:199 br label %_ZL7processv.exit200 201_ZL7processv.exit:202 %8 = load i32, ptr %a.i, align 4203 %9 = load i32, ptr %b.i, align 4204 %add13.i = add nsw i32 %8, %9205 %10 = load i32, ptr %c.i, align 4206 %add14.i = add nsw i32 %add13.i, %10207 ret void208}209 210declare token @llvm.experimental.convergence.entry() #1211 212attributes #0 = { convergent noinline norecurse "frame-pointer"="all" "hlsl.numthreads"="1,1,1" "hlsl.shader"="compute" "no-trapping-math"="true" "stack-protector-buffer-size"="8" }213attributes #1 = { convergent nocallback nofree nosync nounwind willreturn memory(none) }214