#version 460
#extension GL_KHR_shader_subgroup_basic : require
layout(local_size_x = 32, local_size_y = 1, local_size_z = 1) in;

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

shared uint _12[32];

void main()
{
    uint _34;
    uint _17 = 0u;
    for (;;)
    {
        subgroupMemoryBarrierShared();
        subgroupBarrier();
        _12[gl_LocalInvocationIndex] = 40u;
        subgroupMemoryBarrierShared();
        subgroupBarrier();
        imageStore(_8, int(gl_LocalInvocationIndex), uvec4(_12[gl_LocalInvocationIndex ^ 31u]));
        imageStore(_8, int(gl_LocalInvocationIndex), uvec4(_12[gl_LocalInvocationIndex ^ 15u]));
        _34 = 0u;
        for (;;)
        {
            subgroupMemoryBarrierShared();
            subgroupBarrier();
            uint _36 = atomicAdd(_12[gl_LocalInvocationIndex], 1u);
            uint _39 = atomicOr(_12[gl_LocalInvocationIndex], _36);
            uint _40 = atomicXor(_12[gl_LocalInvocationIndex], _39);
            uint _35 = _34 + 1u;
            if (_35 == 4u)
            {
                break;
            }
            else
            {
                _34 = _35;
            }
        }
        uint _19 = _17 + 1u;
        if (_19 == 4u)
        {
            break;
        }
        else
        {
            _17 = _19;
            continue;
        }
    }
}

/* WARNINGS:
- Has group shared access, but no group shared barrier anywhere.
*/


#if 0
// SPIR-V disassembly
; SPIR-V
; Version: 1.3
; Generator: Unknown(30017); 21022
; Bound: 54
; Schema: 0
OpCapability Shader
OpCapability ImageBuffer
OpMemoryModel Logical GLSL450
OpEntryPoint GLCompute %3 "main" %15
OpExecutionMode %3 LocalSize 32 1 1
OpName %3 "main"
OpDecorate %8 DescriptorSet 0
OpDecorate %8 Binding 0
OpDecorate %8 NonReadable
OpDecorate %15 BuiltIn LocalInvocationIndex
%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
%9 = OpConstant %5 32
%10 = OpTypeArray %5 %9
%11 = OpTypePointer Workgroup %10
%12 = OpVariable %11 Workgroup
%14 = OpTypePointer Input %5
%15 = OpVariable %14 Input
%18 = OpConstant %5 0
%20 = OpTypePointer Workgroup %5
%22 = OpConstant %5 40
%24 = OpConstant %5 31
%27 = OpTypeVector %5 4
%30 = OpConstant %5 15
%37 = OpConstant %5 2
%38 = OpConstant %5 1
%41 = OpTypeBool
%43 = OpConstant %5 4
%51 = OpConstant %5 3
%52 = OpConstant %5 264
%3 = OpFunction %1 None %2
%4 = OpLabel
OpBranch %45
%45 = OpLabel
%13 = OpLoad %6 %8
%16 = OpLoad %5 %15
OpBranch %46
%46 = OpLabel
%17 = OpPhi %5 %18 %45 %19 %49
OpControlBarrier %51 %51 %52
%21 = OpAccessChain %20 %12 %16
OpStore %21 %22
%23 = OpBitwiseXor %5 %16 %24
%25 = OpAccessChain %20 %12 %23
OpControlBarrier %51 %51 %52
%26 = OpLoad %5 %25
%28 = OpCompositeConstruct %27 %26 %26 %26 %26
OpImageWrite %13 %16 %28
%29 = OpBitwiseXor %5 %16 %30
%31 = OpAccessChain %20 %12 %29
%32 = OpLoad %5 %31
%33 = OpCompositeConstruct %27 %32 %32 %32 %32
OpImageWrite %13 %16 %33
OpLoopMerge %50 %49 None
OpBranch %47
%47 = OpLabel
%34 = OpPhi %5 %18 %46 %35 %47
OpControlBarrier %51 %51 %52
%36 = OpAtomicIAdd %5 %21 %37 %18 %38
%39 = OpAtomicOr %5 %21 %37 %18 %36
%40 = OpAtomicXor %5 %21 %37 %18 %39
%35 = OpIAdd %5 %34 %38
%42 = OpIEqual %41 %35 %43
OpLoopMerge %48 %47 None
OpBranchConditional %42 %48 %47
%48 = OpLabel
OpBranch %49
%49 = OpLabel
%19 = OpIAdd %5 %17 %38
%44 = OpIEqual %41 %19 %43
OpBranchConditional %44 %50 %46
%50 = OpLabel
OpReturn
OpFunctionEnd
#endif
