1*bdda0531Snikita /* $NetBSD: lmathlib.c,v 1.11 2023/06/08 21:12:08 nikita Exp $ */
2bee09862Smbalmer
3dbec5304Smbalmer /*
4f0dad708Snikita ** Id: lmathlib.c
5dbec5304Smbalmer ** Standard mathematical library
6dbec5304Smbalmer ** See Copyright Notice in lua.h
7dbec5304Smbalmer */
8dbec5304Smbalmer
973008250Slneto #define lmathlib_c
1073008250Slneto #define LUA_LIB
1173008250Slneto
1273008250Slneto #include "lprefix.h"
1373008250Slneto
14dbec5304Smbalmer
15f0dad708Snikita #include <float.h>
16f0dad708Snikita #include <limits.h>
17dbec5304Smbalmer #include <math.h>
18f0dad708Snikita #include <stdlib.h>
19f0dad708Snikita #include <time.h>
20dbec5304Smbalmer
21dbec5304Smbalmer #include "lua.h"
22dbec5304Smbalmer
23dbec5304Smbalmer #include "lauxlib.h"
24dbec5304Smbalmer #include "lualib.h"
25dbec5304Smbalmer
26dbec5304Smbalmer
27dbec5304Smbalmer #undef PI
284ab4902eSlneto #define PI (l_mathop(3.141592653589793238462643383279502884))
29dbec5304Smbalmer
30dbec5304Smbalmer
math_abs(lua_State * L)31dbec5304Smbalmer static int math_abs (lua_State *L) {
324ab4902eSlneto if (lua_isinteger(L, 1)) {
334ab4902eSlneto lua_Integer n = lua_tointeger(L, 1);
342d6cb6c2Slneto if (n < 0) n = (lua_Integer)(0u - (lua_Unsigned)n);
354ab4902eSlneto lua_pushinteger(L, n);
364ab4902eSlneto }
374ab4902eSlneto else
384ab4902eSlneto lua_pushnumber(L, l_mathop(fabs)(luaL_checknumber(L, 1)));
39dbec5304Smbalmer return 1;
40dbec5304Smbalmer }
41dbec5304Smbalmer
math_sin(lua_State * L)42dbec5304Smbalmer static int math_sin (lua_State *L) {
434ab4902eSlneto lua_pushnumber(L, l_mathop(sin)(luaL_checknumber(L, 1)));
44dbec5304Smbalmer return 1;
45dbec5304Smbalmer }
46dbec5304Smbalmer
math_cos(lua_State * L)47dbec5304Smbalmer static int math_cos (lua_State *L) {
484ab4902eSlneto lua_pushnumber(L, l_mathop(cos)(luaL_checknumber(L, 1)));
49dbec5304Smbalmer return 1;
50dbec5304Smbalmer }
51dbec5304Smbalmer
math_tan(lua_State * L)52dbec5304Smbalmer static int math_tan (lua_State *L) {
534ab4902eSlneto lua_pushnumber(L, l_mathop(tan)(luaL_checknumber(L, 1)));
54dbec5304Smbalmer return 1;
55dbec5304Smbalmer }
56dbec5304Smbalmer
math_asin(lua_State * L)57dbec5304Smbalmer static int math_asin (lua_State *L) {
584ab4902eSlneto lua_pushnumber(L, l_mathop(asin)(luaL_checknumber(L, 1)));
59dbec5304Smbalmer return 1;
60dbec5304Smbalmer }
61dbec5304Smbalmer
math_acos(lua_State * L)62dbec5304Smbalmer static int math_acos (lua_State *L) {
634ab4902eSlneto lua_pushnumber(L, l_mathop(acos)(luaL_checknumber(L, 1)));
64dbec5304Smbalmer return 1;
65dbec5304Smbalmer }
66dbec5304Smbalmer
math_atan(lua_State * L)67dbec5304Smbalmer static int math_atan (lua_State *L) {
684ab4902eSlneto lua_Number y = luaL_checknumber(L, 1);
694ab4902eSlneto lua_Number x = luaL_optnumber(L, 2, 1);
704ab4902eSlneto lua_pushnumber(L, l_mathop(atan2)(y, x));
71dbec5304Smbalmer return 1;
72dbec5304Smbalmer }
73dbec5304Smbalmer
744ab4902eSlneto
math_toint(lua_State * L)7573008250Slneto static int math_toint (lua_State *L) {
764ab4902eSlneto int valid;
774ab4902eSlneto lua_Integer n = lua_tointegerx(L, 1, &valid);
78f0dad708Snikita if (l_likely(valid))
7973008250Slneto lua_pushinteger(L, n);
804ab4902eSlneto else {
8173008250Slneto luaL_checkany(L, 1);
82f0dad708Snikita luaL_pushfail(L); /* value is not convertible to integer */
834ab4902eSlneto }
84dbec5304Smbalmer return 1;
85dbec5304Smbalmer }
86dbec5304Smbalmer
87dbec5304Smbalmer
pushnumint(lua_State * L,lua_Number d)884ab4902eSlneto static void pushnumint (lua_State *L, lua_Number d) {
894ab4902eSlneto lua_Integer n;
9073008250Slneto if (lua_numbertointeger(d, &n)) /* does 'd' fit in an integer? */
914ab4902eSlneto lua_pushinteger(L, n); /* result is integer */
924ab4902eSlneto else
934ab4902eSlneto lua_pushnumber(L, d); /* result is float */
944ab4902eSlneto }
954ab4902eSlneto
964ab4902eSlneto
math_floor(lua_State * L)9773008250Slneto static int math_floor (lua_State *L) {
9873008250Slneto if (lua_isinteger(L, 1))
9973008250Slneto lua_settop(L, 1); /* integer is its own floor */
10073008250Slneto else {
10173008250Slneto lua_Number d = l_mathop(floor)(luaL_checknumber(L, 1));
10273008250Slneto pushnumint(L, d);
10373008250Slneto }
10473008250Slneto return 1;
10573008250Slneto }
10673008250Slneto
10773008250Slneto
math_ceil(lua_State * L)1084ab4902eSlneto static int math_ceil (lua_State *L) {
1094ab4902eSlneto if (lua_isinteger(L, 1))
1104ab4902eSlneto lua_settop(L, 1); /* integer is its own ceil */
1114ab4902eSlneto else {
1124ab4902eSlneto lua_Number d = l_mathop(ceil)(luaL_checknumber(L, 1));
1134ab4902eSlneto pushnumint(L, d);
1144ab4902eSlneto }
1154ab4902eSlneto return 1;
1164ab4902eSlneto }
1174ab4902eSlneto
1184ab4902eSlneto
math_fmod(lua_State * L)119dbec5304Smbalmer static int math_fmod (lua_State *L) {
1204ab4902eSlneto if (lua_isinteger(L, 1) && lua_isinteger(L, 2)) {
1214ab4902eSlneto lua_Integer d = lua_tointeger(L, 2);
1224ab4902eSlneto if ((lua_Unsigned)d + 1u <= 1u) { /* special cases: -1 or 0 */
1234ab4902eSlneto luaL_argcheck(L, d != 0, 2, "zero");
1244ab4902eSlneto lua_pushinteger(L, 0); /* avoid overflow with 0x80000... / -1 */
1254ab4902eSlneto }
1264ab4902eSlneto else
1274ab4902eSlneto lua_pushinteger(L, lua_tointeger(L, 1) % d);
1284ab4902eSlneto }
1294ab4902eSlneto else
1304ab4902eSlneto lua_pushnumber(L, l_mathop(fmod)(luaL_checknumber(L, 1),
1314ab4902eSlneto luaL_checknumber(L, 2)));
132dbec5304Smbalmer return 1;
133dbec5304Smbalmer }
134dbec5304Smbalmer
1354ab4902eSlneto
1364ab4902eSlneto /*
1374ab4902eSlneto ** next function does not use 'modf', avoiding problems with 'double*'
1384ab4902eSlneto ** (which is not compatible with 'float*') when lua_Number is not
1394ab4902eSlneto ** 'double'.
1404ab4902eSlneto */
math_modf(lua_State * L)141dbec5304Smbalmer static int math_modf (lua_State *L) {
1424ab4902eSlneto if (lua_isinteger(L ,1)) {
1434ab4902eSlneto lua_settop(L, 1); /* number is its own integer part */
14473008250Slneto lua_pushnumber(L, 0); /* no fractional part */
1454ab4902eSlneto }
1464ab4902eSlneto else {
1474ab4902eSlneto lua_Number n = luaL_checknumber(L, 1);
1484ab4902eSlneto /* integer part (rounds toward zero) */
1494ab4902eSlneto lua_Number ip = (n < 0) ? l_mathop(ceil)(n) : l_mathop(floor)(n);
1504ab4902eSlneto pushnumint(L, ip);
15173008250Slneto /* fractional part (test needed for inf/-inf) */
15273008250Slneto lua_pushnumber(L, (n == ip) ? l_mathop(0.0) : (n - ip));
1534ab4902eSlneto }
154dbec5304Smbalmer return 2;
155dbec5304Smbalmer }
156dbec5304Smbalmer
157dbec5304Smbalmer
math_sqrt(lua_State * L)1584ab4902eSlneto static int math_sqrt (lua_State *L) {
1594ab4902eSlneto lua_pushnumber(L, l_mathop(sqrt)(luaL_checknumber(L, 1)));
160dbec5304Smbalmer return 1;
161dbec5304Smbalmer }
162dbec5304Smbalmer
16373008250Slneto
math_ult(lua_State * L)16473008250Slneto static int math_ult (lua_State *L) {
16573008250Slneto lua_Integer a = luaL_checkinteger(L, 1);
16673008250Slneto lua_Integer b = luaL_checkinteger(L, 2);
16773008250Slneto lua_pushboolean(L, (lua_Unsigned)a < (lua_Unsigned)b);
16873008250Slneto return 1;
16973008250Slneto }
17073008250Slneto
math_log(lua_State * L)171dbec5304Smbalmer static int math_log (lua_State *L) {
1724ab4902eSlneto lua_Number x = luaL_checknumber(L, 1);
1734ab4902eSlneto lua_Number res;
1744ab4902eSlneto if (lua_isnoneornil(L, 2))
1754ab4902eSlneto res = l_mathop(log)(x);
1764ab4902eSlneto else {
1774ab4902eSlneto lua_Number base = luaL_checknumber(L, 2);
178bee09862Smbalmer #if !defined(LUA_USE_C89)
1799e2f6347Smbalmer if (base == l_mathop(2.0))
180f0dad708Snikita res = l_mathop(log2)(x);
181f0dad708Snikita else
182bee09862Smbalmer #endif
1839e2f6347Smbalmer if (base == l_mathop(10.0))
1849e2f6347Smbalmer res = l_mathop(log10)(x);
1859e2f6347Smbalmer else
1869e2f6347Smbalmer res = l_mathop(log)(x)/l_mathop(log)(base);
187dbec5304Smbalmer }
1884ab4902eSlneto lua_pushnumber(L, res);
189dbec5304Smbalmer return 1;
190dbec5304Smbalmer }
191dbec5304Smbalmer
math_exp(lua_State * L)192dbec5304Smbalmer static int math_exp (lua_State *L) {
1934ab4902eSlneto lua_pushnumber(L, l_mathop(exp)(luaL_checknumber(L, 1)));
194dbec5304Smbalmer return 1;
195dbec5304Smbalmer }
196dbec5304Smbalmer
math_deg(lua_State * L)197dbec5304Smbalmer static int math_deg (lua_State *L) {
19873008250Slneto lua_pushnumber(L, luaL_checknumber(L, 1) * (l_mathop(180.0) / PI));
199dbec5304Smbalmer return 1;
200dbec5304Smbalmer }
201dbec5304Smbalmer
math_rad(lua_State * L)202dbec5304Smbalmer static int math_rad (lua_State *L) {
20373008250Slneto lua_pushnumber(L, luaL_checknumber(L, 1) * (PI / l_mathop(180.0)));
204dbec5304Smbalmer return 1;
205dbec5304Smbalmer }
206dbec5304Smbalmer
207dbec5304Smbalmer
math_min(lua_State * L)208dbec5304Smbalmer static int math_min (lua_State *L) {
209dbec5304Smbalmer int n = lua_gettop(L); /* number of arguments */
2104ab4902eSlneto int imin = 1; /* index of current minimum value */
211dbec5304Smbalmer int i;
2124ab4902eSlneto luaL_argcheck(L, n >= 1, 1, "value expected");
213dbec5304Smbalmer for (i = 2; i <= n; i++) {
2144ab4902eSlneto if (lua_compare(L, i, imin, LUA_OPLT))
2154ab4902eSlneto imin = i;
216dbec5304Smbalmer }
2174ab4902eSlneto lua_pushvalue(L, imin);
218dbec5304Smbalmer return 1;
219dbec5304Smbalmer }
220dbec5304Smbalmer
221dbec5304Smbalmer
math_max(lua_State * L)222dbec5304Smbalmer static int math_max (lua_State *L) {
223dbec5304Smbalmer int n = lua_gettop(L); /* number of arguments */
2244ab4902eSlneto int imax = 1; /* index of current maximum value */
225dbec5304Smbalmer int i;
2264ab4902eSlneto luaL_argcheck(L, n >= 1, 1, "value expected");
227dbec5304Smbalmer for (i = 2; i <= n; i++) {
2284ab4902eSlneto if (lua_compare(L, imax, i, LUA_OPLT))
2294ab4902eSlneto imax = i;
230dbec5304Smbalmer }
2314ab4902eSlneto lua_pushvalue(L, imax);
232dbec5304Smbalmer return 1;
233dbec5304Smbalmer }
234dbec5304Smbalmer
235f0dad708Snikita
math_type(lua_State * L)236f0dad708Snikita static int math_type (lua_State *L) {
237f0dad708Snikita if (lua_type(L, 1) == LUA_TNUMBER)
238f0dad708Snikita lua_pushstring(L, (lua_isinteger(L, 1)) ? "integer" : "float");
239f0dad708Snikita else {
240f0dad708Snikita luaL_checkany(L, 1);
241f0dad708Snikita luaL_pushfail(L);
242f0dad708Snikita }
243f0dad708Snikita return 1;
244f0dad708Snikita }
245f0dad708Snikita
246f0dad708Snikita
247f0dad708Snikita
2484ab4902eSlneto /*
249f0dad708Snikita ** {==================================================================
250f0dad708Snikita ** Pseudo-Random Number Generator based on 'xoshiro256**'.
251f0dad708Snikita ** ===================================================================
2524ab4902eSlneto */
253f0dad708Snikita
254f0dad708Snikita /* number of binary digits in the mantissa of a float */
255f0dad708Snikita #define FIGS l_floatatt(MANT_DIG)
256f0dad708Snikita
257f0dad708Snikita #if FIGS > 64
258f0dad708Snikita /* there are only 64 random bits; use them all */
259f0dad708Snikita #undef FIGS
260f0dad708Snikita #define FIGS 64
261f0dad708Snikita #endif
262f0dad708Snikita
263f0dad708Snikita
264f0dad708Snikita /*
265f0dad708Snikita ** LUA_RAND32 forces the use of 32-bit integers in the implementation
266f0dad708Snikita ** of the PRN generator (mainly for testing).
267f0dad708Snikita */
268f0dad708Snikita #if !defined(LUA_RAND32) && !defined(Rand64)
269f0dad708Snikita
270f0dad708Snikita /* try to find an integer type with at least 64 bits */
271f0dad708Snikita
272*bdda0531Snikita #if ((ULONG_MAX >> 31) >> 31) >= 3
273f0dad708Snikita
274f0dad708Snikita /* 'long' has at least 64 bits */
275f0dad708Snikita #define Rand64 unsigned long
276f0dad708Snikita
277f0dad708Snikita #elif !defined(LUA_USE_C89) && defined(LLONG_MAX)
278f0dad708Snikita
279f0dad708Snikita /* there is a 'long long' type (which must have at least 64 bits) */
280f0dad708Snikita #define Rand64 unsigned long long
281f0dad708Snikita
282*bdda0531Snikita #elif ((LUA_MAXUNSIGNED >> 31) >> 31) >= 3
283f0dad708Snikita
284*bdda0531Snikita /* 'lua_Unsigned' has at least 64 bits */
285f0dad708Snikita #define Rand64 lua_Unsigned
286f0dad708Snikita
287f0dad708Snikita #endif
288f0dad708Snikita
289f0dad708Snikita #endif
290f0dad708Snikita
291f0dad708Snikita
292f0dad708Snikita #if defined(Rand64) /* { */
293f0dad708Snikita
294f0dad708Snikita /*
295f0dad708Snikita ** Standard implementation, using 64-bit integers.
296f0dad708Snikita ** If 'Rand64' has more than 64 bits, the extra bits do not interfere
297f0dad708Snikita ** with the 64 initial bits, except in a right shift. Moreover, the
298f0dad708Snikita ** final result has to discard the extra bits.
299f0dad708Snikita */
300f0dad708Snikita
301f0dad708Snikita /* avoid using extra bits when needed */
302f0dad708Snikita #define trim64(x) ((x) & 0xffffffffffffffffu)
303f0dad708Snikita
304f0dad708Snikita
305f0dad708Snikita /* rotate left 'x' by 'n' bits */
rotl(Rand64 x,int n)306f0dad708Snikita static Rand64 rotl (Rand64 x, int n) {
307f0dad708Snikita return (x << n) | (trim64(x) >> (64 - n));
308f0dad708Snikita }
309f0dad708Snikita
nextrand(Rand64 * state)310f0dad708Snikita static Rand64 nextrand (Rand64 *state) {
311f0dad708Snikita Rand64 state0 = state[0];
312f0dad708Snikita Rand64 state1 = state[1];
313f0dad708Snikita Rand64 state2 = state[2] ^ state0;
314f0dad708Snikita Rand64 state3 = state[3] ^ state1;
315f0dad708Snikita Rand64 res = rotl(state1 * 5, 7) * 9;
316f0dad708Snikita state[0] = state0 ^ state3;
317f0dad708Snikita state[1] = state1 ^ state2;
318f0dad708Snikita state[2] = state2 ^ (state1 << 17);
319f0dad708Snikita state[3] = rotl(state3, 45);
320f0dad708Snikita return res;
321f0dad708Snikita }
322f0dad708Snikita
323f0dad708Snikita
324f0dad708Snikita /* must take care to not shift stuff by more than 63 slots */
325f0dad708Snikita
326f0dad708Snikita
327f0dad708Snikita /*
328f0dad708Snikita ** Convert bits from a random integer into a float in the
329f0dad708Snikita ** interval [0,1), getting the higher FIG bits from the
330f0dad708Snikita ** random unsigned integer and converting that to a float.
331f0dad708Snikita */
332f0dad708Snikita
333f0dad708Snikita /* must throw out the extra (64 - FIGS) bits */
334f0dad708Snikita #define shift64_FIG (64 - FIGS)
335f0dad708Snikita
336f0dad708Snikita /* to scale to [0, 1), multiply by scaleFIG = 2^(-FIGS) */
337f0dad708Snikita #define scaleFIG (l_mathop(0.5) / ((Rand64)1 << (FIGS - 1)))
338f0dad708Snikita
I2d(Rand64 x)339f0dad708Snikita static lua_Number I2d (Rand64 x) {
340f0dad708Snikita return (lua_Number)(trim64(x) >> shift64_FIG) * scaleFIG;
341f0dad708Snikita }
342f0dad708Snikita
343f0dad708Snikita /* convert a 'Rand64' to a 'lua_Unsigned' */
344f0dad708Snikita #define I2UInt(x) ((lua_Unsigned)trim64(x))
345f0dad708Snikita
346f0dad708Snikita /* convert a 'lua_Unsigned' to a 'Rand64' */
347f0dad708Snikita #define Int2I(x) ((Rand64)(x))
348f0dad708Snikita
349f0dad708Snikita
350f0dad708Snikita #else /* no 'Rand64' }{ */
351f0dad708Snikita
352f0dad708Snikita /* get an integer with at least 32 bits */
353f0dad708Snikita #if LUAI_IS32INT
354f0dad708Snikita typedef unsigned int lu_int32;
355f0dad708Snikita #else
356f0dad708Snikita typedef unsigned long lu_int32;
357f0dad708Snikita #endif
358f0dad708Snikita
359f0dad708Snikita
360f0dad708Snikita /*
361f0dad708Snikita ** Use two 32-bit integers to represent a 64-bit quantity.
362f0dad708Snikita */
363f0dad708Snikita typedef struct Rand64 {
364f0dad708Snikita lu_int32 h; /* higher half */
365f0dad708Snikita lu_int32 l; /* lower half */
366f0dad708Snikita } Rand64;
367f0dad708Snikita
368f0dad708Snikita
369f0dad708Snikita /*
370f0dad708Snikita ** If 'lu_int32' has more than 32 bits, the extra bits do not interfere
371f0dad708Snikita ** with the 32 initial bits, except in a right shift and comparisons.
372f0dad708Snikita ** Moreover, the final result has to discard the extra bits.
373f0dad708Snikita */
374f0dad708Snikita
375f0dad708Snikita /* avoid using extra bits when needed */
376f0dad708Snikita #define trim32(x) ((x) & 0xffffffffu)
377f0dad708Snikita
378f0dad708Snikita
379f0dad708Snikita /*
380f0dad708Snikita ** basic operations on 'Rand64' values
381f0dad708Snikita */
382f0dad708Snikita
383f0dad708Snikita /* build a new Rand64 value */
packI(lu_int32 h,lu_int32 l)384f0dad708Snikita static Rand64 packI (lu_int32 h, lu_int32 l) {
385f0dad708Snikita Rand64 result;
386f0dad708Snikita result.h = h;
387f0dad708Snikita result.l = l;
388f0dad708Snikita return result;
389f0dad708Snikita }
390f0dad708Snikita
391f0dad708Snikita /* return i << n */
Ishl(Rand64 i,int n)392f0dad708Snikita static Rand64 Ishl (Rand64 i, int n) {
393f0dad708Snikita lua_assert(n > 0 && n < 32);
394f0dad708Snikita return packI((i.h << n) | (trim32(i.l) >> (32 - n)), i.l << n);
395f0dad708Snikita }
396f0dad708Snikita
397f0dad708Snikita /* i1 ^= i2 */
Ixor(Rand64 * i1,Rand64 i2)398f0dad708Snikita static void Ixor (Rand64 *i1, Rand64 i2) {
399f0dad708Snikita i1->h ^= i2.h;
400f0dad708Snikita i1->l ^= i2.l;
401f0dad708Snikita }
402f0dad708Snikita
403f0dad708Snikita /* return i1 + i2 */
Iadd(Rand64 i1,Rand64 i2)404f0dad708Snikita static Rand64 Iadd (Rand64 i1, Rand64 i2) {
405f0dad708Snikita Rand64 result = packI(i1.h + i2.h, i1.l + i2.l);
406f0dad708Snikita if (trim32(result.l) < trim32(i1.l)) /* carry? */
407f0dad708Snikita result.h++;
408f0dad708Snikita return result;
409f0dad708Snikita }
410f0dad708Snikita
411f0dad708Snikita /* return i * 5 */
times5(Rand64 i)412f0dad708Snikita static Rand64 times5 (Rand64 i) {
413f0dad708Snikita return Iadd(Ishl(i, 2), i); /* i * 5 == (i << 2) + i */
414f0dad708Snikita }
415f0dad708Snikita
416f0dad708Snikita /* return i * 9 */
times9(Rand64 i)417f0dad708Snikita static Rand64 times9 (Rand64 i) {
418f0dad708Snikita return Iadd(Ishl(i, 3), i); /* i * 9 == (i << 3) + i */
419f0dad708Snikita }
420f0dad708Snikita
421f0dad708Snikita /* return 'i' rotated left 'n' bits */
rotl(Rand64 i,int n)422f0dad708Snikita static Rand64 rotl (Rand64 i, int n) {
423f0dad708Snikita lua_assert(n > 0 && n < 32);
424f0dad708Snikita return packI((i.h << n) | (trim32(i.l) >> (32 - n)),
425f0dad708Snikita (trim32(i.h) >> (32 - n)) | (i.l << n));
426f0dad708Snikita }
427f0dad708Snikita
428f0dad708Snikita /* for offsets larger than 32, rotate right by 64 - offset */
rotl1(Rand64 i,int n)429f0dad708Snikita static Rand64 rotl1 (Rand64 i, int n) {
430f0dad708Snikita lua_assert(n > 32 && n < 64);
431f0dad708Snikita n = 64 - n;
432f0dad708Snikita return packI((trim32(i.h) >> n) | (i.l << (32 - n)),
433f0dad708Snikita (i.h << (32 - n)) | (trim32(i.l) >> n));
434f0dad708Snikita }
435f0dad708Snikita
436f0dad708Snikita /*
437f0dad708Snikita ** implementation of 'xoshiro256**' algorithm on 'Rand64' values
438f0dad708Snikita */
nextrand(Rand64 * state)439f0dad708Snikita static Rand64 nextrand (Rand64 *state) {
440f0dad708Snikita Rand64 res = times9(rotl(times5(state[1]), 7));
441f0dad708Snikita Rand64 t = Ishl(state[1], 17);
442f0dad708Snikita Ixor(&state[2], state[0]);
443f0dad708Snikita Ixor(&state[3], state[1]);
444f0dad708Snikita Ixor(&state[1], state[2]);
445f0dad708Snikita Ixor(&state[0], state[3]);
446f0dad708Snikita Ixor(&state[2], t);
447f0dad708Snikita state[3] = rotl1(state[3], 45);
448f0dad708Snikita return res;
449f0dad708Snikita }
450f0dad708Snikita
451f0dad708Snikita
452f0dad708Snikita /*
453f0dad708Snikita ** Converts a 'Rand64' into a float.
454f0dad708Snikita */
455f0dad708Snikita
456f0dad708Snikita /* an unsigned 1 with proper type */
457f0dad708Snikita #define UONE ((lu_int32)1)
458f0dad708Snikita
459f0dad708Snikita
460f0dad708Snikita #if FIGS <= 32
461f0dad708Snikita
462f0dad708Snikita /* 2^(-FIGS) */
463f0dad708Snikita #define scaleFIG (l_mathop(0.5) / (UONE << (FIGS - 1)))
464f0dad708Snikita
465f0dad708Snikita /*
466f0dad708Snikita ** get up to 32 bits from higher half, shifting right to
467f0dad708Snikita ** throw out the extra bits.
468f0dad708Snikita */
I2d(Rand64 x)469f0dad708Snikita static lua_Number I2d (Rand64 x) {
470f0dad708Snikita lua_Number h = (lua_Number)(trim32(x.h) >> (32 - FIGS));
471f0dad708Snikita return h * scaleFIG;
472f0dad708Snikita }
473f0dad708Snikita
474f0dad708Snikita #else /* 32 < FIGS <= 64 */
475f0dad708Snikita
476f0dad708Snikita /* must take care to not shift stuff by more than 31 slots */
477f0dad708Snikita
478f0dad708Snikita /* 2^(-FIGS) = 1.0 / 2^30 / 2^3 / 2^(FIGS-33) */
479f0dad708Snikita #define scaleFIG \
480f0dad708Snikita (l_mathop(1.0) / (UONE << 30) / l_mathop(8.0) / (UONE << (FIGS - 33)))
481f0dad708Snikita
482f0dad708Snikita /*
483f0dad708Snikita ** use FIGS - 32 bits from lower half, throwing out the other
484f0dad708Snikita ** (32 - (FIGS - 32)) = (64 - FIGS) bits
485f0dad708Snikita */
486f0dad708Snikita #define shiftLOW (64 - FIGS)
487f0dad708Snikita
488f0dad708Snikita /*
489f0dad708Snikita ** higher 32 bits go after those (FIGS - 32) bits: shiftHI = 2^(FIGS - 32)
490f0dad708Snikita */
491f0dad708Snikita #define shiftHI ((lua_Number)(UONE << (FIGS - 33)) * l_mathop(2.0))
492f0dad708Snikita
493f0dad708Snikita
I2d(Rand64 x)494f0dad708Snikita static lua_Number I2d (Rand64 x) {
495f0dad708Snikita lua_Number h = (lua_Number)trim32(x.h) * shiftHI;
496f0dad708Snikita lua_Number l = (lua_Number)(trim32(x.l) >> shiftLOW);
497f0dad708Snikita return (h + l) * scaleFIG;
498f0dad708Snikita }
499f0dad708Snikita
500f0dad708Snikita #endif
501f0dad708Snikita
502f0dad708Snikita
503f0dad708Snikita /* convert a 'Rand64' to a 'lua_Unsigned' */
I2UInt(Rand64 x)504f0dad708Snikita static lua_Unsigned I2UInt (Rand64 x) {
505*bdda0531Snikita return (((lua_Unsigned)trim32(x.h) << 31) << 1) | (lua_Unsigned)trim32(x.l);
506f0dad708Snikita }
507f0dad708Snikita
508f0dad708Snikita /* convert a 'lua_Unsigned' to a 'Rand64' */
Int2I(lua_Unsigned n)509f0dad708Snikita static Rand64 Int2I (lua_Unsigned n) {
510*bdda0531Snikita return packI((lu_int32)((n >> 31) >> 1), (lu_int32)n);
511f0dad708Snikita }
512f0dad708Snikita
513f0dad708Snikita #endif /* } */
514f0dad708Snikita
515f0dad708Snikita
516f0dad708Snikita /*
517f0dad708Snikita ** A state uses four 'Rand64' values.
518f0dad708Snikita */
519f0dad708Snikita typedef struct {
520f0dad708Snikita Rand64 s[4];
521f0dad708Snikita } RanState;
522f0dad708Snikita
523f0dad708Snikita
524f0dad708Snikita /*
525f0dad708Snikita ** Project the random integer 'ran' into the interval [0, n].
526f0dad708Snikita ** Because 'ran' has 2^B possible values, the projection can only be
527f0dad708Snikita ** uniform when the size of the interval is a power of 2 (exact
528f0dad708Snikita ** division). Otherwise, to get a uniform projection into [0, n], we
529f0dad708Snikita ** first compute 'lim', the smallest Mersenne number not smaller than
530f0dad708Snikita ** 'n'. We then project 'ran' into the interval [0, lim]. If the result
531f0dad708Snikita ** is inside [0, n], we are done. Otherwise, we try with another 'ran',
532f0dad708Snikita ** until we have a result inside the interval.
533f0dad708Snikita */
project(lua_Unsigned ran,lua_Unsigned n,RanState * state)534f0dad708Snikita static lua_Unsigned project (lua_Unsigned ran, lua_Unsigned n,
535f0dad708Snikita RanState *state) {
536f0dad708Snikita if ((n & (n + 1)) == 0) /* is 'n + 1' a power of 2? */
537f0dad708Snikita return ran & n; /* no bias */
538f0dad708Snikita else {
539f0dad708Snikita lua_Unsigned lim = n;
540f0dad708Snikita /* compute the smallest (2^b - 1) not smaller than 'n' */
541f0dad708Snikita lim |= (lim >> 1);
542f0dad708Snikita lim |= (lim >> 2);
543f0dad708Snikita lim |= (lim >> 4);
544f0dad708Snikita lim |= (lim >> 8);
545f0dad708Snikita lim |= (lim >> 16);
546f0dad708Snikita #if (LUA_MAXUNSIGNED >> 31) >= 3
547f0dad708Snikita lim |= (lim >> 32); /* integer type has more than 32 bits */
548f0dad708Snikita #endif
549f0dad708Snikita lua_assert((lim & (lim + 1)) == 0 /* 'lim + 1' is a power of 2, */
550f0dad708Snikita && lim >= n /* not smaller than 'n', */
551f0dad708Snikita && (lim >> 1) < n); /* and it is the smallest one */
552f0dad708Snikita while ((ran &= lim) > n) /* project 'ran' into [0..lim] */
553f0dad708Snikita ran = I2UInt(nextrand(state->s)); /* not inside [0..n]? try again */
554f0dad708Snikita return ran;
555f0dad708Snikita }
556f0dad708Snikita }
557f0dad708Snikita
558f0dad708Snikita
math_random(lua_State * L)559dbec5304Smbalmer static int math_random (lua_State *L) {
5604ab4902eSlneto lua_Integer low, up;
561f0dad708Snikita lua_Unsigned p;
562f0dad708Snikita RanState *state = (RanState *)lua_touserdata(L, lua_upvalueindex(1));
563f0dad708Snikita Rand64 rv = nextrand(state->s); /* next pseudo-random value */
564dbec5304Smbalmer switch (lua_gettop(L)) { /* check number of arguments */
565dbec5304Smbalmer case 0: { /* no arguments */
566f0dad708Snikita lua_pushnumber(L, I2d(rv)); /* float between 0 and 1 */
5674ab4902eSlneto return 1;
568dbec5304Smbalmer }
569dbec5304Smbalmer case 1: { /* only upper limit */
5704ab4902eSlneto low = 1;
5714ab4902eSlneto up = luaL_checkinteger(L, 1);
572f0dad708Snikita if (up == 0) { /* single 0 as argument? */
573f0dad708Snikita lua_pushinteger(L, I2UInt(rv)); /* full random integer */
574f0dad708Snikita return 1;
575f0dad708Snikita }
576dbec5304Smbalmer break;
577dbec5304Smbalmer }
578dbec5304Smbalmer case 2: { /* lower and upper limits */
5794ab4902eSlneto low = luaL_checkinteger(L, 1);
5804ab4902eSlneto up = luaL_checkinteger(L, 2);
581dbec5304Smbalmer break;
582dbec5304Smbalmer }
583dbec5304Smbalmer default: return luaL_error(L, "wrong number of arguments");
584dbec5304Smbalmer }
5854ab4902eSlneto /* random integer in the interval [low, up] */
5864ab4902eSlneto luaL_argcheck(L, low <= up, 1, "interval is empty");
587f0dad708Snikita /* project random integer into the interval [0, up - low] */
588f0dad708Snikita p = project(I2UInt(rv), (lua_Unsigned)up - (lua_Unsigned)low, state);
589f0dad708Snikita lua_pushinteger(L, p + (lua_Unsigned)low);
590dbec5304Smbalmer return 1;
591dbec5304Smbalmer }
592dbec5304Smbalmer
593dbec5304Smbalmer
setseed(lua_State * L,Rand64 * state,lua_Unsigned n1,lua_Unsigned n2)594f0dad708Snikita static void setseed (lua_State *L, Rand64 *state,
595f0dad708Snikita lua_Unsigned n1, lua_Unsigned n2) {
596f0dad708Snikita int i;
597f0dad708Snikita state[0] = Int2I(n1);
598f0dad708Snikita state[1] = Int2I(0xff); /* avoid a zero state */
599f0dad708Snikita state[2] = Int2I(n2);
600f0dad708Snikita state[3] = Int2I(0);
601f0dad708Snikita for (i = 0; i < 16; i++)
602f0dad708Snikita nextrand(state); /* discard initial values to "spread" seed */
603f0dad708Snikita lua_pushinteger(L, n1);
604f0dad708Snikita lua_pushinteger(L, n2);
605f0dad708Snikita }
606f0dad708Snikita
607f0dad708Snikita
608f0dad708Snikita /*
609f0dad708Snikita ** Set a "random" seed. To get some randomness, use the current time
610f0dad708Snikita ** and the address of 'L' (in case the machine does address space layout
611f0dad708Snikita ** randomization).
612f0dad708Snikita */
randseed(lua_State * L,RanState * state)613f0dad708Snikita static void randseed (lua_State *L, RanState *state) {
614f0dad708Snikita lua_Unsigned seed1 = (lua_Unsigned)time(NULL);
615f0dad708Snikita lua_Unsigned seed2 = (lua_Unsigned)(size_t)L;
616f0dad708Snikita setseed(L, state->s, seed1, seed2);
617f0dad708Snikita }
618f0dad708Snikita
619f0dad708Snikita
math_randomseed(lua_State * L)620dbec5304Smbalmer static int math_randomseed (lua_State *L) {
621f0dad708Snikita RanState *state = (RanState *)lua_touserdata(L, lua_upvalueindex(1));
622f0dad708Snikita if (lua_isnone(L, 1)) {
623f0dad708Snikita randseed(L, state);
6244ab4902eSlneto }
62573008250Slneto else {
626f0dad708Snikita lua_Integer n1 = luaL_checkinteger(L, 1);
627f0dad708Snikita lua_Integer n2 = luaL_optinteger(L, 2, 0);
628f0dad708Snikita setseed(L, state->s, n1, n2);
62973008250Slneto }
630f0dad708Snikita return 2; /* return seeds */
6314ab4902eSlneto }
6324ab4902eSlneto
6334ab4902eSlneto
634f0dad708Snikita static const luaL_Reg randfuncs[] = {
635f0dad708Snikita {"random", math_random},
636f0dad708Snikita {"randomseed", math_randomseed},
637f0dad708Snikita {NULL, NULL}
638f0dad708Snikita };
639f0dad708Snikita
640f0dad708Snikita
641f0dad708Snikita /*
642f0dad708Snikita ** Register the random functions and initialize their state.
643f0dad708Snikita */
setrandfunc(lua_State * L)644f0dad708Snikita static void setrandfunc (lua_State *L) {
645f0dad708Snikita RanState *state = (RanState *)lua_newuserdatauv(L, sizeof(RanState), 0);
646f0dad708Snikita randseed(L, state); /* initialize with a "random" seed */
647f0dad708Snikita lua_pop(L, 2); /* remove pushed seeds */
648f0dad708Snikita luaL_setfuncs(L, randfuncs, 1);
649f0dad708Snikita }
650f0dad708Snikita
651f0dad708Snikita /* }================================================================== */
652f0dad708Snikita
653f0dad708Snikita
6544ab4902eSlneto /*
6554ab4902eSlneto ** {==================================================================
6564ab4902eSlneto ** Deprecated functions (for compatibility only)
6574ab4902eSlneto ** ===================================================================
6584ab4902eSlneto */
6594ab4902eSlneto #if defined(LUA_COMPAT_MATHLIB)
6604ab4902eSlneto
math_cosh(lua_State * L)6614ab4902eSlneto static int math_cosh (lua_State *L) {
6624ab4902eSlneto lua_pushnumber(L, l_mathop(cosh)(luaL_checknumber(L, 1)));
6634ab4902eSlneto return 1;
6644ab4902eSlneto }
6654ab4902eSlneto
math_sinh(lua_State * L)6664ab4902eSlneto static int math_sinh (lua_State *L) {
6674ab4902eSlneto lua_pushnumber(L, l_mathop(sinh)(luaL_checknumber(L, 1)));
6684ab4902eSlneto return 1;
6694ab4902eSlneto }
6704ab4902eSlneto
math_tanh(lua_State * L)6714ab4902eSlneto static int math_tanh (lua_State *L) {
6724ab4902eSlneto lua_pushnumber(L, l_mathop(tanh)(luaL_checknumber(L, 1)));
6734ab4902eSlneto return 1;
6744ab4902eSlneto }
6754ab4902eSlneto
math_pow(lua_State * L)6764ab4902eSlneto static int math_pow (lua_State *L) {
6774ab4902eSlneto lua_Number x = luaL_checknumber(L, 1);
6784ab4902eSlneto lua_Number y = luaL_checknumber(L, 2);
6794ab4902eSlneto lua_pushnumber(L, l_mathop(pow)(x, y));
6804ab4902eSlneto return 1;
6814ab4902eSlneto }
6824ab4902eSlneto
math_frexp(lua_State * L)6834ab4902eSlneto static int math_frexp (lua_State *L) {
6844ab4902eSlneto int e;
6854ab4902eSlneto lua_pushnumber(L, l_mathop(frexp)(luaL_checknumber(L, 1), &e));
6864ab4902eSlneto lua_pushinteger(L, e);
6874ab4902eSlneto return 2;
6884ab4902eSlneto }
6894ab4902eSlneto
math_ldexp(lua_State * L)6904ab4902eSlneto static int math_ldexp (lua_State *L) {
6914ab4902eSlneto lua_Number x = luaL_checknumber(L, 1);
69273008250Slneto int ep = (int)luaL_checkinteger(L, 2);
6934ab4902eSlneto lua_pushnumber(L, l_mathop(ldexp)(x, ep));
6944ab4902eSlneto return 1;
6954ab4902eSlneto }
6964ab4902eSlneto
math_log10(lua_State * L)6974ab4902eSlneto static int math_log10 (lua_State *L) {
6984ab4902eSlneto lua_pushnumber(L, l_mathop(log10)(luaL_checknumber(L, 1)));
6994ab4902eSlneto return 1;
7004ab4902eSlneto }
7014ab4902eSlneto
7024ab4902eSlneto #endif
7034ab4902eSlneto /* }================================================================== */
7044ab4902eSlneto
7054ab4902eSlneto
7064ab4902eSlneto
707dbec5304Smbalmer static const luaL_Reg mathlib[] = {
708dbec5304Smbalmer {"abs", math_abs},
709dbec5304Smbalmer {"acos", math_acos},
710dbec5304Smbalmer {"asin", math_asin},
711dbec5304Smbalmer {"atan", math_atan},
712dbec5304Smbalmer {"ceil", math_ceil},
713dbec5304Smbalmer {"cos", math_cos},
714dbec5304Smbalmer {"deg", math_deg},
715dbec5304Smbalmer {"exp", math_exp},
71673008250Slneto {"tointeger", math_toint},
717dbec5304Smbalmer {"floor", math_floor},
718dbec5304Smbalmer {"fmod", math_fmod},
71973008250Slneto {"ult", math_ult},
720dbec5304Smbalmer {"log", math_log},
721dbec5304Smbalmer {"max", math_max},
722dbec5304Smbalmer {"min", math_min},
723dbec5304Smbalmer {"modf", math_modf},
724dbec5304Smbalmer {"rad", math_rad},
725dbec5304Smbalmer {"sin", math_sin},
726dbec5304Smbalmer {"sqrt", math_sqrt},
727dbec5304Smbalmer {"tan", math_tan},
7284ab4902eSlneto {"type", math_type},
7294ab4902eSlneto #if defined(LUA_COMPAT_MATHLIB)
7304ab4902eSlneto {"atan2", math_atan},
7314ab4902eSlneto {"cosh", math_cosh},
7324ab4902eSlneto {"sinh", math_sinh},
7334ab4902eSlneto {"tanh", math_tanh},
7344ab4902eSlneto {"pow", math_pow},
7354ab4902eSlneto {"frexp", math_frexp},
7364ab4902eSlneto {"ldexp", math_ldexp},
7374ab4902eSlneto {"log10", math_log10},
7384ab4902eSlneto #endif
73973008250Slneto /* placeholders */
740f0dad708Snikita {"random", NULL},
741f0dad708Snikita {"randomseed", NULL},
74273008250Slneto {"pi", NULL},
74373008250Slneto {"huge", NULL},
74473008250Slneto {"maxinteger", NULL},
74573008250Slneto {"mininteger", NULL},
746dbec5304Smbalmer {NULL, NULL}
747dbec5304Smbalmer };
748dbec5304Smbalmer
749dbec5304Smbalmer
750dbec5304Smbalmer /*
751dbec5304Smbalmer ** Open math library
752dbec5304Smbalmer */
luaopen_math(lua_State * L)7534ab4902eSlneto LUAMOD_API int luaopen_math (lua_State *L) {
7544ab4902eSlneto luaL_newlib(L, mathlib);
755dbec5304Smbalmer lua_pushnumber(L, PI);
756dbec5304Smbalmer lua_setfield(L, -2, "pi");
75773008250Slneto lua_pushnumber(L, (lua_Number)HUGE_VAL);
758dbec5304Smbalmer lua_setfield(L, -2, "huge");
7594ab4902eSlneto lua_pushinteger(L, LUA_MAXINTEGER);
7604ab4902eSlneto lua_setfield(L, -2, "maxinteger");
7614ab4902eSlneto lua_pushinteger(L, LUA_MININTEGER);
7624ab4902eSlneto lua_setfield(L, -2, "mininteger");
763f0dad708Snikita setrandfunc(L);
764dbec5304Smbalmer return 1;
765dbec5304Smbalmer }
766dbec5304Smbalmer
767