• Home
  • Features
  • Pricing
  • Docs
  • Announcements
  • Sign In

tarantool / luajit / 10902989075

17 Sep 2024 12:25PM UTC coverage: 92.882% (-0.02%) from 92.902%
10902989075

push

github

mandesero
FFI: Don't load PC from non-function object in FFI continuation.

Reported by Yichun Zhang. #743

(cherry picked from commit 003f68565)

5687 of 6026 branches covered (94.37%)

Branch coverage included in aggregate %.

21675 of 23433 relevant lines covered (92.5%)

2937101.53 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

99.22
/src/lj_func.c
1
/*
2
** Function handling (prototypes, functions and upvalues).
3
** Copyright (C) 2005-2017 Mike Pall. See Copyright Notice in luajit.h
4
**
5
** Portions taken verbatim or adapted from the Lua interpreter.
6
** Copyright (C) 1994-2008 Lua.org, PUC-Rio. See Copyright Notice in lua.h
7
*/
8

9
#define lj_func_c
10
#define LUA_CORE
11

12
#include "lj_obj.h"
13
#include "lj_gc.h"
14
#include "lj_func.h"
15
#include "lj_trace.h"
16
#include "lj_vm.h"
17

18
/* -- Prototypes ---------------------------------------------------------- */
19

20
void LJ_FASTCALL lj_func_freeproto(global_State *g, GCproto *pt)
61,408✔
21
{
22
  lj_mem_free(g, pt, pt->sizept);
61,408✔
23
}
61,408✔
24

25
/* -- Upvalues ------------------------------------------------------------ */
26

27
static void unlinkuv(global_State *g, GCupval *uv)
16,985✔
28
{
29
  UNUSED(g);
16,985✔
30
  lj_assertG(uvprev(uvnext(uv)) == uv && uvnext(uvprev(uv)) == uv,
16,985✔
31
             "broken upvalue chain");
32
  setgcrefr(uvnext(uv)->prev, uv->prev);
16,985✔
33
  setgcrefr(uvprev(uv)->next, uv->next);
16,985✔
34
}
2,032✔
35

36
/* Find existing open upvalue for a stack slot or create a new one. */
37
static GCupval *func_finduv(lua_State *L, TValue *slot)
26,326✔
38
{
39
  global_State *g = G(L);
26,326✔
40
  GCRef *pp = &L->openupval;
26,326✔
41
  GCupval *p;
26,326✔
42
  GCupval *uv;
26,326✔
43
  /* Search the sorted list of open upvalues. */
44
  while (gcref(*pp) != NULL && uvval((p = gco2uv(gcref(*pp)))) >= slot) {
91,505✔
45
    lj_assertG(!p->closed && uvval(p) != &p->tv, "closed upvalue in chain");
74,520✔
46
    if (uvval(p) == slot) {  /* Found open upvalue pointing to same slot? */
74,520✔
47
      if (isdead(g, obj2gco(p)))  /* Resurrect it, if it's dead. */
9,341✔
48
        flipwhite(obj2gco(p));
×
49
      return p;
9,341✔
50
    }
51
    pp = &p->nextgc;
65,179✔
52
  }
53
  /* No matching upvalue found. Create a new one. */
54
  uv = lj_mem_newt(L, sizeof(GCupval), GCupval);
16,985✔
55
  newwhite(g, uv);
16,985✔
56
  uv->gct = ~LJ_TUPVAL;
16,985✔
57
  uv->closed = 0;  /* Still open. */
16,985✔
58
  setmref(uv->v, slot);  /* Pointing to the stack slot. */
16,985✔
59
  /* NOBARRIER: The GCupval is new (marked white) and open. */
60
  setgcrefr(uv->nextgc, *pp);  /* Insert into sorted list of open upvalues. */
16,985✔
61
  setgcref(*pp, obj2gco(uv));
16,985✔
62
  setgcref(uv->prev, obj2gco(&g->uvhead));  /* Insert into GC list, too. */
16,985✔
63
  setgcrefr(uv->next, g->uvhead.next);
16,985✔
64
  setgcref(uvnext(uv)->prev, obj2gco(uv));
16,985✔
65
  setgcref(g->uvhead.next, obj2gco(uv));
16,985✔
66
  lj_assertG(uvprev(uvnext(uv)) == uv && uvnext(uvprev(uv)) == uv,
16,985✔
67
             "broken upvalue chain");
68
  return uv;
16,985✔
69
}
70

