CpuTestSimd.cs 121 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887188818891890189118921893189418951896189718981899190019011902190319041905190619071908190919101911191219131914191519161917191819191920192119221923192419251926192719281929193019311932193319341935193619371938193919401941194219431944194519461947194819491950195119521953195419551956195719581959196019611962196319641965196619671968196919701971197219731974197519761977197819791980198119821983198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025202620272028202920302031203220332034203520362037203820392040204120422043204420452046204720482049205020512052205320542055205620572058205920602061206220632064206520662067206820692070207120722073207420752076207720782079208020812082208320842085208620872088208920902091209220932094209520962097209820992100210121022103210421052106210721082109211021112112211321142115211621172118211921202121212221232124212521262127212821292130213121322133213421352136213721382139214021412142214321442145214621472148214921502151215221532154215521562157215821592160216121622163216421652166216721682169217021712172217321742175217621772178217921802181218221832184218521862187218821892190219121922193219421952196219721982199220022012202220322042205220622072208220922102211221222132214221522162217221822192220222122222223222422252226222722282229223022312232223322342235223622372238223922402241224222432244224522462247224822492250225122522253225422552256225722582259226022612262226322642265226622672268226922702271227222732274227522762277227822792280228122822283228422852286228722882289229022912292229322942295229622972298229923002301230223032304230523062307230823092310231123122313231423152316231723182319232023212322232323242325232623272328232923302331233223332334233523362337233823392340234123422343234423452346234723482349235023512352235323542355235623572358235923602361236223632364236523662367236823692370237123722373237423752376237723782379238023812382238323842385238623872388238923902391239223932394239523962397239823992400240124022403240424052406240724082409241024112412241324142415241624172418241924202421242224232424242524262427242824292430243124322433243424352436243724382439244024412442244324442445244624472448244924502451245224532454245524562457245824592460246124622463246424652466246724682469247024712472247324742475247624772478247924802481248224832484248524862487248824892490249124922493249424952496249724982499250025012502250325042505250625072508250925102511251225132514251525162517251825192520252125222523252425252526252725282529253025312532253325342535253625372538253925402541254225432544254525462547254825492550255125522553255425552556255725582559256025612562256325642565256625672568256925702571257225732574257525762577257825792580258125822583258425852586258725882589259025912592259325942595259625972598259926002601260226032604260526062607260826092610261126122613261426152616261726182619262026212622262326242625262626272628262926302631263226332634263526362637263826392640264126422643264426452646264726482649265026512652265326542655265626572658265926602661266226632664266526662667266826692670267126722673267426752676267726782679268026812682268326842685268626872688268926902691269226932694269526962697269826992700270127022703270427052706270727082709271027112712271327142715271627172718271927202721272227232724272527262727272827292730273127322733273427352736273727382739274027412742274327442745274627472748274927502751275227532754275527562757275827592760276127622763276427652766276727682769277027712772277327742775277627772778277927802781278227832784278527862787278827892790279127922793279427952796279727982799280028012802280328042805280628072808280928102811281228132814281528162817281828192820282128222823282428252826282728282829283028312832283328342835283628372838283928402841284228432844284528462847284828492850285128522853285428552856285728582859286028612862286328642865286628672868286928702871287228732874287528762877287828792880288128822883288428852886288728882889289028912892289328942895289628972898289929002901290229032904290529062907290829092910291129122913291429152916291729182919292029212922292329242925292629272928292929302931293229332934293529362937293829392940294129422943294429452946294729482949295029512952295329542955295629572958295929602961296229632964296529662967296829692970297129722973297429752976297729782979298029812982298329842985298629872988298929902991299229932994299529962997299829993000300130023003300430053006300730083009301030113012301330143015301630173018301930203021
  1. #define Simd
  2. using NUnit.Framework;
  3. using System;
  4. using System.Collections.Generic;
  5. using System.Runtime.Intrinsics;
  6. namespace Ryujinx.Tests.Cpu
  7. {
  8. [Category("Simd")]
  9. public sealed class CpuTestSimd : CpuTest
  10. {
  11. #if Simd
  12. #region "ValueSource (Types)"
  13. private static ulong[] _1B1H1S1D_()
  14. {
  15. return new ulong[] { 0x0000000000000000ul, 0x000000000000007Ful,
  16. 0x0000000000000080ul, 0x00000000000000FFul,
  17. 0x0000000000007FFFul, 0x0000000000008000ul,
  18. 0x000000000000FFFFul, 0x000000007FFFFFFFul,
  19. 0x0000000080000000ul, 0x00000000FFFFFFFFul,
  20. 0x7FFFFFFFFFFFFFFFul, 0x8000000000000000ul,
  21. 0xFFFFFFFFFFFFFFFFul };
  22. }
  23. private static ulong[] _1D_()
  24. {
  25. return new ulong[] { 0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  26. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul };
  27. }
  28. private static ulong[] _1H1S1D_()
  29. {
  30. return new ulong[] { 0x0000000000000000ul, 0x0000000000007FFFul,
  31. 0x0000000000008000ul, 0x000000000000FFFFul,
  32. 0x000000007FFFFFFFul, 0x0000000080000000ul,
  33. 0x00000000FFFFFFFFul, 0x7FFFFFFFFFFFFFFFul,
  34. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul };
  35. }
  36. private static ulong[] _1S_()
  37. {
  38. return new ulong[] { 0x0000000000000000ul, 0x000000007FFFFFFFul,
  39. 0x0000000080000000ul, 0x00000000FFFFFFFFul };
  40. }
  41. private static ulong[] _2S_()
  42. {
  43. return new ulong[] { 0x0000000000000000ul, 0x7FFFFFFF7FFFFFFFul,
  44. 0x8000000080000000ul, 0xFFFFFFFFFFFFFFFFul };
  45. }
  46. private static ulong[] _4H2S1D_()
  47. {
  48. return new ulong[] { 0x0000000000000000ul, 0x7FFF7FFF7FFF7FFFul,
  49. 0x8000800080008000ul, 0x7FFFFFFF7FFFFFFFul,
  50. 0x8000000080000000ul, 0x7FFFFFFFFFFFFFFFul,
  51. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul };
  52. }
  53. private static ulong[] _8B_()
  54. {
  55. return new ulong[] { 0x0000000000000000ul, 0x7F7F7F7F7F7F7F7Ful,
  56. 0x8080808080808080ul, 0xFFFFFFFFFFFFFFFFul };
  57. }
  58. private static ulong[] _8B4H_()
  59. {
  60. return new ulong[] { 0x0000000000000000ul, 0x7F7F7F7F7F7F7F7Ful,
  61. 0x8080808080808080ul, 0x7FFF7FFF7FFF7FFFul,
  62. 0x8000800080008000ul, 0xFFFFFFFFFFFFFFFFul };
  63. }
  64. private static ulong[] _8B4H2S_()
  65. {
  66. return new ulong[] { 0x0000000000000000ul, 0x7F7F7F7F7F7F7F7Ful,
  67. 0x8080808080808080ul, 0x7FFF7FFF7FFF7FFFul,
  68. 0x8000800080008000ul, 0x7FFFFFFF7FFFFFFFul,
  69. 0x8000000080000000ul, 0xFFFFFFFFFFFFFFFFul };
  70. }
  71. private static ulong[] _8B4H2S1D_()
  72. {
  73. return new ulong[] { 0x0000000000000000ul, 0x7F7F7F7F7F7F7F7Ful,
  74. 0x8080808080808080ul, 0x7FFF7FFF7FFF7FFFul,
  75. 0x8000800080008000ul, 0x7FFFFFFF7FFFFFFFul,
  76. 0x8000000080000000ul, 0x7FFFFFFFFFFFFFFFul,
  77. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul };
  78. }
  79. private static IEnumerable<ulong> _1H_F_()
  80. {
  81. yield return 0x000000000000FBFFul; // -Max Normal
  82. yield return 0x0000000000008400ul; // -Min Normal
  83. yield return 0x00000000000083FFul; // -Max Subnormal
  84. yield return 0x0000000000008001ul; // -Min Subnormal
  85. yield return 0x0000000000007BFFul; // +Max Normal
  86. yield return 0x0000000000000400ul; // +Min Normal
  87. yield return 0x00000000000003FFul; // +Max Subnormal
  88. yield return 0x0000000000000001ul; // +Min Subnormal
  89. if (!NoZeros)
  90. {
  91. yield return 0x0000000000008000ul; // -Zero
  92. yield return 0x0000000000000000ul; // +Zero
  93. }
  94. if (!NoInfs)
  95. {
  96. yield return 0x000000000000FC00ul; // -Infinity
  97. yield return 0x0000000000007C00ul; // +Infinity
  98. }
  99. if (!NoNaNs)
  100. {
  101. yield return 0x000000000000FE00ul; // -QNaN (all zeros payload)
  102. yield return 0x000000000000FDFFul; // -SNaN (all ones payload)
  103. yield return 0x0000000000007E00ul; // +QNaN (all zeros payload) (DefaultNaN)
  104. yield return 0x0000000000007DFFul; // +SNaN (all ones payload)
  105. }
  106. for (int cnt = 1; cnt <= RndCnt; cnt++)
  107. {
  108. ulong grbg = TestContext.CurrentContext.Random.NextUShort();
  109. ulong rnd1 = GenNormalH();
  110. ulong rnd2 = GenSubnormalH();
  111. yield return (grbg << 48) | (grbg << 32) | (grbg << 16) | rnd1;
  112. yield return (grbg << 48) | (grbg << 32) | (grbg << 16) | rnd2;
  113. }
  114. }
  115. private static IEnumerable<ulong> _4H_F_()
  116. {
  117. yield return 0xFBFFFBFFFBFFFBFFul; // -Max Normal
  118. yield return 0x8400840084008400ul; // -Min Normal
  119. yield return 0x83FF83FF83FF83FFul; // -Max Subnormal
  120. yield return 0x8001800180018001ul; // -Min Subnormal
  121. yield return 0x7BFF7BFF7BFF7BFFul; // +Max Normal
  122. yield return 0x0400040004000400ul; // +Min Normal
  123. yield return 0x03FF03FF03FF03FFul; // +Max Subnormal
  124. yield return 0x0001000100010001ul; // +Min Subnormal
  125. if (!NoZeros)
  126. {
  127. yield return 0x8000800080008000ul; // -Zero
  128. yield return 0x0000000000000000ul; // +Zero
  129. }
  130. if (!NoInfs)
  131. {
  132. yield return 0xFC00FC00FC00FC00ul; // -Infinity
  133. yield return 0x7C007C007C007C00ul; // +Infinity
  134. }
  135. if (!NoNaNs)
  136. {
  137. yield return 0xFE00FE00FE00FE00ul; // -QNaN (all zeros payload)
  138. yield return 0xFDFFFDFFFDFFFDFFul; // -SNaN (all ones payload)
  139. yield return 0x7E007E007E007E00ul; // +QNaN (all zeros payload) (DefaultNaN)
  140. yield return 0x7DFF7DFF7DFF7DFFul; // +SNaN (all ones payload)
  141. }
  142. for (int cnt = 1; cnt <= RndCnt; cnt++)
  143. {
  144. ulong rnd1 = GenNormalH();
  145. ulong rnd2 = GenSubnormalH();
  146. yield return (rnd1 << 48) | (rnd1 << 32) | (rnd1 << 16) | rnd1;
  147. yield return (rnd2 << 48) | (rnd2 << 32) | (rnd2 << 16) | rnd2;
  148. }
  149. }
  150. private static IEnumerable<ulong> _1S_F_()
  151. {
  152. yield return 0x00000000FF7FFFFFul; // -Max Normal (float.MinValue)
  153. yield return 0x0000000080800000ul; // -Min Normal
  154. yield return 0x00000000807FFFFFul; // -Max Subnormal
  155. yield return 0x0000000080000001ul; // -Min Subnormal (-float.Epsilon)
  156. yield return 0x000000007F7FFFFFul; // +Max Normal (float.MaxValue)
  157. yield return 0x0000000000800000ul; // +Min Normal
  158. yield return 0x00000000007FFFFFul; // +Max Subnormal
  159. yield return 0x0000000000000001ul; // +Min Subnormal (float.Epsilon)
  160. if (!NoZeros)
  161. {
  162. yield return 0x0000000080000000ul; // -Zero
  163. yield return 0x0000000000000000ul; // +Zero
  164. }
  165. if (!NoInfs)
  166. {
  167. yield return 0x00000000FF800000ul; // -Infinity
  168. yield return 0x000000007F800000ul; // +Infinity
  169. }
  170. if (!NoNaNs)
  171. {
  172. yield return 0x00000000FFC00000ul; // -QNaN (all zeros payload) (float.NaN)
  173. yield return 0x00000000FFBFFFFFul; // -SNaN (all ones payload)
  174. yield return 0x000000007FC00000ul; // +QNaN (all zeros payload) (-float.NaN) (DefaultNaN)
  175. yield return 0x000000007FBFFFFFul; // +SNaN (all ones payload)
  176. }
  177. for (int cnt = 1; cnt <= RndCnt; cnt++)
  178. {
  179. ulong grbg = TestContext.CurrentContext.Random.NextUInt();
  180. ulong rnd1 = GenNormalS();
  181. ulong rnd2 = GenSubnormalS();
  182. yield return (grbg << 32) | rnd1;
  183. yield return (grbg << 32) | rnd2;
  184. }
  185. }
  186. private static IEnumerable<ulong> _1S_F_W_()
  187. {
  188. // int
  189. yield return 0x00000000CF000001ul; // -2.1474839E9f (-2147483904)
  190. yield return 0x00000000CF000000ul; // -2.14748365E9f (-2147483648)
  191. yield return 0x00000000CEFFFFFFul; // -2.14748352E9f (-2147483520)
  192. yield return 0x000000004F000001ul; // 2.1474839E9f (2147483904)
  193. yield return 0x000000004F000000ul; // 2.14748365E9f (2147483648)
  194. yield return 0x000000004EFFFFFFul; // 2.14748352E9f (2147483520)
  195. // uint
  196. yield return 0x000000004F800001ul; // 4.2949678E9f (4294967808)
  197. yield return 0x000000004F800000ul; // 4.2949673E9f (4294967296)
  198. yield return 0x000000004F7FFFFFul; // 4.29496704E9f (4294967040)
  199. yield return 0x00000000FF7FFFFFul; // -Max Normal (float.MinValue)
  200. yield return 0x0000000080800000ul; // -Min Normal
  201. yield return 0x00000000807FFFFFul; // -Max Subnormal
  202. yield return 0x0000000080000001ul; // -Min Subnormal (-float.Epsilon)
  203. yield return 0x000000007F7FFFFFul; // +Max Normal (float.MaxValue)
  204. yield return 0x0000000000800000ul; // +Min Normal
  205. yield return 0x00000000007FFFFFul; // +Max Subnormal
  206. yield return 0x0000000000000001ul; // +Min Subnormal (float.Epsilon)
  207. if (!NoZeros)
  208. {
  209. yield return 0x0000000080000000ul; // -Zero
  210. yield return 0x0000000000000000ul; // +Zero
  211. }
  212. if (!NoInfs)
  213. {
  214. yield return 0x00000000FF800000ul; // -Infinity
  215. yield return 0x000000007F800000ul; // +Infinity
  216. }
  217. if (!NoNaNs)
  218. {
  219. yield return 0x00000000FFC00000ul; // -QNaN (all zeros payload) (float.NaN)
  220. yield return 0x00000000FFBFFFFFul; // -SNaN (all ones payload)
  221. yield return 0x000000007FC00000ul; // +QNaN (all zeros payload) (-float.NaN) (DefaultNaN)
  222. yield return 0x000000007FBFFFFFul; // +SNaN (all ones payload)
  223. }
  224. for (int cnt = 1; cnt <= RndCnt; cnt++)
  225. {
  226. ulong grbg = TestContext.CurrentContext.Random.NextUInt();
  227. ulong rnd1 = (uint)BitConverter.SingleToInt32Bits(
  228. (float)((int)TestContext.CurrentContext.Random.NextUInt()));
  229. ulong rnd2 = (uint)BitConverter.SingleToInt32Bits(
  230. (float)((uint)TestContext.CurrentContext.Random.NextUInt()));
  231. ulong rnd3 = GenNormalS();
  232. ulong rnd4 = GenSubnormalS();
  233. yield return (grbg << 32) | rnd1;
  234. yield return (grbg << 32) | rnd2;
  235. yield return (grbg << 32) | rnd3;
  236. yield return (grbg << 32) | rnd4;
  237. }
  238. }
  239. private static IEnumerable<ulong> _2S_F_()
  240. {
  241. yield return 0xFF7FFFFFFF7FFFFFul; // -Max Normal (float.MinValue)
  242. yield return 0x8080000080800000ul; // -Min Normal
  243. yield return 0x807FFFFF807FFFFFul; // -Max Subnormal
  244. yield return 0x8000000180000001ul; // -Min Subnormal (-float.Epsilon)
  245. yield return 0x7F7FFFFF7F7FFFFFul; // +Max Normal (float.MaxValue)
  246. yield return 0x0080000000800000ul; // +Min Normal
  247. yield return 0x007FFFFF007FFFFFul; // +Max Subnormal
  248. yield return 0x0000000100000001ul; // +Min Subnormal (float.Epsilon)
  249. if (!NoZeros)
  250. {
  251. yield return 0x8000000080000000ul; // -Zero
  252. yield return 0x0000000000000000ul; // +Zero
  253. }
  254. if (!NoInfs)
  255. {
  256. yield return 0xFF800000FF800000ul; // -Infinity
  257. yield return 0x7F8000007F800000ul; // +Infinity
  258. }
  259. if (!NoNaNs)
  260. {
  261. yield return 0xFFC00000FFC00000ul; // -QNaN (all zeros payload) (float.NaN)
  262. yield return 0xFFBFFFFFFFBFFFFFul; // -SNaN (all ones payload)
  263. yield return 0x7FC000007FC00000ul; // +QNaN (all zeros payload) (-float.NaN) (DefaultNaN)
  264. yield return 0x7FBFFFFF7FBFFFFFul; // +SNaN (all ones payload)
  265. }
  266. for (int cnt = 1; cnt <= RndCnt; cnt++)
  267. {
  268. ulong rnd1 = GenNormalS();
  269. ulong rnd2 = GenSubnormalS();
  270. yield return (rnd1 << 32) | rnd1;
  271. yield return (rnd2 << 32) | rnd2;
  272. }
  273. }
  274. private static IEnumerable<ulong> _2S_F_W_()
  275. {
  276. // int
  277. yield return 0xCF000001CF000001ul; // -2.1474839E9f (-2147483904)
  278. yield return 0xCF000000CF000000ul; // -2.14748365E9f (-2147483648)
  279. yield return 0xCEFFFFFFCEFFFFFFul; // -2.14748352E9f (-2147483520)
  280. yield return 0x4F0000014F000001ul; // 2.1474839E9f (2147483904)
  281. yield return 0x4F0000004F000000ul; // 2.14748365E9f (2147483648)
  282. yield return 0x4EFFFFFF4EFFFFFFul; // 2.14748352E9f (2147483520)
  283. // uint
  284. yield return 0x4F8000014F800001ul; // 4.2949678E9f (4294967808)
  285. yield return 0x4F8000004F800000ul; // 4.2949673E9f (4294967296)
  286. yield return 0x4F7FFFFF4F7FFFFFul; // 4.29496704E9f (4294967040)
  287. yield return 0xFF7FFFFFFF7FFFFFul; // -Max Normal (float.MinValue)
  288. yield return 0x8080000080800000ul; // -Min Normal
  289. yield return 0x807FFFFF807FFFFFul; // -Max Subnormal
  290. yield return 0x8000000180000001ul; // -Min Subnormal (-float.Epsilon)
  291. yield return 0x7F7FFFFF7F7FFFFFul; // +Max Normal (float.MaxValue)
  292. yield return 0x0080000000800000ul; // +Min Normal
  293. yield return 0x007FFFFF007FFFFFul; // +Max Subnormal
  294. yield return 0x0000000100000001ul; // +Min Subnormal (float.Epsilon)
  295. if (!NoZeros)
  296. {
  297. yield return 0x8000000080000000ul; // -Zero
  298. yield return 0x0000000000000000ul; // +Zero
  299. }
  300. if (!NoInfs)
  301. {
  302. yield return 0xFF800000FF800000ul; // -Infinity
  303. yield return 0x7F8000007F800000ul; // +Infinity
  304. }
  305. if (!NoNaNs)
  306. {
  307. yield return 0xFFC00000FFC00000ul; // -QNaN (all zeros payload) (float.NaN)
  308. yield return 0xFFBFFFFFFFBFFFFFul; // -SNaN (all ones payload)
  309. yield return 0x7FC000007FC00000ul; // +QNaN (all zeros payload) (-float.NaN) (DefaultNaN)
  310. yield return 0x7FBFFFFF7FBFFFFFul; // +SNaN (all ones payload)
  311. }
  312. for (int cnt = 1; cnt <= RndCnt; cnt++)
  313. {
  314. ulong rnd1 = (uint)BitConverter.SingleToInt32Bits(
  315. (float)((int)TestContext.CurrentContext.Random.NextUInt()));
  316. ulong rnd2 = (uint)BitConverter.SingleToInt32Bits(
  317. (float)((uint)TestContext.CurrentContext.Random.NextUInt()));
  318. ulong rnd3 = GenNormalS();
  319. ulong rnd4 = GenSubnormalS();
  320. yield return (rnd1 << 32) | rnd1;
  321. yield return (rnd2 << 32) | rnd2;
  322. yield return (rnd3 << 32) | rnd3;
  323. yield return (rnd4 << 32) | rnd4;
  324. }
  325. }
  326. private static IEnumerable<ulong> _1D_F_()
  327. {
  328. yield return 0xFFEFFFFFFFFFFFFFul; // -Max Normal (double.MinValue)
  329. yield return 0x8010000000000000ul; // -Min Normal
  330. yield return 0x800FFFFFFFFFFFFFul; // -Max Subnormal
  331. yield return 0x8000000000000001ul; // -Min Subnormal (-double.Epsilon)
  332. yield return 0x7FEFFFFFFFFFFFFFul; // +Max Normal (double.MaxValue)
  333. yield return 0x0010000000000000ul; // +Min Normal
  334. yield return 0x000FFFFFFFFFFFFFul; // +Max Subnormal
  335. yield return 0x0000000000000001ul; // +Min Subnormal (double.Epsilon)
  336. if (!NoZeros)
  337. {
  338. yield return 0x8000000000000000ul; // -Zero
  339. yield return 0x0000000000000000ul; // +Zero
  340. }
  341. if (!NoInfs)
  342. {
  343. yield return 0xFFF0000000000000ul; // -Infinity
  344. yield return 0x7FF0000000000000ul; // +Infinity
  345. }
  346. if (!NoNaNs)
  347. {
  348. yield return 0xFFF8000000000000ul; // -QNaN (all zeros payload) (double.NaN)
  349. yield return 0xFFF7FFFFFFFFFFFFul; // -SNaN (all ones payload)
  350. yield return 0x7FF8000000000000ul; // +QNaN (all zeros payload) (-double.NaN) (DefaultNaN)
  351. yield return 0x7FF7FFFFFFFFFFFFul; // +SNaN (all ones payload)
  352. }
  353. for (int cnt = 1; cnt <= RndCnt; cnt++)
  354. {
  355. ulong rnd1 = GenNormalD();
  356. ulong rnd2 = GenSubnormalD();
  357. yield return rnd1;
  358. yield return rnd2;
  359. }
  360. }
  361. private static IEnumerable<ulong> _1D_F_X_()
  362. {
  363. // long
  364. yield return 0xC3E0000000000001ul; // -9.2233720368547780E18d (-9223372036854778000)
  365. yield return 0xC3E0000000000000ul; // -9.2233720368547760E18d (-9223372036854776000)
  366. yield return 0xC3DFFFFFFFFFFFFFul; // -9.2233720368547750E18d (-9223372036854775000)
  367. yield return 0x43E0000000000001ul; // 9.2233720368547780E18d (9223372036854778000)
  368. yield return 0x43E0000000000000ul; // 9.2233720368547760E18d (9223372036854776000)
  369. yield return 0x43DFFFFFFFFFFFFFul; // 9.2233720368547750E18d (9223372036854775000)
  370. // ulong
  371. yield return 0x43F0000000000001ul; // 1.8446744073709556e19d (18446744073709556000)
  372. yield return 0x43F0000000000000ul; // 1.8446744073709552E19d (18446744073709552000)
  373. yield return 0x43EFFFFFFFFFFFFFul; // 1.8446744073709550e19d (18446744073709550000)
  374. yield return 0xFFEFFFFFFFFFFFFFul; // -Max Normal (double.MinValue)
  375. yield return 0x8010000000000000ul; // -Min Normal
  376. yield return 0x800FFFFFFFFFFFFFul; // -Max Subnormal
  377. yield return 0x8000000000000001ul; // -Min Subnormal (-double.Epsilon)
  378. yield return 0x7FEFFFFFFFFFFFFFul; // +Max Normal (double.MaxValue)
  379. yield return 0x0010000000000000ul; // +Min Normal
  380. yield return 0x000FFFFFFFFFFFFFul; // +Max Subnormal
  381. yield return 0x0000000000000001ul; // +Min Subnormal (double.Epsilon)
  382. if (!NoZeros)
  383. {
  384. yield return 0x8000000000000000ul; // -Zero
  385. yield return 0x0000000000000000ul; // +Zero
  386. }
  387. if (!NoInfs)
  388. {
  389. yield return 0xFFF0000000000000ul; // -Infinity
  390. yield return 0x7FF0000000000000ul; // +Infinity
  391. }
  392. if (!NoNaNs)
  393. {
  394. yield return 0xFFF8000000000000ul; // -QNaN (all zeros payload) (double.NaN)
  395. yield return 0xFFF7FFFFFFFFFFFFul; // -SNaN (all ones payload)
  396. yield return 0x7FF8000000000000ul; // +QNaN (all zeros payload) (-double.NaN) (DefaultNaN)
  397. yield return 0x7FF7FFFFFFFFFFFFul; // +SNaN (all ones payload)
  398. }
  399. for (int cnt = 1; cnt <= RndCnt; cnt++)
  400. {
  401. ulong rnd1 = (ulong)BitConverter.DoubleToInt64Bits(
  402. (double)((long)TestContext.CurrentContext.Random.NextULong()));
  403. ulong rnd2 = (ulong)BitConverter.DoubleToInt64Bits(
  404. (double)((ulong)TestContext.CurrentContext.Random.NextULong()));
  405. ulong rnd3 = GenNormalD();
  406. ulong rnd4 = GenSubnormalD();
  407. yield return rnd1;
  408. yield return rnd2;
  409. yield return rnd3;
  410. yield return rnd4;
  411. }
  412. }
  413. #endregion
  414. #region "ValueSource (Opcodes)"
  415. private static uint[] _SU_Add_Max_Min_V_V_8BB_4HH_()
  416. {
  417. return new uint[]
  418. {
  419. 0x0E31B800u, // ADDV B0, V0.8B
  420. 0x0E30A800u, // SMAXV B0, V0.8B
  421. 0x0E31A800u, // SMINV B0, V0.8B
  422. 0x2E30A800u, // UMAXV B0, V0.8B
  423. 0x2E31A800u // UMINV B0, V0.8B
  424. };
  425. }
  426. private static uint[] _SU_Add_Max_Min_V_V_16BB_8HH_4SS_()
  427. {
  428. return new uint[]
  429. {
  430. 0x4E31B800u, // ADDV B0, V0.16B
  431. 0x4E30A800u, // SMAXV B0, V0.16B
  432. 0x4E31A800u, // SMINV B0, V0.16B
  433. 0x6E30A800u, // UMAXV B0, V0.16B
  434. 0x6E31A800u // UMINV B0, V0.16B
  435. };
  436. }
  437. private static uint[] _F_Abs_Neg_Recpx_Sqrt_S_S_()
  438. {
  439. return new uint[]
  440. {
  441. 0x1E20C020u, // FABS S0, S1
  442. 0x1E214020u, // FNEG S0, S1
  443. 0x5EA1F820u, // FRECPX S0, S1
  444. 0x1E21C020u // FSQRT S0, S1
  445. };
  446. }
  447. private static uint[] _F_Abs_Neg_Recpx_Sqrt_S_D_()
  448. {
  449. return new uint[]
  450. {
  451. 0x1E60C020u, // FABS D0, D1
  452. 0x1E614020u, // FNEG D0, D1
  453. 0x5EE1F820u, // FRECPX D0, D1
  454. 0x1E61C020u // FSQRT D0, D1
  455. };
  456. }
  457. private static uint[] _F_Abs_Neg_Sqrt_V_2S_4S_()
  458. {
  459. return new uint[]
  460. {
  461. 0x0EA0F800u, // FABS V0.2S, V0.2S
  462. 0x2EA0F800u, // FNEG V0.2S, V0.2S
  463. 0x2EA1F800u // FSQRT V0.2S, V0.2S
  464. };
  465. }
  466. private static uint[] _F_Abs_Neg_Sqrt_V_2D_()
  467. {
  468. return new uint[]
  469. {
  470. 0x4EE0F800u, // FABS V0.2D, V0.2D
  471. 0x6EE0F800u, // FNEG V0.2D, V0.2D
  472. 0x6EE1F800u // FSQRT V0.2D, V0.2D
  473. };
  474. }
  475. private static uint[] _F_Add_P_S_2SS_()
  476. {
  477. return new uint[]
  478. {
  479. 0x7E30D820u // FADDP S0, V1.2S
  480. };
  481. }
  482. private static uint[] _F_Add_P_S_2DD_()
  483. {
  484. return new uint[]
  485. {
  486. 0x7E70D820u // FADDP D0, V1.2D
  487. };
  488. }
  489. private static uint[] _F_Cm_EqGeGtLeLt_S_S_()
  490. {
  491. return new uint[]
  492. {
  493. 0x5EA0D820u, // FCMEQ S0, S1, #0.0
  494. 0x7EA0C820u, // FCMGE S0, S1, #0.0
  495. 0x5EA0C820u, // FCMGT S0, S1, #0.0
  496. 0x7EA0D820u, // FCMLE S0, S1, #0.0
  497. 0x5EA0E820u // FCMLT S0, S1, #0.0
  498. };
  499. }
  500. private static uint[] _F_Cm_EqGeGtLeLt_S_D_()
  501. {
  502. return new uint[]
  503. {
  504. 0x5EE0D820u, // FCMEQ D0, D1, #0.0
  505. 0x7EE0C820u, // FCMGE D0, D1, #0.0
  506. 0x5EE0C820u, // FCMGT D0, D1, #0.0
  507. 0x7EE0D820u, // FCMLE D0, D1, #0.0
  508. 0x5EE0E820u // FCMLT D0, D1, #0.0
  509. };
  510. }
  511. private static uint[] _F_Cm_EqGeGtLeLt_V_2S_4S_()
  512. {
  513. return new uint[]
  514. {
  515. 0x0EA0D800u, // FCMEQ V0.2S, V0.2S, #0.0
  516. 0x2EA0C800u, // FCMGE V0.2S, V0.2S, #0.0
  517. 0x0EA0C800u, // FCMGT V0.2S, V0.2S, #0.0
  518. 0x2EA0D800u, // FCMLE V0.2S, V0.2S, #0.0
  519. 0x0EA0E800u // FCMLT V0.2S, V0.2S, #0.0
  520. };
  521. }
  522. private static uint[] _F_Cm_EqGeGtLeLt_V_2D_()
  523. {
  524. return new uint[]
  525. {
  526. 0x4EE0D800u, // FCMEQ V0.2D, V0.2D, #0.0
  527. 0x6EE0C800u, // FCMGE V0.2D, V0.2D, #0.0
  528. 0x4EE0C800u, // FCMGT V0.2D, V0.2D, #0.0
  529. 0x6EE0D800u, // FCMLE V0.2D, V0.2D, #0.0
  530. 0x4EE0E800u // FCMLT V0.2D, V0.2D, #0.0
  531. };
  532. }
  533. private static uint[] _F_Cmp_Cmpe_S_S_()
  534. {
  535. return new uint[]
  536. {
  537. 0x1E202028u, // FCMP S1, #0.0
  538. 0x1E202038u // FCMPE S1, #0.0
  539. };
  540. }
  541. private static uint[] _F_Cmp_Cmpe_S_D_()
  542. {
  543. return new uint[]
  544. {
  545. 0x1E602028u, // FCMP D1, #0.0
  546. 0x1E602038u // FCMPE D1, #0.0
  547. };
  548. }
  549. private static uint[] _F_Cvt_S_SD_()
  550. {
  551. return new uint[]
  552. {
  553. 0x1E22C020u // FCVT D0, S1
  554. };
  555. }
  556. private static uint[] _F_Cvt_S_DS_()
  557. {
  558. return new uint[]
  559. {
  560. 0x1E624020u // FCVT S0, D1
  561. };
  562. }
  563. private static uint[] _F_Cvt_S_SH_()
  564. {
  565. return new uint[]
  566. {
  567. 0x1E23C020u // FCVT H0, S1
  568. };
  569. }
  570. private static uint[] _F_Cvt_S_HS_()
  571. {
  572. return new uint[]
  573. {
  574. 0x1EE24020u // FCVT S0, H1
  575. };
  576. }
  577. private static uint[] _F_Cvt_NZ_SU_S_S_()
  578. {
  579. return new uint[]
  580. {
  581. 0x5E21A820u, // FCVTNS S0, S1
  582. 0x7E21A820u, // FCVTNU S0, S1
  583. 0x5EA1B820u, // FCVTZS S0, S1
  584. 0x7EA1B820u // FCVTZU S0, S1
  585. };
  586. }
  587. private static uint[] _F_Cvt_NZ_SU_S_D_()
  588. {
  589. return new uint[]
  590. {
  591. 0x5E61A820u, // FCVTNS D0, D1
  592. 0x7E61A820u, // FCVTNU D0, D1
  593. 0x5EE1B820u, // FCVTZS D0, D1
  594. 0x7EE1B820u // FCVTZU D0, D1
  595. };
  596. }
  597. private static uint[] _F_Cvt_NZ_SU_V_2S_4S_()
  598. {
  599. return new uint[]
  600. {
  601. 0x0E21A800u, // FCVTNS V0.2S, V0.2S
  602. 0x2E21A800u, // FCVTNU V0.2S, V0.2S
  603. 0x0EA1B800u, // FCVTZS V0.2S, V0.2S
  604. 0x2EA1B800u // FCVTZU V0.2S, V0.2S
  605. };
  606. }
  607. private static uint[] _F_Cvt_NZ_SU_V_2D_()
  608. {
  609. return new uint[]
  610. {
  611. 0x4E61A800u, // FCVTNS V0.2D, V0.2D
  612. 0x6E61A800u, // FCVTNU V0.2D, V0.2D
  613. 0x4EE1B800u, // FCVTZS V0.2D, V0.2D
  614. 0x6EE1B800u // FCVTZU V0.2D, V0.2D
  615. };
  616. }
  617. private static uint[] _F_Cvtl_V_4H4S_8H4S_()
  618. {
  619. return new uint[]
  620. {
  621. 0x0E217800u // FCVTL V0.4S, V0.4H
  622. };
  623. }
  624. private static uint[] _F_Cvtl_V_2S2D_4S2D_()
  625. {
  626. return new uint[]
  627. {
  628. 0x0E617800u // FCVTL V0.2D, V0.2S
  629. };
  630. }
  631. private static uint[] _F_Cvtn_V_4S4H_4S8H_()
  632. {
  633. return new uint[]
  634. {
  635. 0x0E216800u // FCVTN V0.4H, V0.4S
  636. };
  637. }
  638. private static uint[] _F_Cvtn_V_2D2S_2D4S_()
  639. {
  640. return new uint[]
  641. {
  642. 0x0E616800u // FCVTN V0.2S, V0.2D
  643. };
  644. }
  645. private static uint[] _F_Recpe_Rsqrte_S_S_()
  646. {
  647. return new uint[]
  648. {
  649. 0x5EA1D820u, // FRECPE S0, S1
  650. 0x7EA1D820u // FRSQRTE S0, S1
  651. };
  652. }
  653. private static uint[] _F_Recpe_Rsqrte_S_D_()
  654. {
  655. return new uint[]
  656. {
  657. 0x5EE1D820u, // FRECPE D0, D1
  658. 0x7EE1D820u // FRSQRTE D0, D1
  659. };
  660. }
  661. private static uint[] _F_Recpe_Rsqrte_V_2S_4S_()
  662. {
  663. return new uint[]
  664. {
  665. 0x0EA1D800u, // FRECPE V0.2S, V0.2S
  666. 0x2EA1D800u // FRSQRTE V0.2S, V0.2S
  667. };
  668. }
  669. private static uint[] _F_Recpe_Rsqrte_V_2D_()
  670. {
  671. return new uint[]
  672. {
  673. 0x4EE1D800u, // FRECPE V0.2D, V0.2D
  674. 0x6EE1D800u // FRSQRTE V0.2D, V0.2D
  675. };
  676. }
  677. private static uint[] _F_Rint_AMNPZ_S_S_()
  678. {
  679. return new uint[]
  680. {
  681. 0x1E264020u, // FRINTA S0, S1
  682. 0x1E254020u, // FRINTM S0, S1
  683. 0x1E244020u, // FRINTN S0, S1
  684. 0x1E24C020u, // FRINTP S0, S1
  685. 0x1E25C020u // FRINTZ S0, S1
  686. };
  687. }
  688. private static uint[] _F_Rint_AMNPZ_S_D_()
  689. {
  690. return new uint[]
  691. {
  692. 0x1E664020u, // FRINTA D0, D1
  693. 0x1E654020u, // FRINTM D0, D1
  694. 0x1E644020u, // FRINTN D0, D1
  695. 0x1E64C020u, // FRINTP D0, D1
  696. 0x1E65C020u // FRINTZ D0, D1
  697. };
  698. }
  699. private static uint[] _F_Rint_AMNPZ_V_2S_4S_()
  700. {
  701. return new uint[]
  702. {
  703. 0x2E218800u, // FRINTA V0.2S, V0.2S
  704. 0x0E219800u, // FRINTM V0.2S, V0.2S
  705. 0x0E218800u, // FRINTN V0.2S, V0.2S
  706. 0x0EA18800u, // FRINTP V0.2S, V0.2S
  707. 0x0EA19800u // FRINTZ V0.2S, V0.2S
  708. };
  709. }
  710. private static uint[] _F_Rint_AMNPZ_V_2D_()
  711. {
  712. return new uint[]
  713. {
  714. 0x6E618800u, // FRINTA V0.2D, V0.2D
  715. 0x4E619800u, // FRINTM V0.2D, V0.2D
  716. 0x4E618800u, // FRINTN V0.2D, V0.2D
  717. 0x4EE18800u, // FRINTP V0.2D, V0.2D
  718. 0x4EE19800u // FRINTZ V0.2D, V0.2D
  719. };
  720. }
  721. private static uint[] _F_Rint_IX_S_S_()
  722. {
  723. return new uint[]
  724. {
  725. 0x1E27C020u, // FRINTI S0, S1
  726. 0x1E274020u // FRINTX S0, S1
  727. };
  728. }
  729. private static uint[] _F_Rint_IX_S_D_()
  730. {
  731. return new uint[]
  732. {
  733. 0x1E67C020u, // FRINTI D0, D1
  734. 0x1E674020u // FRINTX D0, D1
  735. };
  736. }
  737. private static uint[] _F_Rint_IX_V_2S_4S_()
  738. {
  739. return new uint[]
  740. {
  741. 0x2EA19800u, // FRINTI V0.2S, V0.2S
  742. 0x2E219800u // FRINTX V0.2S, V0.2S
  743. };
  744. }
  745. private static uint[] _F_Rint_IX_V_2D_()
  746. {
  747. return new uint[]
  748. {
  749. 0x6EE19800u, // FRINTI V0.2D, V0.2D
  750. 0x6E619800u // FRINTX V0.2D, V0.2D
  751. };
  752. }
  753. private static uint[] _SU_Cvt_F_S_S_()
  754. {
  755. return new uint[]
  756. {
  757. 0x5E21D820u, // SCVTF S0, S1
  758. 0x7E21D820u // UCVTF S0, S1
  759. };
  760. }
  761. private static uint[] _SU_Cvt_F_S_D_()
  762. {
  763. return new uint[]
  764. {
  765. 0x5E61D820u, // SCVTF D0, D1
  766. 0x7E61D820u // UCVTF D0, D1
  767. };
  768. }
  769. private static uint[] _SU_Cvt_F_V_2S_4S_()
  770. {
  771. return new uint[]
  772. {
  773. 0x0E21D800u, // SCVTF V0.2S, V0.2S
  774. 0x2E21D800u // UCVTF V0.2S, V0.2S
  775. };
  776. }
  777. private static uint[] _SU_Cvt_F_V_2D_()
  778. {
  779. return new uint[]
  780. {
  781. 0x4E61D800u, // SCVTF V0.2D, V0.2D
  782. 0x6E61D800u // UCVTF V0.2D, V0.2D
  783. };
  784. }
  785. private static uint[] _Sha1h_Sha1su1_V_()
  786. {
  787. return new uint[]
  788. {
  789. 0x5E280800u, // SHA1H S0, S0
  790. 0x5E281800u // SHA1SU1 V0.4S, V0.4S
  791. };
  792. }
  793. private static uint[] _Sha256su0_V_()
  794. {
  795. return new uint[]
  796. {
  797. 0x5E282800u // SHA256SU0 V0.4S, V0.4S
  798. };
  799. }
  800. #endregion
  801. private const int RndCnt = 2;
  802. private static readonly bool NoZeros = false;
  803. private static readonly bool NoInfs = false;
  804. private static readonly bool NoNaNs = false;
  805. [Test, Pairwise, Description("ABS <V><d>, <V><n>")]
  806. public void Abs_S_D([Values(0u)] uint rd,
  807. [Values(1u, 0u)] uint rn,
  808. [ValueSource("_1D_")] [Random(RndCnt)] ulong z,
  809. [ValueSource("_1D_")] [Random(RndCnt)] ulong a)
  810. {
  811. uint opcode = 0x5EE0B800; // ABS D0, D0
  812. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  813. Vector128<float> v0 = MakeVectorE0E1(z, z);
  814. Vector128<float> v1 = MakeVectorE0(a);
  815. SingleOpcode(opcode, v0: v0, v1: v1);
  816. CompareAgainstUnicorn();
  817. }
  818. [Test, Pairwise, Description("ABS <Vd>.<T>, <Vn>.<T>")]
  819. public void Abs_V_8B_4H_2S([Values(0u)] uint rd,
  820. [Values(1u, 0u)] uint rn,
  821. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong z,
  822. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong a,
  823. [Values(0b00u, 0b01u, 0b10u)] uint size) // <8B, 4H, 2S>
  824. {
  825. uint opcode = 0x0E20B800; // ABS V0.8B, V0.8B
  826. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  827. opcode |= ((size & 3) << 22);
  828. Vector128<float> v0 = MakeVectorE0E1(z, z);
  829. Vector128<float> v1 = MakeVectorE0(a);
  830. SingleOpcode(opcode, v0: v0, v1: v1);
  831. CompareAgainstUnicorn();
  832. }
  833. [Test, Pairwise, Description("ABS <Vd>.<T>, <Vn>.<T>")]
  834. public void Abs_V_16B_8H_4S_2D([Values(0u)] uint rd,
  835. [Values(1u, 0u)] uint rn,
  836. [ValueSource("_8B4H2S1D_")] [Random(RndCnt)] ulong z,
  837. [ValueSource("_8B4H2S1D_")] [Random(RndCnt)] ulong a,
  838. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint size) // <16B, 8H, 4S, 2D>
  839. {
  840. uint opcode = 0x4E20B800; // ABS V0.16B, V0.16B
  841. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  842. opcode |= ((size & 3) << 22);
  843. Vector128<float> v0 = MakeVectorE0E1(z, z);
  844. Vector128<float> v1 = MakeVectorE0E1(a, a);
  845. SingleOpcode(opcode, v0: v0, v1: v1);
  846. CompareAgainstUnicorn();
  847. }
  848. [Test, Pairwise, Description("ADDP <V><d>, <Vn>.<T>")]
  849. public void Addp_S_2DD([Values(0u)] uint rd,
  850. [Values(1u, 0u)] uint rn,
  851. [ValueSource("_1D_")] [Random(RndCnt)] ulong z,
  852. [ValueSource("_1D_")] [Random(RndCnt)] ulong a)
  853. {
  854. uint opcode = 0x5EF1B800; // ADDP D0, V0.2D
  855. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  856. Vector128<float> v0 = MakeVectorE0E1(z, z);
  857. Vector128<float> v1 = MakeVectorE0E1(a, a);
  858. SingleOpcode(opcode, v0: v0, v1: v1);
  859. CompareAgainstUnicorn();
  860. }
  861. [Test, Pairwise]
  862. public void SU_Add_Max_Min_V_V_8BB_4HH([ValueSource("_SU_Add_Max_Min_V_V_8BB_4HH_")] uint opcodes,
  863. [Values(0u)] uint rd,
  864. [Values(1u, 0u)] uint rn,
  865. [ValueSource("_8B4H_")] [Random(RndCnt)] ulong z,
  866. [ValueSource("_8B4H_")] [Random(RndCnt)] ulong a,
  867. [Values(0b00u, 0b01u)] uint size) // <8BB, 4HH>
  868. {
  869. opcodes |= ((rn & 31) << 5) | ((rd & 31) << 0);
  870. opcodes |= ((size & 3) << 22);
  871. Vector128<float> v0 = MakeVectorE0E1(z, z);
  872. Vector128<float> v1 = MakeVectorE0(a);
  873. SingleOpcode(opcodes, v0: v0, v1: v1);
  874. CompareAgainstUnicorn();
  875. }
  876. [Test, Pairwise]
  877. public void SU_Add_Max_Min_V_V_16BB_8HH_4SS([ValueSource("_SU_Add_Max_Min_V_V_16BB_8HH_4SS_")] uint opcodes,
  878. [Values(0u)] uint rd,
  879. [Values(1u, 0u)] uint rn,
  880. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong z,
  881. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong a,
  882. [Values(0b00u, 0b01u, 0b10u)] uint size) // <16BB, 8HH, 4SS>
  883. {
  884. opcodes |= ((rn & 31) << 5) | ((rd & 31) << 0);
  885. opcodes |= ((size & 3) << 22);
  886. Vector128<float> v0 = MakeVectorE0E1(z, z);
  887. Vector128<float> v1 = MakeVectorE0E1(a, a);
  888. SingleOpcode(opcodes, v0: v0, v1: v1);
  889. CompareAgainstUnicorn();
  890. }
  891. [Test, Pairwise, Description("CLS <Vd>.<T>, <Vn>.<T>")]
  892. public void Cls_V_8B_4H_2S([Values(0u)] uint rd,
  893. [Values(1u, 0u)] uint rn,
  894. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong z,
  895. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong a,
  896. [Values(0b00u, 0b01u, 0b10u)] uint size) // <8B, 4H, 2S>
  897. {
  898. uint opcode = 0x0E204800; // CLS V0.8B, V0.8B
  899. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  900. opcode |= ((size & 3) << 22);
  901. Vector128<float> v0 = MakeVectorE0E1(z, z);
  902. Vector128<float> v1 = MakeVectorE0(a);
  903. SingleOpcode(opcode, v0: v0, v1: v1);
  904. CompareAgainstUnicorn();
  905. }
  906. [Test, Pairwise, Description("CLS <Vd>.<T>, <Vn>.<T>")]
  907. public void Cls_V_16B_8H_4S([Values(0u)] uint rd,
  908. [Values(1u, 0u)] uint rn,
  909. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong z,
  910. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong a,
  911. [Values(0b00u, 0b01u, 0b10u)] uint size) // <16B, 8H, 4S>
  912. {
  913. uint opcode = 0x4E204800; // CLS V0.16B, V0.16B
  914. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  915. opcode |= ((size & 3) << 22);
  916. Vector128<float> v0 = MakeVectorE0E1(z, z);
  917. Vector128<float> v1 = MakeVectorE0E1(a, a);
  918. SingleOpcode(opcode, v0: v0, v1: v1);
  919. CompareAgainstUnicorn();
  920. }
  921. [Test, Pairwise, Description("CLZ <Vd>.<T>, <Vn>.<T>")]
  922. public void Clz_V_8B_4H_2S([Values(0u)] uint rd,
  923. [Values(1u, 0u)] uint rn,
  924. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong z,
  925. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong a,
  926. [Values(0b00u, 0b01u, 0b10u)] uint size) // <8B, 4H, 2S>
  927. {
  928. uint opcode = 0x2E204800; // CLZ V0.8B, V0.8B
  929. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  930. opcode |= ((size & 3) << 22);
  931. Vector128<float> v0 = MakeVectorE0E1(z, z);
  932. Vector128<float> v1 = MakeVectorE0(a);
  933. SingleOpcode(opcode, v0: v0, v1: v1);
  934. CompareAgainstUnicorn();
  935. }
  936. [Test, Pairwise, Description("CLZ <Vd>.<T>, <Vn>.<T>")]
  937. public void Clz_V_16B_8H_4S([Values(0u)] uint rd,
  938. [Values(1u, 0u)] uint rn,
  939. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong z,
  940. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong a,
  941. [Values(0b00u, 0b01u, 0b10u)] uint size) // <16B, 8H, 4S>
  942. {
  943. uint opcode = 0x6E204800; // CLZ V0.16B, V0.16B
  944. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  945. opcode |= ((size & 3) << 22);
  946. Vector128<float> v0 = MakeVectorE0E1(z, z);
  947. Vector128<float> v1 = MakeVectorE0E1(a, a);
  948. SingleOpcode(opcode, v0: v0, v1: v1);
  949. CompareAgainstUnicorn();
  950. }
  951. [Test, Pairwise, Description("CMEQ <V><d>, <V><n>, #0")]
  952. public void Cmeq_S_D([Values(0u)] uint rd,
  953. [Values(1u, 0u)] uint rn,
  954. [ValueSource("_1D_")] [Random(RndCnt)] ulong z,
  955. [ValueSource("_1D_")] [Random(RndCnt)] ulong a)
  956. {
  957. uint opcode = 0x5EE09800; // CMEQ D0, D0, #0
  958. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  959. Vector128<float> v0 = MakeVectorE0E1(z, z);
  960. Vector128<float> v1 = MakeVectorE0(a);
  961. SingleOpcode(opcode, v0: v0, v1: v1);
  962. CompareAgainstUnicorn();
  963. }
  964. [Test, Pairwise, Description("CMEQ <Vd>.<T>, <Vn>.<T>, #0")]
  965. public void Cmeq_V_8B_4H_2S([Values(0u)] uint rd,
  966. [Values(1u, 0u)] uint rn,
  967. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong z,
  968. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong a,
  969. [Values(0b00u, 0b01u, 0b10u)] uint size) // <8B, 4H, 2S>
  970. {
  971. uint opcode = 0x0E209800; // CMEQ V0.8B, V0.8B, #0
  972. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  973. opcode |= ((size & 3) << 22);
  974. Vector128<float> v0 = MakeVectorE0E1(z, z);
  975. Vector128<float> v1 = MakeVectorE0(a);
  976. SingleOpcode(opcode, v0: v0, v1: v1);
  977. CompareAgainstUnicorn();
  978. }
  979. [Test, Pairwise, Description("CMEQ <Vd>.<T>, <Vn>.<T>, #0")]
  980. public void Cmeq_V_16B_8H_4S_2D([Values(0u)] uint rd,
  981. [Values(1u, 0u)] uint rn,
  982. [ValueSource("_8B4H2S1D_")] [Random(RndCnt)] ulong z,
  983. [ValueSource("_8B4H2S1D_")] [Random(RndCnt)] ulong a,
  984. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint size) // <16B, 8H, 4S, 2D>
  985. {
  986. uint opcode = 0x4E209800; // CMEQ V0.16B, V0.16B, #0
  987. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  988. opcode |= ((size & 3) << 22);
  989. Vector128<float> v0 = MakeVectorE0E1(z, z);
  990. Vector128<float> v1 = MakeVectorE0E1(a, a);
  991. SingleOpcode(opcode, v0: v0, v1: v1);
  992. CompareAgainstUnicorn();
  993. }
  994. [Test, Pairwise, Description("CMGE <V><d>, <V><n>, #0")]
  995. public void Cmge_S_D([Values(0u)] uint rd,
  996. [Values(1u, 0u)] uint rn,
  997. [ValueSource("_1D_")] [Random(RndCnt)] ulong z,
  998. [ValueSource("_1D_")] [Random(RndCnt)] ulong a)
  999. {
  1000. uint opcode = 0x7EE08800; // CMGE D0, D0, #0
  1001. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1002. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1003. Vector128<float> v1 = MakeVectorE0(a);
  1004. SingleOpcode(opcode, v0: v0, v1: v1);
  1005. CompareAgainstUnicorn();
  1006. }
  1007. [Test, Pairwise, Description("CMGE <Vd>.<T>, <Vn>.<T>, #0")]
  1008. public void Cmge_V_8B_4H_2S([Values(0u)] uint rd,
  1009. [Values(1u, 0u)] uint rn,
  1010. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong z,
  1011. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong a,
  1012. [Values(0b00u, 0b01u, 0b10u)] uint size) // <8B, 4H, 2S>
  1013. {
  1014. uint opcode = 0x2E208800; // CMGE V0.8B, V0.8B, #0
  1015. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1016. opcode |= ((size & 3) << 22);
  1017. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1018. Vector128<float> v1 = MakeVectorE0(a);
  1019. SingleOpcode(opcode, v0: v0, v1: v1);
  1020. CompareAgainstUnicorn();
  1021. }
  1022. [Test, Pairwise, Description("CMGE <Vd>.<T>, <Vn>.<T>, #0")]
  1023. public void Cmge_V_16B_8H_4S_2D([Values(0u)] uint rd,
  1024. [Values(1u, 0u)] uint rn,
  1025. [ValueSource("_8B4H2S1D_")] [Random(RndCnt)] ulong z,
  1026. [ValueSource("_8B4H2S1D_")] [Random(RndCnt)] ulong a,
  1027. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint size) // <16B, 8H, 4S, 2D>
  1028. {
  1029. uint opcode = 0x6E208800; // CMGE V0.16B, V0.16B, #0
  1030. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1031. opcode |= ((size & 3) << 22);
  1032. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1033. Vector128<float> v1 = MakeVectorE0E1(a, a);
  1034. SingleOpcode(opcode, v0: v0, v1: v1);
  1035. CompareAgainstUnicorn();
  1036. }
  1037. [Test, Pairwise, Description("CMGT <V><d>, <V><n>, #0")]
  1038. public void Cmgt_S_D([Values(0u)] uint rd,
  1039. [Values(1u, 0u)] uint rn,
  1040. [ValueSource("_1D_")] [Random(RndCnt)] ulong z,
  1041. [ValueSource("_1D_")] [Random(RndCnt)] ulong a)
  1042. {
  1043. uint opcode = 0x5EE08800; // CMGT D0, D0, #0
  1044. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1045. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1046. Vector128<float> v1 = MakeVectorE0(a);
  1047. SingleOpcode(opcode, v0: v0, v1: v1);
  1048. CompareAgainstUnicorn();
  1049. }
  1050. [Test, Pairwise, Description("CMGT <Vd>.<T>, <Vn>.<T>, #0")]
  1051. public void Cmgt_V_8B_4H_2S([Values(0u)] uint rd,
  1052. [Values(1u, 0u)] uint rn,
  1053. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong z,
  1054. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong a,
  1055. [Values(0b00u, 0b01u, 0b10u)] uint size) // <8B, 4H, 2S>
  1056. {
  1057. uint opcode = 0x0E208800; // CMGT V0.8B, V0.8B, #0
  1058. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1059. opcode |= ((size & 3) << 22);
  1060. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1061. Vector128<float> v1 = MakeVectorE0(a);
  1062. SingleOpcode(opcode, v0: v0, v1: v1);
  1063. CompareAgainstUnicorn();
  1064. }
  1065. [Test, Pairwise, Description("CMGT <Vd>.<T>, <Vn>.<T>, #0")]
  1066. public void Cmgt_V_16B_8H_4S_2D([Values(0u)] uint rd,
  1067. [Values(1u, 0u)] uint rn,
  1068. [ValueSource("_8B4H2S1D_")] [Random(RndCnt)] ulong z,
  1069. [ValueSource("_8B4H2S1D_")] [Random(RndCnt)] ulong a,
  1070. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint size) // <16B, 8H, 4S, 2D>
  1071. {
  1072. uint opcode = 0x4E208800; // CMGT V0.16B, V0.16B, #0
  1073. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1074. opcode |= ((size & 3) << 22);
  1075. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1076. Vector128<float> v1 = MakeVectorE0E1(a, a);
  1077. SingleOpcode(opcode, v0: v0, v1: v1);
  1078. CompareAgainstUnicorn();
  1079. }
  1080. [Test, Pairwise, Description("CMLE <V><d>, <V><n>, #0")]
  1081. public void Cmle_S_D([Values(0u)] uint rd,
  1082. [Values(1u, 0u)] uint rn,
  1083. [ValueSource("_1D_")] [Random(RndCnt)] ulong z,
  1084. [ValueSource("_1D_")] [Random(RndCnt)] ulong a)
  1085. {
  1086. uint opcode = 0x7EE09800; // CMLE D0, D0, #0
  1087. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1088. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1089. Vector128<float> v1 = MakeVectorE0(a);
  1090. SingleOpcode(opcode, v0: v0, v1: v1);
  1091. CompareAgainstUnicorn();
  1092. }
  1093. [Test, Pairwise, Description("CMLE <Vd>.<T>, <Vn>.<T>, #0")]
  1094. public void Cmle_V_8B_4H_2S([Values(0u)] uint rd,
  1095. [Values(1u, 0u)] uint rn,
  1096. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong z,
  1097. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong a,
  1098. [Values(0b00u, 0b01u, 0b10u)] uint size) // <8B, 4H, 2S>
  1099. {
  1100. uint opcode = 0x2E209800; // CMLE V0.8B, V0.8B, #0
  1101. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1102. opcode |= ((size & 3) << 22);
  1103. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1104. Vector128<float> v1 = MakeVectorE0(a);
  1105. SingleOpcode(opcode, v0: v0, v1: v1);
  1106. CompareAgainstUnicorn();
  1107. }
  1108. [Test, Pairwise, Description("CMLE <Vd>.<T>, <Vn>.<T>, #0")]
  1109. public void Cmle_V_16B_8H_4S_2D([Values(0u)] uint rd,
  1110. [Values(1u, 0u)] uint rn,
  1111. [ValueSource("_8B4H2S1D_")] [Random(RndCnt)] ulong z,
  1112. [ValueSource("_8B4H2S1D_")] [Random(RndCnt)] ulong a,
  1113. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint size) // <16B, 8H, 4S, 2D>
  1114. {
  1115. uint opcode = 0x6E209800; // CMLE V0.16B, V0.16B, #0
  1116. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1117. opcode |= ((size & 3) << 22);
  1118. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1119. Vector128<float> v1 = MakeVectorE0E1(a, a);
  1120. SingleOpcode(opcode, v0: v0, v1: v1);
  1121. CompareAgainstUnicorn();
  1122. }
  1123. [Test, Pairwise, Description("CMLT <V><d>, <V><n>, #0")]
  1124. public void Cmlt_S_D([Values(0u)] uint rd,
  1125. [Values(1u, 0u)] uint rn,
  1126. [ValueSource("_1D_")] [Random(RndCnt)] ulong z,
  1127. [ValueSource("_1D_")] [Random(RndCnt)] ulong a)
  1128. {
  1129. uint opcode = 0x5EE0A800; // CMLT D0, D0, #0
  1130. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1131. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1132. Vector128<float> v1 = MakeVectorE0(a);
  1133. SingleOpcode(opcode, v0: v0, v1: v1);
  1134. CompareAgainstUnicorn();
  1135. }
  1136. [Test, Pairwise, Description("CMLT <Vd>.<T>, <Vn>.<T>, #0")]
  1137. public void Cmlt_V_8B_4H_2S([Values(0u)] uint rd,
  1138. [Values(1u, 0u)] uint rn,
  1139. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong z,
  1140. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong a,
  1141. [Values(0b00u, 0b01u, 0b10u)] uint size) // <8B, 4H, 2S>
  1142. {
  1143. uint opcode = 0x0E20A800; // CMLT V0.8B, V0.8B, #0
  1144. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1145. opcode |= ((size & 3) << 22);
  1146. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1147. Vector128<float> v1 = MakeVectorE0(a);
  1148. SingleOpcode(opcode, v0: v0, v1: v1);
  1149. CompareAgainstUnicorn();
  1150. }
  1151. [Test, Pairwise, Description("CMLT <Vd>.<T>, <Vn>.<T>, #0")]
  1152. public void Cmlt_V_16B_8H_4S_2D([Values(0u)] uint rd,
  1153. [Values(1u, 0u)] uint rn,
  1154. [ValueSource("_8B4H2S1D_")] [Random(RndCnt)] ulong z,
  1155. [ValueSource("_8B4H2S1D_")] [Random(RndCnt)] ulong a,
  1156. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint size) // <16B, 8H, 4S, 2D>
  1157. {
  1158. uint opcode = 0x4E20A800; // CMLT V0.16B, V0.16B, #0
  1159. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1160. opcode |= ((size & 3) << 22);
  1161. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1162. Vector128<float> v1 = MakeVectorE0E1(a, a);
  1163. SingleOpcode(opcode, v0: v0, v1: v1);
  1164. CompareAgainstUnicorn();
  1165. }
  1166. [Test, Pairwise, Description("CNT <Vd>.<T>, <Vn>.<T>")]
  1167. public void Cnt_V_8B([Values(0u)] uint rd,
  1168. [Values(1u, 0u)] uint rn,
  1169. [ValueSource("_8B_")] [Random(RndCnt)] ulong z,
  1170. [ValueSource("_8B_")] [Random(RndCnt)] ulong a)
  1171. {
  1172. uint opcode = 0x0E205800; // CNT V0.8B, V0.8B
  1173. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1174. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1175. Vector128<float> v1 = MakeVectorE0(a);
  1176. SingleOpcode(opcode, v0: v0, v1: v1);
  1177. CompareAgainstUnicorn();
  1178. }
  1179. [Test, Pairwise, Description("CNT <Vd>.<T>, <Vn>.<T>")]
  1180. public void Cnt_V_16B([Values(0u)] uint rd,
  1181. [Values(1u, 0u)] uint rn,
  1182. [ValueSource("_8B_")] [Random(RndCnt)] ulong z,
  1183. [ValueSource("_8B_")] [Random(RndCnt)] ulong a)
  1184. {
  1185. uint opcode = 0x4E205800; // CNT V0.16B, V0.16B
  1186. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1187. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1188. Vector128<float> v1 = MakeVectorE0E1(a, a);
  1189. SingleOpcode(opcode, v0: v0, v1: v1);
  1190. CompareAgainstUnicorn();
  1191. }
  1192. [Test, Pairwise] [Explicit]
  1193. public void F_Abs_Neg_Recpx_Sqrt_S_S([ValueSource("_F_Abs_Neg_Recpx_Sqrt_S_S_")] uint opcodes,
  1194. [ValueSource("_1S_F_")] ulong a)
  1195. {
  1196. ulong z = TestContext.CurrentContext.Random.NextULong();
  1197. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1198. Vector128<float> v1 = MakeVectorE0(a);
  1199. int rnd = (int)TestContext.CurrentContext.Random.NextUInt();
  1200. int fpcr = rnd & (1 << (int)Fpcr.Fz);
  1201. fpcr |= rnd & (1 << (int)Fpcr.Dn);
  1202. SingleOpcode(opcodes, v0: v0, v1: v1, fpcr: fpcr);
  1203. CompareAgainstUnicorn(fpsrMask: Fpsr.Ioc | Fpsr.Idc);
  1204. }
  1205. [Test, Pairwise] [Explicit]
  1206. public void F_Abs_Neg_Recpx_Sqrt_S_D([ValueSource("_F_Abs_Neg_Recpx_Sqrt_S_D_")] uint opcodes,
  1207. [ValueSource("_1D_F_")] ulong a)
  1208. {
  1209. ulong z = TestContext.CurrentContext.Random.NextULong();
  1210. Vector128<float> v0 = MakeVectorE1(z);
  1211. Vector128<float> v1 = MakeVectorE0(a);
  1212. int rnd = (int)TestContext.CurrentContext.Random.NextUInt();
  1213. int fpcr = rnd & (1 << (int)Fpcr.Fz);
  1214. fpcr |= rnd & (1 << (int)Fpcr.Dn);
  1215. SingleOpcode(opcodes, v0: v0, v1: v1, fpcr: fpcr);
  1216. CompareAgainstUnicorn(fpsrMask: Fpsr.Ioc | Fpsr.Idc);
  1217. }
  1218. [Test, Pairwise] [Explicit]
  1219. public void F_Abs_Neg_Sqrt_V_2S_4S([ValueSource("_F_Abs_Neg_Sqrt_V_2S_4S_")] uint opcodes,
  1220. [Values(0u)] uint rd,
  1221. [Values(1u, 0u)] uint rn,
  1222. [ValueSource("_2S_F_")] ulong z,
  1223. [ValueSource("_2S_F_")] ulong a,
  1224. [Values(0b0u, 0b1u)] uint q) // <2S, 4S>
  1225. {
  1226. opcodes |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1227. opcodes |= ((q & 1) << 30);
  1228. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1229. Vector128<float> v1 = MakeVectorE0E1(a, a * q);
  1230. int rnd = (int)TestContext.CurrentContext.Random.NextUInt();
  1231. int fpcr = rnd & (1 << (int)Fpcr.Fz);
  1232. fpcr |= rnd & (1 << (int)Fpcr.Dn);
  1233. SingleOpcode(opcodes, v0: v0, v1: v1, fpcr: fpcr);
  1234. CompareAgainstUnicorn(fpsrMask: Fpsr.Ioc | Fpsr.Idc);
  1235. }
  1236. [Test, Pairwise] [Explicit]
  1237. public void F_Abs_Neg_Sqrt_V_2D([ValueSource("_F_Abs_Neg_Sqrt_V_2D_")] uint opcodes,
  1238. [Values(0u)] uint rd,
  1239. [Values(1u, 0u)] uint rn,
  1240. [ValueSource("_1D_F_")] ulong z,
  1241. [ValueSource("_1D_F_")] ulong a)
  1242. {
  1243. opcodes |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1244. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1245. Vector128<float> v1 = MakeVectorE0E1(a, a);
  1246. int rnd = (int)TestContext.CurrentContext.Random.NextUInt();
  1247. int fpcr = rnd & (1 << (int)Fpcr.Fz);
  1248. fpcr |= rnd & (1 << (int)Fpcr.Dn);
  1249. SingleOpcode(opcodes, v0: v0, v1: v1, fpcr: fpcr);
  1250. CompareAgainstUnicorn(fpsrMask: Fpsr.Ioc | Fpsr.Idc);
  1251. }
  1252. [Test, Pairwise] [Explicit]
  1253. public void F_Add_P_S_2SS([ValueSource("_F_Add_P_S_2SS_")] uint opcodes,
  1254. [ValueSource("_2S_F_")] ulong a)
  1255. {
  1256. ulong z = TestContext.CurrentContext.Random.NextULong();
  1257. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1258. Vector128<float> v1 = MakeVectorE0(a);
  1259. int rnd = (int)TestContext.CurrentContext.Random.NextUInt();
  1260. int fpcr = rnd & (1 << (int)Fpcr.Fz);
  1261. fpcr |= rnd & (1 << (int)Fpcr.Dn);
  1262. SingleOpcode(opcodes, v0: v0, v1: v1, fpcr: fpcr);
  1263. CompareAgainstUnicorn(fpsrMask: Fpsr.Ioc | Fpsr.Idc);
  1264. }
  1265. [Test, Pairwise] [Explicit]
  1266. public void F_Add_P_S_2DD([ValueSource("_F_Add_P_S_2DD_")] uint opcodes,
  1267. [ValueSource("_1D_F_")] ulong a)
  1268. {
  1269. ulong z = TestContext.CurrentContext.Random.NextULong();
  1270. Vector128<float> v0 = MakeVectorE1(z);
  1271. Vector128<float> v1 = MakeVectorE0E1(a, a);
  1272. int rnd = (int)TestContext.CurrentContext.Random.NextUInt();
  1273. int fpcr = rnd & (1 << (int)Fpcr.Fz);
  1274. fpcr |= rnd & (1 << (int)Fpcr.Dn);
  1275. SingleOpcode(opcodes, v0: v0, v1: v1, fpcr: fpcr);
  1276. CompareAgainstUnicorn(fpsrMask: Fpsr.Ioc | Fpsr.Idc);
  1277. }
  1278. [Test, Pairwise] [Explicit]
  1279. public void F_Cm_EqGeGtLeLt_S_S([ValueSource("_F_Cm_EqGeGtLeLt_S_S_")] uint opcodes,
  1280. [ValueSource("_1S_F_")] ulong a)
  1281. {
  1282. ulong z = TestContext.CurrentContext.Random.NextULong();
  1283. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1284. Vector128<float> v1 = MakeVectorE0(a);
  1285. int rnd = (int)TestContext.CurrentContext.Random.NextUInt();
  1286. int fpcr = rnd & (1 << (int)Fpcr.Fz);
  1287. SingleOpcode(opcodes, v0: v0, v1: v1, fpcr: fpcr);
  1288. CompareAgainstUnicorn(fpsrMask: Fpsr.Ioc | Fpsr.Idc);
  1289. }
  1290. [Test, Pairwise] [Explicit]
  1291. public void F_Cm_EqGeGtLeLt_S_D([ValueSource("_F_Cm_EqGeGtLeLt_S_D_")] uint opcodes,
  1292. [ValueSource("_1D_F_")] ulong a)
  1293. {
  1294. ulong z = TestContext.CurrentContext.Random.NextULong();
  1295. Vector128<float> v0 = MakeVectorE1(z);
  1296. Vector128<float> v1 = MakeVectorE0(a);
  1297. int rnd = (int)TestContext.CurrentContext.Random.NextUInt();
  1298. int fpcr = rnd & (1 << (int)Fpcr.Fz);
  1299. SingleOpcode(opcodes, v0: v0, v1: v1, fpcr: fpcr);
  1300. CompareAgainstUnicorn(fpsrMask: Fpsr.Ioc | Fpsr.Idc);
  1301. }
  1302. [Test, Pairwise] [Explicit]
  1303. public void F_Cm_EqGeGtLeLt_V_2S_4S([ValueSource("_F_Cm_EqGeGtLeLt_V_2S_4S_")] uint opcodes,
  1304. [Values(0u)] uint rd,
  1305. [Values(1u, 0u)] uint rn,
  1306. [ValueSource("_2S_F_")] ulong z,
  1307. [ValueSource("_2S_F_")] ulong a,
  1308. [Values(0b0u, 0b1u)] uint q) // <2S, 4S>
  1309. {
  1310. opcodes |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1311. opcodes |= ((q & 1) << 30);
  1312. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1313. Vector128<float> v1 = MakeVectorE0E1(a, a * q);
  1314. int rnd = (int)TestContext.CurrentContext.Random.NextUInt();
  1315. int fpcr = rnd & (1 << (int)Fpcr.Fz);
  1316. SingleOpcode(opcodes, v0: v0, v1: v1, fpcr: fpcr);
  1317. CompareAgainstUnicorn(fpsrMask: Fpsr.Ioc | Fpsr.Idc);
  1318. }
  1319. [Test, Pairwise] [Explicit]
  1320. public void F_Cm_EqGeGtLeLt_V_2D([ValueSource("_F_Cm_EqGeGtLeLt_V_2D_")] uint opcodes,
  1321. [Values(0u)] uint rd,
  1322. [Values(1u, 0u)] uint rn,
  1323. [ValueSource("_1D_F_")] ulong z,
  1324. [ValueSource("_1D_F_")] ulong a)
  1325. {
  1326. opcodes |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1327. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1328. Vector128<float> v1 = MakeVectorE0E1(a, a);
  1329. int rnd = (int)TestContext.CurrentContext.Random.NextUInt();
  1330. int fpcr = rnd & (1 << (int)Fpcr.Fz);
  1331. SingleOpcode(opcodes, v0: v0, v1: v1, fpcr: fpcr);
  1332. CompareAgainstUnicorn(fpsrMask: Fpsr.Ioc | Fpsr.Idc);
  1333. }
  1334. [Test, Pairwise] [Explicit]
  1335. public void F_Cmp_Cmpe_S_S([ValueSource("_F_Cmp_Cmpe_S_S_")] uint opcodes,
  1336. [ValueSource("_1S_F_")] ulong a)
  1337. {
  1338. Vector128<float> v1 = MakeVectorE0(a);
  1339. bool v = TestContext.CurrentContext.Random.NextBool();
  1340. bool c = TestContext.CurrentContext.Random.NextBool();
  1341. bool z = TestContext.CurrentContext.Random.NextBool();
  1342. bool n = TestContext.CurrentContext.Random.NextBool();
  1343. SingleOpcode(opcodes, v1: v1, overflow: v, carry: c, zero: z, negative: n);
  1344. CompareAgainstUnicorn(fpsrMask: Fpsr.Ioc);
  1345. }
  1346. [Test, Pairwise] [Explicit]
  1347. public void F_Cmp_Cmpe_S_D([ValueSource("_F_Cmp_Cmpe_S_D_")] uint opcodes,
  1348. [ValueSource("_1D_F_")] ulong a)
  1349. {
  1350. Vector128<float> v1 = MakeVectorE0(a);
  1351. bool v = TestContext.CurrentContext.Random.NextBool();
  1352. bool c = TestContext.CurrentContext.Random.NextBool();
  1353. bool z = TestContext.CurrentContext.Random.NextBool();
  1354. bool n = TestContext.CurrentContext.Random.NextBool();
  1355. SingleOpcode(opcodes, v1: v1, overflow: v, carry: c, zero: z, negative: n);
  1356. CompareAgainstUnicorn(fpsrMask: Fpsr.Ioc);
  1357. }
  1358. [Test, Pairwise] [Explicit]
  1359. public void F_Cvt_S_SD([ValueSource("_F_Cvt_S_SD_")] uint opcodes,
  1360. [ValueSource("_1S_F_")] ulong a)
  1361. {
  1362. ulong z = TestContext.CurrentContext.Random.NextULong();
  1363. Vector128<float> v0 = MakeVectorE1(z);
  1364. Vector128<float> v1 = MakeVectorE0(a);
  1365. SingleOpcode(opcodes, v0: v0, v1: v1);
  1366. CompareAgainstUnicorn();
  1367. }
  1368. [Test, Pairwise] [Explicit]
  1369. public void F_Cvt_S_DS([ValueSource("_F_Cvt_S_DS_")] uint opcodes,
  1370. [ValueSource("_1D_F_")] ulong a)
  1371. {
  1372. ulong z = TestContext.CurrentContext.Random.NextULong();
  1373. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1374. Vector128<float> v1 = MakeVectorE0(a);
  1375. SingleOpcode(opcodes, v0: v0, v1: v1);
  1376. CompareAgainstUnicorn();
  1377. }
  1378. [Test, Pairwise] [Explicit]
  1379. public void F_Cvt_S_SH([ValueSource("_F_Cvt_S_SH_")] uint opcodes,
  1380. [ValueSource("_1S_F_")] ulong a)
  1381. {
  1382. ulong z = TestContext.CurrentContext.Random.NextULong();
  1383. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1384. Vector128<float> v1 = MakeVectorE0(a);
  1385. SingleOpcode(opcodes, v0: v0, v1: v1);
  1386. CompareAgainstUnicorn();
  1387. }
  1388. [Test, Pairwise] [Explicit]
  1389. public void F_Cvt_S_HS([ValueSource("_F_Cvt_S_HS_")] uint opcodes,
  1390. [ValueSource("_1H_F_")] ulong a)
  1391. {
  1392. ulong z = TestContext.CurrentContext.Random.NextULong();
  1393. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1394. Vector128<float> v1 = MakeVectorE0(a);
  1395. SingleOpcode(opcodes, v0: v0, v1: v1);
  1396. CompareAgainstUnicorn();
  1397. }
  1398. [Test, Pairwise] [Explicit]
  1399. public void F_Cvt_NZ_SU_S_S([ValueSource("_F_Cvt_NZ_SU_S_S_")] uint opcodes,
  1400. [ValueSource("_1S_F_W_")] ulong a)
  1401. {
  1402. ulong z = TestContext.CurrentContext.Random.NextULong();
  1403. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1404. Vector128<float> v1 = MakeVectorE0(a);
  1405. SingleOpcode(opcodes, v0: v0, v1: v1);
  1406. CompareAgainstUnicorn();
  1407. }
  1408. [Test, Pairwise] [Explicit]
  1409. public void F_Cvt_NZ_SU_S_D([ValueSource("_F_Cvt_NZ_SU_S_D_")] uint opcodes,
  1410. [ValueSource("_1D_F_X_")] ulong a)
  1411. {
  1412. ulong z = TestContext.CurrentContext.Random.NextULong();
  1413. Vector128<float> v0 = MakeVectorE1(z);
  1414. Vector128<float> v1 = MakeVectorE0(a);
  1415. SingleOpcode(opcodes, v0: v0, v1: v1);
  1416. CompareAgainstUnicorn();
  1417. }
  1418. [Test, Pairwise] [Explicit]
  1419. public void F_Cvt_NZ_SU_V_2S_4S([ValueSource("_F_Cvt_NZ_SU_V_2S_4S_")] uint opcodes,
  1420. [Values(0u)] uint rd,
  1421. [Values(1u, 0u)] uint rn,
  1422. [ValueSource("_2S_F_W_")] ulong z,
  1423. [ValueSource("_2S_F_W_")] ulong a,
  1424. [Values(0b0u, 0b1u)] uint q) // <2S, 4S>
  1425. {
  1426. opcodes |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1427. opcodes |= ((q & 1) << 30);
  1428. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1429. Vector128<float> v1 = MakeVectorE0E1(a, a * q);
  1430. SingleOpcode(opcodes, v0: v0, v1: v1);
  1431. CompareAgainstUnicorn();
  1432. }
  1433. [Test, Pairwise] [Explicit]
  1434. public void F_Cvt_NZ_SU_V_2D([ValueSource("_F_Cvt_NZ_SU_V_2D_")] uint opcodes,
  1435. [Values(0u)] uint rd,
  1436. [Values(1u, 0u)] uint rn,
  1437. [ValueSource("_1D_F_X_")] ulong z,
  1438. [ValueSource("_1D_F_X_")] ulong a)
  1439. {
  1440. opcodes |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1441. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1442. Vector128<float> v1 = MakeVectorE0E1(a, a);
  1443. SingleOpcode(opcodes, v0: v0, v1: v1);
  1444. CompareAgainstUnicorn();
  1445. }
  1446. [Test, Pairwise] [Explicit]
  1447. public void F_Cvtl_V_4H4S_8H4S([ValueSource("_F_Cvtl_V_4H4S_8H4S_")] uint opcodes,
  1448. [Values(0u)] uint rd,
  1449. [Values(1u, 0u)] uint rn,
  1450. [ValueSource("_4H_F_")] ulong z,
  1451. [ValueSource("_4H_F_")] ulong a,
  1452. [Values(0b0u, 0b1u)] uint q, // <4H4S, 8H4S>
  1453. [Values(RMode.Rn)] RMode rMode)
  1454. {
  1455. opcodes |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1456. opcodes |= ((q & 1) << 30);
  1457. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1458. Vector128<float> v1 = MakeVectorE0E1(q == 0u ? a : 0ul, q == 1u ? a : 0ul);
  1459. int rnd = (int)TestContext.CurrentContext.Random.NextUInt();
  1460. int fpcr = (int)rMode << (int)Fpcr.RMode;
  1461. fpcr |= rnd & (1 << (int)Fpcr.Fz);
  1462. fpcr |= rnd & (1 << (int)Fpcr.Dn);
  1463. fpcr |= rnd & (1 << (int)Fpcr.Ahp);
  1464. SingleOpcode(opcodes, v0: v0, v1: v1, fpcr: fpcr);
  1465. CompareAgainstUnicorn(fpsrMask: Fpsr.Ioc | Fpsr.Ofc | Fpsr.Ufc | Fpsr.Ixc);
  1466. }
  1467. [Test, Pairwise] [Explicit]
  1468. public void F_Cvtl_V_2S2D_4S2D([ValueSource("_F_Cvtl_V_2S2D_4S2D_")] uint opcodes,
  1469. [Values(0u)] uint rd,
  1470. [Values(1u, 0u)] uint rn,
  1471. [ValueSource("_2S_F_")] ulong z,
  1472. [ValueSource("_2S_F_")] ulong a,
  1473. [Values(0b0u, 0b1u)] uint q) // <2S2D, 4S2D>
  1474. {
  1475. opcodes |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1476. opcodes |= ((q & 1) << 30);
  1477. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1478. Vector128<float> v1 = MakeVectorE0E1(q == 0u ? a : 0ul, q == 1u ? a : 0ul);
  1479. SingleOpcode(opcodes, v0: v0, v1: v1);
  1480. CompareAgainstUnicorn();
  1481. }
  1482. [Test, Pairwise] [Explicit] // Unicorn seems to default all rounding modes to RMode.Rn.
  1483. public void F_Cvtn_V_4S4H_4S8H([ValueSource("_F_Cvtn_V_4S4H_4S8H_")] uint opcodes,
  1484. [Values(0u)] uint rd,
  1485. [Values(1u, 0u)] uint rn,
  1486. [ValueSource("_2S_F_")] ulong z,
  1487. [ValueSource("_2S_F_")] ulong a,
  1488. [Values(0b0u, 0b1u)] uint q, // <4S4H, 4S8H>
  1489. [Values(RMode.Rn)] RMode rMode)
  1490. {
  1491. opcodes |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1492. opcodes |= ((q & 1) << 30);
  1493. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1494. Vector128<float> v1 = MakeVectorE0E1(a, a);
  1495. int rnd = (int)TestContext.CurrentContext.Random.NextUInt();
  1496. int fpcr = (int)rMode << (int)Fpcr.RMode;
  1497. fpcr |= rnd & (1 << (int)Fpcr.Fz);
  1498. fpcr |= rnd & (1 << (int)Fpcr.Dn);
  1499. fpcr |= rnd & (1 << (int)Fpcr.Ahp);
  1500. SingleOpcode(opcodes, v0: v0, v1: v1, fpcr: fpcr);
  1501. CompareAgainstUnicorn(fpsrMask: Fpsr.Ioc | Fpsr.Ofc | Fpsr.Ufc | Fpsr.Ixc | Fpsr.Idc);
  1502. }
  1503. [Test, Pairwise] [Explicit] // Unicorn seems to default all rounding modes to RMode.Rn.
  1504. public void F_Cvtn_V_2D2S_2D4S([ValueSource("_F_Cvtn_V_2D2S_2D4S_")] uint opcodes,
  1505. [Values(0u)] uint rd,
  1506. [Values(1u, 0u)] uint rn,
  1507. [ValueSource("_1D_F_")] ulong z,
  1508. [ValueSource("_1D_F_")] ulong a,
  1509. [Values(0b0u, 0b1u)] uint q) // <2D2S, 2D4S>
  1510. {
  1511. opcodes |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1512. opcodes |= ((q & 1) << 30);
  1513. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1514. Vector128<float> v1 = MakeVectorE0E1(a, a);
  1515. SingleOpcode(opcodes, v0: v0, v1: v1);
  1516. CompareAgainstUnicorn();
  1517. }
  1518. [Test, Pairwise] [Explicit]
  1519. public void F_Recpe_Rsqrte_S_S([ValueSource("_F_Recpe_Rsqrte_S_S_")] uint opcodes,
  1520. [ValueSource("_1S_F_")] ulong a,
  1521. [Values(RMode.Rn)] RMode rMode)
  1522. {
  1523. ulong z = TestContext.CurrentContext.Random.NextULong();
  1524. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1525. Vector128<float> v1 = MakeVectorE0(a);
  1526. int rnd = (int)TestContext.CurrentContext.Random.NextUInt();
  1527. int fpcr = (int)rMode << (int)Fpcr.RMode;
  1528. fpcr |= rnd & (1 << (int)Fpcr.Fz);
  1529. fpcr |= rnd & (1 << (int)Fpcr.Dn);
  1530. SingleOpcode(opcodes, v0: v0, v1: v1, fpcr: fpcr);
  1531. CompareAgainstUnicorn(fpsrMask: Fpsr.Ioc | Fpsr.Dzc | Fpsr.Ofc | Fpsr.Ufc | Fpsr.Ixc | Fpsr.Idc);
  1532. }
  1533. [Test, Pairwise] [Explicit]
  1534. public void F_Recpe_Rsqrte_S_D([ValueSource("_F_Recpe_Rsqrte_S_D_")] uint opcodes,
  1535. [ValueSource("_1D_F_")] ulong a,
  1536. [Values(RMode.Rn)] RMode rMode)
  1537. {
  1538. ulong z = TestContext.CurrentContext.Random.NextULong();
  1539. Vector128<float> v0 = MakeVectorE1(z);
  1540. Vector128<float> v1 = MakeVectorE0(a);
  1541. int rnd = (int)TestContext.CurrentContext.Random.NextUInt();
  1542. int fpcr = (int)rMode << (int)Fpcr.RMode;
  1543. fpcr |= rnd & (1 << (int)Fpcr.Fz);
  1544. fpcr |= rnd & (1 << (int)Fpcr.Dn);
  1545. SingleOpcode(opcodes, v0: v0, v1: v1, fpcr: fpcr);
  1546. CompareAgainstUnicorn(fpsrMask: Fpsr.Ioc | Fpsr.Dzc | Fpsr.Ofc | Fpsr.Ufc | Fpsr.Ixc | Fpsr.Idc);
  1547. }
  1548. [Test, Pairwise] [Explicit]
  1549. public void F_Recpe_Rsqrte_V_2S_4S([ValueSource("_F_Recpe_Rsqrte_V_2S_4S_")] uint opcodes,
  1550. [Values(0u)] uint rd,
  1551. [Values(1u, 0u)] uint rn,
  1552. [ValueSource("_2S_F_")] ulong z,
  1553. [ValueSource("_2S_F_")] ulong a,
  1554. [Values(0b0u, 0b1u)] uint q, // <2S, 4S>
  1555. [Values(RMode.Rn)] RMode rMode)
  1556. {
  1557. opcodes |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1558. opcodes |= ((q & 1) << 30);
  1559. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1560. Vector128<float> v1 = MakeVectorE0E1(a, a * q);
  1561. int rnd = (int)TestContext.CurrentContext.Random.NextUInt();
  1562. int fpcr = (int)rMode << (int)Fpcr.RMode;
  1563. fpcr |= rnd & (1 << (int)Fpcr.Fz);
  1564. fpcr |= rnd & (1 << (int)Fpcr.Dn);
  1565. SingleOpcode(opcodes, v0: v0, v1: v1, fpcr: fpcr);
  1566. CompareAgainstUnicorn(fpsrMask: Fpsr.Ioc | Fpsr.Dzc | Fpsr.Ofc | Fpsr.Ufc | Fpsr.Ixc | Fpsr.Idc);
  1567. }
  1568. [Test, Pairwise] [Explicit]
  1569. public void F_Recpe_Rsqrte_V_2D([ValueSource("_F_Recpe_Rsqrte_V_2D_")] uint opcodes,
  1570. [Values(0u)] uint rd,
  1571. [Values(1u, 0u)] uint rn,
  1572. [ValueSource("_1D_F_")] ulong z,
  1573. [ValueSource("_1D_F_")] ulong a,
  1574. [Values(RMode.Rn)] RMode rMode)
  1575. {
  1576. opcodes |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1577. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1578. Vector128<float> v1 = MakeVectorE0E1(a, a);
  1579. int rnd = (int)TestContext.CurrentContext.Random.NextUInt();
  1580. int fpcr = (int)rMode << (int)Fpcr.RMode;
  1581. fpcr |= rnd & (1 << (int)Fpcr.Fz);
  1582. fpcr |= rnd & (1 << (int)Fpcr.Dn);
  1583. SingleOpcode(opcodes, v0: v0, v1: v1, fpcr: fpcr);
  1584. CompareAgainstUnicorn(fpsrMask: Fpsr.Ioc | Fpsr.Dzc | Fpsr.Ofc | Fpsr.Ufc | Fpsr.Ixc | Fpsr.Idc);
  1585. }
  1586. [Test, Pairwise] [Explicit]
  1587. public void F_Rint_AMNPZ_S_S([ValueSource("_F_Rint_AMNPZ_S_S_")] uint opcodes,
  1588. [ValueSource("_1S_F_")] ulong a)
  1589. {
  1590. ulong z = TestContext.CurrentContext.Random.NextULong();
  1591. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1592. Vector128<float> v1 = MakeVectorE0(a);
  1593. SingleOpcode(opcodes, v0: v0, v1: v1);
  1594. CompareAgainstUnicorn();
  1595. }
  1596. [Test, Pairwise] [Explicit]
  1597. public void F_Rint_AMNPZ_S_D([ValueSource("_F_Rint_AMNPZ_S_D_")] uint opcodes,
  1598. [ValueSource("_1D_F_")] ulong a)
  1599. {
  1600. ulong z = TestContext.CurrentContext.Random.NextULong();
  1601. Vector128<float> v0 = MakeVectorE1(z);
  1602. Vector128<float> v1 = MakeVectorE0(a);
  1603. SingleOpcode(opcodes, v0: v0, v1: v1);
  1604. CompareAgainstUnicorn();
  1605. }
  1606. [Test, Pairwise] [Explicit]
  1607. public void F_Rint_AMNPZ_V_2S_4S([ValueSource("_F_Rint_AMNPZ_V_2S_4S_")] uint opcodes,
  1608. [Values(0u)] uint rd,
  1609. [Values(1u, 0u)] uint rn,
  1610. [ValueSource("_2S_F_")] ulong z,
  1611. [ValueSource("_2S_F_")] ulong a,
  1612. [Values(0b0u, 0b1u)] uint q) // <2S, 4S>
  1613. {
  1614. opcodes |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1615. opcodes |= ((q & 1) << 30);
  1616. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1617. Vector128<float> v1 = MakeVectorE0E1(a, a * q);
  1618. SingleOpcode(opcodes, v0: v0, v1: v1);
  1619. CompareAgainstUnicorn();
  1620. }
  1621. [Test, Pairwise] [Explicit]
  1622. public void F_Rint_AMNPZ_V_2D([ValueSource("_F_Rint_AMNPZ_V_2D_")] uint opcodes,
  1623. [Values(0u)] uint rd,
  1624. [Values(1u, 0u)] uint rn,
  1625. [ValueSource("_1D_F_")] ulong z,
  1626. [ValueSource("_1D_F_")] ulong a)
  1627. {
  1628. opcodes |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1629. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1630. Vector128<float> v1 = MakeVectorE0E1(a, a);
  1631. SingleOpcode(opcodes, v0: v0, v1: v1);
  1632. CompareAgainstUnicorn();
  1633. }
  1634. [Test, Pairwise] [Explicit]
  1635. public void F_Rint_IX_S_S([ValueSource("_F_Rint_IX_S_S_")] uint opcodes,
  1636. [ValueSource("_1S_F_")] ulong a,
  1637. [Values] RMode rMode)
  1638. {
  1639. ulong z = TestContext.CurrentContext.Random.NextULong();
  1640. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1641. Vector128<float> v1 = MakeVectorE0(a);
  1642. int fpcr = (int)rMode << (int)Fpcr.RMode;
  1643. SingleOpcode(opcodes, v0: v0, v1: v1, fpcr: fpcr);
  1644. CompareAgainstUnicorn();
  1645. }
  1646. [Test, Pairwise] [Explicit]
  1647. public void F_Rint_IX_S_D([ValueSource("_F_Rint_IX_S_D_")] uint opcodes,
  1648. [ValueSource("_1D_F_")] ulong a,
  1649. [Values] RMode rMode)
  1650. {
  1651. ulong z = TestContext.CurrentContext.Random.NextULong();
  1652. Vector128<float> v0 = MakeVectorE1(z);
  1653. Vector128<float> v1 = MakeVectorE0(a);
  1654. int fpcr = (int)rMode << (int)Fpcr.RMode;
  1655. SingleOpcode(opcodes, v0: v0, v1: v1, fpcr: fpcr);
  1656. CompareAgainstUnicorn();
  1657. }
  1658. [Test, Pairwise] [Explicit]
  1659. public void F_Rint_IX_V_2S_4S([ValueSource("_F_Rint_IX_V_2S_4S_")] uint opcodes,
  1660. [Values(0u)] uint rd,
  1661. [Values(1u, 0u)] uint rn,
  1662. [ValueSource("_2S_F_")] ulong z,
  1663. [ValueSource("_2S_F_")] ulong a,
  1664. [Values(0b0u, 0b1u)] uint q, // <2S, 4S>
  1665. [Values] RMode rMode)
  1666. {
  1667. opcodes |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1668. opcodes |= ((q & 1) << 30);
  1669. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1670. Vector128<float> v1 = MakeVectorE0E1(a, a * q);
  1671. int fpcr = (int)rMode << (int)Fpcr.RMode;
  1672. SingleOpcode(opcodes, v0: v0, v1: v1, fpcr: fpcr);
  1673. CompareAgainstUnicorn();
  1674. }
  1675. [Test, Pairwise] [Explicit]
  1676. public void F_Rint_IX_V_2D([ValueSource("_F_Rint_IX_V_2D_")] uint opcodes,
  1677. [Values(0u)] uint rd,
  1678. [Values(1u, 0u)] uint rn,
  1679. [ValueSource("_1D_F_")] ulong z,
  1680. [ValueSource("_1D_F_")] ulong a,
  1681. [Values] RMode rMode)
  1682. {
  1683. opcodes |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1684. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1685. Vector128<float> v1 = MakeVectorE0E1(a, a);
  1686. int fpcr = (int)rMode << (int)Fpcr.RMode;
  1687. SingleOpcode(opcodes, v0: v0, v1: v1, fpcr: fpcr);
  1688. CompareAgainstUnicorn();
  1689. }
  1690. [Test, Pairwise, Description("NEG <V><d>, <V><n>")]
  1691. public void Neg_S_D([Values(0u)] uint rd,
  1692. [Values(1u, 0u)] uint rn,
  1693. [ValueSource("_1D_")] [Random(RndCnt)] ulong z,
  1694. [ValueSource("_1D_")] [Random(RndCnt)] ulong a)
  1695. {
  1696. uint opcode = 0x7EE0B800; // NEG D0, D0
  1697. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1698. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1699. Vector128<float> v1 = MakeVectorE0(a);
  1700. SingleOpcode(opcode, v0: v0, v1: v1);
  1701. CompareAgainstUnicorn();
  1702. }
  1703. [Test, Pairwise, Description("NEG <Vd>.<T>, <Vn>.<T>")]
  1704. public void Neg_V_8B_4H_2S([Values(0u)] uint rd,
  1705. [Values(1u, 0u)] uint rn,
  1706. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong z,
  1707. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong a,
  1708. [Values(0b00u, 0b01u, 0b10u)] uint size) // <8B, 4H, 2S>
  1709. {
  1710. uint opcode = 0x2E20B800; // NEG V0.8B, V0.8B
  1711. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1712. opcode |= ((size & 3) << 22);
  1713. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1714. Vector128<float> v1 = MakeVectorE0(a);
  1715. SingleOpcode(opcode, v0: v0, v1: v1);
  1716. CompareAgainstUnicorn();
  1717. }
  1718. [Test, Pairwise, Description("NEG <Vd>.<T>, <Vn>.<T>")]
  1719. public void Neg_V_16B_8H_4S_2D([Values(0u)] uint rd,
  1720. [Values(1u, 0u)] uint rn,
  1721. [ValueSource("_8B4H2S1D_")] [Random(RndCnt)] ulong z,
  1722. [ValueSource("_8B4H2S1D_")] [Random(RndCnt)] ulong a,
  1723. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint size) // <16B, 8H, 4S, 2D>
  1724. {
  1725. uint opcode = 0x6E20B800; // NEG V0.16B, V0.16B
  1726. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1727. opcode |= ((size & 3) << 22);
  1728. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1729. Vector128<float> v1 = MakeVectorE0E1(a, a);
  1730. SingleOpcode(opcode, v0: v0, v1: v1);
  1731. CompareAgainstUnicorn();
  1732. }
  1733. [Test, Pairwise, Description("NOT <Vd>.<T>, <Vn>.<T>")]
  1734. public void Not_V_8B([Values(0u)] uint rd,
  1735. [Values(1u, 0u)] uint rn,
  1736. [ValueSource("_8B_")] [Random(RndCnt)] ulong z,
  1737. [ValueSource("_8B_")] [Random(RndCnt)] ulong a)
  1738. {
  1739. uint opcode = 0x2E205800; // NOT V0.8B, V0.8B
  1740. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1741. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1742. Vector128<float> v1 = MakeVectorE0(a);
  1743. SingleOpcode(opcode, v0: v0, v1: v1);
  1744. CompareAgainstUnicorn();
  1745. }
  1746. [Test, Pairwise, Description("NOT <Vd>.<T>, <Vn>.<T>")]
  1747. public void Not_V_16B([Values(0u)] uint rd,
  1748. [Values(1u, 0u)] uint rn,
  1749. [ValueSource("_8B_")] [Random(RndCnt)] ulong z,
  1750. [ValueSource("_8B_")] [Random(RndCnt)] ulong a)
  1751. {
  1752. uint opcode = 0x6E205800; // NOT V0.16B, V0.16B
  1753. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1754. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1755. Vector128<float> v1 = MakeVectorE0E1(a, a);
  1756. SingleOpcode(opcode, v0: v0, v1: v1);
  1757. CompareAgainstUnicorn();
  1758. }
  1759. [Test, Pairwise, Description("RBIT <Vd>.<T>, <Vn>.<T>")]
  1760. public void Rbit_V_8B([Values(0u)] uint rd,
  1761. [Values(1u, 0u)] uint rn,
  1762. [ValueSource("_8B_")] [Random(RndCnt)] ulong z,
  1763. [ValueSource("_8B_")] [Random(RndCnt)] ulong a)
  1764. {
  1765. uint opcode = 0x2E605800; // RBIT V0.8B, V0.8B
  1766. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1767. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1768. Vector128<float> v1 = MakeVectorE0(a);
  1769. SingleOpcode(opcode, v0: v0, v1: v1);
  1770. CompareAgainstUnicorn();
  1771. }
  1772. [Test, Pairwise, Description("RBIT <Vd>.<T>, <Vn>.<T>")]
  1773. public void Rbit_V_16B([Values(0u)] uint rd,
  1774. [Values(1u, 0u)] uint rn,
  1775. [ValueSource("_8B_")] [Random(RndCnt)] ulong z,
  1776. [ValueSource("_8B_")] [Random(RndCnt)] ulong a)
  1777. {
  1778. uint opcode = 0x6E605800; // RBIT V0.16B, V0.16B
  1779. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1780. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1781. Vector128<float> v1 = MakeVectorE0E1(a, a);
  1782. SingleOpcode(opcode, v0: v0, v1: v1);
  1783. CompareAgainstUnicorn();
  1784. }
  1785. [Test, Pairwise, Description("REV16 <Vd>.<T>, <Vn>.<T>")]
  1786. public void Rev16_V_8B([Values(0u)] uint rd,
  1787. [Values(1u, 0u)] uint rn,
  1788. [ValueSource("_8B_")] [Random(RndCnt)] ulong z,
  1789. [ValueSource("_8B_")] [Random(RndCnt)] ulong a)
  1790. {
  1791. uint opcode = 0x0E201800; // REV16 V0.8B, V0.8B
  1792. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1793. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1794. Vector128<float> v1 = MakeVectorE0(a);
  1795. SingleOpcode(opcode, v0: v0, v1: v1);
  1796. CompareAgainstUnicorn();
  1797. }
  1798. [Test, Pairwise, Description("REV16 <Vd>.<T>, <Vn>.<T>")]
  1799. public void Rev16_V_16B([Values(0u)] uint rd,
  1800. [Values(1u, 0u)] uint rn,
  1801. [ValueSource("_8B_")] [Random(RndCnt)] ulong z,
  1802. [ValueSource("_8B_")] [Random(RndCnt)] ulong a)
  1803. {
  1804. uint opcode = 0x4E201800; // REV16 V0.16B, V0.16B
  1805. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1806. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1807. Vector128<float> v1 = MakeVectorE0E1(a, a);
  1808. SingleOpcode(opcode, v0: v0, v1: v1);
  1809. CompareAgainstUnicorn();
  1810. }
  1811. [Test, Pairwise, Description("REV32 <Vd>.<T>, <Vn>.<T>")]
  1812. public void Rev32_V_8B_4H([Values(0u)] uint rd,
  1813. [Values(1u, 0u)] uint rn,
  1814. [ValueSource("_8B4H_")] [Random(RndCnt)] ulong z,
  1815. [ValueSource("_8B4H_")] [Random(RndCnt)] ulong a,
  1816. [Values(0b00u, 0b01u)] uint size) // <8B, 4H>
  1817. {
  1818. uint opcode = 0x2E200800; // REV32 V0.8B, V0.8B
  1819. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1820. opcode |= ((size & 3) << 22);
  1821. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1822. Vector128<float> v1 = MakeVectorE0(a);
  1823. SingleOpcode(opcode, v0: v0, v1: v1);
  1824. CompareAgainstUnicorn();
  1825. }
  1826. [Test, Pairwise, Description("REV32 <Vd>.<T>, <Vn>.<T>")]
  1827. public void Rev32_V_16B_8H([Values(0u)] uint rd,
  1828. [Values(1u, 0u)] uint rn,
  1829. [ValueSource("_8B4H_")] [Random(RndCnt)] ulong z,
  1830. [ValueSource("_8B4H_")] [Random(RndCnt)] ulong a,
  1831. [Values(0b00u, 0b01u)] uint size) // <16B, 8H>
  1832. {
  1833. uint opcode = 0x6E200800; // REV32 V0.16B, V0.16B
  1834. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1835. opcode |= ((size & 3) << 22);
  1836. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1837. Vector128<float> v1 = MakeVectorE0E1(a, a);
  1838. SingleOpcode(opcode, v0: v0, v1: v1);
  1839. CompareAgainstUnicorn();
  1840. }
  1841. [Test, Pairwise, Description("REV64 <Vd>.<T>, <Vn>.<T>")]
  1842. public void Rev64_V_8B_4H_2S([Values(0u)] uint rd,
  1843. [Values(1u, 0u)] uint rn,
  1844. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong z,
  1845. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong a,
  1846. [Values(0b00u, 0b01u, 0b10u)] uint size) // <8B, 4H, 2S>
  1847. {
  1848. uint opcode = 0x0E200800; // REV64 V0.8B, V0.8B
  1849. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1850. opcode |= ((size & 3) << 22);
  1851. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1852. Vector128<float> v1 = MakeVectorE0(a);
  1853. SingleOpcode(opcode, v0: v0, v1: v1);
  1854. CompareAgainstUnicorn();
  1855. }
  1856. [Test, Pairwise, Description("REV64 <Vd>.<T>, <Vn>.<T>")]
  1857. public void Rev64_V_16B_8H_4S([Values(0u)] uint rd,
  1858. [Values(1u, 0u)] uint rn,
  1859. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong z,
  1860. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong a,
  1861. [Values(0b00u, 0b01u, 0b10u)] uint size) // <16B, 8H, 4S>
  1862. {
  1863. uint opcode = 0x4E200800; // REV64 V0.16B, V0.16B
  1864. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1865. opcode |= ((size & 3) << 22);
  1866. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1867. Vector128<float> v1 = MakeVectorE0E1(a, a);
  1868. SingleOpcode(opcode, v0: v0, v1: v1);
  1869. CompareAgainstUnicorn();
  1870. }
  1871. [Test, Pairwise, Description("SADALP <Vd>.<Ta>, <Vn>.<Tb>")]
  1872. public void Sadalp_V_8B4H_4H2S_2S1D([Values(0u)] uint rd,
  1873. [Values(1u, 0u)] uint rn,
  1874. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong z,
  1875. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong a,
  1876. [Values(0b00u, 0b01u, 0b10u)] uint size) // <8B4H, 4H2S, 2S1D>
  1877. {
  1878. uint opcode = 0x0E206800; // SADALP V0.4H, V0.8B
  1879. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1880. opcode |= ((size & 3) << 22);
  1881. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1882. Vector128<float> v1 = MakeVectorE0(a);
  1883. SingleOpcode(opcode, v0: v0, v1: v1);
  1884. CompareAgainstUnicorn();
  1885. }
  1886. [Test, Pairwise, Description("SADALP <Vd>.<Ta>, <Vn>.<Tb>")]
  1887. public void Sadalp_V_16B8H_8H4S_4S2D([Values(0u)] uint rd,
  1888. [Values(1u, 0u)] uint rn,
  1889. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong z,
  1890. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong a,
  1891. [Values(0b00u, 0b01u, 0b10u)] uint size) // <16B8H, 8H4S, 4S2D>
  1892. {
  1893. uint opcode = 0x4E206800; // SADALP V0.8H, V0.16B
  1894. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1895. opcode |= ((size & 3) << 22);
  1896. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1897. Vector128<float> v1 = MakeVectorE0E1(a, a);
  1898. SingleOpcode(opcode, v0: v0, v1: v1);
  1899. CompareAgainstUnicorn();
  1900. }
  1901. [Test, Pairwise, Description("SADDLP <Vd>.<Ta>, <Vn>.<Tb>")]
  1902. public void Saddlp_V_8B4H_4H2S_2S1D([Values(0u)] uint rd,
  1903. [Values(1u, 0u)] uint rn,
  1904. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong z,
  1905. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong a,
  1906. [Values(0b00u, 0b01u, 0b10u)] uint size) // <8B4H, 4H2S, 2S1D>
  1907. {
  1908. uint opcode = 0x0E202800; // SADDLP V0.4H, V0.8B
  1909. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1910. opcode |= ((size & 3) << 22);
  1911. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1912. Vector128<float> v1 = MakeVectorE0(a);
  1913. SingleOpcode(opcode, v0: v0, v1: v1);
  1914. CompareAgainstUnicorn();
  1915. }
  1916. [Test, Pairwise, Description("SADDLP <Vd>.<Ta>, <Vn>.<Tb>")]
  1917. public void Saddlp_V_16B8H_8H4S_4S2D([Values(0u)] uint rd,
  1918. [Values(1u, 0u)] uint rn,
  1919. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong z,
  1920. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong a,
  1921. [Values(0b00u, 0b01u, 0b10u)] uint size) // <16B8H, 8H4S, 4S2D>
  1922. {
  1923. uint opcode = 0x4E202800; // SADDLP V0.8H, V0.16B
  1924. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1925. opcode |= ((size & 3) << 22);
  1926. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1927. Vector128<float> v1 = MakeVectorE0E1(a, a);
  1928. SingleOpcode(opcode, v0: v0, v1: v1);
  1929. CompareAgainstUnicorn();
  1930. }
  1931. [Test, Pairwise] [Explicit]
  1932. public void SU_Cvt_F_S_S([ValueSource("_SU_Cvt_F_S_S_")] uint opcodes,
  1933. [ValueSource("_1S_")] [Random(RndCnt)] ulong a)
  1934. {
  1935. ulong z = TestContext.CurrentContext.Random.NextULong();
  1936. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1937. Vector128<float> v1 = MakeVectorE0(a);
  1938. SingleOpcode(opcodes, v0: v0, v1: v1);
  1939. CompareAgainstUnicorn();
  1940. }
  1941. [Test, Pairwise] [Explicit]
  1942. public void SU_Cvt_F_S_D([ValueSource("_SU_Cvt_F_S_D_")] uint opcodes,
  1943. [ValueSource("_1D_")] [Random(RndCnt)] ulong a)
  1944. {
  1945. ulong z = TestContext.CurrentContext.Random.NextULong();
  1946. Vector128<float> v0 = MakeVectorE1(z);
  1947. Vector128<float> v1 = MakeVectorE0(a);
  1948. SingleOpcode(opcodes, v0: v0, v1: v1);
  1949. CompareAgainstUnicorn(fpTolerances: FpTolerances.UpToOneUlpsD); // unsigned
  1950. }
  1951. [Test, Pairwise] [Explicit]
  1952. public void SU_Cvt_F_V_2S_4S([ValueSource("_SU_Cvt_F_V_2S_4S_")] uint opcodes,
  1953. [Values(0u)] uint rd,
  1954. [Values(1u, 0u)] uint rn,
  1955. [ValueSource("_2S_")] [Random(RndCnt)] ulong z,
  1956. [ValueSource("_2S_")] [Random(RndCnt)] ulong a,
  1957. [Values(0b0u, 0b1u)] uint q) // <2S, 4S>
  1958. {
  1959. opcodes |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1960. opcodes |= ((q & 1) << 30);
  1961. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1962. Vector128<float> v1 = MakeVectorE0E1(a, a * q);
  1963. SingleOpcode(opcodes, v0: v0, v1: v1);
  1964. CompareAgainstUnicorn();
  1965. }
  1966. [Test, Pairwise] [Explicit]
  1967. public void SU_Cvt_F_V_2D([ValueSource("_SU_Cvt_F_V_2D_")] uint opcodes,
  1968. [Values(0u)] uint rd,
  1969. [Values(1u, 0u)] uint rn,
  1970. [ValueSource("_1D_")] [Random(RndCnt)] ulong z,
  1971. [ValueSource("_1D_")] [Random(RndCnt)] ulong a)
  1972. {
  1973. opcodes |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1974. Vector128<float> v0 = MakeVectorE0E1(z, z);
  1975. Vector128<float> v1 = MakeVectorE0E1(a, a);
  1976. SingleOpcode(opcodes, v0: v0, v1: v1);
  1977. CompareAgainstUnicorn(fpTolerances: FpTolerances.UpToOneUlpsD); // unsigned
  1978. }
  1979. [Test, Pairwise]
  1980. public void Sha1h_Sha1su1_V([ValueSource("_Sha1h_Sha1su1_V_")] uint opcodes,
  1981. [Values(0u)] uint rd,
  1982. [Values(1u, 0u)] uint rn,
  1983. [Random(RndCnt / 2)] ulong z0, [Random(RndCnt / 2)] ulong z1,
  1984. [Random(RndCnt / 2)] ulong a0, [Random(RndCnt / 2)] ulong a1)
  1985. {
  1986. opcodes |= ((rn & 31) << 5) | ((rd & 31) << 0);
  1987. Vector128<float> v0 = MakeVectorE0E1(z0, z1);
  1988. Vector128<float> v1 = MakeVectorE0E1(a0, a1);
  1989. SingleOpcode(opcodes, v0: v0, v1: v1);
  1990. CompareAgainstUnicorn();
  1991. }
  1992. [Test, Pairwise]
  1993. public void Sha256su0_V([ValueSource("_Sha256su0_V_")] uint opcodes,
  1994. [Values(0u)] uint rd,
  1995. [Values(1u, 0u)] uint rn,
  1996. [Random(RndCnt / 2)] ulong z0, [Random(RndCnt / 2)] ulong z1,
  1997. [Random(RndCnt / 2)] ulong a0, [Random(RndCnt / 2)] ulong a1)
  1998. {
  1999. opcodes |= ((rn & 31) << 5) | ((rd & 31) << 0);
  2000. Vector128<float> v0 = MakeVectorE0E1(z0, z1);
  2001. Vector128<float> v1 = MakeVectorE0E1(a0, a1);
  2002. SingleOpcode(opcodes, v0: v0, v1: v1);
  2003. CompareAgainstUnicorn();
  2004. }
  2005. [Test, Pairwise, Description("SHLL{2} <Vd>.<Ta>, <Vn>.<Tb>, #<shift>")]
  2006. public void Shll_V([Values(0u)] uint rd,
  2007. [Values(1u, 0u)] uint rn,
  2008. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong z,
  2009. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong a,
  2010. [Values(0b00u, 0b01u, 0b10u)] uint size, // <shift: 8, 16, 32>
  2011. [Values(0b0u, 0b1u)] uint q)
  2012. {
  2013. uint opcode = 0x2E213800; // SHLL V0.8H, V0.8B, #8
  2014. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  2015. opcode |= ((size & 3) << 22);
  2016. opcode |= ((q & 1) << 30);
  2017. Vector128<float> v0 = MakeVectorE0E1(z, z);
  2018. Vector128<float> v1 = MakeVectorE0E1(q == 0u ? a : 0ul, q == 1u ? a : 0ul);
  2019. SingleOpcode(opcode, v0: v0, v1: v1);
  2020. CompareAgainstUnicorn();
  2021. }
  2022. [Test, Pairwise, Description("SQABS <V><d>, <V><n>")]
  2023. public void Sqabs_S_B_H_S_D([Values(0u)] uint rd,
  2024. [Values(1u, 0u)] uint rn,
  2025. [ValueSource("_1B1H1S1D_")] [Random(RndCnt)] ulong z,
  2026. [ValueSource("_1B1H1S1D_")] [Random(RndCnt)] ulong a,
  2027. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint size) // <B, H, S, D>
  2028. {
  2029. uint opcode = 0x5E207800; // SQABS B0, B0
  2030. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  2031. opcode |= ((size & 3) << 22);
  2032. Vector128<float> v0 = MakeVectorE0E1(z, z);
  2033. Vector128<float> v1 = MakeVectorE0(a);
  2034. SingleOpcode(opcode, v0: v0, v1: v1);
  2035. CompareAgainstUnicorn(fpsrMask: Fpsr.Qc);
  2036. }
  2037. [Test, Pairwise, Description("SQABS <Vd>.<T>, <Vn>.<T>")]
  2038. public void Sqabs_V_8B_4H_2S([Values(0u)] uint rd,
  2039. [Values(1u, 0u)] uint rn,
  2040. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong z,
  2041. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong a,
  2042. [Values(0b00u, 0b01u, 0b10u)] uint size) // <8B, 4H, 2S>
  2043. {
  2044. uint opcode = 0x0E207800; // SQABS V0.8B, V0.8B
  2045. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  2046. opcode |= ((size & 3) << 22);
  2047. Vector128<float> v0 = MakeVectorE0E1(z, z);
  2048. Vector128<float> v1 = MakeVectorE0(a);
  2049. SingleOpcode(opcode, v0: v0, v1: v1);
  2050. CompareAgainstUnicorn(fpsrMask: Fpsr.Qc);
  2051. }
  2052. [Test, Pairwise, Description("SQABS <Vd>.<T>, <Vn>.<T>")]
  2053. public void Sqabs_V_16B_8H_4S_2D([Values(0u)] uint rd,
  2054. [Values(1u, 0u)] uint rn,
  2055. [ValueSource("_8B4H2S1D_")] [Random(RndCnt)] ulong z,
  2056. [ValueSource("_8B4H2S1D_")] [Random(RndCnt)] ulong a,
  2057. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint size) // <16B, 8H, 4S, 2D>
  2058. {
  2059. uint opcode = 0x4E207800; // SQABS V0.16B, V0.16B
  2060. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  2061. opcode |= ((size & 3) << 22);
  2062. Vector128<float> v0 = MakeVectorE0E1(z, z);
  2063. Vector128<float> v1 = MakeVectorE0E1(a, a);
  2064. SingleOpcode(opcode, v0: v0, v1: v1);
  2065. CompareAgainstUnicorn(fpsrMask: Fpsr.Qc);
  2066. }
  2067. [Test, Pairwise, Description("SQNEG <V><d>, <V><n>")]
  2068. public void Sqneg_S_B_H_S_D([Values(0u)] uint rd,
  2069. [Values(1u, 0u)] uint rn,
  2070. [ValueSource("_1B1H1S1D_")] [Random(RndCnt)] ulong z,
  2071. [ValueSource("_1B1H1S1D_")] [Random(RndCnt)] ulong a,
  2072. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint size) // <B, H, S, D>
  2073. {
  2074. uint opcode = 0x7E207800; // SQNEG B0, B0
  2075. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  2076. opcode |= ((size & 3) << 22);
  2077. Vector128<float> v0 = MakeVectorE0E1(z, z);
  2078. Vector128<float> v1 = MakeVectorE0(a);
  2079. SingleOpcode(opcode, v0: v0, v1: v1);
  2080. CompareAgainstUnicorn(fpsrMask: Fpsr.Qc);
  2081. }
  2082. [Test, Pairwise, Description("SQNEG <Vd>.<T>, <Vn>.<T>")]
  2083. public void Sqneg_V_8B_4H_2S([Values(0u)] uint rd,
  2084. [Values(1u, 0u)] uint rn,
  2085. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong z,
  2086. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong a,
  2087. [Values(0b00u, 0b01u, 0b10u)] uint size) // <8B, 4H, 2S>
  2088. {
  2089. uint opcode = 0x2E207800; // SQNEG V0.8B, V0.8B
  2090. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  2091. opcode |= ((size & 3) << 22);
  2092. Vector128<float> v0 = MakeVectorE0E1(z, z);
  2093. Vector128<float> v1 = MakeVectorE0(a);
  2094. SingleOpcode(opcode, v0: v0, v1: v1);
  2095. CompareAgainstUnicorn(fpsrMask: Fpsr.Qc);
  2096. }
  2097. [Test, Pairwise, Description("SQNEG <Vd>.<T>, <Vn>.<T>")]
  2098. public void Sqneg_V_16B_8H_4S_2D([Values(0u)] uint rd,
  2099. [Values(1u, 0u)] uint rn,
  2100. [ValueSource("_8B4H2S1D_")] [Random(RndCnt)] ulong z,
  2101. [ValueSource("_8B4H2S1D_")] [Random(RndCnt)] ulong a,
  2102. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint size) // <16B, 8H, 4S, 2D>
  2103. {
  2104. uint opcode = 0x6E207800; // SQNEG V0.16B, V0.16B
  2105. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  2106. opcode |= ((size & 3) << 22);
  2107. Vector128<float> v0 = MakeVectorE0E1(z, z);
  2108. Vector128<float> v1 = MakeVectorE0E1(a, a);
  2109. SingleOpcode(opcode, v0: v0, v1: v1);
  2110. CompareAgainstUnicorn(fpsrMask: Fpsr.Qc);
  2111. }
  2112. [Test, Pairwise, Description("SQXTN <Vb><d>, <Va><n>")]
  2113. public void Sqxtn_S_HB_SH_DS([Values(0u)] uint rd,
  2114. [Values(1u, 0u)] uint rn,
  2115. [ValueSource("_1H1S1D_")] [Random(RndCnt)] ulong z,
  2116. [ValueSource("_1H1S1D_")] [Random(RndCnt)] ulong a,
  2117. [Values(0b00u, 0b01u, 0b10u)] uint size) // <HB, SH, DS>
  2118. {
  2119. uint opcode = 0x5E214800; // SQXTN B0, H0
  2120. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  2121. opcode |= ((size & 3) << 22);
  2122. Vector128<float> v0 = MakeVectorE0E1(z, z);
  2123. Vector128<float> v1 = MakeVectorE0(a);
  2124. SingleOpcode(opcode, v0: v0, v1: v1);
  2125. CompareAgainstUnicorn(fpsrMask: Fpsr.Qc);
  2126. }
  2127. [Test, Pairwise, Description("SQXTN{2} <Vd>.<Tb>, <Vn>.<Ta>")]
  2128. public void Sqxtn_V_8H8B_4S4H_2D2S([Values(0u)] uint rd,
  2129. [Values(1u, 0u)] uint rn,
  2130. [ValueSource("_4H2S1D_")] [Random(RndCnt)] ulong z,
  2131. [ValueSource("_4H2S1D_")] [Random(RndCnt)] ulong a,
  2132. [Values(0b00u, 0b01u, 0b10u)] uint size) // <8H8B, 4S4H, 2D2S>
  2133. {
  2134. uint opcode = 0x0E214800; // SQXTN V0.8B, V0.8H
  2135. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  2136. opcode |= ((size & 3) << 22);
  2137. Vector128<float> v0 = MakeVectorE0E1(z, z);
  2138. Vector128<float> v1 = MakeVectorE0E1(a, a);
  2139. SingleOpcode(opcode, v0: v0, v1: v1);
  2140. CompareAgainstUnicorn(fpsrMask: Fpsr.Qc);
  2141. }
  2142. [Test, Pairwise, Description("SQXTN{2} <Vd>.<Tb>, <Vn>.<Ta>")]
  2143. public void Sqxtn_V_8H16B_4S8H_2D4S([Values(0u)] uint rd,
  2144. [Values(1u, 0u)] uint rn,
  2145. [ValueSource("_4H2S1D_")] [Random(RndCnt)] ulong z,
  2146. [ValueSource("_4H2S1D_")] [Random(RndCnt)] ulong a,
  2147. [Values(0b00u, 0b01u, 0b10u)] uint size) // <8H16B, 4S8H, 2D4S>
  2148. {
  2149. uint opcode = 0x4E214800; // SQXTN2 V0.16B, V0.8H
  2150. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  2151. opcode |= ((size & 3) << 22);
  2152. Vector128<float> v0 = MakeVectorE0E1(z, z);
  2153. Vector128<float> v1 = MakeVectorE0E1(a, a);
  2154. SingleOpcode(opcode, v0: v0, v1: v1);
  2155. CompareAgainstUnicorn(fpsrMask: Fpsr.Qc);
  2156. }
  2157. [Test, Pairwise, Description("SQXTUN <Vb><d>, <Va><n>")]
  2158. public void Sqxtun_S_HB_SH_DS([Values(0u)] uint rd,
  2159. [Values(1u, 0u)] uint rn,
  2160. [ValueSource("_1H1S1D_")] [Random(RndCnt)] ulong z,
  2161. [ValueSource("_1H1S1D_")] [Random(RndCnt)] ulong a,
  2162. [Values(0b00u, 0b01u, 0b10u)] uint size) // <HB, SH, DS>
  2163. {
  2164. uint opcode = 0x7E212800; // SQXTUN B0, H0
  2165. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  2166. opcode |= ((size & 3) << 22);
  2167. Vector128<float> v0 = MakeVectorE0E1(z, z);
  2168. Vector128<float> v1 = MakeVectorE0(a);
  2169. SingleOpcode(opcode, v0: v0, v1: v1);
  2170. CompareAgainstUnicorn(fpsrMask: Fpsr.Qc);
  2171. }
  2172. [Test, Pairwise, Description("SQXTUN{2} <Vd>.<Tb>, <Vn>.<Ta>")]
  2173. public void Sqxtun_V_8H8B_4S4H_2D2S([Values(0u)] uint rd,
  2174. [Values(1u, 0u)] uint rn,
  2175. [ValueSource("_4H2S1D_")] [Random(RndCnt)] ulong z,
  2176. [ValueSource("_4H2S1D_")] [Random(RndCnt)] ulong a,
  2177. [Values(0b00u, 0b01u, 0b10u)] uint size) // <8H8B, 4S4H, 2D2S>
  2178. {
  2179. uint opcode = 0x2E212800; // SQXTUN V0.8B, V0.8H
  2180. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  2181. opcode |= ((size & 3) << 22);
  2182. Vector128<float> v0 = MakeVectorE0E1(z, z);
  2183. Vector128<float> v1 = MakeVectorE0E1(a, a);
  2184. SingleOpcode(opcode, v0: v0, v1: v1);
  2185. CompareAgainstUnicorn(fpsrMask: Fpsr.Qc);
  2186. }
  2187. [Test, Pairwise, Description("SQXTUN{2} <Vd>.<Tb>, <Vn>.<Ta>")]
  2188. public void Sqxtun_V_8H16B_4S8H_2D4S([Values(0u)] uint rd,
  2189. [Values(1u, 0u)] uint rn,
  2190. [ValueSource("_4H2S1D_")] [Random(RndCnt)] ulong z,
  2191. [ValueSource("_4H2S1D_")] [Random(RndCnt)] ulong a,
  2192. [Values(0b00u, 0b01u, 0b10u)] uint size) // <8H16B, 4S8H, 2D4S>
  2193. {
  2194. uint opcode = 0x6E212800; // SQXTUN2 V0.16B, V0.8H
  2195. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  2196. opcode |= ((size & 3) << 22);
  2197. Vector128<float> v0 = MakeVectorE0E1(z, z);
  2198. Vector128<float> v1 = MakeVectorE0E1(a, a);
  2199. SingleOpcode(opcode, v0: v0, v1: v1);
  2200. CompareAgainstUnicorn(fpsrMask: Fpsr.Qc);
  2201. }
  2202. [Test, Pairwise, Description("SUQADD <V><d>, <V><n>")]
  2203. public void Suqadd_S_B_H_S_D([Values(0u)] uint rd,
  2204. [Values(1u, 0u)] uint rn,
  2205. [ValueSource("_1B1H1S1D_")] [Random(RndCnt)] ulong z,
  2206. [ValueSource("_1B1H1S1D_")] [Random(RndCnt)] ulong a,
  2207. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint size) // <B, H, S, D>
  2208. {
  2209. uint opcode = 0x5E203800; // SUQADD B0, B0
  2210. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  2211. opcode |= ((size & 3) << 22);
  2212. Vector128<float> v0 = MakeVectorE0E1(z, z);
  2213. Vector128<float> v1 = MakeVectorE0(a);
  2214. SingleOpcode(opcode, v0: v0, v1: v1);
  2215. CompareAgainstUnicorn(fpsrMask: Fpsr.Qc);
  2216. }
  2217. [Test, Pairwise, Description("SUQADD <Vd>.<T>, <Vn>.<T>")]
  2218. public void Suqadd_V_8B_4H_2S([Values(0u)] uint rd,
  2219. [Values(1u, 0u)] uint rn,
  2220. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong z,
  2221. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong a,
  2222. [Values(0b00u, 0b01u, 0b10u)] uint size) // <8B, 4H, 2S>
  2223. {
  2224. uint opcode = 0x0E203800; // SUQADD V0.8B, V0.8B
  2225. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  2226. opcode |= ((size & 3) << 22);
  2227. Vector128<float> v0 = MakeVectorE0E1(z, z);
  2228. Vector128<float> v1 = MakeVectorE0(a);
  2229. SingleOpcode(opcode, v0: v0, v1: v1);
  2230. CompareAgainstUnicorn(fpsrMask: Fpsr.Qc);
  2231. }
  2232. [Test, Pairwise, Description("SUQADD <Vd>.<T>, <Vn>.<T>")]
  2233. public void Suqadd_V_16B_8H_4S_2D([Values(0u)] uint rd,
  2234. [Values(1u, 0u)] uint rn,
  2235. [ValueSource("_8B4H2S1D_")] [Random(RndCnt)] ulong z,
  2236. [ValueSource("_8B4H2S1D_")] [Random(RndCnt)] ulong a,
  2237. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint size) // <16B, 8H, 4S, 2D>
  2238. {
  2239. uint opcode = 0x4E203800; // SUQADD V0.16B, V0.16B
  2240. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  2241. opcode |= ((size & 3) << 22);
  2242. Vector128<float> v0 = MakeVectorE0E1(z, z);
  2243. Vector128<float> v1 = MakeVectorE0E1(a, a);
  2244. SingleOpcode(opcode, v0: v0, v1: v1);
  2245. CompareAgainstUnicorn(fpsrMask: Fpsr.Qc);
  2246. }
  2247. [Test, Pairwise, Description("UADALP <Vd>.<Ta>, <Vn>.<Tb>")]
  2248. public void Uadalp_V_8B4H_4H2S_2S1D([Values(0u)] uint rd,
  2249. [Values(1u, 0u)] uint rn,
  2250. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong z,
  2251. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong a,
  2252. [Values(0b00u, 0b01u, 0b10u)] uint size) // <8B4H, 4H2S, 2S1D>
  2253. {
  2254. uint opcode = 0x2E206800; // UADALP V0.4H, V0.8B
  2255. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  2256. opcode |= ((size & 3) << 22);
  2257. Vector128<float> v0 = MakeVectorE0E1(z, z);
  2258. Vector128<float> v1 = MakeVectorE0(a);
  2259. SingleOpcode(opcode, v0: v0, v1: v1);
  2260. CompareAgainstUnicorn();
  2261. }
  2262. [Test, Pairwise, Description("UADALP <Vd>.<Ta>, <Vn>.<Tb>")]
  2263. public void Uadalp_V_16B8H_8H4S_4S2D([Values(0u)] uint rd,
  2264. [Values(1u, 0u)] uint rn,
  2265. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong z,
  2266. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong a,
  2267. [Values(0b00u, 0b01u, 0b10u)] uint size) // <16B8H, 8H4S, 4S2D>
  2268. {
  2269. uint opcode = 0x6E206800; // UADALP V0.8H, V0.16B
  2270. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  2271. opcode |= ((size & 3) << 22);
  2272. Vector128<float> v0 = MakeVectorE0E1(z, z);
  2273. Vector128<float> v1 = MakeVectorE0E1(a, a);
  2274. SingleOpcode(opcode, v0: v0, v1: v1);
  2275. CompareAgainstUnicorn();
  2276. }
  2277. [Test, Pairwise, Description("UADDLP <Vd>.<Ta>, <Vn>.<Tb>")]
  2278. public void Uaddlp_V_8B4H_4H2S_2S1D([Values(0u)] uint rd,
  2279. [Values(1u, 0u)] uint rn,
  2280. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong z,
  2281. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong a,
  2282. [Values(0b00u, 0b01u, 0b10u)] uint size) // <8B4H, 4H2S, 2S1D>
  2283. {
  2284. uint opcode = 0x2E202800; // UADDLP V0.4H, V0.8B
  2285. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  2286. opcode |= ((size & 3) << 22);
  2287. Vector128<float> v0 = MakeVectorE0E1(z, z);
  2288. Vector128<float> v1 = MakeVectorE0(a);
  2289. SingleOpcode(opcode, v0: v0, v1: v1);
  2290. CompareAgainstUnicorn();
  2291. }
  2292. [Test, Pairwise, Description("UADDLP <Vd>.<Ta>, <Vn>.<Tb>")]
  2293. public void Uaddlp_V_16B8H_8H4S_4S2D([Values(0u)] uint rd,
  2294. [Values(1u, 0u)] uint rn,
  2295. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong z,
  2296. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong a,
  2297. [Values(0b00u, 0b01u, 0b10u)] uint size) // <16B8H, 8H4S, 4S2D>
  2298. {
  2299. uint opcode = 0x6E202800; // UADDLP V0.8H, V0.16B
  2300. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  2301. opcode |= ((size & 3) << 22);
  2302. Vector128<float> v0 = MakeVectorE0E1(z, z);
  2303. Vector128<float> v1 = MakeVectorE0E1(a, a);
  2304. SingleOpcode(opcode, v0: v0, v1: v1);
  2305. CompareAgainstUnicorn();
  2306. }
  2307. [Test, Pairwise, Description("UQXTN <Vb><d>, <Va><n>")]
  2308. public void Uqxtn_S_HB_SH_DS([Values(0u)] uint rd,
  2309. [Values(1u, 0u)] uint rn,
  2310. [ValueSource("_1H1S1D_")] [Random(RndCnt)] ulong z,
  2311. [ValueSource("_1H1S1D_")] [Random(RndCnt)] ulong a,
  2312. [Values(0b00u, 0b01u, 0b10u)] uint size) // <HB, SH, DS>
  2313. {
  2314. uint opcode = 0x7E214800; // UQXTN B0, H0
  2315. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  2316. opcode |= ((size & 3) << 22);
  2317. Vector128<float> v0 = MakeVectorE0E1(z, z);
  2318. Vector128<float> v1 = MakeVectorE0(a);
  2319. SingleOpcode(opcode, v0: v0, v1: v1);
  2320. CompareAgainstUnicorn(fpsrMask: Fpsr.Qc);
  2321. }
  2322. [Test, Pairwise, Description("UQXTN{2} <Vd>.<Tb>, <Vn>.<Ta>")]
  2323. public void Uqxtn_V_8H8B_4S4H_2D2S([Values(0u)] uint rd,
  2324. [Values(1u, 0u)] uint rn,
  2325. [ValueSource("_4H2S1D_")] [Random(RndCnt)] ulong z,
  2326. [ValueSource("_4H2S1D_")] [Random(RndCnt)] ulong a,
  2327. [Values(0b00u, 0b01u, 0b10u)] uint size) // <8H8B, 4S4H, 2D2S>
  2328. {
  2329. uint opcode = 0x2E214800; // UQXTN V0.8B, V0.8H
  2330. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  2331. opcode |= ((size & 3) << 22);
  2332. Vector128<float> v0 = MakeVectorE0E1(z, z);
  2333. Vector128<float> v1 = MakeVectorE0E1(a, a);
  2334. SingleOpcode(opcode, v0: v0, v1: v1);
  2335. CompareAgainstUnicorn(fpsrMask: Fpsr.Qc);
  2336. }
  2337. [Test, Pairwise, Description("UQXTN{2} <Vd>.<Tb>, <Vn>.<Ta>")]
  2338. public void Uqxtn_V_8H16B_4S8H_2D4S([Values(0u)] uint rd,
  2339. [Values(1u, 0u)] uint rn,
  2340. [ValueSource("_4H2S1D_")] [Random(RndCnt)] ulong z,
  2341. [ValueSource("_4H2S1D_")] [Random(RndCnt)] ulong a,
  2342. [Values(0b00u, 0b01u, 0b10u)] uint size) // <8H16B, 4S8H, 2D4S>
  2343. {
  2344. uint opcode = 0x6E214800; // UQXTN2 V0.16B, V0.8H
  2345. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  2346. opcode |= ((size & 3) << 22);
  2347. Vector128<float> v0 = MakeVectorE0E1(z, z);
  2348. Vector128<float> v1 = MakeVectorE0E1(a, a);
  2349. SingleOpcode(opcode, v0: v0, v1: v1);
  2350. CompareAgainstUnicorn(fpsrMask: Fpsr.Qc);
  2351. }
  2352. [Test, Pairwise, Description("USQADD <V><d>, <V><n>")]
  2353. public void Usqadd_S_B_H_S_D([Values(0u)] uint rd,
  2354. [Values(1u, 0u)] uint rn,
  2355. [ValueSource("_1B1H1S1D_")] [Random(RndCnt)] ulong z,
  2356. [ValueSource("_1B1H1S1D_")] [Random(RndCnt)] ulong a,
  2357. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint size) // <B, H, S, D>
  2358. {
  2359. uint opcode = 0x7E203800; // USQADD B0, B0
  2360. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  2361. opcode |= ((size & 3) << 22);
  2362. Vector128<float> v0 = MakeVectorE0E1(z, z);
  2363. Vector128<float> v1 = MakeVectorE0(a);
  2364. SingleOpcode(opcode, v0: v0, v1: v1);
  2365. CompareAgainstUnicorn(fpsrMask: Fpsr.Qc);
  2366. }
  2367. [Test, Pairwise, Description("USQADD <Vd>.<T>, <Vn>.<T>")]
  2368. public void Usqadd_V_8B_4H_2S([Values(0u)] uint rd,
  2369. [Values(1u, 0u)] uint rn,
  2370. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong z,
  2371. [ValueSource("_8B4H2S_")] [Random(RndCnt)] ulong a,
  2372. [Values(0b00u, 0b01u, 0b10u)] uint size) // <8B, 4H, 2S>
  2373. {
  2374. uint opcode = 0x2E203800; // USQADD V0.8B, V0.8B
  2375. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  2376. opcode |= ((size & 3) << 22);
  2377. Vector128<float> v0 = MakeVectorE0E1(z, z);
  2378. Vector128<float> v1 = MakeVectorE0(a);
  2379. SingleOpcode(opcode, v0: v0, v1: v1);
  2380. CompareAgainstUnicorn(fpsrMask: Fpsr.Qc);
  2381. }
  2382. [Test, Pairwise, Description("USQADD <Vd>.<T>, <Vn>.<T>")]
  2383. public void Usqadd_V_16B_8H_4S_2D([Values(0u)] uint rd,
  2384. [Values(1u, 0u)] uint rn,
  2385. [ValueSource("_8B4H2S1D_")] [Random(RndCnt)] ulong z,
  2386. [ValueSource("_8B4H2S1D_")] [Random(RndCnt)] ulong a,
  2387. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint size) // <16B, 8H, 4S, 2D>
  2388. {
  2389. uint opcode = 0x6E203800; // USQADD V0.16B, V0.16B
  2390. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  2391. opcode |= ((size & 3) << 22);
  2392. Vector128<float> v0 = MakeVectorE0E1(z, z);
  2393. Vector128<float> v1 = MakeVectorE0E1(a, a);
  2394. SingleOpcode(opcode, v0: v0, v1: v1);
  2395. CompareAgainstUnicorn(fpsrMask: Fpsr.Qc);
  2396. }
  2397. [Test, Pairwise, Description("XTN{2} <Vd>.<Tb>, <Vn>.<Ta>")]
  2398. public void Xtn_V_8H8B_4S4H_2D2S([Values(0u)] uint rd,
  2399. [Values(1u, 0u)] uint rn,
  2400. [ValueSource("_4H2S1D_")] [Random(RndCnt)] ulong z,
  2401. [ValueSource("_4H2S1D_")] [Random(RndCnt)] ulong a,
  2402. [Values(0b00u, 0b01u, 0b10u)] uint size) // <8H8B, 4S4H, 2D2S>
  2403. {
  2404. uint opcode = 0x0E212800; // XTN V0.8B, V0.8H
  2405. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  2406. opcode |= ((size & 3) << 22);
  2407. Vector128<float> v0 = MakeVectorE0E1(z, z);
  2408. Vector128<float> v1 = MakeVectorE0E1(a, a);
  2409. SingleOpcode(opcode, v0: v0, v1: v1);
  2410. CompareAgainstUnicorn();
  2411. }
  2412. [Test, Pairwise, Description("XTN{2} <Vd>.<Tb>, <Vn>.<Ta>")]
  2413. public void Xtn_V_8H16B_4S8H_2D4S([Values(0u)] uint rd,
  2414. [Values(1u, 0u)] uint rn,
  2415. [ValueSource("_4H2S1D_")] [Random(RndCnt)] ulong z,
  2416. [ValueSource("_4H2S1D_")] [Random(RndCnt)] ulong a,
  2417. [Values(0b00u, 0b01u, 0b10u)] uint size) // <8H16B, 4S8H, 2D4S>
  2418. {
  2419. uint opcode = 0x4E212800; // XTN2 V0.16B, V0.8H
  2420. opcode |= ((rn & 31) << 5) | ((rd & 31) << 0);
  2421. opcode |= ((size & 3) << 22);
  2422. Vector128<float> v0 = MakeVectorE0E1(z, z);
  2423. Vector128<float> v1 = MakeVectorE0E1(a, a);
  2424. SingleOpcode(opcode, v0: v0, v1: v1);
  2425. CompareAgainstUnicorn();
  2426. }
  2427. #endif
  2428. }
  2429. }