CpuTest.cs 24 KB

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