xref: /freebsd/sys/contrib/openzfs/module/lua/lfunc.c (revision eda14cbc264d6969b02f2b1994cef11148e914f1)
1*eda14cbcSMatt Macy /* BEGIN CSTYLED */
2*eda14cbcSMatt Macy /*
3*eda14cbcSMatt Macy ** $Id: lfunc.c,v 2.30.1.1 2013/04/12 18:48:47 roberto Exp $
4*eda14cbcSMatt Macy ** Auxiliary functions to manipulate prototypes and closures
5*eda14cbcSMatt Macy ** See Copyright Notice in lua.h
6*eda14cbcSMatt Macy */
7*eda14cbcSMatt Macy 
8*eda14cbcSMatt Macy 
9*eda14cbcSMatt Macy #define lfunc_c
10*eda14cbcSMatt Macy #define LUA_CORE
11*eda14cbcSMatt Macy 
12*eda14cbcSMatt Macy #include <sys/lua/lua.h>
13*eda14cbcSMatt Macy 
14*eda14cbcSMatt Macy #include "lfunc.h"
15*eda14cbcSMatt Macy #include "lgc.h"
16*eda14cbcSMatt Macy #include "lmem.h"
17*eda14cbcSMatt Macy #include "lobject.h"
18*eda14cbcSMatt Macy #include "lstate.h"
19*eda14cbcSMatt Macy 
20*eda14cbcSMatt Macy 
21*eda14cbcSMatt Macy 
22*eda14cbcSMatt Macy Closure *luaF_newCclosure (lua_State *L, int n) {
23*eda14cbcSMatt Macy   Closure *c = &luaC_newobj(L, LUA_TCCL, sizeCclosure(n), NULL, 0)->cl;
24*eda14cbcSMatt Macy   c->c.nupvalues = cast_byte(n);
25*eda14cbcSMatt Macy   return c;
26*eda14cbcSMatt Macy }
27*eda14cbcSMatt Macy 
28*eda14cbcSMatt Macy 
29*eda14cbcSMatt Macy Closure *luaF_newLclosure (lua_State *L, int n) {
30*eda14cbcSMatt Macy   Closure *c = &luaC_newobj(L, LUA_TLCL, sizeLclosure(n), NULL, 0)->cl;
31*eda14cbcSMatt Macy   c->l.p = NULL;
32*eda14cbcSMatt Macy   c->l.nupvalues = cast_byte(n);
33*eda14cbcSMatt Macy   while (n--) c->l.upvals[n] = NULL;
34*eda14cbcSMatt Macy   return c;
35*eda14cbcSMatt Macy }
36*eda14cbcSMatt Macy 
37*eda14cbcSMatt Macy 
38*eda14cbcSMatt Macy UpVal *luaF_newupval (lua_State *L) {
39*eda14cbcSMatt Macy   UpVal *uv = &luaC_newobj(L, LUA_TUPVAL, sizeof(UpVal), NULL, 0)->uv;
40*eda14cbcSMatt Macy   uv->v = &uv->u.value;
41*eda14cbcSMatt Macy   setnilvalue(uv->v);
42*eda14cbcSMatt Macy   return uv;
43*eda14cbcSMatt Macy }
44*eda14cbcSMatt Macy 
45*eda14cbcSMatt Macy 
46*eda14cbcSMatt Macy UpVal *luaF_findupval (lua_State *L, StkId level) {
47*eda14cbcSMatt Macy   global_State *g = G(L);
48*eda14cbcSMatt Macy   GCObject **pp = &L->openupval;
49*eda14cbcSMatt Macy   UpVal *p;
50*eda14cbcSMatt Macy   UpVal *uv;
51*eda14cbcSMatt Macy   while (*pp != NULL && (p = gco2uv(*pp))->v >= level) {
52*eda14cbcSMatt Macy     GCObject *o = obj2gco(p);
53*eda14cbcSMatt Macy     lua_assert(p->v != &p->u.value);
54*eda14cbcSMatt Macy     lua_assert(!isold(o) || isold(obj2gco(L)));
55*eda14cbcSMatt Macy     if (p->v == level) {  /* found a corresponding upvalue? */
56*eda14cbcSMatt Macy       if (isdead(g, o))  /* is it dead? */
57*eda14cbcSMatt Macy         changewhite(o);  /* resurrect it */
58*eda14cbcSMatt Macy       return p;
59*eda14cbcSMatt Macy     }
60*eda14cbcSMatt Macy     pp = &p->next;
61*eda14cbcSMatt Macy   }
62*eda14cbcSMatt Macy   /* not found: create a new one */
63*eda14cbcSMatt Macy   uv = &luaC_newobj(L, LUA_TUPVAL, sizeof(UpVal), pp, 0)->uv;
64*eda14cbcSMatt Macy   uv->v = level;  /* current value lives in the stack */
65*eda14cbcSMatt Macy   uv->u.l.prev = &g->uvhead;  /* double link it in `uvhead' list */
66*eda14cbcSMatt Macy   uv->u.l.next = g->uvhead.u.l.next;
67*eda14cbcSMatt Macy   uv->u.l.next->u.l.prev = uv;
68*eda14cbcSMatt Macy   g->uvhead.u.l.next = uv;
69*eda14cbcSMatt Macy   lua_assert(uv->u.l.next->u.l.prev == uv && uv->u.l.prev->u.l.next == uv);
70*eda14cbcSMatt Macy   return uv;
71*eda14cbcSMatt Macy }
72*eda14cbcSMatt Macy 
73*eda14cbcSMatt Macy 
74*eda14cbcSMatt Macy static void unlinkupval (UpVal *uv) {
75*eda14cbcSMatt Macy   lua_assert(uv->u.l.next->u.l.prev == uv && uv->u.l.prev->u.l.next == uv);
76*eda14cbcSMatt Macy   uv->u.l.next->u.l.prev = uv->u.l.prev;  /* remove from `uvhead' list */
77*eda14cbcSMatt Macy   uv->u.l.prev->u.l.next = uv->u.l.next;
78*eda14cbcSMatt Macy }
79*eda14cbcSMatt Macy 
80*eda14cbcSMatt Macy 
81*eda14cbcSMatt Macy void luaF_freeupval (lua_State *L, UpVal *uv) {
82*eda14cbcSMatt Macy   if (uv->v != &uv->u.value)  /* is it open? */
83*eda14cbcSMatt Macy     unlinkupval(uv);  /* remove from open list */
84*eda14cbcSMatt Macy   luaM_free(L, uv);  /* free upvalue */
85*eda14cbcSMatt Macy }
86*eda14cbcSMatt Macy 
87*eda14cbcSMatt Macy 
88*eda14cbcSMatt Macy void luaF_close (lua_State *L, StkId level) {
89*eda14cbcSMatt Macy   UpVal *uv;
90*eda14cbcSMatt Macy   global_State *g = G(L);
91*eda14cbcSMatt Macy   while (L->openupval != NULL && (uv = gco2uv(L->openupval))->v >= level) {
92*eda14cbcSMatt Macy     GCObject *o = obj2gco(uv);
93*eda14cbcSMatt Macy     lua_assert(!isblack(o) && uv->v != &uv->u.value);
94*eda14cbcSMatt Macy     L->openupval = uv->next;  /* remove from `open' list */
95*eda14cbcSMatt Macy     if (isdead(g, o))
96*eda14cbcSMatt Macy       luaF_freeupval(L, uv);  /* free upvalue */
97*eda14cbcSMatt Macy     else {
98*eda14cbcSMatt Macy       unlinkupval(uv);  /* remove upvalue from 'uvhead' list */
99*eda14cbcSMatt Macy       setobj(L, &uv->u.value, uv->v);  /* move value to upvalue slot */
100*eda14cbcSMatt Macy       uv->v = &uv->u.value;  /* now current value lives here */
101*eda14cbcSMatt Macy       gch(o)->next = g->allgc;  /* link upvalue into 'allgc' list */
102*eda14cbcSMatt Macy       g->allgc = o;
103*eda14cbcSMatt Macy       luaC_checkupvalcolor(g, uv);
104*eda14cbcSMatt Macy     }
105*eda14cbcSMatt Macy   }
106*eda14cbcSMatt Macy }
107*eda14cbcSMatt Macy 
108*eda14cbcSMatt Macy 
109*eda14cbcSMatt Macy Proto *luaF_newproto (lua_State *L) {
110*eda14cbcSMatt Macy   Proto *f = &luaC_newobj(L, LUA_TPROTO, sizeof(Proto), NULL, 0)->p;
111*eda14cbcSMatt Macy   f->k = NULL;
112*eda14cbcSMatt Macy   f->sizek = 0;
113*eda14cbcSMatt Macy   f->p = NULL;
114*eda14cbcSMatt Macy   f->sizep = 0;
115*eda14cbcSMatt Macy   f->code = NULL;
116*eda14cbcSMatt Macy   f->cache = NULL;
117*eda14cbcSMatt Macy   f->sizecode = 0;
118*eda14cbcSMatt Macy   f->lineinfo = NULL;
119*eda14cbcSMatt Macy   f->sizelineinfo = 0;
120*eda14cbcSMatt Macy   f->upvalues = NULL;
121*eda14cbcSMatt Macy   f->sizeupvalues = 0;
122*eda14cbcSMatt Macy   f->numparams = 0;
123*eda14cbcSMatt Macy   f->is_vararg = 0;
124*eda14cbcSMatt Macy   f->maxstacksize = 0;
125*eda14cbcSMatt Macy   f->locvars = NULL;
126*eda14cbcSMatt Macy   f->sizelocvars = 0;
127*eda14cbcSMatt Macy   f->linedefined = 0;
128*eda14cbcSMatt Macy   f->lastlinedefined = 0;
129*eda14cbcSMatt Macy   f->source = NULL;
130*eda14cbcSMatt Macy   return f;
131*eda14cbcSMatt Macy }
132*eda14cbcSMatt Macy 
133*eda14cbcSMatt Macy 
134*eda14cbcSMatt Macy void luaF_freeproto (lua_State *L, Proto *f) {
135*eda14cbcSMatt Macy   luaM_freearray(L, f->code, f->sizecode);
136*eda14cbcSMatt Macy   luaM_freearray(L, f->p, f->sizep);
137*eda14cbcSMatt Macy   luaM_freearray(L, f->k, f->sizek);
138*eda14cbcSMatt Macy   luaM_freearray(L, f->lineinfo, f->sizelineinfo);
139*eda14cbcSMatt Macy   luaM_freearray(L, f->locvars, f->sizelocvars);
140*eda14cbcSMatt Macy   luaM_freearray(L, f->upvalues, f->sizeupvalues);
141*eda14cbcSMatt Macy   luaM_free(L, f);
142*eda14cbcSMatt Macy }
143*eda14cbcSMatt Macy 
144*eda14cbcSMatt Macy 
145*eda14cbcSMatt Macy /*
146*eda14cbcSMatt Macy ** Look for n-th local variable at line `line' in function `func'.
147*eda14cbcSMatt Macy ** Returns NULL if not found.
148*eda14cbcSMatt Macy */
149*eda14cbcSMatt Macy const char *luaF_getlocalname (const Proto *f, int local_number, int pc) {
150*eda14cbcSMatt Macy   int i;
151*eda14cbcSMatt Macy   for (i = 0; i<f->sizelocvars && f->locvars[i].startpc <= pc; i++) {
152*eda14cbcSMatt Macy     if (pc < f->locvars[i].endpc) {  /* is variable active? */
153*eda14cbcSMatt Macy       local_number--;
154*eda14cbcSMatt Macy       if (local_number == 0)
155*eda14cbcSMatt Macy         return getstr(f->locvars[i].varname);
156*eda14cbcSMatt Macy     }
157*eda14cbcSMatt Macy   }
158*eda14cbcSMatt Macy   return NULL;  /* not found */
159*eda14cbcSMatt Macy }
160*eda14cbcSMatt Macy /* END CSTYLED */
161