CpuTest32.cs 19 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536
  1. using ARMeilleure.State;
  2. using NUnit.Framework;
  3. using Ryujinx.Cpu;
  4. using Ryujinx.Memory;
  5. using Ryujinx.Tests.Unicorn;
  6. using System;
  7. using MemoryPermission = Ryujinx.Tests.Unicorn.MemoryPermission;
  8. namespace Ryujinx.Tests.Cpu
  9. {
  10. [TestFixture]
  11. public class CpuTest32
  12. {
  13. private uint _currAddress;
  14. private ulong _size;
  15. private uint _entryPoint;
  16. private MemoryBlock _ram;
  17. private MemoryManager _memory;
  18. private ExecutionContext _context;
  19. private CpuContext _cpuContext;
  20. private static bool _unicornAvailable;
  21. private UnicornAArch32 _unicornEmu;
  22. private bool usingMemory;
  23. static CpuTest32()
  24. {
  25. _unicornAvailable = UnicornAArch32.IsAvailable();
  26. if (!_unicornAvailable)
  27. {
  28. Console.WriteLine("WARNING: Could not find Unicorn.");
  29. }
  30. }
  31. [SetUp]
  32. public void Setup()
  33. {
  34. _currAddress = 0x1000;
  35. _size = 0x1000;
  36. _entryPoint = _currAddress;
  37. _ram = new MemoryBlock(_size * 2);
  38. _memory = new MemoryManager(_ram, 1UL << 16);
  39. _memory.Map(_currAddress, 0, _size * 2);
  40. _context = CpuContext.CreateExecutionContext();
  41. _context.IsAarch32 = true;
  42. _cpuContext = new CpuContext(_memory);
  43. if (_unicornAvailable)
  44. {
  45. _unicornEmu = new UnicornAArch32();
  46. _unicornEmu.MemoryMap(_currAddress, _size, MemoryPermission.READ | MemoryPermission.EXEC);
  47. _unicornEmu.MemoryMap(_currAddress + _size, _size, MemoryPermission.READ | MemoryPermission.WRITE);
  48. _unicornEmu.PC = _entryPoint;
  49. }
  50. }
  51. [TearDown]
  52. public void Teardown()
  53. {
  54. _memory.Dispose();
  55. _context.Dispose();
  56. _ram.Dispose();
  57. _memory = null;
  58. _context = null;
  59. _cpuContext = null;
  60. _unicornEmu = null;
  61. }
  62. protected void Reset()
  63. {
  64. Teardown();
  65. Setup();
  66. }
  67. protected void Opcode(uint opcode)
  68. {
  69. _memory.Write(_currAddress, opcode);
  70. if (_unicornAvailable)
  71. {
  72. _unicornEmu.MemoryWrite32(_currAddress, opcode);
  73. }
  74. _currAddress += 4;
  75. }
  76. protected ExecutionContext GetContext() => _context;
  77. protected void SetContext(uint r0 = 0,
  78. uint r1 = 0,
  79. uint r2 = 0,
  80. uint r3 = 0,
  81. uint sp = 0,
  82. V128 v0 = default,
  83. V128 v1 = default,
  84. V128 v2 = default,
  85. V128 v3 = default,
  86. V128 v4 = default,
  87. V128 v5 = default,
  88. V128 v14 = default,
  89. V128 v15 = default,
  90. bool overflow = false,
  91. bool carry = false,
  92. bool zero = false,
  93. bool negative = false,
  94. int fpscr = 0)
  95. {
  96. _context.SetX(0, r0);
  97. _context.SetX(1, r1);
  98. _context.SetX(2, r2);
  99. _context.SetX(3, r3);
  100. _context.SetX(0xd, sp);
  101. _context.SetV(0, v0);
  102. _context.SetV(1, v1);
  103. _context.SetV(2, v2);
  104. _context.SetV(3, v3);
  105. _context.SetV(4, v4);
  106. _context.SetV(5, v5);
  107. _context.SetV(14, v14);
  108. _context.SetV(15, v15);
  109. _context.SetPstateFlag(PState.VFlag, overflow);
  110. _context.SetPstateFlag(PState.CFlag, carry);
  111. _context.SetPstateFlag(PState.ZFlag, zero);
  112. _context.SetPstateFlag(PState.NFlag, negative);
  113. _context.Fpsr = FPSR.A32Mask & (FPSR)fpscr;
  114. _context.Fpcr = FPCR.A32Mask & (FPCR)fpscr;
  115. if (_unicornAvailable)
  116. {
  117. _unicornEmu.R[0] = r0;
  118. _unicornEmu.R[1] = r1;
  119. _unicornEmu.R[2] = r2;
  120. _unicornEmu.R[3] = r3;
  121. _unicornEmu.SP = sp;
  122. _unicornEmu.Q[0] = V128ToSimdValue(v0);
  123. _unicornEmu.Q[1] = V128ToSimdValue(v1);
  124. _unicornEmu.Q[2] = V128ToSimdValue(v2);
  125. _unicornEmu.Q[3] = V128ToSimdValue(v3);
  126. _unicornEmu.Q[4] = V128ToSimdValue(v4);
  127. _unicornEmu.Q[5] = V128ToSimdValue(v5);
  128. _unicornEmu.Q[14] = V128ToSimdValue(v14);
  129. _unicornEmu.Q[15] = V128ToSimdValue(v15);
  130. _unicornEmu.OverflowFlag = overflow;
  131. _unicornEmu.CarryFlag = carry;
  132. _unicornEmu.ZeroFlag = zero;
  133. _unicornEmu.NegativeFlag = negative;
  134. _unicornEmu.Fpscr = fpscr;
  135. }
  136. }
  137. protected void ExecuteOpcodes(bool runUnicorn = true)
  138. {
  139. _cpuContext.Execute(_context, _entryPoint);
  140. if (_unicornAvailable && runUnicorn)
  141. {
  142. _unicornEmu.RunForCount((ulong)(_currAddress - _entryPoint - 4) / 4);
  143. }
  144. }
  145. protected ExecutionContext SingleOpcode(uint opcode,
  146. uint r0 = 0,
  147. uint r1 = 0,
  148. uint r2 = 0,
  149. uint r3 = 0,
  150. uint sp = 0,
  151. V128 v0 = default,
  152. V128 v1 = default,
  153. V128 v2 = default,
  154. V128 v3 = default,
  155. V128 v4 = default,
  156. V128 v5 = default,
  157. V128 v14 = default,
  158. V128 v15 = default,
  159. bool overflow = false,
  160. bool carry = false,
  161. bool zero = false,
  162. bool negative = false,
  163. int fpscr = 0,
  164. bool copyFpFlags = false,
  165. bool runUnicorn = true)
  166. {
  167. Opcode(opcode);
  168. if (copyFpFlags)
  169. {
  170. Opcode(0xeef1fa10);
  171. }
  172. Opcode(0xe12fff1e); // BX LR
  173. SetContext(r0, r1, r2, r3, sp, v0, v1, v2, v3, v4, v5, v14, v15, overflow, carry, zero, negative, fpscr);
  174. ExecuteOpcodes(runUnicorn);
  175. return GetContext();
  176. }
  177. protected void SetWorkingMemory(byte[] data)
  178. {
  179. _memory.Write(0x2000, data);
  180. if (_unicornAvailable)
  181. {
  182. _unicornEmu.MemoryWrite((ulong)(0x2000), data);
  183. }
  184. usingMemory = true; // When true, CompareAgainstUnicorn checks the working memory for equality too.
  185. }
  186. /// <summary>Rounding Mode control field.</summary>
  187. public enum RMode
  188. {
  189. /// <summary>Round to Nearest mode.</summary>
  190. Rn,
  191. /// <summary>Round towards Plus Infinity mode.</summary>
  192. Rp,
  193. /// <summary>Round towards Minus Infinity mode.</summary>
  194. Rm,
  195. /// <summary>Round towards Zero mode.</summary>
  196. Rz
  197. };
  198. /// <summary>Floating-point Control Register.</summary>
  199. protected enum Fpcr
  200. {
  201. /// <summary>Rounding Mode control field.</summary>
  202. RMode = 22,
  203. /// <summary>Flush-to-zero mode control bit.</summary>
  204. Fz = 24,
  205. /// <summary>Default NaN mode control bit.</summary>
  206. Dn = 25,
  207. /// <summary>Alternative half-precision control bit.</summary>
  208. Ahp = 26
  209. }
  210. /// <summary>Floating-point Status Register.</summary>
  211. [Flags]
  212. protected enum Fpsr
  213. {
  214. None = 0,
  215. /// <summary>Invalid Operation cumulative floating-point exception bit.</summary>
  216. Ioc = 1 << 0,
  217. /// <summary>Divide by Zero cumulative floating-point exception bit.</summary>
  218. Dzc = 1 << 1,
  219. /// <summary>Overflow cumulative floating-point exception bit.</summary>
  220. Ofc = 1 << 2,
  221. /// <summary>Underflow cumulative floating-point exception bit.</summary>
  222. Ufc = 1 << 3,
  223. /// <summary>Inexact cumulative floating-point exception bit.</summary>
  224. Ixc = 1 << 4,
  225. /// <summary>Input Denormal cumulative floating-point exception bit.</summary>
  226. Idc = 1 << 7,
  227. /// <summary>Cumulative saturation bit.</summary>
  228. Qc = 1 << 27,
  229. /// <summary>NZCV flags</summary>
  230. Nzcv = (1 << 28) | (1 << 29) | (1 << 30) | (1 << 31)
  231. }
  232. [Flags]
  233. protected enum FpSkips
  234. {
  235. None = 0,
  236. IfNaNS = 1,
  237. IfNaND = 2,
  238. IfUnderflow = 4,
  239. IfOverflow = 8
  240. }
  241. protected enum FpTolerances
  242. {
  243. None,
  244. UpToOneUlpsS,
  245. UpToOneUlpsD
  246. }
  247. protected void CompareAgainstUnicorn(
  248. Fpsr fpsrMask = Fpsr.None,
  249. FpSkips fpSkips = FpSkips.None,
  250. FpTolerances fpTolerances = FpTolerances.None)
  251. {
  252. if (!_unicornAvailable)
  253. {
  254. return;
  255. }
  256. if (fpSkips != FpSkips.None)
  257. {
  258. ManageFpSkips(fpSkips);
  259. }
  260. Assert.That(_context.GetX(0), Is.EqualTo(_unicornEmu.R[0]));
  261. Assert.That(_context.GetX(1), Is.EqualTo(_unicornEmu.R[1]));
  262. Assert.That(_context.GetX(2), Is.EqualTo(_unicornEmu.R[2]));
  263. Assert.That(_context.GetX(3), Is.EqualTo(_unicornEmu.R[3]));
  264. Assert.That(_context.GetX(4), Is.EqualTo(_unicornEmu.R[4]));
  265. Assert.That(_context.GetX(5), Is.EqualTo(_unicornEmu.R[5]));
  266. Assert.That(_context.GetX(6), Is.EqualTo(_unicornEmu.R[6]));
  267. Assert.That(_context.GetX(7), Is.EqualTo(_unicornEmu.R[7]));
  268. Assert.That(_context.GetX(8), Is.EqualTo(_unicornEmu.R[8]));
  269. Assert.That(_context.GetX(9), Is.EqualTo(_unicornEmu.R[9]));
  270. Assert.That(_context.GetX(10), Is.EqualTo(_unicornEmu.R[10]));
  271. Assert.That(_context.GetX(11), Is.EqualTo(_unicornEmu.R[11]));
  272. Assert.That(_context.GetX(12), Is.EqualTo(_unicornEmu.R[12]));
  273. Assert.That(_context.GetX(13), Is.EqualTo(_unicornEmu.R[13]));
  274. Assert.That(_context.GetX(14), Is.EqualTo(_unicornEmu.R[14]));
  275. if (fpTolerances == FpTolerances.None)
  276. {
  277. Assert.That(V128ToSimdValue(_context.GetV(0)), Is.EqualTo(_unicornEmu.Q[0]));
  278. }
  279. else
  280. {
  281. ManageFpTolerances(fpTolerances);
  282. }
  283. Assert.That(V128ToSimdValue(_context.GetV(1)), Is.EqualTo(_unicornEmu.Q[1]));
  284. Assert.That(V128ToSimdValue(_context.GetV(2)), Is.EqualTo(_unicornEmu.Q[2]));
  285. Assert.That(V128ToSimdValue(_context.GetV(3)), Is.EqualTo(_unicornEmu.Q[3]));
  286. Assert.That(V128ToSimdValue(_context.GetV(4)), Is.EqualTo(_unicornEmu.Q[4]));
  287. Assert.That(V128ToSimdValue(_context.GetV(5)), Is.EqualTo(_unicornEmu.Q[5]));
  288. Assert.That(V128ToSimdValue(_context.GetV(6)), Is.EqualTo(_unicornEmu.Q[6]));
  289. Assert.That(V128ToSimdValue(_context.GetV(7)), Is.EqualTo(_unicornEmu.Q[7]));
  290. Assert.That(V128ToSimdValue(_context.GetV(8)), Is.EqualTo(_unicornEmu.Q[8]));
  291. Assert.That(V128ToSimdValue(_context.GetV(9)), Is.EqualTo(_unicornEmu.Q[9]));
  292. Assert.That(V128ToSimdValue(_context.GetV(10)), Is.EqualTo(_unicornEmu.Q[10]));
  293. Assert.That(V128ToSimdValue(_context.GetV(11)), Is.EqualTo(_unicornEmu.Q[11]));
  294. Assert.That(V128ToSimdValue(_context.GetV(12)), Is.EqualTo(_unicornEmu.Q[12]));
  295. Assert.That(V128ToSimdValue(_context.GetV(13)), Is.EqualTo(_unicornEmu.Q[13]));
  296. Assert.That(V128ToSimdValue(_context.GetV(14)), Is.EqualTo(_unicornEmu.Q[14]));
  297. Assert.That(V128ToSimdValue(_context.GetV(15)), Is.EqualTo(_unicornEmu.Q[15]));
  298. Assert.That((int)_context.Fpcr | ((int)_context.Fpsr & (int)fpsrMask), Is.EqualTo(_unicornEmu.Fpscr));
  299. Assert.That(_context.GetPstateFlag(PState.QFlag), Is.EqualTo(_unicornEmu.QFlag));
  300. Assert.That(_context.GetPstateFlag(PState.VFlag), Is.EqualTo(_unicornEmu.OverflowFlag));
  301. Assert.That(_context.GetPstateFlag(PState.CFlag), Is.EqualTo(_unicornEmu.CarryFlag));
  302. Assert.That(_context.GetPstateFlag(PState.ZFlag), Is.EqualTo(_unicornEmu.ZeroFlag));
  303. Assert.That(_context.GetPstateFlag(PState.NFlag), Is.EqualTo(_unicornEmu.NegativeFlag));
  304. if (usingMemory)
  305. {
  306. ReadOnlySpan<byte> meilleureMem = _memory.GetSpan(0x2000, (int)_size);
  307. byte[] unicornMem = _unicornEmu.MemoryRead(0x2000, _size);
  308. for (int i = 0; i < (int)_size; i++)
  309. {
  310. Assert.AreEqual(meilleureMem[i], unicornMem[i]);
  311. }
  312. }
  313. }
  314. private void ManageFpSkips(FpSkips fpSkips)
  315. {
  316. if (fpSkips.HasFlag(FpSkips.IfNaNS))
  317. {
  318. if (float.IsNaN(_unicornEmu.Q[0].AsFloat()))
  319. {
  320. Assert.Ignore("NaN test.");
  321. }
  322. }
  323. else if (fpSkips.HasFlag(FpSkips.IfNaND))
  324. {
  325. if (double.IsNaN(_unicornEmu.Q[0].AsDouble()))
  326. {
  327. Assert.Ignore("NaN test.");
  328. }
  329. }
  330. if (fpSkips.HasFlag(FpSkips.IfUnderflow))
  331. {
  332. if ((_unicornEmu.Fpscr & (int)Fpsr.Ufc) != 0)
  333. {
  334. Assert.Ignore("Underflow test.");
  335. }
  336. }
  337. if (fpSkips.HasFlag(FpSkips.IfOverflow))
  338. {
  339. if ((_unicornEmu.Fpscr & (int)Fpsr.Ofc) != 0)
  340. {
  341. Assert.Ignore("Overflow test.");
  342. }
  343. }
  344. }
  345. private void ManageFpTolerances(FpTolerances fpTolerances)
  346. {
  347. bool IsNormalOrSubnormalS(float f) => float.IsNormal(f) || float.IsSubnormal(f);
  348. bool IsNormalOrSubnormalD(double d) => double.IsNormal(d) || double.IsSubnormal(d);
  349. if (!Is.EqualTo(_unicornEmu.Q[0]).ApplyTo(V128ToSimdValue(_context.GetV(0))).IsSuccess)
  350. {
  351. if (fpTolerances == FpTolerances.UpToOneUlpsS)
  352. {
  353. if (IsNormalOrSubnormalS(_unicornEmu.Q[0].AsFloat()) &&
  354. IsNormalOrSubnormalS(_context.GetV(0).As<float>()))
  355. {
  356. Assert.That(_context.GetV(0).Extract<float>(0),
  357. Is.EqualTo(_unicornEmu.Q[0].GetFloat(0)).Within(1).Ulps);
  358. Assert.That(_context.GetV(0).Extract<float>(1),
  359. Is.EqualTo(_unicornEmu.Q[0].GetFloat(1)).Within(1).Ulps);
  360. Assert.That(_context.GetV(0).Extract<float>(2),
  361. Is.EqualTo(_unicornEmu.Q[0].GetFloat(2)).Within(1).Ulps);
  362. Assert.That(_context.GetV(0).Extract<float>(3),
  363. Is.EqualTo(_unicornEmu.Q[0].GetFloat(3)).Within(1).Ulps);
  364. Console.WriteLine(fpTolerances);
  365. }
  366. else
  367. {
  368. Assert.That(V128ToSimdValue(_context.GetV(0)), Is.EqualTo(_unicornEmu.Q[0]));
  369. }
  370. }
  371. if (fpTolerances == FpTolerances.UpToOneUlpsD)
  372. {
  373. if (IsNormalOrSubnormalD(_unicornEmu.Q[0].AsDouble()) &&
  374. IsNormalOrSubnormalD(_context.GetV(0).As<double>()))
  375. {
  376. Assert.That(_context.GetV(0).Extract<double>(0),
  377. Is.EqualTo(_unicornEmu.Q[0].GetDouble(0)).Within(1).Ulps);
  378. Assert.That(_context.GetV(0).Extract<double>(1),
  379. Is.EqualTo(_unicornEmu.Q[0].GetDouble(1)).Within(1).Ulps);
  380. Console.WriteLine(fpTolerances);
  381. }
  382. else
  383. {
  384. Assert.That(V128ToSimdValue(_context.GetV(0)), Is.EqualTo(_unicornEmu.Q[0]));
  385. }
  386. }
  387. }
  388. }
  389. private static SimdValue V128ToSimdValue(V128 value)
  390. {
  391. return new SimdValue(value.Extract<ulong>(0), value.Extract<ulong>(1));
  392. }
  393. protected static V128 MakeVectorScalar(float value) => new V128(value);
  394. protected static V128 MakeVectorScalar(double value) => new V128(value);
  395. protected static V128 MakeVectorE0(ulong e0) => new V128(e0, 0);
  396. protected static V128 MakeVectorE1(ulong e1) => new V128(0, e1);
  397. protected static V128 MakeVectorE0E1(ulong e0, ulong e1) => new V128(e0, e1);
  398. protected static ulong GetVectorE0(V128 vector) => vector.Extract<ulong>(0);
  399. protected static ulong GetVectorE1(V128 vector) => vector.Extract<ulong>(1);
  400. protected static ushort GenNormalH()
  401. {
  402. uint rnd;
  403. do rnd = TestContext.CurrentContext.Random.NextUShort();
  404. while ((rnd & 0x7C00u) == 0u ||
  405. (~rnd & 0x7C00u) == 0u);
  406. return (ushort)rnd;
  407. }
  408. protected static ushort GenSubnormalH()
  409. {
  410. uint rnd;
  411. do rnd = TestContext.CurrentContext.Random.NextUShort();
  412. while ((rnd & 0x03FFu) == 0u);
  413. return (ushort)(rnd & 0x83FFu);
  414. }
  415. protected static uint GenNormalS()
  416. {
  417. uint rnd;
  418. do rnd = TestContext.CurrentContext.Random.NextUInt();
  419. while ((rnd & 0x7F800000u) == 0u ||
  420. (~rnd & 0x7F800000u) == 0u);
  421. return rnd;
  422. }
  423. protected static uint GenSubnormalS()
  424. {
  425. uint rnd;
  426. do rnd = TestContext.CurrentContext.Random.NextUInt();
  427. while ((rnd & 0x007FFFFFu) == 0u);
  428. return rnd & 0x807FFFFFu;
  429. }
  430. protected static ulong GenNormalD()
  431. {
  432. ulong rnd;
  433. do rnd = TestContext.CurrentContext.Random.NextULong();
  434. while ((rnd & 0x7FF0000000000000ul) == 0ul ||
  435. (~rnd & 0x7FF0000000000000ul) == 0ul);
  436. return rnd;
  437. }
  438. protected static ulong GenSubnormalD()
  439. {
  440. ulong rnd;
  441. do rnd = TestContext.CurrentContext.Random.NextULong();
  442. while ((rnd & 0x000FFFFFFFFFFFFFul) == 0ul);
  443. return rnd & 0x800FFFFFFFFFFFFFul;
  444. }
  445. }
  446. }