71
/* Create an empty and closed upvalue. */
72
static GCupval *func_emptyuv(lua_State *L)
5✔
73
{
74
  GCupval *uv = (GCupval *)lj_mem_newgco(L, sizeof(GCupval));
10✔
75
  uv->gct = ~LJ_TUPVAL;
5✔
76
  uv->closed = 1;
5✔
77
  setnilV(&uv->tv);
5✔
78
  setmref(uv->v, &uv->tv);
5✔
79
  return uv;
5✔
80
}
81

82
/* Close all open upvalues pointing to some stack level or above. */
83
void LJ_FASTCALL lj_func_closeuv(lua_State *L, TValue *level)
58,911✔
84
{
85
  GCupval *uv;
58,911✔
86
  global_State *g = G(L);
58,911✔
87
  while (gcref(L->openupval) != NULL &&
73,872✔
88
         uvval((uv = gco2uv(gcref(L->openupval)))) >= level) {
67,489✔
89
    GCobj *o = obj2gco(uv);
14,961✔
90
    lj_assertG(!isblack(o), "bad black upvalue");
14,961✔
91
    lj_assertG(!uv->closed && uvval(uv) != &uv->tv, "closed upvalue in chain");
14,961✔
92
    setgcrefr(L->openupval, uv->nextgc);  /* No longer in open list. */
14,961✔
93
    if (isdead(g, o)) {
14,961✔
94
      lj_func_freeuv(g, uv);
8✔
95
    } else {
96
      unlinkuv(g, uv);
14,953✔
97
      lj_gc_closeuv(g, uv);
14,953✔
98
    }
99
  }
100
}
58,911✔
101

102
void LJ_FASTCALL lj_func_freeuv(global_State *g, GCupval *uv)
16,808✔
103
{
104
  if (!uv->closed)
16,808✔
105
    unlinkuv(g, uv);
2,032✔
106
  lj_mem_freet(g, uv);
16,808✔
107
}
16,808✔
108

109
/* -- Functions (closures) ------------------------------------------------ */
110

111
GCfunc *lj_func_newC(lua_State *L, MSize nelems, GCtab *env)
68,857✔
112
{
113
  GCfunc *fn = (GCfunc *)lj_mem_newgco(L, sizeCfunc(nelems));
68,857✔
114
  fn->c.gct = ~LJ_TFUNC;
68,857✔
115
  fn->c.ffid = FF_C;
68,857✔
116
  fn->c.nupvalues = (uint8_t)nelems;
68,857✔
117
  /* NOBARRIER: The GCfunc is new (marked white). */
118
  setmref(fn->c.pc, &G(L)->bc_cfunc_ext);
68,857✔
119
  setgcref(fn->c.env, obj2gco(env));
68,857✔
120
  return fn;
68,857✔
121
}
122

123
static GCfunc *func_newL(lua_State *L, GCproto *pt, GCtab *env)
1,227,244✔
124
{
125
  uint32_t count;
1,227,244✔
126
  GCfunc *fn = (GCfunc *)lj_mem_newgco(L, sizeLfunc((MSize)pt->sizeuv));
1,227,244✔
127
  fn->l.gct = ~LJ_TFUNC;
1,227,244✔
128
  fn->l.ffid = FF_LUA;
1,227,244✔
129
  fn->l.nupvalues = 0;  /* Set to zero until upvalues are initialized. */
1,227,244✔
130
  /* NOBARRIER: Really a setgcref. But the GCfunc is new (marked white). */
131
  setmref(fn->l.pc, proto_bc(pt));
1,227,244✔
132
  setgcref(fn->l.env, obj2gco(env));
1,227,244✔
133
  /* Saturating 3 bit counter (0..7) for created closures. */
134
  count = (uint32_t)pt->flags + PROTO_CLCOUNT;
1,227,244✔
135
  pt->flags = (uint8_t)(count - ((count >> PROTO_CLC_BITS) & PROTO_CLCOUNT));
1,227,244✔
136
  return fn;
1,227,244✔
137
}
138

