CpuTestMul.cs 17 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375
  1. //#define Mul
  2. using ChocolArm64.State;
  3. using NUnit.Framework;
  4. namespace Ryujinx.Tests.Cpu
  5. {
  6. using Tester;
  7. using Tester.Types;
  8. [Category("Mul"), Ignore("Tested: first half of 2018.")]
  9. public sealed class CpuTestMul : CpuTest
  10. {
  11. #if Mul
  12. [SetUp]
  13. public void SetupTester()
  14. {
  15. AArch64.TakeReset(false);
  16. }
  17. [Test, Description("MADD <Xd>, <Xn>, <Xm>, <Xa>")]
  18. public void Madd_64bit([Values(0u, 31u)] uint Rd,
  19. [Values(1u, 31u)] uint Rn,
  20. [Values(2u, 31u)] uint Rm,
  21. [Values(3u, 31u)] uint Ra,
  22. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  23. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(2)] ulong Xn,
  24. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  25. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(2)] ulong Xm,
  26. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  27. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(2)] ulong Xa)
  28. {
  29. uint Opcode = 0x9B000000; // MADD X0, X0, X0, X0
  30. Opcode |= ((Rm & 31) << 16) | ((Ra & 31) << 10) | ((Rn & 31) << 5) | ((Rd & 31) << 0);
  31. ulong _X31 = TestContext.CurrentContext.Random.NextULong();
  32. AThreadState ThreadState = SingleOpcode(Opcode, X1: Xn, X2: Xm, X3: Xa, X31: _X31);
  33. if (Rd != 31)
  34. {
  35. Bits Op = new Bits(Opcode);
  36. AArch64.X((int)Rn, new Bits(Xn));
  37. AArch64.X((int)Rm, new Bits(Xm));
  38. AArch64.X((int)Ra, new Bits(Xa));
  39. Base.Madd(Op[31], Op[20, 16], Op[14, 10], Op[9, 5], Op[4, 0]);
  40. ulong Xd = AArch64.X(64, (int)Rd).ToUInt64();
  41. Assert.That((ulong)ThreadState.X0, Is.EqualTo(Xd));
  42. }
  43. else
  44. {
  45. Assert.That((ulong)ThreadState.X31, Is.EqualTo(_X31));
  46. }
  47. }
  48. [Test, Description("MADD <Wd>, <Wn>, <Wm>, <Wa>")]
  49. public void Madd_32bit([Values(0u, 31u)] uint Rd,
  50. [Values(1u, 31u)] uint Rn,
  51. [Values(2u, 31u)] uint Rm,
  52. [Values(3u, 31u)] uint Ra,
  53. [Values(0x00000000u, 0x7FFFFFFFu,
  54. 0x80000000u, 0xFFFFFFFFu)] [Random(2)] uint Wn,
  55. [Values(0x00000000u, 0x7FFFFFFFu,
  56. 0x80000000u, 0xFFFFFFFFu)] [Random(2)] uint Wm,
  57. [Values(0x00000000u, 0x7FFFFFFFu,
  58. 0x80000000u, 0xFFFFFFFFu)] [Random(2)] uint Wa)
  59. {
  60. uint Opcode = 0x1B000000; // MADD W0, W0, W0, W0
  61. Opcode |= ((Rm & 31) << 16) | ((Ra & 31) << 10) | ((Rn & 31) << 5) | ((Rd & 31) << 0);
  62. uint _W31 = TestContext.CurrentContext.Random.NextUInt();
  63. AThreadState ThreadState = SingleOpcode(Opcode, X1: Wn, X2: Wm, X3: Wa, X31: _W31);
  64. if (Rd != 31)
  65. {
  66. Bits Op = new Bits(Opcode);
  67. AArch64.X((int)Rn, new Bits(Wn));
  68. AArch64.X((int)Rm, new Bits(Wm));
  69. AArch64.X((int)Ra, new Bits(Wa));
  70. Base.Madd(Op[31], Op[20, 16], Op[14, 10], Op[9, 5], Op[4, 0]);
  71. uint Wd = AArch64.X(32, (int)Rd).ToUInt32();
  72. Assert.That((uint)ThreadState.X0, Is.EqualTo(Wd));
  73. }
  74. else
  75. {
  76. Assert.That((uint)ThreadState.X31, Is.EqualTo(_W31));
  77. }
  78. }
  79. [Test, Description("MSUB <Xd>, <Xn>, <Xm>, <Xa>")]
  80. public void Msub_64bit([Values(0u, 31u)] uint Rd,
  81. [Values(1u, 31u)] uint Rn,
  82. [Values(2u, 31u)] uint Rm,
  83. [Values(3u, 31u)] uint Ra,
  84. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  85. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(2)] ulong Xn,
  86. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  87. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(2)] ulong Xm,
  88. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  89. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(2)] ulong Xa)
  90. {
  91. uint Opcode = 0x9B008000; // MSUB X0, X0, X0, X0
  92. Opcode |= ((Rm & 31) << 16) | ((Ra & 31) << 10) | ((Rn & 31) << 5) | ((Rd & 31) << 0);
  93. ulong _X31 = TestContext.CurrentContext.Random.NextULong();
  94. AThreadState ThreadState = SingleOpcode(Opcode, X1: Xn, X2: Xm, X3: Xa, X31: _X31);
  95. if (Rd != 31)
  96. {
  97. Bits Op = new Bits(Opcode);
  98. AArch64.X((int)Rn, new Bits(Xn));
  99. AArch64.X((int)Rm, new Bits(Xm));
  100. AArch64.X((int)Ra, new Bits(Xa));
  101. Base.Msub(Op[31], Op[20, 16], Op[14, 10], Op[9, 5], Op[4, 0]);
  102. ulong Xd = AArch64.X(64, (int)Rd).ToUInt64();
  103. Assert.That((ulong)ThreadState.X0, Is.EqualTo(Xd));
  104. }
  105. else
  106. {
  107. Assert.That((ulong)ThreadState.X31, Is.EqualTo(_X31));
  108. }
  109. }
  110. [Test, Description("MSUB <Wd>, <Wn>, <Wm>, <Wa>")]
  111. public void Msub_32bit([Values(0u, 31u)] uint Rd,
  112. [Values(1u, 31u)] uint Rn,
  113. [Values(2u, 31u)] uint Rm,
  114. [Values(3u, 31u)] uint Ra,
  115. [Values(0x00000000u, 0x7FFFFFFFu,
  116. 0x80000000u, 0xFFFFFFFFu)] [Random(2)] uint Wn,
  117. [Values(0x00000000u, 0x7FFFFFFFu,
  118. 0x80000000u, 0xFFFFFFFFu)] [Random(2)] uint Wm,
  119. [Values(0x00000000u, 0x7FFFFFFFu,
  120. 0x80000000u, 0xFFFFFFFFu)] [Random(2)] uint Wa)
  121. {
  122. uint Opcode = 0x1B008000; // MSUB W0, W0, W0, W0
  123. Opcode |= ((Rm & 31) << 16) | ((Ra & 31) << 10) | ((Rn & 31) << 5) | ((Rd & 31) << 0);
  124. uint _W31 = TestContext.CurrentContext.Random.NextUInt();
  125. AThreadState ThreadState = SingleOpcode(Opcode, X1: Wn, X2: Wm, X3: Wa, X31: _W31);
  126. if (Rd != 31)
  127. {
  128. Bits Op = new Bits(Opcode);
  129. AArch64.X((int)Rn, new Bits(Wn));
  130. AArch64.X((int)Rm, new Bits(Wm));
  131. AArch64.X((int)Ra, new Bits(Wa));
  132. Base.Msub(Op[31], Op[20, 16], Op[14, 10], Op[9, 5], Op[4, 0]);
  133. uint Wd = AArch64.X(32, (int)Rd).ToUInt32();
  134. Assert.That((uint)ThreadState.X0, Is.EqualTo(Wd));
  135. }
  136. else
  137. {
  138. Assert.That((uint)ThreadState.X31, Is.EqualTo(_W31));
  139. }
  140. }
  141. [Test, Description("SMADDL <Xd>, <Wn>, <Wm>, <Xa>")]
  142. public void Smaddl_64bit([Values(0u, 31u)] uint Rd,
  143. [Values(1u, 31u)] uint Rn,
  144. [Values(2u, 31u)] uint Rm,
  145. [Values(3u, 31u)] uint Ra,
  146. [Values(0x00000000u, 0x7FFFFFFFu,
  147. 0x80000000u, 0xFFFFFFFFu)] [Random(2)] uint Wn,
  148. [Values(0x00000000u, 0x7FFFFFFFu,
  149. 0x80000000u, 0xFFFFFFFFu)] [Random(2)] uint Wm,
  150. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  151. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(2)] ulong Xa)
  152. {
  153. uint Opcode = 0x9B200000; // SMADDL X0, W0, W0, X0
  154. Opcode |= ((Rm & 31) << 16) | ((Ra & 31) << 10) | ((Rn & 31) << 5) | ((Rd & 31) << 0);
  155. ulong _X31 = TestContext.CurrentContext.Random.NextULong();
  156. AThreadState ThreadState = SingleOpcode(Opcode, X1: Wn, X2: Wm, X3: Xa, X31: _X31);
  157. if (Rd != 31)
  158. {
  159. Bits Op = new Bits(Opcode);
  160. AArch64.X((int)Rn, new Bits(Wn));
  161. AArch64.X((int)Rm, new Bits(Wm));
  162. AArch64.X((int)Ra, new Bits(Xa));
  163. Base.Smaddl(Op[20, 16], Op[14, 10], Op[9, 5], Op[4, 0]);
  164. ulong Xd = AArch64.X(64, (int)Rd).ToUInt64();
  165. Assert.That((ulong)ThreadState.X0, Is.EqualTo(Xd));
  166. }
  167. else
  168. {
  169. Assert.That((ulong)ThreadState.X31, Is.EqualTo(_X31));
  170. }
  171. }
  172. [Test, Description("UMADDL <Xd>, <Wn>, <Wm>, <Xa>")]
  173. public void Umaddl_64bit([Values(0u, 31u)] uint Rd,
  174. [Values(1u, 31u)] uint Rn,
  175. [Values(2u, 31u)] uint Rm,
  176. [Values(3u, 31u)] uint Ra,
  177. [Values(0x00000000u, 0x7FFFFFFFu,
  178. 0x80000000u, 0xFFFFFFFFu)] [Random(2)] uint Wn,
  179. [Values(0x00000000u, 0x7FFFFFFFu,
  180. 0x80000000u, 0xFFFFFFFFu)] [Random(2)] uint Wm,
  181. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  182. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(2)] ulong Xa)
  183. {
  184. uint Opcode = 0x9BA00000; // UMADDL X0, W0, W0, X0
  185. Opcode |= ((Rm & 31) << 16) | ((Ra & 31) << 10) | ((Rn & 31) << 5) | ((Rd & 31) << 0);
  186. ulong _X31 = TestContext.CurrentContext.Random.NextULong();
  187. AThreadState ThreadState = SingleOpcode(Opcode, X1: Wn, X2: Wm, X3: Xa, X31: _X31);
  188. if (Rd != 31)
  189. {
  190. Bits Op = new Bits(Opcode);
  191. AArch64.X((int)Rn, new Bits(Wn));
  192. AArch64.X((int)Rm, new Bits(Wm));
  193. AArch64.X((int)Ra, new Bits(Xa));
  194. Base.Umaddl(Op[20, 16], Op[14, 10], Op[9, 5], Op[4, 0]);
  195. ulong Xd = AArch64.X(64, (int)Rd).ToUInt64();
  196. Assert.That((ulong)ThreadState.X0, Is.EqualTo(Xd));
  197. }
  198. else
  199. {
  200. Assert.That((ulong)ThreadState.X31, Is.EqualTo(_X31));
  201. }
  202. }
  203. [Test, Description("SMSUBL <Xd>, <Wn>, <Wm>, <Xa>")]
  204. public void Smsubl_64bit([Values(0u, 31u)] uint Rd,
  205. [Values(1u, 31u)] uint Rn,
  206. [Values(2u, 31u)] uint Rm,
  207. [Values(3u, 31u)] uint Ra,
  208. [Values(0x00000000u, 0x7FFFFFFFu,
  209. 0x80000000u, 0xFFFFFFFFu)] [Random(2)] uint Wn,
  210. [Values(0x00000000u, 0x7FFFFFFFu,
  211. 0x80000000u, 0xFFFFFFFFu)] [Random(2)] uint Wm,
  212. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  213. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(2)] ulong Xa)
  214. {
  215. uint Opcode = 0x9B208000; // SMSUBL X0, W0, W0, X0
  216. Opcode |= ((Rm & 31) << 16) | ((Ra & 31) << 10) | ((Rn & 31) << 5) | ((Rd & 31) << 0);
  217. ulong _X31 = TestContext.CurrentContext.Random.NextULong();
  218. AThreadState ThreadState = SingleOpcode(Opcode, X1: Wn, X2: Wm, X3: Xa, X31: _X31);
  219. if (Rd != 31)
  220. {
  221. Bits Op = new Bits(Opcode);
  222. AArch64.X((int)Rn, new Bits(Wn));
  223. AArch64.X((int)Rm, new Bits(Wm));
  224. AArch64.X((int)Ra, new Bits(Xa));
  225. Base.Smsubl(Op[20, 16], Op[14, 10], Op[9, 5], Op[4, 0]);
  226. ulong Xd = AArch64.X(64, (int)Rd).ToUInt64();
  227. Assert.That((ulong)ThreadState.X0, Is.EqualTo(Xd));
  228. }
  229. else
  230. {
  231. Assert.That((ulong)ThreadState.X31, Is.EqualTo(_X31));
  232. }
  233. }
  234. [Test, Description("UMSUBL <Xd>, <Wn>, <Wm>, <Xa>")]
  235. public void Umsubl_64bit([Values(0u, 31u)] uint Rd,
  236. [Values(1u, 31u)] uint Rn,
  237. [Values(2u, 31u)] uint Rm,
  238. [Values(3u, 31u)] uint Ra,
  239. [Values(0x00000000u, 0x7FFFFFFFu,
  240. 0x80000000u, 0xFFFFFFFFu)] [Random(2)] uint Wn,
  241. [Values(0x00000000u, 0x7FFFFFFFu,
  242. 0x80000000u, 0xFFFFFFFFu)] [Random(2)] uint Wm,
  243. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  244. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(2)] ulong Xa)
  245. {
  246. uint Opcode = 0x9BA08000; // UMSUBL X0, W0, W0, X0
  247. Opcode |= ((Rm & 31) << 16) | ((Ra & 31) << 10) | ((Rn & 31) << 5) | ((Rd & 31) << 0);
  248. ulong _X31 = TestContext.CurrentContext.Random.NextULong();
  249. AThreadState ThreadState = SingleOpcode(Opcode, X1: Wn, X2: Wm, X3: Xa, X31: _X31);
  250. if (Rd != 31)
  251. {
  252. Bits Op = new Bits(Opcode);
  253. AArch64.X((int)Rn, new Bits(Wn));
  254. AArch64.X((int)Rm, new Bits(Wm));
  255. AArch64.X((int)Ra, new Bits(Xa));
  256. Base.Umsubl(Op[20, 16], Op[14, 10], Op[9, 5], Op[4, 0]);
  257. ulong Xd = AArch64.X(64, (int)Rd).ToUInt64();
  258. Assert.That((ulong)ThreadState.X0, Is.EqualTo(Xd));
  259. }
  260. else
  261. {
  262. Assert.That((ulong)ThreadState.X31, Is.EqualTo(_X31));
  263. }
  264. }
  265. [Test, Description("SMULH <Xd>, <Xn>, <Xm>")]
  266. public void Smulh_64bit([Values(0u, 31u)] uint Rd,
  267. [Values(1u, 31u)] uint Rn,
  268. [Values(2u, 31u)] uint Rm,
  269. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  270. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(16)] ulong Xn,
  271. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  272. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(16)] ulong Xm)
  273. {
  274. uint Opcode = 0x9B407C00; // SMULH X0, X0, X0
  275. Opcode |= ((Rm & 31) << 16) | ((Rn & 31) << 5) | ((Rd & 31) << 0);
  276. ulong _X31 = TestContext.CurrentContext.Random.NextULong();
  277. AThreadState ThreadState = SingleOpcode(Opcode, X1: Xn, X2: Xm, X31: _X31);
  278. if (Rd != 31)
  279. {
  280. Bits Op = new Bits(Opcode);
  281. AArch64.X((int)Rn, new Bits(Xn));
  282. AArch64.X((int)Rm, new Bits(Xm));
  283. Base.Smulh(Op[20, 16], Op[9, 5], Op[4, 0]);
  284. ulong Xd = AArch64.X(64, (int)Rd).ToUInt64();
  285. Assert.That((ulong)ThreadState.X0, Is.EqualTo(Xd));
  286. }
  287. else
  288. {
  289. Assert.That((ulong)ThreadState.X31, Is.EqualTo(_X31));
  290. }
  291. }
  292. [Test, Description("UMULH <Xd>, <Xn>, <Xm>")]
  293. public void Umulh_64bit([Values(0u, 31u)] uint Rd,
  294. [Values(1u, 31u)] uint Rn,
  295. [Values(2u, 31u)] uint Rm,
  296. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  297. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(16)] ulong Xn,
  298. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  299. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(16)] ulong Xm)
  300. {
  301. uint Opcode = 0x9BC07C00; // UMULH X0, X0, X0
  302. Opcode |= ((Rm & 31) << 16) | ((Rn & 31) << 5) | ((Rd & 31) << 0);
  303. ulong _X31 = TestContext.CurrentContext.Random.NextULong();
  304. AThreadState ThreadState = SingleOpcode(Opcode, X1: Xn, X2: Xm, X31: _X31);
  305. if (Rd != 31)
  306. {
  307. Bits Op = new Bits(Opcode);
  308. AArch64.X((int)Rn, new Bits(Xn));
  309. AArch64.X((int)Rm, new Bits(Xm));
  310. Base.Umulh(Op[20, 16], Op[9, 5], Op[4, 0]);
  311. ulong Xd = AArch64.X(64, (int)Rd).ToUInt64();
  312. Assert.That((ulong)ThreadState.X0, Is.EqualTo(Xd));
  313. }
  314. else
  315. {
  316. Assert.That((ulong)ThreadState.X31, Is.EqualTo(_X31));
  317. }
  318. }
  319. #endif
  320. }
  321. }