spv.atomicAdd.bufferReference.comp
Validation failed
// Module Version 10300
// Generated by (magic number): 8000b
// Id's are bound by 190

                              Capability Shader
                              Capability VulkanMemoryModelKHR
                              Capability VulkanMemoryModelDeviceScopeKHR
                              Capability PhysicalStorageBufferAddressesEXT
                              Extension  "SPV_KHR_physical_storage_buffer"
                              Extension  "SPV_KHR_vulkan_memory_model"
               1:             ExtInstImport  "GLSL.std.450"
                              MemoryModel PhysicalStorageBuffer64EXT VulkanKHR
                              EntryPoint GLCompute 4  "main" 40 83 135
                              ExecutionModeId 4 LocalSizeId 7 8 9
                              Source GLSL 450
                              SourceExtension  "GL_ARB_gpu_shader_int64"
                              SourceExtension  "GL_EXT_buffer_reference"
                              SourceExtension  "GL_KHR_memory_scope_semantics"
                              SourceExtension  "GL_KHR_shader_subgroup_ballot"
                              SourceExtension  "GL_KHR_shader_subgroup_basic"
                              SourceExtension  "GL_KHR_shader_subgroup_shuffle"
                              Name 4  "main"
                              Name 12  "pass"
                              Name 14  "skip"
                              Name 17  "sharedSkip"
                              Name 21  "PayloadRef"
                              MemberName 21(PayloadRef) 0  "x"
                              Name 23  "payload"
                              Name 25  "PC"
                              MemberName 25(PC) 0  "payloadref"
                              MemberName 25(PC) 1  "guard"
                              Name 27  "GuardRef"
                              MemberName 27(GuardRef) 0  "x"
                              Name 29  ""
                              Name 37  "globalId"
                              Name 40  "gl_GlobalInvocationID"
                              Name 45  "partnerGlobalId"
                              Name 46  "DIM"
                              Name 47  "NUM_WORKGROUP_EACH_DIM"
                              Name 57  "bufferCoord"
                              Name 68  "partnerBufferCoord"
                              Name 77  "imageCoord"
                              Name 79  "partnerImageCoord"
                              Name 81  "globalId00"
                              Name 83  "gl_WorkGroupID"
                              Name 88  "partnerGlobalId00"
                              Name 97  "bufferCoord00"
                              Name 106  "partnerBufferCoord00"
                              Name 115  "imageCoord00"
                              Name 117  "partnerImageCoord00"
                              Name 135  "gl_LocalInvocationID"
                              Name 165  "r"
                              Name 181  "Fail"
                              MemberName 181(Fail) 0  "x"
                              Name 183  "fail"
                              Decorate 7 SpecId 0
                              Decorate 8 SpecId 0
                              Decorate 20 ArrayStride 4
                              Decorate 21(PayloadRef) Block
                              MemberDecorate 21(PayloadRef) 0 Offset 0
                              Decorate 23(payload) DecorationAliasedPointerEXT
                              Decorate 25(PC) Block
                              MemberDecorate 25(PC) 0 Offset 0
                              MemberDecorate 25(PC) 1 Offset 8
                              Decorate 26 ArrayStride 4
                              Decorate 27(GuardRef) Block
                              MemberDecorate 27(GuardRef) 0 Offset 0
                              Decorate 40(gl_GlobalInvocationID) BuiltIn GlobalInvocationId
                              Decorate 46(DIM) SpecId 0
                              Decorate 47(NUM_WORKGROUP_EACH_DIM) SpecId 1
                              Decorate 83(gl_WorkGroupID) BuiltIn WorkgroupId
                              Decorate 135(gl_LocalInvocationID) BuiltIn LocalInvocationId
                              Decorate 180 ArrayStride 4
                              Decorate 181(Fail) Block
                              MemberDecorate 181(Fail) 0 Offset 0
                              Decorate 183(fail) Binding 2
                              Decorate 183(fail) DescriptorSet 0
                              Decorate 187 SpecId 0
                              Decorate 188 SpecId 0
                              Decorate 189 BuiltIn WorkgroupSize
               2:             TypeVoid
               3:             TypeFunction 2
               6:             TypeInt 32 0
               7:      6(int) SpecConstant 1
               8:      6(int) SpecConstant 1
               9:      6(int) Constant 1
              10:             TypeBool
              11:             TypePointer Function 10(bool)
              13:    10(bool) ConstantTrue
              15:    10(bool) ConstantFalse
              16:             TypePointer Workgroup 10(bool)
  17(sharedSkip):     16(ptr) Variable Workgroup
              18:      6(int) Constant 2
                              TypeForwardPointer 19 PhysicalStorageBufferEXT
              20:             TypeRuntimeArray 6(int)
  21(PayloadRef):             TypeStruct 20
              19:             TypePointer PhysicalStorageBufferEXT 21(PayloadRef)
              22:             TypePointer Function 19(ptr)
                              TypeForwardPointer 24 PhysicalStorageBufferEXT
          25(PC):             TypeStruct 19(ptr) 24
              26:             TypeRuntimeArray 6(int)
    27(GuardRef):             TypeStruct 26
              24:             TypePointer PhysicalStorageBufferEXT 27(GuardRef)
              28:             TypePointer PushConstant 25(PC)
              29:     28(ptr) Variable PushConstant
              30:             TypeInt 32 1
              31:     30(int) Constant 0
              32:             TypePointer PushConstant 19(ptr)
              35:             TypeVector 30(int) 2
              36:             TypePointer Function 35(ivec2)
              38:             TypeVector 6(int) 3
              39:             TypePointer Input 38(ivec3)
