| ; SPIR-V |
| ; Version: 1.3 |
| ; Generator: Google Tint Compiler; 1 |
| ; Bound: 47 |
| ; Schema: 0 |
| OpCapability Shader |
| OpMemoryModel Logical GLSL450 |
| OpEntryPoint GLCompute %unused_entry_point "unused_entry_point" |
| OpExecutionMode %unused_entry_point LocalSize 1 1 1 |
| OpName %f "f" |
| OpName %return_value "return_value" |
| OpName %continue_execution "continue_execution" |
| OpName %i "i" |
| OpName %j "j" |
| OpName %unused_entry_point "unused_entry_point" |
| %int = OpTypeInt 32 1 |
| %3 = OpTypeFunction %int |
| %_ptr_Function_int = OpTypePointer Function %int |
| %7 = OpConstantNull %int |
| %bool = OpTypeBool |
| %_ptr_Function_bool = OpTypePointer Function %bool |
| %true = OpConstantTrue %bool |
| %int_4 = OpConstant %int 4 |
| %false = OpConstantFalse %bool |
| %int_1 = OpConstant %int 1 |
| %int_2 = OpConstant %int 2 |
| %void = OpTypeVoid |
| %45 = OpTypeFunction %void |
| %f = OpFunction %int None %3 |
| %4 = OpLabel |
| %return_value = OpVariable %_ptr_Function_int Function %7 |
| %continue_execution = OpVariable %_ptr_Function_bool Function |
| %i = OpVariable %_ptr_Function_int Function %7 |
| %j = OpVariable %_ptr_Function_int Function %7 |
| OpStore %continue_execution %true |
| OpBranch %16 |
| %16 = OpLabel |
| OpLoopMerge %17 %15 None |
| OpBranch %14 |
| %14 = OpLabel |
| %18 = OpLoad %int %i None |
| %19 = OpSGreaterThan %bool %18 %int_4 |
| OpSelectionMerge %21 None |
| OpBranchConditional %19 %22 %21 |
| %22 = OpLabel |
| OpStore %continue_execution %false None |
| OpStore %return_value %int_1 None |
| OpBranch %21 |
| %21 = OpLabel |
| %25 = OpLoad %bool %continue_execution None |
| OpSelectionMerge %26 None |
| OpBranchConditional %25 %27 %26 |
| %27 = OpLabel |
| OpBranch %30 |
| %30 = OpLabel |
| OpLoopMerge %31 %29 None |
| OpBranch %28 |
| %28 = OpLabel |
| %32 = OpLoad %int %j None |
| %33 = OpSGreaterThan %bool %32 %int_4 |
| OpSelectionMerge %34 None |
| OpBranchConditional %33 %35 %34 |
| %35 = OpLabel |
| OpStore %continue_execution %false None |
| OpStore %return_value %int_2 None |
| OpBranch %34 |
| %34 = OpLabel |
| %37 = OpLoad %bool %continue_execution None |
| OpSelectionMerge %38 None |
| OpBranchConditional %37 %39 %38 |
| %39 = OpLabel |
| OpBranch %29 |
| %38 = OpLabel |
| OpBranch %31 |
| %29 = OpLabel |
| %40 = OpLoad %int %j None |
| %41 = OpIAdd %int %40 %int_1 |
| OpStore %j %41 None |
| OpBranch %30 |
| %31 = OpLabel |
| OpBranch %26 |
| %26 = OpLabel |
| OpBranch %17 |
| %15 = OpLabel |
| OpBranch %16 |
| %17 = OpLabel |
| %42 = OpLoad %int %return_value None |
| OpReturnValue %42 |
| OpFunctionEnd |
| %unused_entry_point = OpFunction %void None %45 |
| %46 = OpLabel |
| OpReturn |
| OpFunctionEnd |