CpuTestAluBinary.cs 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309
  1. #define AluBinary
  2. using ARMeilleure.State;
  3. using NUnit.Framework;
  4. namespace Ryujinx.Tests.Cpu
  5. {
  6. [Category("AluBinary")]
  7. public sealed class CpuTestAluBinary : CpuTest
  8. {
  9. #if AluBinary
  10. public struct CrcTest
  11. {
  12. public uint Crc;
  13. public ulong Value;
  14. public bool C;
  15. public uint[] Results; // One result for each CRC variant (8, 16, 32)
  16. public CrcTest(uint crc, ulong value, bool c, params uint[] results)
  17. {
  18. Crc = crc;
  19. Value = value;
  20. C = c;
  21. Results = results;
  22. }
  23. }
  24. #region "ValueSource (CRC32)"
  25. private static CrcTest[] _CRC32_Test_Values_()
  26. {
  27. // Created with http://www.sunshine2k.de/coding/javascript/crc/crc_js.html, with:
  28. // - non-reflected polynomials
  29. // - input reflected, result reflected
  30. // - bytes in order of increasing significance
  31. // - xor 0
  32. // Only includes non-C variant, as the other can be tested with unicorn.
  33. return new CrcTest[]
  34. {
  35. new CrcTest(0x00000000u, 0x00_00_00_00_00_00_00_00u, false, 0x00000000, 0x00000000, 0x00000000, 0x00000000),
  36. new CrcTest(0x00000000u, 0x7f_ff_ff_ff_ff_ff_ff_ffu, false, 0x2d02ef8d, 0xbe2612ff, 0xdebb20e3, 0xa9de8355),
  37. new CrcTest(0x00000000u, 0x80_00_00_00_00_00_00_00u, false, 0x00000000, 0x00000000, 0x00000000, 0xedb88320),
  38. new CrcTest(0x00000000u, 0xff_ff_ff_ff_ff_ff_ff_ffu, false, 0x2d02ef8d, 0xbe2612ff, 0xdebb20e3, 0x44660075),
  39. new CrcTest(0x00000000u, 0xa0_02_f1_ca_52_78_8c_1cu, false, 0x14015c4f, 0x02799256, 0x9063c9e5, 0x8816610a),
  40. new CrcTest(0xffffffffu, 0x00_00_00_00_00_00_00_00u, false, 0x2dfd1072, 0xbe26ed00, 0xdebb20e3, 0x9add2096),
  41. new CrcTest(0xffffffffu, 0x7f_ff_ff_ff_ff_ff_ff_ffu, false, 0x00ffffff, 0x0000ffff, 0x00000000, 0x3303a3c3),
  42. new CrcTest(0xffffffffu, 0x80_00_00_00_00_00_00_00u, false, 0x2dfd1072, 0xbe26ed00, 0xdebb20e3, 0x7765a3b6),
  43. new CrcTest(0xffffffffu, 0xff_ff_ff_ff_ff_ff_ff_ffu, false, 0x00ffffff, 0x0000ffff, 0x00000000, 0xdebb20e3),
  44. new CrcTest(0xffffffffu, 0xa0_02_f1_ca_52_78_8c_1cu, false, 0x39fc4c3d, 0xbc5f7f56, 0x4ed8e906, 0x12cb419c)
  45. };
  46. }
  47. #endregion
  48. private const int RndCnt = 2;
  49. [Test, Combinatorial]
  50. public void Crc32_b_h_w_x([Values(0u)] uint rd,
  51. [Values(1u)] uint rn,
  52. [Values(2u)] uint rm,
  53. [Range(0u, 3u)] uint size,
  54. [ValueSource("_CRC32_Test_Values_")] CrcTest test)
  55. {
  56. uint opcode = 0x1AC04000; // CRC32B W0, W0, W0
  57. opcode |= size << 10;
  58. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  59. if (size == 3)
  60. {
  61. opcode |= 0x80000000;
  62. }
  63. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  64. SingleOpcode(opcode, x1: test.Crc, x2: test.Value, x31: w31, runUnicorn: false);
  65. ExecutionContext context = GetContext();
  66. ulong result = context.GetX((int)rd);
  67. Assert.That(result == test.Results[size]);
  68. }
  69. [Test, Pairwise, Description("CRC32X <Wd>, <Wn>, <Xm>"), Ignore("Unicorn fails.")]
  70. public void Crc32x([Values(0u, 31u)] uint rd,
  71. [Values(1u, 31u)] uint rn,
  72. [Values(2u, 31u)] uint rm,
  73. [Values(0x00000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  74. [Values((ulong)0x00_00_00_00_00_00_00_00,
  75. (ulong)0x7F_FF_FF_FF_FF_FF_FF_FF,
  76. (ulong)0x80_00_00_00_00_00_00_00,
  77. (ulong)0xFF_FF_FF_FF_FF_FF_FF_FF)] [Random(RndCnt)] ulong xm)
  78. {
  79. uint opcode = 0x9AC04C00; // CRC32X W0, W0, X0
  80. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  81. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  82. SingleOpcode(opcode, x1: wn, x2: xm, x31: w31);
  83. CompareAgainstUnicorn();
  84. }
  85. [Test, Pairwise, Description("CRC32W <Wd>, <Wn>, <Wm>"), Ignore("Unicorn fails.")]
  86. public void Crc32w([Values(0u, 31u)] uint rd,
  87. [Values(1u, 31u)] uint rn,
  88. [Values(2u, 31u)] uint rm,
  89. [Values(0x00000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  90. [Values((uint)0x00_00_00_00, (uint)0x7F_FF_FF_FF,
  91. (uint)0x80_00_00_00, (uint)0xFF_FF_FF_FF)] [Random(RndCnt)] uint wm)
  92. {
  93. uint opcode = 0x1AC04800; // CRC32W W0, W0, W0
  94. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  95. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  96. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  97. CompareAgainstUnicorn();
  98. }
  99. [Test, Pairwise, Description("CRC32H <Wd>, <Wn>, <Wm>"), Ignore("Unicorn fails.")]
  100. public void Crc32h([Values(0u, 31u)] uint rd,
  101. [Values(1u, 31u)] uint rn,
  102. [Values(2u, 31u)] uint rm,
  103. [Values(0x00000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  104. [Values((ushort)0x00_00, (ushort)0x7F_FF,
  105. (ushort)0x80_00, (ushort)0xFF_FF)] [Random(RndCnt)] ushort wm)
  106. {
  107. uint opcode = 0x1AC04400; // CRC32H W0, W0, W0
  108. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  109. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  110. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  111. CompareAgainstUnicorn();
  112. }
  113. [Test, Pairwise, Description("CRC32B <Wd>, <Wn>, <Wm>"), Ignore("Unicorn fails.")]
  114. public void Crc32b([Values(0u, 31u)] uint rd,
  115. [Values(1u, 31u)] uint rn,
  116. [Values(2u, 31u)] uint rm,
  117. [Values(0x00000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  118. [Values((byte)0x00, (byte)0x7F,
  119. (byte)0x80, (byte)0xFF)] [Random(RndCnt)] byte wm)
  120. {
  121. uint opcode = 0x1AC04000; // CRC32B W0, W0, W0
  122. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  123. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  124. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  125. CompareAgainstUnicorn();
  126. }
  127. [Test, Pairwise, Description("CRC32CX <Wd>, <Wn>, <Xm>")]
  128. public void Crc32cx([Values(0u, 31u)] uint rd,
  129. [Values(1u, 31u)] uint rn,
  130. [Values(2u, 31u)] uint rm,
  131. [Values(0x00000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  132. [Values((ulong)0x00_00_00_00_00_00_00_00,
  133. (ulong)0x7F_FF_FF_FF_FF_FF_FF_FF,
  134. (ulong)0x80_00_00_00_00_00_00_00,
  135. (ulong)0xFF_FF_FF_FF_FF_FF_FF_FF)] [Random(RndCnt)] ulong xm)
  136. {
  137. uint opcode = 0x9AC05C00; // CRC32CX W0, W0, X0
  138. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  139. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  140. SingleOpcode(opcode, x1: wn, x2: xm, x31: w31);
  141. CompareAgainstUnicorn();
  142. }
  143. [Test, Pairwise, Description("CRC32CW <Wd>, <Wn>, <Wm>")]
  144. public void Crc32cw([Values(0u, 31u)] uint rd,
  145. [Values(1u, 31u)] uint rn,
  146. [Values(2u, 31u)] uint rm,
  147. [Values(0x00000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  148. [Values((uint)0x00_00_00_00, (uint)0x7F_FF_FF_FF,
  149. (uint)0x80_00_00_00, (uint)0xFF_FF_FF_FF)] [Random(RndCnt)] uint wm)
  150. {
  151. uint opcode = 0x1AC05800; // CRC32CW W0, W0, W0
  152. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  153. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  154. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  155. CompareAgainstUnicorn();
  156. }
  157. [Test, Pairwise, Description("CRC32CH <Wd>, <Wn>, <Wm>")]
  158. public void Crc32ch([Values(0u, 31u)] uint rd,
  159. [Values(1u, 31u)] uint rn,
  160. [Values(2u, 31u)] uint rm,
  161. [Values(0x00000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  162. [Values((ushort)0x00_00, (ushort)0x7F_FF,
  163. (ushort)0x80_00, (ushort)0xFF_FF)] [Random(RndCnt)] ushort wm)
  164. {
  165. uint opcode = 0x1AC05400; // CRC32CH W0, W0, W0
  166. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  167. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  168. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  169. CompareAgainstUnicorn();
  170. }
  171. [Test, Pairwise, Description("CRC32CB <Wd>, <Wn>, <Wm>")]
  172. public void Crc32cb([Values(0u, 31u)] uint rd,
  173. [Values(1u, 31u)] uint rn,
  174. [Values(2u, 31u)] uint rm,
  175. [Values(0x00000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  176. [Values((byte)0x00, (byte)0x7F,
  177. (byte)0x80, (byte)0xFF)] [Random(RndCnt)] byte wm)
  178. {
  179. uint opcode = 0x1AC05000; // CRC32CB W0, W0, W0
  180. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  181. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  182. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  183. CompareAgainstUnicorn();
  184. }
  185. [Test, Pairwise, Description("SDIV <Xd>, <Xn>, <Xm>")]
  186. public void Sdiv_64bit([Values(0u, 31u)] uint rd,
  187. [Values(1u, 31u)] uint rn,
  188. [Values(2u, 31u)] uint rm,
  189. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  190. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  191. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  192. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm)
  193. {
  194. uint opcode = 0x9AC00C00; // SDIV X0, X0, X0
  195. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  196. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  197. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  198. CompareAgainstUnicorn();
  199. }
  200. [Test, Pairwise, Description("SDIV <Wd>, <Wn>, <Wm>")]
  201. public void Sdiv_32bit([Values(0u, 31u)] uint rd,
  202. [Values(1u, 31u)] uint rn,
  203. [Values(2u, 31u)] uint rm,
  204. [Values(0x00000000u, 0x7FFFFFFFu,
  205. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  206. [Values(0x00000000u, 0x7FFFFFFFu,
  207. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm)
  208. {
  209. uint opcode = 0x1AC00C00; // SDIV W0, W0, W0
  210. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  211. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  212. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  213. CompareAgainstUnicorn();
  214. }
  215. [Test, Pairwise, Description("UDIV <Xd>, <Xn>, <Xm>")]
  216. public void Udiv_64bit([Values(0u, 31u)] uint rd,
  217. [Values(1u, 31u)] uint rn,
  218. [Values(2u, 31u)] uint rm,
  219. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  220. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xn,
  221. [Values(0x0000000000000000ul, 0x7FFFFFFFFFFFFFFFul,
  222. 0x8000000000000000ul, 0xFFFFFFFFFFFFFFFFul)] [Random(RndCnt)] ulong xm)
  223. {
  224. uint opcode = 0x9AC00800; // UDIV X0, X0, X0
  225. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  226. ulong x31 = TestContext.CurrentContext.Random.NextULong();
  227. SingleOpcode(opcode, x1: xn, x2: xm, x31: x31);
  228. CompareAgainstUnicorn();
  229. }
  230. [Test, Pairwise, Description("UDIV <Wd>, <Wn>, <Wm>")]
  231. public void Udiv_32bit([Values(0u, 31u)] uint rd,
  232. [Values(1u, 31u)] uint rn,
  233. [Values(2u, 31u)] uint rm,
  234. [Values(0x00000000u, 0x7FFFFFFFu,
  235. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wn,
  236. [Values(0x00000000u, 0x7FFFFFFFu,
  237. 0x80000000u, 0xFFFFFFFFu)] [Random(RndCnt)] uint wm)
  238. {
  239. uint opcode = 0x1AC00800; // UDIV W0, W0, W0
  240. opcode |= ((rm & 31) << 16) | ((rn & 31) << 5) | ((rd & 31) << 0);
  241. uint w31 = TestContext.CurrentContext.Random.NextUInt();
  242. SingleOpcode(opcode, x1: wn, x2: wm, x31: w31);
  243. CompareAgainstUnicorn();
  244. }
  245. #endif
  246. }
  247. }