| // Copyright (c) 2015-2016 The Khronos Group Inc. |
| // |
| // Licensed under the Apache License, Version 2.0 (the "License"); |
| // you may not use this file except in compliance with the License. |
| // You may obtain a copy of the License at |
| // |
| // http://www.apache.org/licenses/LICENSE-2.0 |
| // |
| // Unless required by applicable law or agreed to in writing, software |
| // distributed under the License is distributed on an "AS IS" BASIS, |
| // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| // See the License for the specific language governing permissions and |
| // limitations under the License. |
| |
| #include "source/spirv_target_env.h" |
| |
| #include <cassert> |
| #include <cstring> |
| #include <string> |
| |
| #include "source/spirv_constant.h" |
| #include "spirv-tools/libspirv.h" |
| |
| const char* spvTargetEnvDescription(spv_target_env env) { |
| switch (env) { |
| case SPV_ENV_UNIVERSAL_1_0: |
| return "SPIR-V 1.0"; |
| case SPV_ENV_VULKAN_1_0: |
| return "SPIR-V 1.0 (under Vulkan 1.0 semantics)"; |
| case SPV_ENV_UNIVERSAL_1_1: |
| return "SPIR-V 1.1"; |
| case SPV_ENV_OPENCL_1_2: |
| return "SPIR-V 1.0 (under OpenCL 1.2 Full Profile semantics)"; |
| case SPV_ENV_OPENCL_EMBEDDED_1_2: |
| return "SPIR-V 1.0 (under OpenCL 1.2 Embedded Profile semantics)"; |
| case SPV_ENV_OPENCL_2_0: |
| return "SPIR-V 1.0 (under OpenCL 2.0 Full Profile semantics)"; |
| case SPV_ENV_OPENCL_EMBEDDED_2_0: |
| return "SPIR-V 1.0 (under OpenCL 2.0 Embedded Profile semantics)"; |
| case SPV_ENV_OPENCL_2_1: |
| return "SPIR-V 1.0 (under OpenCL 2.1 Full Profile semantics)"; |
| case SPV_ENV_OPENCL_EMBEDDED_2_1: |
| return "SPIR-V 1.0 (under OpenCL 2.1 Embedded Profile semantics)"; |
| case SPV_ENV_OPENCL_2_2: |
| return "SPIR-V 1.2 (under OpenCL 2.2 Full Profile semantics)"; |
| case SPV_ENV_OPENCL_EMBEDDED_2_2: |
| return "SPIR-V 1.2 (under OpenCL 2.2 Embedded Profile semantics)"; |
| case SPV_ENV_OPENGL_4_0: |
| return "SPIR-V 1.0 (under OpenGL 4.0 semantics)"; |
| case SPV_ENV_OPENGL_4_1: |
| return "SPIR-V 1.0 (under OpenGL 4.1 semantics)"; |
| case SPV_ENV_OPENGL_4_2: |
| return "SPIR-V 1.0 (under OpenGL 4.2 semantics)"; |
| case SPV_ENV_OPENGL_4_3: |
| return "SPIR-V 1.0 (under OpenGL 4.3 semantics)"; |
| case SPV_ENV_OPENGL_4_5: |
| return "SPIR-V 1.0 (under OpenGL 4.5 semantics)"; |
| case SPV_ENV_UNIVERSAL_1_2: |
| return "SPIR-V 1.2"; |
| case SPV_ENV_UNIVERSAL_1_3: |
| return "SPIR-V 1.3"; |
| case SPV_ENV_VULKAN_1_1: |
| return "SPIR-V 1.3 (under Vulkan 1.1 semantics)"; |
| case SPV_ENV_WEBGPU_0: |
| assert(false && "Deprecated target environment value."); |
| break; |
| case SPV_ENV_UNIVERSAL_1_4: |
| return "SPIR-V 1.4"; |
| case SPV_ENV_VULKAN_1_1_SPIRV_1_4: |
| return "SPIR-V 1.4 (under Vulkan 1.1 semantics)"; |
| case SPV_ENV_UNIVERSAL_1_5: |
| return "SPIR-V 1.5"; |
| case SPV_ENV_VULKAN_1_2: |
| return "SPIR-V 1.5 (under Vulkan 1.2 semantics)"; |
| case SPV_ENV_MAX: |
| assert(false && "Invalid target environment value."); |
| break; |
| } |
| return ""; |
| } |
| |
| uint32_t spvVersionForTargetEnv(spv_target_env env) { |
| switch (env) { |
| case SPV_ENV_UNIVERSAL_1_0: |
| case SPV_ENV_VULKAN_1_0: |
| case SPV_ENV_OPENCL_1_2: |
| case SPV_ENV_OPENCL_EMBEDDED_1_2: |
| case SPV_ENV_OPENCL_2_0: |
| case SPV_ENV_OPENCL_EMBEDDED_2_0: |
| case SPV_ENV_OPENCL_2_1: |
| case SPV_ENV_OPENCL_EMBEDDED_2_1: |
| case SPV_ENV_OPENGL_4_0: |
| case SPV_ENV_OPENGL_4_1: |
| case SPV_ENV_OPENGL_4_2: |
| case SPV_ENV_OPENGL_4_3: |
| case SPV_ENV_OPENGL_4_5: |
| return SPV_SPIRV_VERSION_WORD(1, 0); |
| case SPV_ENV_UNIVERSAL_1_1: |
| return SPV_SPIRV_VERSION_WORD(1, 1); |
| case SPV_ENV_UNIVERSAL_1_2: |
| case SPV_ENV_OPENCL_2_2: |
| case SPV_ENV_OPENCL_EMBEDDED_2_2: |
| return SPV_SPIRV_VERSION_WORD(1, 2); |
| case SPV_ENV_UNIVERSAL_1_3: |
| case SPV_ENV_VULKAN_1_1: |
| return SPV_SPIRV_VERSION_WORD(1, 3); |
| case SPV_ENV_WEBGPU_0: |
| assert(false && "Deprecated target environment value."); |
| break; |
| case SPV_ENV_UNIVERSAL_1_4: |
| case SPV_ENV_VULKAN_1_1_SPIRV_1_4: |
| return SPV_SPIRV_VERSION_WORD(1, 4); |
| case SPV_ENV_UNIVERSAL_1_5: |
| case SPV_ENV_VULKAN_1_2: |
| return SPV_SPIRV_VERSION_WORD(1, 5); |
| case SPV_ENV_MAX: |
| assert(false && "Invalid target environment value."); |
| break; |
| } |
| return SPV_SPIRV_VERSION_WORD(0, 0); |
| } |
| |
| static const std::pair<const char*, spv_target_env> spvTargetEnvNameMap[] = { |
| {"vulkan1.1spv1.4", SPV_ENV_VULKAN_1_1_SPIRV_1_4}, |
| {"vulkan1.0", SPV_ENV_VULKAN_1_0}, |
| {"vulkan1.1", SPV_ENV_VULKAN_1_1}, |
| {"vulkan1.2", SPV_ENV_VULKAN_1_2}, |
| {"spv1.0", SPV_ENV_UNIVERSAL_1_0}, |
| {"spv1.1", SPV_ENV_UNIVERSAL_1_1}, |
| {"spv1.2", SPV_ENV_UNIVERSAL_1_2}, |
| {"spv1.3", SPV_ENV_UNIVERSAL_1_3}, |
| {"spv1.4", SPV_ENV_UNIVERSAL_1_4}, |
| {"spv1.5", SPV_ENV_UNIVERSAL_1_5}, |
| {"opencl1.2embedded", SPV_ENV_OPENCL_EMBEDDED_1_2}, |
| {"opencl1.2", SPV_ENV_OPENCL_1_2}, |
| {"opencl2.0embedded", SPV_ENV_OPENCL_EMBEDDED_2_0}, |
| {"opencl2.0", SPV_ENV_OPENCL_2_0}, |
| {"opencl2.1embedded", SPV_ENV_OPENCL_EMBEDDED_2_1}, |
| {"opencl2.1", SPV_ENV_OPENCL_2_1}, |
| {"opencl2.2embedded", SPV_ENV_OPENCL_EMBEDDED_2_2}, |
| {"opencl2.2", SPV_ENV_OPENCL_2_2}, |
| {"opengl4.0", SPV_ENV_OPENGL_4_0}, |
| {"opengl4.1", SPV_ENV_OPENGL_4_1}, |
| {"opengl4.2", SPV_ENV_OPENGL_4_2}, |
| {"opengl4.3", SPV_ENV_OPENGL_4_3}, |
| {"opengl4.5", SPV_ENV_OPENGL_4_5}, |
| }; |
| |
| bool spvParseTargetEnv(const char* s, spv_target_env* env) { |
| auto match = [s](const char* b) { |
| return s && (0 == strncmp(s, b, strlen(b))); |
| }; |
| for (auto& name_env : spvTargetEnvNameMap) { |
| if (match(name_env.first)) { |
| if (env) { |
| *env = name_env.second; |
| } |
| return true; |
| } |
| } |
| if (env) *env = SPV_ENV_UNIVERSAL_1_0; |
| return false; |
| } |
| |
| #define VULKAN_VER(MAJOR, MINOR) ((MAJOR << 22) | (MINOR << 12)) |
| #define SPIRV_VER(MAJOR, MINOR) ((MAJOR << 16) | (MINOR << 8)) |
| |
| struct VulkanEnv { |
| spv_target_env vulkan_env; |
| uint32_t vulkan_ver; |
| uint32_t spirv_ver; |
| }; |
| // Maps each Vulkan target environment enum to the Vulkan version, and the |
| // maximum supported SPIR-V version for that Vulkan environment. |
| // Keep this ordered from least capable to most capable. |
| static const VulkanEnv ordered_vulkan_envs[] = { |
| {SPV_ENV_VULKAN_1_0, VULKAN_VER(1, 0), SPIRV_VER(1, 0)}, |
| {SPV_ENV_VULKAN_1_1, VULKAN_VER(1, 1), SPIRV_VER(1, 3)}, |
| {SPV_ENV_VULKAN_1_1_SPIRV_1_4, VULKAN_VER(1, 1), SPIRV_VER(1, 4)}, |
| {SPV_ENV_VULKAN_1_2, VULKAN_VER(1, 2), SPIRV_VER(1, 5)}}; |
| |
| bool spvParseVulkanEnv(uint32_t vulkan_ver, uint32_t spirv_ver, |
| spv_target_env* env) { |
| for (auto triple : ordered_vulkan_envs) { |
| if (triple.vulkan_ver >= vulkan_ver && triple.spirv_ver >= spirv_ver) { |
| *env = triple.vulkan_env; |
| return true; |
| } |
| } |
| return false; |
| } |
| |
| bool spvIsVulkanEnv(spv_target_env env) { |
| switch (env) { |
| case SPV_ENV_UNIVERSAL_1_0: |
| case SPV_ENV_OPENCL_1_2: |
| case SPV_ENV_OPENCL_EMBEDDED_1_2: |
| case SPV_ENV_OPENCL_2_0: |
| case SPV_ENV_OPENCL_EMBEDDED_2_0: |
| case SPV_ENV_OPENCL_2_1: |
| case SPV_ENV_OPENCL_EMBEDDED_2_1: |
| case SPV_ENV_OPENGL_4_0: |
| case SPV_ENV_OPENGL_4_1: |
| case SPV_ENV_OPENGL_4_2: |
| case SPV_ENV_OPENGL_4_3: |
| case SPV_ENV_OPENGL_4_5: |
| case SPV_ENV_UNIVERSAL_1_1: |
| case SPV_ENV_UNIVERSAL_1_2: |
| case SPV_ENV_OPENCL_2_2: |
| case SPV_ENV_OPENCL_EMBEDDED_2_2: |
| case SPV_ENV_UNIVERSAL_1_3: |
| case SPV_ENV_UNIVERSAL_1_4: |
| case SPV_ENV_UNIVERSAL_1_5: |
| return false; |
| case SPV_ENV_VULKAN_1_0: |
| case SPV_ENV_VULKAN_1_1: |
| case SPV_ENV_VULKAN_1_1_SPIRV_1_4: |
| case SPV_ENV_VULKAN_1_2: |
| return true; |
| case SPV_ENV_WEBGPU_0: |
| assert(false && "Deprecated target environment value."); |
| break; |
| case SPV_ENV_MAX: |
| assert(false && "Invalid target environment value."); |
| break; |
| } |
| return false; |
| } |
| |
| bool spvIsOpenCLEnv(spv_target_env env) { |
| switch (env) { |
| case SPV_ENV_UNIVERSAL_1_0: |
| case SPV_ENV_VULKAN_1_0: |
| case SPV_ENV_UNIVERSAL_1_1: |
| case SPV_ENV_OPENGL_4_0: |
| case SPV_ENV_OPENGL_4_1: |
| case SPV_ENV_OPENGL_4_2: |
| case SPV_ENV_OPENGL_4_3: |
| case SPV_ENV_OPENGL_4_5: |
| case SPV_ENV_UNIVERSAL_1_2: |
| case SPV_ENV_UNIVERSAL_1_3: |
| case SPV_ENV_VULKAN_1_1: |
| case SPV_ENV_UNIVERSAL_1_4: |
| case SPV_ENV_VULKAN_1_1_SPIRV_1_4: |
| case SPV_ENV_UNIVERSAL_1_5: |
| case SPV_ENV_VULKAN_1_2: |
| return false; |
| case SPV_ENV_OPENCL_1_2: |
| case SPV_ENV_OPENCL_EMBEDDED_1_2: |
| case SPV_ENV_OPENCL_2_0: |
| case SPV_ENV_OPENCL_EMBEDDED_2_0: |
| case SPV_ENV_OPENCL_EMBEDDED_2_1: |
| case SPV_ENV_OPENCL_EMBEDDED_2_2: |
| case SPV_ENV_OPENCL_2_1: |
| case SPV_ENV_OPENCL_2_2: |
| return true; |
| case SPV_ENV_WEBGPU_0: |
| assert(false && "Deprecated target environment value."); |
| break; |
| case SPV_ENV_MAX: |
| assert(false && "Invalid target environment value."); |
| break; |
| } |
| return false; |
| } |
| |
| bool spvIsOpenGLEnv(spv_target_env env) { |
| switch (env) { |
| case SPV_ENV_UNIVERSAL_1_0: |
| case SPV_ENV_VULKAN_1_0: |
| case SPV_ENV_UNIVERSAL_1_1: |
| case SPV_ENV_UNIVERSAL_1_2: |
| case SPV_ENV_UNIVERSAL_1_3: |
| case SPV_ENV_VULKAN_1_1: |
| case SPV_ENV_OPENCL_1_2: |
| case SPV_ENV_OPENCL_EMBEDDED_1_2: |
| case SPV_ENV_OPENCL_2_0: |
| case SPV_ENV_OPENCL_EMBEDDED_2_0: |
| case SPV_ENV_OPENCL_EMBEDDED_2_1: |
| case SPV_ENV_OPENCL_EMBEDDED_2_2: |
| case SPV_ENV_OPENCL_2_1: |
| case SPV_ENV_OPENCL_2_2: |
| case SPV_ENV_UNIVERSAL_1_4: |
| case SPV_ENV_VULKAN_1_1_SPIRV_1_4: |
| case SPV_ENV_UNIVERSAL_1_5: |
| case SPV_ENV_VULKAN_1_2: |
| return false; |
| case SPV_ENV_OPENGL_4_0: |
| case SPV_ENV_OPENGL_4_1: |
| case SPV_ENV_OPENGL_4_2: |
| case SPV_ENV_OPENGL_4_3: |
| case SPV_ENV_OPENGL_4_5: |
| return true; |
| case SPV_ENV_WEBGPU_0: |
| assert(false && "Deprecated target environment value."); |
| break; |
| case SPV_ENV_MAX: |
| assert(false && "Invalid target environment value."); |
| break; |
| } |
| return false; |
| } |
| |
| bool spvIsValidEnv(spv_target_env env) { |
| switch (env) { |
| case SPV_ENV_UNIVERSAL_1_0: |
| case SPV_ENV_VULKAN_1_0: |
| case SPV_ENV_UNIVERSAL_1_1: |
| case SPV_ENV_UNIVERSAL_1_2: |
| case SPV_ENV_UNIVERSAL_1_3: |
| case SPV_ENV_VULKAN_1_1: |
| case SPV_ENV_OPENCL_1_2: |
| case SPV_ENV_OPENCL_EMBEDDED_1_2: |
| case SPV_ENV_OPENCL_2_0: |
| case SPV_ENV_OPENCL_EMBEDDED_2_0: |
| case SPV_ENV_OPENCL_EMBEDDED_2_1: |
| case SPV_ENV_OPENCL_EMBEDDED_2_2: |
| case SPV_ENV_OPENCL_2_1: |
| case SPV_ENV_OPENCL_2_2: |
| case SPV_ENV_UNIVERSAL_1_4: |
| case SPV_ENV_VULKAN_1_1_SPIRV_1_4: |
| case SPV_ENV_UNIVERSAL_1_5: |
| case SPV_ENV_VULKAN_1_2: |
| case SPV_ENV_OPENGL_4_0: |
| case SPV_ENV_OPENGL_4_1: |
| case SPV_ENV_OPENGL_4_2: |
| case SPV_ENV_OPENGL_4_3: |
| case SPV_ENV_OPENGL_4_5: |
| return true; |
| case SPV_ENV_WEBGPU_0: |
| case SPV_ENV_MAX: |
| break; |
| } |
| return false; |
| } |
| |
| std::string spvLogStringForEnv(spv_target_env env) { |
| switch (env) { |
| case SPV_ENV_OPENCL_1_2: |
| case SPV_ENV_OPENCL_2_0: |
| case SPV_ENV_OPENCL_2_1: |
| case SPV_ENV_OPENCL_2_2: |
| case SPV_ENV_OPENCL_EMBEDDED_1_2: |
| case SPV_ENV_OPENCL_EMBEDDED_2_0: |
| case SPV_ENV_OPENCL_EMBEDDED_2_1: |
| case SPV_ENV_OPENCL_EMBEDDED_2_2: { |
| return "OpenCL"; |
| } |
| case SPV_ENV_OPENGL_4_0: |
| case SPV_ENV_OPENGL_4_1: |
| case SPV_ENV_OPENGL_4_2: |
| case SPV_ENV_OPENGL_4_3: |
| case SPV_ENV_OPENGL_4_5: { |
| return "OpenGL"; |
| } |
| case SPV_ENV_VULKAN_1_0: |
| case SPV_ENV_VULKAN_1_1: |
| case SPV_ENV_VULKAN_1_1_SPIRV_1_4: { |
| case SPV_ENV_VULKAN_1_2: |
| return "Vulkan"; |
| } |
| case SPV_ENV_UNIVERSAL_1_0: |
| case SPV_ENV_UNIVERSAL_1_1: |
| case SPV_ENV_UNIVERSAL_1_2: |
| case SPV_ENV_UNIVERSAL_1_3: |
| case SPV_ENV_UNIVERSAL_1_4: |
| case SPV_ENV_UNIVERSAL_1_5: { |
| return "Universal"; |
| } |
| case SPV_ENV_WEBGPU_0: |
| assert(false && "Deprecated target environment value."); |
| break; |
| case SPV_ENV_MAX: |
| assert(false && "Invalid target environment value."); |
| break; |
| } |
| return "Unknown"; |
| } |
| |
| std::string spvTargetEnvList(const int pad, const int wrap) { |
| std::string ret; |
| size_t max_line_len = wrap - pad; // The first line isn't padded |
| std::string line; |
| std::string sep = ""; |
| |
| for (auto& name_env : spvTargetEnvNameMap) { |
| std::string word = sep + name_env.first; |
| if (line.length() + word.length() > max_line_len) { |
| // Adding one word wouldn't fit, commit the line in progress and |
| // start a new one. |
| ret += line + "\n"; |
| line.assign(pad, ' '); |
| // The first line is done. The max length now comprises the |
| // padding. |
| max_line_len = wrap; |
| } |
| line += word; |
| sep = "|"; |
| } |
| |
| ret += line; |
| |
| return ret; |
| } |