CpuTestAluRs.cs 46 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898
  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("EON <Xd>, <Xn>, <Xm>{, <shift> #<amount>}")]
  323. public void Eon_64bit([Values(0u, 31u)] uint rd,
  324. [Values(1u, 31u)] uint rn,
  325. [Values(2u, 31u)] uint rm,
  326. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  327. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  328. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  329. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm,
  330. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  331. [Values(0u, 31u, 32u, 63u)] [Random(0u, 63u, RndCntAmount)] uint amount)
  332. {
  333. uint opcode = 0xCA200000; // EON X0, X0, X0, LSL #0
  334. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  335. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  336. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  337. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  338. CompareAgainstUnicorn();
  339. }
  340. [Test, Pairwise, Description("EON <Wd>, <Wn>, <Wm>{, <shift> #<amount>}")]
  341. public void Eon_32bit([Values(0u, 31u)] uint rd,
  342. [Values(1u, 31u)] uint rn,
  343. [Values(2u, 31u)] uint rm,
  344. [Values(0x00000000u, 0x7FFFFFFFu,
  345. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  346. [Values(0x00000000u, 0x7FFFFFFFu,
  347. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm,
  348. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  349. [Values(0u, 15u, 16u, 31u)] [Random(0u, 31u, RndCntAmount)] uint amount)
  350. {
  351. uint opcode = 0x4A200000; // EON W0, W0, W0, LSL #0
  352. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  353. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  354. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  355. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  356. CompareAgainstUnicorn();
  357. }
  358. [Test, Pairwise, Description("EOR <Xd>, <Xn>, <Xm>{, <shift> #<amount>}")]
  359. public void Eor_64bit([Values(0u, 31u)] uint rd,
  360. [Values(1u, 31u)] uint rn,
  361. [Values(2u, 31u)] uint rm,
  362. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  363. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  364. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  365. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm,
  366. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  367. [Values(0u, 31u, 32u, 63u)] [Random(0u, 63u, RndCntAmount)] uint amount)
  368. {
  369. uint opcode = 0xCA000000; // EOR X0, X0, X0, LSL #0
  370. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  371. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  372. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  373. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  374. CompareAgainstUnicorn();
  375. }
  376. [Test, Pairwise, Description("EOR <Wd>, <Wn>, <Wm>{, <shift> #<amount>}")]
  377. public void Eor_32bit([Values(0u, 31u)] uint rd,
  378. [Values(1u, 31u)] uint rn,
  379. [Values(2u, 31u)] uint rm,
  380. [Values(0x00000000u, 0x7FFFFFFFu,
  381. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  382. [Values(0x00000000u, 0x7FFFFFFFu,
  383. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm,
  384. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  385. [Values(0u, 15u, 16u, 31u)] [Random(0u, 31u, RndCntAmount)] uint amount)
  386. {
  387. uint opcode = 0x4A000000; // EOR W0, W0, W0, LSL #0
  388. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  389. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  390. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  391. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  392. CompareAgainstUnicorn();
  393. }
  394. [Test, Pairwise, Description("EXTR <Xd>, <Xn>, <Xm>, #<lsb>")]
  395. public void Extr_64bit([Values(0u, 31u)] uint rd,
  396. [Values(1u, 31u)] uint rn,
  397. [Values(2u, 31u)] uint rm,
  398. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  399. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  400. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  401. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm,
  402. [Values(0u, 31u, 32u, 63u)] [Random(0u, 63u, RndCntLsb)] uint lsb)
  403. {
  404. uint opcode = 0x93C00000; // EXTR X0, X0, X0, #0
  405. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  406. opcode |= ((lsb & 63) << 10);
  407. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  408. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  409. CompareAgainstUnicorn();
  410. }
  411. [Test, Pairwise, Description("EXTR <Wd>, <Wn>, <Wm>, #<lsb>")]
  412. public void Extr_32bit([Values(0u, 31u)] uint rd,
  413. [Values(1u, 31u)] uint rn,
  414. [Values(2u, 31u)] uint rm,
  415. [Values(0x00000000u, 0x7FFFFFFFu,
  416. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  417. [Values(0x00000000u, 0x7FFFFFFFu,
  418. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm,
  419. [Values(0u, 15u, 16u, 31u)] [Random(0u, 31u, RndCntLsb)] uint lsb)
  420. {
  421. uint opcode = 0x13800000; // EXTR W0, W0, W0, #0
  422. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  423. opcode |= ((lsb & 63) << 10);
  424. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  425. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  426. CompareAgainstUnicorn();
  427. }
  428. [Test, Pairwise, Description("LSLV <Xd>, <Xn>, <Xm>")]
  429. public void Lslv_64bit([Values(0u, 31u)] uint rd,
  430. [Values(1u, 31u)] uint rn,
  431. [Values(2u, 31u)] uint rm,
  432. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  433. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  434. [Values(0ul, 31ul, 32ul, 63ul, 0x7FFFFFFFFFFFFFFFul,
  435. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm)
  436. {
  437. uint opcode = 0x9AC02000; // LSLV X0, X0, X0
  438. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  439. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  440. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  441. CompareAgainstUnicorn();
  442. }
  443. [Test, Pairwise, Description("LSLV <Wd>, <Wn>, <Wm>")]
  444. public void Lslv_32bit([Values(0u, 31u)] uint rd,
  445. [Values(1u, 31u)] uint rn,
  446. [Values(2u, 31u)] uint rm,
  447. [Values(0x00000000u, 0x7FFFFFFFu,
  448. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  449. [Values(0u, 15u, 16u, 31u, 0x7FFFFFFFu,
  450. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm)
  451. {
  452. uint opcode = 0x1AC02000; // LSLV W0, W0, W0
  453. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  454. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  455. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  456. CompareAgainstUnicorn();
  457. }
  458. [Test, Pairwise, Description("LSRV <Xd>, <Xn>, <Xm>")]
  459. public void Lsrv_64bit([Values(0u, 31u)] uint rd,
  460. [Values(1u, 31u)] uint rn,
  461. [Values(2u, 31u)] uint rm,
  462. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  463. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  464. [Values(0ul, 31ul, 32ul, 63ul, 0x7FFFFFFFFFFFFFFFul,
  465. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm)
  466. {
  467. uint opcode = 0x9AC02400; // LSRV X0, X0, X0
  468. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  469. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  470. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  471. CompareAgainstUnicorn();
  472. }
  473. [Test, Pairwise, Description("LSRV <Wd>, <Wn>, <Wm>")]
  474. public void Lsrv_32bit([Values(0u, 31u)] uint rd,
  475. [Values(1u, 31u)] uint rn,
  476. [Values(2u, 31u)] uint rm,
  477. [Values(0x00000000u, 0x7FFFFFFFu,
  478. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  479. [Values(0u, 15u, 16u, 31u, 0x7FFFFFFFu,
  480. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm)
  481. {
  482. uint opcode = 0x1AC02400; // LSRV W0, W0, W0
  483. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  484. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  485. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  486. CompareAgainstUnicorn();
  487. }
  488. [Test, Pairwise, Description("ORN <Xd>, <Xn>, <Xm>{, <shift> #<amount>}")]
  489. public void Orn_64bit([Values(0u, 31u)] uint rd,
  490. [Values(1u, 31u)] uint rn,
  491. [Values(2u, 31u)] uint rm,
  492. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  493. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  494. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  495. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm,
  496. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  497. [Values(0u, 31u, 32u, 63u)] [Random(0u, 63u, RndCntAmount)] uint amount)
  498. {
  499. uint opcode = 0xAA200000; // ORN X0, X0, X0, LSL #0
  500. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  501. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  502. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  503. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  504. CompareAgainstUnicorn();
  505. }
  506. [Test, Pairwise, Description("ORN <Wd>, <Wn>, <Wm>{, <shift> #<amount>}")]
  507. public void Orn_32bit([Values(0u, 31u)] uint rd,
  508. [Values(1u, 31u)] uint rn,
  509. [Values(2u, 31u)] uint rm,
  510. [Values(0x00000000u, 0x7FFFFFFFu,
  511. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  512. [Values(0x00000000u, 0x7FFFFFFFu,
  513. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm,
  514. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  515. [Values(0u, 15u, 16u, 31u)] [Random(0u, 31u, RndCntAmount)] uint amount)
  516. {
  517. uint opcode = 0x2A200000; // ORN W0, W0, W0, LSL #0
  518. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  519. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  520. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  521. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  522. CompareAgainstUnicorn();
  523. }
  524. [Test, Pairwise, Description("ORR <Xd>, <Xn>, <Xm>{, <shift> #<amount>}")]
  525. public void Orr_64bit([Values(0u, 31u)] uint rd,
  526. [Values(1u, 31u)] uint rn,
  527. [Values(2u, 31u)] uint rm,
  528. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  529. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  530. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  531. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm,
  532. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  533. [Values(0u, 31u, 32u, 63u)] [Random(0u, 63u, RndCntAmount)] uint amount)
  534. {
  535. uint opcode = 0xAA000000; // ORR X0, X0, X0, LSL #0
  536. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  537. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  538. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  539. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  540. CompareAgainstUnicorn();
  541. }
  542. [Test, Pairwise, Description("ORR <Wd>, <Wn>, <Wm>{, <shift> #<amount>}")]
  543. public void Orr_32bit([Values(0u, 31u)] uint rd,
  544. [Values(1u, 31u)] uint rn,
  545. [Values(2u, 31u)] uint rm,
  546. [Values(0x00000000u, 0x7FFFFFFFu,
  547. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  548. [Values(0x00000000u, 0x7FFFFFFFu,
  549. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm,
  550. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  551. [Values(0u, 15u, 16u, 31u)] [Random(0u, 31u, RndCntAmount)] uint amount)
  552. {
  553. uint opcode = 0x2A000000; // ORR W0, W0, W0, LSL #0
  554. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  555. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  556. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  557. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  558. CompareAgainstUnicorn();
  559. }
  560. [Test, Pairwise, Description("RORV <Xd>, <Xn>, <Xm>")]
  561. public void Rorv_64bit([Values(0u, 31u)] uint rd,
  562. [Values(1u, 31u)] uint rn,
  563. [Values(2u, 31u)] uint rm,
  564. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  565. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  566. [Values(0ul, 31ul, 32ul, 63ul, 0x7FFFFFFFFFFFFFFFul,
  567. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm)
  568. {
  569. uint opcode = 0x9AC02C00; // RORV X0, X0, X0
  570. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  571. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  572. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  573. CompareAgainstUnicorn();
  574. }
  575. [Test, Pairwise, Description("RORV <Wd>, <Wn>, <Wm>")]
  576. public void Rorv_32bit([Values(0u, 31u)] uint rd,
  577. [Values(1u, 31u)] uint rn,
  578. [Values(2u, 31u)] uint rm,
  579. [Values(0x00000000u, 0x7FFFFFFFu,
  580. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  581. [Values(0u, 15u, 16u, 31u, 0x7FFFFFFFu,
  582. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm)
  583. {
  584. uint opcode = 0x1AC02C00; // RORV W0, W0, W0
  585. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  586. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  587. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  588. CompareAgainstUnicorn();
  589. }
  590. [Test, Pairwise, Description("SBC <Xd>, <Xn>, <Xm>")]
  591. public void Sbc_64bit([Values(0u, 31u)] uint rd,
  592. [Values(1u, 31u)] uint rn,
  593. [Values(2u, 31u)] uint rm,
  594. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  595. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  596. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  597. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm,
  598. [Values] bool carryIn)
  599. {
  600. uint opcode = 0xDA000000; // SBC X0, X0, X0
  601. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  602. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  603. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31, carry: carryIn);
  604. CompareAgainstUnicorn();
  605. }
  606. [Test, Pairwise, Description("SBC <Wd>, <Wn>, <Wm>")]
  607. public void Sbc_32bit([Values(0u, 31u)] uint rd,
  608. [Values(1u, 31u)] uint rn,
  609. [Values(2u, 31u)] uint rm,
  610. [Values(0x00000000u, 0x7FFFFFFFu,
  611. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  612. [Values(0x00000000u, 0x7FFFFFFFu,
  613. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm,
  614. [Values] bool carryIn)
  615. {
  616. uint opcode = 0x5A000000; // SBC W0, W0, W0
  617. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  618. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  619. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31, carry: carryIn);
  620. CompareAgainstUnicorn();
  621. }
  622. [Test, Pairwise, Description("SBCS <Xd>, <Xn>, <Xm>")]
  623. public void Sbcs_64bit([Values(0u, 31u)] uint rd,
  624. [Values(1u, 31u)] uint rn,
  625. [Values(2u, 31u)] uint rm,
  626. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  627. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  628. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  629. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm,
  630. [Values] bool carryIn)
  631. {
  632. uint opcode = 0xFA000000; // SBCS X0, X0, X0
  633. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  634. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  635. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31, carry: carryIn);
  636. CompareAgainstUnicorn();
  637. }
  638. [Test, Pairwise, Description("SBCS <Wd>, <Wn>, <Wm>")]
  639. public void Sbcs_32bit([Values(0u, 31u)] uint rd,
  640. [Values(1u, 31u)] uint rn,
  641. [Values(2u, 31u)] uint rm,
  642. [Values(0x00000000u, 0x7FFFFFFFu,
  643. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  644. [Values(0x00000000u, 0x7FFFFFFFu,
  645. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm,
  646. [Values] bool carryIn)
  647. {
  648. uint opcode = 0x7A000000; // SBCS W0, W0, W0
  649. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  650. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  651. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31, carry: carryIn);
  652. CompareAgainstUnicorn();
  653. }
  654. [Test, Pairwise, Description("SUB <Xd>, <Xn>, <Xm>{, <shift> #<amount>}")]
  655. public void Sub_64bit([Values(0u, 31u)] uint rd,
  656. [Values(1u, 31u)] uint rn,
  657. [Values(2u, 31u)] uint rm,
  658. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  659. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  660. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  661. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm,
  662. [Values(0b00u, 0b01u, 0b10u)] uint shift, // <LSL, LSR, ASR>
  663. [Values(0u, 31u, 32u, 63u)] [Random(0u, 63u, RndCntAmount)] uint amount)
  664. {
  665. uint opcode = 0xCB000000; // SUB X0, X0, X0, LSL #0
  666. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  667. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  668. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  669. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  670. CompareAgainstUnicorn();
  671. }
  672. [Test, Pairwise, Description("SUB <Wd>, <Wn>, <Wm>{, <shift> #<amount>}")]
  673. public void Sub_32bit([Values(0u, 31u)] uint rd,
  674. [Values(1u, 31u)] uint rn,
  675. [Values(2u, 31u)] uint rm,
  676. [Values(0x00000000u, 0x7FFFFFFFu,
  677. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  678. [Values(0x00000000u, 0x7FFFFFFFu,
  679. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm,
  680. [Values(0b00u, 0b01u, 0b10u)] uint shift, // <LSL, LSR, ASR>
  681. [Values(0u, 15u, 16u, 31u)] [Random(0u, 31u, RndCntAmount)] uint amount)
  682. {
  683. uint opcode = 0x4B000000; // SUB W0, W0, W0, LSL #0
  684. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  685. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  686. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  687. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  688. CompareAgainstUnicorn();
  689. }
  690. [Test, Pairwise, Description("SUBS <Xd>, <Xn>, <Xm>{, <shift> #<amount>}")]
  691. public void Subs_64bit([Values(0u, 31u)] uint rd,
  692. [Values(1u, 31u)] uint rn,
  693. [Values(2u, 31u)] uint rm,
  694. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  695. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  696. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  697. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm,
  698. [Values(0b00u, 0b01u, 0b10u)] uint shift, // <LSL, LSR, ASR>
  699. [Values(0u, 31u, 32u, 63u)] [Random(0u, 63u, RndCntAmount)] uint amount)
  700. {
  701. uint opcode = 0xEB000000; // SUBS X0, X0, X0, LSL #0
  702. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  703. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  704. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  705. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  706. CompareAgainstUnicorn();
  707. }
  708. [Test, Pairwise, Description("SUBS <Wd>, <Wn>, <Wm>{, <shift> #<amount>}")]
  709. public void Subs_32bit([Values(0u, 31u)] uint rd,
  710. [Values(1u, 31u)] uint rn,
  711. [Values(2u, 31u)] uint rm,
  712. [Values(0x00000000u, 0x7FFFFFFFu,
  713. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  714. [Values(0x00000000u, 0x7FFFFFFFu,
  715. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm,
  716. [Values(0b00u, 0b01u, 0b10u)] uint shift, // <LSL, LSR, ASR>
  717. [Values(0u, 15u, 16u, 31u)] [Random(0u, 31u, RndCntAmount)] uint amount)
  718. {
  719. uint opcode = 0x6B000000; // SUBS W0, W0, W0, LSL #0
  720. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  721. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  722. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  723. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  724. CompareAgainstUnicorn();
  725. }
  726. #endif
  727. }
  728. }