ir_emitter.cpp 54 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651
  1. // Copyright 2021 yuzu Emulator Project
  2. // Licensed under GPLv2 or any later version
  3. // Refer to the license.txt file included.
  4. #include "common/bit_cast.h"
  5. #include "shader_recompiler/frontend/ir/ir_emitter.h"
  6. #include "shader_recompiler/frontend/ir/value.h"
  7. namespace Shader::IR {
  8. namespace {
  9. [[noreturn]] void ThrowInvalidType(Type type) {
  10. throw InvalidArgument("Invalid type {}", type);
  11. }
  12. Value MakeLodClampPair(IREmitter& ir, const F32& bias_lod, const F32& lod_clamp) {
  13. if (!bias_lod.IsEmpty() && !lod_clamp.IsEmpty()) {
  14. return ir.CompositeConstruct(bias_lod, lod_clamp);
  15. } else if (!bias_lod.IsEmpty()) {
  16. return bias_lod;
  17. } else if (!lod_clamp.IsEmpty()) {
  18. return lod_clamp;
  19. } else {
  20. return Value{};
  21. }
  22. }
  23. } // Anonymous namespace
  24. U1 IREmitter::Imm1(bool value) const {
  25. return U1{Value{value}};
  26. }
  27. U8 IREmitter::Imm8(u8 value) const {
  28. return U8{Value{value}};
  29. }
  30. U16 IREmitter::Imm16(u16 value) const {
  31. return U16{Value{value}};
  32. }
  33. U32 IREmitter::Imm32(u32 value) const {
  34. return U32{Value{value}};
  35. }
  36. U32 IREmitter::Imm32(s32 value) const {
  37. return U32{Value{static_cast<u32>(value)}};
  38. }
  39. F32 IREmitter::Imm32(f32 value) const {
  40. return F32{Value{value}};
  41. }
  42. U64 IREmitter::Imm64(u64 value) const {
  43. return U64{Value{value}};
  44. }
  45. U64 IREmitter::Imm64(s64 value) const {
  46. return U64{Value{static_cast<u64>(value)}};
  47. }
  48. F64 IREmitter::Imm64(f64 value) const {
  49. return F64{Value{value}};
  50. }
  51. void IREmitter::Branch(Block* label) {
  52. label->AddImmediatePredecessor(block);
  53. block->SetBranch(label);
  54. Inst(Opcode::Branch, label);
  55. }
  56. void IREmitter::BranchConditional(const U1& condition, Block* true_label, Block* false_label) {
  57. block->SetBranches(IR::Condition{true}, true_label, false_label);
  58. true_label->AddImmediatePredecessor(block);
  59. false_label->AddImmediatePredecessor(block);
  60. Inst(Opcode::BranchConditional, condition, true_label, false_label);
  61. }
  62. void IREmitter::LoopMerge(Block* merge_block, Block* continue_target) {
  63. Inst(Opcode::LoopMerge, merge_block, continue_target);
  64. }
  65. void IREmitter::SelectionMerge(Block* merge_block) {
  66. Inst(Opcode::SelectionMerge, merge_block);
  67. }
  68. void IREmitter::MemoryBarrier(MemoryScope scope) {
  69. switch (scope) {
  70. case MemoryScope::Workgroup:
  71. Inst(Opcode::MemoryBarrierWorkgroupLevel);
  72. break;
  73. case MemoryScope::Device:
  74. Inst(Opcode::MemoryBarrierDeviceLevel);
  75. break;
  76. case MemoryScope::System:
  77. Inst(Opcode::MemoryBarrierSystemLevel);
  78. break;
  79. default:
  80. throw InvalidArgument("Invalid memory scope {}", scope);
  81. }
  82. }
  83. void IREmitter::Return() {
  84. block->SetReturn();
  85. Inst(Opcode::Return);
  86. }
  87. void IREmitter::Unreachable() {
  88. Inst(Opcode::Unreachable);
  89. }
  90. void IREmitter::DemoteToHelperInvocation(Block* continue_label) {
  91. block->SetBranch(continue_label);
  92. continue_label->AddImmediatePredecessor(block);
  93. Inst(Opcode::DemoteToHelperInvocation, continue_label);
  94. }
  95. void IREmitter::Prologue() {
  96. Inst(Opcode::Prologue);
  97. }
  98. void IREmitter::Epilogue() {
  99. Inst(Opcode::Epilogue);
  100. }
  101. U32 IREmitter::GetReg(IR::Reg reg) {
  102. return Inst<U32>(Opcode::GetRegister, reg);
  103. }
  104. void IREmitter::SetReg(IR::Reg reg, const U32& value) {
  105. Inst(Opcode::SetRegister, reg, value);
  106. }
  107. U1 IREmitter::GetPred(IR::Pred pred, bool is_negated) {
  108. const U1 value{Inst<U1>(Opcode::GetPred, pred)};
  109. if (is_negated) {
  110. return Inst<U1>(Opcode::LogicalNot, value);
  111. } else {
  112. return value;
  113. }
  114. }
  115. U1 IREmitter::GetGotoVariable(u32 id) {
  116. return Inst<U1>(Opcode::GetGotoVariable, id);
  117. }
  118. void IREmitter::SetGotoVariable(u32 id, const U1& value) {
  119. Inst(Opcode::SetGotoVariable, id, value);
  120. }
  121. U32 IREmitter::GetIndirectBranchVariable() {
  122. return Inst<U32>(Opcode::GetIndirectBranchVariable);
  123. }
  124. void IREmitter::SetIndirectBranchVariable(const U32& value) {
  125. Inst(Opcode::SetIndirectBranchVariable, value);
  126. }
  127. void IREmitter::SetPred(IR::Pred pred, const U1& value) {
  128. Inst(Opcode::SetPred, pred, value);
  129. }
  130. U32 IREmitter::GetCbuf(const U32& binding, const U32& byte_offset) {
  131. return Inst<U32>(Opcode::GetCbufU32, binding, byte_offset);
  132. }
  133. Value IREmitter::GetCbuf(const U32& binding, const U32& byte_offset, size_t bitsize,
  134. bool is_signed) {
  135. switch (bitsize) {
  136. case 8:
  137. return Inst<U32>(is_signed ? Opcode::GetCbufS8 : Opcode::GetCbufU8, binding, byte_offset);
  138. case 16:
  139. return Inst<U32>(is_signed ? Opcode::GetCbufS16 : Opcode::GetCbufU16, binding, byte_offset);
  140. case 32:
  141. return Inst<U32>(Opcode::GetCbufU32, binding, byte_offset);
  142. case 64:
  143. return Inst(Opcode::GetCbufU32x2, binding, byte_offset);
  144. default:
  145. throw InvalidArgument("Invalid bit size {}", bitsize);
  146. }
  147. }
  148. F32 IREmitter::GetFloatCbuf(const U32& binding, const U32& byte_offset) {
  149. return Inst<F32>(Opcode::GetCbufF32, binding, byte_offset);
  150. }
  151. U1 IREmitter::GetZFlag() {
  152. return Inst<U1>(Opcode::GetZFlag);
  153. }
  154. U1 IREmitter::GetSFlag() {
  155. return Inst<U1>(Opcode::GetSFlag);
  156. }
  157. U1 IREmitter::GetCFlag() {
  158. return Inst<U1>(Opcode::GetCFlag);
  159. }
  160. U1 IREmitter::GetOFlag() {
  161. return Inst<U1>(Opcode::GetOFlag);
  162. }
  163. void IREmitter::SetZFlag(const U1& value) {
  164. Inst(Opcode::SetZFlag, value);
  165. }
  166. void IREmitter::SetSFlag(const U1& value) {
  167. Inst(Opcode::SetSFlag, value);
  168. }
  169. void IREmitter::SetCFlag(const U1& value) {
  170. Inst(Opcode::SetCFlag, value);
  171. }
  172. void IREmitter::SetOFlag(const U1& value) {
  173. Inst(Opcode::SetOFlag, value);
  174. }
  175. static U1 GetFlowTest(IREmitter& ir, FlowTest flow_test) {
  176. switch (flow_test) {
  177. case FlowTest::F:
  178. return ir.Imm1(false);
  179. case FlowTest::LT:
  180. return ir.LogicalXor(ir.LogicalAnd(ir.GetSFlag(), ir.LogicalNot(ir.GetZFlag())),
  181. ir.GetOFlag());
  182. case FlowTest::EQ:
  183. return ir.LogicalAnd(ir.LogicalNot(ir.GetSFlag()), ir.GetZFlag());
  184. case FlowTest::LE:
  185. return ir.LogicalXor(ir.GetSFlag(), ir.LogicalOr(ir.GetZFlag(), ir.GetOFlag()));
  186. case FlowTest::GT:
  187. return ir.LogicalAnd(ir.LogicalXor(ir.LogicalNot(ir.GetSFlag()), ir.GetOFlag()),
  188. ir.LogicalNot(ir.GetZFlag()));
  189. case FlowTest::NE:
  190. return ir.LogicalNot(ir.GetZFlag());
  191. case FlowTest::GE:
  192. return ir.LogicalNot(ir.LogicalXor(ir.GetSFlag(), ir.GetOFlag()));
  193. case FlowTest::NUM:
  194. return ir.LogicalOr(ir.LogicalNot(ir.GetSFlag()), ir.LogicalNot(ir.GetZFlag()));
  195. case FlowTest::NaN:
  196. return ir.LogicalAnd(ir.GetSFlag(), ir.GetZFlag());
  197. case FlowTest::LTU:
  198. return ir.LogicalXor(ir.GetSFlag(), ir.GetOFlag());
  199. case FlowTest::EQU:
  200. return ir.GetZFlag();
  201. case FlowTest::LEU:
  202. return ir.LogicalOr(ir.LogicalXor(ir.GetSFlag(), ir.GetOFlag()), ir.GetZFlag());
  203. case FlowTest::GTU:
  204. return ir.LogicalXor(ir.LogicalNot(ir.GetSFlag()),
  205. ir.LogicalOr(ir.GetZFlag(), ir.GetOFlag()));
  206. case FlowTest::NEU:
  207. return ir.LogicalOr(ir.GetSFlag(), ir.LogicalNot(ir.GetZFlag()));
  208. case FlowTest::GEU:
  209. return ir.LogicalXor(ir.LogicalOr(ir.LogicalNot(ir.GetSFlag()), ir.GetZFlag()),
  210. ir.GetOFlag());
  211. case FlowTest::T:
  212. return ir.Imm1(true);
  213. case FlowTest::OFF:
  214. return ir.LogicalNot(ir.GetOFlag());
  215. case FlowTest::LO:
  216. return ir.LogicalNot(ir.GetCFlag());
  217. case FlowTest::SFF:
  218. return ir.LogicalNot(ir.GetSFlag());
  219. case FlowTest::LS:
  220. return ir.LogicalOr(ir.GetZFlag(), ir.LogicalNot(ir.GetCFlag()));
  221. case FlowTest::HI:
  222. return ir.LogicalAnd(ir.GetCFlag(), ir.LogicalNot(ir.GetZFlag()));
  223. case FlowTest::SFT:
  224. return ir.GetSFlag();
  225. case FlowTest::HS:
  226. return ir.GetCFlag();
  227. case FlowTest::OFT:
  228. return ir.GetOFlag();
  229. case FlowTest::RLE:
  230. return ir.LogicalOr(ir.GetSFlag(), ir.GetZFlag());
  231. case FlowTest::RGT:
  232. return ir.LogicalAnd(ir.LogicalNot(ir.GetSFlag()), ir.LogicalNot(ir.GetZFlag()));
  233. case FlowTest::FCSM_TR:
  234. // LOG_WARNING(ShaderDecompiler, "FCSM_TR CC State (Stubbed)");
  235. return ir.Imm1(false);
  236. case FlowTest::CSM_TA:
  237. case FlowTest::CSM_TR:
  238. case FlowTest::CSM_MX:
  239. case FlowTest::FCSM_TA:
  240. case FlowTest::FCSM_MX:
  241. default:
  242. throw NotImplementedException("Flow test {}", flow_test);
  243. }
  244. }
  245. U1 IREmitter::Condition(IR::Condition cond) {
  246. const FlowTest flow_test{cond.FlowTest()};
  247. const auto [pred, is_negated]{cond.Pred()};
  248. return LogicalAnd(GetPred(pred, is_negated), GetFlowTest(*this, flow_test));
  249. }
  250. U1 IREmitter::GetFlowTestResult(FlowTest test) {
  251. return GetFlowTest(*this, test);
  252. }
  253. F32 IREmitter::GetAttribute(IR::Attribute attribute) {
  254. return Inst<F32>(Opcode::GetAttribute, attribute);
  255. }
  256. void IREmitter::SetAttribute(IR::Attribute attribute, const F32& value) {
  257. Inst(Opcode::SetAttribute, attribute, value);
  258. }
  259. void IREmitter::SetFragColor(u32 index, u32 component, const F32& value) {
  260. Inst(Opcode::SetFragColor, Imm32(index), Imm32(component), value);
  261. }
  262. void IREmitter::SetFragDepth(const F32& value) {
  263. Inst(Opcode::SetFragDepth, value);
  264. }
  265. U32 IREmitter::WorkgroupIdX() {
  266. return U32{CompositeExtract(Inst(Opcode::WorkgroupId), 0)};
  267. }
  268. U32 IREmitter::WorkgroupIdY() {
  269. return U32{CompositeExtract(Inst(Opcode::WorkgroupId), 1)};
  270. }
  271. U32 IREmitter::WorkgroupIdZ() {
  272. return U32{CompositeExtract(Inst(Opcode::WorkgroupId), 2)};
  273. }
  274. U32 IREmitter::LocalInvocationIdX() {
  275. return U32{CompositeExtract(Inst(Opcode::LocalInvocationId), 0)};
  276. }
  277. U32 IREmitter::LocalInvocationIdY() {
  278. return U32{CompositeExtract(Inst(Opcode::LocalInvocationId), 1)};
  279. }
  280. U32 IREmitter::LocalInvocationIdZ() {
  281. return U32{CompositeExtract(Inst(Opcode::LocalInvocationId), 2)};
  282. }
  283. U32 IREmitter::LaneId() {
  284. return Inst<U32>(Opcode::LaneId);
  285. }
  286. U32 IREmitter::LoadGlobalU8(const U64& address) {
  287. return Inst<U32>(Opcode::LoadGlobalU8, address);
  288. }
  289. U32 IREmitter::LoadGlobalS8(const U64& address) {
  290. return Inst<U32>(Opcode::LoadGlobalS8, address);
  291. }
  292. U32 IREmitter::LoadGlobalU16(const U64& address) {
  293. return Inst<U32>(Opcode::LoadGlobalU16, address);
  294. }
  295. U32 IREmitter::LoadGlobalS16(const U64& address) {
  296. return Inst<U32>(Opcode::LoadGlobalS16, address);
  297. }
  298. U32 IREmitter::LoadGlobal32(const U64& address) {
  299. return Inst<U32>(Opcode::LoadGlobal32, address);
  300. }
  301. Value IREmitter::LoadGlobal64(const U64& address) {
  302. return Inst<Value>(Opcode::LoadGlobal64, address);
  303. }
  304. Value IREmitter::LoadGlobal128(const U64& address) {
  305. return Inst<Value>(Opcode::LoadGlobal128, address);
  306. }
  307. void IREmitter::WriteGlobalU8(const U64& address, const U32& value) {
  308. Inst(Opcode::WriteGlobalU8, address, value);
  309. }
  310. void IREmitter::WriteGlobalS8(const U64& address, const U32& value) {
  311. Inst(Opcode::WriteGlobalS8, address, value);
  312. }
  313. void IREmitter::WriteGlobalU16(const U64& address, const U32& value) {
  314. Inst(Opcode::WriteGlobalU16, address, value);
  315. }
  316. void IREmitter::WriteGlobalS16(const U64& address, const U32& value) {
  317. Inst(Opcode::WriteGlobalS16, address, value);
  318. }
  319. void IREmitter::WriteGlobal32(const U64& address, const U32& value) {
  320. Inst(Opcode::WriteGlobal32, address, value);
  321. }
  322. void IREmitter::WriteGlobal64(const U64& address, const IR::Value& vector) {
  323. Inst(Opcode::WriteGlobal64, address, vector);
  324. }
  325. void IREmitter::WriteGlobal128(const U64& address, const IR::Value& vector) {
  326. Inst(Opcode::WriteGlobal128, address, vector);
  327. }
  328. U32 IREmitter::LoadLocal(const IR::U32& word_offset) {
  329. return Inst<U32>(Opcode::LoadLocal, word_offset);
  330. }
  331. void IREmitter::WriteLocal(const IR::U32& word_offset, const IR::U32& value) {
  332. Inst(Opcode::WriteLocal, word_offset, value);
  333. }
  334. Value IREmitter::LoadShared(int bit_size, bool is_signed, const IR::U32& offset) {
  335. switch (bit_size) {
  336. case 8:
  337. return Inst(is_signed ? Opcode::LoadSharedS8 : Opcode::LoadSharedU8, offset);
  338. case 16:
  339. return Inst(is_signed ? Opcode::LoadSharedS16 : Opcode::LoadSharedU16, offset);
  340. case 32:
  341. return Inst(Opcode::LoadSharedU32, offset);
  342. case 64:
  343. return Inst(Opcode::LoadSharedU64, offset);
  344. case 128:
  345. return Inst(Opcode::LoadSharedU128, offset);
  346. }
  347. throw InvalidArgument("Invalid bit size {}", bit_size);
  348. }
  349. void IREmitter::WriteShared(int bit_size, const IR::U32& offset, const IR::Value& value) {
  350. switch (bit_size) {
  351. case 8:
  352. Inst(Opcode::WriteSharedU8, offset, value);
  353. break;
  354. case 16:
  355. Inst(Opcode::WriteSharedU16, offset, value);
  356. break;
  357. case 32:
  358. Inst(Opcode::WriteSharedU32, offset, value);
  359. break;
  360. case 64:
  361. Inst(Opcode::WriteSharedU64, offset, value);
  362. break;
  363. case 128:
  364. Inst(Opcode::WriteSharedU128, offset, value);
  365. break;
  366. default:
  367. throw InvalidArgument("Invalid bit size {}", bit_size);
  368. }
  369. }
  370. U1 IREmitter::GetZeroFromOp(const Value& op) {
  371. return Inst<U1>(Opcode::GetZeroFromOp, op);
  372. }
  373. U1 IREmitter::GetSignFromOp(const Value& op) {
  374. return Inst<U1>(Opcode::GetSignFromOp, op);
  375. }
  376. U1 IREmitter::GetCarryFromOp(const Value& op) {
  377. return Inst<U1>(Opcode::GetCarryFromOp, op);
  378. }
  379. U1 IREmitter::GetOverflowFromOp(const Value& op) {
  380. return Inst<U1>(Opcode::GetOverflowFromOp, op);
  381. }
  382. U1 IREmitter::GetSparseFromOp(const Value& op) {
  383. return Inst<U1>(Opcode::GetSparseFromOp, op);
  384. }
  385. U1 IREmitter::GetInBoundsFromOp(const Value& op) {
  386. return Inst<U1>(Opcode::GetInBoundsFromOp, op);
  387. }
  388. F16F32F64 IREmitter::FPAdd(const F16F32F64& a, const F16F32F64& b, FpControl control) {
  389. if (a.Type() != b.Type()) {
  390. throw InvalidArgument("Mismatching types {} and {}", a.Type(), b.Type());
  391. }
  392. switch (a.Type()) {
  393. case Type::F16:
  394. return Inst<F16>(Opcode::FPAdd16, Flags{control}, a, b);
  395. case Type::F32:
  396. return Inst<F32>(Opcode::FPAdd32, Flags{control}, a, b);
  397. case Type::F64:
  398. return Inst<F64>(Opcode::FPAdd64, Flags{control}, a, b);
  399. default:
  400. ThrowInvalidType(a.Type());
  401. }
  402. }
  403. Value IREmitter::CompositeConstruct(const Value& e1, const Value& e2) {
  404. if (e1.Type() != e2.Type()) {
  405. throw InvalidArgument("Mismatching types {} and {}", e1.Type(), e2.Type());
  406. }
  407. switch (e1.Type()) {
  408. case Type::U32:
  409. return Inst(Opcode::CompositeConstructU32x2, e1, e2);
  410. case Type::F16:
  411. return Inst(Opcode::CompositeConstructF16x2, e1, e2);
  412. case Type::F32:
  413. return Inst(Opcode::CompositeConstructF32x2, e1, e2);
  414. case Type::F64:
  415. return Inst(Opcode::CompositeConstructF64x2, e1, e2);
  416. default:
  417. ThrowInvalidType(e1.Type());
  418. }
  419. }
  420. Value IREmitter::CompositeConstruct(const Value& e1, const Value& e2, const Value& e3) {
  421. if (e1.Type() != e2.Type() || e1.Type() != e3.Type()) {
  422. throw InvalidArgument("Mismatching types {}, {}, and {}", e1.Type(), e2.Type(), e3.Type());
  423. }
  424. switch (e1.Type()) {
  425. case Type::U32:
  426. return Inst(Opcode::CompositeConstructU32x3, e1, e2, e3);
  427. case Type::F16:
  428. return Inst(Opcode::CompositeConstructF16x3, e1, e2, e3);
  429. case Type::F32:
  430. return Inst(Opcode::CompositeConstructF32x3, e1, e2, e3);
  431. case Type::F64:
  432. return Inst(Opcode::CompositeConstructF64x3, e1, e2, e3);
  433. default:
  434. ThrowInvalidType(e1.Type());
  435. }
  436. }
  437. Value IREmitter::CompositeConstruct(const Value& e1, const Value& e2, const Value& e3,
  438. const Value& e4) {
  439. if (e1.Type() != e2.Type() || e1.Type() != e3.Type() || e1.Type() != e4.Type()) {
  440. throw InvalidArgument("Mismatching types {}, {}, {}, and {}", e1.Type(), e2.Type(),
  441. e3.Type(), e4.Type());
  442. }
  443. switch (e1.Type()) {
  444. case Type::U32:
  445. return Inst(Opcode::CompositeConstructU32x4, e1, e2, e3, e4);
  446. case Type::F16:
  447. return Inst(Opcode::CompositeConstructF16x4, e1, e2, e3, e4);
  448. case Type::F32:
  449. return Inst(Opcode::CompositeConstructF32x4, e1, e2, e3, e4);
  450. case Type::F64:
  451. return Inst(Opcode::CompositeConstructF64x4, e1, e2, e3, e4);
  452. default:
  453. ThrowInvalidType(e1.Type());
  454. }
  455. }
  456. Value IREmitter::CompositeExtract(const Value& vector, size_t element) {
  457. const auto read{[&](Opcode opcode, size_t limit) -> Value {
  458. if (element >= limit) {
  459. throw InvalidArgument("Out of bounds element {}", element);
  460. }
  461. return Inst(opcode, vector, Value{static_cast<u32>(element)});
  462. }};
  463. switch (vector.Type()) {
  464. case Type::U32x2:
  465. return read(Opcode::CompositeExtractU32x2, 2);
  466. case Type::U32x3:
  467. return read(Opcode::CompositeExtractU32x3, 3);
  468. case Type::U32x4:
  469. return read(Opcode::CompositeExtractU32x4, 4);
  470. case Type::F16x2:
  471. return read(Opcode::CompositeExtractF16x2, 2);
  472. case Type::F16x3:
  473. return read(Opcode::CompositeExtractF16x3, 3);
  474. case Type::F16x4:
  475. return read(Opcode::CompositeExtractF16x4, 4);
  476. case Type::F32x2:
  477. return read(Opcode::CompositeExtractF32x2, 2);
  478. case Type::F32x3:
  479. return read(Opcode::CompositeExtractF32x3, 3);
  480. case Type::F32x4:
  481. return read(Opcode::CompositeExtractF32x4, 4);
  482. case Type::F64x2:
  483. return read(Opcode::CompositeExtractF64x2, 2);
  484. case Type::F64x3:
  485. return read(Opcode::CompositeExtractF64x3, 3);
  486. case Type::F64x4:
  487. return read(Opcode::CompositeExtractF64x4, 4);
  488. default:
  489. ThrowInvalidType(vector.Type());
  490. }
  491. }
  492. Value IREmitter::CompositeInsert(const Value& vector, const Value& object, size_t element) {
  493. const auto insert{[&](Opcode opcode, size_t limit) {
  494. if (element >= limit) {
  495. throw InvalidArgument("Out of bounds element {}", element);
  496. }
  497. return Inst(opcode, vector, object, Value{static_cast<u32>(element)});
  498. }};
  499. switch (vector.Type()) {
  500. case Type::U32x2:
  501. return insert(Opcode::CompositeInsertU32x2, 2);
  502. case Type::U32x3:
  503. return insert(Opcode::CompositeInsertU32x3, 3);
  504. case Type::U32x4:
  505. return insert(Opcode::CompositeInsertU32x4, 4);
  506. case Type::F16x2:
  507. return insert(Opcode::CompositeInsertF16x2, 2);
  508. case Type::F16x3:
  509. return insert(Opcode::CompositeInsertF16x3, 3);
  510. case Type::F16x4:
  511. return insert(Opcode::CompositeInsertF16x4, 4);
  512. case Type::F32x2:
  513. return insert(Opcode::CompositeInsertF32x2, 2);
  514. case Type::F32x3:
  515. return insert(Opcode::CompositeInsertF32x3, 3);
  516. case Type::F32x4:
  517. return insert(Opcode::CompositeInsertF32x4, 4);
  518. case Type::F64x2:
  519. return insert(Opcode::CompositeInsertF64x2, 2);
  520. case Type::F64x3:
  521. return insert(Opcode::CompositeInsertF64x3, 3);
  522. case Type::F64x4:
  523. return insert(Opcode::CompositeInsertF64x4, 4);
  524. default:
  525. ThrowInvalidType(vector.Type());
  526. }
  527. }
  528. Value IREmitter::Select(const U1& condition, const Value& true_value, const Value& false_value) {
  529. if (true_value.Type() != false_value.Type()) {
  530. throw InvalidArgument("Mismatching types {} and {}", true_value.Type(), false_value.Type());
  531. }
  532. switch (true_value.Type()) {
  533. case Type::U1:
  534. return Inst(Opcode::SelectU1, condition, true_value, false_value);
  535. case Type::U8:
  536. return Inst(Opcode::SelectU8, condition, true_value, false_value);
  537. case Type::U16:
  538. return Inst(Opcode::SelectU16, condition, true_value, false_value);
  539. case Type::U32:
  540. return Inst(Opcode::SelectU32, condition, true_value, false_value);
  541. case Type::U64:
  542. return Inst(Opcode::SelectU64, condition, true_value, false_value);
  543. case Type::F32:
  544. return Inst(Opcode::SelectF32, condition, true_value, false_value);
  545. case Type::F64:
  546. return Inst(Opcode::SelectF64, condition, true_value, false_value);
  547. default:
  548. throw InvalidArgument("Invalid type {}", true_value.Type());
  549. }
  550. }
  551. template <>
  552. IR::U32 IREmitter::BitCast<IR::U32, IR::F32>(const IR::F32& value) {
  553. return Inst<IR::U32>(Opcode::BitCastU32F32, value);
  554. }
  555. template <>
  556. IR::F32 IREmitter::BitCast<IR::F32, IR::U32>(const IR::U32& value) {
  557. return Inst<IR::F32>(Opcode::BitCastF32U32, value);
  558. }
  559. template <>
  560. IR::U16 IREmitter::BitCast<IR::U16, IR::F16>(const IR::F16& value) {
  561. return Inst<IR::U16>(Opcode::BitCastU16F16, value);
  562. }
  563. template <>
  564. IR::F16 IREmitter::BitCast<IR::F16, IR::U16>(const IR::U16& value) {
  565. return Inst<IR::F16>(Opcode::BitCastF16U16, value);
  566. }
  567. template <>
  568. IR::U64 IREmitter::BitCast<IR::U64, IR::F64>(const IR::F64& value) {
  569. return Inst<IR::U64>(Opcode::BitCastU64F64, value);
  570. }
  571. template <>
  572. IR::F64 IREmitter::BitCast<IR::F64, IR::U64>(const IR::U64& value) {
  573. return Inst<IR::F64>(Opcode::BitCastF64U64, value);
  574. }
  575. U64 IREmitter::PackUint2x32(const Value& vector) {
  576. return Inst<U64>(Opcode::PackUint2x32, vector);
  577. }
  578. Value IREmitter::UnpackUint2x32(const U64& value) {
  579. return Inst<Value>(Opcode::UnpackUint2x32, value);
  580. }
  581. U32 IREmitter::PackFloat2x16(const Value& vector) {
  582. return Inst<U32>(Opcode::PackFloat2x16, vector);
  583. }
  584. Value IREmitter::UnpackFloat2x16(const U32& value) {
  585. return Inst(Opcode::UnpackFloat2x16, value);
  586. }
  587. U32 IREmitter::PackHalf2x16(const Value& vector) {
  588. return Inst<U32>(Opcode::PackHalf2x16, vector);
  589. }
  590. Value IREmitter::UnpackHalf2x16(const U32& value) {
  591. return Inst(Opcode::UnpackHalf2x16, value);
  592. }
  593. F64 IREmitter::PackDouble2x32(const Value& vector) {
  594. return Inst<F64>(Opcode::PackDouble2x32, vector);
  595. }
  596. Value IREmitter::UnpackDouble2x32(const F64& value) {
  597. return Inst<Value>(Opcode::UnpackDouble2x32, value);
  598. }
  599. F16F32F64 IREmitter::FPMul(const F16F32F64& a, const F16F32F64& b, FpControl control) {
  600. if (a.Type() != b.Type()) {
  601. throw InvalidArgument("Mismatching types {} and {}", a.Type(), b.Type());
  602. }
  603. switch (a.Type()) {
  604. case Type::F16:
  605. return Inst<F16>(Opcode::FPMul16, Flags{control}, a, b);
  606. case Type::F32:
  607. return Inst<F32>(Opcode::FPMul32, Flags{control}, a, b);
  608. case Type::F64:
  609. return Inst<F64>(Opcode::FPMul64, Flags{control}, a, b);
  610. default:
  611. ThrowInvalidType(a.Type());
  612. }
  613. }
  614. F16F32F64 IREmitter::FPFma(const F16F32F64& a, const F16F32F64& b, const F16F32F64& c,
  615. FpControl control) {
  616. if (a.Type() != b.Type() || a.Type() != c.Type()) {
  617. throw InvalidArgument("Mismatching types {}, {}, and {}", a.Type(), b.Type(), c.Type());
  618. }
  619. switch (a.Type()) {
  620. case Type::F16:
  621. return Inst<F16>(Opcode::FPFma16, Flags{control}, a, b, c);
  622. case Type::F32:
  623. return Inst<F32>(Opcode::FPFma32, Flags{control}, a, b, c);
  624. case Type::F64:
  625. return Inst<F64>(Opcode::FPFma64, Flags{control}, a, b, c);
  626. default:
  627. ThrowInvalidType(a.Type());
  628. }
  629. }
  630. F16F32F64 IREmitter::FPAbs(const F16F32F64& value) {
  631. switch (value.Type()) {
  632. case Type::F16:
  633. return Inst<F16>(Opcode::FPAbs16, value);
  634. case Type::F32:
  635. return Inst<F32>(Opcode::FPAbs32, value);
  636. case Type::F64:
  637. return Inst<F64>(Opcode::FPAbs64, value);
  638. default:
  639. ThrowInvalidType(value.Type());
  640. }
  641. }
  642. F16F32F64 IREmitter::FPNeg(const F16F32F64& value) {
  643. switch (value.Type()) {
  644. case Type::F16:
  645. return Inst<F16>(Opcode::FPNeg16, value);
  646. case Type::F32:
  647. return Inst<F32>(Opcode::FPNeg32, value);
  648. case Type::F64:
  649. return Inst<F64>(Opcode::FPNeg64, value);
  650. default:
  651. ThrowInvalidType(value.Type());
  652. }
  653. }
  654. F16F32F64 IREmitter::FPAbsNeg(const F16F32F64& value, bool abs, bool neg) {
  655. F16F32F64 result{value};
  656. if (abs) {
  657. result = FPAbs(result);
  658. }
  659. if (neg) {
  660. result = FPNeg(result);
  661. }
  662. return result;
  663. }
  664. F32 IREmitter::FPCos(const F32& value) {
  665. return Inst<F32>(Opcode::FPCos, value);
  666. }
  667. F32 IREmitter::FPSin(const F32& value) {
  668. return Inst<F32>(Opcode::FPSin, value);
  669. }
  670. F32 IREmitter::FPExp2(const F32& value) {
  671. return Inst<F32>(Opcode::FPExp2, value);
  672. }
  673. F32 IREmitter::FPLog2(const F32& value) {
  674. return Inst<F32>(Opcode::FPLog2, value);
  675. }
  676. F32F64 IREmitter::FPRecip(const F32F64& value) {
  677. switch (value.Type()) {
  678. case Type::F32:
  679. return Inst<F32>(Opcode::FPRecip32, value);
  680. case Type::F64:
  681. return Inst<F64>(Opcode::FPRecip64, value);
  682. default:
  683. ThrowInvalidType(value.Type());
  684. }
  685. }
  686. F32F64 IREmitter::FPRecipSqrt(const F32F64& value) {
  687. switch (value.Type()) {
  688. case Type::F32:
  689. return Inst<F32>(Opcode::FPRecipSqrt32, value);
  690. case Type::F64:
  691. return Inst<F64>(Opcode::FPRecipSqrt64, value);
  692. default:
  693. ThrowInvalidType(value.Type());
  694. }
  695. }
  696. F32 IREmitter::FPSqrt(const F32& value) {
  697. return Inst<F32>(Opcode::FPSqrt, value);
  698. }
  699. F16F32F64 IREmitter::FPSaturate(const F16F32F64& value) {
  700. switch (value.Type()) {
  701. case Type::F16:
  702. return Inst<F16>(Opcode::FPSaturate16, value);
  703. case Type::F32:
  704. return Inst<F32>(Opcode::FPSaturate32, value);
  705. case Type::F64:
  706. return Inst<F64>(Opcode::FPSaturate64, value);
  707. default:
  708. ThrowInvalidType(value.Type());
  709. }
  710. }
  711. F16F32F64 IREmitter::FPClamp(const F16F32F64& value, const F16F32F64& min_value,
  712. const F16F32F64& max_value) {
  713. if (value.Type() != min_value.Type() || value.Type() != max_value.Type()) {
  714. throw InvalidArgument("Mismatching types {}, {}, and {}", value.Type(), min_value.Type(),
  715. max_value.Type());
  716. }
  717. switch (value.Type()) {
  718. case Type::F16:
  719. return Inst<F16>(Opcode::FPClamp16, value, min_value, max_value);
  720. case Type::F32:
  721. return Inst<F32>(Opcode::FPClamp32, value, min_value, max_value);
  722. case Type::F64:
  723. return Inst<F64>(Opcode::FPClamp64, value, min_value, max_value);
  724. default:
  725. ThrowInvalidType(value.Type());
  726. }
  727. }
  728. F16F32F64 IREmitter::FPRoundEven(const F16F32F64& value, FpControl control) {
  729. switch (value.Type()) {
  730. case Type::F16:
  731. return Inst<F16>(Opcode::FPRoundEven16, Flags{control}, value);
  732. case Type::F32:
  733. return Inst<F32>(Opcode::FPRoundEven32, Flags{control}, value);
  734. case Type::F64:
  735. return Inst<F64>(Opcode::FPRoundEven64, Flags{control}, value);
  736. default:
  737. ThrowInvalidType(value.Type());
  738. }
  739. }
  740. F16F32F64 IREmitter::FPFloor(const F16F32F64& value, FpControl control) {
  741. switch (value.Type()) {
  742. case Type::F16:
  743. return Inst<F16>(Opcode::FPFloor16, Flags{control}, value);
  744. case Type::F32:
  745. return Inst<F32>(Opcode::FPFloor32, Flags{control}, value);
  746. case Type::F64:
  747. return Inst<F64>(Opcode::FPFloor64, Flags{control}, value);
  748. default:
  749. ThrowInvalidType(value.Type());
  750. }
  751. }
  752. F16F32F64 IREmitter::FPCeil(const F16F32F64& value, FpControl control) {
  753. switch (value.Type()) {
  754. case Type::F16:
  755. return Inst<F16>(Opcode::FPCeil16, Flags{control}, value);
  756. case Type::F32:
  757. return Inst<F32>(Opcode::FPCeil32, Flags{control}, value);
  758. case Type::F64:
  759. return Inst<F64>(Opcode::FPCeil64, Flags{control}, value);
  760. default:
  761. ThrowInvalidType(value.Type());
  762. }
  763. }
  764. F16F32F64 IREmitter::FPTrunc(const F16F32F64& value, FpControl control) {
  765. switch (value.Type()) {
  766. case Type::F16:
  767. return Inst<F16>(Opcode::FPTrunc16, Flags{control}, value);
  768. case Type::F32:
  769. return Inst<F32>(Opcode::FPTrunc32, Flags{control}, value);
  770. case Type::F64:
  771. return Inst<F64>(Opcode::FPTrunc64, Flags{control}, value);
  772. default:
  773. ThrowInvalidType(value.Type());
  774. }
  775. }
  776. U1 IREmitter::FPEqual(const F16F32F64& lhs, const F16F32F64& rhs, FpControl control, bool ordered) {
  777. if (lhs.Type() != rhs.Type()) {
  778. throw InvalidArgument("Mismatching types {} and {}", lhs.Type(), rhs.Type());
  779. }
  780. switch (lhs.Type()) {
  781. case Type::F16:
  782. return Inst<U1>(ordered ? Opcode::FPOrdEqual16 : Opcode::FPUnordEqual16, Flags{control},
  783. lhs, rhs);
  784. case Type::F32:
  785. return Inst<U1>(ordered ? Opcode::FPOrdEqual32 : Opcode::FPUnordEqual32, Flags{control},
  786. lhs, rhs);
  787. case Type::F64:
  788. return Inst<U1>(ordered ? Opcode::FPOrdEqual64 : Opcode::FPUnordEqual64, Flags{control},
  789. lhs, rhs);
  790. default:
  791. ThrowInvalidType(lhs.Type());
  792. }
  793. }
  794. U1 IREmitter::FPNotEqual(const F16F32F64& lhs, const F16F32F64& rhs, FpControl control,
  795. bool ordered) {
  796. if (lhs.Type() != rhs.Type()) {
  797. throw InvalidArgument("Mismatching types {} and {}", lhs.Type(), rhs.Type());
  798. }
  799. switch (lhs.Type()) {
  800. case Type::F16:
  801. return Inst<U1>(ordered ? Opcode::FPOrdNotEqual16 : Opcode::FPUnordNotEqual16,
  802. Flags{control}, lhs, rhs);
  803. case Type::F32:
  804. return Inst<U1>(ordered ? Opcode::FPOrdNotEqual32 : Opcode::FPUnordNotEqual32,
  805. Flags{control}, lhs, rhs);
  806. case Type::F64:
  807. return Inst<U1>(ordered ? Opcode::FPOrdNotEqual64 : Opcode::FPUnordNotEqual64,
  808. Flags{control}, lhs, rhs);
  809. default:
  810. ThrowInvalidType(lhs.Type());
  811. }
  812. }
  813. U1 IREmitter::FPLessThan(const F16F32F64& lhs, const F16F32F64& rhs, FpControl control,
  814. bool ordered) {
  815. if (lhs.Type() != rhs.Type()) {
  816. throw InvalidArgument("Mismatching types {} and {}", lhs.Type(), rhs.Type());
  817. }
  818. switch (lhs.Type()) {
  819. case Type::F16:
  820. return Inst<U1>(ordered ? Opcode::FPOrdLessThan16 : Opcode::FPUnordLessThan16,
  821. Flags{control}, lhs, rhs);
  822. case Type::F32:
  823. return Inst<U1>(ordered ? Opcode::FPOrdLessThan32 : Opcode::FPUnordLessThan32,
  824. Flags{control}, lhs, rhs);
  825. case Type::F64:
  826. return Inst<U1>(ordered ? Opcode::FPOrdLessThan64 : Opcode::FPUnordLessThan64,
  827. Flags{control}, lhs, rhs);
  828. default:
  829. ThrowInvalidType(lhs.Type());
  830. }
  831. }
  832. U1 IREmitter::FPGreaterThan(const F16F32F64& lhs, const F16F32F64& rhs, FpControl control,
  833. bool ordered) {
  834. if (lhs.Type() != rhs.Type()) {
  835. throw InvalidArgument("Mismatching types {} and {}", lhs.Type(), rhs.Type());
  836. }
  837. switch (lhs.Type()) {
  838. case Type::F16:
  839. return Inst<U1>(ordered ? Opcode::FPOrdGreaterThan16 : Opcode::FPUnordGreaterThan16,
  840. Flags{control}, lhs, rhs);
  841. case Type::F32:
  842. return Inst<U1>(ordered ? Opcode::FPOrdGreaterThan32 : Opcode::FPUnordGreaterThan32,
  843. Flags{control}, lhs, rhs);
  844. case Type::F64:
  845. return Inst<U1>(ordered ? Opcode::FPOrdGreaterThan64 : Opcode::FPUnordGreaterThan64,
  846. Flags{control}, lhs, rhs);
  847. default:
  848. ThrowInvalidType(lhs.Type());
  849. }
  850. }
  851. U1 IREmitter::FPLessThanEqual(const F16F32F64& lhs, const F16F32F64& rhs, FpControl control,
  852. bool ordered) {
  853. if (lhs.Type() != rhs.Type()) {
  854. throw InvalidArgument("Mismatching types {} and {}", lhs.Type(), rhs.Type());
  855. }
  856. switch (lhs.Type()) {
  857. case Type::F16:
  858. return Inst<U1>(ordered ? Opcode::FPOrdLessThanEqual16 : Opcode::FPUnordLessThanEqual16,
  859. Flags{control}, lhs, rhs);
  860. case Type::F32:
  861. return Inst<U1>(ordered ? Opcode::FPOrdLessThanEqual32 : Opcode::FPUnordLessThanEqual32,
  862. Flags{control}, lhs, rhs);
  863. case Type::F64:
  864. return Inst<U1>(ordered ? Opcode::FPOrdLessThanEqual64 : Opcode::FPUnordLessThanEqual64,
  865. Flags{control}, lhs, rhs);
  866. default:
  867. ThrowInvalidType(lhs.Type());
  868. }
  869. }
  870. U1 IREmitter::FPGreaterThanEqual(const F16F32F64& lhs, const F16F32F64& rhs, FpControl control,
  871. bool ordered) {
  872. if (lhs.Type() != rhs.Type()) {
  873. throw InvalidArgument("Mismatching types {} and {}", lhs.Type(), rhs.Type());
  874. }
  875. switch (lhs.Type()) {
  876. case Type::F16:
  877. return Inst<U1>(ordered ? Opcode::FPOrdGreaterThanEqual16
  878. : Opcode::FPUnordGreaterThanEqual16,
  879. Flags{control}, lhs, rhs);
  880. case Type::F32:
  881. return Inst<U1>(ordered ? Opcode::FPOrdGreaterThanEqual32
  882. : Opcode::FPUnordGreaterThanEqual32,
  883. Flags{control}, lhs, rhs);
  884. case Type::F64:
  885. return Inst<U1>(ordered ? Opcode::FPOrdGreaterThanEqual64
  886. : Opcode::FPUnordGreaterThanEqual64,
  887. Flags{control}, lhs, rhs);
  888. default:
  889. ThrowInvalidType(lhs.Type());
  890. }
  891. }
  892. U1 IREmitter::FPIsNan(const F16F32F64& value) {
  893. switch (value.Type()) {
  894. case Type::F16:
  895. return Inst<U1>(Opcode::FPIsNan16, value);
  896. case Type::F32:
  897. return Inst<U1>(Opcode::FPIsNan32, value);
  898. case Type::F64:
  899. return Inst<U1>(Opcode::FPIsNan64, value);
  900. default:
  901. ThrowInvalidType(value.Type());
  902. }
  903. }
  904. U1 IREmitter::FPOrdered(const F16F32F64& lhs, const F16F32F64& rhs) {
  905. if (lhs.Type() != rhs.Type()) {
  906. throw InvalidArgument("Mismatching types {} and {}", lhs.Type(), rhs.Type());
  907. }
  908. return LogicalAnd(LogicalNot(FPIsNan(lhs)), LogicalNot(FPIsNan(rhs)));
  909. }
  910. U1 IREmitter::FPUnordered(const F16F32F64& lhs, const F16F32F64& rhs) {
  911. if (lhs.Type() != rhs.Type()) {
  912. throw InvalidArgument("Mismatching types {} and {}", lhs.Type(), rhs.Type());
  913. }
  914. return LogicalOr(FPIsNan(lhs), FPIsNan(rhs));
  915. }
  916. F32F64 IREmitter::FPMax(const F32F64& lhs, const F32F64& rhs, FpControl control) {
  917. if (lhs.Type() != rhs.Type()) {
  918. throw InvalidArgument("Mismatching types {} and {}", lhs.Type(), rhs.Type());
  919. }
  920. switch (lhs.Type()) {
  921. case Type::F32:
  922. return Inst<F32>(Opcode::FPMax32, Flags{control}, lhs, rhs);
  923. case Type::F64:
  924. return Inst<F64>(Opcode::FPMax64, Flags{control}, lhs, rhs);
  925. default:
  926. ThrowInvalidType(lhs.Type());
  927. }
  928. }
  929. F32F64 IREmitter::FPMin(const F32F64& lhs, const F32F64& rhs, FpControl control) {
  930. if (lhs.Type() != rhs.Type()) {
  931. throw InvalidArgument("Mismatching types {} and {}", lhs.Type(), rhs.Type());
  932. }
  933. switch (lhs.Type()) {
  934. case Type::F32:
  935. return Inst<F32>(Opcode::FPMin32, Flags{control}, lhs, rhs);
  936. case Type::F64:
  937. return Inst<F64>(Opcode::FPMin64, Flags{control}, lhs, rhs);
  938. default:
  939. ThrowInvalidType(lhs.Type());
  940. }
  941. }
  942. U32U64 IREmitter::IAdd(const U32U64& a, const U32U64& b) {
  943. if (a.Type() != b.Type()) {
  944. throw InvalidArgument("Mismatching types {} and {}", a.Type(), b.Type());
  945. }
  946. switch (a.Type()) {
  947. case Type::U32:
  948. return Inst<U32>(Opcode::IAdd32, a, b);
  949. case Type::U64:
  950. return Inst<U64>(Opcode::IAdd64, a, b);
  951. default:
  952. ThrowInvalidType(a.Type());
  953. }
  954. }
  955. U32U64 IREmitter::ISub(const U32U64& a, const U32U64& b) {
  956. if (a.Type() != b.Type()) {
  957. throw InvalidArgument("Mismatching types {} and {}", a.Type(), b.Type());
  958. }
  959. switch (a.Type()) {
  960. case Type::U32:
  961. return Inst<U32>(Opcode::ISub32, a, b);
  962. case Type::U64:
  963. return Inst<U64>(Opcode::ISub64, a, b);
  964. default:
  965. ThrowInvalidType(a.Type());
  966. }
  967. }
  968. U32 IREmitter::IMul(const U32& a, const U32& b) {
  969. return Inst<U32>(Opcode::IMul32, a, b);
  970. }
  971. U32U64 IREmitter::INeg(const U32U64& value) {
  972. switch (value.Type()) {
  973. case Type::U32:
  974. return Inst<U32>(Opcode::INeg32, value);
  975. case Type::U64:
  976. return Inst<U64>(Opcode::INeg64, value);
  977. default:
  978. ThrowInvalidType(value.Type());
  979. }
  980. }
  981. U32U64 IREmitter::IAbs(const U32U64& value) {
  982. switch (value.Type()) {
  983. case Type::U32:
  984. return Inst<U32>(Opcode::IAbs32, value);
  985. case Type::U64:
  986. return Inst<U64>(Opcode::IAbs64, value);
  987. default:
  988. ThrowInvalidType(value.Type());
  989. }
  990. }
  991. U32U64 IREmitter::ShiftLeftLogical(const U32U64& base, const U32& shift) {
  992. switch (base.Type()) {
  993. case Type::U32:
  994. return Inst<U32>(Opcode::ShiftLeftLogical32, base, shift);
  995. case Type::U64:
  996. return Inst<U64>(Opcode::ShiftLeftLogical64, base, shift);
  997. default:
  998. ThrowInvalidType(base.Type());
  999. }
  1000. }
  1001. U32U64 IREmitter::ShiftRightLogical(const U32U64& base, const U32& shift) {
  1002. switch (base.Type()) {
  1003. case Type::U32:
  1004. return Inst<U32>(Opcode::ShiftRightLogical32, base, shift);
  1005. case Type::U64:
  1006. return Inst<U64>(Opcode::ShiftRightLogical64, base, shift);
  1007. default:
  1008. ThrowInvalidType(base.Type());
  1009. }
  1010. }
  1011. U32U64 IREmitter::ShiftRightArithmetic(const U32U64& base, const U32& shift) {
  1012. switch (base.Type()) {
  1013. case Type::U32:
  1014. return Inst<U32>(Opcode::ShiftRightArithmetic32, base, shift);
  1015. case Type::U64:
  1016. return Inst<U64>(Opcode::ShiftRightArithmetic64, base, shift);
  1017. default:
  1018. ThrowInvalidType(base.Type());
  1019. }
  1020. }
  1021. U32 IREmitter::BitwiseAnd(const U32& a, const U32& b) {
  1022. return Inst<U32>(Opcode::BitwiseAnd32, a, b);
  1023. }
  1024. U32 IREmitter::BitwiseOr(const U32& a, const U32& b) {
  1025. return Inst<U32>(Opcode::BitwiseOr32, a, b);
  1026. }
  1027. U32 IREmitter::BitwiseXor(const U32& a, const U32& b) {
  1028. return Inst<U32>(Opcode::BitwiseXor32, a, b);
  1029. }
  1030. U32 IREmitter::BitFieldInsert(const U32& base, const U32& insert, const U32& offset,
  1031. const U32& count) {
  1032. return Inst<U32>(Opcode::BitFieldInsert, base, insert, offset, count);
  1033. }
  1034. U32 IREmitter::BitFieldExtract(const U32& base, const U32& offset, const U32& count,
  1035. bool is_signed) {
  1036. return Inst<U32>(is_signed ? Opcode::BitFieldSExtract : Opcode::BitFieldUExtract, base, offset,
  1037. count);
  1038. }
  1039. U32 IREmitter::BitReverse(const U32& value) {
  1040. return Inst<U32>(Opcode::BitReverse32, value);
  1041. }
  1042. U32 IREmitter::BitCount(const U32& value) {
  1043. return Inst<U32>(Opcode::BitCount32, value);
  1044. }
  1045. U32 IREmitter::BitwiseNot(const U32& value) {
  1046. return Inst<U32>(Opcode::BitwiseNot32, value);
  1047. }
  1048. U32 IREmitter::FindSMsb(const U32& value) {
  1049. return Inst<U32>(Opcode::FindSMsb32, value);
  1050. }
  1051. U32 IREmitter::FindUMsb(const U32& value) {
  1052. return Inst<U32>(Opcode::FindUMsb32, value);
  1053. }
  1054. U32 IREmitter::SMin(const U32& a, const U32& b) {
  1055. return Inst<U32>(Opcode::SMin32, a, b);
  1056. }
  1057. U32 IREmitter::UMin(const U32& a, const U32& b) {
  1058. return Inst<U32>(Opcode::UMin32, a, b);
  1059. }
  1060. U32 IREmitter::IMin(const U32& a, const U32& b, bool is_signed) {
  1061. return is_signed ? SMin(a, b) : UMin(a, b);
  1062. }
  1063. U32 IREmitter::SMax(const U32& a, const U32& b) {
  1064. return Inst<U32>(Opcode::SMax32, a, b);
  1065. }
  1066. U32 IREmitter::UMax(const U32& a, const U32& b) {
  1067. return Inst<U32>(Opcode::UMax32, a, b);
  1068. }
  1069. U32 IREmitter::IMax(const U32& a, const U32& b, bool is_signed) {
  1070. return is_signed ? SMax(a, b) : UMax(a, b);
  1071. }
  1072. U32 IREmitter::SClamp(const U32& value, const U32& min, const U32& max) {
  1073. return Inst<U32>(Opcode::SClamp32, value, min, max);
  1074. }
  1075. U32 IREmitter::UClamp(const U32& value, const U32& min, const U32& max) {
  1076. return Inst<U32>(Opcode::UClamp32, value, min, max);
  1077. }
  1078. U1 IREmitter::ILessThan(const U32& lhs, const U32& rhs, bool is_signed) {
  1079. return Inst<U1>(is_signed ? Opcode::SLessThan : Opcode::ULessThan, lhs, rhs);
  1080. }
  1081. U1 IREmitter::IEqual(const U32U64& lhs, const U32U64& rhs) {
  1082. if (lhs.Type() != rhs.Type()) {
  1083. throw InvalidArgument("Mismatching types {} and {}", lhs.Type(), rhs.Type());
  1084. }
  1085. switch (lhs.Type()) {
  1086. case Type::U32:
  1087. return Inst<U1>(Opcode::IEqual, lhs, rhs);
  1088. case Type::U64: {
  1089. // Manually compare the unpacked values
  1090. const Value lhs_vector{UnpackUint2x32(lhs)};
  1091. const Value rhs_vector{UnpackUint2x32(rhs)};
  1092. return LogicalAnd(IEqual(IR::U32{CompositeExtract(lhs_vector, 0)},
  1093. IR::U32{CompositeExtract(rhs_vector, 0)}),
  1094. IEqual(IR::U32{CompositeExtract(lhs_vector, 1)},
  1095. IR::U32{CompositeExtract(rhs_vector, 1)}));
  1096. }
  1097. default:
  1098. ThrowInvalidType(lhs.Type());
  1099. }
  1100. }
  1101. U1 IREmitter::ILessThanEqual(const U32& lhs, const U32& rhs, bool is_signed) {
  1102. return Inst<U1>(is_signed ? Opcode::SLessThanEqual : Opcode::ULessThanEqual, lhs, rhs);
  1103. }
  1104. U1 IREmitter::IGreaterThan(const U32& lhs, const U32& rhs, bool is_signed) {
  1105. return Inst<U1>(is_signed ? Opcode::SGreaterThan : Opcode::UGreaterThan, lhs, rhs);
  1106. }
  1107. U1 IREmitter::INotEqual(const U32& lhs, const U32& rhs) {
  1108. return Inst<U1>(Opcode::INotEqual, lhs, rhs);
  1109. }
  1110. U1 IREmitter::IGreaterThanEqual(const U32& lhs, const U32& rhs, bool is_signed) {
  1111. return Inst<U1>(is_signed ? Opcode::SGreaterThanEqual : Opcode::UGreaterThanEqual, lhs, rhs);
  1112. }
  1113. U1 IREmitter::LogicalOr(const U1& a, const U1& b) {
  1114. return Inst<U1>(Opcode::LogicalOr, a, b);
  1115. }
  1116. U1 IREmitter::LogicalAnd(const U1& a, const U1& b) {
  1117. return Inst<U1>(Opcode::LogicalAnd, a, b);
  1118. }
  1119. U1 IREmitter::LogicalXor(const U1& a, const U1& b) {
  1120. return Inst<U1>(Opcode::LogicalXor, a, b);
  1121. }
  1122. U1 IREmitter::LogicalNot(const U1& value) {
  1123. return Inst<U1>(Opcode::LogicalNot, value);
  1124. }
  1125. U32U64 IREmitter::ConvertFToS(size_t bitsize, const F16F32F64& value) {
  1126. switch (bitsize) {
  1127. case 16:
  1128. switch (value.Type()) {
  1129. case Type::F16:
  1130. return Inst<U32>(Opcode::ConvertS16F16, value);
  1131. case Type::F32:
  1132. return Inst<U32>(Opcode::ConvertS16F32, value);
  1133. case Type::F64:
  1134. return Inst<U32>(Opcode::ConvertS16F64, value);
  1135. default:
  1136. ThrowInvalidType(value.Type());
  1137. }
  1138. case 32:
  1139. switch (value.Type()) {
  1140. case Type::F16:
  1141. return Inst<U32>(Opcode::ConvertS32F16, value);
  1142. case Type::F32:
  1143. return Inst<U32>(Opcode::ConvertS32F32, value);
  1144. case Type::F64:
  1145. return Inst<U32>(Opcode::ConvertS32F64, value);
  1146. default:
  1147. ThrowInvalidType(value.Type());
  1148. }
  1149. case 64:
  1150. switch (value.Type()) {
  1151. case Type::F16:
  1152. return Inst<U64>(Opcode::ConvertS64F16, value);
  1153. case Type::F32:
  1154. return Inst<U64>(Opcode::ConvertS64F32, value);
  1155. case Type::F64:
  1156. return Inst<U64>(Opcode::ConvertS64F64, value);
  1157. default:
  1158. ThrowInvalidType(value.Type());
  1159. }
  1160. default:
  1161. throw InvalidArgument("Invalid destination bitsize {}", bitsize);
  1162. }
  1163. }
  1164. U32U64 IREmitter::ConvertFToU(size_t bitsize, const F16F32F64& value) {
  1165. switch (bitsize) {
  1166. case 16:
  1167. switch (value.Type()) {
  1168. case Type::F16:
  1169. return Inst<U32>(Opcode::ConvertU16F16, value);
  1170. case Type::F32:
  1171. return Inst<U32>(Opcode::ConvertU16F32, value);
  1172. case Type::F64:
  1173. return Inst<U32>(Opcode::ConvertU16F64, value);
  1174. default:
  1175. ThrowInvalidType(value.Type());
  1176. }
  1177. case 32:
  1178. switch (value.Type()) {
  1179. case Type::F16:
  1180. return Inst<U32>(Opcode::ConvertU32F16, value);
  1181. case Type::F32:
  1182. return Inst<U32>(Opcode::ConvertU32F32, value);
  1183. case Type::F64:
  1184. return Inst<U32>(Opcode::ConvertU32F64, value);
  1185. default:
  1186. ThrowInvalidType(value.Type());
  1187. }
  1188. case 64:
  1189. switch (value.Type()) {
  1190. case Type::F16:
  1191. return Inst<U64>(Opcode::ConvertU64F16, value);
  1192. case Type::F32:
  1193. return Inst<U64>(Opcode::ConvertU64F32, value);
  1194. case Type::F64:
  1195. return Inst<U64>(Opcode::ConvertU64F64, value);
  1196. default:
  1197. ThrowInvalidType(value.Type());
  1198. }
  1199. default:
  1200. throw InvalidArgument("Invalid destination bitsize {}", bitsize);
  1201. }
  1202. }
  1203. U32U64 IREmitter::ConvertFToI(size_t bitsize, bool is_signed, const F16F32F64& value) {
  1204. return is_signed ? ConvertFToS(bitsize, value) : ConvertFToU(bitsize, value);
  1205. }
  1206. F16F32F64 IREmitter::ConvertSToF(size_t dest_bitsize, size_t src_bitsize, const Value& value) {
  1207. switch (dest_bitsize) {
  1208. case 16:
  1209. switch (src_bitsize) {
  1210. case 8:
  1211. return Inst<F16>(Opcode::ConvertF16S8, value);
  1212. case 16:
  1213. return Inst<F16>(Opcode::ConvertF16S16, value);
  1214. case 32:
  1215. return Inst<F16>(Opcode::ConvertF16S32, value);
  1216. case 64:
  1217. return Inst<F16>(Opcode::ConvertF16S64, value);
  1218. }
  1219. break;
  1220. case 32:
  1221. switch (src_bitsize) {
  1222. case 8:
  1223. return Inst<F32>(Opcode::ConvertF32S8, value);
  1224. case 16:
  1225. return Inst<F32>(Opcode::ConvertF32S16, value);
  1226. case 32:
  1227. return Inst<F32>(Opcode::ConvertF32S32, value);
  1228. case 64:
  1229. return Inst<F32>(Opcode::ConvertF32S64, value);
  1230. }
  1231. break;
  1232. case 64:
  1233. switch (src_bitsize) {
  1234. case 8:
  1235. return Inst<F64>(Opcode::ConvertF64S8, value);
  1236. case 16:
  1237. return Inst<F64>(Opcode::ConvertF64S16, value);
  1238. case 32:
  1239. return Inst<F64>(Opcode::ConvertF64S32, value);
  1240. case 64:
  1241. return Inst<F64>(Opcode::ConvertF64S64, value);
  1242. }
  1243. break;
  1244. }
  1245. throw InvalidArgument("Invalid bit size combination dst={} src={}", dest_bitsize, src_bitsize);
  1246. }
  1247. F16F32F64 IREmitter::ConvertUToF(size_t dest_bitsize, size_t src_bitsize, const Value& value) {
  1248. switch (dest_bitsize) {
  1249. case 16:
  1250. switch (src_bitsize) {
  1251. case 8:
  1252. return Inst<F16>(Opcode::ConvertF16U8, value);
  1253. case 16:
  1254. return Inst<F16>(Opcode::ConvertF16U16, value);
  1255. case 32:
  1256. return Inst<F16>(Opcode::ConvertF16U32, value);
  1257. case 64:
  1258. return Inst<F16>(Opcode::ConvertF16U64, value);
  1259. }
  1260. break;
  1261. case 32:
  1262. switch (src_bitsize) {
  1263. case 8:
  1264. return Inst<F32>(Opcode::ConvertF32U8, value);
  1265. case 16:
  1266. return Inst<F32>(Opcode::ConvertF32U16, value);
  1267. case 32:
  1268. return Inst<F32>(Opcode::ConvertF32U32, value);
  1269. case 64:
  1270. return Inst<F32>(Opcode::ConvertF32U64, value);
  1271. }
  1272. break;
  1273. case 64:
  1274. switch (src_bitsize) {
  1275. case 8:
  1276. return Inst<F64>(Opcode::ConvertF64U8, value);
  1277. case 16:
  1278. return Inst<F64>(Opcode::ConvertF64U16, value);
  1279. case 32:
  1280. return Inst<F64>(Opcode::ConvertF64U32, value);
  1281. case 64:
  1282. return Inst<F64>(Opcode::ConvertF64U64, value);
  1283. }
  1284. break;
  1285. }
  1286. throw InvalidArgument("Invalid bit size combination dst={} src={}", dest_bitsize, src_bitsize);
  1287. }
  1288. F16F32F64 IREmitter::ConvertIToF(size_t dest_bitsize, size_t src_bitsize, bool is_signed,
  1289. const Value& value) {
  1290. return is_signed ? ConvertSToF(dest_bitsize, src_bitsize, value)
  1291. : ConvertUToF(dest_bitsize, src_bitsize, value);
  1292. }
  1293. U32U64 IREmitter::UConvert(size_t result_bitsize, const U32U64& value) {
  1294. switch (result_bitsize) {
  1295. case 32:
  1296. switch (value.Type()) {
  1297. case Type::U32:
  1298. // Nothing to do
  1299. return value;
  1300. case Type::U64:
  1301. return Inst<U32>(Opcode::ConvertU32U64, value);
  1302. default:
  1303. break;
  1304. }
  1305. break;
  1306. case 64:
  1307. switch (value.Type()) {
  1308. case Type::U32:
  1309. return Inst<U64>(Opcode::ConvertU64U32, value);
  1310. case Type::U64:
  1311. // Nothing to do
  1312. return value;
  1313. default:
  1314. break;
  1315. }
  1316. }
  1317. throw NotImplementedException("Conversion from {} to {} bits", value.Type(), result_bitsize);
  1318. }
  1319. F16F32F64 IREmitter::FPConvert(size_t result_bitsize, const F16F32F64& value, FpControl control) {
  1320. switch (result_bitsize) {
  1321. case 16:
  1322. switch (value.Type()) {
  1323. case Type::F16:
  1324. // Nothing to do
  1325. return value;
  1326. case Type::F32:
  1327. return Inst<F16>(Opcode::ConvertF16F32, Flags{control}, value);
  1328. case Type::F64:
  1329. throw LogicError("Illegal conversion from F64 to F16");
  1330. default:
  1331. break;
  1332. }
  1333. break;
  1334. case 32:
  1335. switch (value.Type()) {
  1336. case Type::F16:
  1337. return Inst<F32>(Opcode::ConvertF32F16, Flags{control}, value);
  1338. case Type::F32:
  1339. // Nothing to do
  1340. return value;
  1341. case Type::F64:
  1342. return Inst<F32>(Opcode::ConvertF32F64, Flags{control}, value);
  1343. default:
  1344. break;
  1345. }
  1346. break;
  1347. case 64:
  1348. switch (value.Type()) {
  1349. case Type::F16:
  1350. throw LogicError("Illegal conversion from F16 to F64");
  1351. case Type::F32:
  1352. return Inst<F64>(Opcode::ConvertF64F32, Flags{control}, value);
  1353. case Type::F64:
  1354. // Nothing to do
  1355. return value;
  1356. default:
  1357. break;
  1358. }
  1359. break;
  1360. }
  1361. throw NotImplementedException("Conversion from {} to {} bits", value.Type(), result_bitsize);
  1362. }
  1363. Value IREmitter::ImageSampleImplicitLod(const Value& handle, const Value& coords, const F32& bias,
  1364. const Value& offset, const F32& lod_clamp,
  1365. TextureInstInfo info) {
  1366. const Value bias_lc{MakeLodClampPair(*this, bias, lod_clamp)};
  1367. const Opcode op{handle.IsImmediate() ? Opcode::BoundImageSampleImplicitLod
  1368. : Opcode::BindlessImageSampleImplicitLod};
  1369. return Inst(op, Flags{info}, handle, coords, bias_lc, offset);
  1370. }
  1371. Value IREmitter::ImageSampleExplicitLod(const Value& handle, const Value& coords, const F32& lod,
  1372. const Value& offset, const F32& lod_clamp,
  1373. TextureInstInfo info) {
  1374. const Value lod_lc{MakeLodClampPair(*this, lod, lod_clamp)};
  1375. const Opcode op{handle.IsImmediate() ? Opcode::BoundImageSampleExplicitLod
  1376. : Opcode::BindlessImageSampleExplicitLod};
  1377. return Inst(op, Flags{info}, handle, coords, lod_lc, offset);
  1378. }
  1379. F32 IREmitter::ImageSampleDrefImplicitLod(const Value& handle, const Value& coords, const F32& dref,
  1380. const F32& bias, const Value& offset,
  1381. const F32& lod_clamp, TextureInstInfo info) {
  1382. const Value bias_lc{MakeLodClampPair(*this, bias, lod_clamp)};
  1383. const Opcode op{handle.IsImmediate() ? Opcode::BoundImageSampleDrefImplicitLod
  1384. : Opcode::BindlessImageSampleDrefImplicitLod};
  1385. return Inst<F32>(op, Flags{info}, handle, coords, dref, bias_lc, offset);
  1386. }
  1387. F32 IREmitter::ImageSampleDrefExplicitLod(const Value& handle, const Value& coords, const F32& dref,
  1388. const F32& lod, const Value& offset, const F32& lod_clamp,
  1389. TextureInstInfo info) {
  1390. const Value lod_lc{MakeLodClampPair(*this, lod, lod_clamp)};
  1391. const Opcode op{handle.IsImmediate() ? Opcode::BoundImageSampleDrefExplicitLod
  1392. : Opcode::BindlessImageSampleDrefExplicitLod};
  1393. return Inst<F32>(op, Flags{info}, handle, coords, dref, lod_lc, offset);
  1394. }
  1395. Value IREmitter::ImageGather(const Value& handle, const Value& coords, const Value& offset,
  1396. const Value& offset2, TextureInstInfo info) {
  1397. const Opcode op{handle.IsImmediate() ? Opcode::BoundImageGather : Opcode::BindlessImageGather};
  1398. return Inst(op, Flags{info}, handle, coords, offset, offset2);
  1399. }
  1400. Value IREmitter::ImageGatherDref(const Value& handle, const Value& coords, const Value& offset,
  1401. const Value& offset2, const F32& dref, TextureInstInfo info) {
  1402. const Opcode op{handle.IsImmediate() ? Opcode::BoundImageGatherDref
  1403. : Opcode::BindlessImageGatherDref};
  1404. return Inst(op, Flags{info}, handle, coords, offset, offset2, dref);
  1405. }
  1406. Value IREmitter::ImageFetch(const Value& handle, const Value& coords, const Value& offset,
  1407. const U32& lod, const U32& multisampling, TextureInstInfo info) {
  1408. const Opcode op{handle.IsImmediate() ? Opcode::BoundImageFetch : Opcode::BindlessImageFetch};
  1409. return Inst(op, Flags{info}, handle, coords, offset, lod, multisampling);
  1410. }
  1411. Value IREmitter::ImageQueryDimension(const Value& handle, const IR::U32& lod) {
  1412. const Opcode op{handle.IsImmediate() ? Opcode::BoundImageQueryDimensions
  1413. : Opcode::BindlessImageQueryDimensions};
  1414. return Inst(op, handle, lod);
  1415. }
  1416. Value IREmitter::ImageQueryLod(const Value& handle, const Value& coords, TextureInstInfo info) {
  1417. const Opcode op{handle.IsImmediate() ? Opcode::BoundImageQueryLod
  1418. : Opcode::BindlessImageQueryLod};
  1419. return Inst(op, Flags{info}, handle, coords);
  1420. }
  1421. Value IREmitter::ImageGradient(const Value& handle, const Value& coords, const Value& derivates,
  1422. const Value& offset, const F32& lod_clamp, TextureInstInfo info) {
  1423. const Opcode op{handle.IsImmediate() ? Opcode::BoundImageGradient
  1424. : Opcode::BindlessImageGradient};
  1425. return Inst(op, Flags{info}, handle, coords, derivates, offset, lod_clamp);
  1426. }
  1427. U1 IREmitter::VoteAll(const U1& value) {
  1428. return Inst<U1>(Opcode::VoteAll, value);
  1429. }
  1430. U1 IREmitter::VoteAny(const U1& value) {
  1431. return Inst<U1>(Opcode::VoteAny, value);
  1432. }
  1433. U1 IREmitter::VoteEqual(const U1& value) {
  1434. return Inst<U1>(Opcode::VoteEqual, value);
  1435. }
  1436. U32 IREmitter::SubgroupBallot(const U1& value) {
  1437. return Inst<U32>(Opcode::SubgroupBallot, value);
  1438. }
  1439. U32 IREmitter::ShuffleIndex(const IR::U32& value, const IR::U32& index, const IR::U32& clamp,
  1440. const IR::U32& seg_mask) {
  1441. return Inst<U32>(Opcode::ShuffleIndex, value, index, clamp, seg_mask);
  1442. }
  1443. U32 IREmitter::ShuffleUp(const IR::U32& value, const IR::U32& index, const IR::U32& clamp,
  1444. const IR::U32& seg_mask) {
  1445. return Inst<U32>(Opcode::ShuffleUp, value, index, clamp, seg_mask);
  1446. }
  1447. U32 IREmitter::ShuffleDown(const IR::U32& value, const IR::U32& index, const IR::U32& clamp,
  1448. const IR::U32& seg_mask) {
  1449. return Inst<U32>(Opcode::ShuffleDown, value, index, clamp, seg_mask);
  1450. }
  1451. U32 IREmitter::ShuffleButterfly(const IR::U32& value, const IR::U32& index, const IR::U32& clamp,
  1452. const IR::U32& seg_mask) {
  1453. return Inst<U32>(Opcode::ShuffleButterfly, value, index, clamp, seg_mask);
  1454. }
  1455. F32 IREmitter::FSwizzleAdd(const F32& a, const F32& b, const U32& swizzle, FpControl control) {
  1456. return Inst<F32>(Opcode::FSwizzleAdd, Flags{control}, a, b, swizzle);
  1457. }
  1458. } // namespace Shader::IR