blob: 2d10b6f7386b93b5f3df7ce2f941001c892e88a7 [file] [log] [blame]
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001// Copyright (c) 2015 The Khronos Group Inc.
2//
3// Permission is hereby granted, free of charge, to any person obtaining a
4// copy of this software and/or associated documentation files (the
5// "Materials"), to deal in the Materials without restriction, including
6// without limitation the rights to use, copy, modify, merge, publish,
7// distribute, sublicense, and/or sell copies of the Materials, and to
8// permit persons to whom the Materials are furnished to do so, subject to
9// the following conditions:
10//
11// The above copyright notice and this permission notice shall be included
12// in all copies or substantial portions of the Materials.
13//
14// MODIFICATIONS TO THIS FILE MAY MEAN IT NO LONGER ACCURATELY REFLECTS
15// KHRONOS STANDARDS. THE UNMODIFIED, NORMATIVE VERSIONS OF KHRONOS
16// SPECIFICATIONS AND HEADER INFORMATION ARE LOCATED AT
17// https://www.khronos.org/registry/
18//
19// THE MATERIALS ARE PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
20// EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
21// MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
22// IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY
23// CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
24// TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
25// MATERIALS OR THE USE OR OTHER DEALINGS IN THE MATERIALS.
26
27#include "operand.h"
28
29#include <assert.h>
30#include <string.h>
31
32static const spv_operand_desc_t sourceLanguageEntries[] = {
33 {"Unknown",
34 SourceLanguageUnknown,
35 SPV_OPCODE_FLAGS_NONE,
36 0,
37 {SPV_OPERAND_TYPE_NONE}},
38 {"ESSL",
39 SourceLanguageESSL,
40 SPV_OPCODE_FLAGS_NONE,
41 0,
42 {SPV_OPERAND_TYPE_NONE}},
43 {"GLSL",
44 SourceLanguageGLSL,
45 SPV_OPCODE_FLAGS_NONE,
46 0,
47 {SPV_OPERAND_TYPE_NONE}},
48 {"OpenCL",
49 SourceLanguageOpenCL,
50 SPV_OPCODE_FLAGS_NONE,
51 0,
52 {SPV_OPERAND_TYPE_NONE}},
53};
54
55static const spv_operand_desc_t executionModelEntries[] = {
56 {"Vertex",
57 ExecutionModelVertex,
58 SPV_OPCODE_FLAGS_CAPABILITIES,
59 CapabilityShader,
60 {SPV_OPERAND_TYPE_NONE}},
61 {"TessellationControl",
62 ExecutionModelTessellationControl,
63 SPV_OPCODE_FLAGS_CAPABILITIES,
64 CapabilityTessellation,
65 {SPV_OPERAND_TYPE_NONE}},
66 {"TessellationEvaluation",
67 ExecutionModelTessellationEvaluation,
68 SPV_OPCODE_FLAGS_CAPABILITIES,
69 CapabilityTessellation,
70 {SPV_OPERAND_TYPE_NONE}},
71 {"Geometry",
72 ExecutionModelGeometry,
73 SPV_OPCODE_FLAGS_CAPABILITIES,
74 CapabilityGeometry,
75 {SPV_OPERAND_TYPE_NONE}},
76 {"Fragment",
77 ExecutionModelFragment,
78 SPV_OPCODE_FLAGS_CAPABILITIES,
79 CapabilityShader,
80 {SPV_OPERAND_TYPE_NONE}},
81 {"GLCompute",
82 ExecutionModelGLCompute,
83 SPV_OPCODE_FLAGS_CAPABILITIES,
84 CapabilityShader,
85 {SPV_OPERAND_TYPE_NONE}},
86 {"Kernel",
87 ExecutionModelKernel,
88 SPV_OPCODE_FLAGS_CAPABILITIES,
89 CapabilityKernel,
90 {SPV_OPERAND_TYPE_NONE}},
91};
92
93static const spv_operand_desc_t addressingModelEntries[] = {
94 {"Logical",
95 AddressingModelLogical,
96 SPV_OPCODE_FLAGS_NONE,
97 0,
98 {SPV_OPERAND_TYPE_NONE}},
99 {"Physical32",
100 AddressingModelPhysical32,
101 SPV_OPCODE_FLAGS_CAPABILITIES,
102 CapabilityAddresses,
103 {SPV_OPERAND_TYPE_NONE}},
104 {"Physical64",
105 AddressingModelPhysical64,
106 SPV_OPCODE_FLAGS_CAPABILITIES,
107 CapabilityAddresses,
108 {SPV_OPERAND_TYPE_NONE}},
109};
110
111static const spv_operand_desc_t memoryModelEntries[] = {
112 {"Simple",
113 MemoryModelSimple,
114 SPV_OPCODE_FLAGS_CAPABILITIES,
115 CapabilityShader,
116 {SPV_OPERAND_TYPE_NONE}},
117 {"GLSL450",
118 MemoryModelGLSL450,
119 SPV_OPCODE_FLAGS_CAPABILITIES,
120 CapabilityShader,
121 {SPV_OPERAND_TYPE_NONE}},
Lei Zhang604e5ce2015-08-14 14:46:43 -0400122 {"OpenCL",
123 MemoryModelOpenCL,
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100124 SPV_OPCODE_FLAGS_CAPABILITIES,
125 CapabilityKernel,
126 {SPV_OPERAND_TYPE_NONE}},
127};
128
Lei Zhang85c6f792015-09-23 15:42:18 -0400129// Execution mode requiring the given capability and having no operands.
130#define ExecMode0(mode, cap) \
131 #mode, ExecutionMode##mode, SPV_OPCODE_FLAGS_CAPABILITIES, Capability##cap, \
132 { \
133 SPV_OPERAND_TYPE_NONE \
134 }
135// Execution mode requiring the given capability and having one literal number
136// operand.
137#define ExecMode1(mode, cap) \
138 #mode, ExecutionMode##mode, SPV_OPCODE_FLAGS_CAPABILITIES, Capability##cap, \
139 { \
140 SPV_OPERAND_TYPE_LITERAL_NUMBER, SPV_OPERAND_TYPE_NONE \
141 }
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100142static const spv_operand_desc_t executionModeEntries[] = {
Lei Zhang85c6f792015-09-23 15:42:18 -0400143 {ExecMode1(Invocations, Geometry)},
144 {ExecMode0(SpacingEqual, Tessellation)},
145 {ExecMode0(SpacingFractionalEven, Tessellation)},
146 {ExecMode0(SpacingFractionalOdd, Tessellation)},
147 {ExecMode0(VertexOrderCw, Tessellation)},
148 {ExecMode0(VertexOrderCcw, Tessellation)},
149 {ExecMode0(PixelCenterInteger, Shader)},
150 {ExecMode0(OriginUpperLeft, Shader)},
151 {ExecMode0(OriginLowerLeft, Shader)},
152 {ExecMode0(EarlyFragmentTests, Shader)},
153 {ExecMode0(PointMode, Tessellation)},
154 {ExecMode0(Xfb, Shader)},
155 {ExecMode0(DepthReplacing, Shader)},
156 {ExecMode0(DepthAny, Shader)},
157 {ExecMode0(DepthGreater, Shader)},
158 {ExecMode0(DepthLess, Shader)},
159 {ExecMode0(DepthUnchanged, Shader)},
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100160 {"LocalSize",
161 ExecutionModeLocalSize,
162 SPV_OPCODE_FLAGS_NONE,
163 0,
164 {SPV_OPERAND_TYPE_LITERAL_NUMBER, SPV_OPERAND_TYPE_LITERAL_NUMBER,
165 SPV_OPERAND_TYPE_LITERAL_NUMBER, SPV_OPERAND_TYPE_NONE}},
166 {"LocalSizeHint",
167 ExecutionModeLocalSizeHint,
168 SPV_OPCODE_FLAGS_CAPABILITIES,
169 CapabilityKernel,
170 {SPV_OPERAND_TYPE_LITERAL_NUMBER, SPV_OPERAND_TYPE_LITERAL_NUMBER,
171 SPV_OPERAND_TYPE_LITERAL_NUMBER, SPV_OPERAND_TYPE_NONE}},
Lei Zhang85c6f792015-09-23 15:42:18 -0400172 {ExecMode0(InputPoints, Geometry)},
173 {ExecMode0(InputLines, Geometry)},
174 {ExecMode0(InputLinesAdjacency, Geometry)},
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100175 {"InputTriangles",
176 ExecutionModeInputTriangles,
177 SPV_OPCODE_FLAGS_CAPABILITIES,
Lei Zhang85c6f792015-09-23 15:42:18 -0400178 // TODO(dneto): Capabilities are defined as sequential numbers instead of
179 // bit masks. They cannot be meaningfully combined with a bitwise OR.
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100180 CapabilityGeometry | CapabilityTessellation,
181 {SPV_OPERAND_TYPE_NONE}},
Lei Zhang85c6f792015-09-23 15:42:18 -0400182 {ExecMode0(InputTrianglesAdjacency, Geometry)},
183 {ExecMode0(InputQuads, Tessellation)},
184 {ExecMode0(InputIsolines, Tessellation)},
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100185 {"OutputVertices",
186 ExecutionModeOutputVertices,
187 SPV_OPCODE_FLAGS_CAPABILITIES,
Lei Zhang85c6f792015-09-23 15:42:18 -0400188 // TODO(dneto): Capabilities are defined as sequential numbers instead of
189 // bit masks. They cannot be meaningfully combined with a bitwise OR.
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100190 CapabilityGeometry | CapabilityTessellation,
191 {SPV_OPERAND_TYPE_LITERAL_NUMBER, SPV_OPERAND_TYPE_NONE}},
Lei Zhang85c6f792015-09-23 15:42:18 -0400192 {ExecMode0(OutputPoints, Geometry)},
193 {ExecMode0(OutputLineStrip, Geometry)},
194 {ExecMode0(OutputTriangleStrip, Geometry)},
195 {ExecMode1(VecTypeHint, Kernel)},
196 {ExecMode0(ContractionOff, Kernel)},
197 {ExecMode0(IndependentForwardProgress, Kernel)},
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100198};
Lei Zhang85c6f792015-09-23 15:42:18 -0400199#undef ExecMode0
200#undef ExecMode1
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100201
202static const spv_operand_desc_t storageClassEntries[] = {
David Neto5494dd42015-09-15 16:41:38 -0400203 // TODO(dneto): There are more storage classes in Rev32 and later.
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100204 {"UniformConstant",
205 StorageClassUniformConstant,
206 SPV_OPCODE_FLAGS_NONE,
207 0,
208 {SPV_OPERAND_TYPE_NONE}},
209 {"Input",
210 StorageClassInput,
211 SPV_OPCODE_FLAGS_CAPABILITIES,
212 CapabilityShader,
213 {SPV_OPERAND_TYPE_NONE}},
214 {"Uniform",
215 StorageClassUniform,
216 SPV_OPCODE_FLAGS_CAPABILITIES,
217 CapabilityShader,
218 {SPV_OPERAND_TYPE_NONE}},
219 {"Output",
220 StorageClassOutput,
221 SPV_OPCODE_FLAGS_CAPABILITIES,
222 CapabilityShader,
223 {SPV_OPERAND_TYPE_NONE}},
224 {"WorkgroupLocal",
225 StorageClassWorkgroupLocal,
226 SPV_OPCODE_FLAGS_NONE,
227 0,
228 {SPV_OPERAND_TYPE_NONE}},
229 {"WorkgroupGlobal",
230 StorageClassWorkgroupGlobal,
231 SPV_OPCODE_FLAGS_NONE,
232 0,
233 {SPV_OPERAND_TYPE_NONE}},
234 {"PrivateGlobal",
235 StorageClassPrivateGlobal,
236 SPV_OPCODE_FLAGS_CAPABILITIES,
237 CapabilityShader,
238 {SPV_OPERAND_TYPE_NONE}},
239 {"Function",
240 StorageClassFunction,
241 SPV_OPCODE_FLAGS_NONE,
242 0,
243 {SPV_OPERAND_TYPE_NONE}},
244 {"Generic",
245 StorageClassGeneric,
246 SPV_OPCODE_FLAGS_CAPABILITIES,
247 CapabilityKernel,
248 {SPV_OPERAND_TYPE_NONE}},
David Neto9819adf2015-09-23 10:19:57 -0400249 {"PushConstant",
250 StorageClassPushConstant,
251 SPV_OPCODE_FLAGS_CAPABILITIES,
252 CapabilityShader,
253 {SPV_OPERAND_TYPE_NONE}},
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100254 {"AtomicCounter",
255 StorageClassAtomicCounter,
256 SPV_OPCODE_FLAGS_CAPABILITIES,
257 CapabilityShader,
258 {SPV_OPERAND_TYPE_NONE}},
Lei Zhang604e5ce2015-08-14 14:46:43 -0400259 {"Image",
260 StorageClassImage,
261 SPV_OPCODE_FLAGS_NONE,
262 0,
263 {SPV_OPERAND_TYPE_NONE}},
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100264};
265
266static const spv_operand_desc_t dimensionalityEntries[] = {
David Netoaa0c3a52015-09-23 10:30:06 -0400267 // TODO(dneto): Update capability dependencies for Rev32
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100268 {"1D", Dim1D, SPV_OPCODE_FLAGS_NONE, 0, {SPV_OPERAND_TYPE_NONE}},
269 {"2D", Dim2D, SPV_OPCODE_FLAGS_NONE, 0, {SPV_OPERAND_TYPE_NONE}},
270 {"3D", Dim3D, SPV_OPCODE_FLAGS_NONE, 0, {SPV_OPERAND_TYPE_NONE}},
271 {"Cube",
272 DimCube,
273 SPV_OPCODE_FLAGS_CAPABILITIES,
274 CapabilityShader,
275 {SPV_OPERAND_TYPE_NONE}},
276 {"Rect",
277 DimRect,
278 SPV_OPCODE_FLAGS_CAPABILITIES,
279 CapabilityShader,
280 {SPV_OPERAND_TYPE_NONE}},
281 {"Buffer", DimBuffer, SPV_OPCODE_FLAGS_NONE, 0, {SPV_OPERAND_TYPE_NONE}},
David Netoaa0c3a52015-09-23 10:30:06 -0400282 {"InputTarget",
283 DimInputTarget,
284 SPV_OPCODE_FLAGS_CAPABILITIES,
285 CapabilityInputTarget,
286 {SPV_OPERAND_TYPE_NONE}},
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100287};
288
289static const spv_operand_desc_t samplerAddressingModeEntries[] = {
290 {"None",
291 SamplerAddressingModeNone,
292 SPV_OPCODE_FLAGS_CAPABILITIES,
293 CapabilityKernel,
294 {SPV_OPERAND_TYPE_NONE}},
295 {"ClampToEdge",
296 SamplerAddressingModeClampToEdge,
297 SPV_OPCODE_FLAGS_CAPABILITIES,
298 CapabilityKernel,
299 {SPV_OPERAND_TYPE_NONE}},
300 {"Clamp",
301 SamplerAddressingModeClamp,
302 SPV_OPCODE_FLAGS_CAPABILITIES,
303 CapabilityKernel,
304 {SPV_OPERAND_TYPE_NONE}},
305 {"Repeat",
306 SamplerAddressingModeRepeat,
307 SPV_OPCODE_FLAGS_CAPABILITIES,
308 CapabilityKernel,
309 {SPV_OPERAND_TYPE_NONE}},
310 {"RepeatMirrored",
311 SamplerAddressingModeRepeatMirrored,
312 SPV_OPCODE_FLAGS_CAPABILITIES,
313 CapabilityKernel,
314 {SPV_OPERAND_TYPE_NONE}},
315};
316
317static const spv_operand_desc_t samplerFilterModeEntries[] = {
318 {"Nearest",
319 SamplerFilterModeNearest,
320 SPV_OPCODE_FLAGS_CAPABILITIES,
321 CapabilityKernel,
322 {SPV_OPERAND_TYPE_NONE}},
323 {"Linear",
324 SamplerFilterModeLinear,
325 SPV_OPCODE_FLAGS_CAPABILITIES,
326 CapabilityKernel,
327 {SPV_OPERAND_TYPE_NONE}},
328};
329
David Netob30a0c52015-09-16 15:56:43 -0400330static const spv_operand_desc_t samplerImageFormatEntries[] = {
331// In Rev31, all the cases depend on the Shader capability.
332// TODO(dneto): In Rev32, many of these depend on the AdvancedFormats
333// capability instead.
334#define CASE(NAME) \
335 { \
336 #NAME, ImageFormat##NAME, SPV_OPCODE_FLAGS_CAPABILITIES, CapabilityShader, \
337 { \
338 SPV_OPERAND_TYPE_NONE \
339 } \
340 }
341 // clang-format off
342 CASE(Unknown),
343 CASE(Rgba32f),
344 CASE(Rgba16f),
345 CASE(R32f),
346 CASE(Rgba8),
347 CASE(Rgba8Snorm),
348 CASE(Rg32f),
349 CASE(Rg16f),
350 CASE(R11fG11fB10f),
351 CASE(R16f),
352 CASE(Rgba16),
353 CASE(Rgb10A2),
354 CASE(Rg16),
355 CASE(Rg8),
356 CASE(R16),
357 CASE(R8),
358 CASE(Rgba16Snorm),
359 CASE(Rg16Snorm),
360 CASE(Rg8Snorm),
361 CASE(R16Snorm),
362 CASE(R8Snorm),
363 CASE(Rgba32i),
364 CASE(Rgba16i),
365 CASE(Rgba8i),
366 CASE(R32i),
367 CASE(Rg32i),
368 CASE(Rg16i),
369 CASE(Rg8i),
370 CASE(R16i),
371 CASE(R8i),
372 CASE(Rgba32ui),
373 CASE(Rgba16ui),
374 CASE(Rgba8ui),
375 CASE(R32ui),
376 CASE(Rgb10a2ui),
377 CASE(Rg32ui),
378 CASE(Rg16ui),
379 CASE(Rg8ui),
380 CASE(R16ui),
381 CASE(R8ui),
382 // clang-format on
383#undef CASE
384};
385
David Netoee1b3bb2015-09-18 11:19:18 -0400386// Image operand definitions. Each enum value is a mask. When that mask
387// bit is set, the instruction should have further ID operands.
388// Some mask values depend on a capability.
389static const spv_operand_desc_t imageOperandEntries[] = {
390// Rev32 and later adds many more enums.
391#define CASE(NAME) \
392 #NAME, spv::ImageOperands##NAME##Mask, SPV_OPCODE_FLAGS_NONE, 0
393#define CASE_CAP(NAME, CAP) \
394 #NAME, spv::ImageOperands##NAME##Mask, SPV_OPCODE_FLAGS_CAPABILITIES, CAP
395#define ID SPV_OPERAND_TYPE_ID
396#define NONE SPV_OPERAND_TYPE_NONE
397 {"None", spv::ImageOperandsMaskNone, SPV_OPCODE_FLAGS_NONE, 0, {NONE}},
398 {CASE_CAP(Bias, CapabilityShader), {ID, NONE}},
399 {CASE(Lod), {ID, NONE}},
400 {CASE(Grad), {ID, ID, NONE}},
401 {CASE(ConstOffset), {ID, NONE}},
402 {CASE_CAP(Offset, CapabilityImageGatherExtended), {ID, NONE}},
403 {CASE(ConstOffsets), {ID, NONE}},
404 {CASE(Sample), {ID, NONE}},
405#undef CASE
406#undef CASE_CAP
407#undef ID
408#undef NONE
409};
410
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100411static const spv_operand_desc_t fpFastMathModeEntries[] = {
412 {"None",
413 FPFastMathModeMaskNone,
414 SPV_OPCODE_FLAGS_NONE,
415 0,
416 {SPV_OPERAND_TYPE_NONE}},
417 {"NotNaN",
418 FPFastMathModeNotNaNMask,
419 SPV_OPCODE_FLAGS_CAPABILITIES,
420 CapabilityKernel,
421 {SPV_OPERAND_TYPE_NONE}},
422 {"NotInf",
423 FPFastMathModeNotInfMask,
424 SPV_OPCODE_FLAGS_CAPABILITIES,
425 CapabilityKernel,
426 {SPV_OPERAND_TYPE_NONE}},
427 {"NSZ",
428 FPFastMathModeNSZMask,
429 SPV_OPCODE_FLAGS_CAPABILITIES,
430 CapabilityKernel,
431 {SPV_OPERAND_TYPE_NONE}},
432 {"AllowRecip",
433 FPFastMathModeAllowRecipMask,
434 SPV_OPCODE_FLAGS_CAPABILITIES,
435 CapabilityKernel,
436 {SPV_OPERAND_TYPE_NONE}},
437 {"Fast",
438 FPFastMathModeFastMask,
439 SPV_OPCODE_FLAGS_CAPABILITIES,
440 CapabilityKernel,
441 {SPV_OPERAND_TYPE_NONE}},
442};
443
444static const spv_operand_desc_t fpRoundingModeEntries[] = {
445 {"RTE",
446 FPRoundingModeRTE,
447 SPV_OPCODE_FLAGS_CAPABILITIES,
448 CapabilityKernel,
449 {SPV_OPERAND_TYPE_NONE}},
450 {"RTZ",
451 FPRoundingModeRTZ,
452 SPV_OPCODE_FLAGS_CAPABILITIES,
453 CapabilityKernel,
454 {SPV_OPERAND_TYPE_NONE}},
455 {"RTP",
456 FPRoundingModeRTP,
457 SPV_OPCODE_FLAGS_CAPABILITIES,
458 CapabilityKernel,
459 {SPV_OPERAND_TYPE_NONE}},
460 {"RTN",
461 FPRoundingModeRTN,
462 SPV_OPCODE_FLAGS_CAPABILITIES,
463 CapabilityKernel,
464 {SPV_OPERAND_TYPE_NONE}},
465};
466
467static const spv_operand_desc_t linkageTypeEntries[] = {
468 {"Export",
469 LinkageTypeExport,
470 SPV_OPCODE_FLAGS_CAPABILITIES,
471 CapabilityLinkage,
472 {SPV_OPERAND_TYPE_NONE}},
473 {"Import",
474 LinkageTypeImport,
475 SPV_OPCODE_FLAGS_CAPABILITIES,
476 CapabilityLinkage,
477 {SPV_OPERAND_TYPE_NONE}},
478};
479
480static const spv_operand_desc_t accessQualifierEntries[] = {
481 {"ReadOnly",
482 AccessQualifierReadOnly,
483 SPV_OPCODE_FLAGS_CAPABILITIES,
484 CapabilityKernel,
485 {SPV_OPERAND_TYPE_NONE}},
486 {"WriteOnly",
487 AccessQualifierWriteOnly,
488 SPV_OPCODE_FLAGS_CAPABILITIES,
489 CapabilityKernel,
490 {SPV_OPERAND_TYPE_NONE}},
491 {"ReadWrite",
492 AccessQualifierReadWrite,
493 SPV_OPCODE_FLAGS_CAPABILITIES,
494 CapabilityKernel,
495 {SPV_OPERAND_TYPE_NONE}},
496};
497
498static const spv_operand_desc_t functionParameterAttributeEntries[] = {
499 {"Zext",
500 FunctionParameterAttributeZext,
501 SPV_OPCODE_FLAGS_CAPABILITIES,
502 CapabilityKernel,
503 {SPV_OPERAND_TYPE_NONE}},
504 {"Sext",
505 FunctionParameterAttributeSext,
506 SPV_OPCODE_FLAGS_CAPABILITIES,
507 CapabilityKernel,
508 {SPV_OPERAND_TYPE_NONE}},
509 {"ByVal",
510 FunctionParameterAttributeByVal,
511 SPV_OPCODE_FLAGS_CAPABILITIES,
512 CapabilityKernel,
513 {SPV_OPERAND_TYPE_NONE}},
514 {"Sret",
515 FunctionParameterAttributeSret,
516 SPV_OPCODE_FLAGS_CAPABILITIES,
517 CapabilityKernel,
518 {SPV_OPERAND_TYPE_NONE}},
519 {"NoAlias",
520 FunctionParameterAttributeNoAlias,
521 SPV_OPCODE_FLAGS_CAPABILITIES,
522 CapabilityKernel,
523 {SPV_OPERAND_TYPE_NONE}},
David Neto37547b22015-09-10 13:23:11 -0400524 {"NoCapture",
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100525 FunctionParameterAttributeNoCapture,
526 SPV_OPCODE_FLAGS_CAPABILITIES,
527 CapabilityKernel,
528 {SPV_OPERAND_TYPE_NONE}},
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100529 {"NoWrite",
530 FunctionParameterAttributeNoWrite,
531 SPV_OPCODE_FLAGS_CAPABILITIES,
532 CapabilityKernel,
533 {SPV_OPERAND_TYPE_NONE}},
534 {"NoReadWrite",
535 FunctionParameterAttributeNoReadWrite,
536 SPV_OPCODE_FLAGS_CAPABILITIES,
537 CapabilityKernel,
538 {SPV_OPERAND_TYPE_NONE}},
539};
540
541static const spv_operand_desc_t decorationEntries[] = {
Lei Zhang604e5ce2015-08-14 14:46:43 -0400542 {"RelaxedPrecision",
543 DecorationRelaxedPrecision,
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100544 SPV_OPCODE_FLAGS_CAPABILITIES,
545 CapabilityShader,
546 {SPV_OPERAND_TYPE_NONE}},
Lei Zhang604e5ce2015-08-14 14:46:43 -0400547 {
548 "SpecId",
549 DecorationSpecId,
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100550 SPV_OPCODE_FLAGS_CAPABILITIES,
551 CapabilityShader,
Lei Zhang604e5ce2015-08-14 14:46:43 -0400552 {SPV_OPERAND_TYPE_LITERAL_NUMBER},
553 },
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100554 {"Block",
555 DecorationBlock,
556 SPV_OPCODE_FLAGS_CAPABILITIES,
557 CapabilityShader,
558 {SPV_OPERAND_TYPE_NONE}},
559 {"BufferBlock",
560 DecorationBufferBlock,
561 SPV_OPCODE_FLAGS_CAPABILITIES,
562 CapabilityShader,
563 {SPV_OPERAND_TYPE_NONE}},
564 {"RowMajor",
565 DecorationRowMajor,
566 SPV_OPCODE_FLAGS_CAPABILITIES,
567 CapabilityMatrix,
568 {SPV_OPERAND_TYPE_NONE}},
569 {"ColMajor",
570 DecorationColMajor,
571 SPV_OPCODE_FLAGS_CAPABILITIES,
572 CapabilityMatrix,
573 {SPV_OPERAND_TYPE_NONE}},
Lei Zhang604e5ce2015-08-14 14:46:43 -0400574 {"ArrayStride",
575 DecorationArrayStride,
576 SPV_OPCODE_FLAGS_CAPABILITIES,
577 CapabilityShader,
578 {SPV_OPERAND_TYPE_LITERAL_NUMBER, SPV_OPERAND_TYPE_NONE}},
579 {"MatrixStride",
580 DecorationMatrixStride,
581 SPV_OPCODE_FLAGS_CAPABILITIES,
582 CapabilityShader,
583 {SPV_OPERAND_TYPE_LITERAL_NUMBER, SPV_OPERAND_TYPE_NONE}},
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100584 {"GLSLShared",
585 DecorationGLSLShared,
586 SPV_OPCODE_FLAGS_CAPABILITIES,
587 CapabilityShader,
588 {SPV_OPERAND_TYPE_NONE}},
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100589 {"GLSLPacked",
590 DecorationGLSLPacked,
591 SPV_OPCODE_FLAGS_CAPABILITIES,
592 CapabilityShader,
593 {SPV_OPERAND_TYPE_NONE}},
Lei Zhang604e5ce2015-08-14 14:46:43 -0400594 {"CPacked",
595 DecorationCPacked,
596 SPV_OPCODE_FLAGS_CAPABILITIES,
597 CapabilityKernel,
598 {SPV_OPERAND_TYPE_NONE}},
599 {"BuiltIn",
600 DecorationBuiltIn,
601 SPV_OPCODE_FLAGS_CAPABILITIES,
602 CapabilityShader,
603 {SPV_OPERAND_TYPE_BUILT_IN, SPV_OPERAND_TYPE_NONE}},
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100604 {"Smooth",
605 DecorationSmooth,
606 SPV_OPCODE_FLAGS_CAPABILITIES,
607 CapabilityShader,
608 {SPV_OPERAND_TYPE_NONE}},
David Netodbaf4072015-09-22 16:23:06 -0400609 {"NoPerspective",
610 DecorationNoPerspective,
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100611 SPV_OPCODE_FLAGS_CAPABILITIES,
612 CapabilityShader,
613 {SPV_OPERAND_TYPE_NONE}},
614 {"Flat",
615 DecorationFlat,
616 SPV_OPCODE_FLAGS_CAPABILITIES,
617 CapabilityShader,
618 {SPV_OPERAND_TYPE_NONE}},
619 {"Patch",
620 DecorationPatch,
621 SPV_OPCODE_FLAGS_CAPABILITIES,
622 CapabilityTessellation,
623 {SPV_OPERAND_TYPE_NONE}},
624 {"Centroid",
625 DecorationCentroid,
626 SPV_OPCODE_FLAGS_CAPABILITIES,
627 CapabilityShader,
628 {SPV_OPERAND_TYPE_NONE}},
629 {"Sample",
630 DecorationSample,
631 SPV_OPCODE_FLAGS_CAPABILITIES,
632 CapabilityShader,
633 {SPV_OPERAND_TYPE_NONE}},
634 {"Invariant",
635 DecorationInvariant,
636 SPV_OPCODE_FLAGS_CAPABILITIES,
637 CapabilityShader,
638 {SPV_OPERAND_TYPE_NONE}},
639 {"Restrict",
640 DecorationRestrict,
641 SPV_OPCODE_FLAGS_NONE,
642 0,
643 {SPV_OPERAND_TYPE_NONE}},
644 {"Aliased",
645 DecorationAliased,
646 SPV_OPCODE_FLAGS_NONE,
647 0,
648 {SPV_OPERAND_TYPE_NONE}},
649 {"Volatile",
650 DecorationVolatile,
651 SPV_OPCODE_FLAGS_NONE,
652 0,
653 {SPV_OPERAND_TYPE_NONE}},
654 {"Constant",
655 DecorationConstant,
656 SPV_OPCODE_FLAGS_CAPABILITIES,
657 CapabilityKernel,
658 {SPV_OPERAND_TYPE_NONE}},
659 {"Coherent",
660 DecorationCoherent,
661 SPV_OPCODE_FLAGS_NONE,
662 0,
663 {SPV_OPERAND_TYPE_NONE}},
David Netodbaf4072015-09-22 16:23:06 -0400664 {"NonWritable",
665 DecorationNonWritable,
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100666 SPV_OPCODE_FLAGS_NONE,
667 0,
668 {SPV_OPERAND_TYPE_NONE}},
David Netodbaf4072015-09-22 16:23:06 -0400669 {"NonReadable",
670 DecorationNonReadable,
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100671 SPV_OPCODE_FLAGS_NONE,
672 0,
673 {SPV_OPERAND_TYPE_NONE}},
674 {"Uniform",
675 DecorationUniform,
676 SPV_OPCODE_FLAGS_CAPABILITIES,
677 CapabilityShader,
678 {SPV_OPERAND_TYPE_NONE}},
David Neto37547b22015-09-10 13:23:11 -0400679 {"SaturatedConversion",
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100680 DecorationSaturatedConversion,
681 SPV_OPCODE_FLAGS_CAPABILITIES,
682 CapabilityKernel,
683 {SPV_OPERAND_TYPE_NONE}},
684 {"Stream",
685 DecorationStream,
686 SPV_OPCODE_FLAGS_CAPABILITIES,
687 CapabilityGeometry,
688 {SPV_OPERAND_TYPE_LITERAL_NUMBER, SPV_OPERAND_TYPE_NONE}},
689 {"Location",
690 DecorationLocation,
691 SPV_OPCODE_FLAGS_CAPABILITIES,
692 CapabilityShader,
693 {SPV_OPERAND_TYPE_LITERAL_NUMBER, SPV_OPERAND_TYPE_NONE}},
694 {"Component",
695 DecorationComponent,
696 SPV_OPCODE_FLAGS_CAPABILITIES,
697 CapabilityShader,
698 {SPV_OPERAND_TYPE_LITERAL_NUMBER, SPV_OPERAND_TYPE_NONE}},
699 {"Index",
700 DecorationIndex,
701 SPV_OPCODE_FLAGS_CAPABILITIES,
702 CapabilityShader,
703 {SPV_OPERAND_TYPE_LITERAL_NUMBER, SPV_OPERAND_TYPE_NONE}},
704 {"Binding",
705 DecorationBinding,
706 SPV_OPCODE_FLAGS_CAPABILITIES,
707 CapabilityShader,
708 {SPV_OPERAND_TYPE_LITERAL_NUMBER, SPV_OPERAND_TYPE_NONE}},
709 {"DescriptorSet",
710 DecorationDescriptorSet,
711 SPV_OPCODE_FLAGS_CAPABILITIES,
712 CapabilityShader,
713 {SPV_OPERAND_TYPE_LITERAL_NUMBER, SPV_OPERAND_TYPE_NONE}},
714 {"Offset",
715 DecorationOffset,
716 SPV_OPCODE_FLAGS_NONE,
717 0,
718 {SPV_OPERAND_TYPE_LITERAL_NUMBER, SPV_OPERAND_TYPE_NONE}},
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100719 {"XfbBuffer",
720 DecorationXfbBuffer,
721 SPV_OPCODE_FLAGS_CAPABILITIES,
722 CapabilityShader,
723 {SPV_OPERAND_TYPE_LITERAL_NUMBER, SPV_OPERAND_TYPE_NONE}},
Lei Zhang604e5ce2015-08-14 14:46:43 -0400724 {"XfbStride",
725 DecorationXfbStride,
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100726 SPV_OPCODE_FLAGS_CAPABILITIES,
727 CapabilityShader,
728 {SPV_OPERAND_TYPE_LITERAL_NUMBER, SPV_OPERAND_TYPE_NONE}},
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100729 {"FuncParamAttr",
730 DecorationFuncParamAttr,
731 SPV_OPCODE_FLAGS_CAPABILITIES,
732 CapabilityKernel,
733 {SPV_OPERAND_TYPE_FUNCTION_PARAMETER_ATTRIBUTE, SPV_OPERAND_TYPE_NONE}},
734 {"FPRoundingMode",
735 DecorationFPRoundingMode,
736 SPV_OPCODE_FLAGS_CAPABILITIES,
737 CapabilityKernel,
738 {SPV_OPERAND_TYPE_FP_ROUNDING_MODE, SPV_OPERAND_TYPE_NONE}},
739 {"FPFastMathMode",
David Neto37547b22015-09-10 13:23:11 -0400740 DecorationFPFastMathMode,
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100741 SPV_OPCODE_FLAGS_CAPABILITIES,
742 CapabilityKernel,
743 {SPV_OPERAND_TYPE_FP_FAST_MATH_MODE, SPV_OPERAND_TYPE_NONE}},
744 {"LinkageAttributes",
745 DecorationLinkageAttributes,
746 SPV_OPCODE_FLAGS_CAPABILITIES,
747 CapabilityLinkage,
David Neto55bdfcb2015-09-10 15:51:57 -0400748 {SPV_OPERAND_TYPE_LITERAL_STRING, SPV_OPERAND_TYPE_LINKAGE_TYPE, SPV_OPERAND_TYPE_NONE}},
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100749};
750
751static const spv_operand_desc_t builtInEntries[] = {
752 {"Position",
753 BuiltInPosition,
754 SPV_OPCODE_FLAGS_CAPABILITIES,
755 CapabilityShader,
756 {SPV_OPERAND_TYPE_NONE}},
757 {"PointSize",
758 BuiltInPointSize,
759 SPV_OPCODE_FLAGS_CAPABILITIES,
760 CapabilityShader,
761 {SPV_OPERAND_TYPE_NONE}},
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100762 {"ClipDistance",
763 BuiltInClipDistance,
764 SPV_OPCODE_FLAGS_CAPABILITIES,
765 CapabilityShader,
766 {SPV_OPERAND_TYPE_NONE}},
767 {"CullDistance",
768 BuiltInCullDistance,
769 SPV_OPCODE_FLAGS_CAPABILITIES,
770 CapabilityShader,
771 {SPV_OPERAND_TYPE_NONE}},
772 {"VertexId",
773 BuiltInVertexId,
774 SPV_OPCODE_FLAGS_CAPABILITIES,
775 CapabilityShader,
776 {SPV_OPERAND_TYPE_NONE}},
777 {"InstanceId",
778 BuiltInInstanceId,
779 SPV_OPCODE_FLAGS_CAPABILITIES,
780 CapabilityShader,
781 {SPV_OPERAND_TYPE_NONE}},
782 {"PrimitiveId",
783 BuiltInPrimitiveId,
784 SPV_OPCODE_FLAGS_CAPABILITIES,
785 CapabilityGeometry | CapabilityTessellation,
786 {SPV_OPERAND_TYPE_NONE}},
787 {"InvocationId",
788 BuiltInInvocationId,
789 SPV_OPCODE_FLAGS_CAPABILITIES,
790 CapabilityGeometry | CapabilityTessellation,
791 {SPV_OPERAND_TYPE_NONE}},
792 {"Layer",
793 BuiltInLayer,
794 SPV_OPCODE_FLAGS_CAPABILITIES,
795 CapabilityGeometry,
796 {SPV_OPERAND_TYPE_NONE}},
797 {"ViewportIndex",
798 BuiltInViewportIndex,
799 SPV_OPCODE_FLAGS_CAPABILITIES,
800 CapabilityGeometry,
801 {SPV_OPERAND_TYPE_NONE}},
802 {"TessLevelOuter",
803 BuiltInTessLevelOuter,
804 SPV_OPCODE_FLAGS_CAPABILITIES,
805 CapabilityTessellation,
806 {SPV_OPERAND_TYPE_NONE}},
807 {"TessLevelInner",
808 BuiltInTessLevelInner,
809 SPV_OPCODE_FLAGS_CAPABILITIES,
810 CapabilityTessellation,
811 {SPV_OPERAND_TYPE_NONE}},
812 {"TessCoord",
813 BuiltInTessCoord,
814 SPV_OPCODE_FLAGS_CAPABILITIES,
815 CapabilityTessellation,
816 {SPV_OPERAND_TYPE_NONE}},
817 {"PatchVertices",
818 BuiltInPatchVertices,
819 SPV_OPCODE_FLAGS_CAPABILITIES,
820 CapabilityTessellation,
821 {SPV_OPERAND_TYPE_NONE}},
822 {"FragCoord",
823 BuiltInFragCoord,
824 SPV_OPCODE_FLAGS_CAPABILITIES,
825 CapabilityShader,
826 {SPV_OPERAND_TYPE_NONE}},
827 {"PointCoord",
828 BuiltInPointCoord,
829 SPV_OPCODE_FLAGS_CAPABILITIES,
830 CapabilityShader,
831 {SPV_OPERAND_TYPE_NONE}},
832 {"FrontFacing",
833 BuiltInFrontFacing,
834 SPV_OPCODE_FLAGS_CAPABILITIES,
835 CapabilityShader,
836 {SPV_OPERAND_TYPE_NONE}},
837 {"SampleId",
838 BuiltInSampleId,
839 SPV_OPCODE_FLAGS_CAPABILITIES,
840 CapabilityShader,
841 {SPV_OPERAND_TYPE_NONE}},
842 {"SamplePosition",
843 BuiltInSamplePosition,
844 SPV_OPCODE_FLAGS_CAPABILITIES,
845 CapabilityShader,
846 {SPV_OPERAND_TYPE_NONE}},
847 {"SampleMask",
848 BuiltInSampleMask,
849 SPV_OPCODE_FLAGS_CAPABILITIES,
850 CapabilityShader,
851 {SPV_OPERAND_TYPE_NONE}},
852 {"FragColor",
853 BuiltInFragColor,
854 SPV_OPCODE_FLAGS_CAPABILITIES,
855 CapabilityShader,
856 {SPV_OPERAND_TYPE_NONE}},
857 {"FragDepth",
858 BuiltInFragDepth,
859 SPV_OPCODE_FLAGS_CAPABILITIES,
860 CapabilityShader,
861 {SPV_OPERAND_TYPE_NONE}},
862 {"HelperInvocation",
863 BuiltInHelperInvocation,
864 SPV_OPCODE_FLAGS_CAPABILITIES,
865 CapabilityShader,
866 {SPV_OPERAND_TYPE_NONE}},
867 {"NumWorkgroups",
868 BuiltInNumWorkgroups,
869 SPV_OPCODE_FLAGS_NONE,
870 0,
871 {SPV_OPERAND_TYPE_NONE}},
872 {"WorkgroupSize",
873 BuiltInWorkgroupSize,
874 SPV_OPCODE_FLAGS_NONE,
875 0,
876 {SPV_OPERAND_TYPE_NONE}},
877 {"WorkgroupId",
878 BuiltInWorkgroupId,
879 SPV_OPCODE_FLAGS_NONE,
880 0,
881 {SPV_OPERAND_TYPE_NONE}},
882 {"LocalInvocationId",
883 BuiltInLocalInvocationId,
884 SPV_OPCODE_FLAGS_NONE,
885 0,
886 {SPV_OPERAND_TYPE_NONE}},
887 {"GlobalInvocationId",
888 BuiltInGlobalInvocationId,
889 SPV_OPCODE_FLAGS_NONE,
890 0,
891 {SPV_OPERAND_TYPE_NONE}},
892 {"LocalInvocationIndex",
David Neto37547b22015-09-10 13:23:11 -0400893 BuiltInLocalInvocationIndex,
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100894 SPV_OPCODE_FLAGS_CAPABILITIES,
895 CapabilityShader,
896 {SPV_OPERAND_TYPE_NONE}},
897 {"WorkDim",
898 BuiltInWorkDim,
899 SPV_OPCODE_FLAGS_CAPABILITIES,
900 CapabilityKernel,
901 {SPV_OPERAND_TYPE_NONE}},
902 {"GlobalSize",
903 BuiltInGlobalSize,
904 SPV_OPCODE_FLAGS_CAPABILITIES,
905 CapabilityKernel,
906 {SPV_OPERAND_TYPE_NONE}},
907 {"EnqueuedWorkgroupSize",
908 BuiltInEnqueuedWorkgroupSize,
909 SPV_OPCODE_FLAGS_CAPABILITIES,
910 CapabilityKernel,
911 {SPV_OPERAND_TYPE_NONE}},
912 {"GlobalOffset",
913 BuiltInGlobalOffset,
914 SPV_OPCODE_FLAGS_CAPABILITIES,
915 CapabilityKernel,
916 {SPV_OPERAND_TYPE_NONE}},
917 {"GlobalLinearId",
918 BuiltInGlobalLinearId,
919 SPV_OPCODE_FLAGS_CAPABILITIES,
920 CapabilityKernel,
921 {SPV_OPERAND_TYPE_NONE}},
922 {"WorkgroupLinearId",
923 BuiltInWorkgroupLinearId,
924 SPV_OPCODE_FLAGS_CAPABILITIES,
925 CapabilityKernel,
926 {SPV_OPERAND_TYPE_NONE}},
927 {"SubgroupSize",
928 BuiltInSubgroupSize,
929 SPV_OPCODE_FLAGS_CAPABILITIES,
930 CapabilityKernel,
931 {SPV_OPERAND_TYPE_NONE}},
932 {"SubgroupMaxSize",
933 BuiltInSubgroupMaxSize,
934 SPV_OPCODE_FLAGS_CAPABILITIES,
935 CapabilityKernel,
936 {SPV_OPERAND_TYPE_NONE}},
937 {"NumSubgroups",
938 BuiltInNumSubgroups,
939 SPV_OPCODE_FLAGS_CAPABILITIES,
940 CapabilityKernel,
941 {SPV_OPERAND_TYPE_NONE}},
942 {"NumEnqueuedSubgroups",
943 BuiltInNumEnqueuedSubgroups,
944 SPV_OPCODE_FLAGS_CAPABILITIES,
945 CapabilityKernel,
946 {SPV_OPERAND_TYPE_NONE}},
947 {"SubgroupId",
David Neto37547b22015-09-10 13:23:11 -0400948 BuiltInSubgroupId,
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100949 SPV_OPCODE_FLAGS_CAPABILITIES,
950 CapabilityKernel,
951 {SPV_OPERAND_TYPE_NONE}},
952 {"SubgroupLocalInvocationId",
953 BuiltInSubgroupLocalInvocationId,
954 SPV_OPCODE_FLAGS_CAPABILITIES,
955 CapabilityKernel,
956 {SPV_OPERAND_TYPE_NONE}},
David Neto2d1b5e52015-09-23 15:35:27 -0400957 {"VertexIndex",
958 BuiltInVertexIndex,
959 SPV_OPCODE_FLAGS_CAPABILITIES,
960 CapabilityShader,
961 {SPV_OPERAND_TYPE_NONE}},
962 {"InstanceIndex",
963 BuiltInInstanceIndex,
964 SPV_OPCODE_FLAGS_CAPABILITIES,
965 CapabilityShader,
966 {SPV_OPERAND_TYPE_NONE}},
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100967};
968
969static const spv_operand_desc_t selectionControlEntries[] = {
970 {"None",
971 SelectionControlMaskNone,
972 SPV_OPCODE_FLAGS_NONE,
973 0,
974 {SPV_OPERAND_TYPE_NONE}},
975 {"Flatten",
976 SelectionControlFlattenMask,
977 SPV_OPCODE_FLAGS_NONE,
978 0,
979 {SPV_OPERAND_TYPE_NONE}},
980 {"DontFlatten",
981 SelectionControlDontFlattenMask,
982 SPV_OPCODE_FLAGS_NONE,
983 0,
984 {SPV_OPERAND_TYPE_NONE}},
985};
986
987static const spv_operand_desc_t loopControlEntries[] = {
988 {"None",
989 LoopControlMaskNone,
990 SPV_OPCODE_FLAGS_NONE,
991 0,
992 {SPV_OPERAND_TYPE_NONE}},
993 {"Unroll",
994 LoopControlUnrollMask,
995 SPV_OPCODE_FLAGS_NONE,
996 0,
997 {SPV_OPERAND_TYPE_NONE}},
998 {"DontUnroll",
999 LoopControlDontUnrollMask,
1000 SPV_OPCODE_FLAGS_NONE,
1001 0,
1002 {SPV_OPERAND_TYPE_NONE}},
1003};
1004
1005static const spv_operand_desc_t functionControlEntries[] = {
1006 {"None",
1007 FunctionControlMaskNone,
1008 SPV_OPCODE_FLAGS_NONE,
1009 0,
1010 {SPV_OPERAND_TYPE_NONE}},
David Netof4fde6c2015-09-14 14:50:37 -04001011 {"Inline",
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001012 FunctionControlInlineMask,
1013 SPV_OPCODE_FLAGS_NONE,
1014 0,
1015 {SPV_OPERAND_TYPE_NONE}},
1016 {"DontInline",
1017 FunctionControlDontInlineMask,
1018 SPV_OPCODE_FLAGS_NONE,
1019 0,
1020 {SPV_OPERAND_TYPE_NONE}},
1021 {"Pure",
1022 FunctionControlPureMask,
1023 SPV_OPCODE_FLAGS_NONE,
1024 0,
1025 {SPV_OPERAND_TYPE_NONE}},
1026 {"Const",
1027 FunctionControlConstMask,
1028 SPV_OPCODE_FLAGS_NONE,
1029 0,
1030 {SPV_OPERAND_TYPE_NONE}},
1031};
1032
1033static const spv_operand_desc_t memorySemanticsEntries[] = {
1034 {"None",
1035 MemorySemanticsMaskNone,
1036 SPV_OPCODE_FLAGS_NONE,
1037 0,
1038 {SPV_OPERAND_TYPE_NONE}},
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001039 {"SequentiallyConsistent",
1040 MemorySemanticsSequentiallyConsistentMask,
1041 SPV_OPCODE_FLAGS_NONE,
1042 0,
1043 {SPV_OPERAND_TYPE_NONE}},
1044 {"Acquire",
1045 MemorySemanticsAcquireMask,
1046 SPV_OPCODE_FLAGS_NONE,
1047 0,
1048 {SPV_OPERAND_TYPE_NONE}},
1049 {"Release",
1050 MemorySemanticsReleaseMask,
1051 SPV_OPCODE_FLAGS_NONE,
1052 0,
1053 {SPV_OPERAND_TYPE_NONE}},
1054 {"UniformMemory",
1055 MemorySemanticsUniformMemoryMask,
1056 SPV_OPCODE_FLAGS_CAPABILITIES,
1057 CapabilityShader,
1058 {SPV_OPERAND_TYPE_NONE}},
1059 {"SubgroupMemory",
1060 MemorySemanticsSubgroupMemoryMask,
1061 SPV_OPCODE_FLAGS_NONE,
1062 0,
1063 {SPV_OPERAND_TYPE_NONE}},
1064 {"WorkgroupLocalMemory",
1065 MemorySemanticsWorkgroupLocalMemoryMask,
1066 SPV_OPCODE_FLAGS_NONE,
1067 0,
1068 {SPV_OPERAND_TYPE_NONE}},
1069 {"WorkgroupGlobalMemory",
1070 MemorySemanticsWorkgroupGlobalMemoryMask,
1071 SPV_OPCODE_FLAGS_NONE,
1072 0,
1073 {SPV_OPERAND_TYPE_NONE}},
1074 {"AtomicCounterMemory",
1075 MemorySemanticsAtomicCounterMemoryMask,
1076 SPV_OPCODE_FLAGS_CAPABILITIES,
1077 CapabilityShader,
1078 {SPV_OPERAND_TYPE_NONE}},
1079 {
1080 "ImageMemory",
1081 MemorySemanticsImageMemoryMask,
1082 SPV_OPCODE_FLAGS_NONE,
1083 0,
1084 {SPV_OPERAND_TYPE_NONE},
1085 },
1086};
1087
1088static const spv_operand_desc_t memoryAccessEntries[] = {
1089 {"None",
1090 MemoryAccessMaskNone,
1091 SPV_OPCODE_FLAGS_NONE,
1092 0,
1093 {SPV_OPERAND_TYPE_NONE}},
1094 {"Volatile",
1095 MemoryAccessVolatileMask,
1096 SPV_OPCODE_FLAGS_NONE,
1097 0,
1098 {SPV_OPERAND_TYPE_NONE}},
1099 {
1100 "Aligned",
1101 MemoryAccessAlignedMask,
1102 SPV_OPCODE_FLAGS_NONE,
1103 0,
David Neto4a291312015-09-14 15:08:48 -04001104 {SPV_OPERAND_TYPE_LITERAL_NUMBER, SPV_OPERAND_TYPE_NONE},
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001105 },
David Neto49c299b2015-09-23 15:38:59 -04001106 {"Nontemporal",
1107 MemoryAccessNontemporalMask,
1108 SPV_OPCODE_FLAGS_NONE,
1109 0,
1110 {SPV_OPERAND_TYPE_NONE}},
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001111};
1112
1113static const spv_operand_desc_t scopeEntries[] = {
1114 {"CrossDevice",
1115 ScopeCrossDevice,
1116 SPV_OPCODE_FLAGS_NONE,
1117 0,
1118 {SPV_OPERAND_TYPE_NONE}},
1119 {"Device", ScopeDevice, SPV_OPCODE_FLAGS_NONE, 0, {SPV_OPERAND_TYPE_NONE}},
1120 {"Workgroup",
1121 ScopeWorkgroup,
1122 SPV_OPCODE_FLAGS_NONE,
1123 0,
1124 {SPV_OPERAND_TYPE_NONE}},
1125 {"Subgroup",
1126 ScopeSubgroup,
1127 SPV_OPCODE_FLAGS_NONE,
1128 0,
1129 {SPV_OPERAND_TYPE_NONE}},
1130 {
1131 "Invocation",
1132 ScopeInvocation,
1133 SPV_OPCODE_FLAGS_NONE,
1134 0,
1135 {SPV_OPERAND_TYPE_NONE},
1136 },
1137};
1138
1139static const spv_operand_desc_t groupOperationEntries[] = {
1140 {"Reduce",
1141 GroupOperationReduce,
1142 SPV_OPCODE_FLAGS_CAPABILITIES,
1143 CapabilityKernel,
1144 {SPV_OPERAND_TYPE_NONE}},
1145 {"InclusiveScan",
1146 GroupOperationInclusiveScan,
1147 SPV_OPCODE_FLAGS_CAPABILITIES,
1148 CapabilityKernel,
1149 {SPV_OPERAND_TYPE_NONE}},
1150 {"ExclusiveScan",
1151 GroupOperationExclusiveScan,
1152 SPV_OPCODE_FLAGS_CAPABILITIES,
1153 CapabilityKernel,
1154 {SPV_OPERAND_TYPE_NONE}},
1155};
1156
1157static const spv_operand_desc_t kernelKernelEnqueueFlagssEntries[] = {
1158 {"NoWait",
1159 KernelEnqueueFlagsNoWait,
1160 SPV_OPCODE_FLAGS_CAPABILITIES,
1161 CapabilityKernel,
1162 {SPV_OPERAND_TYPE_NONE}},
1163 {"WaitKernel",
1164 KernelEnqueueFlagsWaitKernel,
1165 SPV_OPCODE_FLAGS_CAPABILITIES,
1166 CapabilityKernel,
1167 {SPV_OPERAND_TYPE_NONE}},
1168 {"WaitWorkGroup",
1169 KernelEnqueueFlagsWaitWorkGroup,
1170 SPV_OPCODE_FLAGS_CAPABILITIES,
1171 CapabilityKernel,
1172 {SPV_OPERAND_TYPE_NONE}},
1173};
1174
1175static const spv_operand_desc_t kernelProfilingInfoEntries[] = {
1176 {"None",
1177 KernelProfilingInfoMaskNone,
1178 SPV_OPCODE_FLAGS_NONE,
1179 0,
1180 {SPV_OPERAND_TYPE_NONE}},
1181 {"CmdExecTime",
1182 KernelProfilingInfoCmdExecTimeMask,
1183 SPV_OPCODE_FLAGS_CAPABILITIES,
1184 CapabilityKernel,
1185 {SPV_OPERAND_TYPE_NONE}},
1186};
1187
1188static const spv_operand_desc_t capabilityInfoEntries[] = {
1189 {"Matrix",
1190 CapabilityMatrix,
1191 SPV_OPCODE_FLAGS_NONE,
1192 0,
1193 {SPV_OPERAND_TYPE_NONE}},
1194 {"Shader",
1195 CapabilityShader,
1196 SPV_OPCODE_FLAGS_CAPABILITIES,
1197 CapabilityMatrix,
1198 {SPV_OPERAND_TYPE_NONE}},
1199 {"Geometry",
1200 CapabilityGeometry,
1201 SPV_OPCODE_FLAGS_CAPABILITIES,
1202 CapabilityShader,
1203 {SPV_OPERAND_TYPE_NONE}},
1204 {"Tessellation",
1205 CapabilityTessellation,
1206 SPV_OPCODE_FLAGS_CAPABILITIES,
1207 CapabilityShader,
1208 {SPV_OPERAND_TYPE_NONE}},
1209 {"Addresses",
1210 CapabilityAddresses,
1211 SPV_OPCODE_FLAGS_NONE,
1212 0,
1213 {SPV_OPERAND_TYPE_NONE}},
1214 {"Linkage",
1215 CapabilityLinkage,
1216 SPV_OPCODE_FLAGS_NONE,
1217 0,
1218 {SPV_OPERAND_TYPE_NONE}},
1219 {"Kernel",
1220 CapabilityKernel,
1221 SPV_OPCODE_FLAGS_NONE,
1222 0,
1223 {SPV_OPERAND_TYPE_NONE}},
1224 {"Vector16",
1225 CapabilityVector16,
1226 SPV_OPCODE_FLAGS_NONE,
1227 0,
1228 {SPV_OPERAND_TYPE_NONE}},
1229 {"Float16Buffer",
1230 CapabilityFloat16Buffer,
1231 SPV_OPCODE_FLAGS_NONE,
1232 0,
1233 {SPV_OPERAND_TYPE_NONE}},
1234 {"Float16",
1235 CapabilityFloat16,
1236 SPV_OPCODE_FLAGS_NONE,
1237 0,
1238 {SPV_OPERAND_TYPE_NONE}},
1239 {"Float64",
1240 CapabilityFloat64,
1241 SPV_OPCODE_FLAGS_NONE,
1242 0,
1243 {SPV_OPERAND_TYPE_NONE}},
1244 {"Int64",
1245 CapabilityInt64,
1246 SPV_OPCODE_FLAGS_NONE,
1247 0,
1248 {SPV_OPERAND_TYPE_NONE}},
1249 {"Int64Atomics",
1250 CapabilityInt64Atomics,
1251 SPV_OPCODE_FLAGS_NONE,
1252 0,
1253 {SPV_OPERAND_TYPE_NONE}},
1254 {"ImageBasic",
1255 CapabilityImageBasic,
1256 SPV_OPCODE_FLAGS_NONE,
1257 0,
1258 {SPV_OPERAND_TYPE_NONE}},
1259 {"ImageReadWrite",
1260 CapabilityImageReadWrite,
1261 SPV_OPCODE_FLAGS_NONE,
1262 0,
1263 {SPV_OPERAND_TYPE_NONE}},
David Netoc6402d62015-09-10 16:39:09 -04001264 {"ImageMipmap",
1265 CapabilityImageMipmap,
1266 SPV_OPCODE_FLAGS_NONE,
1267 0,
1268 {SPV_OPERAND_TYPE_NONE}},
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001269 {"ImageSRGBWrite",
1270 CapabilityImageSRGBWrite,
1271 SPV_OPCODE_FLAGS_NONE,
1272 0,
1273 {SPV_OPERAND_TYPE_NONE}},
1274 {"Pipes",
1275 CapabilityPipes,
1276 SPV_OPCODE_FLAGS_NONE,
1277 0,
1278 {SPV_OPERAND_TYPE_NONE}},
1279 {"Groups",
1280 CapabilityGroups,
1281 SPV_OPCODE_FLAGS_NONE,
1282 0,
1283 {SPV_OPERAND_TYPE_NONE}},
1284 {"DeviceEnqueue",
1285 CapabilityDeviceEnqueue,
1286 SPV_OPCODE_FLAGS_NONE,
1287 0,
1288 {SPV_OPERAND_TYPE_NONE}},
David Netoc6402d62015-09-10 16:39:09 -04001289// A macro for defining a capability that doesn't depend on other capabilities.
David Netoe994e2e2015-09-11 12:15:58 -04001290// TODO(dneto): Rev32 adds many dependencies between capbilities.
David Netoc6402d62015-09-10 16:39:09 -04001291#define CASE(NAME) { #NAME, Capability##NAME, SPV_OPCODE_FLAGS_NONE, 0, {SPV_OPERAND_TYPE_NONE}}
1292 CASE(LiteralSampler),
1293 CASE(AtomicStorage),
1294 CASE(Int16),
1295 CASE(TessellationPointSize),
1296 CASE(GeometryPointSize),
1297 CASE(ImageGatherExtended),
1298 CASE(StorageImageExtendedFormats),
1299 CASE(StorageImageMultisample),
1300 CASE(UniformBufferArrayDynamicIndexing),
1301 CASE(SampledImageArrayDynamicIndexing),
1302 CASE(StorageBufferArrayDynamicIndexing),
1303 CASE(StorageImageArrayDynamicIndexing),
1304 CASE(ClipDistance),
1305 CASE(CullDistance),
1306 CASE(ImageCubeArray),
1307 CASE(SampleRateShading),
1308#undef CASE
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001309};
1310
1311static const spv_operand_desc_group_t opcodeEntryTypes[] = {
1312 {SPV_OPERAND_TYPE_SOURCE_LANGUAGE,
1313 sizeof(sourceLanguageEntries) / sizeof(spv_operand_desc_t),
1314 sourceLanguageEntries},
1315 {SPV_OPERAND_TYPE_EXECUTION_MODEL,
1316 sizeof(executionModelEntries) / sizeof(spv_operand_desc_t),
1317 executionModelEntries},
1318 {SPV_OPERAND_TYPE_ADDRESSING_MODEL,
1319 sizeof(addressingModelEntries) / sizeof(spv_operand_desc_t),
1320 addressingModelEntries},
1321 {SPV_OPERAND_TYPE_MEMORY_MODEL,
1322 sizeof(memoryModelEntries) / sizeof(spv_operand_desc_t),
1323 memoryModelEntries},
1324 {SPV_OPERAND_TYPE_EXECUTION_MODE,
1325 sizeof(executionModeEntries) / sizeof(spv_operand_desc_t),
1326 executionModeEntries},
1327 {SPV_OPERAND_TYPE_STORAGE_CLASS,
1328 sizeof(storageClassEntries) / sizeof(spv_operand_desc_t),
1329 storageClassEntries},
1330 {SPV_OPERAND_TYPE_DIMENSIONALITY,
1331 sizeof(dimensionalityEntries) / sizeof(spv_operand_desc_t),
1332 dimensionalityEntries},
1333 {SPV_OPERAND_TYPE_SAMPLER_ADDRESSING_MODE,
1334 sizeof(samplerAddressingModeEntries) / sizeof(spv_operand_desc_t),
1335 samplerAddressingModeEntries},
1336 {SPV_OPERAND_TYPE_SAMPLER_FILTER_MODE,
1337 sizeof(samplerFilterModeEntries) / sizeof(spv_operand_desc_t),
1338 samplerFilterModeEntries},
David Netob30a0c52015-09-16 15:56:43 -04001339 {SPV_OPERAND_TYPE_SAMPLER_IMAGE_FORMAT,
1340 sizeof(samplerImageFormatEntries) / sizeof(spv_operand_desc_t),
1341 samplerImageFormatEntries},
David Netoee1b3bb2015-09-18 11:19:18 -04001342 {SPV_OPERAND_TYPE_OPTIONAL_IMAGE,
1343 sizeof(imageOperandEntries) / sizeof(spv_operand_desc_t),
1344 imageOperandEntries},
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001345 {SPV_OPERAND_TYPE_FP_FAST_MATH_MODE,
1346 sizeof(fpFastMathModeEntries) / sizeof(spv_operand_desc_t),
1347 fpFastMathModeEntries},
1348 {SPV_OPERAND_TYPE_FP_ROUNDING_MODE,
1349 sizeof(fpRoundingModeEntries) / sizeof(spv_operand_desc_t),
1350 fpRoundingModeEntries},
1351 {SPV_OPERAND_TYPE_LINKAGE_TYPE,
1352 sizeof(linkageTypeEntries) / sizeof(spv_operand_desc_t),
1353 linkageTypeEntries},
1354 {SPV_OPERAND_TYPE_ACCESS_QUALIFIER,
1355 sizeof(accessQualifierEntries) / sizeof(spv_operand_desc_t),
1356 accessQualifierEntries},
1357 {SPV_OPERAND_TYPE_FUNCTION_PARAMETER_ATTRIBUTE,
1358 sizeof(functionParameterAttributeEntries) / sizeof(spv_operand_desc_t),
1359 functionParameterAttributeEntries},
1360 {SPV_OPERAND_TYPE_DECORATION,
1361 sizeof(decorationEntries) / sizeof(spv_operand_desc_t), decorationEntries},
1362 {SPV_OPERAND_TYPE_BUILT_IN,
1363 sizeof(builtInEntries) / sizeof(spv_operand_desc_t), builtInEntries},
1364 {SPV_OPERAND_TYPE_SELECTION_CONTROL,
1365 sizeof(selectionControlEntries) / sizeof(spv_operand_desc_t),
1366 selectionControlEntries},
1367 {SPV_OPERAND_TYPE_LOOP_CONTROL,
1368 sizeof(loopControlEntries) / sizeof(spv_operand_desc_t),
1369 loopControlEntries},
1370 {SPV_OPERAND_TYPE_FUNCTION_CONTROL,
1371 sizeof(functionControlEntries) / sizeof(spv_operand_desc_t),
1372 functionControlEntries},
1373 {SPV_OPERAND_TYPE_MEMORY_SEMANTICS,
1374 sizeof(memorySemanticsEntries) / sizeof(spv_operand_desc_t),
1375 memorySemanticsEntries},
David Neto78c3b432015-08-27 13:03:52 -04001376 {SPV_OPERAND_TYPE_OPTIONAL_MEMORY_ACCESS,
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001377 sizeof(memoryAccessEntries) / sizeof(spv_operand_desc_t),
1378 memoryAccessEntries},
1379 {SPV_OPERAND_TYPE_EXECUTION_SCOPE,
1380 sizeof(scopeEntries) / sizeof(spv_operand_desc_t), scopeEntries},
1381 {SPV_OPERAND_TYPE_GROUP_OPERATION,
1382 sizeof(groupOperationEntries) / sizeof(spv_operand_desc_t),
1383 groupOperationEntries},
1384 {SPV_OPERAND_TYPE_KERNEL_ENQ_FLAGS,
1385 sizeof(kernelKernelEnqueueFlagssEntries) / sizeof(spv_operand_desc_t),
1386 kernelKernelEnqueueFlagssEntries},
David Neto47994822015-08-27 13:11:01 -04001387 {SPV_OPERAND_TYPE_KERNEL_PROFILING_INFO,
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001388 sizeof(kernelProfilingInfoEntries) / sizeof(spv_operand_desc_t),
1389 kernelProfilingInfoEntries},
1390 {SPV_OPERAND_TYPE_CAPABILITY,
1391 sizeof(capabilityInfoEntries) / sizeof(spv_operand_desc_t),
1392 capabilityInfoEntries},
1393};
1394
1395spv_result_t spvOperandTableGet(spv_operand_table *pOperandTable) {
Lei Zhang40056702015-09-11 14:31:27 -04001396 if (!pOperandTable) return SPV_ERROR_INVALID_POINTER;
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001397
1398 static const spv_operand_table_t table = {
1399 sizeof(opcodeEntryTypes) / sizeof(spv_operand_desc_group_t),
1400 opcodeEntryTypes};
1401
1402 *pOperandTable = &table;
1403
1404 return SPV_SUCCESS;
1405}
1406
1407spv_result_t spvOperandTableNameLookup(const spv_operand_table table,
1408 const spv_operand_type_t type,
David Neto388c40d2015-09-16 16:42:56 -04001409 const char* name,
1410 const size_t nameLength,
1411 spv_operand_desc* pEntry) {
Lei Zhang40056702015-09-11 14:31:27 -04001412 if (!table) return SPV_ERROR_INVALID_TABLE;
1413 if (!name || !pEntry) return SPV_ERROR_INVALID_POINTER;
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001414
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001415 for (uint64_t typeIndex = 0; typeIndex < table->count; ++typeIndex) {
1416 if (type == table->types[typeIndex].type) {
1417 for (uint64_t operandIndex = 0;
1418 operandIndex < table->types[typeIndex].count; ++operandIndex) {
1419 if (nameLength ==
1420 strlen(table->types[typeIndex].entries[operandIndex].name) &&
1421 !strncmp(table->types[typeIndex].entries[operandIndex].name, name,
David Neto388c40d2015-09-16 16:42:56 -04001422 nameLength)) {
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001423 *pEntry = &table->types[typeIndex].entries[operandIndex];
1424 return SPV_SUCCESS;
1425 }
1426 }
1427 }
1428 }
1429
1430 return SPV_ERROR_INVALID_LOOKUP;
1431}
1432
1433spv_result_t spvOperandTableValueLookup(const spv_operand_table table,
1434 const spv_operand_type_t type,
1435 const uint32_t value,
1436 spv_operand_desc *pEntry) {
Lei Zhang40056702015-09-11 14:31:27 -04001437 if (!table) return SPV_ERROR_INVALID_TABLE;
1438 if (!pEntry) return SPV_ERROR_INVALID_POINTER;
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001439
1440 for (uint64_t typeIndex = 0; typeIndex < table->count; ++typeIndex) {
1441 if (type == table->types[typeIndex].type) {
1442 for (uint64_t operandIndex = 0;
1443 operandIndex < table->types[typeIndex].count; ++operandIndex) {
1444 if (value == table->types[typeIndex].entries[operandIndex].value) {
1445 *pEntry = &table->types[typeIndex].entries[operandIndex];
1446 return SPV_SUCCESS;
1447 }
1448 }
1449 }
1450 }
1451
1452 return SPV_ERROR_INVALID_LOOKUP;
1453}
1454
1455const char *spvOperandTypeStr(spv_operand_type_t type) {
1456 switch (type) {
1457 case SPV_OPERAND_TYPE_ID:
David Netofadbf622015-09-14 17:07:11 -04001458 case SPV_OPERAND_TYPE_OPTIONAL_ID:
1459 case SPV_OPERAND_TYPE_ID_IN_OPTIONAL_TUPLE:
1460 return "ID";
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001461 case SPV_OPERAND_TYPE_RESULT_ID:
1462 return "result ID";
1463 case SPV_OPERAND_TYPE_LITERAL:
1464 return "literal";
1465 case SPV_OPERAND_TYPE_LITERAL_NUMBER:
1466 return "literal number";
Lei Zhangb41d1502015-09-14 15:22:23 -04001467 case SPV_OPERAND_TYPE_MULTIWORD_LITERAL_NUMBER:
1468 return "multiple word literal number";
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001469 case SPV_OPERAND_TYPE_LITERAL_STRING:
1470 return "literal string";
1471 case SPV_OPERAND_TYPE_SOURCE_LANGUAGE:
1472 return "source langauge";
1473 case SPV_OPERAND_TYPE_EXECUTION_MODEL:
1474 return "execution model";
1475 case SPV_OPERAND_TYPE_ADDRESSING_MODEL:
1476 return "addressing model";
1477 case SPV_OPERAND_TYPE_MEMORY_MODEL:
1478 return "memory model";
1479 case SPV_OPERAND_TYPE_EXECUTION_MODE:
1480 return "execution mode";
1481 case SPV_OPERAND_TYPE_STORAGE_CLASS:
1482 return "storage class";
1483 case SPV_OPERAND_TYPE_DIMENSIONALITY:
1484 return "dimensionality";
1485 case SPV_OPERAND_TYPE_SAMPLER_ADDRESSING_MODE:
1486 return "addressing mode";
1487 case SPV_OPERAND_TYPE_SAMPLER_FILTER_MODE:
1488 return "sampler filter mode";
David Netob30a0c52015-09-16 15:56:43 -04001489 case SPV_OPERAND_TYPE_SAMPLER_IMAGE_FORMAT:
1490 return "sampler image format";
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001491 case SPV_OPERAND_TYPE_FP_FAST_MATH_MODE:
1492 return "floating pointer fast math mode";
1493 case SPV_OPERAND_TYPE_FP_ROUNDING_MODE:
1494 return "floating point rounding mode";
1495 case SPV_OPERAND_TYPE_LINKAGE_TYPE:
1496 return "linkage type";
1497 case SPV_OPERAND_TYPE_ACCESS_QUALIFIER:
1498 return "access qualifier";
1499 case SPV_OPERAND_TYPE_FUNCTION_PARAMETER_ATTRIBUTE:
1500 return "function parameter attribute";
1501 case SPV_OPERAND_TYPE_DECORATION:
1502 return "decoration";
1503 case SPV_OPERAND_TYPE_BUILT_IN:
1504 return "built in";
1505 case SPV_OPERAND_TYPE_SELECTION_CONTROL:
1506 return "selection control";
1507 case SPV_OPERAND_TYPE_LOOP_CONTROL:
1508 return "loop control";
1509 case SPV_OPERAND_TYPE_FUNCTION_CONTROL:
1510 return "function control";
1511 case SPV_OPERAND_TYPE_MEMORY_SEMANTICS:
1512 return "memory semantics";
David Neto78c3b432015-08-27 13:03:52 -04001513 case SPV_OPERAND_TYPE_OPTIONAL_MEMORY_ACCESS:
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001514 return "memory access";
1515 case SPV_OPERAND_TYPE_EXECUTION_SCOPE:
David Netofadbf622015-09-14 17:07:11 -04001516 return "execution scope ID";
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001517 case SPV_OPERAND_TYPE_GROUP_OPERATION:
1518 return "group operation";
1519 case SPV_OPERAND_TYPE_KERNEL_ENQ_FLAGS:
1520 return "kernel enqeue flags";
David Neto47994822015-08-27 13:11:01 -04001521 case SPV_OPERAND_TYPE_KERNEL_PROFILING_INFO:
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001522 return "kernel profiling info";
1523 case SPV_OPERAND_TYPE_CAPABILITY:
1524 return "capability";
David Netoee1b3bb2015-09-18 11:19:18 -04001525 case SPV_OPERAND_TYPE_OPTIONAL_IMAGE:
1526 return "image operand";
David Neto78c3b432015-08-27 13:03:52 -04001527 case SPV_OPERAND_TYPE_NONE:
1528 return "NONE";
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001529 default:
1530 assert(0 && "Unhandled operand type!");
1531 break;
1532 }
1533 return "unknown";
1534}
David Neto78c3b432015-08-27 13:03:52 -04001535
1536void spvPrependOperandTypes(const spv_operand_type_t* types,
1537 spv_operand_pattern_t* pattern) {
1538 const spv_operand_type_t* endTypes;
1539 for (endTypes = types ; *endTypes != SPV_OPERAND_TYPE_NONE ; ++endTypes)
1540 ;
1541 pattern->insert(pattern->begin(), types, endTypes);
1542}
1543
David Neto5bf88fc2015-09-17 17:06:10 -04001544void spvPrependOperandTypesForMask(const spv_operand_table operandTable,
1545 const spv_operand_type_t type,
1546 const uint32_t mask,
1547 spv_operand_pattern_t* pattern) {
1548 // Scan from highest bits to lowest bits because we will prepend in LIFO
1549 // fashion, and we need the operands for lower order bits to appear first.
1550 for (uint32_t candidate_bit = (1 << 31); candidate_bit; candidate_bit >>= 1) {
1551 if (candidate_bit & mask) {
1552 spv_operand_desc entry = nullptr;
1553 if (SPV_SUCCESS == spvOperandTableValueLookup(operandTable, type,
1554 candidate_bit, &entry)) {
1555 spvPrependOperandTypes(entry->operandTypes, pattern);
1556 }
1557 }
1558 }
1559}
1560
David Neto78c3b432015-08-27 13:03:52 -04001561bool spvOperandIsOptional(spv_operand_type_t type) {
1562 // Variable means zero or more times.
1563 if (spvOperandIsVariable(type))
1564 return true;
1565
1566 switch (type) {
1567 case SPV_OPERAND_TYPE_OPTIONAL_ID:
1568 case SPV_OPERAND_TYPE_OPTIONAL_IMAGE:
1569 case SPV_OPERAND_TYPE_OPTIONAL_LITERAL:
1570 case SPV_OPERAND_TYPE_OPTIONAL_LITERAL_STRING:
1571 case SPV_OPERAND_TYPE_OPTIONAL_MEMORY_ACCESS:
1572 case SPV_OPERAND_TYPE_OPTIONAL_EXECUTION_MODE:
1573 return true;
1574 default:
1575 break;
1576 }
1577 return false;
1578}
1579
1580bool spvOperandIsVariable(spv_operand_type_t type) {
1581 switch (type) {
1582 case SPV_OPERAND_TYPE_VARIABLE_ID:
1583 case SPV_OPERAND_TYPE_VARIABLE_LITERAL:
1584 case SPV_OPERAND_TYPE_VARIABLE_ID_LITERAL:
1585 case SPV_OPERAND_TYPE_VARIABLE_LITERAL_ID:
David Neto78c3b432015-08-27 13:03:52 -04001586 case SPV_OPERAND_TYPE_VARIABLE_EXECUTION_MODE:
1587 return true;
1588 default:
1589 break;
1590 }
1591 return false;
1592}
1593
1594
1595bool spvExpandOperandSequenceOnce(spv_operand_type_t type,
1596 spv_operand_pattern_t* pattern) {
1597 switch (type) {
1598 case SPV_OPERAND_TYPE_VARIABLE_ID:
1599 pattern->insert(pattern->begin(), {SPV_OPERAND_TYPE_OPTIONAL_ID, type});
1600 return true;
1601 case SPV_OPERAND_TYPE_VARIABLE_LITERAL:
1602 pattern->insert(pattern->begin(),
1603 {SPV_OPERAND_TYPE_OPTIONAL_LITERAL, type});
1604 return true;
1605 case SPV_OPERAND_TYPE_VARIABLE_LITERAL_ID:
1606 // Represents Zero or more (Literal, Id) pairs.
1607 pattern->insert(pattern->begin(),
1608 {SPV_OPERAND_TYPE_OPTIONAL_LITERAL,
1609 SPV_OPERAND_TYPE_ID_IN_OPTIONAL_TUPLE, type});
1610 return true;
1611 case SPV_OPERAND_TYPE_VARIABLE_ID_LITERAL:
1612 // Represents Zero or more (Id, Literal) pairs.
1613 pattern->insert(pattern->begin(),
1614 {SPV_OPERAND_TYPE_OPTIONAL_ID,
1615 SPV_OPERAND_TYPE_LITERAL_IN_OPTIONAL_TUPLE, type});
1616 return true;
David Neto78c3b432015-08-27 13:03:52 -04001617 case SPV_OPERAND_TYPE_VARIABLE_EXECUTION_MODE:
1618 pattern->insert(pattern->begin(), {SPV_OPERAND_TYPE_OPTIONAL_EXECUTION_MODE, type});
1619 return true;
1620 default:
1621 break;
1622 }
1623 return false;
1624}
1625
1626spv_operand_type_t spvTakeFirstMatchableOperand(spv_operand_pattern_t* pattern) {
1627 assert(!pattern->empty());
1628 spv_operand_type_t result;
1629 do {
1630 result = pattern->front();
1631 pattern->pop_front();
1632 } while(spvExpandOperandSequenceOnce(result, pattern));
1633 return result;
1634}