157 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 4target datalayout = "e-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024-G1"5target triple = "spirv-unknown-vulkan1.3-compute"6 7; CHECK-DAG: OpName %[[#process:]] "_Z7processv"8; CHECK-DAG: OpName %[[#fn:]] "_Z2fnv"9; CHECK-DAG: OpName %[[#fn1:]] "_Z3fn1v"10; CHECK-DAG: OpName %[[#fn2:]] "_Z3fn2v"11 12; CHECK-DAG: OpName %[[#r2m_a:]] ".reg2mem3"13; CHECK-DAG: OpName %[[#r2m_b:]] ".reg2mem1"14; CHECK-DAG: OpName %[[#r2m_c:]] ".reg2mem"15 16; CHECK-DAG: %[[#int_ty:]] = OpTypeInt 32 017 18; CHECK-DAG: %[[#int_0:]] = OpConstant %[[#]] 019; CHECK-DAG: %[[#int_1:]] = OpConstant %[[#]] 120; CHECK-DAG: %[[#true:]] = OpConstantTrue21; CHECK-DAG: %[[#false:]] = OpConstantFalse22 23declare token @llvm.experimental.convergence.entry() #124 25; CHECK: %[[#fn]] = OpFunction %[[#int_ty]]26define spir_func noundef i32 @_Z2fnv() #0 {27entry:28 %0 = call token @llvm.experimental.convergence.entry()29 ret i32 130}31 32; CHECK: %[[#fn1]] = OpFunction %[[#int_ty]]33define spir_func noundef i32 @_Z3fn1v() #0 {34entry:35 %0 = call token @llvm.experimental.convergence.entry()36 ret i32 037}38 39; CHECK: %[[#fn2]] = OpFunction %[[#int_ty]]40define spir_func noundef i32 @_Z3fn2v() #0 {41entry:42 %0 = call token @llvm.experimental.convergence.entry()43 ret i32 144}45 46; CHECK: %[[#process]] = OpFunction %[[#int_ty]]47define spir_func noundef i32 @_Z7processv() #0 {48 49; CHECK: %[[#entry:]] = OpLabel50; CHECK-DAG: %[[#r2m_a]] = OpVariable %[[#]] Function51; CHECK: OpSelectionMerge %[[#a_merge:]]52; CHECK: OpBranchConditional %[[#]] %[[#a_true:]] %[[#a_false:]]53entry:54 %0 = call token @llvm.experimental.convergence.entry()55 %var = alloca i3256 br i1 true, label %a_true, label %a_false57 58; CHECK: %[[#a_false]] = OpLabel59; CHECK: OpStore %[[#r2m_a]] %[[#false]]60; CHECK: OpBranch %[[#a_merge]]61a_false:62 br label %a_merge63 64; CHECK: %[[#a_true]] = OpLabel65; CHECK: OpStore %[[#r2m_a]] %[[#true]]66; CHECK: OpBranch %[[#a_merge]]67a_true:68 br label %a_merge69 70; CHECK: %[[#a_merge]] = OpLabel71; CHECK: %[[#tmp:]] = OpLoad %[[#]] %[[#r2m_a]]72; CHECK: OpSelectionMerge %[[#b_merge:]]73; CHECK: OpBranchConditional %[[#]] %[[#b_true:]] %[[#b_merge]]74a_merge:75 %1 = phi i1 [ true, %a_true ], [ false, %a_false ]76 br i1 %1, label %b_true, label %b_merge77 78; CHECK: %[[#b_true]] = OpLabel79; CHECK: OpBranch %[[#b_merge]]80b_true:81 store i32 0, ptr %var ; Prevents whole branch optimization.82 br label %b_merge83 84; CHECK: %[[#b_merge]] = OpLabel85; CHECK: OpFunctionCall86; CHECK: OpSelectionMerge %[[#c_merge:]]87; CHECK: OpBranchConditional %[[#]] %[[#c_true:]] %[[#c_false:]]88b_merge:89 %f1 = call spir_func noundef i32 @_Z2fnv() #4 [ "convergencectrl"(token %0) ]90 br i1 true, label %c_true, label %c_false91 92; CHECK: %[[#c_false]] = OpLabel93; CHECK: %[[#]] = OpFunctionCall94; CHECK: OpStore %[[#r2m_b]] %[[#]]95; CHECK: OpBranch %[[#c_merge]]96c_false:97 %f3 = call spir_func noundef i32 @_Z3fn2v() #4 [ "convergencectrl"(token %0) ]98 br label %c_merge99 100; CHECK: %[[#c_true]] = OpLabel101; CHECK: %[[#]] = OpFunctionCall102; CHECK: OpStore %[[#r2m_b]] %[[#]]103; CHECK: OpBranch %[[#c_merge]]104c_true:105 %f2 = call spir_func noundef i32 @_Z3fn1v() #4 [ "convergencectrl"(token %0) ]106 br label %c_merge107 108 109; CHECK: %[[#c_merge]] = OpLabel110; CHECK: %[[#tmp:]] = OpLoad %[[#]] %[[#r2m_b]]111; CHECK: OpStore %[[#r2m_c]] %[[#tmp:]]112; CHECK: OpSelectionMerge %[[#d_merge:]]113; CHECK: OpBranchConditional %[[#]] %[[#d_true:]] %[[#d_merge]]114c_merge:115 %5 = phi i32 [ %f2, %c_true ], [ %f3, %c_false ]116 br i1 true, label %d_true, label %d_merge117 118; CHECK: %[[#d_true]] = OpLabel119; CHECK: OpBranch %[[#d_merge]]120d_true:121 store i32 0, ptr %var ; Prevents whole branch optimization.122 br label %d_merge123 124; CHECK: %[[#d_merge]] = OpLabel125; CHECK: %[[#tmp:]] = OpLoad %[[#]] %[[#r2m_c]]126; CHECK: OpReturnValue %[[#tmp]]127d_merge:128 ret i32 %5129}130 131; Function Attrs: convergent noinline norecurse nounwind optnone132define internal spir_func void @main() #2 {133entry:134 %0 = call token @llvm.experimental.convergence.entry()135 %call1 = call spir_func noundef i32 @_Z7processv() #4 [ "convergencectrl"(token %0) ]136 ret void137}138 139; Function Attrs: convergent norecurse140define void @main.1() #3 {141entry:142 call void @main()143 ret void144}145 146attributes #0 = { convergent noinline nounwind optnone "frame-pointer"="all" "no-trapping-math"="true" "stack-protector-buffer-size"="8" }147attributes #1 = { convergent nocallback nofree nosync nounwind willreturn memory(none) }148attributes #2 = { convergent noinline norecurse nounwind optnone "frame-pointer"="all" "no-trapping-math"="true" "stack-protector-buffer-size"="8" }149attributes #3 = { convergent norecurse "frame-pointer"="all" "hlsl.numthreads"="1,1,1" "hlsl.shader"="compute" "no-trapping-math"="true" "stack-protector-buffer-size"="8" }150attributes #4 = { convergent }151 152!llvm.module.flags = !{!0, !1, !2}153 154!0 = !{i32 1, !"wchar_size", i32 4}155!1 = !{i32 4, !"dx.disable_optimizations", i32 1}156!2 = !{i32 7, !"frame-pointer", i32 2}157