CpuTestSimdArithmetic.cs 47 KB

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