ir_emitter.cpp 55 KB

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