| ; SPIR-V |
| ; Version: 1.3 |
| ; Generator: Google Tint Compiler; 1 |
| ; Bound: 67 |
| ; Schema: 0 |
| OpCapability Shader |
| OpMemoryModel Logical GLSL450 |
| OpEntryPoint GLCompute %unused_entry_point "unused_entry_point" |
| OpExecutionMode %unused_entry_point LocalSize 1 1 1 |
| OpName %some_loop_body "some_loop_body" |
| OpName %f "f" |
| OpName %j "j" |
| OpName %tint_loop_idx "tint_loop_idx" |
| OpName %i "i" |
| OpName %tint_low_inc "tint_low_inc" |
| OpName %tint_carry "tint_carry" |
| OpName %unused_entry_point "unused_entry_point" |
| %void = OpTypeVoid |
| %3 = OpTypeFunction %void |
| %int = OpTypeInt 32 1 |
| %_ptr_Function_int = OpTypePointer Function %int |
| %10 = OpConstantNull %int |
| %uint = OpTypeInt 32 0 |
| %v2uint = OpTypeVector %uint 2 |
| %_ptr_Function_v2uint = OpTypePointer Function %v2uint |
| %20 = OpConstantNull %v2uint |
| %int_0 = OpConstant %int 0 |
| %uint_4294967295 = OpConstant %uint 4294967295 |
| %25 = OpConstantComposite %v2uint %uint_4294967295 %uint_4294967295 |
| %bool = OpTypeBool |
| %v2bool = OpTypeVector %bool 2 |
| %int_5 = OpConstant %int 5 |
| %int_10 = OpConstant %int 10 |
| %false = OpConstantFalse %bool |
| %int_30 = OpConstant %int 30 |
| %_ptr_Function_uint = OpTypePointer Function %uint |
| %uint_0 = OpConstant %uint 0 |
| %uint_1 = OpConstant %uint 1 |
| %int_1 = OpConstant %int 1 |
| %some_loop_body = OpFunction %void None %3 |
| %4 = OpLabel |
| OpReturn |
| OpFunctionEnd |
| %f = OpFunction %void None %3 |
| %6 = OpLabel |
| %j = OpVariable %_ptr_Function_int Function %10 |
| %tint_loop_idx = OpVariable %_ptr_Function_v2uint Function %20 |
| %i = OpVariable %_ptr_Function_int Function |
| OpBranch %11 |
| %11 = OpLabel |
| OpStore %i %int_0 |
| OpBranch %14 |
| %14 = OpLabel |
| OpLoopMerge %15 %13 None |
| OpBranch %12 |
| %12 = OpLabel |
| %23 = OpLoad %v2uint %tint_loop_idx None |
| %24 = OpIEqual %v2bool %23 %25 |
| %29 = OpAll %bool %24 |
| OpSelectionMerge %30 None |
| OpBranchConditional %29 %31 %30 |
| %31 = OpLabel |
| OpBranch %15 |
| %30 = OpLabel |
| %32 = OpLoad %int %i None |
| %33 = OpSLessThan %bool %32 %int_5 |
| OpSelectionMerge %35 None |
| OpBranchConditional %33 %36 %37 |
| %36 = OpLabel |
| %38 = OpLoad %int %j None |
| %39 = OpSLessThan %bool %38 %int_10 |
| OpBranch %35 |
| %37 = OpLabel |
| OpBranch %35 |
| %35 = OpLabel |
| %41 = OpPhi %bool %39 %36 %false %37 |
| OpSelectionMerge %43 None |
| OpBranchConditional %41 %43 %44 |
| %44 = OpLabel |
| OpBranch %15 |
| %43 = OpLabel |
| %45 = OpFunctionCall %void %some_loop_body |
| %46 = OpLoad %int %i None |
| %47 = OpIMul %int %46 %int_30 |
| OpStore %j %47 None |
| OpBranch %13 |
| %13 = OpLabel |
| %49 = OpAccessChain %_ptr_Function_uint %tint_loop_idx %uint_0 |
| %52 = OpLoad %uint %49 None |
| %tint_low_inc = OpIAdd %uint %52 %uint_1 |
| %55 = OpAccessChain %_ptr_Function_uint %tint_loop_idx %uint_0 |
| OpStore %55 %tint_low_inc None |
| %56 = OpIEqual %bool %tint_low_inc %uint_0 |
| %tint_carry = OpSelect %uint %56 %uint_1 %uint_0 |
| %58 = OpAccessChain %_ptr_Function_uint %tint_loop_idx %uint_1 |
| %59 = OpLoad %uint %58 None |
| %60 = OpIAdd %uint %59 %tint_carry |
| %61 = OpAccessChain %_ptr_Function_uint %tint_loop_idx %uint_1 |
| OpStore %61 %60 None |
| %62 = OpLoad %int %i None |
| %63 = OpIAdd %int %62 %int_1 |
| OpStore %i %63 None |
| OpBranch %14 |
| %15 = OpLabel |
| OpReturn |
| OpFunctionEnd |
| %unused_entry_point = OpFunction %void None %3 |
| %66 = OpLabel |
| OpReturn |
| OpFunctionEnd |