blob: bab5989f7249ddb14f7489e83fd8a93fe6d981e1 [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}},
957};
958
959static const spv_operand_desc_t selectionControlEntries[] = {
960 {"None",
961 SelectionControlMaskNone,
962 SPV_OPCODE_FLAGS_NONE,
963 0,
964 {SPV_OPERAND_TYPE_NONE}},
965 {"Flatten",
966 SelectionControlFlattenMask,
967 SPV_OPCODE_FLAGS_NONE,
968 0,
969 {SPV_OPERAND_TYPE_NONE}},
970 {"DontFlatten",
971 SelectionControlDontFlattenMask,
972 SPV_OPCODE_FLAGS_NONE,
973 0,
974 {SPV_OPERAND_TYPE_NONE}},
975};
976
977static const spv_operand_desc_t loopControlEntries[] = {
978 {"None",
979 LoopControlMaskNone,
980 SPV_OPCODE_FLAGS_NONE,
981 0,
982 {SPV_OPERAND_TYPE_NONE}},
983 {"Unroll",
984 LoopControlUnrollMask,
985 SPV_OPCODE_FLAGS_NONE,
986 0,
987 {SPV_OPERAND_TYPE_NONE}},
988 {"DontUnroll",
989 LoopControlDontUnrollMask,
990 SPV_OPCODE_FLAGS_NONE,
991 0,
992 {SPV_OPERAND_TYPE_NONE}},
993};
994
995static const spv_operand_desc_t functionControlEntries[] = {
996 {"None",
997 FunctionControlMaskNone,
998 SPV_OPCODE_FLAGS_NONE,
999 0,
1000 {SPV_OPERAND_TYPE_NONE}},
David Netof4fde6c2015-09-14 14:50:37 -04001001 {"Inline",
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001002 FunctionControlInlineMask,
1003 SPV_OPCODE_FLAGS_NONE,
1004 0,
1005 {SPV_OPERAND_TYPE_NONE}},
1006 {"DontInline",
1007 FunctionControlDontInlineMask,
1008 SPV_OPCODE_FLAGS_NONE,
1009 0,
1010 {SPV_OPERAND_TYPE_NONE}},
1011 {"Pure",
1012 FunctionControlPureMask,
1013 SPV_OPCODE_FLAGS_NONE,
1014 0,
1015 {SPV_OPERAND_TYPE_NONE}},
1016 {"Const",
1017 FunctionControlConstMask,
1018 SPV_OPCODE_FLAGS_NONE,
1019 0,
1020 {SPV_OPERAND_TYPE_NONE}},
1021};
1022
1023static const spv_operand_desc_t memorySemanticsEntries[] = {
1024 {"None",
1025 MemorySemanticsMaskNone,
1026 SPV_OPCODE_FLAGS_NONE,
1027 0,
1028 {SPV_OPERAND_TYPE_NONE}},
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001029 {"SequentiallyConsistent",
1030 MemorySemanticsSequentiallyConsistentMask,
1031 SPV_OPCODE_FLAGS_NONE,
1032 0,
1033 {SPV_OPERAND_TYPE_NONE}},
1034 {"Acquire",
1035 MemorySemanticsAcquireMask,
1036 SPV_OPCODE_FLAGS_NONE,
1037 0,
1038 {SPV_OPERAND_TYPE_NONE}},
1039 {"Release",
1040 MemorySemanticsReleaseMask,
1041 SPV_OPCODE_FLAGS_NONE,
1042 0,
1043 {SPV_OPERAND_TYPE_NONE}},
1044 {"UniformMemory",
1045 MemorySemanticsUniformMemoryMask,
1046 SPV_OPCODE_FLAGS_CAPABILITIES,
1047 CapabilityShader,
1048 {SPV_OPERAND_TYPE_NONE}},
1049 {"SubgroupMemory",
1050 MemorySemanticsSubgroupMemoryMask,
1051 SPV_OPCODE_FLAGS_NONE,
1052 0,
1053 {SPV_OPERAND_TYPE_NONE}},
1054 {"WorkgroupLocalMemory",
1055 MemorySemanticsWorkgroupLocalMemoryMask,
1056 SPV_OPCODE_FLAGS_NONE,
1057 0,
1058 {SPV_OPERAND_TYPE_NONE}},
1059 {"WorkgroupGlobalMemory",
1060 MemorySemanticsWorkgroupGlobalMemoryMask,
1061 SPV_OPCODE_FLAGS_NONE,
1062 0,
1063 {SPV_OPERAND_TYPE_NONE}},
1064 {"AtomicCounterMemory",
1065 MemorySemanticsAtomicCounterMemoryMask,
1066 SPV_OPCODE_FLAGS_CAPABILITIES,
1067 CapabilityShader,
1068 {SPV_OPERAND_TYPE_NONE}},
1069 {
1070 "ImageMemory",
1071 MemorySemanticsImageMemoryMask,
1072 SPV_OPCODE_FLAGS_NONE,
1073 0,
1074 {SPV_OPERAND_TYPE_NONE},
1075 },
1076};
1077
1078static const spv_operand_desc_t memoryAccessEntries[] = {
1079 {"None",
1080 MemoryAccessMaskNone,
1081 SPV_OPCODE_FLAGS_NONE,
1082 0,
1083 {SPV_OPERAND_TYPE_NONE}},
1084 {"Volatile",
1085 MemoryAccessVolatileMask,
1086 SPV_OPCODE_FLAGS_NONE,
1087 0,
1088 {SPV_OPERAND_TYPE_NONE}},
1089 {
1090 "Aligned",
1091 MemoryAccessAlignedMask,
1092 SPV_OPCODE_FLAGS_NONE,
1093 0,
David Neto4a291312015-09-14 15:08:48 -04001094 {SPV_OPERAND_TYPE_LITERAL_NUMBER, SPV_OPERAND_TYPE_NONE},
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001095 },
1096};
1097
1098static const spv_operand_desc_t scopeEntries[] = {
1099 {"CrossDevice",
1100 ScopeCrossDevice,
1101 SPV_OPCODE_FLAGS_NONE,
1102 0,
1103 {SPV_OPERAND_TYPE_NONE}},
1104 {"Device", ScopeDevice, SPV_OPCODE_FLAGS_NONE, 0, {SPV_OPERAND_TYPE_NONE}},
1105 {"Workgroup",
1106 ScopeWorkgroup,
1107 SPV_OPCODE_FLAGS_NONE,
1108 0,
1109 {SPV_OPERAND_TYPE_NONE}},
1110 {"Subgroup",
1111 ScopeSubgroup,
1112 SPV_OPCODE_FLAGS_NONE,
1113 0,
1114 {SPV_OPERAND_TYPE_NONE}},
1115 {
1116 "Invocation",
1117 ScopeInvocation,
1118 SPV_OPCODE_FLAGS_NONE,
1119 0,
1120 {SPV_OPERAND_TYPE_NONE},
1121 },
1122};
1123
1124static const spv_operand_desc_t groupOperationEntries[] = {
1125 {"Reduce",
1126 GroupOperationReduce,
1127 SPV_OPCODE_FLAGS_CAPABILITIES,
1128 CapabilityKernel,
1129 {SPV_OPERAND_TYPE_NONE}},
1130 {"InclusiveScan",
1131 GroupOperationInclusiveScan,
1132 SPV_OPCODE_FLAGS_CAPABILITIES,
1133 CapabilityKernel,
1134 {SPV_OPERAND_TYPE_NONE}},
1135 {"ExclusiveScan",
1136 GroupOperationExclusiveScan,
1137 SPV_OPCODE_FLAGS_CAPABILITIES,
1138 CapabilityKernel,
1139 {SPV_OPERAND_TYPE_NONE}},
1140};
1141
1142static const spv_operand_desc_t kernelKernelEnqueueFlagssEntries[] = {
1143 {"NoWait",
1144 KernelEnqueueFlagsNoWait,
1145 SPV_OPCODE_FLAGS_CAPABILITIES,
1146 CapabilityKernel,
1147 {SPV_OPERAND_TYPE_NONE}},
1148 {"WaitKernel",
1149 KernelEnqueueFlagsWaitKernel,
1150 SPV_OPCODE_FLAGS_CAPABILITIES,
1151 CapabilityKernel,
1152 {SPV_OPERAND_TYPE_NONE}},
1153 {"WaitWorkGroup",
1154 KernelEnqueueFlagsWaitWorkGroup,
1155 SPV_OPCODE_FLAGS_CAPABILITIES,
1156 CapabilityKernel,
1157 {SPV_OPERAND_TYPE_NONE}},
1158};
1159
1160static const spv_operand_desc_t kernelProfilingInfoEntries[] = {
1161 {"None",
1162 KernelProfilingInfoMaskNone,
1163 SPV_OPCODE_FLAGS_NONE,
1164 0,
1165 {SPV_OPERAND_TYPE_NONE}},
1166 {"CmdExecTime",
1167 KernelProfilingInfoCmdExecTimeMask,
1168 SPV_OPCODE_FLAGS_CAPABILITIES,
1169 CapabilityKernel,
1170 {SPV_OPERAND_TYPE_NONE}},
1171};
1172
1173static const spv_operand_desc_t capabilityInfoEntries[] = {
1174 {"Matrix",
1175 CapabilityMatrix,
1176 SPV_OPCODE_FLAGS_NONE,
1177 0,
1178 {SPV_OPERAND_TYPE_NONE}},
1179 {"Shader",
1180 CapabilityShader,
1181 SPV_OPCODE_FLAGS_CAPABILITIES,
1182 CapabilityMatrix,
1183 {SPV_OPERAND_TYPE_NONE}},
1184 {"Geometry",
1185 CapabilityGeometry,
1186 SPV_OPCODE_FLAGS_CAPABILITIES,
1187 CapabilityShader,
1188 {SPV_OPERAND_TYPE_NONE}},
1189 {"Tessellation",
1190 CapabilityTessellation,
1191 SPV_OPCODE_FLAGS_CAPABILITIES,
1192 CapabilityShader,
1193 {SPV_OPERAND_TYPE_NONE}},
1194 {"Addresses",
1195 CapabilityAddresses,
1196 SPV_OPCODE_FLAGS_NONE,
1197 0,
1198 {SPV_OPERAND_TYPE_NONE}},
1199 {"Linkage",
1200 CapabilityLinkage,
1201 SPV_OPCODE_FLAGS_NONE,
1202 0,
1203 {SPV_OPERAND_TYPE_NONE}},
1204 {"Kernel",
1205 CapabilityKernel,
1206 SPV_OPCODE_FLAGS_NONE,
1207 0,
1208 {SPV_OPERAND_TYPE_NONE}},
1209 {"Vector16",
1210 CapabilityVector16,
1211 SPV_OPCODE_FLAGS_NONE,
1212 0,
1213 {SPV_OPERAND_TYPE_NONE}},
1214 {"Float16Buffer",
1215 CapabilityFloat16Buffer,
1216 SPV_OPCODE_FLAGS_NONE,
1217 0,
1218 {SPV_OPERAND_TYPE_NONE}},
1219 {"Float16",
1220 CapabilityFloat16,
1221 SPV_OPCODE_FLAGS_NONE,
1222 0,
1223 {SPV_OPERAND_TYPE_NONE}},
1224 {"Float64",
1225 CapabilityFloat64,
1226 SPV_OPCODE_FLAGS_NONE,
1227 0,
1228 {SPV_OPERAND_TYPE_NONE}},
1229 {"Int64",
1230 CapabilityInt64,
1231 SPV_OPCODE_FLAGS_NONE,
1232 0,
1233 {SPV_OPERAND_TYPE_NONE}},
1234 {"Int64Atomics",
1235 CapabilityInt64Atomics,
1236 SPV_OPCODE_FLAGS_NONE,
1237 0,
1238 {SPV_OPERAND_TYPE_NONE}},
1239 {"ImageBasic",
1240 CapabilityImageBasic,
1241 SPV_OPCODE_FLAGS_NONE,
1242 0,
1243 {SPV_OPERAND_TYPE_NONE}},
1244 {"ImageReadWrite",
1245 CapabilityImageReadWrite,
1246 SPV_OPCODE_FLAGS_NONE,
1247 0,
1248 {SPV_OPERAND_TYPE_NONE}},
David Netoc6402d62015-09-10 16:39:09 -04001249 {"ImageMipmap",
1250 CapabilityImageMipmap,
1251 SPV_OPCODE_FLAGS_NONE,
1252 0,
1253 {SPV_OPERAND_TYPE_NONE}},
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001254 {"ImageSRGBWrite",
1255 CapabilityImageSRGBWrite,
1256 SPV_OPCODE_FLAGS_NONE,
1257 0,
1258 {SPV_OPERAND_TYPE_NONE}},
1259 {"Pipes",
1260 CapabilityPipes,
1261 SPV_OPCODE_FLAGS_NONE,
1262 0,
1263 {SPV_OPERAND_TYPE_NONE}},
1264 {"Groups",
1265 CapabilityGroups,
1266 SPV_OPCODE_FLAGS_NONE,
1267 0,
1268 {SPV_OPERAND_TYPE_NONE}},
1269 {"DeviceEnqueue",
1270 CapabilityDeviceEnqueue,
1271 SPV_OPCODE_FLAGS_NONE,
1272 0,
1273 {SPV_OPERAND_TYPE_NONE}},
David Netoc6402d62015-09-10 16:39:09 -04001274// A macro for defining a capability that doesn't depend on other capabilities.
David Netoe994e2e2015-09-11 12:15:58 -04001275// TODO(dneto): Rev32 adds many dependencies between capbilities.
David Netoc6402d62015-09-10 16:39:09 -04001276#define CASE(NAME) { #NAME, Capability##NAME, SPV_OPCODE_FLAGS_NONE, 0, {SPV_OPERAND_TYPE_NONE}}
1277 CASE(LiteralSampler),
1278 CASE(AtomicStorage),
1279 CASE(Int16),
1280 CASE(TessellationPointSize),
1281 CASE(GeometryPointSize),
1282 CASE(ImageGatherExtended),
1283 CASE(StorageImageExtendedFormats),
1284 CASE(StorageImageMultisample),
1285 CASE(UniformBufferArrayDynamicIndexing),
1286 CASE(SampledImageArrayDynamicIndexing),
1287 CASE(StorageBufferArrayDynamicIndexing),
1288 CASE(StorageImageArrayDynamicIndexing),
1289 CASE(ClipDistance),
1290 CASE(CullDistance),
1291 CASE(ImageCubeArray),
1292 CASE(SampleRateShading),
1293#undef CASE
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001294};
1295
1296static const spv_operand_desc_group_t opcodeEntryTypes[] = {
1297 {SPV_OPERAND_TYPE_SOURCE_LANGUAGE,
1298 sizeof(sourceLanguageEntries) / sizeof(spv_operand_desc_t),
1299 sourceLanguageEntries},
1300 {SPV_OPERAND_TYPE_EXECUTION_MODEL,
1301 sizeof(executionModelEntries) / sizeof(spv_operand_desc_t),
1302 executionModelEntries},
1303 {SPV_OPERAND_TYPE_ADDRESSING_MODEL,
1304 sizeof(addressingModelEntries) / sizeof(spv_operand_desc_t),
1305 addressingModelEntries},
1306 {SPV_OPERAND_TYPE_MEMORY_MODEL,
1307 sizeof(memoryModelEntries) / sizeof(spv_operand_desc_t),
1308 memoryModelEntries},
1309 {SPV_OPERAND_TYPE_EXECUTION_MODE,
1310 sizeof(executionModeEntries) / sizeof(spv_operand_desc_t),
1311 executionModeEntries},
1312 {SPV_OPERAND_TYPE_STORAGE_CLASS,
1313 sizeof(storageClassEntries) / sizeof(spv_operand_desc_t),
1314 storageClassEntries},
1315 {SPV_OPERAND_TYPE_DIMENSIONALITY,
1316 sizeof(dimensionalityEntries) / sizeof(spv_operand_desc_t),
1317 dimensionalityEntries},
1318 {SPV_OPERAND_TYPE_SAMPLER_ADDRESSING_MODE,
1319 sizeof(samplerAddressingModeEntries) / sizeof(spv_operand_desc_t),
1320 samplerAddressingModeEntries},
1321 {SPV_OPERAND_TYPE_SAMPLER_FILTER_MODE,
1322 sizeof(samplerFilterModeEntries) / sizeof(spv_operand_desc_t),
1323 samplerFilterModeEntries},
David Netob30a0c52015-09-16 15:56:43 -04001324 {SPV_OPERAND_TYPE_SAMPLER_IMAGE_FORMAT,
1325 sizeof(samplerImageFormatEntries) / sizeof(spv_operand_desc_t),
1326 samplerImageFormatEntries},
David Netoee1b3bb2015-09-18 11:19:18 -04001327 {SPV_OPERAND_TYPE_OPTIONAL_IMAGE,
1328 sizeof(imageOperandEntries) / sizeof(spv_operand_desc_t),
1329 imageOperandEntries},
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001330 {SPV_OPERAND_TYPE_FP_FAST_MATH_MODE,
1331 sizeof(fpFastMathModeEntries) / sizeof(spv_operand_desc_t),
1332 fpFastMathModeEntries},
1333 {SPV_OPERAND_TYPE_FP_ROUNDING_MODE,
1334 sizeof(fpRoundingModeEntries) / sizeof(spv_operand_desc_t),
1335 fpRoundingModeEntries},
1336 {SPV_OPERAND_TYPE_LINKAGE_TYPE,
1337 sizeof(linkageTypeEntries) / sizeof(spv_operand_desc_t),
1338 linkageTypeEntries},
1339 {SPV_OPERAND_TYPE_ACCESS_QUALIFIER,
1340 sizeof(accessQualifierEntries) / sizeof(spv_operand_desc_t),
1341 accessQualifierEntries},
1342 {SPV_OPERAND_TYPE_FUNCTION_PARAMETER_ATTRIBUTE,
1343 sizeof(functionParameterAttributeEntries) / sizeof(spv_operand_desc_t),
1344 functionParameterAttributeEntries},
1345 {SPV_OPERAND_TYPE_DECORATION,
1346 sizeof(decorationEntries) / sizeof(spv_operand_desc_t), decorationEntries},
1347 {SPV_OPERAND_TYPE_BUILT_IN,
1348 sizeof(builtInEntries) / sizeof(spv_operand_desc_t), builtInEntries},
1349 {SPV_OPERAND_TYPE_SELECTION_CONTROL,
1350 sizeof(selectionControlEntries) / sizeof(spv_operand_desc_t),
1351 selectionControlEntries},
1352 {SPV_OPERAND_TYPE_LOOP_CONTROL,
1353 sizeof(loopControlEntries) / sizeof(spv_operand_desc_t),
1354 loopControlEntries},
1355 {SPV_OPERAND_TYPE_FUNCTION_CONTROL,
1356 sizeof(functionControlEntries) / sizeof(spv_operand_desc_t),
1357 functionControlEntries},
1358 {SPV_OPERAND_TYPE_MEMORY_SEMANTICS,
1359 sizeof(memorySemanticsEntries) / sizeof(spv_operand_desc_t),
1360 memorySemanticsEntries},
David Neto78c3b432015-08-27 13:03:52 -04001361 {SPV_OPERAND_TYPE_OPTIONAL_MEMORY_ACCESS,
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001362 sizeof(memoryAccessEntries) / sizeof(spv_operand_desc_t),
1363 memoryAccessEntries},
1364 {SPV_OPERAND_TYPE_EXECUTION_SCOPE,
1365 sizeof(scopeEntries) / sizeof(spv_operand_desc_t), scopeEntries},
1366 {SPV_OPERAND_TYPE_GROUP_OPERATION,
1367 sizeof(groupOperationEntries) / sizeof(spv_operand_desc_t),
1368 groupOperationEntries},
1369 {SPV_OPERAND_TYPE_KERNEL_ENQ_FLAGS,
1370 sizeof(kernelKernelEnqueueFlagssEntries) / sizeof(spv_operand_desc_t),
1371 kernelKernelEnqueueFlagssEntries},
David Neto47994822015-08-27 13:11:01 -04001372 {SPV_OPERAND_TYPE_KERNEL_PROFILING_INFO,
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001373 sizeof(kernelProfilingInfoEntries) / sizeof(spv_operand_desc_t),
1374 kernelProfilingInfoEntries},
1375 {SPV_OPERAND_TYPE_CAPABILITY,
1376 sizeof(capabilityInfoEntries) / sizeof(spv_operand_desc_t),
1377 capabilityInfoEntries},
1378};
1379
1380spv_result_t spvOperandTableGet(spv_operand_table *pOperandTable) {
Lei Zhang40056702015-09-11 14:31:27 -04001381 if (!pOperandTable) return SPV_ERROR_INVALID_POINTER;
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001382
1383 static const spv_operand_table_t table = {
1384 sizeof(opcodeEntryTypes) / sizeof(spv_operand_desc_group_t),
1385 opcodeEntryTypes};
1386
1387 *pOperandTable = &table;
1388
1389 return SPV_SUCCESS;
1390}
1391
1392spv_result_t spvOperandTableNameLookup(const spv_operand_table table,
1393 const spv_operand_type_t type,
David Neto388c40d2015-09-16 16:42:56 -04001394 const char* name,
1395 const size_t nameLength,
1396 spv_operand_desc* pEntry) {
Lei Zhang40056702015-09-11 14:31:27 -04001397 if (!table) return SPV_ERROR_INVALID_TABLE;
1398 if (!name || !pEntry) return SPV_ERROR_INVALID_POINTER;
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001399
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001400 for (uint64_t typeIndex = 0; typeIndex < table->count; ++typeIndex) {
1401 if (type == table->types[typeIndex].type) {
1402 for (uint64_t operandIndex = 0;
1403 operandIndex < table->types[typeIndex].count; ++operandIndex) {
1404 if (nameLength ==
1405 strlen(table->types[typeIndex].entries[operandIndex].name) &&
1406 !strncmp(table->types[typeIndex].entries[operandIndex].name, name,
David Neto388c40d2015-09-16 16:42:56 -04001407 nameLength)) {
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001408 *pEntry = &table->types[typeIndex].entries[operandIndex];
1409 return SPV_SUCCESS;
1410 }
1411 }
1412 }
1413 }
1414
1415 return SPV_ERROR_INVALID_LOOKUP;
1416}
1417
1418spv_result_t spvOperandTableValueLookup(const spv_operand_table table,
1419 const spv_operand_type_t type,
1420 const uint32_t value,
1421 spv_operand_desc *pEntry) {
Lei Zhang40056702015-09-11 14:31:27 -04001422 if (!table) return SPV_ERROR_INVALID_TABLE;
1423 if (!pEntry) return SPV_ERROR_INVALID_POINTER;
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001424
1425 for (uint64_t typeIndex = 0; typeIndex < table->count; ++typeIndex) {
1426 if (type == table->types[typeIndex].type) {
1427 for (uint64_t operandIndex = 0;
1428 operandIndex < table->types[typeIndex].count; ++operandIndex) {
1429 if (value == table->types[typeIndex].entries[operandIndex].value) {
1430 *pEntry = &table->types[typeIndex].entries[operandIndex];
1431 return SPV_SUCCESS;
1432 }
1433 }
1434 }
1435 }
1436
1437 return SPV_ERROR_INVALID_LOOKUP;
1438}
1439
1440const char *spvOperandTypeStr(spv_operand_type_t type) {
1441 switch (type) {
1442 case SPV_OPERAND_TYPE_ID:
David Netofadbf622015-09-14 17:07:11 -04001443 case SPV_OPERAND_TYPE_OPTIONAL_ID:
1444 case SPV_OPERAND_TYPE_ID_IN_OPTIONAL_TUPLE:
1445 return "ID";
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001446 case SPV_OPERAND_TYPE_RESULT_ID:
1447 return "result ID";
1448 case SPV_OPERAND_TYPE_LITERAL:
1449 return "literal";
1450 case SPV_OPERAND_TYPE_LITERAL_NUMBER:
1451 return "literal number";
Lei Zhangb41d1502015-09-14 15:22:23 -04001452 case SPV_OPERAND_TYPE_MULTIWORD_LITERAL_NUMBER:
1453 return "multiple word literal number";
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001454 case SPV_OPERAND_TYPE_LITERAL_STRING:
1455 return "literal string";
1456 case SPV_OPERAND_TYPE_SOURCE_LANGUAGE:
1457 return "source langauge";
1458 case SPV_OPERAND_TYPE_EXECUTION_MODEL:
1459 return "execution model";
1460 case SPV_OPERAND_TYPE_ADDRESSING_MODEL:
1461 return "addressing model";
1462 case SPV_OPERAND_TYPE_MEMORY_MODEL:
1463 return "memory model";
1464 case SPV_OPERAND_TYPE_EXECUTION_MODE:
1465 return "execution mode";
1466 case SPV_OPERAND_TYPE_STORAGE_CLASS:
1467 return "storage class";
1468 case SPV_OPERAND_TYPE_DIMENSIONALITY:
1469 return "dimensionality";
1470 case SPV_OPERAND_TYPE_SAMPLER_ADDRESSING_MODE:
1471 return "addressing mode";
1472 case SPV_OPERAND_TYPE_SAMPLER_FILTER_MODE:
1473 return "sampler filter mode";
David Netob30a0c52015-09-16 15:56:43 -04001474 case SPV_OPERAND_TYPE_SAMPLER_IMAGE_FORMAT:
1475 return "sampler image format";
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001476 case SPV_OPERAND_TYPE_FP_FAST_MATH_MODE:
1477 return "floating pointer fast math mode";
1478 case SPV_OPERAND_TYPE_FP_ROUNDING_MODE:
1479 return "floating point rounding mode";
1480 case SPV_OPERAND_TYPE_LINKAGE_TYPE:
1481 return "linkage type";
1482 case SPV_OPERAND_TYPE_ACCESS_QUALIFIER:
1483 return "access qualifier";
1484 case SPV_OPERAND_TYPE_FUNCTION_PARAMETER_ATTRIBUTE:
1485 return "function parameter attribute";
1486 case SPV_OPERAND_TYPE_DECORATION:
1487 return "decoration";
1488 case SPV_OPERAND_TYPE_BUILT_IN:
1489 return "built in";
1490 case SPV_OPERAND_TYPE_SELECTION_CONTROL:
1491 return "selection control";
1492 case SPV_OPERAND_TYPE_LOOP_CONTROL:
1493 return "loop control";
1494 case SPV_OPERAND_TYPE_FUNCTION_CONTROL:
1495 return "function control";
1496 case SPV_OPERAND_TYPE_MEMORY_SEMANTICS:
1497 return "memory semantics";
David Neto78c3b432015-08-27 13:03:52 -04001498 case SPV_OPERAND_TYPE_OPTIONAL_MEMORY_ACCESS:
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001499 return "memory access";
1500 case SPV_OPERAND_TYPE_EXECUTION_SCOPE:
David Netofadbf622015-09-14 17:07:11 -04001501 return "execution scope ID";
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001502 case SPV_OPERAND_TYPE_GROUP_OPERATION:
1503 return "group operation";
1504 case SPV_OPERAND_TYPE_KERNEL_ENQ_FLAGS:
1505 return "kernel enqeue flags";
David Neto47994822015-08-27 13:11:01 -04001506 case SPV_OPERAND_TYPE_KERNEL_PROFILING_INFO:
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001507 return "kernel profiling info";
1508 case SPV_OPERAND_TYPE_CAPABILITY:
1509 return "capability";
David Netoee1b3bb2015-09-18 11:19:18 -04001510 case SPV_OPERAND_TYPE_OPTIONAL_IMAGE:
1511 return "image operand";
David Neto78c3b432015-08-27 13:03:52 -04001512 case SPV_OPERAND_TYPE_NONE:
1513 return "NONE";
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +01001514 default:
1515 assert(0 && "Unhandled operand type!");
1516 break;
1517 }
1518 return "unknown";
1519}
David Neto78c3b432015-08-27 13:03:52 -04001520
1521void spvPrependOperandTypes(const spv_operand_type_t* types,
1522 spv_operand_pattern_t* pattern) {
1523 const spv_operand_type_t* endTypes;
1524 for (endTypes = types ; *endTypes != SPV_OPERAND_TYPE_NONE ; ++endTypes)
1525 ;
1526 pattern->insert(pattern->begin(), types, endTypes);
1527}
1528
David Neto5bf88fc2015-09-17 17:06:10 -04001529void spvPrependOperandTypesForMask(const spv_operand_table operandTable,
1530 const spv_operand_type_t type,
1531 const uint32_t mask,
1532 spv_operand_pattern_t* pattern) {
1533 // Scan from highest bits to lowest bits because we will prepend in LIFO
1534 // fashion, and we need the operands for lower order bits to appear first.
1535 for (uint32_t candidate_bit = (1 << 31); candidate_bit; candidate_bit >>= 1) {
1536 if (candidate_bit & mask) {
1537 spv_operand_desc entry = nullptr;
1538 if (SPV_SUCCESS == spvOperandTableValueLookup(operandTable, type,
1539 candidate_bit, &entry)) {
1540 spvPrependOperandTypes(entry->operandTypes, pattern);
1541 }
1542 }
1543 }
1544}
1545
David Neto78c3b432015-08-27 13:03:52 -04001546bool spvOperandIsOptional(spv_operand_type_t type) {
1547 // Variable means zero or more times.
1548 if (spvOperandIsVariable(type))
1549 return true;
1550
1551 switch (type) {
1552 case SPV_OPERAND_TYPE_OPTIONAL_ID:
1553 case SPV_OPERAND_TYPE_OPTIONAL_IMAGE:
1554 case SPV_OPERAND_TYPE_OPTIONAL_LITERAL:
1555 case SPV_OPERAND_TYPE_OPTIONAL_LITERAL_STRING:
1556 case SPV_OPERAND_TYPE_OPTIONAL_MEMORY_ACCESS:
1557 case SPV_OPERAND_TYPE_OPTIONAL_EXECUTION_MODE:
1558 return true;
1559 default:
1560 break;
1561 }
1562 return false;
1563}
1564
1565bool spvOperandIsVariable(spv_operand_type_t type) {
1566 switch (type) {
1567 case SPV_OPERAND_TYPE_VARIABLE_ID:
1568 case SPV_OPERAND_TYPE_VARIABLE_LITERAL:
1569 case SPV_OPERAND_TYPE_VARIABLE_ID_LITERAL:
1570 case SPV_OPERAND_TYPE_VARIABLE_LITERAL_ID:
David Neto78c3b432015-08-27 13:03:52 -04001571 case SPV_OPERAND_TYPE_VARIABLE_EXECUTION_MODE:
1572 return true;
1573 default:
1574 break;
1575 }
1576 return false;
1577}
1578
1579
1580bool spvExpandOperandSequenceOnce(spv_operand_type_t type,
1581 spv_operand_pattern_t* pattern) {
1582 switch (type) {
1583 case SPV_OPERAND_TYPE_VARIABLE_ID:
1584 pattern->insert(pattern->begin(), {SPV_OPERAND_TYPE_OPTIONAL_ID, type});
1585 return true;
1586 case SPV_OPERAND_TYPE_VARIABLE_LITERAL:
1587 pattern->insert(pattern->begin(),
1588 {SPV_OPERAND_TYPE_OPTIONAL_LITERAL, type});
1589 return true;
1590 case SPV_OPERAND_TYPE_VARIABLE_LITERAL_ID:
1591 // Represents Zero or more (Literal, Id) pairs.
1592 pattern->insert(pattern->begin(),
1593 {SPV_OPERAND_TYPE_OPTIONAL_LITERAL,
1594 SPV_OPERAND_TYPE_ID_IN_OPTIONAL_TUPLE, type});
1595 return true;
1596 case SPV_OPERAND_TYPE_VARIABLE_ID_LITERAL:
1597 // Represents Zero or more (Id, Literal) pairs.
1598 pattern->insert(pattern->begin(),
1599 {SPV_OPERAND_TYPE_OPTIONAL_ID,
1600 SPV_OPERAND_TYPE_LITERAL_IN_OPTIONAL_TUPLE, type});
1601 return true;
David Neto78c3b432015-08-27 13:03:52 -04001602 case SPV_OPERAND_TYPE_VARIABLE_EXECUTION_MODE:
1603 pattern->insert(pattern->begin(), {SPV_OPERAND_TYPE_OPTIONAL_EXECUTION_MODE, type});
1604 return true;
1605 default:
1606 break;
1607 }
1608 return false;
1609}
1610
1611spv_operand_type_t spvTakeFirstMatchableOperand(spv_operand_pattern_t* pattern) {
1612 assert(!pattern->empty());
1613 spv_operand_type_t result;
1614 do {
1615 result = pattern->front();
1616 pattern->pop_front();
1617 } while(spvExpandOperandSequenceOnce(result, pattern));
1618 return result;
1619}