CpuTestAluRs.cs 43 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895
  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. [Test, Pairwise, Description("ADC <Xd>, <Xn>, <Xm>")]
  10. public void Adc_64bit([Values(0u, 31u)] uint rd,
  11. [Values(1u, 31u)] uint rn,
  12. [Values(2u, 31u)] uint rm,
  13. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  14. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xn,
  15. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  16. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xm,
  17. [Values] bool carryIn)
  18. {
  19. uint opcode = 0x9A000000; // ADC X0, X0, X0
  20. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  21. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  22. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31, carry: carryIn);
  23. CompareAgainstUnicorn();
  24. }
  25. [Test, Pairwise, Description("ADC <Wd>, <Wn>, <Wm>")]
  26. public void Adc_32bit([Values(0u, 31u)] uint rd,
  27. [Values(1u, 31u)] uint rn,
  28. [Values(2u, 31u)] uint rm,
  29. [Values(0x00000000u, 0x7FFFFFFFu,
  30. 0x80000000u, 0xFFFFFFFFu)] uint wn,
  31. [Values(0x00000000u, 0x7FFFFFFFu,
  32. 0x80000000u, 0xFFFFFFFFu)] uint wm,
  33. [Values] bool carryIn)
  34. {
  35. uint opcode = 0x1A000000; // ADC W0, W0, W0
  36. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  37. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  38. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31, carry: carryIn);
  39. CompareAgainstUnicorn();
  40. }
  41. [Test, Pairwise, Description("ADCS <Xd>, <Xn>, <Xm>")]
  42. public void Adcs_64bit([Values(0u, 31u)] uint rd,
  43. [Values(1u, 31u)] uint rn,
  44. [Values(2u, 31u)] uint rm,
  45. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  46. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xn,
  47. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  48. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xm,
  49. [Values] bool carryIn)
  50. {
  51. uint opcode = 0xBA000000; // ADCS X0, X0, X0
  52. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  53. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  54. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31, carry: carryIn);
  55. CompareAgainstUnicorn();
  56. }
  57. [Test, Pairwise, Description("ADCS <Wd>, <Wn>, <Wm>")]
  58. public void Adcs_32bit([Values(0u, 31u)] uint rd,
  59. [Values(1u, 31u)] uint rn,
  60. [Values(2u, 31u)] uint rm,
  61. [Values(0x00000000u, 0x7FFFFFFFu,
  62. 0x80000000u, 0xFFFFFFFFu)] uint wn,
  63. [Values(0x00000000u, 0x7FFFFFFFu,
  64. 0x80000000u, 0xFFFFFFFFu)] uint wm,
  65. [Values] bool carryIn)
  66. {
  67. uint opcode = 0x3A000000; // ADCS W0, W0, W0
  68. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  69. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  70. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31, carry: carryIn);
  71. CompareAgainstUnicorn();
  72. }
  73. [Test, Pairwise, Description("ADD <Xd>, <Xn>, <Xm>{, <shift> #<amount>}")]
  74. public void Add_64bit([Values(0u, 31u)] uint rd,
  75. [Values(1u, 31u)] uint rn,
  76. [Values(2u, 31u)] uint rm,
  77. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  78. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xn,
  79. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  80. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xm,
  81. [Values(0b00u, 0b01u, 0b10u)] uint shift, // <LSL, LSR, ASR>
  82. [Values(0u, 31u, 32u, 63u)] uint amount)
  83. {
  84. uint opcode = 0x8B000000; // ADD X0, X0, X0, LSL #0
  85. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  86. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  87. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  88. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  89. CompareAgainstUnicorn();
  90. }
  91. [Test, Pairwise, Description("ADD <Wd>, <Wn>, <Wm>{, <shift> #<amount>}")]
  92. public void Add_32bit([Values(0u, 31u)] uint rd,
  93. [Values(1u, 31u)] uint rn,
  94. [Values(2u, 31u)] uint rm,
  95. [Values(0x00000000u, 0x7FFFFFFFu,
  96. 0x80000000u, 0xFFFFFFFFu)] uint wn,
  97. [Values(0x00000000u, 0x7FFFFFFFu,
  98. 0x80000000u, 0xFFFFFFFFu)] uint wm,
  99. [Values(0b00u, 0b01u, 0b10u)] uint shift, // <LSL, LSR, ASR>
  100. [Values(0u, 15u, 16u, 31u)] uint amount)
  101. {
  102. uint opcode = 0x0B000000; // ADD W0, W0, W0, LSL #0
  103. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  104. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  105. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  106. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  107. CompareAgainstUnicorn();
  108. }
  109. [Test, Pairwise, Description("ADDS <Xd>, <Xn>, <Xm>{, <shift> #<amount>}")]
  110. public void Adds_64bit([Values(0u, 31u)] uint rd,
  111. [Values(1u, 31u)] uint rn,
  112. [Values(2u, 31u)] uint rm,
  113. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  114. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xn,
  115. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  116. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xm,
  117. [Values(0b00u, 0b01u, 0b10u)] uint shift, // <LSL, LSR, ASR>
  118. [Values(0u, 31u, 32u, 63u)] uint amount)
  119. {
  120. uint opcode = 0xAB000000; // ADDS X0, X0, X0, LSL #0
  121. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  122. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  123. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  124. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  125. CompareAgainstUnicorn();
  126. }
  127. [Test, Pairwise, Description("ADDS <Wd>, <Wn>, <Wm>{, <shift> #<amount>}")]
  128. public void Adds_32bit([Values(0u, 31u)] uint rd,
  129. [Values(1u, 31u)] uint rn,
  130. [Values(2u, 31u)] uint rm,
  131. [Values(0x00000000u, 0x7FFFFFFFu,
  132. 0x80000000u, 0xFFFFFFFFu)] uint wn,
  133. [Values(0x00000000u, 0x7FFFFFFFu,
  134. 0x80000000u, 0xFFFFFFFFu)] uint wm,
  135. [Values(0b00u, 0b01u, 0b10u)] uint shift, // <LSL, LSR, ASR>
  136. [Values(0u, 15u, 16u, 31u)] uint amount)
  137. {
  138. uint opcode = 0x2B000000; // ADDS W0, W0, W0, LSL #0
  139. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  140. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  141. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  142. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  143. CompareAgainstUnicorn();
  144. }
  145. [Test, Pairwise, Description("AND <Xd>, <Xn>, <Xm>{, <shift> #<amount>}")]
  146. public void And_64bit([Values(0u, 31u)] uint rd,
  147. [Values(1u, 31u)] uint rn,
  148. [Values(2u, 31u)] uint rm,
  149. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  150. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xn,
  151. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  152. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xm,
  153. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  154. [Values(0u, 31u, 32u, 63u)] uint amount)
  155. {
  156. uint opcode = 0x8A000000; // AND X0, X0, X0, LSL #0
  157. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  158. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  159. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  160. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  161. CompareAgainstUnicorn();
  162. }
  163. [Test, Pairwise, Description("AND <Wd>, <Wn>, <Wm>{, <shift> #<amount>}")]
  164. public void And_32bit([Values(0u, 31u)] uint rd,
  165. [Values(1u, 31u)] uint rn,
  166. [Values(2u, 31u)] uint rm,
  167. [Values(0x00000000u, 0x7FFFFFFFu,
  168. 0x80000000u, 0xFFFFFFFFu)] uint wn,
  169. [Values(0x00000000u, 0x7FFFFFFFu,
  170. 0x80000000u, 0xFFFFFFFFu)] uint wm,
  171. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  172. [Values(0u, 15u, 16u, 31u)] uint amount)
  173. {
  174. uint opcode = 0x0A000000; // AND W0, W0, W0, LSL #0
  175. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  176. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  177. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  178. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  179. CompareAgainstUnicorn();
  180. }
  181. [Test, Pairwise, Description("ANDS <Xd>, <Xn>, <Xm>{, <shift> #<amount>}")]
  182. public void Ands_64bit([Values(0u, 31u)] uint rd,
  183. [Values(1u, 31u)] uint rn,
  184. [Values(2u, 31u)] uint rm,
  185. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  186. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xn,
  187. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  188. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xm,
  189. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  190. [Values(0u, 31u, 32u, 63u)] uint amount)
  191. {
  192. uint opcode = 0xEA000000; // ANDS X0, X0, X0, LSL #0
  193. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  194. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  195. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  196. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  197. CompareAgainstUnicorn();
  198. }
  199. [Test, Pairwise, Description("ANDS <Wd>, <Wn>, <Wm>{, <shift> #<amount>}")]
  200. public void Ands_32bit([Values(0u, 31u)] uint rd,
  201. [Values(1u, 31u)] uint rn,
  202. [Values(2u, 31u)] uint rm,
  203. [Values(0x00000000u, 0x7FFFFFFFu,
  204. 0x80000000u, 0xFFFFFFFFu)] uint wn,
  205. [Values(0x00000000u, 0x7FFFFFFFu,
  206. 0x80000000u, 0xFFFFFFFFu)] uint wm,
  207. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  208. [Values(0u, 15u, 16u, 31u)] uint amount)
  209. {
  210. uint opcode = 0x6A000000; // ANDS W0, W0, W0, LSL #0
  211. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  212. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  213. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  214. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  215. CompareAgainstUnicorn();
  216. }
  217. [Test, Pairwise, Description("ASRV <Xd>, <Xn>, <Xm>")]
  218. public void Asrv_64bit([Values(0u, 31u)] uint rd,
  219. [Values(1u, 31u)] uint rn,
  220. [Values(2u, 31u)] uint rm,
  221. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  222. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xn,
  223. [Values(0ul, 31ul, 32ul, 63ul, 0x7FFFFFFFFFFFFFFFul,
  224. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xm)
  225. {
  226. uint opcode = 0x9AC02800; // ASRV X0, X0, X0
  227. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  228. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  229. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  230. CompareAgainstUnicorn();
  231. }
  232. [Test, Pairwise, Description("ASRV <Wd>, <Wn>, <Wm>")]
  233. public void Asrv_32bit([Values(0u, 31u)] uint rd,
  234. [Values(1u, 31u)] uint rn,
  235. [Values(2u, 31u)] uint rm,
  236. [Values(0x00000000u, 0x7FFFFFFFu,
  237. 0x80000000u, 0xFFFFFFFFu)] uint wn,
  238. [Values(0u, 15u, 16u, 31u, 0x7FFFFFFFu,
  239. 0x80000000u, 0xFFFFFFFFu)] uint wm)
  240. {
  241. uint opcode = 0x1AC02800; // ASRV W0, W0, W0
  242. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  243. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  244. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  245. CompareAgainstUnicorn();
  246. }
  247. [Test, Pairwise, Description("BIC <Xd>, <Xn>, <Xm>{, <shift> #<amount>}")]
  248. public void Bic_64bit([Values(0u, 31u)] uint rd,
  249. [Values(1u, 31u)] uint rn,
  250. [Values(2u, 31u)] uint rm,
  251. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  252. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xn,
  253. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  254. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xm,
  255. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  256. [Values(0u, 31u, 32u, 63u)] uint amount)
  257. {
  258. uint opcode = 0x8A200000; // BIC X0, X0, X0, LSL #0
  259. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  260. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  261. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  262. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  263. CompareAgainstUnicorn();
  264. }
  265. [Test, Pairwise, Description("BIC <Wd>, <Wn>, <Wm>{, <shift> #<amount>}")]
  266. public void Bic_32bit([Values(0u, 31u)] uint rd,
  267. [Values(1u, 31u)] uint rn,
  268. [Values(2u, 31u)] uint rm,
  269. [Values(0x00000000u, 0x7FFFFFFFu,
  270. 0x80000000u, 0xFFFFFFFFu)] uint wn,
  271. [Values(0x00000000u, 0x7FFFFFFFu,
  272. 0x80000000u, 0xFFFFFFFFu)] uint wm,
  273. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  274. [Values(0u, 15u, 16u, 31u)] uint amount)
  275. {
  276. uint opcode = 0x0A200000; // BIC W0, W0, W0, LSL #0
  277. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  278. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  279. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  280. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  281. CompareAgainstUnicorn();
  282. }
  283. [Test, Pairwise, Description("BICS <Xd>, <Xn>, <Xm>{, <shift> #<amount>}")]
  284. public void Bics_64bit([Values(0u, 31u)] uint rd,
  285. [Values(1u, 31u)] uint rn,
  286. [Values(2u, 31u)] uint rm,
  287. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  288. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xn,
  289. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  290. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xm,
  291. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  292. [Values(0u, 31u, 32u, 63u)] uint amount)
  293. {
  294. uint opcode = 0xEA200000; // BICS X0, X0, X0, LSL #0
  295. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  296. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  297. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  298. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  299. CompareAgainstUnicorn();
  300. }
  301. [Test, Pairwise, Description("BICS <Wd>, <Wn>, <Wm>{, <shift> #<amount>}")]
  302. public void Bics_32bit([Values(0u, 31u)] uint rd,
  303. [Values(1u, 31u)] uint rn,
  304. [Values(2u, 31u)] uint rm,
  305. [Values(0x00000000u, 0x7FFFFFFFu,
  306. 0x80000000u, 0xFFFFFFFFu)] uint wn,
  307. [Values(0x00000000u, 0x7FFFFFFFu,
  308. 0x80000000u, 0xFFFFFFFFu)] uint wm,
  309. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  310. [Values(0u, 15u, 16u, 31u)] uint amount)
  311. {
  312. uint opcode = 0x6A200000; // BICS W0, W0, W0, LSL #0
  313. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  314. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  315. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  316. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  317. CompareAgainstUnicorn();
  318. }
  319. [Test, Pairwise, Description("EON <Xd>, <Xn>, <Xm>{, <shift> #<amount>}")]
  320. public void Eon_64bit([Values(0u, 31u)] uint rd,
  321. [Values(1u, 31u)] uint rn,
  322. [Values(2u, 31u)] uint rm,
  323. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  324. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xn,
  325. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  326. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xm,
  327. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  328. [Values(0u, 31u, 32u, 63u)] uint amount)
  329. {
  330. uint opcode = 0xCA200000; // EON X0, X0, X0, LSL #0
  331. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  332. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  333. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  334. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  335. CompareAgainstUnicorn();
  336. }
  337. [Test, Pairwise, Description("EON <Wd>, <Wn>, <Wm>{, <shift> #<amount>}")]
  338. public void Eon_32bit([Values(0u, 31u)] uint rd,
  339. [Values(1u, 31u)] uint rn,
  340. [Values(2u, 31u)] uint rm,
  341. [Values(0x00000000u, 0x7FFFFFFFu,
  342. 0x80000000u, 0xFFFFFFFFu)] uint wn,
  343. [Values(0x00000000u, 0x7FFFFFFFu,
  344. 0x80000000u, 0xFFFFFFFFu)] uint wm,
  345. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  346. [Values(0u, 15u, 16u, 31u)] uint amount)
  347. {
  348. uint opcode = 0x4A200000; // EON W0, W0, W0, LSL #0
  349. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  350. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  351. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  352. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  353. CompareAgainstUnicorn();
  354. }
  355. [Test, Pairwise, Description("EOR <Xd>, <Xn>, <Xm>{, <shift> #<amount>}")]
  356. public void Eor_64bit([Values(0u, 31u)] uint rd,
  357. [Values(1u, 31u)] uint rn,
  358. [Values(2u, 31u)] uint rm,
  359. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  360. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xn,
  361. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  362. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xm,
  363. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  364. [Values(0u, 31u, 32u, 63u)] uint amount)
  365. {
  366. uint opcode = 0xCA000000; // EOR X0, X0, X0, LSL #0
  367. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  368. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  369. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  370. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  371. CompareAgainstUnicorn();
  372. }
  373. [Test, Pairwise, Description("EOR <Wd>, <Wn>, <Wm>{, <shift> #<amount>}")]
  374. public void Eor_32bit([Values(0u, 31u)] uint rd,
  375. [Values(1u, 31u)] uint rn,
  376. [Values(2u, 31u)] uint rm,
  377. [Values(0x00000000u, 0x7FFFFFFFu,
  378. 0x80000000u, 0xFFFFFFFFu)] uint wn,
  379. [Values(0x00000000u, 0x7FFFFFFFu,
  380. 0x80000000u, 0xFFFFFFFFu)] uint wm,
  381. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  382. [Values(0u, 15u, 16u, 31u)] uint amount)
  383. {
  384. uint opcode = 0x4A000000; // EOR W0, W0, W0, LSL #0
  385. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  386. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  387. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  388. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  389. CompareAgainstUnicorn();
  390. }
  391. [Test, Pairwise, Description("EXTR <Xd>, <Xn>, <Xm>, #<lsb>")]
  392. public void Extr_64bit([Values(0u, 31u)] uint rd,
  393. [Values(1u, 31u)] uint rn,
  394. [Values(2u, 31u)] uint rm,
  395. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  396. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xn,
  397. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  398. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xm,
  399. [Values(0u, 31u, 32u, 63u)] uint lsb)
  400. {
  401. uint opcode = 0x93C00000; // EXTR X0, X0, X0, #0
  402. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  403. opcode |= ((lsb & 63) << 10);
  404. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  405. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  406. CompareAgainstUnicorn();
  407. }
  408. [Test, Pairwise, Description("EXTR <Wd>, <Wn>, <Wm>, #<lsb>")]
  409. public void Extr_32bit([Values(0u, 31u)] uint rd,
  410. [Values(1u, 31u)] uint rn,
  411. [Values(2u, 31u)] uint rm,
  412. [Values(0x00000000u, 0x7FFFFFFFu,
  413. 0x80000000u, 0xFFFFFFFFu)] uint wn,
  414. [Values(0x00000000u, 0x7FFFFFFFu,
  415. 0x80000000u, 0xFFFFFFFFu)] uint wm,
  416. [Values(0u, 15u, 16u, 31u)] uint lsb)
  417. {
  418. uint opcode = 0x13800000; // EXTR W0, W0, W0, #0
  419. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  420. opcode |= ((lsb & 63) << 10);
  421. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  422. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  423. CompareAgainstUnicorn();
  424. }
  425. [Test, Pairwise, Description("LSLV <Xd>, <Xn>, <Xm>")]
  426. public void Lslv_64bit([Values(0u, 31u)] uint rd,
  427. [Values(1u, 31u)] uint rn,
  428. [Values(2u, 31u)] uint rm,
  429. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  430. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xn,
  431. [Values(0ul, 31ul, 32ul, 63ul, 0x7FFFFFFFFFFFFFFFul,
  432. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xm)
  433. {
  434. uint opcode = 0x9AC02000; // LSLV X0, X0, X0
  435. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  436. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  437. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  438. CompareAgainstUnicorn();
  439. }
  440. [Test, Pairwise, Description("LSLV <Wd>, <Wn>, <Wm>")]
  441. public void Lslv_32bit([Values(0u, 31u)] uint rd,
  442. [Values(1u, 31u)] uint rn,
  443. [Values(2u, 31u)] uint rm,
  444. [Values(0x00000000u, 0x7FFFFFFFu,
  445. 0x80000000u, 0xFFFFFFFFu)] uint wn,
  446. [Values(0u, 15u, 16u, 31u, 0x7FFFFFFFu,
  447. 0x80000000u, 0xFFFFFFFFu)] uint wm)
  448. {
  449. uint opcode = 0x1AC02000; // LSLV W0, W0, W0
  450. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  451. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  452. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  453. CompareAgainstUnicorn();
  454. }
  455. [Test, Pairwise, Description("LSRV <Xd>, <Xn>, <Xm>")]
  456. public void Lsrv_64bit([Values(0u, 31u)] uint rd,
  457. [Values(1u, 31u)] uint rn,
  458. [Values(2u, 31u)] uint rm,
  459. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  460. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xn,
  461. [Values(0ul, 31ul, 32ul, 63ul, 0x7FFFFFFFFFFFFFFFul,
  462. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xm)
  463. {
  464. uint opcode = 0x9AC02400; // LSRV X0, X0, X0
  465. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  466. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  467. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  468. CompareAgainstUnicorn();
  469. }
  470. [Test, Pairwise, Description("LSRV <Wd>, <Wn>, <Wm>")]
  471. public void Lsrv_32bit([Values(0u, 31u)] uint rd,
  472. [Values(1u, 31u)] uint rn,
  473. [Values(2u, 31u)] uint rm,
  474. [Values(0x00000000u, 0x7FFFFFFFu,
  475. 0x80000000u, 0xFFFFFFFFu)] uint wn,
  476. [Values(0u, 15u, 16u, 31u, 0x7FFFFFFFu,
  477. 0x80000000u, 0xFFFFFFFFu)] uint wm)
  478. {
  479. uint opcode = 0x1AC02400; // LSRV W0, W0, W0
  480. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  481. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  482. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  483. CompareAgainstUnicorn();
  484. }
  485. [Test, Pairwise, Description("ORN <Xd>, <Xn>, <Xm>{, <shift> #<amount>}")]
  486. public void Orn_64bit([Values(0u, 31u)] uint rd,
  487. [Values(1u, 31u)] uint rn,
  488. [Values(2u, 31u)] uint rm,
  489. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  490. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xn,
  491. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  492. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xm,
  493. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  494. [Values(0u, 31u, 32u, 63u)] uint amount)
  495. {
  496. uint opcode = 0xAA200000; // ORN X0, X0, X0, LSL #0
  497. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  498. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  499. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  500. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  501. CompareAgainstUnicorn();
  502. }
  503. [Test, Pairwise, Description("ORN <Wd>, <Wn>, <Wm>{, <shift> #<amount>}")]
  504. public void Orn_32bit([Values(0u, 31u)] uint rd,
  505. [Values(1u, 31u)] uint rn,
  506. [Values(2u, 31u)] uint rm,
  507. [Values(0x00000000u, 0x7FFFFFFFu,
  508. 0x80000000u, 0xFFFFFFFFu)] uint wn,
  509. [Values(0x00000000u, 0x7FFFFFFFu,
  510. 0x80000000u, 0xFFFFFFFFu)] uint wm,
  511. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  512. [Values(0u, 15u, 16u, 31u)] uint amount)
  513. {
  514. uint opcode = 0x2A200000; // ORN W0, W0, W0, LSL #0
  515. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  516. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  517. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  518. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  519. CompareAgainstUnicorn();
  520. }
  521. [Test, Pairwise, Description("ORR <Xd>, <Xn>, <Xm>{, <shift> #<amount>}")]
  522. public void Orr_64bit([Values(0u, 31u)] uint rd,
  523. [Values(1u, 31u)] uint rn,
  524. [Values(2u, 31u)] uint rm,
  525. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  526. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xn,
  527. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  528. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xm,
  529. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  530. [Values(0u, 31u, 32u, 63u)] uint amount)
  531. {
  532. uint opcode = 0xAA000000; // ORR X0, X0, X0, LSL #0
  533. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  534. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  535. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  536. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  537. CompareAgainstUnicorn();
  538. }
  539. [Test, Pairwise, Description("ORR <Wd>, <Wn>, <Wm>{, <shift> #<amount>}")]
  540. public void Orr_32bit([Values(0u, 31u)] uint rd,
  541. [Values(1u, 31u)] uint rn,
  542. [Values(2u, 31u)] uint rm,
  543. [Values(0x00000000u, 0x7FFFFFFFu,
  544. 0x80000000u, 0xFFFFFFFFu)] uint wn,
  545. [Values(0x00000000u, 0x7FFFFFFFu,
  546. 0x80000000u, 0xFFFFFFFFu)] uint wm,
  547. [Values(0b00u, 0b01u, 0b10u, 0b11u)] uint shift, // <LSL, LSR, ASR, ROR>
  548. [Values(0u, 15u, 16u, 31u)] uint amount)
  549. {
  550. uint opcode = 0x2A000000; // ORR W0, W0, W0, LSL #0
  551. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  552. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  553. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  554. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  555. CompareAgainstUnicorn();
  556. }
  557. [Test, Pairwise, Description("RORV <Xd>, <Xn>, <Xm>")]
  558. public void Rorv_64bit([Values(0u, 31u)] uint rd,
  559. [Values(1u, 31u)] uint rn,
  560. [Values(2u, 31u)] uint rm,
  561. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  562. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xn,
  563. [Values(0ul, 31ul, 32ul, 63ul, 0x7FFFFFFFFFFFFFFFul,
  564. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xm)
  565. {
  566. uint opcode = 0x9AC02C00; // RORV X0, X0, X0
  567. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  568. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  569. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  570. CompareAgainstUnicorn();
  571. }
  572. [Test, Pairwise, Description("RORV <Wd>, <Wn>, <Wm>")]
  573. public void Rorv_32bit([Values(0u, 31u)] uint rd,
  574. [Values(1u, 31u)] uint rn,
  575. [Values(2u, 31u)] uint rm,
  576. [Values(0x00000000u, 0x7FFFFFFFu,
  577. 0x80000000u, 0xFFFFFFFFu)] uint wn,
  578. [Values(0u, 15u, 16u, 31u, 0x7FFFFFFFu,
  579. 0x80000000u, 0xFFFFFFFFu)] uint wm)
  580. {
  581. uint opcode = 0x1AC02C00; // RORV W0, W0, W0
  582. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  583. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  584. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  585. CompareAgainstUnicorn();
  586. }
  587. [Test, Pairwise, Description("SBC <Xd>, <Xn>, <Xm>")]
  588. public void Sbc_64bit([Values(0u, 31u)] uint rd,
  589. [Values(1u, 31u)] uint rn,
  590. [Values(2u, 31u)] uint rm,
  591. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  592. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xn,
  593. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  594. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xm,
  595. [Values] bool carryIn)
  596. {
  597. uint opcode = 0xDA000000; // SBC X0, X0, X0
  598. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  599. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  600. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31, carry: carryIn);
  601. CompareAgainstUnicorn();
  602. }
  603. [Test, Pairwise, Description("SBC <Wd>, <Wn>, <Wm>")]
  604. public void Sbc_32bit([Values(0u, 31u)] uint rd,
  605. [Values(1u, 31u)] uint rn,
  606. [Values(2u, 31u)] uint rm,
  607. [Values(0x00000000u, 0x7FFFFFFFu,
  608. 0x80000000u, 0xFFFFFFFFu)] uint wn,
  609. [Values(0x00000000u, 0x7FFFFFFFu,
  610. 0x80000000u, 0xFFFFFFFFu)] uint wm,
  611. [Values] bool carryIn)
  612. {
  613. uint opcode = 0x5A000000; // SBC W0, W0, W0
  614. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  615. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  616. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31, carry: carryIn);
  617. CompareAgainstUnicorn();
  618. }
  619. [Test, Pairwise, Description("SBCS <Xd>, <Xn>, <Xm>")]
  620. public void Sbcs_64bit([Values(0u, 31u)] uint rd,
  621. [Values(1u, 31u)] uint rn,
  622. [Values(2u, 31u)] uint rm,
  623. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  624. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xn,
  625. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  626. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xm,
  627. [Values] bool carryIn)
  628. {
  629. uint opcode = 0xFA000000; // SBCS X0, X0, X0
  630. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  631. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  632. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31, carry: carryIn);
  633. CompareAgainstUnicorn();
  634. }
  635. [Test, Pairwise, Description("SBCS <Wd>, <Wn>, <Wm>")]
  636. public void Sbcs_32bit([Values(0u, 31u)] uint rd,
  637. [Values(1u, 31u)] uint rn,
  638. [Values(2u, 31u)] uint rm,
  639. [Values(0x00000000u, 0x7FFFFFFFu,
  640. 0x80000000u, 0xFFFFFFFFu)] uint wn,
  641. [Values(0x00000000u, 0x7FFFFFFFu,
  642. 0x80000000u, 0xFFFFFFFFu)] uint wm,
  643. [Values] bool carryIn)
  644. {
  645. uint opcode = 0x7A000000; // SBCS W0, W0, W0
  646. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  647. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  648. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31, carry: carryIn);
  649. CompareAgainstUnicorn();
  650. }
  651. [Test, Pairwise, Description("SUB <Xd>, <Xn>, <Xm>{, <shift> #<amount>}")]
  652. public void Sub_64bit([Values(0u, 31u)] uint rd,
  653. [Values(1u, 31u)] uint rn,
  654. [Values(2u, 31u)] uint rm,
  655. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  656. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xn,
  657. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  658. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xm,
  659. [Values(0b00u, 0b01u, 0b10u)] uint shift, // <LSL, LSR, ASR>
  660. [Values(0u, 31u, 32u, 63u)] uint amount)
  661. {
  662. uint opcode = 0xCB000000; // SUB X0, X0, X0, LSL #0
  663. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  664. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  665. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  666. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  667. CompareAgainstUnicorn();
  668. }
  669. [Test, Pairwise, Description("SUB <Wd>, <Wn>, <Wm>{, <shift> #<amount>}")]
  670. public void Sub_32bit([Values(0u, 31u)] uint rd,
  671. [Values(1u, 31u)] uint rn,
  672. [Values(2u, 31u)] uint rm,
  673. [Values(0x00000000u, 0x7FFFFFFFu,
  674. 0x80000000u, 0xFFFFFFFFu)] uint wn,
  675. [Values(0x00000000u, 0x7FFFFFFFu,
  676. 0x80000000u, 0xFFFFFFFFu)] uint wm,
  677. [Values(0b00u, 0b01u, 0b10u)] uint shift, // <LSL, LSR, ASR>
  678. [Values(0u, 15u, 16u, 31u)] uint amount)
  679. {
  680. uint opcode = 0x4B000000; // SUB W0, W0, W0, LSL #0
  681. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  682. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  683. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  684. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  685. CompareAgainstUnicorn();
  686. }
  687. [Test, Pairwise, Description("SUBS <Xd>, <Xn>, <Xm>{, <shift> #<amount>}")]
  688. public void Subs_64bit([Values(0u, 31u)] uint rd,
  689. [Values(1u, 31u)] uint rn,
  690. [Values(2u, 31u)] uint rm,
  691. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  692. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xn,
  693. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  694. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] ulong xm,
  695. [Values(0b00u, 0b01u, 0b10u)] uint shift, // <LSL, LSR, ASR>
  696. [Values(0u, 31u, 32u, 63u)] uint amount)
  697. {
  698. uint opcode = 0xEB000000; // SUBS X0, X0, X0, LSL #0
  699. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  700. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  701. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  702. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  703. CompareAgainstUnicorn();
  704. }
  705. [Test, Pairwise, Description("SUBS <Wd>, <Wn>, <Wm>{, <shift> #<amount>}")]
  706. public void Subs_32bit([Values(0u, 31u)] uint rd,
  707. [Values(1u, 31u)] uint rn,
  708. [Values(2u, 31u)] uint rm,
  709. [Values(0x00000000u, 0x7FFFFFFFu,
  710. 0x80000000u, 0xFFFFFFFFu)] uint wn,
  711. [Values(0x00000000u, 0x7FFFFFFFu,
  712. 0x80000000u, 0xFFFFFFFFu)] uint wm,
  713. [Values(0b00u, 0b01u, 0b10u)] uint shift, // <LSL, LSR, ASR>
  714. [Values(0u, 15u, 16u, 31u)] uint amount)
  715. {
  716. uint opcode = 0x6B000000; // SUBS W0, W0, W0, LSL #0
  717. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  718. opcode |= ((shift & 3) << 22) | ((amount & 63) << 10);
  719. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  720. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  721. CompareAgainstUnicorn();
  722. }
  723. #endif
  724. }
  725. }