Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 1 | // 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 | |
| 41 | enum { |
| 42 | I32_ENDIAN_LITTLE = 0x03020100ul, |
| 43 | I32_ENDIAN_BIG = 0x00010203ul, |
| 44 | }; |
| 45 | |
| 46 | static 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 | |
| 53 | spv_result_t spvBinaryEndianness(const spv_binary binary, |
| 54 | spv_endianness_t *pEndian) { |
Lei Zhang | 4005670 | 2015-09-11 14:31:27 -0400 | [diff] [blame] | 55 | if (!binary->code || !binary->wordCount) return SPV_ERROR_INVALID_BINARY; |
| 56 | if (!pEndian) return SPV_ERROR_INVALID_POINTER; |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 57 | |
| 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 | |
| 76 | uint32_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 | |
| 86 | spv_result_t spvBinaryHeaderGet(const spv_binary binary, |
| 87 | const spv_endianness_t endian, |
| 88 | spv_header_t *pHeader) { |
Lei Zhang | 4005670 | 2015-09-11 14:31:27 -0400 | [diff] [blame] | 89 | if (!binary->code || !binary->wordCount) return SPV_ERROR_INVALID_BINARY; |
| 90 | if (!pHeader) return SPV_ERROR_INVALID_POINTER; |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 91 | |
| 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 | |
| 104 | spv_result_t spvBinaryHeaderSet(spv_binary_t *binary, const uint32_t bound) { |
Lei Zhang | 4005670 | 2015-09-11 14:31:27 -0400 | [diff] [blame] | 105 | if (!binary) return SPV_ERROR_INVALID_BINARY; |
| 106 | if (!binary->code || !binary->wordCount) return SPV_ERROR_INVALID_BINARY; |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 107 | |
| 108 | binary->code[SPV_INDEX_MAGIC_NUMBER] = SPV_MAGIC_NUMBER; |
| 109 | binary->code[SPV_INDEX_VERSION_NUMBER] = SPV_VERSION_NUMBER; |
Kenneth Benzie (Benie) | 81d7d49 | 2015-06-01 09:50:46 -0700 | [diff] [blame] | 110 | binary->code[SPV_INDEX_GENERATOR_NUMBER] = SPV_GENERATOR_KHRONOS; |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 111 | binary->code[SPV_INDEX_BOUND] = bound; |
| 112 | binary->code[SPV_INDEX_SCHEMA] = 0; // NOTE: Reserved |
| 113 | |
| 114 | return SPV_SUCCESS; |
| 115 | } |
| 116 | |
| 117 | spv_result_t spvBinaryEncodeU32(const uint32_t value, spv_instruction_t *pInst, |
| 118 | const spv_position position, |
| 119 | spv_diagnostic *pDiagnostic) { |
Lei Zhang | 4005670 | 2015-09-11 14:31:27 -0400 | [diff] [blame] | 120 | 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) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 125 | |
| 126 | pInst->words[pInst->wordCount++] = (uint32_t)value; |
| 127 | return SPV_SUCCESS; |
| 128 | } |
| 129 | |
| 130 | spv_result_t spvBinaryEncodeU64(const uint64_t value, spv_instruction_t *pInst, |
| 131 | const spv_position position, |
| 132 | spv_diagnostic *pDiagnostic) { |
Lei Zhang | 4005670 | 2015-09-11 14:31:27 -0400 | [diff] [blame] | 133 | 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) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 138 | |
| 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 | |
| 146 | spv_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 Zhang | 4005670 | 2015-09-11 14:31:27 -0400 | [diff] [blame] | 151 | 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) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 157 | |
| 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 Neto | 78c3b43 | 2015-08-27 13:03:52 -0400 | [diff] [blame] | 165 | // 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) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 169 | spv_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 Neto | 78c3b43 | 2015-08-27 13:03:52 -0400 | [diff] [blame] | 175 | if (operandIndex < opcodeEntry->numTypes) { |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 176 | // 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 Neto | 78c3b43 | 2015-08-27 13:03:52 -0400 | [diff] [blame] | 187 | uint16_t index = operandIndex - opcodeEntry->numTypes; |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 188 | 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 Neto | 78c3b43 | 2015-08-27 13:03:52 -0400 | [diff] [blame] | 195 | uint16_t lastIndex = opcodeEntry->numTypes - 1; |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 196 | 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 Neto | 78c3b43 | 2015-08-27 13:03:52 -0400 | [diff] [blame] | 200 | uint16_t index = opcodeEntry->numTypes - 1; |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 201 | type = opcodeEntry->operandTypes[index]; |
| 202 | } |
| 203 | return type; |
| 204 | } |
| 205 | |
| 206 | spv_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 Neto | 78c3b43 | 2015-08-27 13:03:52 -0400 | [diff] [blame] | 210 | spv_operand_pattern_t *pExpectedOperands, spv_ext_inst_type_t *pExtInstType, |
| 211 | out_stream &stream, spv_position position, spv_diagnostic *pDiagnostic) { |
Lei Zhang | 4005670 | 2015-09-11 14:31:27 -0400 | [diff] [blame] | 212 | if (!words || !position) return SPV_ERROR_INVALID_POINTER; |
| 213 | if (!pDiagnostic) return SPV_ERROR_INVALID_DIAGNOSTIC; |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 214 | |
| 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 Neto | 78c3b43 | 2015-08-27 13:03:52 -0400 | [diff] [blame] | 221 | 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 Haulos | 26b3b00 | 2015-09-09 13:35:53 -0700 | [diff] [blame] | 226 | if (type == SPV_OPERAND_TYPE_RESULT_ID) { |
| 227 | stream.get() << clr::blue(); |
| 228 | } else { |
| 229 | stream.get() << clr::yellow(); |
| 230 | } |
David Neto | 78c3b43 | 2015-08-27 13:03:52 -0400 | [diff] [blame] | 231 | } |
Lei Zhang | abafd5e | 2015-08-21 11:52:29 -0400 | [diff] [blame] | 232 | stream.get() << "%" << spvFixWord(words[index], endian); |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 233 | stream.get() << ((color) ? clr::reset() : ""); |
| 234 | index++; |
| 235 | position->index++; |
| 236 | } break; |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 237 | 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 Zhang | 4005670 | 2015-09-11 14:31:27 -0400 | [diff] [blame] | 241 | if (spvExtInstTableValueLookup(extInstTable, *pExtInstType, words[0], |
| 242 | &extInst)) { |
| 243 | DIAGNOSTIC << "Invalid extended instruction '" << words[0] << "'."; |
| 244 | return SPV_ERROR_INVALID_BINARY; |
| 245 | } |
David Neto | 78c3b43 | 2015-08-27 13:03:52 -0400 | [diff] [blame] | 246 | spvPrependOperandTypes(extInst->operandTypes, pExpectedOperands); |
Andrew Woloszyn | 0d350b5 | 2015-08-21 14:23:42 -0400 | [diff] [blame] | 247 | stream.get() << (color ? clr::red() : ""); |
| 248 | stream.get() << extInst->name; |
| 249 | stream.get() << (color ? clr::reset() : ""); |
Lei Zhang | 41bf073 | 2015-09-14 12:26:15 -0400 | [diff] [blame^] | 250 | index++; |
| 251 | position->index++; |
| 252 | break; |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 253 | } |
Lei Zhang | 41bf073 | 2015-09-14 12:26:15 -0400 | [diff] [blame^] | 254 | } // 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) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 262 | index++; |
| 263 | position->index++; |
| 264 | } break; |
David Neto | 78c3b43 | 2015-08-27 13:03:52 -0400 | [diff] [blame] | 265 | case SPV_OPERAND_TYPE_LITERAL_STRING: |
| 266 | case SPV_OPERAND_TYPE_OPTIONAL_LITERAL_STRING: { |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 267 | 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 Zhang | 4005670 | 2015-09-11 14:31:27 -0400 | [diff] [blame] | 273 | 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) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 278 | } |
| 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 Neto | 78c3b43 | 2015-08-27 13:03:52 -0400 | [diff] [blame] | 294 | case SPV_OPERAND_TYPE_OPTIONAL_EXECUTION_MODE: |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 295 | 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 Neto | 78c3b43 | 2015-08-27 13:03:52 -0400 | [diff] [blame] | 310 | case SPV_OPERAND_TYPE_OPTIONAL_MEMORY_ACCESS: |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 311 | case SPV_OPERAND_TYPE_EXECUTION_SCOPE: |
| 312 | case SPV_OPERAND_TYPE_GROUP_OPERATION: |
| 313 | case SPV_OPERAND_TYPE_KERNEL_ENQ_FLAGS: |
David Neto | 4799482 | 2015-08-27 13:11:01 -0400 | [diff] [blame] | 314 | case SPV_OPERAND_TYPE_KERNEL_PROFILING_INFO: { |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 315 | spv_operand_desc entry; |
Lei Zhang | 4005670 | 2015-09-11 14:31:27 -0400 | [diff] [blame] | 316 | 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) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 322 | stream.get() << entry->name; |
David Neto | 78c3b43 | 2015-08-27 13:03:52 -0400 | [diff] [blame] | 323 | // Prepare to accept operands to this operand, if needed. |
| 324 | spvPrependOperandTypes(entry->operandTypes, pExpectedOperands); |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 325 | 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 | |
| 337 | spv_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 Zhang | 29e667e | 2015-09-11 11:01:59 -0400 | [diff] [blame] | 341 | spv_assembly_syntax_format_t format, out_stream &stream, |
| 342 | spv_position position, spv_diagnostic *pDiagnostic) { |
Lei Zhang | 4005670 | 2015-09-11 14:31:27 -0400 | [diff] [blame] | 343 | 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) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 347 | |
David Neto | 78c3b43 | 2015-08-27 13:03:52 -0400 | [diff] [blame] | 348 | spv_position_t instructionStart = *position; |
| 349 | |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 350 | uint16_t wordCount; |
| 351 | Op opcode; |
| 352 | spvOpcodeSplit(spvFixWord(pInst->words[0], endian), &wordCount, &opcode); |
| 353 | |
| 354 | spv_opcode_desc opcodeEntry; |
Lei Zhang | 4005670 | 2015-09-11 14:31:27 -0400 | [diff] [blame] | 355 | if (spvOpcodeTableValueLookup(opcodeTable, opcode, &opcodeEntry)) { |
| 356 | DIAGNOSTIC << "Invalid Opcode '" << opcode << "'."; |
| 357 | return SPV_ERROR_INVALID_BINARY; |
| 358 | } |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 359 | |
David Neto | 78c3b43 | 2015-08-27 13:03:52 -0400 | [diff] [blame] | 360 | // 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 Zhang | e78a7c1 | 2015-09-10 17:07:21 -0400 | [diff] [blame] | 366 | for (numRequired = 0; |
| 367 | numRequired < opcodeEntry->numTypes && |
| 368 | !spvOperandIsOptional(opcodeEntry->operandTypes[numRequired]); |
| 369 | numRequired++) |
David Neto | 78c3b43 | 2015-08-27 13:03:52 -0400 | [diff] [blame] | 370 | ; |
| 371 | DIAGNOSTIC << "Invalid instruction Op" << opcodeEntry->name |
Lei Zhang | e78a7c1 | 2015-09-10 17:07:21 -0400 | [diff] [blame] | 372 | << " word count '" << wordCount << "', expected at least '" |
| 373 | << numRequired << "'."; |
David Neto | 78c3b43 | 2015-08-27 13:03:52 -0400 | [diff] [blame] | 374 | return SPV_ERROR_INVALID_BINARY; |
| 375 | } |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 376 | |
Lei Zhang | 29e667e | 2015-09-11 11:01:59 -0400 | [diff] [blame] | 377 | 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 Zhang | 8a37520 | 2015-08-24 15:52:26 -0400 | [diff] [blame] | 386 | std::stringstream no_result_id_strstream; |
| 387 | out_stream no_result_id_stream(no_result_id_strstream); |
Lei Zhang | 29e667e | 2015-09-11 11:01:59 -0400 | [diff] [blame] | 388 | (isAssigmentFormat ? no_result_id_stream.get() : stream.get()) |
| 389 | << "Op" << opcodeEntry->name; |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 390 | |
Lei Zhang | 29e667e | 2015-09-11 11:01:59 -0400 | [diff] [blame] | 391 | const int16_t result_id_index = spvOpcodeResultIdIndex(opcodeEntry); |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 392 | position->index++; |
| 393 | |
David Neto | 78c3b43 | 2015-08-27 13:03:52 -0400 | [diff] [blame] | 394 | // 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) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 405 | for (uint16_t index = 1; index < wordCount; ++index) { |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 406 | const uint64_t currentPosIndex = position->index; |
Lei Zhang | 29e667e | 2015-09-11 11:01:59 -0400 | [diff] [blame] | 407 | const bool currentIsResultId = result_id_index == index - 1; |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 408 | |
Lei Zhang | 4005670 | 2015-09-11 14:31:27 -0400 | [diff] [blame] | 409 | 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 Neto | 78c3b43 | 2015-08-27 13:03:52 -0400 | [diff] [blame] | 416 | |
| 417 | spv_operand_type_t type = spvTakeFirstMatchableOperand(&expectedOperands); |
| 418 | |
Lei Zhang | 29e667e | 2015-09-11 11:01:59 -0400 | [diff] [blame] | 419 | if (isAssigmentFormat) { |
| 420 | if (!currentIsResultId) no_result_id_stream.get() << " "; |
| 421 | } else { |
| 422 | stream.get() << " "; |
| 423 | } |
Lei Zhang | 4005670 | 2015-09-11 14:31:27 -0400 | [diff] [blame] | 424 | if (spvBinaryDecodeOperand( |
David Neto | 78c3b43 | 2015-08-27 13:03:52 -0400 | [diff] [blame] | 425 | opcodeEntry->opcode, type, pInst->words + index, endian, options, |
| 426 | operandTable, extInstTable, &expectedOperands, &pInst->extInstType, |
Lei Zhang | 29e667e | 2015-09-11 11:01:59 -0400 | [diff] [blame] | 427 | (isAssigmentFormat && !currentIsResultId ? no_result_id_stream |
| 428 | : stream), |
Lei Zhang | 4005670 | 2015-09-11 14:31:27 -0400 | [diff] [blame] | 429 | position, pDiagnostic)) { |
| 430 | DIAGNOSTIC << "UNEXPLAINED ERROR"; |
| 431 | return SPV_ERROR_INVALID_BINARY; |
| 432 | } |
Lei Zhang | 29e667e | 2015-09-11 11:01:59 -0400 | [diff] [blame] | 433 | if (isAssigmentFormat && currentIsResultId) stream.get() << " = "; |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 434 | index += (uint16_t)(position->index - currentPosIndex - 1); |
| 435 | } |
David Neto | 78c3b43 | 2015-08-27 13:03:52 -0400 | [diff] [blame] | 436 | // TODO(dneto): There's an opportunity for a more informative message. |
Lei Zhang | 4005670 | 2015-09-11 14:31:27 -0400 | [diff] [blame] | 437 | 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) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 444 | |
Lei Zhang | 8a37520 | 2015-08-24 15:52:26 -0400 | [diff] [blame] | 445 | stream.get() << no_result_id_strstream.str(); |
| 446 | |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 447 | return SPV_SUCCESS; |
| 448 | } |
| 449 | |
Lei Zhang | e78a7c1 | 2015-09-10 17:07:21 -0400 | [diff] [blame] | 450 | spv_result_t spvBinaryToText(uint32_t *code, const uint64_t wordCount, |
Andrew Woloszyn | cfeac48 | 2015-09-09 13:04:32 -0400 | [diff] [blame] | 451 | const uint32_t options, |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 452 | 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 Zhang | 29e667e | 2015-09-11 11:01:59 -0400 | [diff] [blame] | 456 | return spvBinaryToTextWithFormat( |
| 457 | code, wordCount, options, opcodeTable, operandTable, extInstTable, |
| 458 | SPV_ASSEMBLY_SYNTAX_FORMAT_DEFAULT, pText, pDiagnostic); |
| 459 | } |
| 460 | |
| 461 | spv_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 Woloszyn | cfeac48 | 2015-09-09 13:04:32 -0400 | [diff] [blame] | 466 | spv_binary_t binary = {code, wordCount}; |
| 467 | |
Andrew Woloszyn | 4b4acde | 2015-09-10 10:28:22 -0400 | [diff] [blame] | 468 | spv_position_t position = {}; |
Lei Zhang | 4005670 | 2015-09-11 14:31:27 -0400 | [diff] [blame] | 469 | 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) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 480 | |
| 481 | spv_endianness_t endian; |
Lei Zhang | 4005670 | 2015-09-11 14:31:27 -0400 | [diff] [blame] | 482 | 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) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 487 | |
| 488 | spv_header_t header; |
Lei Zhang | 4005670 | 2015-09-11 14:31:27 -0400 | [diff] [blame] | 489 | if (spvBinaryHeaderGet(&binary, endian, &header)) { |
| 490 | DIAGNOSTIC << "Invalid SPIR-V header."; |
| 491 | return SPV_ERROR_INVALID_BINARY; |
| 492 | } |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 493 | |
| 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 Woloszyn | cfeac48 | 2015-09-09 13:04:32 -0400 | [diff] [blame] | 516 | const uint32_t *words = binary.code; |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 517 | position.index = SPV_INDEX_INSTRUCTION; |
| 518 | spv_ext_inst_type_t extInstType = SPV_EXT_INST_TYPE_NONE; |
Andrew Woloszyn | cfeac48 | 2015-09-09 13:04:32 -0400 | [diff] [blame] | 519 | while (position.index < binary.wordCount) { |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 520 | 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 Zhang | 4005670 | 2015-09-11 14:31:27 -0400 | [diff] [blame] | 531 | if (spvBinaryDecodeOpcode(&inst, endian, options, opcodeTable, operandTable, |
| 532 | extInstTable, format, stream, &position, |
| 533 | pDiagnostic)) |
| 534 | return SPV_ERROR_INVALID_BINARY; |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 535 | extInstType = inst.extInstType; |
| 536 | |
Lei Zhang | 4005670 | 2015-09-11 14:31:27 -0400 | [diff] [blame] | 537 | if ((index + wordCount) != position.index) { |
| 538 | DIAGNOSTIC << "Invalid word count."; |
| 539 | return SPV_ERROR_INVALID_BINARY; |
| 540 | } |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 541 | |
| 542 | stream.get() << "\n"; |
| 543 | } |
| 544 | |
| 545 | if (!print) { |
| 546 | size_t length = sstream.str().size(); |
| 547 | char *str = new char[length + 1]; |
Lei Zhang | 4005670 | 2015-09-11 14:31:27 -0400 | [diff] [blame] | 548 | if (!str) return SPV_ERROR_OUT_OF_MEMORY; |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 549 | strncpy(str, sstream.str().c_str(), length + 1); |
| 550 | spv_text text = new spv_text_t(); |
Lei Zhang | 4005670 | 2015-09-11 14:31:27 -0400 | [diff] [blame] | 551 | if (!text) return SPV_ERROR_OUT_OF_MEMORY; |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 552 | text->str = str; |
| 553 | text->length = length; |
| 554 | *pText = text; |
| 555 | } |
| 556 | |
| 557 | return SPV_SUCCESS; |
| 558 | } |
| 559 | |
| 560 | void spvBinaryDestroy(spv_binary binary) { |
Lei Zhang | 4005670 | 2015-09-11 14:31:27 -0400 | [diff] [blame] | 561 | if (!binary) return; |
Kenneth Benzie (Benie) | 83e5a29 | 2015-05-22 18:26:19 +0100 | [diff] [blame] | 562 | if (binary->code) { |
| 563 | delete[] binary->code; |
| 564 | } |
| 565 | delete binary; |
| 566 | } |