CpuTestSimdArithmetic.cs 32 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585
  1. using ChocolArm64.State;
  2. using NUnit.Framework;
  3. using System.Runtime.Intrinsics;
  4. namespace Ryujinx.Tests.Cpu
  5. {
  6. public class CpuTestSimdArithmetic : CpuTest
  7. {
  8. [TestCase(0x3FE66666u, false, 0x40000000u)]
  9. [TestCase(0x3F99999Au, false, 0x3F800000u)]
  10. [TestCase(0x404CCCCDu, false, 0x40400000u)]
  11. [TestCase(0x40733333u, false, 0x40800000u)]
  12. [TestCase(0x3FC00000u, false, 0x40000000u)]
  13. [TestCase(0x40200000u, false, 0x40400000u)]
  14. [TestCase(0x00000000u, false, 0x00000000u)]
  15. [TestCase(0x80000000u, false, 0x80000000u)]
  16. [TestCase(0x7F800000u, false, 0x7F800000u)]
  17. [TestCase(0xFF800000u, false, 0xFF800000u)]
  18. [TestCase(0xFF800001u, false, 0xFFC00001u, Ignore = "NaN test.")]
  19. [TestCase(0xFF800001u, true, 0x7FC00000u, Ignore = "NaN test.")]
  20. [TestCase(0x7FC00002u, false, 0x7FC00002u, Ignore = "NaN test.")]
  21. [TestCase(0x7FC00002u, true, 0x7FC00000u, Ignore = "NaN test.")]
  22. public void Frinta_S(uint a, bool defaultNaN, uint result)
  23. {
  24. uint opcode = 0x1E264020; // FRINTA S0, S1
  25. Vector128<float> v1 = MakeVectorE0(a);
  26. int fpcrTemp = 0x0;
  27. if (defaultNaN)
  28. {
  29. fpcrTemp = 0x2000000;
  30. }
  31. CpuThreadState threadState = SingleOpcode(opcode, v1: v1, fpcr: fpcrTemp);
  32. Assert.That(GetVectorE0(threadState.V0), Is.EqualTo(result));
  33. CompareAgainstUnicorn();
  34. }
  35. [TestCase(0x6E618820u, 0x3FF3333333333333ul, 0x3FF3333333333333ul, false, 0x3FF0000000000000ul, 0x3FF0000000000000ul)] // FRINTA V0.2D, V1.2D
  36. [TestCase(0x6E618820u, 0x3FFCCCCCCCCCCCCDul, 0x3FFCCCCCCCCCCCCDul, false, 0x4000000000000000ul, 0x4000000000000000ul)]
  37. [TestCase(0x6E618820u, 0x3FF8000000000000ul, 0x3FF8000000000000ul, false, 0x4000000000000000ul, 0x4000000000000000ul)]
  38. [TestCase(0x6E218820u, 0x3F99999A3FE66666ul, 0x3F99999A3FE66666ul, false, 0x3F80000040000000ul, 0x3F80000040000000ul)] // FRINTA V0.4S, V1.4S
  39. [TestCase(0x6E218820u, 0x3FC000003FC00000ul, 0x3FC000003FC00000ul, false, 0x4000000040000000ul, 0x4000000040000000ul)]
  40. [TestCase(0x2E218820u, 0x3F99999A3FE66666ul, 0x3F99999A3FE66666ul, false, 0x3F80000040000000ul, 0x0000000000000000ul)] // FRINTA V0.2S, V1.2S
  41. [TestCase(0x2E218820u, 0x3FC000003FC00000ul, 0x3FC000003FC00000ul, false, 0x4000000040000000ul, 0x0000000000000000ul)]
  42. [TestCase(0x2E218820u, 0x0000000080000000ul, 0x0000000000000000ul, false, 0x0000000080000000ul, 0x0000000000000000ul)]
  43. [TestCase(0x2E218820u, 0x7F800000FF800000ul, 0x0000000000000000ul, false, 0x7F800000FF800000ul, 0x0000000000000000ul)]
  44. [TestCase(0x2E218820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, false, 0xFFC000017FC00002ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  45. [TestCase(0x2E218820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, true, 0x7FC000007FC00000ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  46. public void Frinta_V(uint opcode, ulong a, ulong b, bool defaultNaN, ulong result0, ulong result1)
  47. {
  48. Vector128<float> v1 = MakeVectorE0E1(a, b);
  49. int fpcrTemp = 0x0;
  50. if (defaultNaN)
  51. {
  52. fpcrTemp = 0x2000000;
  53. }
  54. CpuThreadState threadState = SingleOpcode(opcode, v1: v1, fpcr: fpcrTemp);
  55. Assert.Multiple(() =>
  56. {
  57. Assert.That(GetVectorE0(threadState.V0), Is.EqualTo(result0));
  58. Assert.That(GetVectorE1(threadState.V0), Is.EqualTo(result1));
  59. });
  60. CompareAgainstUnicorn();
  61. }
  62. [TestCase(0x3FE66666u, 'N', false, 0x40000000u)]
  63. [TestCase(0x3F99999Au, 'N', false, 0x3F800000u)]
  64. [TestCase(0x404CCCCDu, 'P', false, 0x40800000u)]
  65. [TestCase(0x40733333u, 'P', false, 0x40800000u)]
  66. [TestCase(0x404CCCCDu, 'M', false, 0x40400000u)]
  67. [TestCase(0x40733333u, 'M', false, 0x40400000u)]
  68. [TestCase(0x3F99999Au, 'Z', false, 0x3F800000u)]
  69. [TestCase(0x3FE66666u, 'Z', false, 0x3F800000u)]
  70. [TestCase(0x00000000u, 'N', false, 0x00000000u)]
  71. [TestCase(0x00000000u, 'P', false, 0x00000000u)]
  72. [TestCase(0x00000000u, 'M', false, 0x00000000u)]
  73. [TestCase(0x00000000u, 'Z', false, 0x00000000u)]
  74. [TestCase(0x80000000u, 'N', false, 0x80000000u)]
  75. [TestCase(0x80000000u, 'P', false, 0x80000000u)]
  76. [TestCase(0x80000000u, 'M', false, 0x80000000u)]
  77. [TestCase(0x80000000u, 'Z', false, 0x80000000u)]
  78. [TestCase(0x7F800000u, 'N', false, 0x7F800000u)]
  79. [TestCase(0x7F800000u, 'P', false, 0x7F800000u)]
  80. [TestCase(0x7F800000u, 'M', false, 0x7F800000u)]
  81. [TestCase(0x7F800000u, 'Z', false, 0x7F800000u)]
  82. [TestCase(0xFF800000u, 'N', false, 0xFF800000u)]
  83. [TestCase(0xFF800000u, 'P', false, 0xFF800000u)]
  84. [TestCase(0xFF800000u, 'M', false, 0xFF800000u)]
  85. [TestCase(0xFF800000u, 'Z', false, 0xFF800000u)]
  86. [TestCase(0xFF800001u, 'N', false, 0xFFC00001u, Ignore = "NaN test.")]
  87. [TestCase(0xFF800001u, 'P', false, 0xFFC00001u, Ignore = "NaN test.")]
  88. [TestCase(0xFF800001u, 'M', false, 0xFFC00001u, Ignore = "NaN test.")]
  89. [TestCase(0xFF800001u, 'Z', false, 0xFFC00001u, Ignore = "NaN test.")]
  90. [TestCase(0xFF800001u, 'N', true, 0x7FC00000u, Ignore = "NaN test.")]
  91. [TestCase(0xFF800001u, 'P', true, 0x7FC00000u, Ignore = "NaN test.")]
  92. [TestCase(0xFF800001u, 'M', true, 0x7FC00000u, Ignore = "NaN test.")]
  93. [TestCase(0xFF800001u, 'Z', true, 0x7FC00000u, Ignore = "NaN test.")]
  94. [TestCase(0x7FC00002u, 'N', false, 0x7FC00002u, Ignore = "NaN test.")]
  95. [TestCase(0x7FC00002u, 'P', false, 0x7FC00002u, Ignore = "NaN test.")]
  96. [TestCase(0x7FC00002u, 'M', false, 0x7FC00002u, Ignore = "NaN test.")]
  97. [TestCase(0x7FC00002u, 'Z', false, 0x7FC00002u, Ignore = "NaN test.")]
  98. [TestCase(0x7FC00002u, 'N', true, 0x7FC00000u, Ignore = "NaN test.")]
  99. [TestCase(0x7FC00002u, 'P', true, 0x7FC00000u, Ignore = "NaN test.")]
  100. [TestCase(0x7FC00002u, 'M', true, 0x7FC00000u, Ignore = "NaN test.")]
  101. [TestCase(0x7FC00002u, 'Z', true, 0x7FC00000u, Ignore = "NaN test.")]
  102. public void Frinti_S(uint a, char roundMode, bool defaultNaN, uint result)
  103. {
  104. uint opcode = 0x1E27C020; // FRINTI S0, S1
  105. Vector128<float> v1 = MakeVectorE0(a);
  106. int fpcrTemp = 0x0;
  107. switch (roundMode)
  108. {
  109. case 'N': fpcrTemp = 0x0; break;
  110. case 'P': fpcrTemp = 0x400000; break;
  111. case 'M': fpcrTemp = 0x800000; break;
  112. case 'Z': fpcrTemp = 0xC00000; break;
  113. }
  114. if (defaultNaN)
  115. {
  116. fpcrTemp |= 1 << 25;
  117. }
  118. CpuThreadState threadState = SingleOpcode(opcode, v1: v1, fpcr: fpcrTemp);
  119. Assert.That(GetVectorE0(threadState.V0), Is.EqualTo(result));
  120. CompareAgainstUnicorn();
  121. }
  122. [TestCase(0x6EE19820u, 0x3FF3333333333333ul, 0x3FF3333333333333ul, 'N', false, 0x3FF0000000000000ul, 0x3FF0000000000000ul)] // FRINTI V0.2D, V1.2D
  123. [TestCase(0x6EE19820u, 0x3FFCCCCCCCCCCCCDul, 0x3FFCCCCCCCCCCCCDul, 'N', false, 0x4000000000000000ul, 0x4000000000000000ul)]
  124. [TestCase(0x6EE19820u, 0x3FF3333333333333ul, 0x3FF3333333333333ul, 'P', false, 0x4000000000000000ul, 0x4000000000000000ul)]
  125. [TestCase(0x6EE19820u, 0x3FFCCCCCCCCCCCCDul, 0x3FFCCCCCCCCCCCCDul, 'P', false, 0x4000000000000000ul, 0x4000000000000000ul)]
  126. [TestCase(0x6EE19820u, 0x3FF3333333333333ul, 0x3FF3333333333333ul, 'M', false, 0x3FF0000000000000ul, 0x3FF0000000000000ul)]
  127. [TestCase(0x6EE19820u, 0x3FFCCCCCCCCCCCCDul, 0x3FFCCCCCCCCCCCCDul, 'M', false, 0x3FF0000000000000ul, 0x3FF0000000000000ul)]
  128. [TestCase(0x6EE19820u, 0x3FF3333333333333ul, 0x3FF3333333333333ul, 'Z', false, 0x3FF0000000000000ul, 0x3FF0000000000000ul)]
  129. [TestCase(0x6EE19820u, 0x3FFCCCCCCCCCCCCDul, 0x3FFCCCCCCCCCCCCDul, 'Z', false, 0x3FF0000000000000ul, 0x3FF0000000000000ul)]
  130. [TestCase(0x6EA19820u, 0x3F99999A3FE66666ul, 0x3F99999A3FE66666ul, 'N', false, 0x3F80000040000000ul, 0x3F80000040000000ul)] // FRINTI V0.4S, V1.4S
  131. [TestCase(0x6EA19820u, 0x3F99999A3FE66666ul, 0x3F99999A3FE66666ul, 'P', false, 0x4000000040000000ul, 0x4000000040000000ul)]
  132. [TestCase(0x6EA19820u, 0x3F99999A3FE66666ul, 0x3F99999A3FE66666ul, 'M', false, 0x3F8000003F800000ul, 0x3F8000003F800000ul)]
  133. [TestCase(0x6EA19820u, 0x3F99999A3FE66666ul, 0x3F99999A3FE66666ul, 'Z', false, 0x3F8000003F800000ul, 0x3F8000003F800000ul)]
  134. [TestCase(0x2EA19820u, 0x3F99999A3FE66666ul, 0x3F99999A3FE66666ul, 'N', false, 0x3F80000040000000ul, 0x0000000000000000ul)] // FRINTI V0.2S, V1.2S
  135. [TestCase(0x2EA19820u, 0x3F99999A3FE66666ul, 0x3F99999A3FE66666ul, 'P', false, 0x4000000040000000ul, 0x0000000000000000ul)]
  136. [TestCase(0x2EA19820u, 0x3F99999A3FE66666ul, 0x3F99999A3FE66666ul, 'M', false, 0x3F8000003F800000ul, 0x0000000000000000ul)]
  137. [TestCase(0x2EA19820u, 0x3F99999A3FE66666ul, 0x3F99999A3FE66666ul, 'Z', false, 0x3F8000003F800000ul, 0x0000000000000000ul)]
  138. [TestCase(0x2EA19820u, 0x0000000080000000ul, 0x0000000000000000ul, 'N', false, 0x0000000080000000ul, 0x0000000000000000ul)]
  139. [TestCase(0x2EA19820u, 0x0000000080000000ul, 0x0000000000000000ul, 'P', false, 0x0000000080000000ul, 0x0000000000000000ul)]
  140. [TestCase(0x2EA19820u, 0x0000000080000000ul, 0x0000000000000000ul, 'M', false, 0x0000000080000000ul, 0x0000000000000000ul)]
  141. [TestCase(0x2EA19820u, 0x0000000080000000ul, 0x0000000000000000ul, 'Z', false, 0x0000000080000000ul, 0x0000000000000000ul)]
  142. [TestCase(0x2EA19820u, 0x7F800000FF800000ul, 0x0000000000000000ul, 'N', false, 0x7F800000FF800000ul, 0x0000000000000000ul)]
  143. [TestCase(0x2EA19820u, 0x7F800000FF800000ul, 0x0000000000000000ul, 'P', false, 0x7F800000FF800000ul, 0x0000000000000000ul)]
  144. [TestCase(0x2EA19820u, 0x7F800000FF800000ul, 0x0000000000000000ul, 'M', false, 0x7F800000FF800000ul, 0x0000000000000000ul)]
  145. [TestCase(0x2EA19820u, 0x7F800000FF800000ul, 0x0000000000000000ul, 'Z', false, 0x7F800000FF800000ul, 0x0000000000000000ul)]
  146. [TestCase(0x2EA19820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'N', false, 0xFFC000017FC00002ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  147. [TestCase(0x2EA19820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'P', false, 0xFFC000017FC00002ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  148. [TestCase(0x2EA19820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'M', false, 0xFFC000017FC00002ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  149. [TestCase(0x2EA19820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'Z', false, 0xFFC000017FC00002ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  150. [TestCase(0x2EA19820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'N', true, 0x7FC000007FC00000ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  151. [TestCase(0x2EA19820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'P', true, 0x7FC000007FC00000ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  152. [TestCase(0x2EA19820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'M', true, 0x7FC000007FC00000ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  153. [TestCase(0x2EA19820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'Z', true, 0x7FC000007FC00000ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  154. public void Frinti_V(uint opcode, ulong a, ulong b, char roundMode, bool defaultNaN, ulong result0, ulong result1)
  155. {
  156. Vector128<float> v1 = MakeVectorE0E1(a, b);
  157. int fpcrTemp = 0x0;
  158. switch (roundMode)
  159. {
  160. case 'N': fpcrTemp = 0x0; break;
  161. case 'P': fpcrTemp = 0x400000; break;
  162. case 'M': fpcrTemp = 0x800000; break;
  163. case 'Z': fpcrTemp = 0xC00000; break;
  164. }
  165. if (defaultNaN)
  166. {
  167. fpcrTemp |= 1 << 25;
  168. }
  169. CpuThreadState threadState = SingleOpcode(opcode, v1: v1, fpcr: fpcrTemp);
  170. Assert.Multiple(() =>
  171. {
  172. Assert.That(GetVectorE0(threadState.V0), Is.EqualTo(result0));
  173. Assert.That(GetVectorE1(threadState.V0), Is.EqualTo(result1));
  174. });
  175. CompareAgainstUnicorn();
  176. }
  177. [TestCase(0x3FE66666u, false, 0x3F800000u)]
  178. [TestCase(0x3F99999Au, false, 0x3F800000u)]
  179. [TestCase(0x404CCCCDu, false, 0x40400000u)]
  180. [TestCase(0x40733333u, false, 0x40400000u)]
  181. [TestCase(0x3FC00000u, false, 0x3F800000u)]
  182. [TestCase(0x40200000u, false, 0x40000000u)]
  183. [TestCase(0x00000000u, false, 0x00000000u)]
  184. [TestCase(0x80000000u, false, 0x80000000u)]
  185. [TestCase(0x7F800000u, false, 0x7F800000u)]
  186. [TestCase(0xFF800000u, false, 0xFF800000u)]
  187. [TestCase(0xFF800001u, false, 0xFFC00001u, Ignore = "NaN test.")]
  188. [TestCase(0xFF800001u, true, 0x7FC00000u, Ignore = "NaN test.")]
  189. [TestCase(0x7FC00002u, false, 0x7FC00002u, Ignore = "NaN test.")]
  190. [TestCase(0x7FC00002u, true, 0x7FC00000u, Ignore = "NaN test.")]
  191. public void Frintm_S(uint a, bool defaultNaN, uint result)
  192. {
  193. uint opcode = 0x1E254020; // FRINTM S0, S1
  194. Vector128<float> v1 = MakeVectorE0(a);
  195. int fpcrTemp = 0x0;
  196. if (defaultNaN)
  197. {
  198. fpcrTemp = 0x2000000;
  199. }
  200. CpuThreadState threadState = SingleOpcode(opcode, v1: v1, fpcr: fpcrTemp);
  201. Assert.That(GetVectorE0(threadState.V0), Is.EqualTo(result));
  202. CompareAgainstUnicorn();
  203. }
  204. [TestCase(0x4E619820u, 0x3FF3333333333333ul, 0x3FF3333333333333ul, false, 0x3FF0000000000000ul, 0x3FF0000000000000ul)] // FRINTM V0.2D, V1.2D
  205. [TestCase(0x4E619820u, 0x3FFCCCCCCCCCCCCDul, 0x3FFCCCCCCCCCCCCDul, false, 0x3FF0000000000000ul, 0x3FF0000000000000ul)]
  206. [TestCase(0x4E219820u, 0x3F99999A3FE66666ul, 0x3F99999A3FE66666ul, false, 0x3F8000003F800000ul, 0x3F8000003F800000ul)] // FRINTM V0.4S, V1.4S
  207. [TestCase(0x0E219820u, 0x3F99999A3FE66666ul, 0x3F99999A3FE66666ul, false, 0x3F8000003F800000ul, 0x0000000000000000ul)] // FRINTM V0.2S, V1.2S
  208. [TestCase(0x0E219820u, 0x0000000080000000ul, 0x0000000000000000ul, false, 0x0000000080000000ul, 0x0000000000000000ul)]
  209. [TestCase(0x0E219820u, 0x7F800000FF800000ul, 0x0000000000000000ul, false, 0x7F800000FF800000ul, 0x0000000000000000ul)]
  210. [TestCase(0x0E219820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, false, 0xFFC000017FC00002ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  211. [TestCase(0x0E219820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, true, 0x7FC000007FC00000ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  212. public void Frintm_V(uint opcode, ulong a, ulong b, bool defaultNaN, ulong result0, ulong result1)
  213. {
  214. Vector128<float> v1 = MakeVectorE0E1(a, b);
  215. int fpcrTemp = 0x0;
  216. if (defaultNaN)
  217. {
  218. fpcrTemp = 0x2000000;
  219. }
  220. CpuThreadState threadState = SingleOpcode(opcode, v1: v1, fpcr: fpcrTemp);
  221. Assert.Multiple(() =>
  222. {
  223. Assert.That(GetVectorE0(threadState.V0), Is.EqualTo(result0));
  224. Assert.That(GetVectorE1(threadState.V0), Is.EqualTo(result1));
  225. });
  226. CompareAgainstUnicorn();
  227. }
  228. [TestCase(0x3FE66666u, false, 0x40000000u)]
  229. [TestCase(0x3F99999Au, false, 0x3F800000u)]
  230. [TestCase(0x404CCCCDu, false, 0x40400000u)]
  231. [TestCase(0x40733333u, false, 0x40800000u)]
  232. [TestCase(0x3FC00000u, false, 0x40000000u)]
  233. [TestCase(0x40200000u, false, 0x40000000u)]
  234. [TestCase(0x00000000u, false, 0x00000000u)]
  235. [TestCase(0x80000000u, false, 0x80000000u)]
  236. [TestCase(0x7F800000u, false, 0x7F800000u)]
  237. [TestCase(0xFF800000u, false, 0xFF800000u)]
  238. [TestCase(0xFF800001u, false, 0xFFC00001u, Ignore = "NaN test.")]
  239. [TestCase(0xFF800001u, true, 0x7FC00000u, Ignore = "NaN test.")]
  240. [TestCase(0x7FC00002u, false, 0x7FC00002u, Ignore = "NaN test.")]
  241. [TestCase(0x7FC00002u, true, 0x7FC00000u, Ignore = "NaN test.")]
  242. public void Frintn_S(uint a, bool defaultNaN, uint result)
  243. {
  244. uint opcode = 0x1E244020; // FRINTN S0, S1
  245. Vector128<float> v1 = MakeVectorE0(a);
  246. int fpcrTemp = 0x0;
  247. if (defaultNaN)
  248. {
  249. fpcrTemp = 0x2000000;
  250. }
  251. CpuThreadState threadState = SingleOpcode(opcode, v1: v1, fpcr: fpcrTemp);
  252. Assert.That(GetVectorE0(threadState.V0), Is.EqualTo(result));
  253. CompareAgainstUnicorn();
  254. }
  255. [TestCase(0x4E618820u, 0x3FF3333333333333ul, 0x3FF3333333333333ul, false, 0x3FF0000000000000ul, 0x3FF0000000000000ul)] // FRINTN V0.2D, V1.2D
  256. [TestCase(0x4E618820u, 0x3FFCCCCCCCCCCCCDul, 0x3FFCCCCCCCCCCCCDul, false, 0x4000000000000000ul, 0x4000000000000000ul)]
  257. [TestCase(0x4E618820u, 0x3FF8000000000000ul, 0x3FF8000000000000ul, false, 0x4000000000000000ul, 0x4000000000000000ul)]
  258. [TestCase(0x4E218820u, 0x3F99999A3FE66666ul, 0x3F99999A3FE66666ul, false, 0x3F80000040000000ul, 0x3F80000040000000ul)] // FRINTN V0.4S, V1.4S
  259. [TestCase(0x4E218820u, 0x3FC000003FC00000ul, 0x3FC000003FC00000ul, false, 0x4000000040000000ul, 0x4000000040000000ul)]
  260. [TestCase(0x0E218820u, 0x3F99999A3FE66666ul, 0x3F99999A3FE66666ul, false, 0x3F80000040000000ul, 0x0000000000000000ul)] // FRINTN V0.2S, V1.2S
  261. [TestCase(0x0E218820u, 0x3FC000003FC00000ul, 0x3FC000003FC00000ul, false, 0x4000000040000000ul, 0x0000000000000000ul)]
  262. [TestCase(0x0E218820u, 0x0000000080000000ul, 0x0000000000000000ul, false, 0x0000000080000000ul, 0x0000000000000000ul)]
  263. [TestCase(0x0E218820u, 0x7F800000FF800000ul, 0x0000000000000000ul, false, 0x7F800000FF800000ul, 0x0000000000000000ul)]
  264. [TestCase(0x0E218820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, false, 0xFFC000017FC00002ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  265. [TestCase(0x0E218820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, true, 0x7FC000007FC00000ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  266. public void Frintn_V(uint opcode, ulong a, ulong b, bool defaultNaN, ulong result0, ulong result1)
  267. {
  268. Vector128<float> v1 = MakeVectorE0E1(a, b);
  269. int fpcrTemp = 0x0;
  270. if (defaultNaN)
  271. {
  272. fpcrTemp = 0x2000000;
  273. }
  274. CpuThreadState threadState = SingleOpcode(opcode, v1: v1, fpcr: fpcrTemp);
  275. Assert.Multiple(() =>
  276. {
  277. Assert.That(GetVectorE0(threadState.V0), Is.EqualTo(result0));
  278. Assert.That(GetVectorE1(threadState.V0), Is.EqualTo(result1));
  279. });
  280. CompareAgainstUnicorn();
  281. }
  282. [TestCase(0x3FE66666u, false, 0x40000000u)]
  283. [TestCase(0x3F99999Au, false, 0x40000000u)]
  284. [TestCase(0x404CCCCDu, false, 0x40800000u)]
  285. [TestCase(0x40733333u, false, 0x40800000u)]
  286. [TestCase(0x3FC00000u, false, 0x40000000u)]
  287. [TestCase(0x40200000u, false, 0x40400000u)]
  288. [TestCase(0x00000000u, false, 0x00000000u)]
  289. [TestCase(0x80000000u, false, 0x80000000u)]
  290. [TestCase(0x7F800000u, false, 0x7F800000u)]
  291. [TestCase(0xFF800000u, false, 0xFF800000u)]
  292. [TestCase(0xFF800001u, false, 0xFFC00001u, Ignore = "NaN test.")]
  293. [TestCase(0xFF800001u, true, 0x7FC00000u, Ignore = "NaN test.")]
  294. [TestCase(0x7FC00002u, false, 0x7FC00002u, Ignore = "NaN test.")]
  295. [TestCase(0x7FC00002u, true, 0x7FC00000u, Ignore = "NaN test.")]
  296. public void Frintp_S(uint a, bool defaultNaN, uint result)
  297. {
  298. uint opcode = 0x1E24C020; // FRINTP S0, S1
  299. Vector128<float> v1 = MakeVectorE0(a);
  300. int fpcrTemp = 0x0;
  301. if (defaultNaN)
  302. {
  303. fpcrTemp = 0x2000000;
  304. }
  305. CpuThreadState threadState = SingleOpcode(opcode, v1: v1, fpcr: fpcrTemp);
  306. Assert.That(GetVectorE0(threadState.V0), Is.EqualTo(result));
  307. CompareAgainstUnicorn();
  308. }
  309. [TestCase(0x4EE18820u, 0x3FF3333333333333ul, 0x3FF3333333333333ul, false, 0x4000000000000000ul, 0x4000000000000000ul)] // FRINTP V0.2D, v1.2D
  310. [TestCase(0x4EE18820u, 0x3FFCCCCCCCCCCCCDul, 0x3FFCCCCCCCCCCCCDul, false, 0x4000000000000000ul, 0x4000000000000000ul)]
  311. [TestCase(0x4EA18820u, 0x3F99999A3FE66666ul, 0x3F99999A3FE66666ul, false, 0x4000000040000000ul, 0x4000000040000000ul)] // FRINTP V0.4S, v1.4S
  312. [TestCase(0x0EA18820u, 0x3F99999A3FE66666ul, 0x3F99999A3FE66666ul, false, 0x4000000040000000ul, 0x0000000000000000ul)] // FRINTP V0.2S, v1.2S
  313. [TestCase(0x0EA18820u, 0x0000000080000000ul, 0x0000000000000000ul, false, 0x0000000080000000ul, 0x0000000000000000ul)]
  314. [TestCase(0x0EA18820u, 0x7F800000FF800000ul, 0x0000000000000000ul, false, 0x7F800000FF800000ul, 0x0000000000000000ul)]
  315. [TestCase(0x0EA18820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, false, 0xFFC000017FC00002ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  316. [TestCase(0x0EA18820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, true, 0x7FC000007FC00000ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  317. public void Frintp_V(uint opcode, ulong a, ulong b, bool defaultNaN, ulong result0, ulong result1)
  318. {
  319. Vector128<float> v1 = MakeVectorE0E1(a, b);
  320. int fpcrTemp = 0x0;
  321. if (defaultNaN)
  322. {
  323. fpcrTemp = 0x2000000;
  324. }
  325. CpuThreadState threadState = SingleOpcode(opcode, v1: v1, fpcr: fpcrTemp);
  326. Assert.Multiple(() =>
  327. {
  328. Assert.That(GetVectorE0(threadState.V0), Is.EqualTo(result0));
  329. Assert.That(GetVectorE1(threadState.V0), Is.EqualTo(result1));
  330. });
  331. CompareAgainstUnicorn();
  332. }
  333. [TestCase(0x3FE66666u, 'N', false, 0x40000000u)]
  334. [TestCase(0x3F99999Au, 'N', false, 0x3F800000u)]
  335. [TestCase(0x404CCCCDu, 'P', false, 0x40800000u)]
  336. [TestCase(0x40733333u, 'P', false, 0x40800000u)]
  337. [TestCase(0x404CCCCDu, 'M', false, 0x40400000u)]
  338. [TestCase(0x40733333u, 'M', false, 0x40400000u)]
  339. [TestCase(0x3F99999Au, 'Z', false, 0x3F800000u)]
  340. [TestCase(0x3FE66666u, 'Z', false, 0x3F800000u)]
  341. [TestCase(0x00000000u, 'N', false, 0x00000000u)]
  342. [TestCase(0x00000000u, 'P', false, 0x00000000u)]
  343. [TestCase(0x00000000u, 'M', false, 0x00000000u)]
  344. [TestCase(0x00000000u, 'Z', false, 0x00000000u)]
  345. [TestCase(0x80000000u, 'N', false, 0x80000000u)]
  346. [TestCase(0x80000000u, 'P', false, 0x80000000u)]
  347. [TestCase(0x80000000u, 'M', false, 0x80000000u)]
  348. [TestCase(0x80000000u, 'Z', false, 0x80000000u)]
  349. [TestCase(0x7F800000u, 'N', false, 0x7F800000u)]
  350. [TestCase(0x7F800000u, 'P', false, 0x7F800000u)]
  351. [TestCase(0x7F800000u, 'M', false, 0x7F800000u)]
  352. [TestCase(0x7F800000u, 'Z', false, 0x7F800000u)]
  353. [TestCase(0xFF800000u, 'N', false, 0xFF800000u)]
  354. [TestCase(0xFF800000u, 'P', false, 0xFF800000u)]
  355. [TestCase(0xFF800000u, 'M', false, 0xFF800000u)]
  356. [TestCase(0xFF800000u, 'Z', false, 0xFF800000u)]
  357. [TestCase(0xFF800001u, 'N', false, 0xFFC00001u, Ignore = "NaN test.")]
  358. [TestCase(0xFF800001u, 'P', false, 0xFFC00001u, Ignore = "NaN test.")]
  359. [TestCase(0xFF800001u, 'M', false, 0xFFC00001u, Ignore = "NaN test.")]
  360. [TestCase(0xFF800001u, 'Z', false, 0xFFC00001u, Ignore = "NaN test.")]
  361. [TestCase(0xFF800001u, 'N', true, 0x7FC00000u, Ignore = "NaN test.")]
  362. [TestCase(0xFF800001u, 'P', true, 0x7FC00000u, Ignore = "NaN test.")]
  363. [TestCase(0xFF800001u, 'M', true, 0x7FC00000u, Ignore = "NaN test.")]
  364. [TestCase(0xFF800001u, 'Z', true, 0x7FC00000u, Ignore = "NaN test.")]
  365. [TestCase(0x7FC00002u, 'N', false, 0x7FC00002u, Ignore = "NaN test.")]
  366. [TestCase(0x7FC00002u, 'P', false, 0x7FC00002u, Ignore = "NaN test.")]
  367. [TestCase(0x7FC00002u, 'M', false, 0x7FC00002u, Ignore = "NaN test.")]
  368. [TestCase(0x7FC00002u, 'Z', false, 0x7FC00002u, Ignore = "NaN test.")]
  369. [TestCase(0x7FC00002u, 'N', true, 0x7FC00000u, Ignore = "NaN test.")]
  370. [TestCase(0x7FC00002u, 'P', true, 0x7FC00000u, Ignore = "NaN test.")]
  371. [TestCase(0x7FC00002u, 'M', true, 0x7FC00000u, Ignore = "NaN test.")]
  372. [TestCase(0x7FC00002u, 'Z', true, 0x7FC00000u, Ignore = "NaN test.")]
  373. public void Frintx_S(uint a, char roundMode, bool defaultNaN, uint result)
  374. {
  375. uint opcode = 0x1E274020; // FRINTX S0, S1
  376. Vector128<float> v1 = MakeVectorE0(a);
  377. int fpcrTemp = 0x0;
  378. switch (roundMode)
  379. {
  380. case 'N': fpcrTemp = 0x0; break;
  381. case 'P': fpcrTemp = 0x400000; break;
  382. case 'M': fpcrTemp = 0x800000; break;
  383. case 'Z': fpcrTemp = 0xC00000; break;
  384. }
  385. if (defaultNaN)
  386. {
  387. fpcrTemp |= 1 << 25;
  388. }
  389. CpuThreadState threadState = SingleOpcode(opcode, v1: v1, fpcr: fpcrTemp);
  390. Assert.That(GetVectorE0(threadState.V0), Is.EqualTo(result));
  391. CompareAgainstUnicorn();
  392. }
  393. [TestCase(0x6E619820u, 0x3FF3333333333333ul, 0x3FF3333333333333ul, 'N', false, 0x3FF0000000000000ul, 0x3FF0000000000000ul)] // FRINTX V0.2D, V1.2D
  394. [TestCase(0x6E619820u, 0x3FFCCCCCCCCCCCCDul, 0x3FFCCCCCCCCCCCCDul, 'N', false, 0x4000000000000000ul, 0x4000000000000000ul)]
  395. [TestCase(0x6E619820u, 0x3FF3333333333333ul, 0x3FF3333333333333ul, 'P', false, 0x4000000000000000ul, 0x4000000000000000ul)]
  396. [TestCase(0x6E619820u, 0x3FFCCCCCCCCCCCCDul, 0x3FFCCCCCCCCCCCCDul, 'P', false, 0x4000000000000000ul, 0x4000000000000000ul)]
  397. [TestCase(0x6E619820u, 0x3FF3333333333333ul, 0x3FF3333333333333ul, 'M', false, 0x3FF0000000000000ul, 0x3FF0000000000000ul)]
  398. [TestCase(0x6E619820u, 0x3FFCCCCCCCCCCCCDul, 0x3FFCCCCCCCCCCCCDul, 'M', false, 0x3FF0000000000000ul, 0x3FF0000000000000ul)]
  399. [TestCase(0x6E619820u, 0x3FF3333333333333ul, 0x3FF3333333333333ul, 'Z', false, 0x3FF0000000000000ul, 0x3FF0000000000000ul)]
  400. [TestCase(0x6E619820u, 0x3FFCCCCCCCCCCCCDul, 0x3FFCCCCCCCCCCCCDul, 'Z', false, 0x3FF0000000000000ul, 0x3FF0000000000000ul)]
  401. [TestCase(0x6E219820u, 0x3F99999A3FE66666ul, 0x3F99999A3FE66666ul, 'N', false, 0x3F80000040000000ul, 0x3F80000040000000ul)] // FRINTX V0.4S, V1.4S
  402. [TestCase(0x6E219820u, 0x3F99999A3FE66666ul, 0x3F99999A3FE66666ul, 'P', false, 0x4000000040000000ul, 0x4000000040000000ul)]
  403. [TestCase(0x6E219820u, 0x3F99999A3FE66666ul, 0x3F99999A3FE66666ul, 'M', false, 0x3F8000003F800000ul, 0x3F8000003F800000ul)]
  404. [TestCase(0x6E219820u, 0x3F99999A3FE66666ul, 0x3F99999A3FE66666ul, 'Z', false, 0x3F8000003F800000ul, 0x3F8000003F800000ul)]
  405. [TestCase(0x2E219820u, 0x3F99999A3FE66666ul, 0x3F99999A3FE66666ul, 'N', false, 0x3F80000040000000ul, 0x0000000000000000ul)] // FRINTX V0.2S, V1.2S
  406. [TestCase(0x2E219820u, 0x3F99999A3FE66666ul, 0x3F99999A3FE66666ul, 'P', false, 0x4000000040000000ul, 0x0000000000000000ul)]
  407. [TestCase(0x2E219820u, 0x3F99999A3FE66666ul, 0x3F99999A3FE66666ul, 'M', false, 0x3F8000003F800000ul, 0x0000000000000000ul)]
  408. [TestCase(0x2E219820u, 0x3F99999A3FE66666ul, 0x3F99999A3FE66666ul, 'Z', false, 0x3F8000003F800000ul, 0x0000000000000000ul)]
  409. [TestCase(0x2E219820u, 0x0000000080000000ul, 0x0000000000000000ul, 'N', false, 0x0000000080000000ul, 0x0000000000000000ul)]
  410. [TestCase(0x2E219820u, 0x0000000080000000ul, 0x0000000000000000ul, 'P', false, 0x0000000080000000ul, 0x0000000000000000ul)]
  411. [TestCase(0x2E219820u, 0x0000000080000000ul, 0x0000000000000000ul, 'M', false, 0x0000000080000000ul, 0x0000000000000000ul)]
  412. [TestCase(0x2E219820u, 0x0000000080000000ul, 0x0000000000000000ul, 'Z', false, 0x0000000080000000ul, 0x0000000000000000ul)]
  413. [TestCase(0x2E219820u, 0x7F800000FF800000ul, 0x0000000000000000ul, 'N', false, 0x7F800000FF800000ul, 0x0000000000000000ul)]
  414. [TestCase(0x2E219820u, 0x7F800000FF800000ul, 0x0000000000000000ul, 'P', false, 0x7F800000FF800000ul, 0x0000000000000000ul)]
  415. [TestCase(0x2E219820u, 0x7F800000FF800000ul, 0x0000000000000000ul, 'M', false, 0x7F800000FF800000ul, 0x0000000000000000ul)]
  416. [TestCase(0x2E219820u, 0x7F800000FF800000ul, 0x0000000000000000ul, 'Z', false, 0x7F800000FF800000ul, 0x0000000000000000ul)]
  417. [TestCase(0x2E219820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'N', false, 0xFFC000017FC00002ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  418. [TestCase(0x2E219820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'P', false, 0xFFC000017FC00002ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  419. [TestCase(0x2E219820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'M', false, 0xFFC000017FC00002ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  420. [TestCase(0x2E219820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'Z', false, 0xFFC000017FC00002ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  421. [TestCase(0x2E219820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'N', true, 0x7FC000007FC00000ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  422. [TestCase(0x2E219820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'P', true, 0x7FC000007FC00000ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  423. [TestCase(0x2E219820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'M', true, 0x7FC000007FC00000ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  424. [TestCase(0x2E219820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, 'Z', true, 0x7FC000007FC00000ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  425. public void Frintx_V(uint opcode, ulong a, ulong b, char roundMode, bool defaultNaN, ulong result0, ulong result1)
  426. {
  427. Vector128<float> v1 = MakeVectorE0E1(a, b);
  428. int fpcrTemp = 0x0;
  429. switch (roundMode)
  430. {
  431. case 'N': fpcrTemp = 0x0; break;
  432. case 'P': fpcrTemp = 0x400000; break;
  433. case 'M': fpcrTemp = 0x800000; break;
  434. case 'Z': fpcrTemp = 0xC00000; break;
  435. }
  436. if (defaultNaN)
  437. {
  438. fpcrTemp |= 1 << 25;
  439. }
  440. CpuThreadState threadState = SingleOpcode(opcode, v1: v1, fpcr: fpcrTemp);
  441. Assert.Multiple(() =>
  442. {
  443. Assert.That(GetVectorE0(threadState.V0), Is.EqualTo(result0));
  444. Assert.That(GetVectorE1(threadState.V0), Is.EqualTo(result1));
  445. });
  446. CompareAgainstUnicorn();
  447. }
  448. [TestCase(0xBFF33333u, false, 0xBF800000u)]
  449. [TestCase(0x40200000u, false, 0x40000000u)]
  450. [TestCase(0xFF800001u, false, 0xFFC00001u, Ignore = "NaN test.")]
  451. [TestCase(0xFF800001u, true, 0x7FC00000u, Ignore = "NaN test.")]
  452. [TestCase(0x7FC00002u, false, 0x7FC00002u, Ignore = "NaN test.")]
  453. [TestCase(0x7FC00002u, true, 0x7FC00000u, Ignore = "NaN test.")]
  454. public void Frintz_S(uint a, bool defaultNaN, uint result)
  455. {
  456. uint opcode = 0x1E25C020; // FRINTZ S0, S1
  457. Vector128<float> v1 = MakeVectorE0(a);
  458. int fpcrTemp = 0x0;
  459. if (defaultNaN)
  460. {
  461. fpcrTemp = 0x2000000;
  462. }
  463. CpuThreadState threadState = SingleOpcode(opcode, v1: v1, fpcr: fpcrTemp);
  464. Assert.That(GetVectorE0(threadState.V0), Is.EqualTo(result));
  465. CompareAgainstUnicorn();
  466. }
  467. [TestCase(0x4EE19820u, 0xBFF999999999999Aul, 0xBFF999999999999Aul, false, 0xBFF0000000000000ul, 0xBFF0000000000000ul)] // FRINTZ V0.2D, V1.2D
  468. [TestCase(0x4EE19820u, 0x4004000000000000ul, 0x4004000000000000ul, false, 0x4000000000000000ul, 0x4000000000000000ul)]
  469. [TestCase(0x0EA19820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, false, 0xFFC000017FC00002ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  470. [TestCase(0x0EA19820u, 0xFF8000017FC00002ul, 0x0000000000000000ul, true, 0x7FC000007FC00000ul, 0x0000000000000000ul, Ignore = "NaN test.")]
  471. public void Frintz_V(uint opcode, ulong a, ulong b, bool defaultNaN, ulong result0, ulong result1)
  472. {
  473. Vector128<float> v1 = MakeVectorE0E1(a, b);
  474. int fpcrTemp = 0x0;
  475. if (defaultNaN)
  476. {
  477. fpcrTemp = 0x2000000;
  478. }
  479. CpuThreadState threadState = SingleOpcode(opcode, v1: v1, fpcr: fpcrTemp);
  480. Assert.Multiple(() =>
  481. {
  482. Assert.That(GetVectorE0(threadState.V0), Is.EqualTo(result0));
  483. Assert.That(GetVectorE1(threadState.V0), Is.EqualTo(result1));
  484. });
  485. CompareAgainstUnicorn();
  486. }
  487. }
  488. }