CpuTestSimdArithmetic.cs 46 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771
  1. using ChocolArm64.State;
  2. using NUnit.Framework;
  3. using System.Runtime.Intrinsics;
  4. using System.Runtime.Intrinsics.X86;
  5. namespace Ryujinx.Tests.Cpu
  6. {
  7. public class CpuTestSimdArithmetic : CpuTest
  8. {
  9. [TestCase(0x1E224820u, 0x0000000000000000ul, 0x0000000080000000ul, 0x0000000000000000ul)]
  10. [TestCase(0x1E224820u, 0x0000000080000000ul, 0x0000000000000000ul, 0x0000000000000000ul)]
  11. [TestCase(0x1E224820u, 0x0000000080000000ul, 0x0000000080000000ul, 0x0000000080000000ul)]
  12. [TestCase(0x1E224820u, 0x0000000080000000ul, 0x000000003DCCCCCDul, 0x000000003DCCCCCDul)]
  13. [TestCase(0x1E224820u, 0x000000003DCCCCCDul, 0x000000003C9623B1ul, 0x000000003DCCCCCDul)]
  14. [TestCase(0x1E224820u, 0x000000008BA98D27ul, 0x0000000000000076ul, 0x0000000000000076ul)]
  15. [TestCase(0x1E224820u, 0x00000000807FFFFFul, 0x000000007F7FFFFFul, 0x000000007F7FFFFFul)]
  16. [TestCase(0x1E224820u, 0x000000007F7FFFFFul, 0x00000000807FFFFFul, 0x000000007F7FFFFFul)]
  17. [TestCase(0x1E224820u, 0x000000007FC00000ul, 0x000000003F800000ul, 0x000000007FC00000ul)]
  18. [TestCase(0x1E224820u, 0x000000003F800000ul, 0x000000007FC00000ul, 0x000000007FC00000ul)]
  19. [TestCase(0x1E224820u, 0x000000007F800001ul, 0x000000007FC00042ul, 0x000000007FC00001ul)]
  20. [TestCase(0x1E224820u, 0x000000007FC00042ul, 0x000000007F800001ul, 0x000000007FC00001ul)]
  21. [TestCase(0x1E224820u, 0x000000007FC0000Aul, 0x000000007FC0000Bul, 0x000000007FC0000Aul)]
  22. [TestCase(0x1E624820u, 0x0000000000000000ul, 0x8000000000000000ul, 0x0000000000000000ul)]
  23. [TestCase(0x1E624820u, 0x8000000000000000ul, 0x0000000000000000ul, 0x0000000000000000ul)]
  24. [TestCase(0x1E624820u, 0x8000000000000000ul, 0x8000000000000000ul, 0x8000000000000000ul)]
  25. [TestCase(0x1E624820u, 0x8000000000000000ul, 0x3FF3333333333333ul, 0x3FF3333333333333ul)]
  26. public void Fmax_S(uint Opcode, ulong A, ulong B, ulong Result)
  27. {
  28. // FMAX S0, S1, S2
  29. AThreadState ThreadState = SingleOpcode(Opcode,
  30. V1: Sse.StaticCast<ulong, float>(Sse2.SetVector128(0, A)),
  31. V2: Sse.StaticCast<ulong, float>(Sse2.SetVector128(0, B)));
  32. Assert.AreEqual(Result, Sse41.Extract(Sse.StaticCast<float, ulong>(ThreadState.V0), 0));
  33. CompareAgainstUnicorn();
  34. }
  35. [TestCase(0x80000000u, 0x80000000u, 0x00000000u, 0x00000000u, 0x00000000u, 0x00000000u)]
  36. [TestCase(0x00000000u, 0x00000000u, 0x80000000u, 0x80000000u, 0x00000000u, 0x00000000u)]
  37. [TestCase(0x80000000u, 0x80000000u, 0x80000000u, 0x80000000u, 0x80000000u, 0x80000000u)]
  38. [TestCase(0x80000000u, 0x80000000u, 0x3DCCCCCDu, 0x3DCCCCCDu, 0x3DCCCCCDu, 0x3DCCCCCDu)]
  39. [TestCase(0x3DCCCCCDu, 0x3DCCCCCDu, 0x3C9623B1u, 0x3C9623B1u, 0x3DCCCCCDu, 0x3DCCCCCDu)]
  40. [TestCase(0x8BA98D27u, 0x8BA98D27u, 0x00000076u, 0x00000076u, 0x00000076u, 0x00000076u)]
  41. [TestCase(0x807FFFFFu, 0x807FFFFFu, 0x7F7FFFFFu, 0x7F7FFFFFu, 0x7F7FFFFFu, 0x7F7FFFFFu)]
  42. [TestCase(0x7F7FFFFFu, 0x7F7FFFFFu, 0x807FFFFFu, 0x807FFFFFu, 0x7F7FFFFFu, 0x7F7FFFFFu)]
  43. [TestCase(0x7FC00000u, 0x7FC00000u, 0x3F800000u, 0x3F800000u, 0x7FC00000u, 0x7FC00000u)]
  44. [TestCase(0x3F800000u, 0x3F800000u, 0x7FC00000u, 0x7FC00000u, 0x7FC00000u, 0x7FC00000u)]
  45. [TestCase(0x7F800001u, 0x7F800001u, 0x7FC00042u, 0x7FC00042u, 0x7FC00001u, 0x7FC00001u)]
  46. [TestCase(0x7FC00042u, 0x7FC00042u, 0x7F800001u, 0x7F800001u, 0x7FC00001u, 0x7FC00001u)]
  47. [TestCase(0x7FC0000Au, 0x7FC0000Au, 0x7FC0000Bu, 0x7FC0000Bu, 0x7FC0000Au, 0x7FC0000Au)]
  48. public void Fmax_V(uint A, uint B, uint C, uint D, uint Result0, uint Result1)
  49. {
  50. uint Opcode = 0x4E22F420;
  51. Vector128<float> V1 = MakeVectorE0E1(A, B);
  52. Vector128<float> V2 = MakeVectorE0E1(C, D);
  53. AThreadState ThreadState = SingleOpcode(Opcode, V1: V1, V2: V2);
  54. Assert.Multiple(() =>
  55. {
  56. Assert.AreEqual(Result0, GetVectorE0(ThreadState.V0));
  57. Assert.AreEqual(Result1, GetVectorE1(ThreadState.V0));
  58. });
  59. CompareAgainstUnicorn();
  60. }
  61. [TestCase(0x1E225820u, 0x0000000000000000ul, 0x0000000080000000ul, 0x0000000080000000ul)]
  62. [TestCase(0x1E225820u, 0x0000000080000000ul, 0x0000000000000000ul, 0x0000000080000000ul)]
  63. [TestCase(0x1E225820u, 0x0000000080000000ul, 0x0000000080000000ul, 0x0000000080000000ul)]
  64. [TestCase(0x1E225820u, 0x0000000080000000ul, 0x000000003DCCCCCDul, 0x0000000080000000ul)]
  65. [TestCase(0x1E225820u, 0x000000003DCCCCCDul, 0x000000003C9623B1ul, 0x000000003C9623B1ul)]
  66. [TestCase(0x1E225820u, 0x000000008BA98D27ul, 0x0000000000000076ul, 0x000000008BA98D27ul)]
  67. [TestCase(0x1E225820u, 0x00000000807FFFFFul, 0x000000007F7FFFFFul, 0x00000000807FFFFFul)]
  68. [TestCase(0x1E225820u, 0x000000007F7FFFFFul, 0x00000000807FFFFFul, 0x00000000807FFFFFul)]
  69. [TestCase(0x1E225820u, 0x000000007FC00000ul, 0x000000003F800000ul, 0x000000007FC00000ul)]
  70. [TestCase(0x1E225820u, 0x000000003F800000ul, 0x000000007FC00000ul, 0x000000007FC00000ul)]
  71. [TestCase(0x1E225820u, 0x000000007F800001ul, 0x000000007FC00042ul, 0x000000007FC00001ul)]
  72. [TestCase(0x1E225820u, 0x000000007FC00042ul, 0x000000007F800001ul, 0x000000007FC00001ul)]
  73. [TestCase(0x1E225820u, 0x000000007FC0000Aul, 0x000000007FC0000Bul, 0x000000007FC0000Aul)]
  74. [TestCase(0x1E625820u, 0x0000000000000000ul, 0x8000000000000000ul, 0x8000000000000000ul)]
  75. [TestCase(0x1E625820u, 0x8000000000000000ul, 0x0000000000000000ul, 0x8000000000000000ul)]
  76. [TestCase(0x1E625820u, 0x8000000000000000ul, 0x8000000000000000ul, 0x8000000000000000ul)]
  77. [TestCase(0x1E625820u, 0x8000000000000000ul, 0x3FF3333333333333ul, 0x8000000000000000ul)]
  78. public void Fmin_S(uint Opcode, ulong A, ulong B, ulong Result)
  79. {
  80. // FMIN S0, S1, S2
  81. AThreadState ThreadState = SingleOpcode(Opcode,
  82. V1: Sse.StaticCast<ulong, float>(Sse2.SetVector128(0, A)),
  83. V2: Sse.StaticCast<ulong, float>(Sse2.SetVector128(0, B)));
  84. Assert.AreEqual(Result, Sse41.Extract(Sse.StaticCast<float, ulong>(ThreadState.V0), 0));
  85. CompareAgainstUnicorn();
  86. }
  87. [TestCase(0x80000000u, 0x80000000u, 0x00000000u, 0x00000000u, 0x80000000u, 0x80000000u)]
  88. [TestCase(0x00000000u, 0x00000000u, 0x80000000u, 0x80000000u, 0x80000000u, 0x80000000u)]
  89. [TestCase(0x80000000u, 0x80000000u, 0x80000000u, 0x80000000u, 0x80000000u, 0x80000000u)]
  90. [TestCase(0x80000000u, 0x80000000u, 0x3DCCCCCDu, 0x3DCCCCCDu, 0x80000000u, 0x80000000u)]
  91. [TestCase(0x3DCCCCCDu, 0x3DCCCCCDu, 0x3C9623B1u, 0x3C9623B1u, 0x3C9623B1u, 0x3C9623B1u)]
  92. [TestCase(0x8BA98D27u, 0x8BA98D27u, 0x00000076u, 0x00000076u, 0x8BA98D27u, 0x8BA98D27u)]
  93. [TestCase(0x807FFFFFu, 0x807FFFFFu, 0x7F7FFFFFu, 0x7F7FFFFFu, 0x807FFFFFu, 0x807FFFFFu)]
  94. [TestCase(0x7F7FFFFFu, 0x7F7FFFFFu, 0x807FFFFFu, 0x807FFFFFu, 0x807FFFFFu, 0x807FFFFFu)]
  95. [TestCase(0x7FC00000u, 0x7FC00000u, 0x3F800000u, 0x3F800000u, 0x7FC00000u, 0x7FC00000u)]
  96. [TestCase(0x3F800000u, 0x3F800000u, 0x7FC00000u, 0x7FC00000u, 0x7FC00000u, 0x7FC00000u)]
  97. [TestCase(0x7F800001u, 0x7F800001u, 0x7FC00042u, 0x7FC00042u, 0x7FC00001u, 0x7FC00001u)]
  98. [TestCase(0x7FC00042u, 0x7FC00042u, 0x7F800001u, 0x7F800001u, 0x7FC00001u, 0x7FC00001u)]
  99. [TestCase(0x7FC0000Au, 0x7FC0000Au, 0x7FC0000Bu, 0x7FC0000Bu, 0x7FC0000Au, 0x7FC0000Au)]
  100. public void Fmin_V(uint A, uint B, uint C, uint D, uint Result0, uint Result1)
  101. {
  102. uint Opcode = 0x4EA2F420;
  103. Vector128<float> V1 = MakeVectorE0E1(A, B);
  104. Vector128<float> V2 = MakeVectorE0E1(C, D);
  105. AThreadState ThreadState = SingleOpcode(Opcode, V1: V1, V2: V2);
  106. Assert.Multiple(() =>
  107. {
  108. Assert.AreEqual(Result0, GetVectorE0(ThreadState.V0));
  109. Assert.AreEqual(Result1, GetVectorE1(ThreadState.V0));
  110. });
  111. CompareAgainstUnicorn();
  112. }
  113. [Test, Description("FMUL S6, S1, V0.S[2]")]
  114. public void Fmul_Se([Random(10)] float A, [Random(10)] float B)
  115. {
  116. AThreadState ThreadState = SingleOpcode(0x5F809826,
  117. V1: Sse.SetVector128(0, 0, 0, A),
  118. V0: Sse.SetVector128(0, B, 0, 0));
  119. Assert.That(Sse41.Extract(ThreadState.V6, (byte)0), Is.EqualTo(A * B));
  120. CompareAgainstUnicorn();
  121. }
  122. [TestCase(0x00000000u, 0x7F800000u)]
  123. [TestCase(0x80000000u, 0xFF800000u)]
  124. [TestCase(0x00FFF000u, 0x7E000000u)]
  125. [TestCase(0x41200000u, 0x3DCC8000u)]
  126. [TestCase(0xC1200000u, 0xBDCC8000u)]
  127. [TestCase(0x001FFFFFu, 0x7F800000u)]
  128. [TestCase(0x007FF000u, 0x7E800000u)]
  129. public void Frecpe_S(uint A, uint Result)
  130. {
  131. Vector128<float> V1 = MakeVectorE0(A);
  132. AThreadState ThreadState = SingleOpcode(0x5EA1D820, V1: V1);
  133. Assert.AreEqual(Result, GetVectorE0(ThreadState.V0));
  134. CompareAgainstUnicorn();
  135. }
  136. [Test, Description("FRECPS D0, D1, D2")]
  137. public void Frecps_S([Random(10)] double A, [Random(10)] double B)
  138. {
  139. AThreadState ThreadState = SingleOpcode(0x5E62FC20,
  140. V1: MakeVectorE0(A),
  141. V2: MakeVectorE0(B));
  142. Assert.That(VectorExtractDouble(ThreadState.V0, 0), Is.EqualTo(2 - (A * B)));
  143. //CompareAgainstUnicorn(); // Not accurate enough
  144. }
  145. [Test, Description("FRECPS V4.4S, V2.4S, V0.4S")]
  146. public void Frecps_V([Random(10)] float A, [Random(10)] float B)
  147. {
  148. AThreadState ThreadState = SingleOpcode(0x4E20FC44,
  149. V2: Sse.SetAllVector128(A),
  150. V0: Sse.SetAllVector128(B));
  151. float Result = (float)(2 - ((double)A * (double)B));
  152. Assert.Multiple(() =>
  153. {
  154. Assert.That(Sse41.Extract(ThreadState.V4, (byte)0), Is.EqualTo(Result));
  155. Assert.That(Sse41.Extract(ThreadState.V4, (byte)1), Is.EqualTo(Result));
  156. Assert.That(Sse41.Extract(ThreadState.V4, (byte)2), Is.EqualTo(Result));
  157. Assert.That(Sse41.Extract(ThreadState.V4, (byte)3), Is.EqualTo(Result));
  158. });
  159. CompareAgainstUnicorn();
  160. }
  161. [TestCase(0x3FE66666u, false, 0x40000000u)]
  162. [TestCase(0x3F99999Au, false, 0x3F800000u)]
  163. [TestCase(0x404CCCCDu, false, 0x40400000u)]
  164. [TestCase(0x40733333u, false, 0x40800000u)]
  165. [TestCase(0x3fc00000u, false, 0x40000000u)]
  166. [TestCase(0x40200000u, false, 0x40400000u)]
  167. [TestCase(0x00000000u, false, 0x00000000u)]
  168. [TestCase(0x00000000u, false, 0x00000000u)]
  169. [TestCase(0x00000000u, false, 0x00000000u)]
  170. [TestCase(0x00000000u, false, 0x00000000u)]
  171. [TestCase(0x80000000u, false, 0x80000000u)]
  172. [TestCase(0x80000000u, false, 0x80000000u)]
  173. [TestCase(0x80000000u, false, 0x80000000u)]
  174. [TestCase(0x80000000u, false, 0x80000000u)]
  175. [TestCase(0x7F800000u, false, 0x7F800000u)]
  176. [TestCase(0x7F800000u, false, 0x7F800000u)]
  177. [TestCase(0x7F800000u, false, 0x7F800000u)]
  178. [TestCase(0x7F800000u, false, 0x7F800000u)]
  179. [TestCase(0xFF800000u, false, 0xFF800000u)]
  180. [TestCase(0xFF800000u, false, 0xFF800000u)]
  181. [TestCase(0xFF800000u, false, 0xFF800000u)]
  182. [TestCase(0xFF800000u, false, 0xFF800000u)]
  183. [TestCase(0xFF800001u, false, 0xFFC00001u, Ignore = "NaN test.")]
  184. [TestCase(0xFF800001u, false, 0xFFC00001u, Ignore = "NaN test.")]
  185. [TestCase(0xFF800001u, false, 0xFFC00001u, Ignore = "NaN test.")]
  186. [TestCase(0xFF800001u, false, 0xFFC00001u, Ignore = "NaN test.")]
  187. [TestCase(0xFF800001u, true, 0x7FC00000u, Ignore = "NaN test.")]
  188. [TestCase(0xFF800001u, true, 0x7FC00000u, Ignore = "NaN test.")]
  189. [TestCase(0xFF800001u, true, 0x7FC00000u, Ignore = "NaN test.")]
  190. [TestCase(0xFF800001u, true, 0x7FC00000u, Ignore = "NaN test.")]
  191. [TestCase(0x7FC00002u, false, 0x7FC00002u, Ignore = "NaN test.")]
  192. [TestCase(0x7FC00002u, false, 0x7FC00002u, Ignore = "NaN test.")]
  193. [TestCase(0x7FC00002u, false, 0x7FC00002u, Ignore = "NaN test.")]
  194. [TestCase(0x7FC00002u, false, 0x7FC00002u, Ignore = "NaN test.")]
  195. [TestCase(0x7FC00002u, true, 0x7FC00000u, Ignore = "NaN test.")]
  196. [TestCase(0x7FC00002u, true, 0x7FC00000u, Ignore = "NaN test.")]
  197. [TestCase(0x7FC00002u, true, 0x7FC00000u, Ignore = "NaN test.")]
  198. [TestCase(0x7FC00002u, true, 0x7FC00000u, Ignore = "NaN test.")]
  199. public void Frinta_S(uint A, bool DefaultNaN, uint Result)
  200. {
  201. int FpcrTemp = 0x0;
  202. if(DefaultNaN)
  203. {
  204. FpcrTemp = 0x2000000;
  205. }
  206. Vector128<float> V1 = MakeVectorE0(A);
  207. AThreadState ThreadState = SingleOpcode(0x1E264020, V1: V1, Fpcr: FpcrTemp);
  208. Assert.AreEqual(Result, GetVectorE0(ThreadState.V0));
  209. CompareAgainstUnicorn();
  210. }
  211. [TestCase(0x6E618820u, 0x3FF3333333333333ul, 0x3FF3333333333333ul, false, 0x3FF0000000000000ul, 0x3FF0000000000000ul)]
  212. [TestCase(0x6E618820u, 0x3FFCCCCCCCCCCCCDul, 0x3FFCCCCCCCCCCCCDul, false, 0x4000000000000000ul, 0x4000000000000000ul)]
  213. [TestCase(0x6E618820u, 0x3FF8000000000000ul, 0x3FF8000000000000ul, false, 0x4000000000000000ul, 0x4000000000000000ul)]
  214. [TestCase(0x6E219820u, 0x3f99999a3fe66666ul, 0x3f99999a3fe66666ul, false, 0x3f80000040000000ul, 0x3f80000040000000ul)]
  215. [TestCase(0x6E219820u, 0x3fc000003fc00000ul, 0x3fc000003fc00000ul, false, 0x4000000040000000ul, 0x4000000040000000ul)]
  216. [TestCase(0x2E219820u, 0x3f99999a3fe66666ul, 0x3f99999a3fe66666ul, false, 0x3f80000040000000ul, 0x0000000000000000ul)]
  217. [TestCase(0x2E219820u, 0x3fc000003fc00000ul, 0x3fc000003fc00000ul, false, 0x4000000040000000ul, 0x0000000000000000ul)]
  218. [TestCase(0x2E218820u, 0x0000000080000000ul, 0x0000000000000000ul, false, 0x0000000080000000ul, 0x0000000000000000ul)]
  219. [TestCase(0x2E218820u, 0x7F800000FF800000ul, 0x0000000000000000ul, false, 0x7F800000FF800000ul, 0x0000000000000000ul)]
  220. [TestCase(0x2E218820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, false, 0xFFC000017FC00002ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  221. [TestCase(0x2E218820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, true, 0x7FC000007FC00000ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  222. public void Frinta_V(uint Opcode, ulong A, ulong B, bool DefaultNaN, ulong Result0, ulong Result1)
  223. {
  224. int FpcrTemp = 0x0;
  225. if(DefaultNaN)
  226. {
  227. FpcrTemp = 0x2000000;
  228. }
  229. Vector128<float> V1 = MakeVectorE0E1(A, B);
  230. AThreadState ThreadState = SingleOpcode(Opcode, V1: V1, Fpcr: FpcrTemp);
  231. Assert.Multiple(() =>
  232. {
  233. Assert.AreEqual(Result0, GetVectorE0(ThreadState.V0));
  234. Assert.AreEqual(Result1, GetVectorE1(ThreadState.V0));
  235. });
  236. CompareAgainstUnicorn();
  237. }
  238. [TestCase(0x3FE66666u, 'N', false, 0x40000000u)]
  239. [TestCase(0x3F99999Au, 'N', false, 0x3F800000u)]
  240. [TestCase(0x404CCCCDu, 'P', false, 0x40800000u)]
  241. [TestCase(0x40733333u, 'P', false, 0x40800000u)]
  242. [TestCase(0x404CCCCDu, 'M', false, 0x40400000u)]
  243. [TestCase(0x40733333u, 'M', false, 0x40400000u)]
  244. [TestCase(0x3F99999Au, 'Z', false, 0x3F800000u)]
  245. [TestCase(0x3FE66666u, 'Z', false, 0x3F800000u)]
  246. [TestCase(0x00000000u, 'N', false, 0x00000000u)]
  247. [TestCase(0x00000000u, 'P', false, 0x00000000u)]
  248. [TestCase(0x00000000u, 'M', false, 0x00000000u)]
  249. [TestCase(0x00000000u, 'Z', false, 0x00000000u)]
  250. [TestCase(0x80000000u, 'N', false, 0x80000000u)]
  251. [TestCase(0x80000000u, 'P', false, 0x80000000u)]
  252. [TestCase(0x80000000u, 'M', false, 0x80000000u)]
  253. [TestCase(0x80000000u, 'Z', false, 0x80000000u)]
  254. [TestCase(0x7F800000u, 'N', false, 0x7F800000u)]
  255. [TestCase(0x7F800000u, 'P', false, 0x7F800000u)]
  256. [TestCase(0x7F800000u, 'M', false, 0x7F800000u)]
  257. [TestCase(0x7F800000u, 'Z', false, 0x7F800000u)]
  258. [TestCase(0xFF800000u, 'N', false, 0xFF800000u)]
  259. [TestCase(0xFF800000u, 'P', false, 0xFF800000u)]
  260. [TestCase(0xFF800000u, 'M', false, 0xFF800000u)]
  261. [TestCase(0xFF800000u, 'Z', false, 0xFF800000u)]
  262. [TestCase(0xFF800001u, 'N', false, 0xFFC00001u, Ignore = "NaN test.")]
  263. [TestCase(0xFF800001u, 'P', false, 0xFFC00001u, Ignore = "NaN test.")]
  264. [TestCase(0xFF800001u, 'M', false, 0xFFC00001u, Ignore = "NaN test.")]
  265. [TestCase(0xFF800001u, 'Z', false, 0xFFC00001u, Ignore = "NaN test.")]
  266. [TestCase(0xFF800001u, 'N', true, 0x7FC00000u, Ignore = "NaN test.")]
  267. [TestCase(0xFF800001u, 'P', true, 0x7FC00000u, Ignore = "NaN test.")]
  268. [TestCase(0xFF800001u, 'M', true, 0x7FC00000u, Ignore = "NaN test.")]
  269. [TestCase(0xFF800001u, 'Z', true, 0x7FC00000u, Ignore = "NaN test.")]
  270. [TestCase(0x7FC00002u, 'N', false, 0x7FC00002u, Ignore = "NaN test.")]
  271. [TestCase(0x7FC00002u, 'P', false, 0x7FC00002u, Ignore = "NaN test.")]
  272. [TestCase(0x7FC00002u, 'M', false, 0x7FC00002u, Ignore = "NaN test.")]
  273. [TestCase(0x7FC00002u, 'Z', false, 0x7FC00002u, Ignore = "NaN test.")]
  274. [TestCase(0x7FC00002u, 'N', true, 0x7FC00000u, Ignore = "NaN test.")]
  275. [TestCase(0x7FC00002u, 'P', true, 0x7FC00000u, Ignore = "NaN test.")]
  276. [TestCase(0x7FC00002u, 'M', true, 0x7FC00000u, Ignore = "NaN test.")]
  277. [TestCase(0x7FC00002u, 'Z', true, 0x7FC00000u, Ignore = "NaN test.")]
  278. public void Frinti_S(uint A, char RoundType, bool DefaultNaN, uint Result)
  279. {
  280. int FpcrTemp = 0x0;
  281. switch(RoundType)
  282. {
  283. case 'N':
  284. FpcrTemp = 0x0;
  285. break;
  286. case 'P':
  287. FpcrTemp = 0x400000;
  288. break;
  289. case 'M':
  290. FpcrTemp = 0x800000;
  291. break;
  292. case 'Z':
  293. FpcrTemp = 0xC00000;
  294. break;
  295. }
  296. if(DefaultNaN)
  297. {
  298. FpcrTemp |= 1 << 25;
  299. }
  300. Vector128<float> V1 = MakeVectorE0(A);
  301. AThreadState ThreadState = SingleOpcode(0x1E27C020, V1: V1, Fpcr: FpcrTemp);
  302. Assert.AreEqual(Result, GetVectorE0(ThreadState.V0));
  303. CompareAgainstUnicorn();
  304. }
  305. [TestCase(0x6EE19820u, 0x3FF3333333333333ul, 0x3FF3333333333333ul, 'N', false, 0x3FF0000000000000ul, 0x3FF0000000000000ul)]
  306. [TestCase(0x6EE19820u, 0x3FFCCCCCCCCCCCCDul, 0x3FFCCCCCCCCCCCCDul, 'N', false, 0x4000000000000000ul, 0x4000000000000000ul)]
  307. [TestCase(0x6EE19820u, 0x3FF3333333333333ul, 0x3FF3333333333333ul, 'P', false, 0x4000000000000000ul, 0x4000000000000000ul)]
  308. [TestCase(0x6EE19820u, 0x3FFCCCCCCCCCCCCDul, 0x3FFCCCCCCCCCCCCDul, 'P', false, 0x4000000000000000ul, 0x4000000000000000ul)]
  309. [TestCase(0x6EE19820u, 0x3FF3333333333333ul, 0x3FF3333333333333ul, 'M', false, 0x3FF0000000000000ul, 0x3FF0000000000000ul)]
  310. [TestCase(0x6EE19820u, 0x3FFCCCCCCCCCCCCDul, 0x3FFCCCCCCCCCCCCDul, 'M', false, 0x3FF0000000000000ul, 0x3FF0000000000000ul)]
  311. [TestCase(0x6EE19820u, 0x3FF3333333333333ul, 0x3FF3333333333333ul, 'Z', false, 0x3FF0000000000000ul, 0x3FF0000000000000ul)]
  312. [TestCase(0x6EE19820u, 0x3FFCCCCCCCCCCCCDul, 0x3FFCCCCCCCCCCCCDul, 'Z', false, 0x3FF0000000000000ul, 0x3FF0000000000000ul)]
  313. [TestCase(0x6EA19820u, 0x3f99999a3fe66666ul, 0x3f99999a3fe66666ul, 'N', false, 0x3f80000040000000ul, 0x3f80000040000000ul)]
  314. [TestCase(0x6EA19820u, 0x3f99999a3fe66666ul, 0x3f99999a3fe66666ul, 'P', false, 0x4000000040000000ul, 0x4000000040000000ul)]
  315. [TestCase(0x6EA19820u, 0x3f99999a3fe66666ul, 0x3f99999a3fe66666ul, 'M', false, 0x3f8000003f800000ul, 0x3f8000003f800000ul)]
  316. [TestCase(0x6EA19820u, 0x3f99999a3fe66666ul, 0x3f99999a3fe66666ul, 'Z', false, 0x3f8000003f800000ul, 0x3f8000003f800000ul)]
  317. [TestCase(0x2EA19820u, 0x3f99999a3fe66666ul, 0x3f99999a3fe66666ul, 'N', false, 0x3f80000040000000ul, 0x0000000000000000ul)]
  318. [TestCase(0x2EA19820u, 0x3f99999a3fe66666ul, 0x3f99999a3fe66666ul, 'P', false, 0x4000000040000000ul, 0x0000000000000000ul)]
  319. [TestCase(0x2EA19820u, 0x3f99999a3fe66666ul, 0x3f99999a3fe66666ul, 'M', false, 0x3f8000003f800000ul, 0x0000000000000000ul)]
  320. [TestCase(0x2EA19820u, 0x3f99999a3fe66666ul, 0x3f99999a3fe66666ul, 'Z', false, 0x3f8000003f800000ul, 0x0000000000000000ul)]
  321. [TestCase(0x2EA19820u, 0x0000000080000000ul, 0x0000000000000000ul, 'N', false, 0x0000000080000000ul, 0x0000000000000000ul)]
  322. [TestCase(0x2EA19820u, 0x0000000080000000ul, 0x0000000000000000ul, 'P', false, 0x0000000080000000ul, 0x0000000000000000ul)]
  323. [TestCase(0x2EA19820u, 0x0000000080000000ul, 0x0000000000000000ul, 'M', false, 0x0000000080000000ul, 0x0000000000000000ul)]
  324. [TestCase(0x2EA19820u, 0x0000000080000000ul, 0x0000000000000000ul, 'Z', false, 0x0000000080000000ul, 0x0000000000000000ul)]
  325. [TestCase(0x2EA19820u, 0x7F800000FF800000ul, 0x0000000000000000ul, 'N', false, 0x7F800000FF800000ul, 0x0000000000000000ul)]
  326. [TestCase(0x2EA19820u, 0x7F800000FF800000ul, 0x0000000000000000ul, 'P', false, 0x7F800000FF800000ul, 0x0000000000000000ul)]
  327. [TestCase(0x2EA19820u, 0x7F800000FF800000ul, 0x0000000000000000ul, 'M', false, 0x7F800000FF800000ul, 0x0000000000000000ul)]
  328. [TestCase(0x2EA19820u, 0x7F800000FF800000ul, 0x0000000000000000ul, 'Z', false, 0x7F800000FF800000ul, 0x0000000000000000ul)]
  329. [TestCase(0x2EA19820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'N', false, 0xFFC000017FC00002ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  330. [TestCase(0x2EA19820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'P', false, 0xFFC000017FC00002ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  331. [TestCase(0x2EA19820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'M', false, 0xFFC000017FC00002ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  332. [TestCase(0x2EA19820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'Z', false, 0xFFC000017FC00002ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  333. [TestCase(0x2EA19820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'N', true, 0x7FC000007FC00000ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  334. [TestCase(0x2EA19820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'P', true, 0x7FC000007FC00000ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  335. [TestCase(0x2EA19820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'M', true, 0x7FC000007FC00000ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  336. [TestCase(0x2EA19820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'Z', true, 0x7FC000007FC00000ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  337. public void Frinti_V(uint Opcode, ulong A, ulong B, char RoundType, bool DefaultNaN, ulong Result0, ulong Result1)
  338. {
  339. int FpcrTemp = 0x0;
  340. switch(RoundType)
  341. {
  342. case 'N':
  343. FpcrTemp = 0x0;
  344. break;
  345. case 'P':
  346. FpcrTemp = 0x400000;
  347. break;
  348. case 'M':
  349. FpcrTemp = 0x800000;
  350. break;
  351. case 'Z':
  352. FpcrTemp = 0xC00000;
  353. break;
  354. }
  355. if(DefaultNaN)
  356. {
  357. FpcrTemp |= 1 << 25;
  358. }
  359. Vector128<float> V1 = MakeVectorE0E1(A, B);
  360. AThreadState ThreadState = SingleOpcode(Opcode, V1: V1, Fpcr: FpcrTemp);
  361. Assert.Multiple(() =>
  362. {
  363. Assert.AreEqual(Result0, GetVectorE0(ThreadState.V0));
  364. Assert.AreEqual(Result1, GetVectorE1(ThreadState.V0));
  365. });
  366. CompareAgainstUnicorn();
  367. }
  368. [TestCase(0x3FE66666u, false, 0x3F800000u)]
  369. [TestCase(0x3F99999Au, false, 0x3F800000u)]
  370. [TestCase(0x404CCCCDu, false, 0x40400000u)]
  371. [TestCase(0x40733333u, false, 0x40400000u)]
  372. [TestCase(0x3fc00000u, false, 0x3F800000u)]
  373. [TestCase(0x40200000u, false, 0x40000000u)]
  374. [TestCase(0x00000000u, false, 0x00000000u)]
  375. [TestCase(0x00000000u, false, 0x00000000u)]
  376. [TestCase(0x00000000u, false, 0x00000000u)]
  377. [TestCase(0x00000000u, false, 0x00000000u)]
  378. [TestCase(0x80000000u, false, 0x80000000u)]
  379. [TestCase(0x80000000u, false, 0x80000000u)]
  380. [TestCase(0x80000000u, false, 0x80000000u)]
  381. [TestCase(0x80000000u, false, 0x80000000u)]
  382. [TestCase(0x7F800000u, false, 0x7F800000u)]
  383. [TestCase(0x7F800000u, false, 0x7F800000u)]
  384. [TestCase(0x7F800000u, false, 0x7F800000u)]
  385. [TestCase(0x7F800000u, false, 0x7F800000u)]
  386. [TestCase(0xFF800000u, false, 0xFF800000u)]
  387. [TestCase(0xFF800000u, false, 0xFF800000u)]
  388. [TestCase(0xFF800000u, false, 0xFF800000u)]
  389. [TestCase(0xFF800000u, false, 0xFF800000u)]
  390. [TestCase(0xFF800001u, false, 0xFFC00001u, Ignore = "NaN test.")]
  391. [TestCase(0xFF800001u, false, 0xFFC00001u, Ignore = "NaN test.")]
  392. [TestCase(0xFF800001u, false, 0xFFC00001u, Ignore = "NaN test.")]
  393. [TestCase(0xFF800001u, false, 0xFFC00001u, Ignore = "NaN test.")]
  394. [TestCase(0xFF800001u, true, 0x7FC00000u, Ignore = "NaN test.")]
  395. [TestCase(0xFF800001u, true, 0x7FC00000u, Ignore = "NaN test.")]
  396. [TestCase(0xFF800001u, true, 0x7FC00000u, Ignore = "NaN test.")]
  397. [TestCase(0xFF800001u, true, 0x7FC00000u, Ignore = "NaN test.")]
  398. [TestCase(0x7FC00002u, false, 0x7FC00002u, Ignore = "NaN test.")]
  399. [TestCase(0x7FC00002u, false, 0x7FC00002u, Ignore = "NaN test.")]
  400. [TestCase(0x7FC00002u, false, 0x7FC00002u, Ignore = "NaN test.")]
  401. [TestCase(0x7FC00002u, false, 0x7FC00002u, Ignore = "NaN test.")]
  402. [TestCase(0x7FC00002u, true, 0x7FC00000u, Ignore = "NaN test.")]
  403. [TestCase(0x7FC00002u, true, 0x7FC00000u, Ignore = "NaN test.")]
  404. [TestCase(0x7FC00002u, true, 0x7FC00000u, Ignore = "NaN test.")]
  405. [TestCase(0x7FC00002u, true, 0x7FC00000u, Ignore = "NaN test.")]
  406. public void Frintm_S(uint A, bool DefaultNaN, uint Result)
  407. {
  408. int FpcrTemp = 0x0;
  409. if(DefaultNaN)
  410. {
  411. FpcrTemp = 0x2000000;
  412. }
  413. Vector128<float> V1 = MakeVectorE0(A);
  414. AThreadState ThreadState = SingleOpcode(0x1E254020, V1: V1, Fpcr: FpcrTemp);
  415. Assert.AreEqual(Result, GetVectorE0(ThreadState.V0));
  416. CompareAgainstUnicorn();
  417. }
  418. [TestCase(0x4E619820u, 0x3FF3333333333333ul, 0x3FF3333333333333ul, false, 0x3FF0000000000000ul, 0x3FF0000000000000ul)]
  419. [TestCase(0x4E619820u, 0x3FFCCCCCCCCCCCCDul, 0x3FFCCCCCCCCCCCCDul, false, 0x3FF0000000000000ul, 0x3FF0000000000000ul)]
  420. [TestCase(0x4E219820u, 0x3f99999a3fe66666ul, 0x3f99999a3fe66666ul, false, 0x3f8000003f800000ul, 0x3f8000003f800000ul)]
  421. [TestCase(0xE219820u, 0x3f99999a3fe66666ul, 0x3f99999a3fe66666ul, false, 0x3f8000003f800000ul, 0x0000000000000000ul)]
  422. [TestCase(0xE219820u, 0x0000000080000000ul, 0x0000000000000000ul, false, 0x0000000080000000ul, 0x0000000000000000ul)]
  423. [TestCase(0xE219820u, 0x7F800000FF800000ul, 0x0000000000000000ul, false, 0x7F800000FF800000ul, 0x0000000000000000ul)]
  424. [TestCase(0xE219820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, false, 0xFFC000017FC00002ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  425. [TestCase(0xE219820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, true, 0x7FC000007FC00000ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  426. public void Frintm_V(uint Opcode, ulong A, ulong B, bool DefaultNaN, ulong Result0, ulong Result1)
  427. {
  428. int FpcrTemp = 0x0;
  429. if(DefaultNaN)
  430. {
  431. FpcrTemp = 0x2000000;
  432. }
  433. Vector128<float> V1 = MakeVectorE0E1(A, B);
  434. AThreadState ThreadState = SingleOpcode(Opcode, V1: V1, Fpcr: FpcrTemp);
  435. Assert.Multiple(() =>
  436. {
  437. Assert.AreEqual(Result0, GetVectorE0(ThreadState.V0));
  438. Assert.AreEqual(Result1, GetVectorE1(ThreadState.V0));
  439. });
  440. CompareAgainstUnicorn();
  441. }
  442. [TestCase(0x3FE66666u, false, 0x40000000u)]
  443. [TestCase(0x3F99999Au, false, 0x3F800000u)]
  444. [TestCase(0x404CCCCDu, false, 0x40400000u)]
  445. [TestCase(0x40733333u, false, 0x40800000u)]
  446. [TestCase(0x3fc00000u, false, 0x40000000u)]
  447. [TestCase(0x40200000u, false, 0x40400000u)]
  448. [TestCase(0x00000000u, false, 0x00000000u)]
  449. [TestCase(0x00000000u, false, 0x00000000u)]
  450. [TestCase(0x00000000u, false, 0x00000000u)]
  451. [TestCase(0x00000000u, false, 0x00000000u)]
  452. [TestCase(0x80000000u, false, 0x80000000u)]
  453. [TestCase(0x80000000u, false, 0x80000000u)]
  454. [TestCase(0x80000000u, false, 0x80000000u)]
  455. [TestCase(0x80000000u, false, 0x80000000u)]
  456. [TestCase(0x7F800000u, false, 0x7F800000u)]
  457. [TestCase(0x7F800000u, false, 0x7F800000u)]
  458. [TestCase(0x7F800000u, false, 0x7F800000u)]
  459. [TestCase(0x7F800000u, false, 0x7F800000u)]
  460. [TestCase(0xFF800000u, false, 0xFF800000u)]
  461. [TestCase(0xFF800000u, false, 0xFF800000u)]
  462. [TestCase(0xFF800000u, false, 0xFF800000u)]
  463. [TestCase(0xFF800000u, false, 0xFF800000u)]
  464. [TestCase(0xFF800001u, false, 0xFFC00001u, Ignore = "NaN test.")]
  465. [TestCase(0xFF800001u, false, 0xFFC00001u, Ignore = "NaN test.")]
  466. [TestCase(0xFF800001u, false, 0xFFC00001u, Ignore = "NaN test.")]
  467. [TestCase(0xFF800001u, false, 0xFFC00001u, Ignore = "NaN test.")]
  468. [TestCase(0xFF800001u, true, 0x7FC00000u, Ignore = "NaN test.")]
  469. [TestCase(0xFF800001u, true, 0x7FC00000u, Ignore = "NaN test.")]
  470. [TestCase(0xFF800001u, true, 0x7FC00000u, Ignore = "NaN test.")]
  471. [TestCase(0xFF800001u, true, 0x7FC00000u, Ignore = "NaN test.")]
  472. [TestCase(0x7FC00002u, false, 0x7FC00002u, Ignore = "NaN test.")]
  473. [TestCase(0x7FC00002u, false, 0x7FC00002u, Ignore = "NaN test.")]
  474. [TestCase(0x7FC00002u, false, 0x7FC00002u, Ignore = "NaN test.")]
  475. [TestCase(0x7FC00002u, false, 0x7FC00002u, Ignore = "NaN test.")]
  476. [TestCase(0x7FC00002u, true, 0x7FC00000u, Ignore = "NaN test.")]
  477. [TestCase(0x7FC00002u, true, 0x7FC00000u, Ignore = "NaN test.")]
  478. [TestCase(0x7FC00002u, true, 0x7FC00000u, Ignore = "NaN test.")]
  479. [TestCase(0x7FC00002u, true, 0x7FC00000u, Ignore = "NaN test.")]
  480. public void Frintn_S(uint A, bool DefaultNaN, uint Result)
  481. {
  482. int FpcrTemp = 0x0;
  483. if(DefaultNaN)
  484. {
  485. FpcrTemp = 0x2000000;
  486. }
  487. Vector128<float> V1 = MakeVectorE0(A);
  488. AThreadState ThreadState = SingleOpcode(0x1E264020, V1: V1, Fpcr: FpcrTemp);
  489. Assert.AreEqual(Result, GetVectorE0(ThreadState.V0));
  490. CompareAgainstUnicorn();
  491. }
  492. [TestCase(0x4E618820u, 0x3FF3333333333333ul, 0x3FF3333333333333ul, false, 0x3FF0000000000000ul, 0x3FF0000000000000ul)]
  493. [TestCase(0x4E618820u, 0x3FFCCCCCCCCCCCCDul, 0x3FFCCCCCCCCCCCCDul, false, 0x4000000000000000ul, 0x4000000000000000ul)]
  494. [TestCase(0x4E618820u, 0x3FF8000000000000ul, 0x3FF8000000000000ul, false, 0x4000000000000000ul, 0x4000000000000000ul)]
  495. [TestCase(0x4E218820u, 0x3f99999a3fe66666ul, 0x3f99999a3fe66666ul, false, 0x3f80000040000000ul, 0x3f80000040000000ul)]
  496. [TestCase(0x4E218820u, 0x3fc000003fc00000ul, 0x3fc000003fc00000ul, false, 0x4000000040000000ul, 0x4000000040000000ul)]
  497. [TestCase(0xE218820u, 0x3f99999a3fe66666ul, 0x3f99999a3fe66666ul, false, 0x3f80000040000000ul, 0x0000000000000000ul)]
  498. [TestCase(0xE218820u, 0x3fc000003fc00000ul, 0x3fc000003fc00000ul, false, 0x4000000040000000ul, 0x0000000000000000ul)]
  499. [TestCase(0xE218820u, 0x0000000080000000ul, 0x0000000000000000ul, false, 0x0000000080000000ul, 0x0000000000000000ul)]
  500. [TestCase(0xE218820u, 0x7F800000FF800000ul, 0x0000000000000000ul, false, 0x7F800000FF800000ul, 0x0000000000000000ul)]
  501. [TestCase(0xE218820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, false, 0xFFC000017FC00002ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  502. [TestCase(0xE218820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, true, 0x7FC000007FC00000ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  503. public void Frintn_V(uint Opcode, ulong A, ulong B, bool DefaultNaN, ulong Result0, ulong Result1)
  504. {
  505. int FpcrTemp = 0x0;
  506. if(DefaultNaN)
  507. {
  508. FpcrTemp = 0x2000000;
  509. }
  510. Vector128<float> V1 = MakeVectorE0E1(A, B);
  511. AThreadState ThreadState = SingleOpcode(Opcode, V1: V1, Fpcr: FpcrTemp);
  512. Assert.Multiple(() =>
  513. {
  514. Assert.AreEqual(Result0, GetVectorE0(ThreadState.V0));
  515. Assert.AreEqual(Result1, GetVectorE1(ThreadState.V0));
  516. });
  517. CompareAgainstUnicorn();
  518. }
  519. [TestCase(0x3FE66666u, false, 0x40000000u)]
  520. [TestCase(0x3F99999Au, false, 0x40000000u)]
  521. [TestCase(0x404CCCCDu, false, 0x40800000u)]
  522. [TestCase(0x40733333u, false, 0x40800000u)]
  523. [TestCase(0x3fc00000u, false, 0x40000000u)]
  524. [TestCase(0x40200000u, false, 0x40400000u)]
  525. [TestCase(0x00000000u, false, 0x00000000u)]
  526. [TestCase(0x00000000u, false, 0x00000000u)]
  527. [TestCase(0x00000000u, false, 0x00000000u)]
  528. [TestCase(0x00000000u, false, 0x00000000u)]
  529. [TestCase(0x80000000u, false, 0x80000000u)]
  530. [TestCase(0x80000000u, false, 0x80000000u)]
  531. [TestCase(0x80000000u, false, 0x80000000u)]
  532. [TestCase(0x80000000u, false, 0x80000000u)]
  533. [TestCase(0x7F800000u, false, 0x7F800000u)]
  534. [TestCase(0x7F800000u, false, 0x7F800000u)]
  535. [TestCase(0x7F800000u, false, 0x7F800000u)]
  536. [TestCase(0x7F800000u, false, 0x7F800000u)]
  537. [TestCase(0xFF800000u, false, 0xFF800000u)]
  538. [TestCase(0xFF800000u, false, 0xFF800000u)]
  539. [TestCase(0xFF800000u, false, 0xFF800000u)]
  540. [TestCase(0xFF800000u, false, 0xFF800000u)]
  541. [TestCase(0xFF800001u, false, 0xFFC00001u, Ignore = "NaN test.")]
  542. [TestCase(0xFF800001u, false, 0xFFC00001u, Ignore = "NaN test.")]
  543. [TestCase(0xFF800001u, false, 0xFFC00001u, Ignore = "NaN test.")]
  544. [TestCase(0xFF800001u, false, 0xFFC00001u, Ignore = "NaN test.")]
  545. [TestCase(0xFF800001u, true, 0x7FC00000u, Ignore = "NaN test.")]
  546. [TestCase(0xFF800001u, true, 0x7FC00000u, Ignore = "NaN test.")]
  547. [TestCase(0xFF800001u, true, 0x7FC00000u, Ignore = "NaN test.")]
  548. [TestCase(0xFF800001u, true, 0x7FC00000u, Ignore = "NaN test.")]
  549. [TestCase(0x7FC00002u, false, 0x7FC00002u, Ignore = "NaN test.")]
  550. [TestCase(0x7FC00002u, false, 0x7FC00002u, Ignore = "NaN test.")]
  551. [TestCase(0x7FC00002u, false, 0x7FC00002u, Ignore = "NaN test.")]
  552. [TestCase(0x7FC00002u, false, 0x7FC00002u, Ignore = "NaN test.")]
  553. [TestCase(0x7FC00002u, true, 0x7FC00000u, Ignore = "NaN test.")]
  554. [TestCase(0x7FC00002u, true, 0x7FC00000u, Ignore = "NaN test.")]
  555. [TestCase(0x7FC00002u, true, 0x7FC00000u, Ignore = "NaN test.")]
  556. [TestCase(0x7FC00002u, true, 0x7FC00000u, Ignore = "NaN test.")]
  557. public void Frintp_S(uint A, bool DefaultNaN, uint Result)
  558. {
  559. int FpcrTemp = 0x0;
  560. if(DefaultNaN)
  561. {
  562. FpcrTemp = 0x2000000;
  563. }
  564. Vector128<float> V1 = MakeVectorE0(A);
  565. AThreadState ThreadState = SingleOpcode(0x1E24C020, V1: V1, Fpcr: FpcrTemp);
  566. Assert.AreEqual(Result, GetVectorE0(ThreadState.V0));
  567. CompareAgainstUnicorn();
  568. }
  569. [TestCase(0x4EE18820u, 0x3FF3333333333333ul, 0x3FF3333333333333ul, false, 0x4000000000000000ul, 0x4000000000000000ul)]
  570. [TestCase(0x4EE18820u, 0x3FFCCCCCCCCCCCCDul, 0x3FFCCCCCCCCCCCCDul, false, 0x4000000000000000ul, 0x4000000000000000ul)]
  571. [TestCase(0x4EA18820u, 0x3f99999a3fe66666ul, 0x3f99999a3fe66666ul, false, 0x4000000040000000ul, 0x4000000040000000ul)]
  572. [TestCase(0xEA18820u, 0x3f99999a3fe66666ul, 0x3f99999a3fe66666ul, false, 0x4000000040000000ul, 0x0000000000000000ul)]
  573. [TestCase(0xEA18820u, 0x0000000080000000ul, 0x0000000000000000ul, false, 0x0000000080000000ul, 0x0000000000000000ul)]
  574. [TestCase(0xEA18820u, 0x7F800000FF800000ul, 0x0000000000000000ul, false, 0x7F800000FF800000ul, 0x0000000000000000ul)]
  575. [TestCase(0xEA18820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, false, 0xFFC000017FC00002ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  576. [TestCase(0xEA18820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, true, 0x7FC000007FC00000ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  577. public void Frintp_V(uint Opcode, ulong A, ulong B, bool DefaultNaN, ulong Result0, ulong Result1)
  578. {
  579. int FpcrTemp = 0x0;
  580. if(DefaultNaN)
  581. {
  582. FpcrTemp = 0x2000000;
  583. }
  584. Vector128<float> V1 = MakeVectorE0E1(A, B);
  585. AThreadState ThreadState = SingleOpcode(Opcode, V1: V1, Fpcr: FpcrTemp);
  586. Assert.Multiple(() =>
  587. {
  588. Assert.AreEqual(Result0, GetVectorE0(ThreadState.V0));
  589. Assert.AreEqual(Result1, GetVectorE1(ThreadState.V0));
  590. });
  591. CompareAgainstUnicorn();
  592. }
  593. [TestCase(0x3FE66666u, 'N', false, 0x40000000u)]
  594. [TestCase(0x3F99999Au, 'N', false, 0x3F800000u)]
  595. [TestCase(0x404CCCCDu, 'P', false, 0x40800000u)]
  596. [TestCase(0x40733333u, 'P', false, 0x40800000u)]
  597. [TestCase(0x404CCCCDu, 'M', false, 0x40400000u)]
  598. [TestCase(0x40733333u, 'M', false, 0x40400000u)]
  599. [TestCase(0x3F99999Au, 'Z', false, 0x3F800000u)]
  600. [TestCase(0x3FE66666u, 'Z', false, 0x3F800000u)]
  601. [TestCase(0x00000000u, 'N', false, 0x00000000u)]
  602. [TestCase(0x00000000u, 'P', false, 0x00000000u)]
  603. [TestCase(0x00000000u, 'M', false, 0x00000000u)]
  604. [TestCase(0x00000000u, 'Z', false, 0x00000000u)]
  605. [TestCase(0x80000000u, 'N', false, 0x80000000u)]
  606. [TestCase(0x80000000u, 'P', false, 0x80000000u)]
  607. [TestCase(0x80000000u, 'M', false, 0x80000000u)]
  608. [TestCase(0x80000000u, 'Z', false, 0x80000000u)]
  609. [TestCase(0x7F800000u, 'N', false, 0x7F800000u)]
  610. [TestCase(0x7F800000u, 'P', false, 0x7F800000u)]
  611. [TestCase(0x7F800000u, 'M', false, 0x7F800000u)]
  612. [TestCase(0x7F800000u, 'Z', false, 0x7F800000u)]
  613. [TestCase(0xFF800000u, 'N', false, 0xFF800000u)]
  614. [TestCase(0xFF800000u, 'P', false, 0xFF800000u)]
  615. [TestCase(0xFF800000u, 'M', false, 0xFF800000u)]
  616. [TestCase(0xFF800000u, 'Z', false, 0xFF800000u)]
  617. [TestCase(0xFF800001u, 'N', false, 0xFFC00001u, Ignore = "NaN test.")]
  618. [TestCase(0xFF800001u, 'P', false, 0xFFC00001u, Ignore = "NaN test.")]
  619. [TestCase(0xFF800001u, 'M', false, 0xFFC00001u, Ignore = "NaN test.")]
  620. [TestCase(0xFF800001u, 'Z', false, 0xFFC00001u, Ignore = "NaN test.")]
  621. [TestCase(0xFF800001u, 'N', true, 0x7FC00000u, Ignore = "NaN test.")]
  622. [TestCase(0xFF800001u, 'P', true, 0x7FC00000u, Ignore = "NaN test.")]
  623. [TestCase(0xFF800001u, 'M', true, 0x7FC00000u, Ignore = "NaN test.")]
  624. [TestCase(0xFF800001u, 'Z', true, 0x7FC00000u, Ignore = "NaN test.")]
  625. [TestCase(0x7FC00002u, 'N', false, 0x7FC00002u, Ignore = "NaN test.")]
  626. [TestCase(0x7FC00002u, 'P', false, 0x7FC00002u, Ignore = "NaN test.")]
  627. [TestCase(0x7FC00002u, 'M', false, 0x7FC00002u, Ignore = "NaN test.")]
  628. [TestCase(0x7FC00002u, 'Z', false, 0x7FC00002u, Ignore = "NaN test.")]
  629. [TestCase(0x7FC00002u, 'N', true, 0x7FC00000u, Ignore = "NaN test.")]
  630. [TestCase(0x7FC00002u, 'P', true, 0x7FC00000u, Ignore = "NaN test.")]
  631. [TestCase(0x7FC00002u, 'M', true, 0x7FC00000u, Ignore = "NaN test.")]
  632. [TestCase(0x7FC00002u, 'Z', true, 0x7FC00000u, Ignore = "NaN test.")]
  633. public void Frintx_S(uint A, char RoundType, bool DefaultNaN, uint Result)
  634. {
  635. int FpcrTemp = 0x0;
  636. switch(RoundType)
  637. {
  638. case 'N':
  639. FpcrTemp = 0x0;
  640. break;
  641. case 'P':
  642. FpcrTemp = 0x400000;
  643. break;
  644. case 'M':
  645. FpcrTemp = 0x800000;
  646. break;
  647. case 'Z':
  648. FpcrTemp = 0xC00000;
  649. break;
  650. }
  651. if(DefaultNaN)
  652. {
  653. FpcrTemp |= 1 << 25;
  654. }
  655. Vector128<float> V1 = MakeVectorE0(A);
  656. AThreadState ThreadState = SingleOpcode(0x1E274020, V1: V1, Fpcr: FpcrTemp);
  657. Assert.AreEqual(Result, GetVectorE0(ThreadState.V0));
  658. CompareAgainstUnicorn();
  659. }
  660. [TestCase(0x6E619820u, 0x3FF3333333333333ul, 0x3FF3333333333333ul, 'N', false, 0x3FF0000000000000ul, 0x3FF0000000000000ul)]
  661. [TestCase(0x6E619820u, 0x3FFCCCCCCCCCCCCDul, 0x3FFCCCCCCCCCCCCDul, 'N', false, 0x4000000000000000ul, 0x4000000000000000ul)]
  662. [TestCase(0x6E619820u, 0x3FF3333333333333ul, 0x3FF3333333333333ul, 'P', false, 0x4000000000000000ul, 0x4000000000000000ul)]
  663. [TestCase(0x6E619820u, 0x3FFCCCCCCCCCCCCDul, 0x3FFCCCCCCCCCCCCDul, 'P', false, 0x4000000000000000ul, 0x4000000000000000ul)]
  664. [TestCase(0x6E619820u, 0x3FF3333333333333ul, 0x3FF3333333333333ul, 'M', false, 0x3FF0000000000000ul, 0x3FF0000000000000ul)]
  665. [TestCase(0x6E619820u, 0x3FFCCCCCCCCCCCCDul, 0x3FFCCCCCCCCCCCCDul, 'M', false, 0x3FF0000000000000ul, 0x3FF0000000000000ul)]
  666. [TestCase(0x6E619820u, 0x3FF3333333333333ul, 0x3FF3333333333333ul, 'Z', false, 0x3FF0000000000000ul, 0x3FF0000000000000ul)]
  667. [TestCase(0x6E619820u, 0x3FFCCCCCCCCCCCCDul, 0x3FFCCCCCCCCCCCCDul, 'Z', false, 0x3FF0000000000000ul, 0x3FF0000000000000ul)]
  668. [TestCase(0x6E219820u, 0x3f99999a3fe66666ul, 0x3f99999a3fe66666ul, 'N', false, 0x3f80000040000000ul, 0x3f80000040000000ul)]
  669. [TestCase(0x6E219820u, 0x3f99999a3fe66666ul, 0x3f99999a3fe66666ul, 'P', false, 0x4000000040000000ul, 0x4000000040000000ul)]
  670. [TestCase(0x6E219820u, 0x3f99999a3fe66666ul, 0x3f99999a3fe66666ul, 'M', false, 0x3f8000003f800000ul, 0x3f8000003f800000ul)]
  671. [TestCase(0x6E219820u, 0x3f99999a3fe66666ul, 0x3f99999a3fe66666ul, 'Z', false, 0x3f8000003f800000ul, 0x3f8000003f800000ul)]
  672. [TestCase(0x2E219820u, 0x3f99999a3fe66666ul, 0x3f99999a3fe66666ul, 'N', false, 0x3f80000040000000ul, 0x0000000000000000ul)]
  673. [TestCase(0x2E219820u, 0x3f99999a3fe66666ul, 0x3f99999a3fe66666ul, 'P', false, 0x4000000040000000ul, 0x0000000000000000ul)]
  674. [TestCase(0x2E219820u, 0x3f99999a3fe66666ul, 0x3f99999a3fe66666ul, 'M', false, 0x3f8000003f800000ul, 0x0000000000000000ul)]
  675. [TestCase(0x2E219820u, 0x3f99999a3fe66666ul, 0x3f99999a3fe66666ul, 'Z', false, 0x3f8000003f800000ul, 0x0000000000000000ul)]
  676. [TestCase(0x2E219820u, 0x0000000080000000ul, 0x0000000000000000ul, 'N', false, 0x0000000080000000ul, 0x0000000000000000ul)]
  677. [TestCase(0x2E219820u, 0x0000000080000000ul, 0x0000000000000000ul, 'P', false, 0x0000000080000000ul, 0x0000000000000000ul)]
  678. [TestCase(0x2E219820u, 0x0000000080000000ul, 0x0000000000000000ul, 'M', false, 0x0000000080000000ul, 0x0000000000000000ul)]
  679. [TestCase(0x2E219820u, 0x0000000080000000ul, 0x0000000000000000ul, 'Z', false, 0x0000000080000000ul, 0x0000000000000000ul)]
  680. [TestCase(0x2E219820u, 0x7F800000FF800000ul, 0x0000000000000000ul, 'N', false, 0x7F800000FF800000ul, 0x0000000000000000ul)]
  681. [TestCase(0x2E219820u, 0x7F800000FF800000ul, 0x0000000000000000ul, 'P', false, 0x7F800000FF800000ul, 0x0000000000000000ul)]
  682. [TestCase(0x2E219820u, 0x7F800000FF800000ul, 0x0000000000000000ul, 'M', false, 0x7F800000FF800000ul, 0x0000000000000000ul)]
  683. [TestCase(0x2E219820u, 0x7F800000FF800000ul, 0x0000000000000000ul, 'Z', false, 0x7F800000FF800000ul, 0x0000000000000000ul)]
  684. [TestCase(0x2E219820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'N', false, 0xFFC000017FC00002ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  685. [TestCase(0x2E219820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'P', false, 0xFFC000017FC00002ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  686. [TestCase(0x2E219820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'M', false, 0xFFC000017FC00002ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  687. [TestCase(0x2E219820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'Z', false, 0xFFC000017FC00002ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  688. [TestCase(0x2E219820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'N', true, 0x7FC000007FC00000ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  689. [TestCase(0x2E219820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'P', true, 0x7FC000007FC00000ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  690. [TestCase(0x2E219820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'M', true, 0x7FC000007FC00000ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  691. [TestCase(0x2E219820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'Z', true, 0x7FC000007FC00000ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  692. public void Frintx_V(uint Opcode, ulong A, ulong B, char RoundType, bool DefaultNaN, ulong Result0, ulong Result1)
  693. {
  694. int FpcrTemp = 0x0;
  695. switch(RoundType)
  696. {
  697. case 'N':
  698. FpcrTemp = 0x0;
  699. break;
  700. case 'P':
  701. FpcrTemp = 0x400000;
  702. break;
  703. case 'M':
  704. FpcrTemp = 0x800000;
  705. break;
  706. case 'Z':
  707. FpcrTemp = 0xC00000;
  708. break;
  709. }
  710. if(DefaultNaN)
  711. {
  712. FpcrTemp |= 1 << 25;
  713. }
  714. Vector128<float> V1 = MakeVectorE0E1(A, B);
  715. AThreadState ThreadState = SingleOpcode(Opcode, V1: V1, Fpcr: FpcrTemp);
  716. Assert.Multiple(() =>
  717. {
  718. Assert.AreEqual(Result0, GetVectorE0(ThreadState.V0));
  719. Assert.AreEqual(Result1, GetVectorE1(ThreadState.V0));
  720. });
  721. CompareAgainstUnicorn();
  722. }
  723. [TestCase(0x41200000u, 0x3EA18000u)]
  724. public void Frsqrte_S(uint A, uint Result)
  725. {
  726. Vector128<float> V1 = MakeVectorE0(A);
  727. AThreadState ThreadState = SingleOpcode(0x7EA1D820, V1: V1);
  728. Assert.AreEqual(Result, GetVectorE0(ThreadState.V0));
  729. CompareAgainstUnicorn();
  730. }
  731. }
  732. }