40(gl_GlobalInvocationID):     39(ptr) Variable Input
              41:             TypeVector 6(int) 2
         46(DIM):     30(int) SpecConstant 1
47(NUM_WORKGROUP_EACH_DIM):     30(int) SpecConstant 1
              48:     30(int) SpecConstantOp 132 46(DIM) 47(NUM_WORKGROUP_EACH_DIM)
              49:     30(int) Constant 1
              50:     30(int) SpecConstantOp 130 48 49
              51:   35(ivec2) SpecConstantComposite 50 50
              56:             TypePointer Function 6(int)
              58:             TypePointer Function 30(int)
              63:      6(int) Constant 0
              82:   35(ivec2) SpecConstantComposite 46(DIM) 46(DIM)
83(gl_WorkGroupID):     39(ptr) Variable Input
              89:   35(ivec2) SpecConstantComposite 46(DIM) 46(DIM)
              90:     30(int) SpecConstantOp 130 47(NUM_WORKGROUP_EACH_DIM) 49
              91:   35(ivec2) SpecConstantComposite 90 90
             124:             TypePointer PhysicalStorageBufferEXT 6(int)
             127:     30(int) Constant 31
             131:     30(int) Constant 2
             132:     30(int) Constant 320
             133:     30(int) Constant 8200
             134:      6(int) Constant 8520
135(gl_LocalInvocationID):     39(ptr) Variable Input
             138:   41(ivec2) ConstantComposite 63 63
             139:             TypeVector 10(bool) 2
             144:             TypePointer PushConstant 24(ptr)
             149:     30(int) Constant 64
             150:     30(int) Constant 8196
             151:      6(int) Constant 5
             152:      6(int) Constant 8260
             157:     30(int) Constant 16386
             158:      6(int) Constant 16450
             162:     30(int) Constant 16392
             163:      6(int) Constant 16712
             180:             TypeRuntimeArray 6(int)
       181(Fail):             TypeStruct 180
             182:             TypePointer StorageBuffer 181(Fail)
       183(fail):    182(ptr) Variable StorageBuffer
             185:             TypePointer StorageBuffer 6(int)
             187:      6(int) SpecConstant 1
             188:      6(int) SpecConstant 1
             189:   38(ivec3) SpecConstantComposite 187 188 9
         4(main):           2 Function None 3
               5:             Label
        12(pass):     11(ptr) Variable Function
        14(skip):     11(ptr) Variable Function
     23(payload):     22(ptr) Variable Function
    37(globalId):     36(ptr) Variable Function