139
/* Create a new Lua function with empty upvalues. */
140
GCfunc *lj_func_newL_empty(lua_State *L, GCproto *pt, GCtab *env)
43,375✔
141
{
142
  GCfunc *fn = func_newL(L, pt, env);
43,375✔
143
  MSize i, nuv = pt->sizeuv;
43,375✔
144
  /* NOBARRIER: The GCfunc is new (marked white). */
145
  for (i = 0; i < nuv; i++) {
43,380✔
146
    GCupval *uv = func_emptyuv(L);
5✔
147
    int32_t v = proto_uv(pt)[i];
5✔
148
    uv->immutable = ((v / PROTO_UV_IMMUTABLE) & 1);
5✔
149
    uv->dhash = (uint32_t)(uintptr_t)pt ^ (v << 24);
5✔
150
    setgcref(fn->l.uvptr[i], obj2gco(uv));
5✔
151
  }
152
  fn->l.nupvalues = (uint8_t)nuv;
43,375✔
153
  return fn;
43,375✔
154
}
155

156
/* Do a GC check and create a new Lua function with inherited upvalues. */
157
GCfunc *lj_func_newL_gc(lua_State *L, GCproto *pt, GCfuncL *parent)
1,183,869✔
158
{
159
  GCfunc *fn;
1,183,869✔
160
  GCRef *puv;
1,183,869✔
161
  MSize i, nuv;
1,183,869✔
162
  TValue *base;
1,183,869✔
163
  lj_gc_check_fixtop(L);
1,183,869✔
164
  fn = func_newL(L, pt, tabref(parent->env));
1,183,869✔
165
  /* NOBARRIER: The GCfunc is new (marked white). */
166
  puv = parent->uvptr;
1,183,869✔
167
  nuv = pt->sizeuv;
1,183,869✔
168
  base = L->base;
1,183,869✔
169
  for (i = 0; i < nuv; i++) {
1,213,941✔
170
    uint32_t v = proto_uv(pt)[i];
30,072✔
171
    GCupval *uv;
30,072✔
172
    if ((v & PROTO_UV_LOCAL)) {
30,072✔
173
      uv = func_finduv(L, base + (v & 0xff));
26,326✔
174
      uv->immutable = ((v / PROTO_UV_IMMUTABLE) & 1);
26,326✔
175
      uv->dhash = (uint32_t)(uintptr_t)mref(parent->pc, char) ^ (v << 24);
26,326✔
176
    } else {
177
      uv = &gcref(puv[v])->uv;
3,746✔
178
    }
179
    setgcref(fn->l.uvptr[i], obj2gco(uv));
30,072✔
180
  }
181
  fn->l.nupvalues = (uint8_t)nuv;
1,183,869✔
182
  return fn;
1,183,869✔
183
}
184

185
void LJ_FASTCALL lj_func_free(global_State *g, GCfunc *fn)
1,293,889✔
186
{
187
  MSize size = isluafunc(fn) ? sizeLfunc((MSize)fn->l.nupvalues) :
1,293,889✔
188
                               sizeCfunc((MSize)fn->c.nupvalues);
66,942✔
189
  lj_mem_free(g, fn, size);
1,293,889✔
190
}
1,293,889✔
191

STATUS · Troubleshooting · Open an Issue · Sales · Support · CAREERS · ENTERPRISE · START FREE · SCHEDULE DEMO
ANNOUNCEMENTS · TWITTER · TOS & SLA · Supported CI Services · What's a CI service? · Automated Testing

© 2025 Coveralls, Inc