FeatureManager.cpp 9.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261
  1. //===---- FeatureManager.cpp - SPIR-V Version/Extension Manager -*- C++ -*-===//
  2. //
  3. // The LLVM Compiler Infrastructure
  4. //
  5. // This file is distributed under the University of Illinois Open Source
  6. // License. See LICENSE.TXT for details.
  7. //===----------------------------------------------------------------------===//
  8. #include "clang/SPIRV/FeatureManager.h"
  9. #include <sstream>
  10. #include "llvm/ADT/StringSwitch.h"
  11. namespace clang {
  12. namespace spirv {
  13. FeatureManager::FeatureManager(DiagnosticsEngine &de,
  14. const SpirvCodeGenOptions &opts)
  15. : diags(de) {
  16. allowedExtensions.resize(static_cast<unsigned>(Extension::Unknown) + 1);
  17. if (opts.allowedExtensions.empty()) {
  18. // If no explicit extension control from command line, use the default mode:
  19. // allowing all extensions that are enabled by default.
  20. allowAllKnownExtensions();
  21. } else {
  22. for (auto ext : opts.allowedExtensions)
  23. allowExtension(ext);
  24. }
  25. if (opts.targetEnv == "vulkan1.0")
  26. targetEnv = SPV_ENV_VULKAN_1_0;
  27. else if (opts.targetEnv == "vulkan1.1")
  28. targetEnv = SPV_ENV_VULKAN_1_1;
  29. else if (opts.targetEnv == "vulkan1.2")
  30. targetEnv = SPV_ENV_VULKAN_1_2;
  31. else {
  32. emitError("unknown SPIR-V target environment '%0'", {}) << opts.targetEnv;
  33. emitNote("allowed options are:\n vulkan1.0\n vulkan1.1\n vulkan1.2", {});
  34. }
  35. }
  36. bool FeatureManager::allowExtension(llvm::StringRef name) {
  37. // Special case: If we are asked to allow "SPV_KHR" extension, it indicates
  38. // that we should allow using *all* KHR extensions.
  39. if (getExtensionSymbol(name) == Extension::KHR) {
  40. bool result = true;
  41. for (uint32_t i = 0; i < static_cast<uint32_t>(Extension::Unknown); ++i) {
  42. llvm::StringRef extName(getExtensionName(static_cast<Extension>(i)));
  43. if (isKHRExtension(extName))
  44. result = result && allowExtension(extName);
  45. }
  46. return result;
  47. }
  48. const auto symbol = getExtensionSymbol(name);
  49. if (symbol == Extension::Unknown) {
  50. emitError("unknown SPIR-V extension '%0'", {}) << name;
  51. emitNote("known extensions are\n%0", {})
  52. << getKnownExtensions("\n* ", "* ");
  53. return false;
  54. }
  55. allowedExtensions.set(static_cast<unsigned>(symbol));
  56. return true;
  57. }
  58. void FeatureManager::allowAllKnownExtensions() {
  59. allowedExtensions.set();
  60. const auto numExtensions = static_cast<uint32_t>(Extension::Unknown);
  61. for (uint32_t ext = 0; ext < numExtensions; ++ext)
  62. if (!enabledByDefault(static_cast<Extension>(ext)))
  63. allowedExtensions.reset(ext);
  64. }
  65. bool FeatureManager::requestExtension(Extension ext, llvm::StringRef target,
  66. SourceLocation srcLoc) {
  67. if (allowedExtensions.test(static_cast<unsigned>(ext)))
  68. return true;
  69. emitError("SPIR-V extension '%0' required for %1 but not permitted to use",
  70. srcLoc)
  71. << getExtensionName(ext) << target;
  72. return false;
  73. }
  74. bool FeatureManager::requestTargetEnv(spv_target_env requestedEnv,
  75. llvm::StringRef target,
  76. SourceLocation srcLoc) {
  77. if (targetEnv < requestedEnv) {
  78. emitError("%0 is required for %1 but not permitted to use", srcLoc)
  79. << (requestedEnv == SPV_ENV_VULKAN_1_2 ? "Vulkan 1.2" : "Vulkan 1.1")
  80. << target;
  81. emitNote("please specify your target environment via command line option "
  82. "-fspv-target-env=",
  83. {});
  84. return false;
  85. }
  86. return true;
  87. }
  88. Extension FeatureManager::getExtensionSymbol(llvm::StringRef name) {
  89. return llvm::StringSwitch<Extension>(name)
  90. .Case("KHR", Extension::KHR)
  91. .Case("SPV_KHR_16bit_storage", Extension::KHR_16bit_storage)
  92. .Case("SPV_KHR_device_group", Extension::KHR_device_group)
  93. .Case("SPV_KHR_multiview", Extension::KHR_multiview)
  94. .Case("SPV_KHR_non_semantic_info", Extension::KHR_non_semantic_info)
  95. .Case("SPV_KHR_shader_draw_parameters",
  96. Extension::KHR_shader_draw_parameters)
  97. .Case("SPV_KHR_ray_tracing", Extension::KHR_ray_tracing)
  98. .Case("SPV_EXT_demote_to_helper_invocation",
  99. Extension::EXT_demote_to_helper_invocation)
  100. .Case("SPV_EXT_descriptor_indexing", Extension::EXT_descriptor_indexing)
  101. .Case("SPV_EXT_fragment_fully_covered",
  102. Extension::EXT_fragment_fully_covered)
  103. .Case("SPV_EXT_fragment_invocation_density",
  104. Extension::EXT_fragment_invocation_density)
  105. .Case("SPV_EXT_shader_stencil_export",
  106. Extension::EXT_shader_stencil_export)
  107. .Case("SPV_EXT_shader_viewport_index_layer",
  108. Extension::EXT_shader_viewport_index_layer)
  109. .Case("SPV_AMD_gpu_shader_half_float",
  110. Extension::AMD_gpu_shader_half_float)
  111. .Case("SPV_AMD_shader_explicit_vertex_parameter",
  112. Extension::AMD_shader_explicit_vertex_parameter)
  113. .Case("SPV_GOOGLE_hlsl_functionality1",
  114. Extension::GOOGLE_hlsl_functionality1)
  115. .Case("SPV_GOOGLE_user_type", Extension::GOOGLE_user_type)
  116. .Case("SPV_KHR_post_depth_coverage", Extension::KHR_post_depth_coverage)
  117. .Case("SPV_NV_ray_tracing", Extension::NV_ray_tracing)
  118. .Case("SPV_NV_mesh_shader", Extension::NV_mesh_shader)
  119. .Case("SPV_KHR_ray_query", Extension::KHR_ray_query)
  120. .Default(Extension::Unknown);
  121. }
  122. const char *FeatureManager::getExtensionName(Extension symbol) {
  123. switch (symbol) {
  124. case Extension::KHR:
  125. return "KHR";
  126. case Extension::KHR_16bit_storage:
  127. return "SPV_KHR_16bit_storage";
  128. case Extension::KHR_device_group:
  129. return "SPV_KHR_device_group";
  130. case Extension::KHR_multiview:
  131. return "SPV_KHR_multiview";
  132. case Extension::KHR_non_semantic_info:
  133. return "SPV_KHR_non_semantic_info";
  134. case Extension::KHR_shader_draw_parameters:
  135. return "SPV_KHR_shader_draw_parameters";
  136. case Extension::KHR_post_depth_coverage:
  137. return "SPV_KHR_post_depth_coverage";
  138. case Extension::KHR_ray_tracing:
  139. return "SPV_KHR_ray_tracing";
  140. case Extension::EXT_demote_to_helper_invocation:
  141. return "SPV_EXT_demote_to_helper_invocation";
  142. case Extension::EXT_descriptor_indexing:
  143. return "SPV_EXT_descriptor_indexing";
  144. case Extension::EXT_fragment_fully_covered:
  145. return "SPV_EXT_fragment_fully_covered";
  146. case Extension::EXT_fragment_invocation_density:
  147. return "SPV_EXT_fragment_invocation_density";
  148. case Extension::EXT_shader_stencil_export:
  149. return "SPV_EXT_shader_stencil_export";
  150. case Extension::EXT_shader_viewport_index_layer:
  151. return "SPV_EXT_shader_viewport_index_layer";
  152. case Extension::AMD_gpu_shader_half_float:
  153. return "SPV_AMD_gpu_shader_half_float";
  154. case Extension::AMD_shader_explicit_vertex_parameter:
  155. return "SPV_AMD_shader_explicit_vertex_parameter";
  156. case Extension::GOOGLE_hlsl_functionality1:
  157. return "SPV_GOOGLE_hlsl_functionality1";
  158. case Extension::GOOGLE_user_type:
  159. return "SPV_GOOGLE_user_type";
  160. case Extension::NV_ray_tracing:
  161. return "SPV_NV_ray_tracing";
  162. case Extension::NV_mesh_shader:
  163. return "SPV_NV_mesh_shader";
  164. case Extension::KHR_ray_query:
  165. return "SPV_KHR_ray_query";
  166. default:
  167. break;
  168. }
  169. return "<unknown extension>";
  170. }
  171. bool FeatureManager::isKHRExtension(llvm::StringRef name) {
  172. return name.startswith_lower("spv_khr_");
  173. }
  174. std::string FeatureManager::getKnownExtensions(const char *delimiter,
  175. const char *prefix,
  176. const char *postfix) {
  177. std::ostringstream oss;
  178. oss << prefix;
  179. const auto numExtensions = static_cast<uint32_t>(Extension::Unknown);
  180. for (uint32_t i = 0; i < numExtensions; ++i) {
  181. oss << getExtensionName(static_cast<Extension>(i));
  182. if (i + 1 < numExtensions)
  183. oss << delimiter;
  184. }
  185. oss << postfix;
  186. return oss.str();
  187. }
  188. bool FeatureManager::isExtensionRequiredForTargetEnv(Extension ext) {
  189. bool required = true;
  190. if (targetEnv >= SPV_ENV_VULKAN_1_1) {
  191. // The following extensions are incorporated into Vulkan 1.1 or above, and
  192. // are therefore not required to be emitted for that target environment.
  193. // TODO: Also add the following extensions if we start to support them.
  194. // * SPV_KHR_storage_buffer_storage_class
  195. // * SPV_KHR_variable_pointers
  196. switch (ext) {
  197. case Extension::KHR_16bit_storage:
  198. case Extension::KHR_device_group:
  199. case Extension::KHR_multiview:
  200. case Extension::KHR_shader_draw_parameters:
  201. required = false;
  202. break;
  203. default:
  204. // Only 1.1 or above extensions can be suppressed.
  205. required = true;
  206. }
  207. }
  208. return required;
  209. }
  210. bool FeatureManager::isExtensionEnabled(Extension ext) {
  211. bool allowed = false;
  212. if (ext != Extension::Unknown &&
  213. allowedExtensions.test(static_cast<unsigned>(ext)))
  214. allowed = true;
  215. return allowed;
  216. }
  217. bool FeatureManager::enabledByDefault(Extension ext) {
  218. switch (ext) {
  219. // KHR_ray_tracing and NV_ray_tracing are mutually exclusive so enable only
  220. // KHR extension by default
  221. case Extension::NV_ray_tracing:
  222. return false;
  223. // Enabling EXT_demote_to_helper_invocation changes the code generation
  224. // behavior for the 'discard' statement. Therefore we will only enable it if
  225. // the user explicitly asks for it.
  226. case Extension::EXT_demote_to_helper_invocation:
  227. return false;
  228. default:
  229. return true;
  230. }
  231. }
  232. } // end namespace spirv
  233. } // end namespace clang