CpuTestAluRs.cs 56 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122
  1. #define AluRs
  2. using NUnit.Framework;
  3. namespace Ryujinx.Tests.Cpu
  4. {
  5. [Category("AluRs")]
  6. public sealed class CpuTestAluRs : CpuTest
  7. {
  8. #if AluRs
  9. private const int RndCnt = 2;
  10. private const int RndCntAmount = 2;
  11. private const int RndCntLsb = 2;
  12. [Test, Pairwise, Description("ADC <Xd>, <Xn>, <Xm>")]
  13. public void Adc_64bit([Values(0u, 31u)] uint rd,
  14. [Values(1u, 31u)] uint rn,
  15. [Values(2u, 31u)] uint rm,
  16. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  17. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  18. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  19. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm,
  20. [Values] bool carryIn)
  21. {
  22. uint opcode = 0x9A000000; // ADC X0, X0, X0
  23. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  24. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  25. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31, carry: carryIn);
  26. CompareAgainstUnicorn();
  27. }
  28. [Test, Pairwise, Description("ADC <Wd>, <Wn>, <Wm>")]
  29. public void Adc_32bit([Values(0u, 31u)] uint rd,
  30. [Values(1u, 31u)] uint rn,
  31. [Values(2u, 31u)] uint rm,
  32. [Values(0x00000000u, 0x7FFFFFFFu,
  33. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  34. [Values(0x00000000u, 0x7FFFFFFFu,
  35. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm,
  36. [Values] bool carryIn)
  37. {
  38. uint opcode = 0x1A000000; // ADC W0, W0, W0
  39. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  40. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  41. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31, carry: carryIn);
  42. CompareAgainstUnicorn();
  43. }
  44. [Test, Pairwise, Description("ADCS <Xd>, <Xn>, <Xm>")]
  45. public void Adcs_64bit([Values(0u, 31u)] uint rd,
  46. [Values(1u, 31u)] uint rn,
  47. [Values(2u, 31u)] uint rm,
  48. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  49. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  50. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  51. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm,
  52. [Values] bool carryIn)
  53. {
  54. uint opcode = 0xBA000000; // ADCS X0, X0, X0
  55. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  56. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  57. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31, carry: carryIn);
  58. CompareAgainstUnicorn();
  59. }
  60. [Test, Pairwise, Description("ADCS <Wd>, <Wn>, <Wm>")]
  61. public void Adcs_32bit([Values(0u, 31u)] uint rd,
  62. [Values(1u, 31u)] uint rn,
  63. [Values(2u, 31u)] uint rm,
  64. [Values(0x00000000u, 0x7FFFFFFFu,
  65. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  66. [Values(0x00000000u, 0x7FFFFFFFu,
  67. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm,
  68. [Values] bool carryIn)
  69. {
  70. uint opcode = 0x3A000000; // ADCS W0, W0, W0
  71. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  72. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  73. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31, carry: carryIn);
  74. CompareAgainstUnicorn();
  75. }
  76. [Test, Pairwise, Description("ADD <Xd>, <Xn>, <Xm>{, <shift> #<amount>}")]
  77. public void Add_64bit([Values(0u, 31u)] uint rd,
  78. [Values(1u, 31u)] uint rn,
  79. [Values(2u, 31u)] uint rm,
  80. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  81. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  82. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  83. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm,
  84. [Values(0b00u, 0b01u, 0b10u)] uint shift, // <LSL, LSR, ASR>
  85. [Values(0u, 31u, 32u, 63u)] [Random(0u, 63u, RndCntAmount)] uint amount)
  86. {
  87. uint opcode = 0x8B000000; // ADD X0, X0, X0, LSL #0
  88. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  89. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  90. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  91. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  92. CompareAgainstUnicorn();
  93. }
  94. [Test, Pairwise, Description("ADD <Wd>, <Wn>, <Wm>{, <shift> #<amount>}")]
  95. public void Add_32bit([Values(0u, 31u)] uint rd,
  96. [Values(1u, 31u)] uint rn,
  97. [Values(2u, 31u)] uint rm,
  98. [Values(0x00000000u, 0x7FFFFFFFu,
  99. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  100. [Values(0x00000000u, 0x7FFFFFFFu,
  101. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm,
  102. [Values(0b00u, 0b01u, 0b10u)] uint shift, // <LSL, LSR, ASR>
  103. [Values(0u, 15u, 16u, 31u)] [Random(0u, 31u, RndCntAmount)] uint amount)
  104. {
  105. uint opcode = 0x0B000000; // ADD W0, W0, W0, LSL #0
  106. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  107. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  108. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  109. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  110. CompareAgainstUnicorn();
  111. }
  112. [Test, Pairwise, Description("ADDS <Xd>, <Xn>, <Xm>{, <shift> #<amount>}")]
  113. public void Adds_64bit([Values(0u, 31u)] uint rd,
  114. [Values(1u, 31u)] uint rn,
  115. [Values(2u, 31u)] uint rm,
  116. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  117. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  118. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  119. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm,
  120. [Values(0b00u, 0b01u, 0b10u)] uint shift, // <LSL, LSR, ASR>
  121. [Values(0u, 31u, 32u, 63u)] [Random(0u, 63u, RndCntAmount)] uint amount)
  122. {
  123. uint opcode = 0xAB000000; // ADDS X0, X0, X0, LSL #0
  124. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  125. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  126. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  127. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  128. CompareAgainstUnicorn();
  129. }
  130. [Test, Pairwise, Description("ADDS <Wd>, <Wn>, <Wm>{, <shift> #<amount>}")]
  131. public void Adds_32bit([Values(0u, 31u)] uint rd,
  132. [Values(1u, 31u)] uint rn,
  133. [Values(2u, 31u)] uint rm,
  134. [Values(0x00000000u, 0x7FFFFFFFu,
  135. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  136. [Values(0x00000000u, 0x7FFFFFFFu,
  137. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm,
  138. [Values(0b00u, 0b01u, 0b10u)] uint shift, // <LSL, LSR, ASR>
  139. [Values(0u, 15u, 16u, 31u)] [Random(0u, 31u, RndCntAmount)] uint amount)
  140. {
  141. uint opcode = 0x2B000000; // ADDS W0, W0, W0, LSL #0
  142. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  143. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  144. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  145. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  146. CompareAgainstUnicorn();
  147. }
  148. [Test, Pairwise, Description("AND <Xd>, <Xn>, <Xm>{, <shift> #<amount>}")]
  149. public void And_64bit([Values(0u, 31u)] uint rd,
  150. [Values(1u, 31u)] uint rn,
  151. [Values(2u, 31u)] uint rm,
  152. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  153. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  154. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  155. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm,
  156. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  157. [Values(0u, 31u, 32u, 63u)] [Random(0u, 63u, RndCntAmount)] uint amount)
  158. {
  159. uint opcode = 0x8A000000; // AND X0, X0, X0, LSL #0
  160. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  161. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  162. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  163. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  164. CompareAgainstUnicorn();
  165. }
  166. [Test, Pairwise, Description("AND <Wd>, <Wn>, <Wm>{, <shift> #<amount>}")]
  167. public void And_32bit([Values(0u, 31u)] uint rd,
  168. [Values(1u, 31u)] uint rn,
  169. [Values(2u, 31u)] uint rm,
  170. [Values(0x00000000u, 0x7FFFFFFFu,
  171. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  172. [Values(0x00000000u, 0x7FFFFFFFu,
  173. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm,
  174. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  175. [Values(0u, 15u, 16u, 31u)] [Random(0u, 31u, RndCntAmount)] uint amount)
  176. {
  177. uint opcode = 0x0A000000; // AND W0, W0, W0, LSL #0
  178. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  179. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  180. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  181. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  182. CompareAgainstUnicorn();
  183. }
  184. [Test, Pairwise, Description("ANDS <Xd>, <Xn>, <Xm>{, <shift> #<amount>}")]
  185. public void Ands_64bit([Values(0u, 31u)] uint rd,
  186. [Values(1u, 31u)] uint rn,
  187. [Values(2u, 31u)] uint rm,
  188. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  189. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  190. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  191. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm,
  192. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  193. [Values(0u, 31u, 32u, 63u)] [Random(0u, 63u, RndCntAmount)] uint amount)
  194. {
  195. uint opcode = 0xEA000000; // ANDS X0, X0, X0, LSL #0
  196. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  197. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  198. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  199. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  200. CompareAgainstUnicorn();
  201. }
  202. [Test, Pairwise, Description("ANDS <Wd>, <Wn>, <Wm>{, <shift> #<amount>}")]
  203. public void Ands_32bit([Values(0u, 31u)] uint rd,
  204. [Values(1u, 31u)] uint rn,
  205. [Values(2u, 31u)] uint rm,
  206. [Values(0x00000000u, 0x7FFFFFFFu,
  207. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  208. [Values(0x00000000u, 0x7FFFFFFFu,
  209. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm,
  210. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  211. [Values(0u, 15u, 16u, 31u)] [Random(0u, 31u, RndCntAmount)] uint amount)
  212. {
  213. uint opcode = 0x6A000000; // ANDS W0, W0, W0, LSL #0
  214. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  215. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  216. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  217. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  218. CompareAgainstUnicorn();
  219. }
  220. [Test, Pairwise, Description("ASRV <Xd>, <Xn>, <Xm>")]
  221. public void Asrv_64bit([Values(0u, 31u)] uint rd,
  222. [Values(1u, 31u)] uint rn,
  223. [Values(2u, 31u)] uint rm,
  224. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  225. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  226. [Values(0ul, 31ul, 32ul, 63ul, 0x7FFFFFFFFFFFFFFFul,
  227. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm)
  228. {
  229. uint opcode = 0x9AC02800; // ASRV X0, X0, X0
  230. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  231. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  232. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  233. CompareAgainstUnicorn();
  234. }
  235. [Test, Pairwise, Description("ASRV <Wd>, <Wn>, <Wm>")]
  236. public void Asrv_32bit([Values(0u, 31u)] uint rd,
  237. [Values(1u, 31u)] uint rn,
  238. [Values(2u, 31u)] uint rm,
  239. [Values(0x00000000u, 0x7FFFFFFFu,
  240. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  241. [Values(0u, 15u, 16u, 31u, 0x7FFFFFFFu,
  242. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm)
  243. {
  244. uint opcode = 0x1AC02800; // ASRV W0, W0, W0
  245. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  246. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  247. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  248. CompareAgainstUnicorn();
  249. }
  250. [Test, Pairwise, Description("BIC <Xd>, <Xn>, <Xm>{, <shift> #<amount>}")]
  251. public void Bic_64bit([Values(0u, 31u)] uint rd,
  252. [Values(1u, 31u)] uint rn,
  253. [Values(2u, 31u)] uint rm,
  254. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  255. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  256. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  257. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm,
  258. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  259. [Values(0u, 31u, 32u, 63u)] [Random(0u, 63u, RndCntAmount)] uint amount)
  260. {
  261. uint opcode = 0x8A200000; // BIC X0, X0, X0, LSL #0
  262. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  263. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  264. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  265. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  266. CompareAgainstUnicorn();
  267. }
  268. [Test, Pairwise, Description("BIC <Wd>, <Wn>, <Wm>{, <shift> #<amount>}")]
  269. public void Bic_32bit([Values(0u, 31u)] uint rd,
  270. [Values(1u, 31u)] uint rn,
  271. [Values(2u, 31u)] uint rm,
  272. [Values(0x00000000u, 0x7FFFFFFFu,
  273. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  274. [Values(0x00000000u, 0x7FFFFFFFu,
  275. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm,
  276. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  277. [Values(0u, 15u, 16u, 31u)] [Random(0u, 31u, RndCntAmount)] uint amount)
  278. {
  279. uint opcode = 0x0A200000; // BIC W0, W0, W0, LSL #0
  280. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  281. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  282. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  283. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  284. CompareAgainstUnicorn();
  285. }
  286. [Test, Pairwise, Description("BICS <Xd>, <Xn>, <Xm>{, <shift> #<amount>}")]
  287. public void Bics_64bit([Values(0u, 31u)] uint rd,
  288. [Values(1u, 31u)] uint rn,
  289. [Values(2u, 31u)] uint rm,
  290. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  291. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  292. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  293. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm,
  294. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  295. [Values(0u, 31u, 32u, 63u)] [Random(0u, 63u, RndCntAmount)] uint amount)
  296. {
  297. uint opcode = 0xEA200000; // BICS X0, X0, X0, LSL #0
  298. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  299. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  300. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  301. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  302. CompareAgainstUnicorn();
  303. }
  304. [Test, Pairwise, Description("BICS <Wd>, <Wn>, <Wm>{, <shift> #<amount>}")]
  305. public void Bics_32bit([Values(0u, 31u)] uint rd,
  306. [Values(1u, 31u)] uint rn,
  307. [Values(2u, 31u)] uint rm,
  308. [Values(0x00000000u, 0x7FFFFFFFu,
  309. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  310. [Values(0x00000000u, 0x7FFFFFFFu,
  311. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm,
  312. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  313. [Values(0u, 15u, 16u, 31u)] [Random(0u, 31u, RndCntAmount)] uint amount)
  314. {
  315. uint opcode = 0x6A200000; // BICS W0, W0, W0, LSL #0
  316. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  317. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  318. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  319. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  320. CompareAgainstUnicorn();
  321. }
  322. [Test, Pairwise, Description("CRC32X <Wd>, <Wn>, <Xm>"), Ignore("Unicorn fails.")]
  323. public void Crc32x([Values(0u, 31u)] uint rd,
  324. [Values(1u, 31u)] uint rn,
  325. [Values(2u, 31u)] uint rm,
  326. [Values(0x00000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  327. [Values((ulong)0x00_00_00_00_00_00_00_00,
  328. (ulong)0x7F_FF_FF_FF_FF_FF_FF_FF,
  329. (ulong)0x80_00_00_00_00_00_00_00,
  330. (ulong)0xFF_FF_FF_FF_FF_FF_FF_FF)] [Random(RndCnt)] ulong xm)
  331. {
  332. uint opcode = 0x9AC04C00; // CRC32X W0, W0, X0
  333. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  334. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  335. SingleOpcode(opcode, x1: wn, x2: xm, x31: w31);
  336. CompareAgainstUnicorn();
  337. }
  338. [Test, Pairwise, Description("CRC32W <Wd>, <Wn>, <Wm>"), Ignore("Unicorn fails.")]
  339. public void Crc32w([Values(0u, 31u)] uint rd,
  340. [Values(1u, 31u)] uint rn,
  341. [Values(2u, 31u)] uint rm,
  342. [Values(0x00000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  343. [Values((uint)0x00_00_00_00, (uint)0x7F_FF_FF_FF,
  344. (uint)0x80_00_00_00, (uint)0xFF_FF_FF_FF)] [Random(RndCnt)] uint wm)
  345. {
  346. uint opcode = 0x1AC04800; // CRC32W W0, W0, W0
  347. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  348. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  349. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  350. CompareAgainstUnicorn();
  351. }
  352. [Test, Pairwise, Description("CRC32H <Wd>, <Wn>, <Wm>"), Ignore("Unicorn fails.")]
  353. public void Crc32h([Values(0u, 31u)] uint rd,
  354. [Values(1u, 31u)] uint rn,
  355. [Values(2u, 31u)] uint rm,
  356. [Values(0x00000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  357. [Values((ushort)0x00_00, (ushort)0x7F_FF,
  358. (ushort)0x80_00, (ushort)0xFF_FF)] [Random(RndCnt)] ushort wm)
  359. {
  360. uint opcode = 0x1AC04400; // CRC32H W0, W0, W0
  361. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  362. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  363. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  364. CompareAgainstUnicorn();
  365. }
  366. [Test, Pairwise, Description("CRC32B <Wd>, <Wn>, <Wm>"), Ignore("Unicorn fails.")]
  367. public void Crc32b([Values(0u, 31u)] uint rd,
  368. [Values(1u, 31u)] uint rn,
  369. [Values(2u, 31u)] uint rm,
  370. [Values(0x00000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  371. [Values((byte)0x00, (byte)0x7F,
  372. (byte)0x80, (byte)0xFF)] [Random(RndCnt)] byte wm)
  373. {
  374. uint opcode = 0x1AC04000; // CRC32B W0, W0, W0
  375. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  376. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  377. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  378. CompareAgainstUnicorn();
  379. }
  380. [Test, Pairwise, Description("CRC32CX <Wd>, <Wn>, <Xm>")]
  381. public void Crc32cx([Values(0u, 31u)] uint rd,
  382. [Values(1u, 31u)] uint rn,
  383. [Values(2u, 31u)] uint rm,
  384. [Values(0x00000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  385. [Values((ulong)0x00_00_00_00_00_00_00_00,
  386. (ulong)0x7F_FF_FF_FF_FF_FF_FF_FF,
  387. (ulong)0x80_00_00_00_00_00_00_00,
  388. (ulong)0xFF_FF_FF_FF_FF_FF_FF_FF)] [Random(RndCnt)] ulong xm)
  389. {
  390. uint opcode = 0x9AC05C00; // CRC32CX W0, W0, X0
  391. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  392. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  393. SingleOpcode(opcode, x1: wn, x2: xm, x31: w31);
  394. CompareAgainstUnicorn();
  395. }
  396. [Test, Pairwise, Description("CRC32CW <Wd>, <Wn>, <Wm>")]
  397. public void Crc32cw([Values(0u, 31u)] uint rd,
  398. [Values(1u, 31u)] uint rn,
  399. [Values(2u, 31u)] uint rm,
  400. [Values(0x00000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  401. [Values((uint)0x00_00_00_00, (uint)0x7F_FF_FF_FF,
  402. (uint)0x80_00_00_00, (uint)0xFF_FF_FF_FF)] [Random(RndCnt)] uint wm)
  403. {
  404. uint opcode = 0x1AC05800; // CRC32CW W0, W0, W0
  405. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  406. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  407. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  408. CompareAgainstUnicorn();
  409. }
  410. [Test, Pairwise, Description("CRC32CH <Wd>, <Wn>, <Wm>")]
  411. public void Crc32ch([Values(0u, 31u)] uint rd,
  412. [Values(1u, 31u)] uint rn,
  413. [Values(2u, 31u)] uint rm,
  414. [Values(0x00000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  415. [Values((ushort)0x00_00, (ushort)0x7F_FF,
  416. (ushort)0x80_00, (ushort)0xFF_FF)] [Random(RndCnt)] ushort wm)
  417. {
  418. uint opcode = 0x1AC05400; // CRC32CH W0, W0, W0
  419. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  420. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  421. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  422. CompareAgainstUnicorn();
  423. }
  424. [Test, Pairwise, Description("CRC32CB <Wd>, <Wn>, <Wm>")]
  425. public void Crc32cb([Values(0u, 31u)] uint rd,
  426. [Values(1u, 31u)] uint rn,
  427. [Values(2u, 31u)] uint rm,
  428. [Values(0x00000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  429. [Values((byte)0x00, (byte)0x7F,
  430. (byte)0x80, (byte)0xFF)] [Random(RndCnt)] byte wm)
  431. {
  432. uint opcode = 0x1AC05000; // CRC32CB W0, W0, W0
  433. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  434. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  435. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  436. CompareAgainstUnicorn();
  437. }
  438. [Test, Pairwise, Description("EON <Xd>, <Xn>, <Xm>{, <shift> #<amount>}")]
  439. public void Eon_64bit([Values(0u, 31u)] uint rd,
  440. [Values(1u, 31u)] uint rn,
  441. [Values(2u, 31u)] uint rm,
  442. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  443. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  444. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  445. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm,
  446. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  447. [Values(0u, 31u, 32u, 63u)] [Random(0u, 63u, RndCntAmount)] uint amount)
  448. {
  449. uint opcode = 0xCA200000; // EON X0, X0, X0, LSL #0
  450. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  451. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  452. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  453. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  454. CompareAgainstUnicorn();
  455. }
  456. [Test, Pairwise, Description("EON <Wd>, <Wn>, <Wm>{, <shift> #<amount>}")]
  457. public void Eon_32bit([Values(0u, 31u)] uint rd,
  458. [Values(1u, 31u)] uint rn,
  459. [Values(2u, 31u)] uint rm,
  460. [Values(0x00000000u, 0x7FFFFFFFu,
  461. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  462. [Values(0x00000000u, 0x7FFFFFFFu,
  463. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm,
  464. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  465. [Values(0u, 15u, 16u, 31u)] [Random(0u, 31u, RndCntAmount)] uint amount)
  466. {
  467. uint opcode = 0x4A200000; // EON W0, W0, W0, LSL #0
  468. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  469. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  470. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  471. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  472. CompareAgainstUnicorn();
  473. }
  474. [Test, Pairwise, Description("EOR <Xd>, <Xn>, <Xm>{, <shift> #<amount>}")]
  475. public void Eor_64bit([Values(0u, 31u)] uint rd,
  476. [Values(1u, 31u)] uint rn,
  477. [Values(2u, 31u)] uint rm,
  478. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  479. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  480. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  481. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm,
  482. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  483. [Values(0u, 31u, 32u, 63u)] [Random(0u, 63u, RndCntAmount)] uint amount)
  484. {
  485. uint opcode = 0xCA000000; // EOR X0, X0, X0, LSL #0
  486. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  487. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  488. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  489. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  490. CompareAgainstUnicorn();
  491. }
  492. [Test, Pairwise, Description("EOR <Wd>, <Wn>, <Wm>{, <shift> #<amount>}")]
  493. public void Eor_32bit([Values(0u, 31u)] uint rd,
  494. [Values(1u, 31u)] uint rn,
  495. [Values(2u, 31u)] uint rm,
  496. [Values(0x00000000u, 0x7FFFFFFFu,
  497. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  498. [Values(0x00000000u, 0x7FFFFFFFu,
  499. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm,
  500. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  501. [Values(0u, 15u, 16u, 31u)] [Random(0u, 31u, RndCntAmount)] uint amount)
  502. {
  503. uint opcode = 0x4A000000; // EOR W0, W0, W0, LSL #0
  504. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  505. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  506. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  507. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  508. CompareAgainstUnicorn();
  509. }
  510. [Test, Pairwise, Description("EXTR <Xd>, <Xn>, <Xm>, #<lsb>")]
  511. public void Extr_64bit([Values(0u, 31u)] uint rd,
  512. [Values(1u, 31u)] uint rn,
  513. [Values(2u, 31u)] uint rm,
  514. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  515. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  516. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  517. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm,
  518. [Values(0u, 31u, 32u, 63u)] [Random(0u, 63u, RndCntLsb)] uint lsb)
  519. {
  520. uint opcode = 0x93C00000; // EXTR X0, X0, X0, #0
  521. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  522. opcode |= ((lsb & 63) << 10);
  523. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  524. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  525. CompareAgainstUnicorn();
  526. }
  527. [Test, Pairwise, Description("EXTR <Wd>, <Wn>, <Wm>, #<lsb>")]
  528. public void Extr_32bit([Values(0u, 31u)] uint rd,
  529. [Values(1u, 31u)] uint rn,
  530. [Values(2u, 31u)] uint rm,
  531. [Values(0x00000000u, 0x7FFFFFFFu,
  532. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  533. [Values(0x00000000u, 0x7FFFFFFFu,
  534. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm,
  535. [Values(0u, 15u, 16u, 31u)] [Random(0u, 31u, RndCntLsb)] uint lsb)
  536. {
  537. uint opcode = 0x13800000; // EXTR W0, W0, W0, #0
  538. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  539. opcode |= ((lsb & 63) << 10);
  540. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  541. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  542. CompareAgainstUnicorn();
  543. }
  544. [Test, Pairwise, Description("LSLV <Xd>, <Xn>, <Xm>")]
  545. public void Lslv_64bit([Values(0u, 31u)] uint rd,
  546. [Values(1u, 31u)] uint rn,
  547. [Values(2u, 31u)] uint rm,
  548. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  549. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  550. [Values(0ul, 31ul, 32ul, 63ul, 0x7FFFFFFFFFFFFFFFul,
  551. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm)
  552. {
  553. uint opcode = 0x9AC02000; // LSLV X0, X0, X0
  554. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  555. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  556. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  557. CompareAgainstUnicorn();
  558. }
  559. [Test, Pairwise, Description("LSLV <Wd>, <Wn>, <Wm>")]
  560. public void Lslv_32bit([Values(0u, 31u)] uint rd,
  561. [Values(1u, 31u)] uint rn,
  562. [Values(2u, 31u)] uint rm,
  563. [Values(0x00000000u, 0x7FFFFFFFu,
  564. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  565. [Values(0u, 15u, 16u, 31u, 0x7FFFFFFFu,
  566. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm)
  567. {
  568. uint opcode = 0x1AC02000; // LSLV W0, W0, W0
  569. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  570. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  571. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  572. CompareAgainstUnicorn();
  573. }
  574. [Test, Pairwise, Description("LSRV <Xd>, <Xn>, <Xm>")]
  575. public void Lsrv_64bit([Values(0u, 31u)] uint rd,
  576. [Values(1u, 31u)] uint rn,
  577. [Values(2u, 31u)] uint rm,
  578. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  579. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  580. [Values(0ul, 31ul, 32ul, 63ul, 0x7FFFFFFFFFFFFFFFul,
  581. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm)
  582. {
  583. uint opcode = 0x9AC02400; // LSRV X0, X0, X0
  584. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  585. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  586. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  587. CompareAgainstUnicorn();
  588. }
  589. [Test, Pairwise, Description("LSRV <Wd>, <Wn>, <Wm>")]
  590. public void Lsrv_32bit([Values(0u, 31u)] uint rd,
  591. [Values(1u, 31u)] uint rn,
  592. [Values(2u, 31u)] uint rm,
  593. [Values(0x00000000u, 0x7FFFFFFFu,
  594. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  595. [Values(0u, 15u, 16u, 31u, 0x7FFFFFFFu,
  596. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm)
  597. {
  598. uint opcode = 0x1AC02400; // LSRV W0, W0, W0
  599. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  600. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  601. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  602. CompareAgainstUnicorn();
  603. }
  604. [Test, Pairwise, Description("ORN <Xd>, <Xn>, <Xm>{, <shift> #<amount>}")]
  605. public void Orn_64bit([Values(0u, 31u)] uint rd,
  606. [Values(1u, 31u)] uint rn,
  607. [Values(2u, 31u)] uint rm,
  608. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  609. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  610. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  611. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm,
  612. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  613. [Values(0u, 31u, 32u, 63u)] [Random(0u, 63u, RndCntAmount)] uint amount)
  614. {
  615. uint opcode = 0xAA200000; // ORN X0, X0, X0, LSL #0
  616. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  617. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  618. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  619. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  620. CompareAgainstUnicorn();
  621. }
  622. [Test, Pairwise, Description("ORN <Wd>, <Wn>, <Wm>{, <shift> #<amount>}")]
  623. public void Orn_32bit([Values(0u, 31u)] uint rd,
  624. [Values(1u, 31u)] uint rn,
  625. [Values(2u, 31u)] uint rm,
  626. [Values(0x00000000u, 0x7FFFFFFFu,
  627. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  628. [Values(0x00000000u, 0x7FFFFFFFu,
  629. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm,
  630. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  631. [Values(0u, 15u, 16u, 31u)] [Random(0u, 31u, RndCntAmount)] uint amount)
  632. {
  633. uint opcode = 0x2A200000; // ORN W0, W0, W0, LSL #0
  634. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  635. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  636. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  637. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  638. CompareAgainstUnicorn();
  639. }
  640. [Test, Pairwise, Description("ORR <Xd>, <Xn>, <Xm>{, <shift> #<amount>}")]
  641. public void Orr_64bit([Values(0u, 31u)] uint rd,
  642. [Values(1u, 31u)] uint rn,
  643. [Values(2u, 31u)] uint rm,
  644. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  645. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  646. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  647. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm,
  648. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  649. [Values(0u, 31u, 32u, 63u)] [Random(0u, 63u, RndCntAmount)] uint amount)
  650. {
  651. uint opcode = 0xAA000000; // ORR X0, X0, X0, LSL #0
  652. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  653. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  654. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  655. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  656. CompareAgainstUnicorn();
  657. }
  658. [Test, Pairwise, Description("ORR <Wd>, <Wn>, <Wm>{, <shift> #<amount>}")]
  659. public void Orr_32bit([Values(0u, 31u)] uint rd,
  660. [Values(1u, 31u)] uint rn,
  661. [Values(2u, 31u)] uint rm,
  662. [Values(0x00000000u, 0x7FFFFFFFu,
  663. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  664. [Values(0x00000000u, 0x7FFFFFFFu,
  665. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm,
  666. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  667. [Values(0u, 15u, 16u, 31u)] [Random(0u, 31u, RndCntAmount)] uint amount)
  668. {
  669. uint opcode = 0x2A000000; // ORR W0, W0, W0, LSL #0
  670. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  671. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  672. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  673. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  674. CompareAgainstUnicorn();
  675. }
  676. [Test, Pairwise, Description("RORV <Xd>, <Xn>, <Xm>")]
  677. public void Rorv_64bit([Values(0u, 31u)] uint rd,
  678. [Values(1u, 31u)] uint rn,
  679. [Values(2u, 31u)] uint rm,
  680. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  681. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  682. [Values(0ul, 31ul, 32ul, 63ul, 0x7FFFFFFFFFFFFFFFul,
  683. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm)
  684. {
  685. uint opcode = 0x9AC02C00; // RORV X0, X0, X0
  686. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  687. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  688. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  689. CompareAgainstUnicorn();
  690. }
  691. [Test, Pairwise, Description("RORV <Wd>, <Wn>, <Wm>")]
  692. public void Rorv_32bit([Values(0u, 31u)] uint rd,
  693. [Values(1u, 31u)] uint rn,
  694. [Values(2u, 31u)] uint rm,
  695. [Values(0x00000000u, 0x7FFFFFFFu,
  696. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  697. [Values(0u, 15u, 16u, 31u, 0x7FFFFFFFu,
  698. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm)
  699. {
  700. uint opcode = 0x1AC02C00; // RORV W0, W0, W0
  701. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  702. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  703. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  704. CompareAgainstUnicorn();
  705. }
  706. [Test, Pairwise, Description("SBC <Xd>, <Xn>, <Xm>")]
  707. public void Sbc_64bit([Values(0u, 31u)] uint rd,
  708. [Values(1u, 31u)] uint rn,
  709. [Values(2u, 31u)] uint rm,
  710. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  711. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  712. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  713. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm,
  714. [Values] bool carryIn)
  715. {
  716. uint opcode = 0xDA000000; // SBC X0, X0, X0
  717. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  718. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  719. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31, carry: carryIn);
  720. CompareAgainstUnicorn();
  721. }
  722. [Test, Pairwise, Description("SBC <Wd>, <Wn>, <Wm>")]
  723. public void Sbc_32bit([Values(0u, 31u)] uint rd,
  724. [Values(1u, 31u)] uint rn,
  725. [Values(2u, 31u)] uint rm,
  726. [Values(0x00000000u, 0x7FFFFFFFu,
  727. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  728. [Values(0x00000000u, 0x7FFFFFFFu,
  729. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm,
  730. [Values] bool carryIn)
  731. {
  732. uint opcode = 0x5A000000; // SBC W0, W0, W0
  733. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  734. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  735. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31, carry: carryIn);
  736. CompareAgainstUnicorn();
  737. }
  738. [Test, Pairwise, Description("SBCS <Xd>, <Xn>, <Xm>")]
  739. public void Sbcs_64bit([Values(0u, 31u)] uint rd,
  740. [Values(1u, 31u)] uint rn,
  741. [Values(2u, 31u)] uint rm,
  742. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  743. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  744. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  745. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm,
  746. [Values] bool carryIn)
  747. {
  748. uint opcode = 0xFA000000; // SBCS X0, X0, X0
  749. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  750. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  751. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31, carry: carryIn);
  752. CompareAgainstUnicorn();
  753. }
  754. [Test, Pairwise, Description("SBCS <Wd>, <Wn>, <Wm>")]
  755. public void Sbcs_32bit([Values(0u, 31u)] uint rd,
  756. [Values(1u, 31u)] uint rn,
  757. [Values(2u, 31u)] uint rm,
  758. [Values(0x00000000u, 0x7FFFFFFFu,
  759. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  760. [Values(0x00000000u, 0x7FFFFFFFu,
  761. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm,
  762. [Values] bool carryIn)
  763. {
  764. uint opcode = 0x7A000000; // SBCS W0, W0, W0
  765. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  766. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  767. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31, carry: carryIn);
  768. CompareAgainstUnicorn();
  769. }
  770. [Test, Pairwise, Description("SDIV <Xd>, <Xn>, <Xm>")]
  771. public void Sdiv_64bit([Values(0u, 31u)] uint rd,
  772. [Values(1u, 31u)] uint rn,
  773. [Values(2u, 31u)] uint rm,
  774. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  775. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  776. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  777. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm)
  778. {
  779. uint opcode = 0x9AC00C00; // SDIV X0, X0, X0
  780. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  781. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  782. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  783. CompareAgainstUnicorn();
  784. }
  785. [Test, Pairwise, Description("SDIV <Wd>, <Wn>, <Wm>")]
  786. public void Sdiv_32bit([Values(0u, 31u)] uint rd,
  787. [Values(1u, 31u)] uint rn,
  788. [Values(2u, 31u)] uint rm,
  789. [Values(0x00000000u, 0x7FFFFFFFu,
  790. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  791. [Values(0x00000000u, 0x7FFFFFFFu,
  792. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm)
  793. {
  794. uint opcode = 0x1AC00C00; // SDIV W0, W0, W0
  795. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  796. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  797. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  798. CompareAgainstUnicorn();
  799. }
  800. [Test, Pairwise, Description("SUB <Xd>, <Xn>, <Xm>{, <shift> #<amount>}")]
  801. public void Sub_64bit([Values(0u, 31u)] uint rd,
  802. [Values(1u, 31u)] uint rn,
  803. [Values(2u, 31u)] uint rm,
  804. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  805. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  806. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  807. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm,
  808. [Values(0b00u, 0b01u, 0b10u)] uint shift, // <LSL, LSR, ASR>
  809. [Values(0u, 31u, 32u, 63u)] [Random(0u, 63u, RndCntAmount)] uint amount)
  810. {
  811. uint opcode = 0xCB000000; // SUB X0, X0, X0, LSL #0
  812. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  813. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  814. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  815. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  816. CompareAgainstUnicorn();
  817. }
  818. [Test, Pairwise, Description("SUB <Wd>, <Wn>, <Wm>{, <shift> #<amount>}")]
  819. public void Sub_32bit([Values(0u, 31u)] uint rd,
  820. [Values(1u, 31u)] uint rn,
  821. [Values(2u, 31u)] uint rm,
  822. [Values(0x00000000u, 0x7FFFFFFFu,
  823. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  824. [Values(0x00000000u, 0x7FFFFFFFu,
  825. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm,
  826. [Values(0b00u, 0b01u, 0b10u)] uint shift, // <LSL, LSR, ASR>
  827. [Values(0u, 15u, 16u, 31u)] [Random(0u, 31u, RndCntAmount)] uint amount)
  828. {
  829. uint opcode = 0x4B000000; // SUB W0, W0, W0, LSL #0
  830. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  831. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  832. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  833. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  834. CompareAgainstUnicorn();
  835. }
  836. [Test, Pairwise, Description("SUBS <Xd>, <Xn>, <Xm>{, <shift> #<amount>}")]
  837. public void Subs_64bit([Values(0u, 31u)] uint rd,
  838. [Values(1u, 31u)] uint rn,
  839. [Values(2u, 31u)] uint rm,
  840. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  841. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  842. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  843. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm,
  844. [Values(0b00u, 0b01u, 0b10u)] uint shift, // <LSL, LSR, ASR>
  845. [Values(0u, 31u, 32u, 63u)] [Random(0u, 63u, RndCntAmount)] uint amount)
  846. {
  847. uint opcode = 0xEB000000; // SUBS X0, X0, X0, LSL #0
  848. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  849. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  850. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  851. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  852. CompareAgainstUnicorn();
  853. }
  854. [Test, Pairwise, Description("SUBS <Wd>, <Wn>, <Wm>{, <shift> #<amount>}")]
  855. public void Subs_32bit([Values(0u, 31u)] uint rd,
  856. [Values(1u, 31u)] uint rn,
  857. [Values(2u, 31u)] uint rm,
  858. [Values(0x00000000u, 0x7FFFFFFFu,
  859. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  860. [Values(0x00000000u, 0x7FFFFFFFu,
  861. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm,
  862. [Values(0b00u, 0b01u, 0b10u)] uint shift, // <LSL, LSR, ASR>
  863. [Values(0u, 15u, 16u, 31u)] [Random(0u, 31u, RndCntAmount)] uint amount)
  864. {
  865. uint opcode = 0x6B000000; // SUBS W0, W0, W0, LSL #0
  866. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  867. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  868. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  869. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  870. CompareAgainstUnicorn();
  871. }
  872. [Test, Pairwise, Description("UDIV <Xd>, <Xn>, <Xm>")]
  873. public void Udiv_64bit([Values(0u, 31u)] uint rd,
  874. [Values(1u, 31u)] uint rn,
  875. [Values(2u, 31u)] uint rm,
  876. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  877. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  878. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  879. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm)
  880. {
  881. uint opcode = 0x9AC00800; // UDIV X0, X0, X0
  882. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  883. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  884. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  885. CompareAgainstUnicorn();
  886. }
  887. [Test, Pairwise, Description("UDIV <Wd>, <Wn>, <Wm>")]
  888. public void Udiv_32bit([Values(0u, 31u)] uint rd,
  889. [Values(1u, 31u)] uint rn,
  890. [Values(2u, 31u)] uint rm,
  891. [Values(0x00000000u, 0x7FFFFFFFu,
  892. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  893. [Values(0x00000000u, 0x7FFFFFFFu,
  894. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm)
  895. {
  896. uint opcode = 0x1AC00800; // UDIV W0, W0, W0
  897. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  898. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  899. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  900. CompareAgainstUnicorn();
  901. }
  902. #endif
  903. }
  904. }