CpuTestAluImm.cs 20 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455
  1. #define AluImm
  2. using ChocolArm64.State;
  3. using NUnit.Framework;
  4. namespace Ryujinx.Tests.Cpu
  5. {
  6. [Category("AluImm")] // Tested: second half of 2018.
  7. public sealed class CpuTestAluImm : CpuTest
  8. {
  9. #if AluImm
  10. private const int RndCnt = 2;
  11. private const int RndCntImm = 2;
  12. private const int RndCntImms = 2;
  13. private const int RndCntImmr = 2;
  14. [Test, Pairwise, Description("ADD <Xd|SP>, <Xn|SP>, #<imm>{, <shift>}")]
  15. public void Add_64bit([Values(0u, 31u)] uint Rd,
  16. [Values(1u, 31u)] uint Rn,
  17. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  18. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong Xn_SP,
  19. [Values(0u, 4095u)] [Random(0u, 4095u, RndCntImm)] uint imm,
  20. [Values(0b00u, 0b01u)] uint shift) // <LSL #0, LSL #12>
  21. {
  22. uint Opcode = 0x91000000; // ADD X0, X0, #0, LSL #0
  23. Opcode |= ((Rn & 31) << 5) | ((Rd & 31) << 0);
  24. Opcode |= ((shift & 3) << 22) | ((imm & 4095) << 10);
  25. AThreadState ThreadState;
  26. if (Rn != 31)
  27. {
  28. ThreadState = SingleOpcode(Opcode, X1: Xn_SP);
  29. }
  30. else
  31. {
  32. ThreadState = SingleOpcode(Opcode, X31: Xn_SP);
  33. }
  34. CompareAgainstUnicorn();
  35. }
  36. [Test, Pairwise, Description("ADD <Wd|WSP>, <Wn|WSP>, #<imm>{, <shift>}")]
  37. public void Add_32bit([Values(0u, 31u)] uint Rd,
  38. [Values(1u, 31u)] uint Rn,
  39. [Values(0x00000000u, 0x7FFFFFFFu,
  40. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint Wn_WSP,
  41. [Values(0u, 4095u)] [Random(0u, 4095u, RndCntImm)] uint imm,
  42. [Values(0b00u, 0b01u)] uint shift) // <LSL #0, LSL #12>
  43. {
  44. uint Opcode = 0x11000000; // ADD W0, W0, #0, LSL #0
  45. Opcode |= ((Rn & 31) << 5) | ((Rd & 31) << 0);
  46. Opcode |= ((shift & 3) << 22) | ((imm & 4095) << 10);
  47. AThreadState ThreadState;
  48. if (Rn != 31)
  49. {
  50. ThreadState = SingleOpcode(Opcode, X1: Wn_WSP);
  51. }
  52. else
  53. {
  54. ThreadState = SingleOpcode(Opcode, X31: Wn_WSP);
  55. }
  56. CompareAgainstUnicorn();
  57. }
  58. [Test, Pairwise, Description("ADDS <Xd>, <Xn|SP>, #<imm>{, <shift>}")]
  59. public void Adds_64bit([Values(0u, 31u)] uint Rd,
  60. [Values(1u, 31u)] uint Rn,
  61. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  62. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong Xn_SP,
  63. [Values(0u, 4095u)] [Random(0u, 4095u, RndCntImm)] uint imm,
  64. [Values(0b00u, 0b01u)] uint shift) // <LSL #0, LSL #12>
  65. {
  66. uint Opcode = 0xB1000000; // ADDS X0, X0, #0, LSL #0
  67. Opcode |= ((Rn & 31) << 5) | ((Rd & 31) << 0);
  68. Opcode |= ((shift & 3) << 22) | ((imm & 4095) << 10);
  69. AThreadState ThreadState;
  70. if (Rn != 31)
  71. {
  72. ThreadState = SingleOpcode(Opcode, X1: Xn_SP);
  73. }
  74. else
  75. {
  76. ThreadState = SingleOpcode(Opcode, X31: Xn_SP);
  77. }
  78. CompareAgainstUnicorn();
  79. }
  80. [Test, Pairwise, Description("ADDS <Wd>, <Wn|WSP>, #<imm>{, <shift>}")]
  81. public void Adds_32bit([Values(0u, 31u)] uint Rd,
  82. [Values(1u, 31u)] uint Rn,
  83. [Values(0x00000000u, 0x7FFFFFFFu,
  84. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint Wn_WSP,
  85. [Values(0u, 4095u)] [Random(0u, 4095u, RndCntImm)] uint imm,
  86. [Values(0b00u, 0b01u)] uint shift) // <LSL #0, LSL #12>
  87. {
  88. uint Opcode = 0x31000000; // ADDS W0, W0, #0, LSL #0
  89. Opcode |= ((Rn & 31) << 5) | ((Rd & 31) << 0);
  90. Opcode |= ((shift & 3) << 22) | ((imm & 4095) << 10);
  91. AThreadState ThreadState;
  92. if (Rn != 31)
  93. {
  94. ThreadState = SingleOpcode(Opcode, X1: Wn_WSP);
  95. }
  96. else
  97. {
  98. ThreadState = SingleOpcode(Opcode, X31: Wn_WSP);
  99. }
  100. CompareAgainstUnicorn();
  101. }
  102. [Test, Pairwise, Description("AND <Xd|SP>, <Xn>, #<imm>")]
  103. public void And_N1_64bit([Values(0u, 31u)] uint Rd,
  104. [Values(1u, 31u)] uint Rn,
  105. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  106. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong Xn,
  107. [Values(0u, 31u, 32u, 62u)] [Random(0u, 62u, RndCntImms)] uint imms, // <imm>
  108. [Values(0u, 31u, 32u, 63u)] [Random(0u, 63u, RndCntImmr)] uint immr) // <imm>
  109. {
  110. uint Opcode = 0x92400000; // AND X0, X0, #0x1
  111. Opcode |= ((Rn & 31) << 5) | ((Rd & 31) << 0);
  112. Opcode |= ((immr & 63) << 16) | ((imms & 63) << 10);
  113. ulong _X31 = TestContext.CurrentContext.Random.NextULong();
  114. AThreadState ThreadState = SingleOpcode(Opcode, X1: Xn, X31: _X31);
  115. CompareAgainstUnicorn();
  116. }
  117. [Test, Pairwise, Description("AND <Xd|SP>, <Xn>, #<imm>")]
  118. public void And_N0_64bit([Values(0u, 31u)] uint Rd,
  119. [Values(1u, 31u)] uint Rn,
  120. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  121. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong Xn,
  122. [Values(0u, 15u, 16u, 30u)] [Random(0u, 30u, RndCntImms)] uint imms, // <imm>
  123. [Values(0u, 15u, 16u, 31u)] [Random(0u, 31u, RndCntImmr)] uint immr) // <imm>
  124. {
  125. uint Opcode = 0x92000000; // AND X0, X0, #0x100000001
  126. Opcode |= ((Rn & 31) << 5) | ((Rd & 31) << 0);
  127. Opcode |= ((immr & 63) << 16) | ((imms & 63) << 10);
  128. ulong _X31 = TestContext.CurrentContext.Random.NextULong();
  129. AThreadState ThreadState = SingleOpcode(Opcode, X1: Xn, X31: _X31);
  130. CompareAgainstUnicorn();
  131. }
  132. [Test, Pairwise, Description("AND <Wd|WSP>, <Wn>, #<imm>")]
  133. public void And_32bit([Values(0u, 31u)] uint Rd,
  134. [Values(1u, 31u)] uint Rn,
  135. [Values(0x00000000u, 0x7FFFFFFFu,
  136. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint Wn,
  137. [Values(0u, 15u, 16u, 30u)] [Random(0u, 30u, RndCntImms)] uint imms, // <imm>
  138. [Values(0u, 15u, 16u, 31u)] [Random(0u, 31u, RndCntImmr)] uint immr) // <imm>
  139. {
  140. uint Opcode = 0x12000000; // AND W0, W0, #0x1
  141. Opcode |= ((Rn & 31) << 5) | ((Rd & 31) << 0);
  142. Opcode |= ((immr & 63) << 16) | ((imms & 63) << 10);
  143. uint _W31 = TestContext.CurrentContext.Random.NextUInt();
  144. AThreadState ThreadState = SingleOpcode(Opcode, X1: Wn, X31: _W31);
  145. CompareAgainstUnicorn();
  146. }
  147. [Test, Pairwise, Description("ANDS <Xd>, <Xn>, #<imm>")]
  148. public void Ands_N1_64bit([Values(0u, 31u)] uint Rd,
  149. [Values(1u, 31u)] uint Rn,
  150. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  151. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong Xn,
  152. [Values(0u, 31u, 32u, 62u)] [Random(0u, 62u, RndCntImms)] uint imms, // <imm>
  153. [Values(0u, 31u, 32u, 63u)] [Random(0u, 63u, RndCntImmr)] uint immr) // <imm>
  154. {
  155. uint Opcode = 0xF2400000; // ANDS X0, X0, #0x1
  156. Opcode |= ((Rn & 31) << 5) | ((Rd & 31) << 0);
  157. Opcode |= ((immr & 63) << 16) | ((imms & 63) << 10);
  158. ulong _X31 = TestContext.CurrentContext.Random.NextULong();
  159. AThreadState ThreadState = SingleOpcode(Opcode, X1: Xn, X31: _X31);
  160. CompareAgainstUnicorn();
  161. }
  162. [Test, Pairwise, Description("ANDS <Xd>, <Xn>, #<imm>")]
  163. public void Ands_N0_64bit([Values(0u, 31u)] uint Rd,
  164. [Values(1u, 31u)] uint Rn,
  165. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  166. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong Xn,
  167. [Values(0u, 15u, 16u, 30u)] [Random(0u, 30u, RndCntImms)] uint imms, // <imm>
  168. [Values(0u, 15u, 16u, 31u)] [Random(0u, 31u, RndCntImmr)] uint immr) // <imm>
  169. {
  170. uint Opcode = 0xF2000000; // ANDS X0, X0, #0x100000001
  171. Opcode |= ((Rn & 31) << 5) | ((Rd & 31) << 0);
  172. Opcode |= ((immr & 63) << 16) | ((imms & 63) << 10);
  173. ulong _X31 = TestContext.CurrentContext.Random.NextULong();
  174. AThreadState ThreadState = SingleOpcode(Opcode, X1: Xn, X31: _X31);
  175. CompareAgainstUnicorn();
  176. }
  177. [Test, Pairwise, Description("ANDS <Wd>, <Wn>, #<imm>")]
  178. public void Ands_32bit([Values(0u, 31u)] uint Rd,
  179. [Values(1u, 31u)] uint Rn,
  180. [Values(0x00000000u, 0x7FFFFFFFu,
  181. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint Wn,
  182. [Values(0u, 15u, 16u, 30u)] [Random(0u, 30u, RndCntImms)] uint imms, // <imm>
  183. [Values(0u, 15u, 16u, 31u)] [Random(0u, 31u, RndCntImmr)] uint immr) // <imm>
  184. {
  185. uint Opcode = 0x72000000; // ANDS W0, W0, #0x1
  186. Opcode |= ((Rn & 31) << 5) | ((Rd & 31) << 0);
  187. Opcode |= ((immr & 63) << 16) | ((imms & 63) << 10);
  188. uint _W31 = TestContext.CurrentContext.Random.NextUInt();
  189. AThreadState ThreadState = SingleOpcode(Opcode, X1: Wn, X31: _W31);
  190. CompareAgainstUnicorn();
  191. }
  192. [Test, Pairwise, Description("EOR <Xd|SP>, <Xn>, #<imm>")]
  193. public void Eor_N1_64bit([Values(0u, 31u)] uint Rd,
  194. [Values(1u, 31u)] uint Rn,
  195. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  196. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong Xn,
  197. [Values(0u, 31u, 32u, 62u)] [Random(0u, 62u, RndCntImms)] uint imms, // <imm>
  198. [Values(0u, 31u, 32u, 63u)] [Random(0u, 63u, RndCntImmr)] uint immr) // <imm>
  199. {
  200. uint Opcode = 0xD2400000; // EOR X0, X0, #0x1
  201. Opcode |= ((Rn & 31) << 5) | ((Rd & 31) << 0);
  202. Opcode |= ((immr & 63) << 16) | ((imms & 63) << 10);
  203. ulong _X31 = TestContext.CurrentContext.Random.NextULong();
  204. AThreadState ThreadState = SingleOpcode(Opcode, X1: Xn, X31: _X31);
  205. CompareAgainstUnicorn();
  206. }
  207. [Test, Pairwise, Description("EOR <Xd|SP>, <Xn>, #<imm>")]
  208. public void Eor_N0_64bit([Values(0u, 31u)] uint Rd,
  209. [Values(1u, 31u)] uint Rn,
  210. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  211. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong Xn,
  212. [Values(0u, 15u, 16u, 30u)] [Random(0u, 30u, RndCntImms)] uint imms, // <imm>
  213. [Values(0u, 15u, 16u, 31u)] [Random(0u, 31u, RndCntImmr)] uint immr) // <imm>
  214. {
  215. uint Opcode = 0xD2000000; // EOR X0, X0, #0x100000001
  216. Opcode |= ((Rn & 31) << 5) | ((Rd & 31) << 0);
  217. Opcode |= ((immr & 63) << 16) | ((imms & 63) << 10);
  218. ulong _X31 = TestContext.CurrentContext.Random.NextULong();
  219. AThreadState ThreadState = SingleOpcode(Opcode, X1: Xn, X31: _X31);
  220. CompareAgainstUnicorn();
  221. }
  222. [Test, Pairwise, Description("EOR <Wd>, <Wn>, #<imm>")]
  223. public void Eor_32bit([Values(0u, 31u)] uint Rd,
  224. [Values(1u, 31u)] uint Rn,
  225. [Values(0x00000000u, 0x7FFFFFFFu,
  226. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint Wn,
  227. [Values(0u, 15u, 16u, 30u)] [Random(0u, 30u, RndCntImms)] uint imms, // <imm>
  228. [Values(0u, 15u, 16u, 31u)] [Random(0u, 31u, RndCntImmr)] uint immr) // <imm>
  229. {
  230. uint Opcode = 0x52000000; // EOR W0, W0, #0x1
  231. Opcode |= ((Rn & 31) << 5) | ((Rd & 31) << 0);
  232. Opcode |= ((immr & 63) << 16) | ((imms & 63) << 10);
  233. uint _W31 = TestContext.CurrentContext.Random.NextUInt();
  234. AThreadState ThreadState = SingleOpcode(Opcode, X1: Wn, X31: _W31);
  235. CompareAgainstUnicorn();
  236. }
  237. [Test, Pairwise, Description("ORR <Xd|SP>, <Xn>, #<imm>")]
  238. public void Orr_N1_64bit([Values(0u, 31u)] uint Rd,
  239. [Values(1u, 31u)] uint Rn,
  240. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  241. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong Xn,
  242. [Values(0u, 31u, 32u, 62u)] [Random(0u, 62u, RndCntImms)] uint imms, // <imm>
  243. [Values(0u, 31u, 32u, 63u)] [Random(0u, 63u, RndCntImmr)] uint immr) // <imm>
  244. {
  245. uint Opcode = 0xB2400000; // ORR X0, X0, #0x1
  246. Opcode |= ((Rn & 31) << 5) | ((Rd & 31) << 0);
  247. Opcode |= ((immr & 63) << 16) | ((imms & 63) << 10);
  248. ulong _X31 = TestContext.CurrentContext.Random.NextULong();
  249. AThreadState ThreadState = SingleOpcode(Opcode, X1: Xn, X31: _X31);
  250. CompareAgainstUnicorn();
  251. }
  252. [Test, Pairwise, Description("ORR <Xd|SP>, <Xn>, #<imm>")]
  253. public void Orr_N0_64bit([Values(0u, 31u)] uint Rd,
  254. [Values(1u, 31u)] uint Rn,
  255. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  256. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong Xn,
  257. [Values(0u, 15u, 16u, 30u)] [Random(0u, 30u, RndCntImms)] uint imms, // <imm>
  258. [Values(0u, 15u, 16u, 31u)] [Random(0u, 31u, RndCntImmr)] uint immr) // <imm>
  259. {
  260. uint Opcode = 0xB2000000; // ORR X0, X0, #0x100000001
  261. Opcode |= ((Rn & 31) << 5) | ((Rd & 31) << 0);
  262. Opcode |= ((immr & 63) << 16) | ((imms & 63) << 10);
  263. ulong _X31 = TestContext.CurrentContext.Random.NextULong();
  264. AThreadState ThreadState = SingleOpcode(Opcode, X1: Xn, X31: _X31);
  265. CompareAgainstUnicorn();
  266. }
  267. [Test, Pairwise, Description("ORR <Wd|WSP>, <Wn>, #<imm>")]
  268. public void Orr_32bit([Values(0u, 31u)] uint Rd,
  269. [Values(1u, 31u)] uint Rn,
  270. [Values(0x00000000u, 0x7FFFFFFFu,
  271. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint Wn,
  272. [Values(0u, 15u, 16u, 30u)] [Random(0u, 30u, RndCntImms)] uint imms, // <imm>
  273. [Values(0u, 15u, 16u, 31u)] [Random(0u, 31u, RndCntImmr)] uint immr) // <imm>
  274. {
  275. uint Opcode = 0x32000000; // ORR W0, W0, #0x1
  276. Opcode |= ((Rn & 31) << 5) | ((Rd & 31) << 0);
  277. Opcode |= ((immr & 63) << 16) | ((imms & 63) << 10);
  278. uint _W31 = TestContext.CurrentContext.Random.NextUInt();
  279. AThreadState ThreadState = SingleOpcode(Opcode, X1: Wn, X31: _W31);
  280. CompareAgainstUnicorn();
  281. }
  282. [Test, Pairwise, Description("SUB <Xd|SP>, <Xn|SP>, #<imm>{, <shift>}")]
  283. public void Sub_64bit([Values(0u, 31u)] uint Rd,
  284. [Values(1u, 31u)] uint Rn,
  285. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  286. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong Xn_SP,
  287. [Values(0u, 4095u)] [Random(0u, 4095u, RndCntImm)] uint imm,
  288. [Values(0b00u, 0b01u)] uint shift) // <LSL #0, LSL #12>
  289. {
  290. uint Opcode = 0xD1000000; // SUB X0, X0, #0, LSL #0
  291. Opcode |= ((Rn & 31) << 5) | ((Rd & 31) << 0);
  292. Opcode |= ((shift & 3) << 22) | ((imm & 4095) << 10);
  293. AThreadState ThreadState;
  294. if (Rn != 31)
  295. {
  296. ThreadState = SingleOpcode(Opcode, X1: Xn_SP);
  297. }
  298. else
  299. {
  300. ThreadState = SingleOpcode(Opcode, X31: Xn_SP);
  301. }
  302. CompareAgainstUnicorn();
  303. }
  304. [Test, Pairwise, Description("SUB <Wd|WSP>, <Wn|WSP>, #<imm>{, <shift>}")]
  305. public void Sub_32bit([Values(0u, 31u)] uint Rd,
  306. [Values(1u, 31u)] uint Rn,
  307. [Values(0x00000000u, 0x7FFFFFFFu,
  308. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint Wn_WSP,
  309. [Values(0u, 4095u)] [Random(0u, 4095u, RndCntImm)] uint imm,
  310. [Values(0b00u, 0b01u)] uint shift) // <LSL #0, LSL #12>
  311. {
  312. uint Opcode = 0x51000000; // SUB W0, W0, #0, LSL #0
  313. Opcode |= ((Rn & 31) << 5) | ((Rd & 31) << 0);
  314. Opcode |= ((shift & 3) << 22) | ((imm & 4095) << 10);
  315. AThreadState ThreadState;
  316. if (Rn != 31)
  317. {
  318. ThreadState = SingleOpcode(Opcode, X1: Wn_WSP);
  319. }
  320. else
  321. {
  322. ThreadState = SingleOpcode(Opcode, X31: Wn_WSP);
  323. }
  324. CompareAgainstUnicorn();
  325. }
  326. [Test, Pairwise, Description("SUBS <Xd>, <Xn|SP>, #<imm>{, <shift>}")]
  327. public void Subs_64bit([Values(0u, 31u)] uint Rd,
  328. [Values(1u, 31u)] uint Rn,
  329. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  330. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong Xn_SP,
  331. [Values(0u, 4095u)] [Random(0u, 4095u, RndCntImm)] uint imm,
  332. [Values(0b00u, 0b01u)] uint shift) // <LSL #0, LSL #12>
  333. {
  334. uint Opcode = 0xF1000000; // SUBS X0, X0, #0, LSL #0
  335. Opcode |= ((Rn & 31) << 5) | ((Rd & 31) << 0);
  336. Opcode |= ((shift & 3) << 22) | ((imm & 4095) << 10);
  337. AThreadState ThreadState;
  338. if (Rn != 31)
  339. {
  340. ThreadState = SingleOpcode(Opcode, X1: Xn_SP);
  341. }
  342. else
  343. {
  344. ThreadState = SingleOpcode(Opcode, X31: Xn_SP);
  345. }
  346. CompareAgainstUnicorn();
  347. }
  348. [Test, Pairwise, Description("SUBS <Wd>, <Wn|WSP>, #<imm>{, <shift>}")]
  349. public void Subs_32bit([Values(0u, 31u)] uint Rd,
  350. [Values(1u, 31u)] uint Rn,
  351. [Values(0x00000000u, 0x7FFFFFFFu,
  352. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint Wn_WSP,
  353. [Values(0u, 4095u)] [Random(0u, 4095u, RndCntImm)] uint imm,
  354. [Values(0b00u, 0b01u)] uint shift) // <LSL #0, LSL #12>
  355. {
  356. uint Opcode = 0x71000000; // SUBS W0, W0, #0, LSL #0
  357. Opcode |= ((Rn & 31) << 5) | ((Rd & 31) << 0);
  358. Opcode |= ((shift & 3) << 22) | ((imm & 4095) << 10);
  359. AThreadState ThreadState;
  360. if (Rn != 31)
  361. {
  362. ThreadState = SingleOpcode(Opcode, X1: Wn_WSP);
  363. }
  364. else
  365. {
  366. ThreadState = SingleOpcode(Opcode, X31: Wn_WSP);
  367. }
  368. CompareAgainstUnicorn();
  369. }
  370. #endif
  371. }
  372. }