yum-mirror/glslang

git clone https://git.yummers.dev/yum-mirror/glslang

natgavrilenkoFix memory semantics validation rules according to the spec (#4008)579d34d5

main
36.7 KiB657 linesraw
1spv.atomicFloat.comp
2Validation failed
3// Module Version 10300
4// Generated by (magic number): 8000b
5// Id's are bound by 476
6
7                              Capability Shader
8                              Capability Float64
9                              Capability ImageCubeArray
10                              Capability ImageRect
11                              Capability Image1D
12                              Capability VulkanMemoryModelKHR
13                              Capability VulkanMemoryModelDeviceScopeKHR
14                              Capability AtomicFloat32AddEXT
15                              Capability AtomicFloat64AddEXT
16                              Extension  "SPV_EXT_shader_atomic_float_add"
17                              Extension  "SPV_KHR_vulkan_memory_model"
18               1:             ExtInstImport  "GLSL.std.450"
19                              MemoryModel Logical VulkanKHR
20                              EntryPoint GLCompute 4  "main"
21                              ExecutionMode 4 LocalSize 16 16 1
22                              Source GLSL 450
23                              SourceExtension  "GL_EXT_shader_atomic_float"
24                              SourceExtension  "GL_KHR_memory_scope_semantics"
25                              Name 4  "main"
26                              Name 8  "resultf"
27                              Name 11  "atomf"
28                              Name 25  "Buffer"
29                              MemberName 25(Buffer) 0  "dataf"
30                              MemberName 25(Buffer) 1  "datad"
31                              Name 27  "buf"
32                              Name 35  "resultd"
33                              Name 38  "atomd"
34                              Name 148  "fimage1D"
35                              Name 195  "fimage1DArray"
36                              Name 238  "fimage2D"
37                              Name 276  "fimage2DRect"
38                              Name 314  "fimage2DArray"
39                              Name 358  "fimageCube"
40                              Name 398  "fimageCubeArray"
41                              Name 436  "fimage3D"
42                              Decorate 25(Buffer) Block
43                              MemberDecorate 25(Buffer) 0 Offset 0
44                              MemberDecorate 25(Buffer) 1 Offset 8
45                              Decorate 27(buf) Binding 0
46                              Decorate 27(buf) DescriptorSet 0
47                              Decorate 148(fimage1D) Binding 0
48                              Decorate 148(fimage1D) DescriptorSet 0
49                              Decorate 195(fimage1DArray) Binding 1
50                              Decorate 195(fimage1DArray) DescriptorSet 0
51                              Decorate 238(fimage2D) Binding 2
52                              Decorate 238(fimage2D) DescriptorSet 0
53                              Decorate 276(fimage2DRect) Binding 4
54                              Decorate 276(fimage2DRect) DescriptorSet 0
55                              Decorate 314(fimage2DArray) Binding 3
56                              Decorate 314(fimage2DArray) DescriptorSet 0
57                              Decorate 358(fimageCube) Binding 5
58                              Decorate 358(fimageCube) DescriptorSet 0
59                              Decorate 398(fimageCubeArray) Binding 6
60                              Decorate 398(fimageCubeArray) DescriptorSet 0
61                              Decorate 436(fimage3D) Binding 9
62                              Decorate 436(fimage3D) DescriptorSet 0
63                              Decorate 475 BuiltIn WorkgroupSize
64               2:             TypeVoid
65               3:             TypeFunction 2
66               6:             TypeFloat 32
67               7:             TypePointer Function 6(float)
68               9:    6(float) Constant 0
69              10:             TypePointer Workgroup 6(float)
70       11(atomf):     10(ptr) Variable Workgroup
71              12:    6(float) Constant 1077936128
72              13:             TypeInt 32 0
73              14:     13(int) Constant 5
74              15:     13(int) Constant 0
75              17:    6(float) Constant 1083179008
76              18:             TypeInt 32 1
77              19:     18(int) Constant 1
78              20:     18(int) Constant 64
79              21:     18(int) Constant 8
80              22:     13(int) Constant 72
81              24:             TypeFloat 64
82      25(Buffer):             TypeStruct 6(float) 24(float64_t)
83              26:             TypePointer StorageBuffer 25(Buffer)
84         27(buf):     26(ptr) Variable StorageBuffer
85              28:     18(int) Constant 0
86              29:             TypePointer StorageBuffer 6(float)
87              34:             TypePointer Function 24(float64_t)
88              36:24(float64_t) Constant 0 0
89              37:             TypePointer Workgroup 24(float64_t)
90       38(atomd):     37(ptr) Variable Workgroup
91              39:24(float64_t) Constant 0 1074266112
92              41:24(float64_t) Constant 0 1074921472
93              43:             TypePointer StorageBuffer 24(float64_t)
94              58:     18(int) Constant 256
95              59:     13(int) Constant 264
96             111:     18(int) Constant 2
97             112:     13(int) Constant 258
98             116:     18(int) Constant 4
99             117:     13(int) Constant 260
100             146:             TypeImage 6(float) 1D nonsampled format:R32f
101             147:             TypePointer UniformConstant 146
102   148(fimage1D):    147(ptr) Variable UniformConstant
103             149:    6(float) Constant 1073741824
104             150:             TypePointer Image 6(float)
105             152:     13(int) Constant 32768
106             154:     13(int) Constant 2
107             160:     18(int) Constant 2048
108             162:     13(int) Constant 2056
109             169:    6(float) Constant 1082130432
110             178:     13(int) Constant 2050
111             187:     13(int) Constant 2052
112             193:             TypeImage 6(float) 1D array nonsampled format:R32f
113             194:             TypePointer UniformConstant 193
114195(fimage1DArray):    194(ptr) Variable UniformConstant
115             196:             TypeVector 18(int) 2
116             197:  196(ivec2) ConstantComposite 28 28
117             205:  196(ivec2) ConstantComposite 19 19
118             213:  196(ivec2) ConstantComposite 19 28
119             228:  196(ivec2) ConstantComposite 111 111
120             236:             TypeImage 6(float) 2D nonsampled format:R32f
121             237:             TypePointer UniformConstant 236
122   238(fimage2D):    237(ptr) Variable UniformConstant
123             274:             TypeImage 6(float) Rect nonsampled format:R32f
124             275:             TypePointer UniformConstant 274
125276(fimage2DRect):    275(ptr) Variable UniformConstant
126             312:             TypeImage 6(float) 2D array nonsampled format:R32f
127             313:             TypePointer UniformConstant 312
128314(fimage2DArray):    313(ptr) Variable UniformConstant
129             315:             TypeVector 18(int) 3
130             316:  315(ivec3) ConstantComposite 28 28 28
131             324:  315(ivec3) ConstantComposite 19 19 28
132             332:  315(ivec3) ConstantComposite 19 28 19
133             340:  315(ivec3) ConstantComposite 19 19 19
134             348:  315(ivec3) ConstantComposite 111 111 28
135             356:             TypeImage 6(float) Cube nonsampled format:R32f
136             357:             TypePointer UniformConstant 356
137 358(fimageCube):    357(ptr) Variable UniformConstant
138             373:  315(ivec3) ConstantComposite 19 28 28
139             388:  315(ivec3) ConstantComposite 111 111 19
140             396:             TypeImage 6(float) Cube array nonsampled format:R32f
141             397:             TypePointer UniformConstant 396
142398(fimageCubeArray):    397(ptr) Variable UniformConstant
143             434:             TypeImage 6(float) 3D nonsampled format:R32f
144             435:             TypePointer UniformConstant 434
145   436(fimage3D):    435(ptr) Variable UniformConstant
146             472:             TypeVector 13(int) 3
147             473:     13(int) Constant 16
148             474:     13(int) Constant 1
149             475:  472(ivec3) ConstantComposite 473 473 474
150         4(main):           2 Function None 3
151               5:             Label
152      8(resultf):      7(ptr) Variable Function
153     35(resultd):     34(ptr) Variable Function
154                              Store 8(resultf) 9
155              16:    6(float) AtomicFAddEXT 11(atomf) 14 15 12
156                              Store 8(resultf) 16
157              23:    6(float) AtomicFAddEXT 11(atomf) 19 22 17
158                              Store 8(resultf) 23
159              30:     29(ptr) AccessChain 27(buf) 28
160              31:    6(float) AtomicFAddEXT 30 14 15 12
161                              Store 8(resultf) 31
162              32:     29(ptr) AccessChain 27(buf) 28
163              33:    6(float) AtomicFAddEXT 32 19 22 17
164                              Store 8(resultf) 33
165                              Store 35(resultd) 36
166              40:24(float64_t) AtomicFAddEXT 38(atomd) 14 15 39
167                              Store 35(resultd) 40
168              42:24(float64_t) AtomicFAddEXT 38(atomd) 19 22 41
169                              Store 35(resultd) 42
170              44:     43(ptr) AccessChain 27(buf) 19
171              45:24(float64_t) AtomicFAddEXT 44 14 15 39
172                              Store 35(resultd) 45
173              46:     43(ptr) AccessChain 27(buf) 19
174              47:24(float64_t) AtomicFAddEXT 46 19 22 41
175                              Store 35(resultd) 47
176              48:     29(ptr) AccessChain 27(buf) 28
177              49:    6(float) Load 8(resultf)
178              50:    6(float) AtomicExchange 48 14 15 49
179                              Store 8(resultf) 50
180              51:    6(float) Load 8(resultf)
181              52:     29(ptr) AccessChain 27(buf) 28
182              53:    6(float) Load 52
183              54:    6(float) FAdd 53 51
184              55:     29(ptr) AccessChain 27(buf) 28
185                              Store 55 54
186              56:     29(ptr) AccessChain 27(buf) 28
187              57:    6(float) Load 8(resultf)
188              60:    6(float) AtomicExchange 56 19 59 57
189                              Store 8(resultf) 60
190              61:    6(float) Load 8(resultf)
191              62:     29(ptr) AccessChain 27(buf) 28
192              63:    6(float) Load 62
193              64:    6(float) FAdd 63 61
194              65:     29(ptr) AccessChain 27(buf) 28
195                              Store 65 64
196              66:    6(float) Load 8(resultf)
197              67:    6(float) AtomicExchange 11(atomf) 14 15 66
198                              Store 8(resultf) 67
199              68:    6(float) Load 8(resultf)
200              69:     29(ptr) AccessChain 27(buf) 28
201              70:    6(float) Load 69
202              71:    6(float) FAdd 70 68
203              72:     29(ptr) AccessChain 27(buf) 28
204                              Store 72 71
205              73:    6(float) Load 8(resultf)
206              74:    6(float) AtomicExchange 11(atomf) 19 59 73
207                              Store 8(resultf) 74
208              75:    6(float) Load 8(resultf)
209              76:     29(ptr) AccessChain 27(buf) 28
210              77:    6(float) Load 76
211              78:    6(float) FAdd 77 75
212              79:     29(ptr) AccessChain 27(buf) 28
213                              Store 79 78
214              80:     43(ptr) AccessChain 27(buf) 19
215              81:24(float64_t) Load 35(resultd)
216              82:24(float64_t) AtomicExchange 80 14 15 81
217                              Store 35(resultd) 82
218              83:24(float64_t) Load 35(resultd)
219              84:     43(ptr) AccessChain 27(buf) 19
220              85:24(float64_t) Load 84
221              86:24(float64_t) FAdd 85 83
222              87:     43(ptr) AccessChain 27(buf) 19
223                              Store 87 86
224              88:     43(ptr) AccessChain 27(buf) 19
225              89:24(float64_t) Load 35(resultd)
226              90:24(float64_t) AtomicExchange 88 19 59 89
227                              Store 35(resultd) 90
228              91:24(float64_t) Load 35(resultd)
229              92:     43(ptr) AccessChain 27(buf) 19
230              93:24(float64_t) Load 92
231              94:24(float64_t) FAdd 93 91
232              95:     43(ptr) AccessChain 27(buf) 19
233                              Store 95 94
234              96:24(float64_t) Load 35(resultd)
235              97:24(float64_t) AtomicExchange 38(atomd) 14 15 96
236                              Store 35(resultd) 97
237              98:24(float64_t) Load 35(resultd)
238              99:     43(ptr) AccessChain 27(buf) 19
239             100:24(float64_t) Load 99
240             101:24(float64_t) FAdd 100 98
241             102:     43(ptr) AccessChain 27(buf) 19
242                              Store 102 101
243             103:24(float64_t) Load 35(resultd)
244             104:24(float64_t) AtomicExchange 38(atomd) 19 59 103
245                              Store 35(resultd) 104
246             105:24(float64_t) Load 35(resultd)
247             106:     43(ptr) AccessChain 27(buf) 19
248             107:24(float64_t) Load 106
249             108:24(float64_t) FAdd 107 105
250             109:     43(ptr) AccessChain 27(buf) 19
251                              Store 109 108
252             110:     29(ptr) AccessChain 27(buf) 28
253             113:    6(float) AtomicLoad 110 19 112
254                              Store 8(resultf) 113
255             114:     29(ptr) AccessChain 27(buf) 28
256             115:    6(float) Load 8(resultf)
257                              AtomicStore 114 19 117 115
258             118:    6(float) Load 8(resultf)
259             119:     29(ptr) AccessChain 27(buf) 28
260             120:    6(float) Load 119
261             121:    6(float) FAdd 120 118
262             122:     29(ptr) AccessChain 27(buf) 28
263                              Store 122 121
264             123:    6(float) AtomicLoad 11(atomf) 19 112
265                              Store 8(resultf) 123
266             124:    6(float) Load 8(resultf)
267                              AtomicStore 11(atomf) 19 117 124
268             125:    6(float) Load 8(resultf)
269             126:     29(ptr) AccessChain 27(buf) 28
270             127:    6(float) Load 126
271             128:    6(float) FAdd 127 125
272             129:     29(ptr) AccessChain 27(buf) 28
273                              Store 129 128
274             130:     43(ptr) AccessChain 27(buf) 19
275             131:24(float64_t) AtomicLoad 130 19 112
276                              Store 35(resultd) 131
277             132:     43(ptr) AccessChain 27(buf) 19
278             133:24(float64_t) Load 35(resultd)
279                              AtomicStore 132 19 117 133
280             134:24(float64_t) Load 35(resultd)
281             135:     43(ptr) AccessChain 27(buf) 19
282             136:24(float64_t) Load 135
283             137:24(float64_t) FAdd 136 134
284             138:     43(ptr) AccessChain 27(buf) 19
285                              Store 138 137
286             139:24(float64_t) AtomicLoad 38(atomd) 19 112
287                              Store 35(resultd) 139
288             140:24(float64_t) Load 35(resultd)
289                              AtomicStore 38(atomd) 19 117 140
290             141:24(float64_t) Load 35(resultd)
291             142:     43(ptr) AccessChain 27(buf) 19
292             143:24(float64_t) Load 142
293             144:24(float64_t) FAdd 143 141
294             145:     43(ptr) AccessChain 27(buf) 19
295                              Store 145 144
296             151:    150(ptr) ImageTexelPointer 148(fimage1D) 28 15
297             153:    6(float) AtomicFAddEXT 151 14 152 149
298                              Store 11(atomf) 153 MakePointerAvailableKHR NonPrivatePointerKHR 154
299             155:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
300             156:     29(ptr) AccessChain 27(buf) 28
301             157:    6(float) Load 156
302             158:    6(float) FAdd 157 155
303             159:     29(ptr) AccessChain 27(buf) 28
304                              Store 159 158
305             161:    150(ptr) ImageTexelPointer 148(fimage1D) 19 15
306             163:    6(float) AtomicFAddEXT 161 19 162 12
307                              Store 11(atomf) 163 MakePointerAvailableKHR NonPrivatePointerKHR 154
308             164:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
309             165:     29(ptr) AccessChain 27(buf) 28
310             166:    6(float) Load 165
311             167:    6(float) FAdd 166 164
312             168:     29(ptr) AccessChain 27(buf) 28
313                              Store 168 167
314             170:    150(ptr) ImageTexelPointer 148(fimage1D) 19 15
315             171:    6(float) AtomicExchange 170 19 162 169
316                              Store 11(atomf) 171 MakePointerAvailableKHR NonPrivatePointerKHR 154
317             172:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
318             173:     29(ptr) AccessChain 27(buf) 28
319             174:    6(float) Load 173
320             175:    6(float) FAdd 174 172
321             176:     29(ptr) AccessChain 27(buf) 28
322                              Store 176 175
323             177:    150(ptr) ImageTexelPointer 148(fimage1D) 19 15
324             179:    6(float) AtomicLoad 177 19 178
325                              Store 11(atomf) 179 MakePointerAvailableKHR NonPrivatePointerKHR 154
326             180:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
327             181:     29(ptr) AccessChain 27(buf) 28
328             182:    6(float) Load 181
329             183:    6(float) FAdd 182 180
330             184:     29(ptr) AccessChain 27(buf) 28
331                              Store 184 183
332             185:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
333             186:    150(ptr) ImageTexelPointer 148(fimage1D) 111 15
334                              AtomicStore 186 19 187 185
335             188:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
336             189:     29(ptr) AccessChain 27(buf) 28
337             190:    6(float) Load 189
338             191:    6(float) FAdd 190 188
339             192:     29(ptr) AccessChain 27(buf) 28
340                              Store 192 191
341             198:    150(ptr) ImageTexelPointer 195(fimage1DArray) 197 15
342             199:    6(float) AtomicFAddEXT 198 14 152 149
343                              Store 11(atomf) 199 MakePointerAvailableKHR NonPrivatePointerKHR 154
344             200:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
345             201:     29(ptr) AccessChain 27(buf) 28
346             202:    6(float) Load 201
347             203:    6(float) FAdd 202 200
348             204:     29(ptr) AccessChain 27(buf) 28
349                              Store 204 203
350             206:    150(ptr) ImageTexelPointer 195(fimage1DArray) 205 15
351             207:    6(float) AtomicFAddEXT 206 19 162 12
352                              Store 11(atomf) 207 MakePointerAvailableKHR NonPrivatePointerKHR 154
353             208:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
354             209:     29(ptr) AccessChain 27(buf) 28
355             210:    6(float) Load 209
356             211:    6(float) FAdd 210 208
357             212:     29(ptr) AccessChain 27(buf) 28
358                              Store 212 211
359             214:    150(ptr) ImageTexelPointer 195(fimage1DArray) 213 15
360             215:    6(float) AtomicExchange 214 19 162 169
361                              Store 11(atomf) 215 MakePointerAvailableKHR NonPrivatePointerKHR 154
362             216:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
363             217:     29(ptr) AccessChain 27(buf) 28
364             218:    6(float) Load 217
365             219:    6(float) FAdd 218 216
366             220:     29(ptr) AccessChain 27(buf) 28
367                              Store 220 219
368             221:    150(ptr) ImageTexelPointer 195(fimage1DArray) 205 15
369             222:    6(float) AtomicLoad 221 19 178
370                              Store 11(atomf) 222 MakePointerAvailableKHR NonPrivatePointerKHR 154
371             223:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
372             224:     29(ptr) AccessChain 27(buf) 28
373             225:    6(float) Load 224
374             226:    6(float) FAdd 225 223
375             227:     29(ptr) AccessChain 27(buf) 28
376                              Store 227 226
377             229:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
378             230:    150(ptr) ImageTexelPointer 195(fimage1DArray) 228 15
379                              AtomicStore 230 19 187 229
380             231:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
381             232:     29(ptr) AccessChain 27(buf) 28
382             233:    6(float) Load 232
383             234:    6(float) FAdd 233 231
384             235:     29(ptr) AccessChain 27(buf) 28
385                              Store 235 234
386             239:    150(ptr) ImageTexelPointer 238(fimage2D) 197 15
387             240:    6(float) AtomicFAddEXT 239 14 152 149
388                              Store 11(atomf) 240 MakePointerAvailableKHR NonPrivatePointerKHR 154
389             241:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
390             242:     29(ptr) AccessChain 27(buf) 28
391             243:    6(float) Load 242
392             244:    6(float) FAdd 243 241
393             245:     29(ptr) AccessChain 27(buf) 28
394                              Store 245 244
395             246:    150(ptr) ImageTexelPointer 238(fimage2D) 205 15
396             247:    6(float) AtomicFAddEXT 246 19 162 12
397                              Store 11(atomf) 247 MakePointerAvailableKHR NonPrivatePointerKHR 154
398             248:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
399             249:     29(ptr) AccessChain 27(buf) 28
400             250:    6(float) Load 249
401             251:    6(float) FAdd 250 248
402             252:     29(ptr) AccessChain 27(buf) 28
403                              Store 252 251
404             253:    150(ptr) ImageTexelPointer 238(fimage2D) 213 15
405             254:    6(float) AtomicExchange 253 19 162 169
406                              Store 11(atomf) 254 MakePointerAvailableKHR NonPrivatePointerKHR 154
407             255:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
408             256:     29(ptr) AccessChain 27(buf) 28
409             257:    6(float) Load 256
410             258:    6(float) FAdd 257 255
411             259:     29(ptr) AccessChain 27(buf) 28
412                              Store 259 258
413             260:    150(ptr) ImageTexelPointer 238(fimage2D) 205 15
414             261:    6(float) AtomicLoad 260 19 178
415                              Store 11(atomf) 261 MakePointerAvailableKHR NonPrivatePointerKHR 154
416             262:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
417             263:     29(ptr) AccessChain 27(buf) 28
418             264:    6(float) Load 263
419             265:    6(float) FAdd 264 262
420             266:     29(ptr) AccessChain 27(buf) 28
421                              Store 266 265
422             267:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
423             268:    150(ptr) ImageTexelPointer 238(fimage2D) 228 15
424                              AtomicStore 268 19 187 267
425             269:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
426             270:     29(ptr) AccessChain 27(buf) 28
427             271:    6(float) Load 270
428             272:    6(float) FAdd 271 269
429             273:     29(ptr) AccessChain 27(buf) 28
430                              Store 273 272
431             277:    150(ptr) ImageTexelPointer 276(fimage2DRect) 197 15
432             278:    6(float) AtomicFAddEXT 277 14 152 149
433                              Store 11(atomf) 278 MakePointerAvailableKHR NonPrivatePointerKHR 154
434             279:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
435             280:     29(ptr) AccessChain 27(buf) 28
436             281:    6(float) Load 280
437             282:    6(float) FAdd 281 279
438             283:     29(ptr) AccessChain 27(buf) 28
439                              Store 283 282
440             284:    150(ptr) ImageTexelPointer 276(fimage2DRect) 205 15
441             285:    6(float) AtomicFAddEXT 284 19 162 12
442                              Store 11(atomf) 285 MakePointerAvailableKHR NonPrivatePointerKHR 154
443             286:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
444             287:     29(ptr) AccessChain 27(buf) 28
445             288:    6(float) Load 287
446             289:    6(float) FAdd 288 286
447             290:     29(ptr) AccessChain 27(buf) 28
448                              Store 290 289
449             291:    150(ptr) ImageTexelPointer 276(fimage2DRect) 213 15
450             292:    6(float) AtomicExchange 291 19 162 169
451                              Store 11(atomf) 292 MakePointerAvailableKHR NonPrivatePointerKHR 154
452             293:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
453             294:     29(ptr) AccessChain 27(buf) 28
454             295:    6(float) Load 294
455             296:    6(float) FAdd 295 293
456             297:     29(ptr) AccessChain 27(buf) 28
457                              Store 297 296
458             298:    150(ptr) ImageTexelPointer 276(fimage2DRect) 205 15
459             299:    6(float) AtomicLoad 298 19 178
460                              Store 11(atomf) 299 MakePointerAvailableKHR NonPrivatePointerKHR 154
461             300:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
462             301:     29(ptr) AccessChain 27(buf) 28
463             302:    6(float) Load 301
464             303:    6(float) FAdd 302 300
465             304:     29(ptr) AccessChain 27(buf) 28
466                              Store 304 303
467             305:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
468             306:    150(ptr) ImageTexelPointer 276(fimage2DRect) 228 15
469                              AtomicStore 306 19 187 305
470             307:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
471             308:     29(ptr) AccessChain 27(buf) 28
472             309:    6(float) Load 308
473             310:    6(float) FAdd 309 307
474             311:     29(ptr) AccessChain 27(buf) 28
475                              Store 311 310
476             317:    150(ptr) ImageTexelPointer 314(fimage2DArray) 316 15
477             318:    6(float) AtomicFAddEXT 317 14 152 149
478                              Store 11(atomf) 318 MakePointerAvailableKHR NonPrivatePointerKHR 154
479             319:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
480             320:     29(ptr) AccessChain 27(buf) 28
481             321:    6(float) Load 320
482             322:    6(float) FAdd 321 319
483             323:     29(ptr) AccessChain 27(buf) 28
484                              Store 323 322
485             325:    150(ptr) ImageTexelPointer 314(fimage2DArray) 324 15
486             326:    6(float) AtomicFAddEXT 325 19 162 12
487                              Store 11(atomf) 326 MakePointerAvailableKHR NonPrivatePointerKHR 154
488             327:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
489             328:     29(ptr) AccessChain 27(buf) 28
490             329:    6(float) Load 328
491             330:    6(float) FAdd 329 327
492             331:     29(ptr) AccessChain 27(buf) 28
493                              Store 331 330
494             333:    150(ptr) ImageTexelPointer 314(fimage2DArray) 332 15
495             334:    6(float) AtomicExchange 333 19 162 169
496                              Store 11(atomf) 334 MakePointerAvailableKHR NonPrivatePointerKHR 154
497             335:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
498             336:     29(ptr) AccessChain 27(buf) 28
499             337:    6(float) Load 336
500             338:    6(float) FAdd 337 335
501             339:     29(ptr) AccessChain 27(buf) 28
502                              Store 339 338
503             341:    150(ptr) ImageTexelPointer 314(fimage2DArray) 340 15
504             342:    6(float) AtomicLoad 341 19 178
505                              Store 11(atomf) 342 MakePointerAvailableKHR NonPrivatePointerKHR 154
506             343:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
507             344:     29(ptr) AccessChain 27(buf) 28
508             345:    6(float) Load 344
509             346:    6(float) FAdd 345 343
510             347:     29(ptr) AccessChain 27(buf) 28
511                              Store 347 346
512             349:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
513             350:    150(ptr) ImageTexelPointer 314(fimage2DArray) 348 15
514                              AtomicStore 350 19 187 349
515             351:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
516             352:     29(ptr) AccessChain 27(buf) 28
517             353:    6(float) Load 352
518             354:    6(float) FAdd 353 351
519             355:     29(ptr) AccessChain 27(buf) 28
520                              Store 355 354
521             359:    150(ptr) ImageTexelPointer 358(fimageCube) 316 15
522             360:    6(float) AtomicFAddEXT 359 14 152 149
523                              Store 11(atomf) 360 MakePointerAvailableKHR NonPrivatePointerKHR 154
524             361:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
525             362:     29(ptr) AccessChain 27(buf) 28
526             363:    6(float) Load 362
527             364:    6(float) FAdd 363 361
528             365:     29(ptr) AccessChain 27(buf) 28
529                              Store 365 364
530             366:    150(ptr) ImageTexelPointer 358(fimageCube) 324 15
531             367:    6(float) AtomicFAddEXT 366 19 162 12
532                              Store 11(atomf) 367 MakePointerAvailableKHR NonPrivatePointerKHR 154
533             368:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
534             369:     29(ptr) AccessChain 27(buf) 28
535             370:    6(float) Load 369
536             371:    6(float) FAdd 370 368
537             372:     29(ptr) AccessChain 27(buf) 28
538                              Store 372 371
539             374:    150(ptr) ImageTexelPointer 358(fimageCube) 373 15
540             375:    6(float) AtomicExchange 374 19 162 169
541                              Store 11(atomf) 375 MakePointerAvailableKHR NonPrivatePointerKHR 154
542             376:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
543             377:     29(ptr) AccessChain 27(buf) 28
544             378:    6(float) Load 377
545             379:    6(float) FAdd 378 376
546             380:     29(ptr) AccessChain 27(buf) 28
547                              Store 380 379
548             381:    150(ptr) ImageTexelPointer 358(fimageCube) 340 15
549             382:    6(float) AtomicLoad 381 19 178
550                              Store 11(atomf) 382 MakePointerAvailableKHR NonPrivatePointerKHR 154
551             383:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
552             384:     29(ptr) AccessChain 27(buf) 28
553             385:    6(float) Load 384
554             386:    6(float) FAdd 385 383
555             387:     29(ptr) AccessChain 27(buf) 28
556                              Store 387 386
557             389:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
558             390:    150(ptr) ImageTexelPointer 358(fimageCube) 388 15
559                              AtomicStore 390 19 187 389
560             391:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
561             392:     29(ptr) AccessChain 27(buf) 28
562             393:    6(float) Load 392
563             394:    6(float) FAdd 393 391
564             395:     29(ptr) AccessChain 27(buf) 28
565                              Store 395 394
566             399:    150(ptr) ImageTexelPointer 398(fimageCubeArray) 316 15
567             400:    6(float) AtomicFAddEXT 399 14 152 149
568                              Store 11(atomf) 400 MakePointerAvailableKHR NonPrivatePointerKHR 154
569             401:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
570             402:     29(ptr) AccessChain 27(buf) 28
571             403:    6(float) Load 402
572             404:    6(float) FAdd 403 401
573             405:     29(ptr) AccessChain 27(buf) 28
574                              Store 405 404
575             406:    150(ptr) ImageTexelPointer 398(fimageCubeArray) 324 15
576             407:    6(float) AtomicFAddEXT 406 19 162 12
577                              Store 11(atomf) 407 MakePointerAvailableKHR NonPrivatePointerKHR 154
578             408:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
579             409:     29(ptr) AccessChain 27(buf) 28
580             410:    6(float) Load 409
581             411:    6(float) FAdd 410 408
582             412:     29(ptr) AccessChain 27(buf) 28
583                              Store 412 411
584             413:    150(ptr) ImageTexelPointer 398(fimageCubeArray) 332 15
585             414:    6(float) AtomicExchange 413 19 162 169
586                              Store 11(atomf) 414 MakePointerAvailableKHR NonPrivatePointerKHR 154
587             415:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
588             416:     29(ptr) AccessChain 27(buf) 28
589             417:    6(float) Load 416
590             418:    6(float) FAdd 417 415
591             419:     29(ptr) AccessChain 27(buf) 28
592                              Store 419 418
593             420:    150(ptr) ImageTexelPointer 398(fimageCubeArray) 340 15
594             421:    6(float) AtomicLoad 420 19 178
595                              Store 11(atomf) 421 MakePointerAvailableKHR NonPrivatePointerKHR 154
596             422:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
597             423:     29(ptr) AccessChain 27(buf) 28
598             424:    6(float) Load 423
599             425:    6(float) FAdd 424 422
600             426:     29(ptr) AccessChain 27(buf) 28
601                              Store 426 425
602             427:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
603             428:    150(ptr) ImageTexelPointer 398(fimageCubeArray) 348 15
604                              AtomicStore 428 19 187 427
605             429:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
606             430:     29(ptr) AccessChain 27(buf) 28
607             431:    6(float) Load 430
608             432:    6(float) FAdd 431 429
609             433:     29(ptr) AccessChain 27(buf) 28
610                              Store 433 432
611             437:    150(ptr) ImageTexelPointer 436(fimage3D) 316 15
612             438:    6(float) AtomicFAddEXT 437 14 152 149
613                              Store 11(atomf) 438 MakePointerAvailableKHR NonPrivatePointerKHR 154
614             439:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
615             440:     29(ptr) AccessChain 27(buf) 28
616             441:    6(float) Load 440
617             442:    6(float) FAdd 441 439
618             443:     29(ptr) AccessChain 27(buf) 28
619                              Store 443 442
620             444:    150(ptr) ImageTexelPointer 436(fimage3D) 324 15
621             445:    6(float) AtomicFAddEXT 444 19 162 12
622                              Store 11(atomf) 445 MakePointerAvailableKHR NonPrivatePointerKHR 154
623             446:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
624             447:     29(ptr) AccessChain 27(buf) 28
625             448:    6(float) Load 447
626             449:    6(float) FAdd 448 446
627             450:     29(ptr) AccessChain 27(buf) 28
628                              Store 450 449
629             451:    150(ptr) ImageTexelPointer 436(fimage3D) 332 15
630             452:    6(float) AtomicExchange 451 19 162 169
631                              Store 11(atomf) 452 MakePointerAvailableKHR NonPrivatePointerKHR 154
632             453:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
633             454:     29(ptr) AccessChain 27(buf) 28
634             455:    6(float) Load 454
635             456:    6(float) FAdd 455 453
636             457:     29(ptr) AccessChain 27(buf) 28
637                              Store 457 456
638             458:    150(ptr) ImageTexelPointer 436(fimage3D) 340 15
639             459:    6(float) AtomicLoad 458 19 178
640                              Store 11(atomf) 459 MakePointerAvailableKHR NonPrivatePointerKHR 154
641             460:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
642             461:     29(ptr) AccessChain 27(buf) 28
643             462:    6(float) Load 461
644             463:    6(float) FAdd 462 460
645             464:     29(ptr) AccessChain 27(buf) 28
646                              Store 464 463
647             465:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
648             466:    150(ptr) ImageTexelPointer 436(fimage3D) 348 15
649                              AtomicStore 466 19 187 465
650             467:    6(float) Load 11(atomf) MakePointerVisibleKHR NonPrivatePointerKHR 154
651             468:     29(ptr) AccessChain 27(buf) 28
652             469:    6(float) Load 468
653             470:    6(float) FAdd 469 467
654             471:     29(ptr) AccessChain 27(buf) 28
655                              Store 471 470
656                              Return
657                              FunctionEnd