AInstEmitSimdArithmetic.cs 36 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254
  1. using ChocolArm64.Decoder;
  2. using ChocolArm64.State;
  3. using ChocolArm64.Translation;
  4. using System;
  5. using System.Reflection;
  6. using System.Reflection.Emit;
  7. using System.Runtime.Intrinsics.X86;
  8. using static ChocolArm64.Instruction.AInstEmitSimdHelper;
  9. namespace ChocolArm64.Instruction
  10. {
  11. static partial class AInstEmit
  12. {
  13. public static void Abs_S(AILEmitterCtx Context)
  14. {
  15. EmitScalarUnaryOpSx(Context, () => EmitAbs(Context));
  16. }
  17. public static void Abs_V(AILEmitterCtx Context)
  18. {
  19. EmitVectorUnaryOpSx(Context, () => EmitAbs(Context));
  20. }
  21. private static void EmitAbs(AILEmitterCtx Context)
  22. {
  23. AILLabel LblTrue = new AILLabel();
  24. Context.Emit(OpCodes.Dup);
  25. Context.Emit(OpCodes.Ldc_I4_0);
  26. Context.Emit(OpCodes.Bge_S, LblTrue);
  27. Context.Emit(OpCodes.Neg);
  28. Context.MarkLabel(LblTrue);
  29. }
  30. public static void Add_S(AILEmitterCtx Context)
  31. {
  32. EmitScalarBinaryOpZx(Context, () => Context.Emit(OpCodes.Add));
  33. }
  34. public static void Add_V(AILEmitterCtx Context)
  35. {
  36. if (AOptimizations.UseSse2)
  37. {
  38. EmitSse2Call(Context, nameof(Sse2.Add));
  39. }
  40. else
  41. {
  42. EmitVectorBinaryOpZx(Context, () => Context.Emit(OpCodes.Add));
  43. }
  44. }
  45. public static void Addhn_V(AILEmitterCtx Context)
  46. {
  47. EmitHighNarrow(Context, () => Context.Emit(OpCodes.Add), Round: false);
  48. }
  49. public static void Addp_S(AILEmitterCtx Context)
  50. {
  51. AOpCodeSimd Op = (AOpCodeSimd)Context.CurrOp;
  52. EmitVectorExtractZx(Context, Op.Rn, 0, Op.Size);
  53. EmitVectorExtractZx(Context, Op.Rn, 1, Op.Size);
  54. Context.Emit(OpCodes.Add);
  55. EmitScalarSet(Context, Op.Rd, Op.Size);
  56. }
  57. public static void Addp_V(AILEmitterCtx Context)
  58. {
  59. AOpCodeSimdReg Op = (AOpCodeSimdReg)Context.CurrOp;
  60. int Bytes = Context.CurrOp.GetBitsCount() >> 3;
  61. int Elems = Bytes >> Op.Size;
  62. int Half = Elems >> 1;
  63. for (int Index = 0; Index < Elems; Index++)
  64. {
  65. int Elem = (Index & (Half - 1)) << 1;
  66. EmitVectorExtractZx(Context, Index < Half ? Op.Rn : Op.Rm, Elem + 0, Op.Size);
  67. EmitVectorExtractZx(Context, Index < Half ? Op.Rn : Op.Rm, Elem + 1, Op.Size);
  68. Context.Emit(OpCodes.Add);
  69. EmitVectorInsertTmp(Context, Index, Op.Size);
  70. }
  71. Context.EmitLdvectmp();
  72. Context.EmitStvec(Op.Rd);
  73. if (Op.RegisterSize == ARegisterSize.SIMD64)
  74. {
  75. EmitVectorZeroUpper(Context, Op.Rd);
  76. }
  77. }
  78. public static void Addv_V(AILEmitterCtx Context)
  79. {
  80. AOpCodeSimd Op = (AOpCodeSimd)Context.CurrOp;
  81. int Bytes = Context.CurrOp.GetBitsCount() >> 3;
  82. EmitVectorExtractZx(Context, Op.Rn, 0, Op.Size);
  83. for (int Index = 1; Index < (Bytes >> Op.Size); Index++)
  84. {
  85. EmitVectorExtractZx(Context, Op.Rn, Index, Op.Size);
  86. Context.Emit(OpCodes.Add);
  87. }
  88. EmitScalarSet(Context, Op.Rd, Op.Size);
  89. }
  90. public static void Cls_V(AILEmitterCtx Context)
  91. {
  92. MethodInfo MthdInfo = typeof(ASoftFallback).GetMethod(nameof(ASoftFallback.CountLeadingSigns));
  93. EmitCountLeadingBits(Context, () => Context.EmitCall(MthdInfo));
  94. }
  95. public static void Clz_V(AILEmitterCtx Context)
  96. {
  97. MethodInfo MthdInfo = typeof(ASoftFallback).GetMethod(nameof(ASoftFallback.CountLeadingZeros));
  98. EmitCountLeadingBits(Context, () => Context.EmitCall(MthdInfo));
  99. }
  100. private static void EmitCountLeadingBits(AILEmitterCtx Context, Action Emit)
  101. {
  102. AOpCodeSimd Op = (AOpCodeSimd)Context.CurrOp;
  103. int Bytes = Context.CurrOp.GetBitsCount() >> 3;
  104. for (int Index = 0; Index < (Bytes >> Op.Size); Index++)
  105. {
  106. EmitVectorExtractZx(Context, Op.Rn, Index, Op.Size);
  107. Context.EmitLdc_I4(8 << Op.Size);
  108. Emit();
  109. EmitVectorInsert(Context, Op.Rd, Index, Op.Size);
  110. }
  111. if (Op.RegisterSize == ARegisterSize.SIMD64)
  112. {
  113. EmitVectorZeroUpper(Context, Op.Rd);
  114. }
  115. }
  116. public static void Cnt_V(AILEmitterCtx Context)
  117. {
  118. AOpCodeSimd Op = (AOpCodeSimd)Context.CurrOp;
  119. int Elems = Op.RegisterSize == ARegisterSize.SIMD128 ? 16 : 8;
  120. for (int Index = 0; Index < Elems; Index++)
  121. {
  122. EmitVectorExtractZx(Context, Op.Rn, Index, 0);
  123. Context.Emit(OpCodes.Conv_U1);
  124. AVectorHelper.EmitCall(Context, nameof(AVectorHelper.CountSetBits8));
  125. Context.Emit(OpCodes.Conv_U8);
  126. EmitVectorInsert(Context, Op.Rd, Index, 0);
  127. }
  128. if (Op.RegisterSize == ARegisterSize.SIMD64)
  129. {
  130. EmitVectorZeroUpper(Context, Op.Rd);
  131. }
  132. }
  133. private static void EmitHighNarrow(AILEmitterCtx Context, Action Emit, bool Round)
  134. {
  135. AOpCodeSimdReg Op = (AOpCodeSimdReg)Context.CurrOp;
  136. int Elems = 8 >> Op.Size;
  137. int ESize = 8 << Op.Size;
  138. int Part = Op.RegisterSize == ARegisterSize.SIMD128 ? Elems : 0;
  139. for (int Index = 0; Index < Elems; Index++)
  140. {
  141. EmitVectorExtractZx(Context, Op.Rn, Index, Op.Size + 1);
  142. EmitVectorExtractZx(Context, Op.Rm, Index, Op.Size + 1);
  143. Emit();
  144. if (Round)
  145. {
  146. Context.EmitLdc_I8(1L << (ESize - 1));
  147. Context.Emit(OpCodes.Add);
  148. }
  149. Context.EmitLsr(ESize);
  150. EmitVectorInsert(Context, Op.Rd, Part + Index, Op.Size);
  151. }
  152. if (Part == 0)
  153. {
  154. EmitVectorZeroUpper(Context, Op.Rd);
  155. }
  156. }
  157. private static void EmitSaturatingExtNarrow(AILEmitterCtx Context, bool SignedSrc, bool SignedDst, bool Scalar)
  158. {
  159. AOpCodeSimd Op = (AOpCodeSimd)Context.CurrOp;
  160. int Elems = (!Scalar ? 8 >> Op.Size : 1);
  161. int ESize = 8 << Op.Size;
  162. int TMaxValue = (SignedDst ? (1 << (ESize - 1)) - 1 : (int)((1L << ESize) - 1L));
  163. int TMinValue = (SignedDst ? -((1 << (ESize - 1))) : 0);
  164. int Part = (!Scalar & (Op.RegisterSize == ARegisterSize.SIMD128) ? Elems : 0);
  165. Context.EmitLdc_I8(0L);
  166. Context.EmitSttmp();
  167. for (int Index = 0; Index < Elems; Index++)
  168. {
  169. AILLabel LblLe = new AILLabel();
  170. AILLabel LblGeEnd = new AILLabel();
  171. EmitVectorExtract(Context, Op.Rn, Index, Op.Size + 1, SignedSrc);
  172. Context.Emit(OpCodes.Dup);
  173. Context.EmitLdc_I4(TMaxValue);
  174. Context.Emit(OpCodes.Conv_U8);
  175. Context.Emit(SignedSrc ? OpCodes.Ble_S : OpCodes.Ble_Un_S, LblLe);
  176. Context.Emit(OpCodes.Pop);
  177. Context.EmitLdc_I4(TMaxValue);
  178. Context.EmitLdc_I8(0x8000000L);
  179. Context.EmitSttmp();
  180. Context.Emit(OpCodes.Br_S, LblGeEnd);
  181. Context.MarkLabel(LblLe);
  182. Context.Emit(OpCodes.Dup);
  183. Context.EmitLdc_I4(TMinValue);
  184. Context.Emit(OpCodes.Conv_I8);
  185. Context.Emit(SignedSrc ? OpCodes.Bge_S : OpCodes.Bge_Un_S, LblGeEnd);
  186. Context.Emit(OpCodes.Pop);
  187. Context.EmitLdc_I4(TMinValue);
  188. Context.EmitLdc_I8(0x8000000L);
  189. Context.EmitSttmp();
  190. Context.MarkLabel(LblGeEnd);
  191. if (Scalar)
  192. {
  193. EmitVectorZeroLower(Context, Op.Rd);
  194. }
  195. EmitVectorInsert(Context, Op.Rd, Part + Index, Op.Size);
  196. }
  197. if (Part == 0)
  198. {
  199. EmitVectorZeroUpper(Context, Op.Rd);
  200. }
  201. Context.EmitLdarg(ATranslatedSub.StateArgIdx);
  202. Context.EmitLdarg(ATranslatedSub.StateArgIdx);
  203. Context.EmitCallPropGet(typeof(AThreadState), nameof(AThreadState.Fpsr));
  204. Context.EmitLdtmp();
  205. Context.Emit(OpCodes.Conv_I4);
  206. Context.Emit(OpCodes.Or);
  207. Context.EmitCallPropSet(typeof(AThreadState), nameof(AThreadState.Fpsr));
  208. }
  209. public static void Fabd_S(AILEmitterCtx Context)
  210. {
  211. EmitScalarBinaryOpF(Context, () =>
  212. {
  213. Context.Emit(OpCodes.Sub);
  214. EmitUnaryMathCall(Context, nameof(Math.Abs));
  215. });
  216. }
  217. public static void Fabs_S(AILEmitterCtx Context)
  218. {
  219. EmitScalarUnaryOpF(Context, () =>
  220. {
  221. EmitUnaryMathCall(Context, nameof(Math.Abs));
  222. });
  223. }
  224. public static void Fabs_V(AILEmitterCtx Context)
  225. {
  226. EmitVectorUnaryOpF(Context, () =>
  227. {
  228. EmitUnaryMathCall(Context, nameof(Math.Abs));
  229. });
  230. }
  231. public static void Fadd_S(AILEmitterCtx Context)
  232. {
  233. if (AOptimizations.UseSse && AOptimizations.UseSse2)
  234. {
  235. EmitSseOrSse2CallF(Context, nameof(Sse.AddScalar));
  236. }
  237. else
  238. {
  239. EmitScalarBinaryOpF(Context, () => Context.Emit(OpCodes.Add));
  240. }
  241. }
  242. public static void Fadd_V(AILEmitterCtx Context)
  243. {
  244. if (AOptimizations.UseSse && AOptimizations.UseSse2)
  245. {
  246. EmitSseOrSse2CallF(Context, nameof(Sse.Add));
  247. }
  248. else
  249. {
  250. EmitVectorBinaryOpF(Context, () => Context.Emit(OpCodes.Add));
  251. }
  252. }
  253. public static void Faddp_S(AILEmitterCtx Context)
  254. {
  255. AOpCodeSimd Op = (AOpCodeSimd)Context.CurrOp;
  256. int SizeF = Op.Size & 1;
  257. EmitVectorExtractF(Context, Op.Rn, 0, SizeF);
  258. EmitVectorExtractF(Context, Op.Rn, 1, SizeF);
  259. Context.Emit(OpCodes.Add);
  260. EmitScalarSetF(Context, Op.Rd, SizeF);
  261. }
  262. public static void Faddp_V(AILEmitterCtx Context)
  263. {
  264. AOpCodeSimdReg Op = (AOpCodeSimdReg)Context.CurrOp;
  265. int SizeF = Op.Size & 1;
  266. int Bytes = Context.CurrOp.GetBitsCount() >> 3;
  267. int Elems = Bytes >> SizeF + 2;
  268. int Half = Elems >> 1;
  269. for (int Index = 0; Index < Elems; Index++)
  270. {
  271. int Elem = (Index & (Half - 1)) << 1;
  272. EmitVectorExtractF(Context, Index < Half ? Op.Rn : Op.Rm, Elem + 0, SizeF);
  273. EmitVectorExtractF(Context, Index < Half ? Op.Rn : Op.Rm, Elem + 1, SizeF);
  274. Context.Emit(OpCodes.Add);
  275. EmitVectorInsertTmpF(Context, Index, SizeF);
  276. }
  277. Context.EmitLdvectmp();
  278. Context.EmitStvec(Op.Rd);
  279. if (Op.RegisterSize == ARegisterSize.SIMD64)
  280. {
  281. EmitVectorZeroUpper(Context, Op.Rd);
  282. }
  283. }
  284. public static void Fdiv_S(AILEmitterCtx Context)
  285. {
  286. if (AOptimizations.UseSse && AOptimizations.UseSse2)
  287. {
  288. EmitSseOrSse2CallF(Context, nameof(Sse.DivideScalar));
  289. }
  290. else
  291. {
  292. EmitScalarBinaryOpF(Context, () => Context.Emit(OpCodes.Div));
  293. }
  294. }
  295. public static void Fdiv_V(AILEmitterCtx Context)
  296. {
  297. if (AOptimizations.UseSse && AOptimizations.UseSse2)
  298. {
  299. EmitSseOrSse2CallF(Context, nameof(Sse.Divide));
  300. }
  301. else
  302. {
  303. EmitVectorBinaryOpF(Context, () => Context.Emit(OpCodes.Div));
  304. }
  305. }
  306. public static void Fmadd_S(AILEmitterCtx Context)
  307. {
  308. EmitScalarTernaryRaOpF(Context, () =>
  309. {
  310. Context.Emit(OpCodes.Mul);
  311. Context.Emit(OpCodes.Add);
  312. });
  313. }
  314. public static void Fmax_S(AILEmitterCtx Context)
  315. {
  316. AOpCodeSimd Op = (AOpCodeSimd)Context.CurrOp;
  317. EmitScalarBinaryOpF(Context, () =>
  318. {
  319. if (Op.Size == 0)
  320. {
  321. AVectorHelper.EmitCall(Context, nameof(AVectorHelper.MaxF));
  322. }
  323. else if (Op.Size == 1)
  324. {
  325. AVectorHelper.EmitCall(Context, nameof(AVectorHelper.Max));
  326. }
  327. else
  328. {
  329. throw new InvalidOperationException();
  330. }
  331. });
  332. }
  333. public static void Fmax_V(AILEmitterCtx Context)
  334. {
  335. AOpCodeSimd Op = (AOpCodeSimd)Context.CurrOp;
  336. EmitVectorBinaryOpF(Context, () =>
  337. {
  338. if (Op.Size == 0)
  339. {
  340. AVectorHelper.EmitCall(Context, nameof(AVectorHelper.MaxF));
  341. }
  342. else if (Op.Size == 1)
  343. {
  344. AVectorHelper.EmitCall(Context, nameof(AVectorHelper.Max));
  345. }
  346. else
  347. {
  348. throw new InvalidOperationException();
  349. }
  350. });
  351. }
  352. public static void Fmin_S(AILEmitterCtx Context)
  353. {
  354. AOpCodeSimd Op = (AOpCodeSimd)Context.CurrOp;
  355. EmitScalarBinaryOpF(Context, () =>
  356. {
  357. if (Op.Size == 0)
  358. {
  359. AVectorHelper.EmitCall(Context, nameof(AVectorHelper.MinF));
  360. }
  361. else if (Op.Size == 1)
  362. {
  363. AVectorHelper.EmitCall(Context, nameof(AVectorHelper.Min));
  364. }
  365. else
  366. {
  367. throw new InvalidOperationException();
  368. }
  369. });
  370. }
  371. public static void Fmin_V(AILEmitterCtx Context)
  372. {
  373. AOpCodeSimd Op = (AOpCodeSimd)Context.CurrOp;
  374. int SizeF = Op.Size & 1;
  375. EmitVectorBinaryOpF(Context, () =>
  376. {
  377. if (SizeF == 0)
  378. {
  379. AVectorHelper.EmitCall(Context, nameof(AVectorHelper.MinF));
  380. }
  381. else if (SizeF == 1)
  382. {
  383. AVectorHelper.EmitCall(Context, nameof(AVectorHelper.Min));
  384. }
  385. else
  386. {
  387. throw new InvalidOperationException();
  388. }
  389. });
  390. }
  391. public static void Fmaxnm_S(AILEmitterCtx Context)
  392. {
  393. Fmax_S(Context);
  394. }
  395. public static void Fminnm_S(AILEmitterCtx Context)
  396. {
  397. Fmin_S(Context);
  398. }
  399. public static void Fmla_V(AILEmitterCtx Context)
  400. {
  401. EmitVectorTernaryOpF(Context, () =>
  402. {
  403. Context.Emit(OpCodes.Mul);
  404. Context.Emit(OpCodes.Add);
  405. });
  406. }
  407. public static void Fmla_Ve(AILEmitterCtx Context)
  408. {
  409. EmitVectorTernaryOpByElemF(Context, () =>
  410. {
  411. Context.Emit(OpCodes.Mul);
  412. Context.Emit(OpCodes.Add);
  413. });
  414. }
  415. public static void Fmls_V(AILEmitterCtx Context)
  416. {
  417. EmitVectorTernaryOpF(Context, () =>
  418. {
  419. Context.Emit(OpCodes.Mul);
  420. Context.Emit(OpCodes.Sub);
  421. });
  422. }
  423. public static void Fmls_Ve(AILEmitterCtx Context)
  424. {
  425. EmitVectorTernaryOpByElemF(Context, () =>
  426. {
  427. Context.Emit(OpCodes.Mul);
  428. Context.Emit(OpCodes.Sub);
  429. });
  430. }
  431. public static void Fmsub_S(AILEmitterCtx Context)
  432. {
  433. EmitScalarTernaryRaOpF(Context, () =>
  434. {
  435. Context.Emit(OpCodes.Mul);
  436. Context.Emit(OpCodes.Sub);
  437. });
  438. }
  439. public static void Fmul_S(AILEmitterCtx Context)
  440. {
  441. if (AOptimizations.UseSse && AOptimizations.UseSse2)
  442. {
  443. EmitSseOrSse2CallF(Context, nameof(Sse.MultiplyScalar));
  444. }
  445. else
  446. {
  447. EmitScalarBinaryOpF(Context, () => Context.Emit(OpCodes.Mul));
  448. }
  449. }
  450. public static void Fmul_Se(AILEmitterCtx Context)
  451. {
  452. EmitScalarBinaryOpByElemF(Context, () => Context.Emit(OpCodes.Mul));
  453. }
  454. public static void Fmul_V(AILEmitterCtx Context)
  455. {
  456. if (AOptimizations.UseSse && AOptimizations.UseSse2)
  457. {
  458. EmitSseOrSse2CallF(Context, nameof(Sse.Multiply));
  459. }
  460. else
  461. {
  462. EmitVectorBinaryOpF(Context, () => Context.Emit(OpCodes.Mul));
  463. }
  464. }
  465. public static void Fmul_Ve(AILEmitterCtx Context)
  466. {
  467. EmitVectorBinaryOpByElemF(Context, () => Context.Emit(OpCodes.Mul));
  468. }
  469. public static void Fneg_S(AILEmitterCtx Context)
  470. {
  471. EmitScalarUnaryOpF(Context, () => Context.Emit(OpCodes.Neg));
  472. }
  473. public static void Fneg_V(AILEmitterCtx Context)
  474. {
  475. EmitVectorUnaryOpF(Context, () => Context.Emit(OpCodes.Neg));
  476. }
  477. public static void Fnmadd_S(AILEmitterCtx Context)
  478. {
  479. AOpCodeSimdReg Op = (AOpCodeSimdReg)Context.CurrOp;
  480. int SizeF = Op.Size & 1;
  481. EmitVectorExtractF(Context, Op.Rn, 0, SizeF);
  482. Context.Emit(OpCodes.Neg);
  483. EmitVectorExtractF(Context, Op.Rm, 0, SizeF);
  484. Context.Emit(OpCodes.Mul);
  485. EmitVectorExtractF(Context, Op.Ra, 0, SizeF);
  486. Context.Emit(OpCodes.Sub);
  487. EmitScalarSetF(Context, Op.Rd, SizeF);
  488. }
  489. public static void Fnmsub_S(AILEmitterCtx Context)
  490. {
  491. AOpCodeSimdReg Op = (AOpCodeSimdReg)Context.CurrOp;
  492. int SizeF = Op.Size & 1;
  493. EmitVectorExtractF(Context, Op.Rn, 0, SizeF);
  494. EmitVectorExtractF(Context, Op.Rm, 0, SizeF);
  495. Context.Emit(OpCodes.Mul);
  496. EmitVectorExtractF(Context, Op.Ra, 0, SizeF);
  497. Context.Emit(OpCodes.Sub);
  498. EmitScalarSetF(Context, Op.Rd, SizeF);
  499. }
  500. public static void Fnmul_S(AILEmitterCtx Context)
  501. {
  502. EmitScalarBinaryOpF(Context, () =>
  503. {
  504. Context.Emit(OpCodes.Mul);
  505. Context.Emit(OpCodes.Neg);
  506. });
  507. }
  508. public static void Frecpe_S(AILEmitterCtx Context)
  509. {
  510. EmitFrecpe(Context, 0, Scalar: true);
  511. }
  512. public static void Frecpe_V(AILEmitterCtx Context)
  513. {
  514. AOpCodeSimd Op = (AOpCodeSimd)Context.CurrOp;
  515. int SizeF = Op.Size & 1;
  516. int Bytes = Context.CurrOp.GetBitsCount() >> 3;
  517. for (int Index = 0; Index < Bytes >> SizeF + 2; Index++)
  518. {
  519. EmitFrecpe(Context, Index, Scalar: false);
  520. }
  521. if (Op.RegisterSize == ARegisterSize.SIMD64)
  522. {
  523. EmitVectorZeroUpper(Context, Op.Rd);
  524. }
  525. }
  526. private static void EmitFrecpe(AILEmitterCtx Context, int Index, bool Scalar)
  527. {
  528. AOpCodeSimd Op = (AOpCodeSimd)Context.CurrOp;
  529. int SizeF = Op.Size & 1;
  530. if (SizeF == 0)
  531. {
  532. Context.EmitLdc_R4(1);
  533. }
  534. else /* if (SizeF == 1) */
  535. {
  536. Context.EmitLdc_R8(1);
  537. }
  538. EmitVectorExtractF(Context, Op.Rn, Index, SizeF);
  539. Context.Emit(OpCodes.Div);
  540. if (Scalar)
  541. {
  542. EmitVectorZeroAll(Context, Op.Rd);
  543. }
  544. EmitVectorInsertF(Context, Op.Rd, Index, SizeF);
  545. }
  546. public static void Frecps_S(AILEmitterCtx Context)
  547. {
  548. EmitFrecps(Context, 0, Scalar: true);
  549. }
  550. public static void Frecps_V(AILEmitterCtx Context)
  551. {
  552. AOpCodeSimd Op = (AOpCodeSimd)Context.CurrOp;
  553. int SizeF = Op.Size & 1;
  554. int Bytes = Context.CurrOp.GetBitsCount() >> 3;
  555. for (int Index = 0; Index < Bytes >> SizeF + 2; Index++)
  556. {
  557. EmitFrecps(Context, Index, Scalar: false);
  558. }
  559. if (Op.RegisterSize == ARegisterSize.SIMD64)
  560. {
  561. EmitVectorZeroUpper(Context, Op.Rd);
  562. }
  563. }
  564. private static void EmitFrecps(AILEmitterCtx Context, int Index, bool Scalar)
  565. {
  566. AOpCodeSimdReg Op = (AOpCodeSimdReg)Context.CurrOp;
  567. int SizeF = Op.Size & 1;
  568. if (SizeF == 0)
  569. {
  570. Context.EmitLdc_R4(2);
  571. }
  572. else /* if (SizeF == 1) */
  573. {
  574. Context.EmitLdc_R8(2);
  575. }
  576. EmitVectorExtractF(Context, Op.Rn, Index, SizeF);
  577. EmitVectorExtractF(Context, Op.Rm, Index, SizeF);
  578. Context.Emit(OpCodes.Mul);
  579. Context.Emit(OpCodes.Sub);
  580. if (Scalar)
  581. {
  582. EmitVectorZeroAll(Context, Op.Rd);
  583. }
  584. EmitVectorInsertF(Context, Op.Rd, Index, SizeF);
  585. }
  586. public static void Frinta_S(AILEmitterCtx Context)
  587. {
  588. AOpCodeSimd Op = (AOpCodeSimd)Context.CurrOp;
  589. EmitVectorExtractF(Context, Op.Rn, 0, Op.Size);
  590. EmitRoundMathCall(Context, MidpointRounding.AwayFromZero);
  591. EmitScalarSetF(Context, Op.Rd, Op.Size);
  592. }
  593. public static void Frinta_V(AILEmitterCtx Context)
  594. {
  595. EmitVectorUnaryOpF(Context, () =>
  596. {
  597. EmitRoundMathCall(Context, MidpointRounding.AwayFromZero);
  598. });
  599. }
  600. public static void Frinti_S(AILEmitterCtx Context)
  601. {
  602. AOpCodeSimd Op = (AOpCodeSimd)Context.CurrOp;
  603. EmitScalarUnaryOpF(Context, () =>
  604. {
  605. Context.EmitLdarg(ATranslatedSub.StateArgIdx);
  606. Context.EmitCallPropGet(typeof(AThreadState), nameof(AThreadState.Fpcr));
  607. if (Op.Size == 0)
  608. {
  609. AVectorHelper.EmitCall(Context, nameof(AVectorHelper.RoundF));
  610. }
  611. else if (Op.Size == 1)
  612. {
  613. AVectorHelper.EmitCall(Context, nameof(AVectorHelper.Round));
  614. }
  615. else
  616. {
  617. throw new InvalidOperationException();
  618. }
  619. });
  620. }
  621. public static void Frinti_V(AILEmitterCtx Context)
  622. {
  623. AOpCodeSimd Op = (AOpCodeSimd)Context.CurrOp;
  624. int SizeF = Op.Size & 1;
  625. EmitVectorUnaryOpF(Context, () =>
  626. {
  627. Context.EmitLdarg(ATranslatedSub.StateArgIdx);
  628. Context.EmitCallPropGet(typeof(AThreadState), nameof(AThreadState.Fpcr));
  629. if (SizeF == 0)
  630. {
  631. AVectorHelper.EmitCall(Context, nameof(AVectorHelper.RoundF));
  632. }
  633. else if (SizeF == 1)
  634. {
  635. AVectorHelper.EmitCall(Context, nameof(AVectorHelper.Round));
  636. }
  637. else
  638. {
  639. throw new InvalidOperationException();
  640. }
  641. });
  642. }
  643. public static void Frintm_S(AILEmitterCtx Context)
  644. {
  645. EmitScalarUnaryOpF(Context, () =>
  646. {
  647. EmitUnaryMathCall(Context, nameof(Math.Floor));
  648. });
  649. }
  650. public static void Frintm_V(AILEmitterCtx Context)
  651. {
  652. EmitVectorUnaryOpF(Context, () =>
  653. {
  654. EmitUnaryMathCall(Context, nameof(Math.Floor));
  655. });
  656. }
  657. public static void Frintn_S(AILEmitterCtx Context)
  658. {
  659. AOpCodeSimd Op = (AOpCodeSimd)Context.CurrOp;
  660. EmitVectorExtractF(Context, Op.Rn, 0, Op.Size);
  661. EmitRoundMathCall(Context, MidpointRounding.ToEven);
  662. EmitScalarSetF(Context, Op.Rd, Op.Size);
  663. }
  664. public static void Frintn_V(AILEmitterCtx Context)
  665. {
  666. EmitVectorUnaryOpF(Context, () =>
  667. {
  668. EmitRoundMathCall(Context, MidpointRounding.ToEven);
  669. });
  670. }
  671. public static void Frintp_S(AILEmitterCtx Context)
  672. {
  673. EmitScalarUnaryOpF(Context, () =>
  674. {
  675. EmitUnaryMathCall(Context, nameof(Math.Ceiling));
  676. });
  677. }
  678. public static void Frintp_V(AILEmitterCtx Context)
  679. {
  680. EmitVectorUnaryOpF(Context, () =>
  681. {
  682. EmitUnaryMathCall(Context, nameof(Math.Ceiling));
  683. });
  684. }
  685. public static void Frintx_S(AILEmitterCtx Context)
  686. {
  687. AOpCodeSimd Op = (AOpCodeSimd)Context.CurrOp;
  688. EmitScalarUnaryOpF(Context, () =>
  689. {
  690. Context.EmitLdarg(ATranslatedSub.StateArgIdx);
  691. Context.EmitCallPropGet(typeof(AThreadState), nameof(AThreadState.Fpcr));
  692. if (Op.Size == 0)
  693. {
  694. AVectorHelper.EmitCall(Context, nameof(AVectorHelper.RoundF));
  695. }
  696. else if (Op.Size == 1)
  697. {
  698. AVectorHelper.EmitCall(Context, nameof(AVectorHelper.Round));
  699. }
  700. else
  701. {
  702. throw new InvalidOperationException();
  703. }
  704. });
  705. }
  706. public static void Frintx_V(AILEmitterCtx Context)
  707. {
  708. AOpCodeSimd Op = (AOpCodeSimd)Context.CurrOp;
  709. EmitVectorUnaryOpF(Context, () =>
  710. {
  711. Context.EmitLdarg(ATranslatedSub.StateArgIdx);
  712. Context.EmitCallPropGet(typeof(AThreadState), nameof(AThreadState.Fpcr));
  713. if (Op.Size == 0)
  714. {
  715. AVectorHelper.EmitCall(Context, nameof(AVectorHelper.RoundF));
  716. }
  717. else if (Op.Size == 1)
  718. {
  719. AVectorHelper.EmitCall(Context, nameof(AVectorHelper.Round));
  720. }
  721. else
  722. {
  723. throw new InvalidOperationException();
  724. }
  725. });
  726. }
  727. public static void Frsqrte_S(AILEmitterCtx Context)
  728. {
  729. EmitScalarUnaryOpF(Context, () =>
  730. {
  731. EmitUnarySoftFloatCall(Context, nameof(ASoftFloat.InvSqrtEstimate));
  732. });
  733. }
  734. public static void Frsqrte_V(AILEmitterCtx Context)
  735. {
  736. EmitVectorUnaryOpF(Context, () =>
  737. {
  738. EmitUnarySoftFloatCall(Context, nameof(ASoftFloat.InvSqrtEstimate));
  739. });
  740. }
  741. public static void Frsqrts_S(AILEmitterCtx Context)
  742. {
  743. EmitFrsqrts(Context, 0, Scalar: true);
  744. }
  745. public static void Frsqrts_V(AILEmitterCtx Context)
  746. {
  747. AOpCodeSimd Op = (AOpCodeSimd)Context.CurrOp;
  748. int SizeF = Op.Size & 1;
  749. int Bytes = Context.CurrOp.GetBitsCount() >> 3;
  750. for (int Index = 0; Index < Bytes >> SizeF + 2; Index++)
  751. {
  752. EmitFrsqrts(Context, Index, Scalar: false);
  753. }
  754. if (Op.RegisterSize == ARegisterSize.SIMD64)
  755. {
  756. EmitVectorZeroUpper(Context, Op.Rd);
  757. }
  758. }
  759. private static void EmitFrsqrts(AILEmitterCtx Context, int Index, bool Scalar)
  760. {
  761. AOpCodeSimdReg Op = (AOpCodeSimdReg)Context.CurrOp;
  762. int SizeF = Op.Size & 1;
  763. if (SizeF == 0)
  764. {
  765. Context.EmitLdc_R4(3);
  766. }
  767. else /* if (SizeF == 1) */
  768. {
  769. Context.EmitLdc_R8(3);
  770. }
  771. EmitVectorExtractF(Context, Op.Rn, Index, SizeF);
  772. EmitVectorExtractF(Context, Op.Rm, Index, SizeF);
  773. Context.Emit(OpCodes.Mul);
  774. Context.Emit(OpCodes.Sub);
  775. if (SizeF == 0)
  776. {
  777. Context.EmitLdc_R4(0.5f);
  778. }
  779. else /* if (SizeF == 1) */
  780. {
  781. Context.EmitLdc_R8(0.5);
  782. }
  783. Context.Emit(OpCodes.Mul);
  784. if (Scalar)
  785. {
  786. EmitVectorZeroAll(Context, Op.Rd);
  787. }
  788. EmitVectorInsertF(Context, Op.Rd, Index, SizeF);
  789. }
  790. public static void Fsqrt_S(AILEmitterCtx Context)
  791. {
  792. EmitScalarUnaryOpF(Context, () =>
  793. {
  794. EmitUnaryMathCall(Context, nameof(Math.Sqrt));
  795. });
  796. }
  797. public static void Fsub_S(AILEmitterCtx Context)
  798. {
  799. if (AOptimizations.UseSse && AOptimizations.UseSse2)
  800. {
  801. EmitSseOrSse2CallF(Context, nameof(Sse.SubtractScalar));
  802. }
  803. else
  804. {
  805. EmitScalarBinaryOpF(Context, () => Context.Emit(OpCodes.Sub));
  806. }
  807. }
  808. public static void Fsub_V(AILEmitterCtx Context)
  809. {
  810. if (AOptimizations.UseSse && AOptimizations.UseSse2)
  811. {
  812. EmitSseOrSse2CallF(Context, nameof(Sse.Subtract));
  813. }
  814. else
  815. {
  816. EmitVectorBinaryOpF(Context, () => Context.Emit(OpCodes.Sub));
  817. }
  818. }
  819. public static void Mla_V(AILEmitterCtx Context)
  820. {
  821. EmitVectorTernaryOpZx(Context, () =>
  822. {
  823. Context.Emit(OpCodes.Mul);
  824. Context.Emit(OpCodes.Add);
  825. });
  826. }
  827. public static void Mla_Ve(AILEmitterCtx Context)
  828. {
  829. EmitVectorTernaryOpByElemZx(Context, () =>
  830. {
  831. Context.Emit(OpCodes.Mul);
  832. Context.Emit(OpCodes.Add);
  833. });
  834. }
  835. public static void Mls_V(AILEmitterCtx Context)
  836. {
  837. EmitVectorTernaryOpZx(Context, () =>
  838. {
  839. Context.Emit(OpCodes.Mul);
  840. Context.Emit(OpCodes.Sub);
  841. });
  842. }
  843. public static void Mul_V(AILEmitterCtx Context)
  844. {
  845. EmitVectorBinaryOpZx(Context, () => Context.Emit(OpCodes.Mul));
  846. }
  847. public static void Mul_Ve(AILEmitterCtx Context)
  848. {
  849. EmitVectorBinaryOpByElemZx(Context, () => Context.Emit(OpCodes.Mul));
  850. }
  851. public static void Neg_S(AILEmitterCtx Context)
  852. {
  853. EmitScalarUnaryOpSx(Context, () => Context.Emit(OpCodes.Neg));
  854. }
  855. public static void Neg_V(AILEmitterCtx Context)
  856. {
  857. EmitVectorUnaryOpSx(Context, () => Context.Emit(OpCodes.Neg));
  858. }
  859. public static void Raddhn_V(AILEmitterCtx Context)
  860. {
  861. EmitHighNarrow(Context, () => Context.Emit(OpCodes.Add), Round: true);
  862. }
  863. public static void Rsubhn_V(AILEmitterCtx Context)
  864. {
  865. EmitHighNarrow(Context, () => Context.Emit(OpCodes.Sub), Round: true);
  866. }
  867. public static void Saddw_V(AILEmitterCtx Context)
  868. {
  869. EmitVectorWidenRmBinaryOpSx(Context, () => Context.Emit(OpCodes.Add));
  870. }
  871. public static void Smax_V(AILEmitterCtx Context)
  872. {
  873. Type[] Types = new Type[] { typeof(long), typeof(long) };
  874. MethodInfo MthdInfo = typeof(Math).GetMethod(nameof(Math.Max), Types);
  875. EmitVectorBinaryOpSx(Context, () => Context.EmitCall(MthdInfo));
  876. }
  877. public static void Smin_V(AILEmitterCtx Context)
  878. {
  879. Type[] Types = new Type[] { typeof(long), typeof(long) };
  880. MethodInfo MthdInfo = typeof(Math).GetMethod(nameof(Math.Min), Types);
  881. EmitVectorBinaryOpSx(Context, () => Context.EmitCall(MthdInfo));
  882. }
  883. public static void Smlal_V(AILEmitterCtx Context)
  884. {
  885. EmitVectorWidenRnRmTernaryOpSx(Context, () =>
  886. {
  887. Context.Emit(OpCodes.Mul);
  888. Context.Emit(OpCodes.Add);
  889. });
  890. }
  891. public static void Smull_V(AILEmitterCtx Context)
  892. {
  893. EmitVectorWidenRnRmBinaryOpSx(Context, () => Context.Emit(OpCodes.Mul));
  894. }
  895. public static void Sqxtn_S(AILEmitterCtx Context)
  896. {
  897. EmitSaturatingExtNarrow(Context, SignedSrc: true, SignedDst: true, Scalar: true);
  898. }
  899. public static void Sqxtn_V(AILEmitterCtx Context)
  900. {
  901. EmitSaturatingExtNarrow(Context, SignedSrc: true, SignedDst: true, Scalar: false);
  902. }
  903. public static void Sqxtun_S(AILEmitterCtx Context)
  904. {
  905. EmitSaturatingExtNarrow(Context, SignedSrc: true, SignedDst: false, Scalar: true);
  906. }
  907. public static void Sqxtun_V(AILEmitterCtx Context)
  908. {
  909. EmitSaturatingExtNarrow(Context, SignedSrc: true, SignedDst: false, Scalar: false);
  910. }
  911. public static void Sub_S(AILEmitterCtx Context)
  912. {
  913. EmitScalarBinaryOpZx(Context, () => Context.Emit(OpCodes.Sub));
  914. }
  915. public static void Sub_V(AILEmitterCtx Context)
  916. {
  917. if (AOptimizations.UseSse2)
  918. {
  919. EmitSse2Call(Context, nameof(Sse2.Subtract));
  920. }
  921. else
  922. {
  923. EmitVectorBinaryOpZx(Context, () => Context.Emit(OpCodes.Sub));
  924. }
  925. }
  926. public static void Subhn_V(AILEmitterCtx Context)
  927. {
  928. EmitHighNarrow(Context, () => Context.Emit(OpCodes.Sub), Round: false);
  929. }
  930. public static void Uabd_V(AILEmitterCtx Context)
  931. {
  932. EmitVectorBinaryOpZx(Context, () => EmitAbd(Context));
  933. }
  934. public static void Uabdl_V(AILEmitterCtx Context)
  935. {
  936. EmitVectorWidenRnRmBinaryOpZx(Context, () => EmitAbd(Context));
  937. }
  938. private static void EmitAbd(AILEmitterCtx Context)
  939. {
  940. Context.Emit(OpCodes.Sub);
  941. Type[] Types = new Type[] { typeof(long) };
  942. Context.EmitCall(typeof(Math).GetMethod(nameof(Math.Abs), Types));
  943. }
  944. public static void Uaddl_V(AILEmitterCtx Context)
  945. {
  946. EmitVectorWidenRnRmBinaryOpZx(Context, () => Context.Emit(OpCodes.Add));
  947. }
  948. public static void Uaddlv_V(AILEmitterCtx Context)
  949. {
  950. AOpCodeSimd Op = (AOpCodeSimd)Context.CurrOp;
  951. int Bytes = Context.CurrOp.GetBitsCount() >> 3;
  952. EmitVectorExtractZx(Context, Op.Rn, 0, Op.Size);
  953. for (int Index = 1; Index < (Bytes >> Op.Size); Index++)
  954. {
  955. EmitVectorExtractZx(Context, Op.Rn, Index, Op.Size);
  956. Context.Emit(OpCodes.Add);
  957. }
  958. EmitScalarSet(Context, Op.Rd, Op.Size + 1);
  959. }
  960. public static void Uaddw_V(AILEmitterCtx Context)
  961. {
  962. EmitVectorWidenRmBinaryOpZx(Context, () => Context.Emit(OpCodes.Add));
  963. }
  964. public static void Uhadd_V(AILEmitterCtx Context)
  965. {
  966. EmitVectorBinaryOpZx(Context, () =>
  967. {
  968. Context.Emit(OpCodes.Add);
  969. Context.EmitLdc_I4(1);
  970. Context.Emit(OpCodes.Shr_Un);
  971. });
  972. }
  973. public static void Umull_V(AILEmitterCtx Context)
  974. {
  975. EmitVectorWidenRnRmBinaryOpZx(Context, () => Context.Emit(OpCodes.Mul));
  976. }
  977. public static void Uqxtn_S(AILEmitterCtx Context)
  978. {
  979. EmitSaturatingExtNarrow(Context, SignedSrc: false, SignedDst: false, Scalar: true);
  980. }
  981. public static void Uqxtn_V(AILEmitterCtx Context)
  982. {
  983. EmitSaturatingExtNarrow(Context, SignedSrc: false, SignedDst: false, Scalar: false);
  984. }
  985. }
  986. }