lib_math.c 5.1 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201
  1. /*
  2. ** Math library.
  3. ** Copyright (C) 2005-2023 Mike Pall. See Copyright Notice in luajit.h
  4. */
  5. #include <math.h>
  6. #define lib_math_c
  7. #define LUA_LIB
  8. #include "lua.h"
  9. #include "lauxlib.h"
  10. #include "lualib.h"
  11. #include "lj_obj.h"
  12. #include "lj_lib.h"
  13. #include "lj_vm.h"
  14. #include "lj_prng.h"
  15. /* ------------------------------------------------------------------------ */
  16. #define LJLIB_MODULE_math
  17. LJLIB_ASM(math_abs) LJLIB_REC(.)
  18. {
  19. lj_lib_checknumber(L, 1);
  20. return FFH_RETRY;
  21. }
  22. LJLIB_ASM_(math_floor) LJLIB_REC(math_round IRFPM_FLOOR)
  23. LJLIB_ASM_(math_ceil) LJLIB_REC(math_round IRFPM_CEIL)
  24. LJLIB_ASM(math_sqrt) LJLIB_REC(math_unary IRFPM_SQRT)
  25. {
  26. lj_lib_checknum(L, 1);
  27. return FFH_RETRY;
  28. }
  29. LJLIB_ASM_(math_log10) LJLIB_REC(math_call IRCALL_log10)
  30. LJLIB_ASM_(math_exp) LJLIB_REC(math_call IRCALL_exp)
  31. LJLIB_ASM_(math_sin) LJLIB_REC(math_call IRCALL_sin)
  32. LJLIB_ASM_(math_cos) LJLIB_REC(math_call IRCALL_cos)
  33. LJLIB_ASM_(math_tan) LJLIB_REC(math_call IRCALL_tan)
  34. LJLIB_ASM_(math_asin) LJLIB_REC(math_call IRCALL_asin)
  35. LJLIB_ASM_(math_acos) LJLIB_REC(math_call IRCALL_acos)
  36. LJLIB_ASM_(math_atan) LJLIB_REC(math_call IRCALL_atan)
  37. LJLIB_ASM_(math_sinh) LJLIB_REC(math_call IRCALL_sinh)
  38. LJLIB_ASM_(math_cosh) LJLIB_REC(math_call IRCALL_cosh)
  39. LJLIB_ASM_(math_tanh) LJLIB_REC(math_call IRCALL_tanh)
  40. LJLIB_ASM_(math_frexp)
  41. LJLIB_ASM_(math_modf)
  42. LJLIB_ASM(math_log) LJLIB_REC(math_log)
  43. {
  44. double x = lj_lib_checknum(L, 1);
  45. if (L->base+1 < L->top) {
  46. double y = lj_lib_checknum(L, 2);
  47. #ifdef LUAJIT_NO_LOG2
  48. x = log(x); y = 1.0 / log(y);
  49. #else
  50. x = lj_vm_log2(x); y = 1.0 / lj_vm_log2(y);
  51. #endif
  52. setnumV(L->base-1-LJ_FR2, x*y); /* Do NOT join the expression to x / y. */
  53. return FFH_RES(1);
  54. }
  55. return FFH_RETRY;
  56. }
  57. LJLIB_LUA(math_deg) /* function(x) return x * 57.29577951308232 end */
  58. LJLIB_LUA(math_rad) /* function(x) return x * 0.017453292519943295 end */
  59. LJLIB_ASM(math_atan2) LJLIB_REC(.)
  60. {
  61. lj_lib_checknum(L, 1);
  62. lj_lib_checknum(L, 2);
  63. return FFH_RETRY;
  64. }
  65. LJLIB_ASM_(math_pow) LJLIB_REC(.)
  66. LJLIB_ASM_(math_fmod)
  67. LJLIB_ASM(math_ldexp) LJLIB_REC(.)
  68. {
  69. lj_lib_checknum(L, 1);
  70. #if LJ_DUALNUM && !LJ_TARGET_X86ORX64
  71. lj_lib_checkint(L, 2);
  72. #else
  73. lj_lib_checknum(L, 2);
  74. #endif
  75. return FFH_RETRY;
  76. }
  77. LJLIB_ASM(math_min) LJLIB_REC(math_minmax IR_MIN)
  78. {
  79. int i = 0;
  80. do { lj_lib_checknumber(L, ++i); } while (L->base+i < L->top);
  81. return FFH_RETRY;
  82. }
  83. LJLIB_ASM_(math_max) LJLIB_REC(math_minmax IR_MAX)
  84. LJLIB_PUSH(3.14159265358979323846) LJLIB_SET(pi)
  85. LJLIB_PUSH(1e310) LJLIB_SET(huge)
  86. /* ------------------------------------------------------------------------ */
  87. /* This implements a Tausworthe PRNG with period 2^223. Based on:
  88. ** Tables of maximally-equidistributed combined LFSR generators,
  89. ** Pierre L'Ecuyer, 1991, table 3, 1st entry.
  90. ** Full-period ME-CF generator with L=64, J=4, k=223, N1=49.
  91. */
  92. /* Union needed for bit-pattern conversion between uint64_t and double. */
  93. typedef union { uint64_t u64; double d; } U64double;
  94. /* PRNG seeding function. */
  95. static void random_seed(PRNGState *rs, double d)
  96. {
  97. uint32_t r = 0x11090601; /* 64-k[i] as four 8 bit constants. */
  98. int i;
  99. for (i = 0; i < 4; i++) {
  100. U64double u;
  101. uint32_t m = 1u << (r&255);
  102. r >>= 8;
  103. u.d = d = d * 3.14159265358979323846 + 2.7182818284590452354;
  104. if (u.u64 < m) u.u64 += m; /* Ensure k[i] MSB of u[i] are non-zero. */
  105. rs->u[i] = u.u64;
  106. }
  107. for (i = 0; i < 10; i++)
  108. (void)lj_prng_u64(rs);
  109. }
  110. /* PRNG extract function. */
  111. LJLIB_PUSH(top-2) /* Upvalue holds userdata with PRNGState. */
  112. LJLIB_CF(math_random) LJLIB_REC(.)
  113. {
  114. int n = (int)(L->top - L->base);
  115. PRNGState *rs = (PRNGState *)(uddata(udataV(lj_lib_upvalue(L, 1))));
  116. U64double u;
  117. double d;
  118. u.u64 = lj_prng_u64d(rs);
  119. d = u.d - 1.0;
  120. if (n > 0) {
  121. #if LJ_DUALNUM
  122. int isint = 1;
  123. double r1;
  124. lj_lib_checknumber(L, 1);
  125. if (tvisint(L->base)) {
  126. r1 = (lua_Number)intV(L->base);
  127. } else {
  128. isint = 0;
  129. r1 = numV(L->base);
  130. }
  131. #else
  132. double r1 = lj_lib_checknum(L, 1);
  133. #endif
  134. if (n == 1) {
  135. d = lj_vm_floor(d*r1) + 1.0; /* d is an int in range [1, r1] */
  136. } else {
  137. #if LJ_DUALNUM
  138. double r2;
  139. lj_lib_checknumber(L, 2);
  140. if (tvisint(L->base+1)) {
  141. r2 = (lua_Number)intV(L->base+1);
  142. } else {
  143. isint = 0;
  144. r2 = numV(L->base+1);
  145. }
  146. #else
  147. double r2 = lj_lib_checknum(L, 2);
  148. #endif
  149. d = lj_vm_floor(d*(r2-r1+1.0)) + r1; /* d is an int in range [r1, r2] */
  150. }
  151. #if LJ_DUALNUM
  152. if (isint) {
  153. setintV(L->top-1, lj_num2int(d));
  154. return 1;
  155. }
  156. #endif
  157. } /* else: d is a double in range [0, 1] */
  158. setnumV(L->top++, d);
  159. return 1;
  160. }
  161. /* PRNG seed function. */
  162. LJLIB_PUSH(top-2) /* Upvalue holds userdata with PRNGState. */
  163. LJLIB_CF(math_randomseed)
  164. {
  165. PRNGState *rs = (PRNGState *)(uddata(udataV(lj_lib_upvalue(L, 1))));
  166. random_seed(rs, lj_lib_checknum(L, 1));
  167. return 0;
  168. }
  169. /* ------------------------------------------------------------------------ */
  170. #include "lj_libdef.h"
  171. LUALIB_API int luaopen_math(lua_State *L)
  172. {
  173. PRNGState *rs = (PRNGState *)lua_newuserdata(L, sizeof(PRNGState));
  174. lj_prng_seed_fixed(rs);
  175. LJ_LIB_REG(L, LUA_MATHLIBNAME, math);
  176. return 1;
  177. }