45(partnerGlobalId):     36(ptr) Variable Function
 57(bufferCoord):     56(ptr) Variable Function
68(partnerBufferCoord):     56(ptr) Variable Function
  77(imageCoord):     36(ptr) Variable Function
79(partnerImageCoord):     36(ptr) Variable Function
  81(globalId00):     36(ptr) Variable Function
88(partnerGlobalId00):     36(ptr) Variable Function
97(bufferCoord00):     56(ptr) Variable Function
106(partnerBufferCoord00):     56(ptr) Variable Function
115(imageCoord00):     36(ptr) Variable Function
117(partnerImageCoord00):     36(ptr) Variable Function
          165(r):     56(ptr) Variable Function
                              Store 12(pass) 13
                              Store 14(skip) 15
                              Store 17(sharedSkip) 15 MakePointerAvailableKHR NonPrivatePointerKHR 18
              33:     32(ptr) AccessChain 29 31
              34:     19(ptr) Load 33
                              Store 23(payload) 34
              42:   38(ivec3) Load 40(gl_GlobalInvocationID)
              43:   41(ivec2) VectorShuffle 42 42 0 1
              44:   35(ivec2) Bitcast 43
                              Store 37(globalId) 44
              52:   38(ivec3) Load 40(gl_GlobalInvocationID)
              53:   41(ivec2) VectorShuffle 52 52 0 1
              54:   35(ivec2) Bitcast 53
              55:   35(ivec2) ISub 51 54
                              Store 45(partnerGlobalId) 55
              59:     58(ptr) AccessChain 37(globalId) 9
              60:     30(int) Load 59
              61:     30(int) IMul 60 46(DIM)
              62:     30(int) IMul 61 47(NUM_WORKGROUP_EACH_DIM)
              64:     58(ptr) AccessChain 37(globalId) 63
              65:     30(int) Load 64
              66:     30(int) IAdd 62 65
              67:      6(int) Bitcast 66
                              Store 57(bufferCoord) 67
              69:     58(ptr) AccessChain 45(partnerGlobalId) 9
              70:     30(int) Load 69
              71:     30(int) IMul 70 46(DIM)
              72:     30(int) IMul 71 47(NUM_WORKGROUP_EACH_DIM)
              73:     58(ptr) AccessChain 45(partnerGlobalId) 63
              74:     30(int) Load 73
              75:     30(int) IAdd 72 74
              76:      6(int) Bitcast 75
                              Store 68(partnerBufferCoord) 76
              78:   35(ivec2) Load 37(globalId)
                              Store 77(imageCoord) 78
              80:   35(ivec2) Load 45(partnerGlobalId)
                              Store 79(partnerImageCoord) 80
              84:   38(ivec3) Load 83(gl_WorkGroupID)
              85:   41(ivec2) VectorShuffle 84 84 0 1
              86:   35(ivec2) Bitcast 85
              87:   35(ivec2) IMul 82 86
                              Store 81(globalId00) 87
              92:   38(ivec3) Load 83(gl_WorkGroupID)
              93:   41(ivec2) VectorShuffle 92 92 0 1
              94:   35(ivec2) Bitcast 93
              95:   35(ivec2) ISub 91 94
              96:   35(ivec2) IMul 89 95
                              Store 88(partnerGlobalId00) 96
              98:     58(ptr) AccessChain 81(globalId00) 9
              99:     30(int) Load 98
             100:     30(int) IMul 99 46(DIM)
             101:     30(int) IMul 100 47(NUM_WORKGROUP_EACH_DIM)
             102:     58(ptr) AccessChain 81(globalId00) 63
             103:     30(int) Load 102
             104:     30(int) IAdd 101 103
             105:      6(int) Bitcast 104
                              Store 97(bufferCoord00) 105
             107:     58(ptr) AccessChain 88(partnerGlobalId00) 9
             108:     30(int) Load 107
             109:     30(int) IMul 108 46(DIM)
             110:     30(int) IMul 109 47(NUM_WORKGROUP_EACH_DIM)
             111:     58(ptr) AccessChain 88(partnerGlobalId00) 63
             112:     30(int) Load 111
             113:     30(int) IAdd 110 112
             114:      6(int) Bitcast 113
                              Store 106(partnerBufferCoord00) 114
             116:   35(ivec2) Load 81(globalId00)
                              Store 115(imageCoord00) 116
             118:   35(ivec2) Load 88(partnerGlobalId00)
                              Store 117(partnerImageCoord00) 118
             119:     19(ptr) Load 23(payload)
             120:      6(int) Load 57(bufferCoord)
             121:      6(int) Load 57(bufferCoord)
             122:     19(ptr) Load 23(payload)
             123:      6(int) Load 68(partnerBufferCoord)
             125:    124(ptr) AccessChain 122 31 123
             126:      6(int) Load 125 Aligned NonPrivatePointerKHR 4
             128:      6(int) ShiftRightLogical 126 127
             129:      6(int) IAdd 121 128
             130:    124(ptr) AccessChain 119 31 120
                              Store 130 129 Aligned NonPrivatePointerKHR 4
                              ControlBarrier 18 18 134
             136:   38(ivec3) Load 135(gl_LocalInvocationID)
             137:   41(ivec2) VectorShuffle 136 136 0 1
             140:  139(bvec2) IEqual 137 138
             141:    10(bool) All 140
                              SelectionMerge 143 None
                              BranchConditional 141 142 143
             142:               Label
             145:    144(ptr)   AccessChain 29 49
             146:     24(ptr)   Load 145
             147:      6(int)   Load 57(bufferCoord)
             148:    124(ptr)   AccessChain 146 31 147
                                AtomicStore 148 49 152 9
             153:    144(ptr)   AccessChain 29 49
             154:     24(ptr)   Load 153
             155:      6(int)   Load 106(partnerBufferCoord00)
             156:    124(ptr)   AccessChain 154 31 155
             159:      6(int)   AtomicLoad 156 49 158
             160:    10(bool)   IEqual 159 63
                                Store 14(skip) 160
             161:    10(bool)   Load 14(skip)
                                Store 17(sharedSkip) 161 MakePointerAvailableKHR NonPrivatePointerKHR 18
                                Branch 143
             143:             Label
                              ControlBarrier 18 18 163
             164:    10(bool) Load 17(sharedSkip) MakePointerVisibleKHR NonPrivatePointerKHR 18
                              Store 14(skip) 164
             166:     19(ptr) Load 23(payload)
             167:      6(int) Load 68(partnerBufferCoord)
             168:    124(ptr) AccessChain 166 31 167
             169:      6(int) Load 168 Aligned NonPrivatePointerKHR 4
                              Store 165(r) 169
             170:    10(bool) Load 14(skip)
             171:    10(bool) LogicalNot 170
                              SelectionMerge 173 None
                              BranchConditional 171 172 173
             172:               Label
             174:      6(int)   Load 165(r)
             175:      6(int)   Load 68(partnerBufferCoord)
             176:    10(bool)   INotEqual 174 175
                                Branch 173
             173:             Label
             177:    10(bool) Phi 171 143 176 172
                              SelectionMerge 179 None
                              BranchConditional 177 178 179
             178:               Label
             184:      6(int)   Load 57(bufferCoord)
             186:    185(ptr)   AccessChain 183(fail) 31 184
                                Store 186 9
                                Branch 179
             179:             Label
                              Return
                              FunctionEnd