CpuTestSimd.cs 107 KB

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