No Description
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

AssertHelper.cs 14KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351
  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 v256 && result is v256)
  135. {
  136. if (!AreVectorsEqual((v256)expected, (v256)result))
  137. {
  138. Assert.Fail(FormatVectorFailure256((v256)expected, (v256)result));
  139. }
  140. return;
  141. }
  142. #endif
  143. Assert.AreEqual(expected, result);
  144. }
  145. #if BURST_INTERNAL
  146. private unsafe static string FormatVectorFailure64(v64 expected, v64 result)
  147. {
  148. var b = new StringBuilder();
  149. b.AppendLine("64-bit vectors differ!");
  150. b.AppendLine("Expected:");
  151. FormatVector(b, (void*)&expected, 8);
  152. b.AppendLine();
  153. b.AppendLine("But was :");
  154. FormatVector(b, (void*)&result, 8);
  155. b.AppendLine();
  156. return b.ToString();
  157. }
  158. private unsafe static string FormatVectorFailure128(v128 expected, v128 result)
  159. {
  160. var b = new StringBuilder();
  161. b.AppendLine("128-bit vectors differ!");
  162. b.AppendLine("Expected:");
  163. FormatVector(b, (void*)&expected, 16);
  164. b.AppendLine();
  165. b.AppendLine("But was :");
  166. FormatVector(b, (void*)&result, 16);
  167. b.AppendLine();
  168. return b.ToString();
  169. }
  170. private unsafe static string FormatVectorFailure256(v256 expected, v256 result)
  171. {
  172. var b = new StringBuilder();
  173. b.AppendLine("256-bit vectors differ!");
  174. b.AppendLine("Expected:");
  175. FormatVector(b, (void*)&expected, 32);
  176. b.AppendLine();
  177. b.AppendLine("But was :");
  178. FormatVector(b, (void*)&result, 32);
  179. b.AppendLine();
  180. return b.ToString();
  181. }
  182. private unsafe static void FormatVector(StringBuilder b, void* v, int bytes)
  183. {
  184. b.Append("Double: ");
  185. for (int i = 0; i < bytes / 8; ++i)
  186. {
  187. if (i > 0)
  188. b.AppendFormat(" | ");
  189. b.AppendFormat("{0:G17}", ((double*)v)[i]);
  190. }
  191. b.AppendLine();
  192. b.Append("Float : ");
  193. for (int i = 0; i < bytes / 4; ++i)
  194. {
  195. if (i > 0)
  196. b.AppendFormat(" | ");
  197. b.AppendFormat("{0:G15}", ((float*)v)[i]);
  198. }
  199. b.AppendLine();
  200. b.Append("UInt32: ");
  201. for (int i = 0; i < bytes / 4; ++i)
  202. {
  203. if (i > 0)
  204. b.AppendFormat(" | ");
  205. b.AppendFormat("{0:X8}", ((uint*)v)[i]);
  206. }
  207. b.AppendLine();
  208. }
  209. #endif
  210. /// <summary>
  211. /// The value for which all absolute numbers smaller than are considered equal to zero.
  212. /// </summary>
  213. public const float ZeroTolerance = 4 * float.Epsilon;
  214. /// <summary>
  215. /// The value for which all absolute numbers smaller than are considered equal to zero.
  216. /// </summary>
  217. public const double ZeroToleranceDouble = 4 * double.Epsilon;
  218. public static bool NearEqualFloat(float a, float b, int maxUlp, out int ulp)
  219. {
  220. ulp = 0;
  221. if (Math.Abs(a - b) < ZeroTolerance) return true;
  222. ulp = GetUlpFloatDistance(a, b);
  223. return ulp <= maxUlp;
  224. }
  225. public static unsafe int GetUlpFloatDistance(float a, float b)
  226. {
  227. // Save work if the floats are equal.
  228. // Also handles +0 == -0
  229. if (a == b)
  230. {
  231. return 0;
  232. }
  233. if (float.IsNaN(a) && float.IsNaN(b))
  234. {
  235. return 0;
  236. }
  237. if (float.IsInfinity(a) && float.IsInfinity(b))
  238. {
  239. return 0;
  240. }
  241. int aInt = *(int*)&a;
  242. int bInt = *(int*)&b;
  243. if ((aInt < 0) != (bInt < 0)) return int.MaxValue;
  244. // Because we would have an overflow below while trying to do -(int.MinValue)
  245. // We modify it here so that we don't overflow
  246. var ulp = (long)aInt - bInt;
  247. if (ulp <= int.MinValue) return int.MaxValue;
  248. if (ulp > int.MaxValue) return int.MaxValue;
  249. // We know for sure that numbers are in the range ]int.MinValue, int.MaxValue]
  250. return (int)Math.Abs(ulp);
  251. }
  252. public static bool NearEqualDouble(double a, double b, int maxUlp, out long ulp)
  253. {
  254. ulp = 0;
  255. if (Math.Abs(a - b) < ZeroTolerance) return true;
  256. ulp = GetUlpDoubleDistance(a, b);
  257. return ulp <= maxUlp;
  258. }
  259. private static readonly long LongMinValue = long.MinValue;
  260. private static readonly long LongMaxValue = long.MaxValue;
  261. public static unsafe long GetUlpDoubleDistance(double a, double b)
  262. {
  263. // Save work if the floats are equal.
  264. // Also handles +0 == -0
  265. if (a == b)
  266. {
  267. return 0;
  268. }
  269. if (double.IsNaN(a) && double.IsNaN(b))
  270. {
  271. return 0;
  272. }
  273. if (double.IsInfinity(a) && double.IsInfinity(b))
  274. {
  275. return 0;
  276. }
  277. long aInt = *(long*)&a;
  278. long bInt = *(long*)&b;
  279. if ((aInt < 0) != (bInt < 0)) return long.MaxValue;
  280. var ulp = aInt - bInt;
  281. if (ulp <= LongMinValue) return long.MaxValue;
  282. if (ulp > LongMaxValue) return long.MaxValue;
  283. return Math.Abs((long)ulp);
  284. }
  285. /// <summary>
  286. /// Determines whether the specified value is close to zero (0.0f).
  287. /// </summary>
  288. /// <param name="a">The floating value.</param>
  289. /// <returns><c>true</c> if the specified value is close to zero (0.0f); otherwise, <c>false</c>.</returns>
  290. public static bool IsZero(float a)
  291. {
  292. return Math.Abs(a) < ZeroTolerance;
  293. }
  294. /// <summary>
  295. /// Determines whether the specified value is close to zero (0.0f).
  296. /// </summary>
  297. /// <param name="a">The floating value.</param>
  298. /// <returns><c>true</c> if the specified value is close to zero (0.0f); otherwise, <c>false</c>.</returns>
  299. public static bool IsZero(double a)
  300. {
  301. return Math.Abs(a) < ZeroToleranceDouble;
  302. }
  303. }
  304. }