166 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 foo() { return 200; }6;7; [numthreads(1, 1, 1)]8; void main() {9; int result;10;11; int a = 0;12; switch(a) {13; case -3:14; result = -300;15; break;16; case 0:17; result = 0;18; break;19; case 1:20; result = 100;21; break;22; case 2:23; result = foo();24; break;25; default:26; result = 777;27; break;28; }29;30; switch(int c = a) {31; case -4:32; result = -400;33; break;34; case 4:35; result = 400;36; break;37; }38; }39 40; CHECK: %[[#func_14:]] = OpFunction %[[#uint:]] DontInline %[[#]]41; CHECK: %[[#bb25:]] = OpLabel42; CHECK: OpReturnValue %[[#]]43; CHECK: OpFunctionEnd44; CHECK: %[[#func_15:]] = OpFunction %[[#void:]] DontInline %[[#]]45; CHECK: %[[#bb26:]] = OpLabel46; CHECK: OpSelectionMerge %[[#bb27:]] None47; CHECK: OpSwitch %[[#]] %[[#bb28:]] 4294967293 %[[#bb29:]] 0 %[[#bb30:]] 1 %[[#bb31:]] 2 %[[#bb32:]]48; CHECK: %[[#bb28:]] = OpLabel49; CHECK: OpBranch %[[#bb27:]]50; CHECK: %[[#bb29:]] = OpLabel51; CHECK: OpBranch %[[#bb27:]]52; CHECK: %[[#bb30:]] = OpLabel53; CHECK: OpBranch %[[#bb27:]]54; CHECK: %[[#bb31:]] = OpLabel55; CHECK: OpBranch %[[#bb27:]]56; CHECK: %[[#bb32:]] = OpLabel57; CHECK: OpBranch %[[#bb27:]]58; CHECK: %[[#bb27:]] = OpLabel59; CHECK: OpSelectionMerge %[[#bb33:]] None60; CHECK: OpSwitch %[[#]] %[[#bb33:]] 4294967292 %[[#bb34:]] 4 %[[#bb35:]]61; CHECK: %[[#bb34:]] = OpLabel62; CHECK: OpBranch %[[#bb33:]]63; CHECK: %[[#bb35:]] = OpLabel64; CHECK: OpBranch %[[#bb33:]]65; CHECK: %[[#bb33:]] = OpLabel66; CHECK: OpReturn67; CHECK: OpFunctionEnd68; CHECK: %[[#func_23:]] = OpFunction %[[#void:]] None %[[#]]69; CHECK: %[[#bb36:]] = OpLabel70; CHECK: OpReturn71; CHECK: OpFunctionEnd72 73 74 75target datalayout = "e-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-G1"76target triple = "spirv-unknown-vulkan1.3-compute"77 78; Function Attrs: convergent noinline norecurse nounwind optnone79define spir_func noundef i32 @_Z3foov() #0 {80entry:81 %0 = call token @llvm.experimental.convergence.entry()82 ret i32 20083}84 85; Function Attrs: convergent nocallback nofree nosync nounwind willreturn memory(none)86declare token @llvm.experimental.convergence.entry() #187 88; Function Attrs: convergent noinline norecurse nounwind optnone89define internal spir_func void @main() #0 {90entry:91 %0 = call token @llvm.experimental.convergence.entry()92 %result = alloca i32, align 493 %a = alloca i32, align 494 %c = alloca i32, align 495 store i32 0, ptr %a, align 496 %1 = load i32, ptr %a, align 497 switch i32 %1, label %sw.default [98 i32 -3, label %sw.bb99 i32 0, label %sw.bb1100 i32 1, label %sw.bb2101 i32 2, label %sw.bb3102 ]103 104sw.bb: ; preds = %entry105 store i32 -300, ptr %result, align 4106 br label %sw.epilog107 108sw.bb1: ; preds = %entry109 store i32 0, ptr %result, align 4110 br label %sw.epilog111 112sw.bb2: ; preds = %entry113 store i32 100, ptr %result, align 4114 br label %sw.epilog115 116sw.bb3: ; preds = %entry117 %call4 = call spir_func noundef i32 @_Z3foov() #3 [ "convergencectrl"(token %0) ]118 store i32 %call4, ptr %result, align 4119 br label %sw.epilog120 121sw.default: ; preds = %entry122 store i32 777, ptr %result, align 4123 br label %sw.epilog124 125sw.epilog: ; preds = %sw.default, %sw.bb3, %sw.bb2, %sw.bb1, %sw.bb126 %2 = load i32, ptr %a, align 4127 store i32 %2, ptr %c, align 4128 %3 = load i32, ptr %c, align 4129 switch i32 %3, label %sw.epilog7 [130 i32 -4, label %sw.bb5131 i32 4, label %sw.bb6132 ]133 134sw.bb5: ; preds = %sw.epilog135 store i32 -400, ptr %result, align 4136 br label %sw.epilog7137 138sw.bb6: ; preds = %sw.epilog139 store i32 400, ptr %result, align 4140 br label %sw.epilog7141 142sw.epilog7: ; preds = %sw.epilog, %sw.bb6, %sw.bb5143 ret void144}145 146; Function Attrs: convergent norecurse147define void @main.1() #2 {148entry:149 call void @main()150 ret void151}152 153attributes #0 = { convergent noinline norecurse nounwind optnone "frame-pointer"="all" "no-trapping-math"="true" "stack-protector-buffer-size"="8" }154attributes #1 = { convergent nocallback nofree nosync nounwind willreturn memory(none) }155attributes #2 = { convergent norecurse "frame-pointer"="all" "hlsl.numthreads"="1,1,1" "hlsl.shader"="compute" "no-trapping-math"="true" "stack-protector-buffer-size"="8" }156attributes #3 = { convergent }157 158!llvm.module.flags = !{!0, !1, !2}159 160 161!0 = !{i32 1, !"wchar_size", i32 4}162!1 = !{i32 4, !"dx.disable_optimizations", i32 1}163!2 = !{i32 7, !"frame-pointer", i32 2}164 165 166