暂无描述
您最多选择25个主题 主题必须以字母或数字开头,可以包含连字符 (-),并且长度不得超过35个字符

AssertHelper.cs 19KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453
  1. using System;
  2. using System.Numerics;
  3. using NUnit.Framework;
  4. #if BURST_INTERNAL
  5. using System.Text;
  6. using Unity.Burst.Intrinsics;
  7. using Unity.Mathematics;
  8. #endif
  9. namespace Burst.Compiler.IL.Tests.Helpers
  10. {
  11. internal static class AssertHelper
  12. {
  13. #if BURST_INTERNAL
  14. // Workaround for Mono broken Equals() on v64/v128/v256
  15. private static bool AreVectorsEqual(v64 a, v64 b)
  16. {
  17. return a.SLong0 == b.SLong0;
  18. }
  19. private static bool AreVectorsEqual(v128 a, v128 b)
  20. {
  21. return a.SLong0 == b.SLong0 && a.SLong1 == b.SLong1;
  22. }
  23. private static bool AreVectorsEqual(v256 a, v256 b)
  24. {
  25. return AreVectorsEqual(a.Lo128, b.Lo128) && AreVectorsEqual(a.Hi128, b.Hi128);
  26. }
  27. #endif
  28. /// <summary>
  29. /// AreEqual handling specially precision for float and intrinsic vector types
  30. /// </summary>
  31. /// <param name="expected">The expected result</param>
  32. /// <param name="result">the actual result</param>
  33. public static void AreEqual(object expected, object result, int maxUlp)
  34. {
  35. if (expected is float && result is float)
  36. {
  37. var expectedF = (float)expected;
  38. var resultF = (float)result;
  39. Assert.True(NearEqualFloat(expectedF, resultF, maxUlp, out var ulp), $"Expected: {expectedF} != Result: {resultF}, ULPs: {ulp}");
  40. return;
  41. }
  42. if (expected is double && result is double)
  43. {
  44. var expectedF = (double)expected;
  45. var resultF = (double)result;
  46. Assert.True(NearEqualDouble(expectedF, resultF, maxUlp, out var ulp), $"Expected: {expectedF} != Result: {resultF}, ULPs: {ulp}");
  47. return;
  48. }
  49. #if BURST_INTERNAL
  50. if (expected is float2 && result is float2)
  51. {
  52. var expectedF = (float2)expected;
  53. var resultF = (float2)result;
  54. Assert.True(NearEqualFloat(expectedF.x, resultF.x, maxUlp, out var ulp), $"Expected: {expectedF}.x != Result: {resultF}.x, ULPs: {ulp}");
  55. Assert.True(NearEqualFloat(expectedF.y, resultF.y, maxUlp, out ulp), $"Expected: {expectedF}.y != Result: {resultF}.y, ULPs: {ulp}");
  56. return;
  57. }
  58. if (expected is float3 && result is float3)
  59. {
  60. var expectedF = (float3)expected;
  61. var resultF = (float3)result;
  62. Assert.True(NearEqualFloat(expectedF.x, resultF.x, maxUlp, out var ulp), $"Expected: {expectedF}.x != Result: {resultF}.x, ULPs: {ulp}");
  63. Assert.True(NearEqualFloat(expectedF.y, resultF.y, maxUlp, out ulp), $"Expected: {expectedF}.y != Result: {resultF}.y, ULPs: {ulp}");
  64. Assert.True(NearEqualFloat(expectedF.z, resultF.z, maxUlp, out ulp), $"Expected: {expectedF}.z != Result: {resultF}.z, ULPs: {ulp}");
  65. return;
  66. }
  67. if (expected is float4 && result is float4)
  68. {
  69. var expectedF = (float4)expected;
  70. var resultF = (float4)result;
  71. Assert.True(NearEqualFloat(expectedF.x, resultF.x, maxUlp, out var ulp), $"Expected: {expectedF}.x != Result: {resultF}.x, ULPs: {ulp}");
  72. Assert.True(NearEqualFloat(expectedF.y, resultF.y, maxUlp, out ulp), $"Expected: {expectedF}.y != Result: {resultF}.y, ULPs: {ulp}");
  73. Assert.True(NearEqualFloat(expectedF.z, resultF.z, maxUlp, out ulp), $"Expected: {expectedF}.z != Result: {resultF}.z, ULPs: {ulp}");
  74. Assert.True(NearEqualFloat(expectedF.w, resultF.w, maxUlp, out ulp), $"Expected: {expectedF}.w != Result: {resultF}.w, ULPs: {ulp}");
  75. return;
  76. }
  77. if (expected is float4x2 && result is float4x2)
  78. {
  79. var expectedF = (float4x2)expected;
  80. var resultF = (float4x2)result;
  81. Assert.True(NearEqualFloat(expectedF.c0.x, resultF.c0.x, maxUlp, out var ulp), $"Expected: {expectedF}.c0.x != Result: {resultF}.c0.x, ULPs: {ulp}");
  82. Assert.True(NearEqualFloat(expectedF.c0.y, resultF.c0.y, maxUlp, out ulp), $"Expected: {expectedF}.c0.y != Result: {resultF}.c0.y, ULPs: {ulp}");
  83. Assert.True(NearEqualFloat(expectedF.c0.z, resultF.c0.z, maxUlp, out ulp), $"Expected: {expectedF}.c0.z != Result: {resultF}.c0.z, ULPs: {ulp}");
  84. Assert.True(NearEqualFloat(expectedF.c0.w, resultF.c0.w, maxUlp, out ulp), $"Expected: {expectedF}.c0.w != Result: {resultF}.c0.w, ULPs: {ulp}");
  85. Assert.True(NearEqualFloat(expectedF.c1.x, resultF.c1.x, maxUlp, out ulp), $"Expected: {expectedF}.c1.x != Result: {resultF}.c1.x, ULPs: {ulp}");
  86. Assert.True(NearEqualFloat(expectedF.c1.y, resultF.c1.y, maxUlp, out ulp), $"Expected: {expectedF}.c1.y != Result: {resultF}.c1.y, ULPs: {ulp}");
  87. Assert.True(NearEqualFloat(expectedF.c1.z, resultF.c1.z, maxUlp, out ulp), $"Expected: {expectedF}.c1.z != Result: {resultF}.c1.z, ULPs: {ulp}");
  88. Assert.True(NearEqualFloat(expectedF.c1.w, resultF.c1.w, maxUlp, out ulp), $"Expected: {expectedF}.c1.w != Result: {resultF}.c1.w, ULPs: {ulp}");
  89. return;
  90. }
  91. if (expected is double2 && result is double2)
  92. {
  93. var expectedF = (double2)expected;
  94. var resultF = (double2)result;
  95. Assert.True(NearEqualDouble(expectedF.x, resultF.x, maxUlp, out var ulp), $"Expected: {expectedF}.x != Result: {resultF}.x, ULPs: {ulp}");
  96. Assert.True(NearEqualDouble(expectedF.y, resultF.y, maxUlp, out ulp), $"Expected: {expectedF}.y != Result: {resultF}.y, ULPs: {ulp}");
  97. return;
  98. }
  99. if (expected is double3 && result is double3)
  100. {
  101. var expectedF = (double3)expected;
  102. var resultF = (double3)result;
  103. Assert.True(NearEqualDouble(expectedF.x, resultF.x, maxUlp, out var ulp), $"Expected: {expectedF}.x != Result: {resultF}.x, ULPs: {ulp}");
  104. Assert.True(NearEqualDouble(expectedF.y, resultF.y, maxUlp, out ulp), $"Expected: {expectedF}.y != Result: {resultF}.y, ULPs: {ulp}");
  105. Assert.True(NearEqualDouble(expectedF.z, resultF.z, maxUlp, out ulp), $"Expected: {expectedF}.z != Result: {resultF}.z, ULPs: {ulp}");
  106. return;
  107. }
  108. if (expected is double4 && result is double4)
  109. {
  110. var expectedF = (double4)expected;
  111. var resultF = (double4)result;
  112. Assert.True(NearEqualDouble(expectedF.x, resultF.x, maxUlp, out var ulp), $"Expected: {expectedF}.x != Result: {resultF}.x, ULPs: {ulp}");
  113. Assert.True(NearEqualDouble(expectedF.y, resultF.y, maxUlp, out ulp), $"Expected: {expectedF}.y != Result: {resultF}.y, ULPs: {ulp}");
  114. Assert.True(NearEqualDouble(expectedF.z, resultF.z, maxUlp, out ulp), $"Expected: {expectedF}.z != Result: {resultF}.z, ULPs: {ulp}");
  115. Assert.True(NearEqualDouble(expectedF.w, resultF.w, maxUlp, out ulp), $"Expected: {expectedF}.w != Result: {resultF}.w, ULPs: {ulp}");
  116. return;
  117. }
  118. if (expected is v64 && result is v64)
  119. {
  120. if (!AreVectorsEqual((v64)expected, (v64)result))
  121. {
  122. Assert.Fail(FormatVectorFailure64((v64)expected, (v64)result));
  123. }
  124. return;
  125. }
  126. if (expected is v128 && result is v128)
  127. {
  128. if (!AreVectorsEqual((v128)expected, (v128)result))
  129. {
  130. Assert.Fail(FormatVectorFailure128((v128)expected, (v128)result));
  131. }
  132. return;
  133. }
  134. if (expected is v64x2 && result is v64x2)
  135. {
  136. if (!AreVectorsEqual(((v64x2)expected).v64_0, ((v64x2)result).v64_0))
  137. {
  138. Assert.Fail("First component of v64x2 differs: " + FormatVectorFailure64(((v64x2)expected).v64_0, ((v64x2)result).v64_0));
  139. }
  140. if (!AreVectorsEqual(((v64x2)expected).v64_1, ((v64x2)result).v64_1))
  141. {
  142. Assert.Fail("Second component of v64x2 differs: " + FormatVectorFailure64(((v64x2)expected).v64_1, ((v64x2)result).v64_1));
  143. }
  144. return;
  145. }
  146. if (expected is v64x3 && result is v64x3)
  147. {
  148. if (!AreVectorsEqual(((v64x3)expected).v64_0, ((v64x3)result).v64_0))
  149. {
  150. Assert.Fail("First component of v64x3 differs: " + FormatVectorFailure64(((v64x3)expected).v64_0, ((v64x3)result).v64_0));
  151. }
  152. if (!AreVectorsEqual(((v64x3)expected).v64_1, ((v64x3)result).v64_1))
  153. {
  154. Assert.Fail("Second component of v64x3 differs: " + FormatVectorFailure64(((v64x3)expected).v64_1, ((v64x3)result).v64_1));
  155. }
  156. if (!AreVectorsEqual(((v64x3)expected).v64_2, ((v64x3)result).v64_2))
  157. {
  158. Assert.Fail("Third component of v64x3 differs: " + FormatVectorFailure64(((v64x3)expected).v64_2, ((v64x3)result).v64_2));
  159. }
  160. return;
  161. }
  162. if (expected is v64x4 && result is v64x4)
  163. {
  164. if (!AreVectorsEqual(((v64x4)expected).v64_0, ((v64x4)result).v64_0))
  165. {
  166. Assert.Fail("First component of v64x4 differs: " + FormatVectorFailure64(((v64x4)expected).v64_0, ((v64x4)result).v64_0));
  167. }
  168. if (!AreVectorsEqual(((v64x4)expected).v64_1, ((v64x4)result).v64_1))
  169. {
  170. Assert.Fail("Second component of v64x4 differs: " + FormatVectorFailure64(((v64x4)expected).v64_1, ((v64x4)result).v64_1));
  171. }
  172. if (!AreVectorsEqual(((v64x4)expected).v64_2, ((v64x4)result).v64_2))
  173. {
  174. Assert.Fail("Third component of v64x4 differs: " + FormatVectorFailure64(((v64x4)expected).v64_2, ((v64x4)result).v64_2));
  175. }
  176. if (!AreVectorsEqual(((v64x4)expected).v64_3, ((v64x4)result).v64_3))
  177. {
  178. Assert.Fail("Fourth component of v64x4 differs: " + FormatVectorFailure64(((v64x4)expected).v64_3, ((v64x4)result).v64_3));
  179. }
  180. return;
  181. }
  182. if (expected is v128x2 && result is v128x2)
  183. {
  184. if (!AreVectorsEqual(((v128x2)expected).v128_0, ((v128x2)result).v128_0))
  185. {
  186. Assert.Fail("First component of v128x2 differs: " + FormatVectorFailure128(((v128x2)expected).v128_0, ((v128x2)result).v128_0));
  187. }
  188. if (!AreVectorsEqual(((v128x2)expected).v128_1, ((v128x2)result).v128_1))
  189. {
  190. Assert.Fail("Second component of v128x2 differs: " + FormatVectorFailure128(((v128x2)expected).v128_1, ((v128x2)result).v128_1));
  191. }
  192. return;
  193. }
  194. if (expected is v128x3 && result is v128x3)
  195. {
  196. if (!AreVectorsEqual(((v128x3)expected).v128_0, ((v128x3)result).v128_0))
  197. {
  198. Assert.Fail("First component of v128x3 differs: " + FormatVectorFailure128(((v128x3)expected).v128_0, ((v128x3)result).v128_0));
  199. }
  200. if (!AreVectorsEqual(((v128x3)expected).v128_1, ((v128x3)result).v128_1))
  201. {
  202. Assert.Fail("Second component of v128x3 differs: " + FormatVectorFailure128(((v128x3)expected).v128_1, ((v128x3)result).v128_1));
  203. }
  204. if (!AreVectorsEqual(((v128x3)expected).v128_2, ((v128x3)result).v128_2))
  205. {
  206. Assert.Fail("Third component of v128x3 differs: " + FormatVectorFailure128(((v128x3)expected).v128_2, ((v128x3)result).v128_2));
  207. }
  208. return;
  209. }
  210. if (expected is v128x4 && result is v128x4)
  211. {
  212. if (!AreVectorsEqual(((v128x4)expected).v128_0, ((v128x4)result).v128_0))
  213. {
  214. Assert.Fail("First component of v128x4 differs: " + FormatVectorFailure128(((v128x4)expected).v128_0, ((v128x4)result).v128_0));
  215. }
  216. if (!AreVectorsEqual(((v128x4)expected).v128_1, ((v128x4)result).v128_1))
  217. {
  218. Assert.Fail("Second component of v128x4 differs: " + FormatVectorFailure128(((v128x4)expected).v128_1, ((v128x4)result).v128_1));
  219. }
  220. if (!AreVectorsEqual(((v128x4)expected).v128_2, ((v128x4)result).v128_2))
  221. {
  222. Assert.Fail("Third component of v128x4 differs: " + FormatVectorFailure128(((v128x4)expected).v128_2, ((v128x4)result).v128_2));
  223. }
  224. if (!AreVectorsEqual(((v128x4)expected).v128_3, ((v128x4)result).v128_3))
  225. {
  226. Assert.Fail("Fourth component of v128x4 differs: " + FormatVectorFailure128(((v128x4)expected).v128_3, ((v128x4)result).v128_3));
  227. }
  228. return;
  229. }
  230. if (expected is v256 && result is v256)
  231. {
  232. if (!AreVectorsEqual((v256)expected, (v256)result))
  233. {
  234. Assert.Fail(FormatVectorFailure256((v256)expected, (v256)result));
  235. }
  236. return;
  237. }
  238. #endif
  239. Assert.AreEqual(expected, result);
  240. }
  241. #if BURST_INTERNAL
  242. private unsafe static string FormatVectorFailure64(v64 expected, v64 result)
  243. {
  244. var b = new StringBuilder();
  245. b.AppendLine("64-bit vectors differ!");
  246. b.AppendLine("Expected:");
  247. FormatVector(b, (void*)&expected, 8);
  248. b.AppendLine();
  249. b.AppendLine("But was :");
  250. FormatVector(b, (void*)&result, 8);
  251. b.AppendLine();
  252. return b.ToString();
  253. }
  254. private unsafe static string FormatVectorFailure128(v128 expected, v128 result)
  255. {
  256. var b = new StringBuilder();
  257. b.AppendLine("128-bit vectors differ!");
  258. b.AppendLine("Expected:");
  259. FormatVector(b, (void*)&expected, 16);
  260. b.AppendLine();
  261. b.AppendLine("But was :");
  262. FormatVector(b, (void*)&result, 16);
  263. b.AppendLine();
  264. return b.ToString();
  265. }
  266. private unsafe static string FormatVectorFailure256(v256 expected, v256 result)
  267. {
  268. var b = new StringBuilder();
  269. b.AppendLine("256-bit vectors differ!");
  270. b.AppendLine("Expected:");
  271. FormatVector(b, (void*)&expected, 32);
  272. b.AppendLine();
  273. b.AppendLine("But was :");
  274. FormatVector(b, (void*)&result, 32);
  275. b.AppendLine();
  276. return b.ToString();
  277. }
  278. private unsafe static void FormatVector(StringBuilder b, void* v, int bytes)
  279. {
  280. b.Append("Double: ");
  281. for (int i = 0; i < bytes / 8; ++i)
  282. {
  283. if (i > 0)
  284. b.AppendFormat(" | ");
  285. b.AppendFormat("{0:G17}", ((double*)v)[i]);
  286. }
  287. b.AppendLine();
  288. b.Append("Float : ");
  289. for (int i = 0; i < bytes / 4; ++i)
  290. {
  291. if (i > 0)
  292. b.AppendFormat(" | ");
  293. b.AppendFormat("{0:G15}", ((float*)v)[i]);
  294. }
  295. b.AppendLine();
  296. b.Append("UInt32: ");
  297. for (int i = 0; i < bytes / 4; ++i)
  298. {
  299. if (i > 0)
  300. b.AppendFormat(" | ");
  301. b.AppendFormat("{0:X8}", ((uint*)v)[i]);
  302. }
  303. b.AppendLine();
  304. }
  305. #endif
  306. /// <summary>
  307. /// The value for which all absolute numbers smaller than are considered equal to zero.
  308. /// </summary>
  309. public const float ZeroTolerance = 4 * float.Epsilon;
  310. /// <summary>
  311. /// The value for which all absolute numbers smaller than are considered equal to zero.
  312. /// </summary>
  313. public const double ZeroToleranceDouble = 4 * double.Epsilon;
  314. public static bool NearEqualFloat(float a, float b, int maxUlp, out int ulp)
  315. {
  316. ulp = 0;
  317. if (Math.Abs(a - b) < ZeroTolerance) return true;
  318. ulp = GetUlpFloatDistance(a, b);
  319. return ulp <= maxUlp;
  320. }
  321. public static unsafe int GetUlpFloatDistance(float a, float b)
  322. {
  323. // Save work if the floats are equal.
  324. // Also handles +0 == -0
  325. if (a == b)
  326. {
  327. return 0;
  328. }
  329. if (float.IsNaN(a) && float.IsNaN(b))
  330. {
  331. return 0;
  332. }
  333. if (float.IsInfinity(a) && float.IsInfinity(b))
  334. {
  335. return 0;
  336. }
  337. int aInt = *(int*)&a;
  338. int bInt = *(int*)&b;
  339. if ((aInt < 0) != (bInt < 0)) return int.MaxValue;
  340. // Because we would have an overflow below while trying to do -(int.MinValue)
  341. // We modify it here so that we don't overflow
  342. var ulp = (long)aInt - bInt;
  343. if (ulp <= int.MinValue) return int.MaxValue;
  344. if (ulp > int.MaxValue) return int.MaxValue;
  345. // We know for sure that numbers are in the range ]int.MinValue, int.MaxValue]
  346. return (int)Math.Abs(ulp);
  347. }
  348. public static bool NearEqualDouble(double a, double b, int maxUlp, out long ulp)
  349. {
  350. ulp = 0;
  351. if (Math.Abs(a - b) < ZeroTolerance) return true;
  352. ulp = GetUlpDoubleDistance(a, b);
  353. return ulp <= maxUlp;
  354. }
  355. private static readonly long LongMinValue = long.MinValue;
  356. private static readonly long LongMaxValue = long.MaxValue;
  357. public static unsafe long GetUlpDoubleDistance(double a, double b)
  358. {
  359. // Save work if the floats are equal.
  360. // Also handles +0 == -0
  361. if (a == b)
  362. {
  363. return 0;
  364. }
  365. if (double.IsNaN(a) && double.IsNaN(b))
  366. {
  367. return 0;
  368. }
  369. if (double.IsInfinity(a) && double.IsInfinity(b))
  370. {
  371. return 0;
  372. }
  373. long aInt = *(long*)&a;
  374. long bInt = *(long*)&b;
  375. if ((aInt < 0) != (bInt < 0)) return long.MaxValue;
  376. var ulp = aInt - bInt;
  377. if (ulp <= LongMinValue) return long.MaxValue;
  378. if (ulp > LongMaxValue) return long.MaxValue;
  379. return Math.Abs((long)ulp);
  380. }
  381. /// <summary>
  382. /// Determines whether the specified value is close to zero (0.0f).
  383. /// </summary>
  384. /// <param name="a">The floating value.</param>
  385. /// <returns><c>true</c> if the specified value is close to zero (0.0f); otherwise, <c>false</c>.</returns>
  386. public static bool IsZero(float a)
  387. {
  388. return Math.Abs(a) < ZeroTolerance;
  389. }
  390. /// <summary>
  391. /// Determines whether the specified value is close to zero (0.0f).
  392. /// </summary>
  393. /// <param name="a">The floating value.</param>
  394. /// <returns><c>true</c> if the specified value is close to zero (0.0f); otherwise, <c>false</c>.</returns>
  395. public static bool IsZero(double a)
  396. {
  397. return Math.Abs(a) < ZeroToleranceDouble;
  398. }
  399. }
  400. }