CpuTest32.cs 25 KB

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