xref: /freebsd/contrib/lua/src/lvm.h (revision 4f52dfbb)
1 /*
2 ** $Id: lvm.h,v 2.41 2016/12/22 13:08:50 roberto Exp $
3 ** Lua virtual machine
4 ** See Copyright Notice in lua.h
5 */
6 
7 #ifndef lvm_h
8 #define lvm_h
9 
10 
11 #include "ldo.h"
12 #include "lobject.h"
13 #include "ltm.h"
14 
15 
16 #if !defined(LUA_NOCVTN2S)
17 #define cvt2str(o)	ttisnumber(o)
18 #else
19 #define cvt2str(o)	0	/* no conversion from numbers to strings */
20 #endif
21 
22 
23 #if !defined(LUA_NOCVTS2N)
24 #define cvt2num(o)	ttisstring(o)
25 #else
26 #define cvt2num(o)	0	/* no conversion from strings to numbers */
27 #endif
28 
29 
30 /*
31 ** You can define LUA_FLOORN2I if you want to convert floats to integers
32 ** by flooring them (instead of raising an error if they are not
33 ** integral values)
34 */
35 #if !defined(LUA_FLOORN2I)
36 #define LUA_FLOORN2I		0
37 #endif
38 
39 
40 #define tonumber(o,n) \
41 	(ttisfloat(o) ? (*(n) = fltvalue(o), 1) : luaV_tonumber_(o,n))
42 
43 #define tointeger(o,i) \
44     (ttisinteger(o) ? (*(i) = ivalue(o), 1) : luaV_tointeger(o,i,LUA_FLOORN2I))
45 
46 #define intop(op,v1,v2) l_castU2S(l_castS2U(v1) op l_castS2U(v2))
47 
48 #define luaV_rawequalobj(t1,t2)		luaV_equalobj(NULL,t1,t2)
49 
50 
51 /*
52 ** fast track for 'gettable': if 't' is a table and 't[k]' is not nil,
53 ** return 1 with 'slot' pointing to 't[k]' (final result).  Otherwise,
54 ** return 0 (meaning it will have to check metamethod) with 'slot'
55 ** pointing to a nil 't[k]' (if 't' is a table) or NULL (otherwise).
56 ** 'f' is the raw get function to use.
57 */
58 #define luaV_fastget(L,t,k,slot,f) \
59   (!ttistable(t)  \
60    ? (slot = NULL, 0)  /* not a table; 'slot' is NULL and result is 0 */  \
61    : (slot = f(hvalue(t), k),  /* else, do raw access */  \
62       !ttisnil(slot)))  /* result not nil? */
63 
64 /*
65 ** standard implementation for 'gettable'
66 */
67 #define luaV_gettable(L,t,k,v) { const TValue *slot; \
68   if (luaV_fastget(L,t,k,slot,luaH_get)) { setobj2s(L, v, slot); } \
69   else luaV_finishget(L,t,k,v,slot); }
70 
71 
72 /*
73 ** Fast track for set table. If 't' is a table and 't[k]' is not nil,
74 ** call GC barrier, do a raw 't[k]=v', and return true; otherwise,
75 ** return false with 'slot' equal to NULL (if 't' is not a table) or
76 ** 'nil'. (This is needed by 'luaV_finishget'.) Note that, if the macro
77 ** returns true, there is no need to 'invalidateTMcache', because the
78 ** call is not creating a new entry.
79 */
80 #define luaV_fastset(L,t,k,slot,f,v) \
81   (!ttistable(t) \
82    ? (slot = NULL, 0) \
83    : (slot = f(hvalue(t), k), \
84      ttisnil(slot) ? 0 \
85      : (luaC_barrierback(L, hvalue(t), v), \
86         setobj2t(L, cast(TValue *,slot), v), \
87         1)))
88 
89 
90 #define luaV_settable(L,t,k,v) { const TValue *slot; \
91   if (!luaV_fastset(L,t,k,slot,luaH_get,v)) \
92     luaV_finishset(L,t,k,v,slot); }
93 
94 
95 
96 LUAI_FUNC int luaV_equalobj (lua_State *L, const TValue *t1, const TValue *t2);
97 LUAI_FUNC int luaV_lessthan (lua_State *L, const TValue *l, const TValue *r);
98 LUAI_FUNC int luaV_lessequal (lua_State *L, const TValue *l, const TValue *r);
99 LUAI_FUNC int luaV_tonumber_ (const TValue *obj, lua_Number *n);
100 LUAI_FUNC int luaV_tointeger (const TValue *obj, lua_Integer *p, int mode);
101 LUAI_FUNC void luaV_finishget (lua_State *L, const TValue *t, TValue *key,
102                                StkId val, const TValue *slot);
103 LUAI_FUNC void luaV_finishset (lua_State *L, const TValue *t, TValue *key,
104                                StkId val, const TValue *slot);
105 LUAI_FUNC void luaV_finishOp (lua_State *L);
106 LUAI_FUNC void luaV_execute (lua_State *L);
107 LUAI_FUNC void luaV_concat (lua_State *L, int total);
108 LUAI_FUNC lua_Integer luaV_div (lua_State *L, lua_Integer x, lua_Integer y);
109 LUAI_FUNC lua_Integer luaV_mod (lua_State *L, lua_Integer x, lua_Integer y);
110 LUAI_FUNC lua_Integer luaV_shiftl (lua_Integer x, lua_Integer y);
111 LUAI_FUNC void luaV_objlen (lua_State *L, StkId ra, const TValue *rb);
112 
113 #endif
114