blob: 707cc87d7c442dc67a9f0c7664a4020696fa5e79 [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 <libspirv/libspirv.h>
28#include "binary.h"
29#include "diagnostic.h"
30#include "ext_inst.h"
31#include "opcode.h"
32#include "operand.h"
33
34#include <assert.h>
35#include <string.h>
36
37#include <sstream>
38
39// Binary API
40
41enum {
42 I32_ENDIAN_LITTLE = 0x03020100ul,
43 I32_ENDIAN_BIG = 0x00010203ul,
44};
45
46static const union {
47 unsigned char bytes[4];
48 uint32_t value;
49} o32_host_order = {{0, 1, 2, 3}};
50
51#define I32_ENDIAN_HOST (o32_host_order.value)
52
53spv_result_t spvBinaryEndianness(const spv_binary binary,
54 spv_endianness_t *pEndian) {
Lei Zhang40056702015-09-11 14:31:27 -040055 if (!binary->code || !binary->wordCount) return SPV_ERROR_INVALID_BINARY;
56 if (!pEndian) return SPV_ERROR_INVALID_POINTER;
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +010057
58 uint8_t bytes[4];
59 memcpy(bytes, binary->code, sizeof(uint32_t));
60
61 if (0x03 == bytes[0] && 0x02 == bytes[1] && 0x23 == bytes[2] &&
62 0x07 == bytes[3]) {
63 *pEndian = SPV_ENDIANNESS_LITTLE;
64 return SPV_SUCCESS;
65 }
66
67 if (0x07 == bytes[0] && 0x23 == bytes[1] && 0x02 == bytes[2] &&
68 0x03 == bytes[3]) {
69 *pEndian = SPV_ENDIANNESS_BIG;
70 return SPV_SUCCESS;
71 }
72
73 return SPV_ERROR_INVALID_BINARY;
74}
75
76uint32_t spvFixWord(const uint32_t word, const spv_endianness_t endian) {
77 if ((SPV_ENDIANNESS_LITTLE == endian && I32_ENDIAN_HOST == I32_ENDIAN_BIG) ||
78 (SPV_ENDIANNESS_BIG == endian && I32_ENDIAN_HOST == I32_ENDIAN_LITTLE)) {
79 return (word & 0x000000ff) << 24 | (word & 0x0000ff00) << 8 |
80 (word & 0x00ff0000) >> 8 | (word & 0xff000000) >> 24;
81 }
82
83 return word;
84}
85
86spv_result_t spvBinaryHeaderGet(const spv_binary binary,
87 const spv_endianness_t endian,
88 spv_header_t *pHeader) {
Lei Zhang40056702015-09-11 14:31:27 -040089 if (!binary->code || !binary->wordCount) return SPV_ERROR_INVALID_BINARY;
90 if (!pHeader) return SPV_ERROR_INVALID_POINTER;
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +010091
92 // TODO: Validation checking?
93 pHeader->magic = spvFixWord(binary->code[SPV_INDEX_MAGIC_NUMBER], endian);
94 pHeader->version = spvFixWord(binary->code[SPV_INDEX_VERSION_NUMBER], endian);
95 pHeader->generator =
96 spvFixWord(binary->code[SPV_INDEX_GENERATOR_NUMBER], endian);
97 pHeader->bound = spvFixWord(binary->code[SPV_INDEX_BOUND], endian);
98 pHeader->schema = spvFixWord(binary->code[SPV_INDEX_SCHEMA], endian);
99 pHeader->instructions = &binary->code[SPV_INDEX_INSTRUCTION];
100
101 return SPV_SUCCESS;
102}
103
104spv_result_t spvBinaryHeaderSet(spv_binary_t *binary, const uint32_t bound) {
Lei Zhang40056702015-09-11 14:31:27 -0400105 if (!binary) return SPV_ERROR_INVALID_BINARY;
106 if (!binary->code || !binary->wordCount) return SPV_ERROR_INVALID_BINARY;
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100107
108 binary->code[SPV_INDEX_MAGIC_NUMBER] = SPV_MAGIC_NUMBER;
109 binary->code[SPV_INDEX_VERSION_NUMBER] = SPV_VERSION_NUMBER;
Kenneth Benzie (Benie)81d7d492015-06-01 09:50:46 -0700110 binary->code[SPV_INDEX_GENERATOR_NUMBER] = SPV_GENERATOR_KHRONOS;
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100111 binary->code[SPV_INDEX_BOUND] = bound;
112 binary->code[SPV_INDEX_SCHEMA] = 0; // NOTE: Reserved
113
114 return SPV_SUCCESS;
115}
116
117spv_result_t spvBinaryEncodeU32(const uint32_t value, spv_instruction_t *pInst,
118 const spv_position position,
119 spv_diagnostic *pDiagnostic) {
Lei Zhang40056702015-09-11 14:31:27 -0400120 if (pInst->wordCount + 1 > SPV_LIMIT_INSTRUCTION_WORD_COUNT_MAX) {
121 DIAGNOSTIC << "Instruction word count '"
122 << SPV_LIMIT_INSTRUCTION_WORD_COUNT_MAX << "' exceeded.";
123 return SPV_ERROR_INVALID_TEXT;
124 }
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100125
126 pInst->words[pInst->wordCount++] = (uint32_t)value;
127 return SPV_SUCCESS;
128}
129
130spv_result_t spvBinaryEncodeU64(const uint64_t value, spv_instruction_t *pInst,
131 const spv_position position,
132 spv_diagnostic *pDiagnostic) {
Lei Zhang40056702015-09-11 14:31:27 -0400133 if (pInst->wordCount + 2 > SPV_LIMIT_INSTRUCTION_WORD_COUNT_MAX) {
134 DIAGNOSTIC << "Instruction word count '"
135 << SPV_LIMIT_INSTRUCTION_WORD_COUNT_MAX << "' exceeded.";
136 return SPV_ERROR_INVALID_TEXT;
137 }
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100138
139 uint32_t low = (uint32_t)(0x00000000ffffffff & value);
140 uint32_t high = (uint32_t)((0xffffffff00000000 & value) >> 32);
141 pInst->words[pInst->wordCount++] = low;
142 pInst->words[pInst->wordCount++] = high;
143 return SPV_SUCCESS;
144}
145
146spv_result_t spvBinaryEncodeString(const char *str, spv_instruction_t *pInst,
147 const spv_position position,
148 spv_diagnostic *pDiagnostic) {
149 size_t length = strlen(str);
150 size_t wordCount = (length / 4) + 1;
Lei Zhang40056702015-09-11 14:31:27 -0400151 if ((sizeof(uint32_t) * pInst->wordCount) + length >
152 sizeof(uint32_t) * SPV_LIMIT_INSTRUCTION_WORD_COUNT_MAX) {
153 DIAGNOSTIC << "Instruction word count '"
154 << SPV_LIMIT_INSTRUCTION_WORD_COUNT_MAX << "'exceeded.";
155 return SPV_ERROR_INVALID_TEXT;
156 }
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100157
158 char *dest = (char *)&pInst->words[pInst->wordCount];
159 strncpy(dest, str, length);
160 pInst->wordCount += (uint16_t)wordCount;
161
162 return SPV_SUCCESS;
163}
164
David Neto78c3b432015-08-27 13:03:52 -0400165// TODO(dneto): This API is not powerful enough in the case that the
166// number and type of operands are not known until partway through parsing
167// the operation. This happens when enum operands might have different number
168// of operands, or with extended instructions.
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100169spv_operand_type_t spvBinaryOperandInfo(const uint32_t word,
170 const uint16_t operandIndex,
171 const spv_opcode_desc opcodeEntry,
172 const spv_operand_table operandTable,
173 spv_operand_desc *pOperandEntry) {
174 spv_operand_type_t type;
David Neto78c3b432015-08-27 13:03:52 -0400175 if (operandIndex < opcodeEntry->numTypes) {
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100176 // NOTE: Do operand table lookup to set operandEntry if successful
177 uint16_t index = operandIndex - 1;
178 type = opcodeEntry->operandTypes[index];
179 spv_operand_desc entry = nullptr;
180 if (!spvOperandTableValueLookup(operandTable, type, word, &entry)) {
181 if (SPV_OPERAND_TYPE_NONE != entry->operandTypes[0]) {
182 *pOperandEntry = entry;
183 }
184 }
185 } else if (*pOperandEntry) {
186 // NOTE: Use specified operand entry operand type for this word
David Neto78c3b432015-08-27 13:03:52 -0400187 uint16_t index = operandIndex - opcodeEntry->numTypes;
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100188 type = (*pOperandEntry)->operandTypes[index];
189 } else if (OpSwitch == opcodeEntry->opcode) {
190 // NOTE: OpSwitch is a special case which expects a list of paired extra
191 // operands
192 assert(0 &&
193 "This case is previously untested, remove this assert and ensure it "
194 "is behaving correctly!");
David Neto78c3b432015-08-27 13:03:52 -0400195 uint16_t lastIndex = opcodeEntry->numTypes - 1;
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100196 uint16_t index = lastIndex + ((operandIndex - lastIndex) % 2);
197 type = opcodeEntry->operandTypes[index];
198 } else {
199 // NOTE: Default to last operand type in opcode entry
David Neto78c3b432015-08-27 13:03:52 -0400200 uint16_t index = opcodeEntry->numTypes - 1;
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100201 type = opcodeEntry->operandTypes[index];
202 }
203 return type;
204}
205
206spv_result_t spvBinaryDecodeOperand(
207 const Op opcode, const spv_operand_type_t type, const uint32_t *words,
208 const spv_endianness_t endian, const uint32_t options,
209 const spv_operand_table operandTable, const spv_ext_inst_table extInstTable,
David Neto78c3b432015-08-27 13:03:52 -0400210 spv_operand_pattern_t *pExpectedOperands, spv_ext_inst_type_t *pExtInstType,
211 out_stream &stream, spv_position position, spv_diagnostic *pDiagnostic) {
Lei Zhang40056702015-09-11 14:31:27 -0400212 if (!words || !position) return SPV_ERROR_INVALID_POINTER;
213 if (!pDiagnostic) return SPV_ERROR_INVALID_DIAGNOSTIC;
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100214
215 bool print = spvIsInBitfield(SPV_BINARY_TO_TEXT_OPTION_PRINT, options);
216 bool color =
217 print && spvIsInBitfield(SPV_BINARY_TO_TEXT_OPTION_COLOR, options);
218
219 uint64_t index = 0;
220 switch (type) {
David Neto78c3b432015-08-27 13:03:52 -0400221 case SPV_OPERAND_TYPE_ID:
222 case SPV_OPERAND_TYPE_RESULT_ID:
223 case SPV_OPERAND_TYPE_OPTIONAL_ID:
224 case SPV_OPERAND_TYPE_ID_IN_OPTIONAL_TUPLE: {
225 if (color) {
Pyry Haulos26b3b002015-09-09 13:35:53 -0700226 if (type == SPV_OPERAND_TYPE_RESULT_ID) {
227 stream.get() << clr::blue();
228 } else {
229 stream.get() << clr::yellow();
230 }
David Neto78c3b432015-08-27 13:03:52 -0400231 }
Lei Zhangabafd5e2015-08-21 11:52:29 -0400232 stream.get() << "%" << spvFixWord(words[index], endian);
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100233 stream.get() << ((color) ? clr::reset() : "");
234 index++;
235 position->index++;
236 } break;
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100237 case SPV_OPERAND_TYPE_LITERAL_NUMBER: {
238 // NOTE: Special case for extended instruction use
239 if (OpExtInst == opcode) {
240 spv_ext_inst_desc extInst;
Lei Zhang40056702015-09-11 14:31:27 -0400241 if (spvExtInstTableValueLookup(extInstTable, *pExtInstType, words[0],
242 &extInst)) {
243 DIAGNOSTIC << "Invalid extended instruction '" << words[0] << "'.";
244 return SPV_ERROR_INVALID_BINARY;
245 }
David Neto78c3b432015-08-27 13:03:52 -0400246 spvPrependOperandTypes(extInst->operandTypes, pExpectedOperands);
Andrew Woloszyn0d350b52015-08-21 14:23:42 -0400247 stream.get() << (color ? clr::red() : "");
248 stream.get() << extInst->name;
249 stream.get() << (color ? clr::reset() : "");
Lei Zhang41bf0732015-09-14 12:26:15 -0400250 index++;
251 position->index++;
252 break;
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100253 }
Lei Zhang41bf0732015-09-14 12:26:15 -0400254 } // Fall through for the general case.
255 case SPV_OPERAND_TYPE_LITERAL:
256 case SPV_OPERAND_TYPE_OPTIONAL_LITERAL:
257 case SPV_OPERAND_TYPE_LITERAL_IN_OPTIONAL_TUPLE: {
258 // TODO: Need to support multiple word literals
259 stream.get() << (color ? clr::red() : "");
260 stream.get() << spvFixWord(words[index], endian);
261 stream.get() << (color ? clr::reset() : "");
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100262 index++;
263 position->index++;
264 } break;
David Neto78c3b432015-08-27 13:03:52 -0400265 case SPV_OPERAND_TYPE_LITERAL_STRING:
266 case SPV_OPERAND_TYPE_OPTIONAL_LITERAL_STRING: {
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100267 const char *string = (const char *)&words[index];
268 uint64_t stringOperandCount = (strlen(string) / 4) + 1;
269
270 // NOTE: Special case for extended instruction import
271 if (OpExtInstImport == opcode) {
272 *pExtInstType = spvExtInstImportTypeGet(string);
Lei Zhang40056702015-09-11 14:31:27 -0400273 if (SPV_EXT_INST_TYPE_NONE == *pExtInstType) {
274 DIAGNOSTIC << "Invalid extended instruction import'" << string
275 << "'.";
276 return SPV_ERROR_INVALID_BINARY;
277 }
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100278 }
279
280 stream.get() << "\"";
281 stream.get() << (color ? clr::green() : "");
282 stream.get() << string;
283 stream.get() << (color ? clr::reset() : "");
284 stream.get() << "\"";
285 index += stringOperandCount;
286 position->index += stringOperandCount;
287 } break;
288 case SPV_OPERAND_TYPE_CAPABILITY:
289 case SPV_OPERAND_TYPE_SOURCE_LANGUAGE:
290 case SPV_OPERAND_TYPE_EXECUTION_MODEL:
291 case SPV_OPERAND_TYPE_ADDRESSING_MODEL:
292 case SPV_OPERAND_TYPE_MEMORY_MODEL:
293 case SPV_OPERAND_TYPE_EXECUTION_MODE:
David Neto78c3b432015-08-27 13:03:52 -0400294 case SPV_OPERAND_TYPE_OPTIONAL_EXECUTION_MODE:
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100295 case SPV_OPERAND_TYPE_STORAGE_CLASS:
296 case SPV_OPERAND_TYPE_DIMENSIONALITY:
297 case SPV_OPERAND_TYPE_SAMPLER_ADDRESSING_MODE:
298 case SPV_OPERAND_TYPE_SAMPLER_FILTER_MODE:
299 case SPV_OPERAND_TYPE_FP_FAST_MATH_MODE:
300 case SPV_OPERAND_TYPE_FP_ROUNDING_MODE:
301 case SPV_OPERAND_TYPE_LINKAGE_TYPE:
302 case SPV_OPERAND_TYPE_ACCESS_QUALIFIER:
303 case SPV_OPERAND_TYPE_FUNCTION_PARAMETER_ATTRIBUTE:
304 case SPV_OPERAND_TYPE_DECORATION:
305 case SPV_OPERAND_TYPE_BUILT_IN:
306 case SPV_OPERAND_TYPE_SELECTION_CONTROL:
307 case SPV_OPERAND_TYPE_LOOP_CONTROL:
308 case SPV_OPERAND_TYPE_FUNCTION_CONTROL:
309 case SPV_OPERAND_TYPE_MEMORY_SEMANTICS:
David Neto78c3b432015-08-27 13:03:52 -0400310 case SPV_OPERAND_TYPE_OPTIONAL_MEMORY_ACCESS:
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100311 case SPV_OPERAND_TYPE_EXECUTION_SCOPE:
312 case SPV_OPERAND_TYPE_GROUP_OPERATION:
313 case SPV_OPERAND_TYPE_KERNEL_ENQ_FLAGS:
David Neto47994822015-08-27 13:11:01 -0400314 case SPV_OPERAND_TYPE_KERNEL_PROFILING_INFO: {
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100315 spv_operand_desc entry;
Lei Zhang40056702015-09-11 14:31:27 -0400316 if (spvOperandTableValueLookup(
317 operandTable, type, spvFixWord(words[index], endian), &entry)) {
318 DIAGNOSTIC << "Invalid " << spvOperandTypeStr(type) << " operand '"
319 << words[index] << "'.";
320 return SPV_ERROR_INVALID_TEXT;
321 }
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100322 stream.get() << entry->name;
David Neto78c3b432015-08-27 13:03:52 -0400323 // Prepare to accept operands to this operand, if needed.
324 spvPrependOperandTypes(entry->operandTypes, pExpectedOperands);
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100325 index++;
326 position->index++;
327 } break;
328 default: {
329 DIAGNOSTIC << "Invalid binary operand '" << type << "'";
330 return SPV_ERROR_INVALID_BINARY;
331 }
332 }
333
334 return SPV_SUCCESS;
335}
336
337spv_result_t spvBinaryDecodeOpcode(
338 spv_instruction_t *pInst, const spv_endianness_t endian,
339 const uint32_t options, const spv_opcode_table opcodeTable,
340 const spv_operand_table operandTable, const spv_ext_inst_table extInstTable,
Lei Zhang29e667e2015-09-11 11:01:59 -0400341 spv_assembly_syntax_format_t format, out_stream &stream,
342 spv_position position, spv_diagnostic *pDiagnostic) {
Lei Zhang40056702015-09-11 14:31:27 -0400343 if (!pInst || !position) return SPV_ERROR_INVALID_POINTER;
344 if (!opcodeTable || !operandTable || !extInstTable)
345 return SPV_ERROR_INVALID_TABLE;
346 if (!pDiagnostic) return SPV_ERROR_INVALID_DIAGNOSTIC;
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100347
David Neto78c3b432015-08-27 13:03:52 -0400348 spv_position_t instructionStart = *position;
349
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100350 uint16_t wordCount;
351 Op opcode;
352 spvOpcodeSplit(spvFixWord(pInst->words[0], endian), &wordCount, &opcode);
353
354 spv_opcode_desc opcodeEntry;
Lei Zhang40056702015-09-11 14:31:27 -0400355 if (spvOpcodeTableValueLookup(opcodeTable, opcode, &opcodeEntry)) {
356 DIAGNOSTIC << "Invalid Opcode '" << opcode << "'.";
357 return SPV_ERROR_INVALID_BINARY;
358 }
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100359
David Neto78c3b432015-08-27 13:03:52 -0400360 // See if there are enough required words.
361 // Some operands in the operand types are optional or could be zero length.
362 // The optional and zero length opeands must be at the end of the list.
363 if (opcodeEntry->numTypes > wordCount &&
364 !spvOperandIsOptional(opcodeEntry->operandTypes[wordCount])) {
365 uint16_t numRequired;
Lei Zhange78a7c12015-09-10 17:07:21 -0400366 for (numRequired = 0;
367 numRequired < opcodeEntry->numTypes &&
368 !spvOperandIsOptional(opcodeEntry->operandTypes[numRequired]);
369 numRequired++)
David Neto78c3b432015-08-27 13:03:52 -0400370 ;
371 DIAGNOSTIC << "Invalid instruction Op" << opcodeEntry->name
Lei Zhange78a7c12015-09-10 17:07:21 -0400372 << " word count '" << wordCount << "', expected at least '"
373 << numRequired << "'.";
David Neto78c3b432015-08-27 13:03:52 -0400374 return SPV_ERROR_INVALID_BINARY;
375 }
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100376
Lei Zhang29e667e2015-09-11 11:01:59 -0400377 const bool isAssigmentFormat =
378 SPV_ASSEMBLY_SYNTAX_FORMAT_ASSIGNMENT == format;
379
380 // For Canonical Assembly Format, all words are written to stream in order.
381 // For Assignment Assembly Format, <result-id> and the equal sign are written
382 // to stream first, while the rest are written to no_result_id_stream. After
383 // processing all words, all words in no_result_id_stream are transcribed to
384 // stream.
385
Lei Zhang8a375202015-08-24 15:52:26 -0400386 std::stringstream no_result_id_strstream;
387 out_stream no_result_id_stream(no_result_id_strstream);
Lei Zhang29e667e2015-09-11 11:01:59 -0400388 (isAssigmentFormat ? no_result_id_stream.get() : stream.get())
389 << "Op" << opcodeEntry->name;
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100390
Lei Zhang29e667e2015-09-11 11:01:59 -0400391 const int16_t result_id_index = spvOpcodeResultIdIndex(opcodeEntry);
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100392 position->index++;
393
David Neto78c3b432015-08-27 13:03:52 -0400394 // Maintains the ordered list of expected operand types.
395 // For many instructions we only need the {numTypes, operandTypes}
396 // entries in opcodeEntry. However, sometimes we need to modify
397 // the list as we parse the operands. This occurs when an operand
398 // has its own logical operands (such as the LocalSize operand for
399 // ExecutionMode), or for extended instructions that may have their
400 // own operands depending on the selected extended instruction.
401 spv_operand_pattern_t expectedOperands(
402 opcodeEntry->operandTypes,
403 opcodeEntry->operandTypes + opcodeEntry->numTypes);
404
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100405 for (uint16_t index = 1; index < wordCount; ++index) {
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100406 const uint64_t currentPosIndex = position->index;
Lei Zhang29e667e2015-09-11 11:01:59 -0400407 const bool currentIsResultId = result_id_index == index - 1;
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100408
Lei Zhang40056702015-09-11 14:31:27 -0400409 if (expectedOperands.empty()) {
410 DIAGNOSTIC << "Invalid instruction Op" << opcodeEntry->name
411 << " starting at word " << instructionStart.index
412 << ": expected no more operands after " << index
413 << " words, but word count is " << wordCount << ".";
414 return SPV_ERROR_INVALID_BINARY;
415 }
David Neto78c3b432015-08-27 13:03:52 -0400416
417 spv_operand_type_t type = spvTakeFirstMatchableOperand(&expectedOperands);
418
Lei Zhang29e667e2015-09-11 11:01:59 -0400419 if (isAssigmentFormat) {
420 if (!currentIsResultId) no_result_id_stream.get() << " ";
421 } else {
422 stream.get() << " ";
423 }
Lei Zhang40056702015-09-11 14:31:27 -0400424 if (spvBinaryDecodeOperand(
David Neto78c3b432015-08-27 13:03:52 -0400425 opcodeEntry->opcode, type, pInst->words + index, endian, options,
426 operandTable, extInstTable, &expectedOperands, &pInst->extInstType,
Lei Zhang29e667e2015-09-11 11:01:59 -0400427 (isAssigmentFormat && !currentIsResultId ? no_result_id_stream
428 : stream),
Lei Zhang40056702015-09-11 14:31:27 -0400429 position, pDiagnostic)) {
430 DIAGNOSTIC << "UNEXPLAINED ERROR";
431 return SPV_ERROR_INVALID_BINARY;
432 }
Lei Zhang29e667e2015-09-11 11:01:59 -0400433 if (isAssigmentFormat && currentIsResultId) stream.get() << " = ";
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100434 index += (uint16_t)(position->index - currentPosIndex - 1);
435 }
David Neto78c3b432015-08-27 13:03:52 -0400436 // TODO(dneto): There's an opportunity for a more informative message.
Lei Zhang40056702015-09-11 14:31:27 -0400437 if (!expectedOperands.empty() &&
438 !spvOperandIsOptional(expectedOperands.front())) {
439 DIAGNOSTIC << "Invalid instruction Op" << opcodeEntry->name
440 << " starting at word " << instructionStart.index
441 << ": expected more operands after " << wordCount << " words.";
442 return SPV_ERROR_INVALID_BINARY;
443 }
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100444
Lei Zhang8a375202015-08-24 15:52:26 -0400445 stream.get() << no_result_id_strstream.str();
446
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100447 return SPV_SUCCESS;
448}
449
Lei Zhange78a7c12015-09-10 17:07:21 -0400450spv_result_t spvBinaryToText(uint32_t *code, const uint64_t wordCount,
Andrew Woloszyncfeac482015-09-09 13:04:32 -0400451 const uint32_t options,
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100452 const spv_opcode_table opcodeTable,
453 const spv_operand_table operandTable,
454 const spv_ext_inst_table extInstTable,
455 spv_text *pText, spv_diagnostic *pDiagnostic) {
Lei Zhang29e667e2015-09-11 11:01:59 -0400456 return spvBinaryToTextWithFormat(
457 code, wordCount, options, opcodeTable, operandTable, extInstTable,
458 SPV_ASSEMBLY_SYNTAX_FORMAT_DEFAULT, pText, pDiagnostic);
459}
460
461spv_result_t spvBinaryToTextWithFormat(
462 uint32_t *code, const uint64_t wordCount, const uint32_t options,
463 const spv_opcode_table opcodeTable, const spv_operand_table operandTable,
464 const spv_ext_inst_table extInstTable, spv_assembly_syntax_format_t format,
465 spv_text *pText, spv_diagnostic *pDiagnostic) {
Andrew Woloszyncfeac482015-09-09 13:04:32 -0400466 spv_binary_t binary = {code, wordCount};
467
Andrew Woloszyn4b4acde2015-09-10 10:28:22 -0400468 spv_position_t position = {};
Lei Zhang40056702015-09-11 14:31:27 -0400469 if (!binary.code || !binary.wordCount) {
470 DIAGNOSTIC << "Binary stream is empty.";
471 return SPV_ERROR_INVALID_BINARY;
472 }
473 if (!opcodeTable || !operandTable || !extInstTable)
474 return SPV_ERROR_INVALID_TABLE;
475 if (pText && spvIsInBitfield(SPV_BINARY_TO_TEXT_OPTION_PRINT, options))
476 return SPV_ERROR_INVALID_POINTER;
477 if (!pText && !spvIsInBitfield(SPV_BINARY_TO_TEXT_OPTION_PRINT, options))
478 return SPV_ERROR_INVALID_POINTER;
479 if (!pDiagnostic) return SPV_ERROR_INVALID_DIAGNOSTIC;
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100480
481 spv_endianness_t endian;
Lei Zhang40056702015-09-11 14:31:27 -0400482 if (spvBinaryEndianness(&binary, &endian)) {
483 DIAGNOSTIC << "Invalid SPIR-V magic number '" << std::hex << binary.code[0]
484 << "'.";
485 return SPV_ERROR_INVALID_BINARY;
486 }
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100487
488 spv_header_t header;
Lei Zhang40056702015-09-11 14:31:27 -0400489 if (spvBinaryHeaderGet(&binary, endian, &header)) {
490 DIAGNOSTIC << "Invalid SPIR-V header.";
491 return SPV_ERROR_INVALID_BINARY;
492 }
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100493
494 bool print = spvIsInBitfield(SPV_BINARY_TO_TEXT_OPTION_PRINT, options);
495 bool color =
496 print && spvIsInBitfield(SPV_BINARY_TO_TEXT_OPTION_COLOR, options);
497
498 std::stringstream sstream;
499 out_stream stream(sstream);
500 if (print) {
501 stream = out_stream();
502 }
503
504 if (color) {
505 stream.get() << clr::grey();
506 }
507 stream.get() << "; SPIR-V\n"
508 << "; Version: " << header.version << "\n"
509 << "; Generator: " << spvGeneratorStr(header.generator) << "\n"
510 << "; Bound: " << header.bound << "\n"
511 << "; Schema: " << header.schema << "\n";
512 if (color) {
513 stream.get() << clr::reset();
514 }
515
Andrew Woloszyncfeac482015-09-09 13:04:32 -0400516 const uint32_t *words = binary.code;
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100517 position.index = SPV_INDEX_INSTRUCTION;
518 spv_ext_inst_type_t extInstType = SPV_EXT_INST_TYPE_NONE;
Andrew Woloszyncfeac482015-09-09 13:04:32 -0400519 while (position.index < binary.wordCount) {
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100520 uint64_t index = position.index;
521 uint16_t wordCount;
522 Op opcode;
523 spvOpcodeSplit(spvFixWord(words[position.index], endian), &wordCount,
524 &opcode);
525
526 spv_instruction_t inst = {};
527 inst.extInstType = extInstType;
528 spvInstructionCopy(&words[position.index], opcode, wordCount, endian,
529 &inst);
530
Lei Zhang40056702015-09-11 14:31:27 -0400531 if (spvBinaryDecodeOpcode(&inst, endian, options, opcodeTable, operandTable,
532 extInstTable, format, stream, &position,
533 pDiagnostic))
534 return SPV_ERROR_INVALID_BINARY;
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100535 extInstType = inst.extInstType;
536
Lei Zhang40056702015-09-11 14:31:27 -0400537 if ((index + wordCount) != position.index) {
538 DIAGNOSTIC << "Invalid word count.";
539 return SPV_ERROR_INVALID_BINARY;
540 }
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100541
542 stream.get() << "\n";
543 }
544
545 if (!print) {
546 size_t length = sstream.str().size();
547 char *str = new char[length + 1];
Lei Zhang40056702015-09-11 14:31:27 -0400548 if (!str) return SPV_ERROR_OUT_OF_MEMORY;
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100549 strncpy(str, sstream.str().c_str(), length + 1);
550 spv_text text = new spv_text_t();
Lei Zhang40056702015-09-11 14:31:27 -0400551 if (!text) return SPV_ERROR_OUT_OF_MEMORY;
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100552 text->str = str;
553 text->length = length;
554 *pText = text;
555 }
556
557 return SPV_SUCCESS;
558}
559
560void spvBinaryDestroy(spv_binary binary) {
Lei Zhang40056702015-09-11 14:31:27 -0400561 if (!binary) return;
Kenneth Benzie (Benie)83e5a292015-05-22 18:26:19 +0100562 if (binary->code) {
563 delete[] binary->code;
564 }
565 delete binary;
566}