math_funcs.h 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423
  1. /*************************************************************************/
  2. /* math_funcs.h */
  3. /*************************************************************************/
  4. /* This file is part of: */
  5. /* GODOT ENGINE */
  6. /* https://godotengine.org */
  7. /*************************************************************************/
  8. /* Copyright (c) 2007-2019 Juan Linietsky, Ariel Manzur. */
  9. /* Copyright (c) 2014-2019 Godot Engine contributors (cf. AUTHORS.md) */
  10. /* */
  11. /* Permission is hereby granted, free of charge, to any person obtaining */
  12. /* a copy of this software and associated documentation files (the */
  13. /* "Software"), to deal in the Software without restriction, including */
  14. /* without limitation the rights to use, copy, modify, merge, publish, */
  15. /* distribute, sublicense, and/or sell copies of the Software, and to */
  16. /* permit persons to whom the Software is furnished to do so, subject to */
  17. /* the following conditions: */
  18. /* */
  19. /* The above copyright notice and this permission notice shall be */
  20. /* included in all copies or substantial portions of the Software. */
  21. /* */
  22. /* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, */
  23. /* EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF */
  24. /* MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.*/
  25. /* IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY */
  26. /* CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, */
  27. /* TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE */
  28. /* SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. */
  29. /*************************************************************************/
  30. #ifndef MATH_FUNCS_H
  31. #define MATH_FUNCS_H
  32. #include "core/math/math_defs.h"
  33. #include "core/math/random_pcg.h"
  34. #include "core/typedefs.h"
  35. #include "thirdparty/misc/pcg.h"
  36. #include <float.h>
  37. #include <math.h>
  38. class Math {
  39. static RandomPCG default_rand;
  40. public:
  41. Math() {} // useless to instance
  42. static const uint64_t RANDOM_MAX = 0xFFFFFFFF;
  43. static _ALWAYS_INLINE_ double sin(double p_x) { return ::sin(p_x); }
  44. static _ALWAYS_INLINE_ float sin(float p_x) { return ::sinf(p_x); }
  45. static _ALWAYS_INLINE_ double cos(double p_x) { return ::cos(p_x); }
  46. static _ALWAYS_INLINE_ float cos(float p_x) { return ::cosf(p_x); }
  47. static _ALWAYS_INLINE_ double tan(double p_x) { return ::tan(p_x); }
  48. static _ALWAYS_INLINE_ float tan(float p_x) { return ::tanf(p_x); }
  49. static _ALWAYS_INLINE_ double sinh(double p_x) { return ::sinh(p_x); }
  50. static _ALWAYS_INLINE_ float sinh(float p_x) { return ::sinhf(p_x); }
  51. static _ALWAYS_INLINE_ double cosh(double p_x) { return ::cosh(p_x); }
  52. static _ALWAYS_INLINE_ float cosh(float p_x) { return ::coshf(p_x); }
  53. static _ALWAYS_INLINE_ double tanh(double p_x) { return ::tanh(p_x); }
  54. static _ALWAYS_INLINE_ float tanh(float p_x) { return ::tanhf(p_x); }
  55. static _ALWAYS_INLINE_ double asin(double p_x) { return ::asin(p_x); }
  56. static _ALWAYS_INLINE_ float asin(float p_x) { return ::asinf(p_x); }
  57. static _ALWAYS_INLINE_ double acos(double p_x) { return ::acos(p_x); }
  58. static _ALWAYS_INLINE_ float acos(float p_x) { return ::acosf(p_x); }
  59. static _ALWAYS_INLINE_ double atan(double p_x) { return ::atan(p_x); }
  60. static _ALWAYS_INLINE_ float atan(float p_x) { return ::atanf(p_x); }
  61. static _ALWAYS_INLINE_ double atan2(double p_y, double p_x) { return ::atan2(p_y, p_x); }
  62. static _ALWAYS_INLINE_ float atan2(float p_y, float p_x) { return ::atan2f(p_y, p_x); }
  63. static _ALWAYS_INLINE_ double sqrt(double p_x) { return ::sqrt(p_x); }
  64. static _ALWAYS_INLINE_ float sqrt(float p_x) { return ::sqrtf(p_x); }
  65. static _ALWAYS_INLINE_ double fmod(double p_x, double p_y) { return ::fmod(p_x, p_y); }
  66. static _ALWAYS_INLINE_ float fmod(float p_x, float p_y) { return ::fmodf(p_x, p_y); }
  67. static _ALWAYS_INLINE_ double floor(double p_x) { return ::floor(p_x); }
  68. static _ALWAYS_INLINE_ float floor(float p_x) { return ::floorf(p_x); }
  69. static _ALWAYS_INLINE_ double ceil(double p_x) { return ::ceil(p_x); }
  70. static _ALWAYS_INLINE_ float ceil(float p_x) { return ::ceilf(p_x); }
  71. static _ALWAYS_INLINE_ double pow(double p_x, double p_y) { return ::pow(p_x, p_y); }
  72. static _ALWAYS_INLINE_ float pow(float p_x, float p_y) { return ::powf(p_x, p_y); }
  73. static _ALWAYS_INLINE_ double log(double p_x) { return ::log(p_x); }
  74. static _ALWAYS_INLINE_ float log(float p_x) { return ::logf(p_x); }
  75. static _ALWAYS_INLINE_ double exp(double p_x) { return ::exp(p_x); }
  76. static _ALWAYS_INLINE_ float exp(float p_x) { return ::expf(p_x); }
  77. static _ALWAYS_INLINE_ bool is_nan(double p_val) {
  78. #ifdef _MSC_VER
  79. return _isnan(p_val);
  80. #elif defined(__GNUC__) && __GNUC__ < 6
  81. union {
  82. uint64_t u;
  83. double f;
  84. } ieee754;
  85. ieee754.f = p_val;
  86. // (unsigned)(0x7ff0000000000001 >> 32) : 0x7ff00000
  87. return ((((unsigned)(ieee754.u >> 32) & 0x7fffffff) + ((unsigned)ieee754.u != 0)) > 0x7ff00000);
  88. #else
  89. return isnan(p_val);
  90. #endif
  91. }
  92. static _ALWAYS_INLINE_ bool is_nan(float p_val) {
  93. #ifdef _MSC_VER
  94. return _isnan(p_val);
  95. #elif defined(__GNUC__) && __GNUC__ < 6
  96. union {
  97. uint32_t u;
  98. float f;
  99. } ieee754;
  100. ieee754.f = p_val;
  101. // -----------------------------------
  102. // (single-precision floating-point)
  103. // NaN : s111 1111 1xxx xxxx xxxx xxxx xxxx xxxx
  104. // : (> 0x7f800000)
  105. // where,
  106. // s : sign
  107. // x : non-zero number
  108. // -----------------------------------
  109. return ((ieee754.u & 0x7fffffff) > 0x7f800000);
  110. #else
  111. return isnan(p_val);
  112. #endif
  113. }
  114. static _ALWAYS_INLINE_ bool is_inf(double p_val) {
  115. #ifdef _MSC_VER
  116. return !_finite(p_val);
  117. // use an inline implementation of isinf as a workaround for problematic libstdc++ versions from gcc 5.x era
  118. #elif defined(__GNUC__) && __GNUC__ < 6
  119. union {
  120. uint64_t u;
  121. double f;
  122. } ieee754;
  123. ieee754.f = p_val;
  124. return ((unsigned)(ieee754.u >> 32) & 0x7fffffff) == 0x7ff00000 &&
  125. ((unsigned)ieee754.u == 0);
  126. #else
  127. return isinf(p_val);
  128. #endif
  129. }
  130. static _ALWAYS_INLINE_ bool is_inf(float p_val) {
  131. #ifdef _MSC_VER
  132. return !_finite(p_val);
  133. // use an inline implementation of isinf as a workaround for problematic libstdc++ versions from gcc 5.x era
  134. #elif defined(__GNUC__) && __GNUC__ < 6
  135. union {
  136. uint32_t u;
  137. float f;
  138. } ieee754;
  139. ieee754.f = p_val;
  140. return (ieee754.u & 0x7fffffff) == 0x7f800000;
  141. #else
  142. return isinf(p_val);
  143. #endif
  144. }
  145. static _ALWAYS_INLINE_ double abs(double g) { return absd(g); }
  146. static _ALWAYS_INLINE_ float abs(float g) { return absf(g); }
  147. static _ALWAYS_INLINE_ int abs(int g) { return g > 0 ? g : -g; }
  148. static _ALWAYS_INLINE_ double fposmod(double p_x, double p_y) {
  149. double value = Math::fmod(p_x, p_y);
  150. if ((value < 0 && p_y > 0) || (value > 0 && p_y < 0)) {
  151. value += p_y;
  152. }
  153. value += 0.0;
  154. return value;
  155. }
  156. static _ALWAYS_INLINE_ float fposmod(float p_x, float p_y) {
  157. float value = Math::fmod(p_x, p_y);
  158. if ((value < 0 && p_y > 0) || (value > 0 && p_y < 0)) {
  159. value += p_y;
  160. }
  161. value += 0.0;
  162. return value;
  163. }
  164. static _ALWAYS_INLINE_ double deg2rad(double p_y) { return p_y * Math_PI / 180.0; }
  165. static _ALWAYS_INLINE_ float deg2rad(float p_y) { return p_y * Math_PI / 180.0; }
  166. static _ALWAYS_INLINE_ double rad2deg(double p_y) { return p_y * 180.0 / Math_PI; }
  167. static _ALWAYS_INLINE_ float rad2deg(float p_y) { return p_y * 180.0 / Math_PI; }
  168. static _ALWAYS_INLINE_ double lerp(double p_from, double p_to, double p_weight) { return p_from + (p_to - p_from) * p_weight; }
  169. static _ALWAYS_INLINE_ float lerp(float p_from, float p_to, float p_weight) { return p_from + (p_to - p_from) * p_weight; }
  170. static _ALWAYS_INLINE_ double inverse_lerp(double p_from, double p_to, double p_value) { return (p_value - p_from) / (p_to - p_from); }
  171. static _ALWAYS_INLINE_ float inverse_lerp(float p_from, float p_to, float p_value) { return (p_value - p_from) / (p_to - p_from); }
  172. static _ALWAYS_INLINE_ double range_lerp(double p_value, double p_istart, double p_istop, double p_ostart, double p_ostop) { return Math::lerp(p_ostart, p_ostop, Math::inverse_lerp(p_istart, p_istop, p_value)); }
  173. static _ALWAYS_INLINE_ float range_lerp(float p_value, float p_istart, float p_istop, float p_ostart, float p_ostop) { return Math::lerp(p_ostart, p_ostop, Math::inverse_lerp(p_istart, p_istop, p_value)); }
  174. static _ALWAYS_INLINE_ double linear2db(double p_linear) { return Math::log(p_linear) * 8.6858896380650365530225783783321; }
  175. static _ALWAYS_INLINE_ float linear2db(float p_linear) { return Math::log(p_linear) * 8.6858896380650365530225783783321; }
  176. static _ALWAYS_INLINE_ double db2linear(double p_db) { return Math::exp(p_db * 0.11512925464970228420089957273422); }
  177. static _ALWAYS_INLINE_ float db2linear(float p_db) { return Math::exp(p_db * 0.11512925464970228420089957273422); }
  178. static _ALWAYS_INLINE_ double round(double p_val) { return (p_val >= 0) ? Math::floor(p_val + 0.5) : -Math::floor(-p_val + 0.5); }
  179. static _ALWAYS_INLINE_ float round(float p_val) { return (p_val >= 0) ? Math::floor(p_val + 0.5) : -Math::floor(-p_val + 0.5); }
  180. static _ALWAYS_INLINE_ int wrapi(int value, int min, int max) {
  181. int rng = max - min;
  182. return min + ((((value - min) % rng) + rng) % rng);
  183. }
  184. static _ALWAYS_INLINE_ double wrapf(double value, double min, double max) {
  185. double rng = max - min;
  186. return value - (rng * Math::floor((value - min) / rng));
  187. }
  188. static _ALWAYS_INLINE_ float wrapf(float value, float min, float max) {
  189. float rng = max - min;
  190. return value - (rng * Math::floor((value - min) / rng));
  191. }
  192. // double only, as these functions are mainly used by the editor and not performance-critical,
  193. static double ease(double p_x, double p_c);
  194. static int step_decimals(double p_step);
  195. static double stepify(double p_value, double p_step);
  196. static double dectime(double p_value, double p_amount, double p_step);
  197. static uint32_t larger_prime(uint32_t p_val);
  198. static void seed(uint64_t x);
  199. static void randomize();
  200. static uint32_t rand_from_seed(uint64_t *seed);
  201. static uint32_t rand();
  202. static _ALWAYS_INLINE_ double randf() { return (double)rand() / (double)Math::RANDOM_MAX; }
  203. static _ALWAYS_INLINE_ float randd() { return (float)rand() / (float)Math::RANDOM_MAX; }
  204. static double random(double from, double to);
  205. static float random(float from, float to);
  206. static real_t random(int from, int to) { return (real_t)random((real_t)from, (real_t)to); }
  207. static _ALWAYS_INLINE_ bool is_equal_approx(real_t a, real_t b) {
  208. // TODO: Comparing floats for approximate-equality is non-trivial.
  209. // Using epsilon should cover the typical cases in Godot (where a == b is used to compare two reals), such as matrix and vector comparison operators.
  210. // A proper implementation in terms of ULPs should eventually replace the contents of this function.
  211. // See https://randomascii.wordpress.com/2012/02/25/comparing-floating-point-numbers-2012-edition/ for details.
  212. return abs(a - b) < CMP_EPSILON;
  213. }
  214. static _ALWAYS_INLINE_ float absf(float g) {
  215. union {
  216. float f;
  217. uint32_t i;
  218. } u;
  219. u.f = g;
  220. u.i &= 2147483647u;
  221. return u.f;
  222. }
  223. static _ALWAYS_INLINE_ double absd(double g) {
  224. union {
  225. double d;
  226. uint64_t i;
  227. } u;
  228. u.d = g;
  229. u.i &= (uint64_t)9223372036854775807ll;
  230. return u.d;
  231. }
  232. //this function should be as fast as possible and rounding mode should not matter
  233. static _ALWAYS_INLINE_ int fast_ftoi(float a) {
  234. static int b;
  235. #if (defined(_WIN32_WINNT) && _WIN32_WINNT >= 0x0603) || WINAPI_FAMILY == WINAPI_FAMILY_PHONE_APP // windows 8 phone?
  236. b = (int)((a > 0.0) ? (a + 0.5) : (a - 0.5));
  237. #elif defined(_MSC_VER) && _MSC_VER < 1800
  238. __asm fld a __asm fistp b
  239. /*#elif defined( __GNUC__ ) && ( defined( __i386__ ) || defined( __x86_64__ ) )
  240. // use AT&T inline assembly style, document that
  241. // we use memory as output (=m) and input (m)
  242. __asm__ __volatile__ (
  243. "flds %1 \n\t"
  244. "fistpl %0 \n\t"
  245. : "=m" (b)
  246. : "m" (a));*/
  247. #else
  248. b = lrintf(a); //assuming everything but msvc 2012 or earlier has lrint
  249. #endif
  250. return b;
  251. }
  252. static _ALWAYS_INLINE_ uint32_t halfbits_to_floatbits(uint16_t h) {
  253. uint16_t h_exp, h_sig;
  254. uint32_t f_sgn, f_exp, f_sig;
  255. h_exp = (h & 0x7c00u);
  256. f_sgn = ((uint32_t)h & 0x8000u) << 16;
  257. switch (h_exp) {
  258. case 0x0000u: /* 0 or subnormal */
  259. h_sig = (h & 0x03ffu);
  260. /* Signed zero */
  261. if (h_sig == 0) {
  262. return f_sgn;
  263. }
  264. /* Subnormal */
  265. h_sig <<= 1;
  266. while ((h_sig & 0x0400u) == 0) {
  267. h_sig <<= 1;
  268. h_exp++;
  269. }
  270. f_exp = ((uint32_t)(127 - 15 - h_exp)) << 23;
  271. f_sig = ((uint32_t)(h_sig & 0x03ffu)) << 13;
  272. return f_sgn + f_exp + f_sig;
  273. case 0x7c00u: /* inf or NaN */
  274. /* All-ones exponent and a copy of the significand */
  275. return f_sgn + 0x7f800000u + (((uint32_t)(h & 0x03ffu)) << 13);
  276. default: /* normalized */
  277. /* Just need to adjust the exponent and shift */
  278. return f_sgn + (((uint32_t)(h & 0x7fffu) + 0x1c000u) << 13);
  279. }
  280. }
  281. static _ALWAYS_INLINE_ float halfptr_to_float(const uint16_t *h) {
  282. union {
  283. uint32_t u32;
  284. float f32;
  285. } u;
  286. u.u32 = halfbits_to_floatbits(*h);
  287. return u.f32;
  288. }
  289. static _ALWAYS_INLINE_ float half_to_float(const uint16_t h) {
  290. return halfptr_to_float(&h);
  291. }
  292. static _ALWAYS_INLINE_ uint16_t make_half_float(float f) {
  293. union {
  294. float fv;
  295. uint32_t ui;
  296. } ci;
  297. ci.fv = f;
  298. uint32_t x = ci.ui;
  299. uint32_t sign = (unsigned short)(x >> 31);
  300. uint32_t mantissa;
  301. uint32_t exp;
  302. uint16_t hf;
  303. // get mantissa
  304. mantissa = x & ((1 << 23) - 1);
  305. // get exponent bits
  306. exp = x & (0xFF << 23);
  307. if (exp >= 0x47800000) {
  308. // check if the original single precision float number is a NaN
  309. if (mantissa && (exp == (0xFF << 23))) {
  310. // we have a single precision NaN
  311. mantissa = (1 << 23) - 1;
  312. } else {
  313. // 16-bit half-float representation stores number as Inf
  314. mantissa = 0;
  315. }
  316. hf = (((uint16_t)sign) << 15) | (uint16_t)((0x1F << 10)) |
  317. (uint16_t)(mantissa >> 13);
  318. }
  319. // check if exponent is <= -15
  320. else if (exp <= 0x38000000) {
  321. /*// store a denorm half-float value or zero
  322. exp = (0x38000000 - exp) >> 23;
  323. mantissa >>= (14 + exp);
  324. hf = (((uint16_t)sign) << 15) | (uint16_t)(mantissa);
  325. */
  326. hf = 0; //denormals do not work for 3D, convert to zero
  327. } else {
  328. hf = (((uint16_t)sign) << 15) |
  329. (uint16_t)((exp - 0x38000000) >> 13) |
  330. (uint16_t)(mantissa >> 13);
  331. }
  332. return hf;
  333. }
  334. static _ALWAYS_INLINE_ float snap_scalar(float p_offset, float p_step, float p_target) {
  335. return p_step != 0 ? Math::stepify(p_target - p_offset, p_step) + p_offset : p_target;
  336. }
  337. static _ALWAYS_INLINE_ float snap_scalar_seperation(float p_offset, float p_step, float p_target, float p_separation) {
  338. if (p_step != 0) {
  339. float a = Math::stepify(p_target - p_offset, p_step + p_separation) + p_offset;
  340. float b = a;
  341. if (p_target >= 0)
  342. b -= p_separation;
  343. else
  344. b += p_step;
  345. return (Math::abs(p_target - a) < Math::abs(p_target - b)) ? a : b;
  346. }
  347. return p_target;
  348. }
  349. };
  350. #endif // MATH_FUNCS_H