#version 460
layout(local_size_x = 1, local_size_y = 1, local_size_z = 1) in;

layout(set = 0, binding = 0, r32ui) uniform uimageBuffer _8;

void main()
{
    uint _20;
    if (gl_GlobalInvocationID.z == 0u)
    {
        _20 = 0u;
    }
    else
    {
        uint frontier_phi_6;
        uint _25 = 0u;
        uint _26 = 0u;
        uint _30;
        bool _31;
        for (;;)
        {
            _30 = imageLoad(_8, int(_26)).x;
            _31 = _30 == 30u;
            if (_31)
            {
                frontier_phi_6 = imageLoad(_8, int(25u)).x + _25;
                break;
            }
            else
            {
                uint _22 = _30 + _25;
                uint _27 = _26 + 1u;
                if (_27 < gl_GlobalInvocationID.z)
                {
                    _25 = _22;
                    _26 = _27;
                    continue;
                }
                else
                {
                    frontier_phi_6 = _22;
                    break;
                }
            }
        }
        _20 = frontier_phi_6;
    }
    imageStore(_8, int(0u), uvec4(_20));
}


#if 0
// SPIR-V disassembly
; SPIR-V
; Version: 1.3
; Generator: Unknown(30017); 21022
; Bound: 50
; Schema: 0
OpCapability Shader
OpCapability ImageBuffer
OpMemoryModel Logical GLSL450
OpEntryPoint GLCompute %3 "main" %12
OpExecutionMode %3 LocalSize 1 1 1
OpName %3 "main"
OpName %38 "frontier_phi_6"
OpDecorate %8 DescriptorSet 0
OpDecorate %8 Binding 0
OpDecorate %12 BuiltIn GlobalInvocationId
%1 = OpTypeVoid
%2 = OpTypeFunction %1
%5 = OpTypeInt 32 0
%6 = OpTypeImage %5 Buffer 0 0 0 2 R32ui
%7 = OpTypePointer UniformConstant %6
%8 = OpVariable %7 UniformConstant
%10 = OpTypeVector %5 3
%11 = OpTypePointer Input %10
%12 = OpVariable %11 Input
%13 = OpTypePointer Input %5
%15 = OpConstant %5 2
%17 = OpTypeBool
%19 = OpConstant %5 0
%23 = OpTypeVector %5 4
%32 = OpConstant %5 30
%33 = OpConstant %5 25
%36 = OpConstant %5 1
%3 = OpFunction %1 None %2
%4 = OpLabel
OpBranch %39
%39 = OpLabel
%9 = OpLoad %6 %8
%14 = OpAccessChain %13 %12 %15
%16 = OpLoad %5 %14
%18 = OpIEqual %17 %16 %19
OpSelectionMerge %46 None
OpBranchConditional %18 %46 %40
%40 = OpLabel
OpBranch %41
%41 = OpLabel
%25 = OpPhi %5 %19 %40 %22 %43
%26 = OpPhi %5 %19 %40 %27 %43
%28 = OpShiftLeftLogical %5 %26 %15
%29 = OpImageRead %23 %9 %26
%30 = OpCompositeExtract %5 %29 0
%31 = OpIEqual %17 %30 %32
OpLoopMerge %45 %43 None
OpBranch %47
%47 = OpLabel
OpSelectionMerge %48 None
OpBranchConditional %31 %44 %42
%44 = OpLabel
%34 = OpImageRead %23 %9 %33
%35 = OpCompositeExtract %5 %34 0
%21 = OpIAdd %5 %35 %25
OpBranch %45
%42 = OpLabel
OpBranch %43
%48 = OpLabel
OpUnreachable
%43 = OpLabel
%22 = OpIAdd %5 %30 %25
%27 = OpIAdd %5 %26 %36
%37 = OpULessThan %17 %27 %16
OpBranchConditional %37 %41 %45
%45 = OpLabel
%38 = OpPhi %5 %22 %43 %21 %44
OpBranch %46
%46 = OpLabel
%20 = OpPhi %5 %19 %39 %38 %45
%24 = OpCompositeConstruct %23 %20 %20 %20 %20
OpImageWrite %9 %19 %24
OpReturn
OpFunctionEnd
#endif
