emit_spirv_image.cpp 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369
  1. // Copyright 2021 yuzu Emulator Project
  2. // Licensed under GPLv2 or any later version
  3. // Refer to the license.txt file included.
  4. #include <boost/container/static_vector.hpp>
  5. #include "shader_recompiler/backend/spirv/emit_spirv.h"
  6. #include "shader_recompiler/frontend/ir/modifiers.h"
  7. namespace Shader::Backend::SPIRV {
  8. namespace {
  9. class ImageOperands {
  10. public:
  11. explicit ImageOperands(EmitContext& ctx, bool has_bias, bool has_lod, bool has_lod_clamp,
  12. Id lod, Id offset) {
  13. if (has_bias) {
  14. const Id bias{has_lod_clamp ? ctx.OpCompositeExtract(ctx.F32[1], lod, 0) : lod};
  15. Add(spv::ImageOperandsMask::Bias, bias);
  16. }
  17. if (has_lod) {
  18. const Id lod_value{has_lod_clamp ? ctx.OpCompositeExtract(ctx.F32[1], lod, 0) : lod};
  19. Add(spv::ImageOperandsMask::Lod, lod_value);
  20. }
  21. if (Sirit::ValidId(offset)) {
  22. Add(spv::ImageOperandsMask::Offset, offset);
  23. }
  24. if (has_lod_clamp) {
  25. const Id lod_clamp{has_bias ? ctx.OpCompositeExtract(ctx.F32[1], lod, 1) : lod};
  26. Add(spv::ImageOperandsMask::MinLod, lod_clamp);
  27. }
  28. }
  29. explicit ImageOperands(EmitContext& ctx, const IR::Value& offset, const IR::Value& offset2) {
  30. if (offset2.IsEmpty()) {
  31. if (offset.IsEmpty()) {
  32. return;
  33. }
  34. Add(spv::ImageOperandsMask::Offset, ctx.Def(offset));
  35. return;
  36. }
  37. const std::array values{offset.InstRecursive(), offset2.InstRecursive()};
  38. if (!values[0]->AreAllArgsImmediates() || !values[1]->AreAllArgsImmediates()) {
  39. // LOG_WARNING("Not all arguments in PTP are immediate, STUBBING");
  40. return;
  41. }
  42. const IR::Opcode opcode{values[0]->Opcode()};
  43. if (opcode != values[1]->Opcode() || opcode != IR::Opcode::CompositeConstructU32x4) {
  44. throw LogicError("Invalid PTP arguments");
  45. }
  46. auto read{[&](int a, int b) { return ctx.Constant(ctx.U32[1], values[a]->Arg(b).U32()); }};
  47. const Id offsets{
  48. ctx.ConstantComposite(ctx.TypeArray(ctx.U32[2], ctx.Constant(ctx.U32[1], 4)),
  49. ctx.ConstantComposite(ctx.U32[2], read(0, 0), read(0, 1)),
  50. ctx.ConstantComposite(ctx.U32[2], read(0, 2), read(0, 3)),
  51. ctx.ConstantComposite(ctx.U32[2], read(1, 0), read(1, 1)),
  52. ctx.ConstantComposite(ctx.U32[2], read(1, 2), read(1, 3)))};
  53. Add(spv::ImageOperandsMask::ConstOffsets, offsets);
  54. }
  55. explicit ImageOperands(Id offset, Id lod, Id ms) {
  56. if (Sirit::ValidId(lod)) {
  57. Add(spv::ImageOperandsMask::Lod, lod);
  58. }
  59. if (Sirit::ValidId(offset)) {
  60. Add(spv::ImageOperandsMask::Offset, offset);
  61. }
  62. if (Sirit::ValidId(ms)) {
  63. Add(spv::ImageOperandsMask::Sample, ms);
  64. }
  65. }
  66. explicit ImageOperands(EmitContext& ctx, bool has_lod_clamp, Id derivates, u32 num_derivates,
  67. Id offset, Id lod_clamp) {
  68. if (!Sirit::ValidId(derivates)) {
  69. throw LogicError("Derivates must be present");
  70. }
  71. boost::container::static_vector<Id, 3> deriv_x_accum;
  72. boost::container::static_vector<Id, 3> deriv_y_accum;
  73. for (size_t i = 0; i < num_derivates; i++) {
  74. deriv_x_accum.push_back(ctx.OpCompositeExtract(ctx.F32[1], derivates, i * 2));
  75. deriv_y_accum.push_back(ctx.OpCompositeExtract(ctx.F32[1], derivates, i * 2 + 1));
  76. }
  77. const Id derivates_X{ctx.OpCompositeConstruct(
  78. ctx.F32[num_derivates], std::span{deriv_x_accum.data(), deriv_x_accum.size()})};
  79. const Id derivates_Y{ctx.OpCompositeConstruct(
  80. ctx.F32[num_derivates], std::span{deriv_y_accum.data(), deriv_y_accum.size()})};
  81. Add(spv::ImageOperandsMask::Grad, derivates_X, derivates_Y);
  82. if (Sirit::ValidId(offset)) {
  83. Add(spv::ImageOperandsMask::Offset, offset);
  84. }
  85. if (has_lod_clamp) {
  86. Add(spv::ImageOperandsMask::MinLod, lod_clamp);
  87. }
  88. }
  89. void Add(spv::ImageOperandsMask new_mask, Id value) {
  90. mask = static_cast<spv::ImageOperandsMask>(static_cast<unsigned>(mask) |
  91. static_cast<unsigned>(new_mask));
  92. operands.push_back(value);
  93. }
  94. void Add(spv::ImageOperandsMask new_mask, Id value_1, Id value_2) {
  95. mask = static_cast<spv::ImageOperandsMask>(static_cast<unsigned>(mask) |
  96. static_cast<unsigned>(new_mask));
  97. operands.push_back(value_1);
  98. operands.push_back(value_2);
  99. }
  100. std::span<const Id> Span() const noexcept {
  101. return std::span{operands.data(), operands.size()};
  102. }
  103. spv::ImageOperandsMask Mask() const noexcept {
  104. return mask;
  105. }
  106. private:
  107. boost::container::static_vector<Id, 4> operands;
  108. spv::ImageOperandsMask mask{};
  109. };
  110. Id Texture(EmitContext& ctx, const IR::Value& index) {
  111. if (index.IsImmediate()) {
  112. const TextureDefinition def{ctx.textures.at(index.U32())};
  113. return ctx.OpLoad(def.sampled_type, def.id);
  114. }
  115. throw NotImplementedException("Indirect texture sample");
  116. }
  117. Id TextureImage(EmitContext& ctx, const IR::Value& index, IR::TextureInstInfo info) {
  118. if (!index.IsImmediate()) {
  119. throw NotImplementedException("Indirect texture sample");
  120. }
  121. if (info.type == TextureType::Buffer) {
  122. const Id sampler_id{ctx.texture_buffers.at(index.U32())};
  123. const Id id{ctx.OpLoad(ctx.sampled_texture_buffer_type, sampler_id)};
  124. return ctx.OpImage(ctx.image_buffer_type, id);
  125. } else {
  126. const TextureDefinition def{ctx.textures.at(index.U32())};
  127. return ctx.OpImage(def.image_type, ctx.OpLoad(def.sampled_type, def.id));
  128. }
  129. }
  130. Id Decorate(EmitContext& ctx, IR::Inst* inst, Id sample) {
  131. const auto info{inst->Flags<IR::TextureInstInfo>()};
  132. if (info.relaxed_precision != 0) {
  133. ctx.Decorate(sample, spv::Decoration::RelaxedPrecision);
  134. }
  135. return sample;
  136. }
  137. template <typename MethodPtrType, typename... Args>
  138. Id Emit(MethodPtrType sparse_ptr, MethodPtrType non_sparse_ptr, EmitContext& ctx, IR::Inst* inst,
  139. Id result_type, Args&&... args) {
  140. IR::Inst* const sparse{inst->GetAssociatedPseudoOperation(IR::Opcode::GetSparseFromOp)};
  141. if (!sparse) {
  142. return Decorate(ctx, inst, (ctx.*non_sparse_ptr)(result_type, std::forward<Args>(args)...));
  143. }
  144. const Id struct_type{ctx.TypeStruct(ctx.U32[1], result_type)};
  145. const Id sample{(ctx.*sparse_ptr)(struct_type, std::forward<Args>(args)...)};
  146. const Id resident_code{ctx.OpCompositeExtract(ctx.U32[1], sample, 0U)};
  147. sparse->SetDefinition(ctx.OpImageSparseTexelsResident(ctx.U1, resident_code));
  148. sparse->Invalidate();
  149. Decorate(ctx, inst, sample);
  150. return ctx.OpCompositeExtract(result_type, sample, 1U);
  151. }
  152. } // Anonymous namespace
  153. Id EmitBindlessImageSampleImplicitLod(EmitContext&) {
  154. throw LogicError("Unreachable instruction");
  155. }
  156. Id EmitBindlessImageSampleExplicitLod(EmitContext&) {
  157. throw LogicError("Unreachable instruction");
  158. }
  159. Id EmitBindlessImageSampleDrefImplicitLod(EmitContext&) {
  160. throw LogicError("Unreachable instruction");
  161. }
  162. Id EmitBindlessImageSampleDrefExplicitLod(EmitContext&) {
  163. throw LogicError("Unreachable instruction");
  164. }
  165. Id EmitBindlessImageGather(EmitContext&) {
  166. throw LogicError("Unreachable instruction");
  167. }
  168. Id EmitBindlessImageGatherDref(EmitContext&) {
  169. throw LogicError("Unreachable instruction");
  170. }
  171. Id EmitBindlessImageFetch(EmitContext&) {
  172. throw LogicError("Unreachable instruction");
  173. }
  174. Id EmitBindlessImageQueryDimensions(EmitContext&) {
  175. throw LogicError("Unreachable instruction");
  176. }
  177. Id EmitBindlessImageQueryLod(EmitContext&) {
  178. throw LogicError("Unreachable instruction");
  179. }
  180. Id EmitBindlessImageGradient(EmitContext&) {
  181. throw LogicError("Unreachable instruction");
  182. }
  183. Id EmitBoundImageSampleImplicitLod(EmitContext&) {
  184. throw LogicError("Unreachable instruction");
  185. }
  186. Id EmitBoundImageSampleExplicitLod(EmitContext&) {
  187. throw LogicError("Unreachable instruction");
  188. }
  189. Id EmitBoundImageSampleDrefImplicitLod(EmitContext&) {
  190. throw LogicError("Unreachable instruction");
  191. }
  192. Id EmitBoundImageSampleDrefExplicitLod(EmitContext&) {
  193. throw LogicError("Unreachable instruction");
  194. }
  195. Id EmitBoundImageGather(EmitContext&) {
  196. throw LogicError("Unreachable instruction");
  197. }
  198. Id EmitBoundImageGatherDref(EmitContext&) {
  199. throw LogicError("Unreachable instruction");
  200. }
  201. Id EmitBoundImageFetch(EmitContext&) {
  202. throw LogicError("Unreachable instruction");
  203. }
  204. Id EmitBoundImageQueryDimensions(EmitContext&) {
  205. throw LogicError("Unreachable instruction");
  206. }
  207. Id EmitBoundImageQueryLod(EmitContext&) {
  208. throw LogicError("Unreachable instruction");
  209. }
  210. Id EmitBoundImageGradient(EmitContext&) {
  211. throw LogicError("Unreachable instruction");
  212. }
  213. Id EmitImageSampleImplicitLod(EmitContext& ctx, IR::Inst* inst, const IR::Value& index, Id coords,
  214. Id bias_lc, Id offset) {
  215. const auto info{inst->Flags<IR::TextureInstInfo>()};
  216. const ImageOperands operands(ctx, info.has_bias != 0, false, info.has_lod_clamp != 0, bias_lc,
  217. offset);
  218. return Emit(&EmitContext::OpImageSparseSampleImplicitLod,
  219. &EmitContext::OpImageSampleImplicitLod, ctx, inst, ctx.F32[4], Texture(ctx, index),
  220. coords, operands.Mask(), operands.Span());
  221. }
  222. Id EmitImageSampleExplicitLod(EmitContext& ctx, IR::Inst* inst, const IR::Value& index, Id coords,
  223. Id lod_lc, Id offset) {
  224. const auto info{inst->Flags<IR::TextureInstInfo>()};
  225. const ImageOperands operands(ctx, false, true, info.has_lod_clamp != 0, lod_lc, offset);
  226. return Emit(&EmitContext::OpImageSparseSampleExplicitLod,
  227. &EmitContext::OpImageSampleExplicitLod, ctx, inst, ctx.F32[4], Texture(ctx, index),
  228. coords, operands.Mask(), operands.Span());
  229. }
  230. Id EmitImageSampleDrefImplicitLod(EmitContext& ctx, IR::Inst* inst, const IR::Value& index,
  231. Id coords, Id dref, Id bias_lc, Id offset) {
  232. const auto info{inst->Flags<IR::TextureInstInfo>()};
  233. const ImageOperands operands(ctx, info.has_bias != 0, false, info.has_lod_clamp != 0, bias_lc,
  234. offset);
  235. return Emit(&EmitContext::OpImageSparseSampleDrefImplicitLod,
  236. &EmitContext::OpImageSampleDrefImplicitLod, ctx, inst, ctx.F32[1],
  237. Texture(ctx, index), coords, dref, operands.Mask(), operands.Span());
  238. }
  239. Id EmitImageSampleDrefExplicitLod(EmitContext& ctx, IR::Inst* inst, const IR::Value& index,
  240. Id coords, Id dref, Id lod_lc, Id offset) {
  241. const auto info{inst->Flags<IR::TextureInstInfo>()};
  242. const ImageOperands operands(ctx, false, true, info.has_lod_clamp != 0, lod_lc, offset);
  243. return Emit(&EmitContext::OpImageSparseSampleDrefExplicitLod,
  244. &EmitContext::OpImageSampleDrefExplicitLod, ctx, inst, ctx.F32[1],
  245. Texture(ctx, index), coords, dref, operands.Mask(), operands.Span());
  246. }
  247. Id EmitImageGather(EmitContext& ctx, IR::Inst* inst, const IR::Value& index, Id coords,
  248. const IR::Value& offset, const IR::Value& offset2) {
  249. const auto info{inst->Flags<IR::TextureInstInfo>()};
  250. const ImageOperands operands(ctx, offset, offset2);
  251. return Emit(&EmitContext::OpImageSparseGather, &EmitContext::OpImageGather, ctx, inst,
  252. ctx.F32[4], Texture(ctx, index), coords,
  253. ctx.Constant(ctx.U32[1], info.gather_component.Value()), operands.Mask(),
  254. operands.Span());
  255. }
  256. Id EmitImageGatherDref(EmitContext& ctx, IR::Inst* inst, const IR::Value& index, Id coords,
  257. const IR::Value& offset, const IR::Value& offset2, Id dref) {
  258. const auto info{inst->Flags<IR::TextureInstInfo>()};
  259. const ImageOperands operands(ctx, offset, offset2);
  260. return Emit(&EmitContext::OpImageSparseDrefGather, &EmitContext::OpImageDrefGather, ctx, inst,
  261. ctx.F32[4], Texture(ctx, index), coords, dref, operands.Mask(), operands.Span());
  262. }
  263. #pragma optimize("", off)
  264. Id EmitImageFetch(EmitContext& ctx, IR::Inst* inst, const IR::Value& index, Id coords, Id offset,
  265. Id lod, Id ms) {
  266. const auto info{inst->Flags<IR::TextureInstInfo>()};
  267. if (info.type == TextureType::Buffer) {
  268. lod = Id{};
  269. }
  270. const ImageOperands operands(offset, lod, ms);
  271. return Emit(&EmitContext::OpImageSparseFetch, &EmitContext::OpImageFetch, ctx, inst, ctx.F32[4],
  272. TextureImage(ctx, index, info), coords, operands.Mask(), operands.Span());
  273. }
  274. Id EmitImageQueryDimensions(EmitContext& ctx, IR::Inst* inst, const IR::Value& index, Id lod) {
  275. const auto info{inst->Flags<IR::TextureInstInfo>()};
  276. const Id image{TextureImage(ctx, index, info)};
  277. const Id zero{ctx.u32_zero_value};
  278. const auto mips{[&] { return ctx.OpImageQueryLevels(ctx.U32[1], image); }};
  279. switch (info.type) {
  280. case TextureType::Color1D:
  281. case TextureType::Shadow1D:
  282. return ctx.OpCompositeConstruct(ctx.U32[4], ctx.OpImageQuerySizeLod(ctx.U32[1], image, lod),
  283. zero, zero, mips());
  284. case TextureType::ColorArray1D:
  285. case TextureType::Color2D:
  286. case TextureType::ColorCube:
  287. case TextureType::ShadowArray1D:
  288. case TextureType::Shadow2D:
  289. case TextureType::ShadowCube:
  290. return ctx.OpCompositeConstruct(ctx.U32[4], ctx.OpImageQuerySizeLod(ctx.U32[2], image, lod),
  291. zero, mips());
  292. case TextureType::ColorArray2D:
  293. case TextureType::Color3D:
  294. case TextureType::ColorArrayCube:
  295. case TextureType::ShadowArray2D:
  296. case TextureType::Shadow3D:
  297. case TextureType::ShadowArrayCube:
  298. return ctx.OpCompositeConstruct(ctx.U32[4], ctx.OpImageQuerySizeLod(ctx.U32[3], image, lod),
  299. mips());
  300. case TextureType::Buffer:
  301. return ctx.OpCompositeConstruct(ctx.U32[4], ctx.OpImageQuerySize(ctx.U32[1], image), zero,
  302. zero, mips());
  303. }
  304. throw LogicError("Unspecified image type {}", info.type.Value());
  305. }
  306. Id EmitImageQueryLod(EmitContext& ctx, IR::Inst*, const IR::Value& index, Id coords) {
  307. const Id zero{ctx.f32_zero_value};
  308. const Id sampler{Texture(ctx, index)};
  309. return ctx.OpCompositeConstruct(ctx.F32[4], ctx.OpImageQueryLod(ctx.F32[2], sampler, coords),
  310. zero, zero);
  311. }
  312. Id EmitImageGradient(EmitContext& ctx, IR::Inst* inst, const IR::Value& index, Id coords,
  313. Id derivates, Id offset, Id lod_clamp) {
  314. const auto info{inst->Flags<IR::TextureInstInfo>()};
  315. const ImageOperands operands(ctx, info.has_lod_clamp != 0, derivates, info.num_derivates,
  316. offset, lod_clamp);
  317. return Emit(&EmitContext::OpImageSparseSampleExplicitLod,
  318. &EmitContext::OpImageSampleExplicitLod, ctx, inst, ctx.F32[4], Texture(ctx, index),
  319. coords, operands.Mask(), operands.Span());
  320. }
  321. } // namespace Shader::Backend::SPIRV