xref: /netbsd-src/external/mit/lua/dist/src/ldump.c (revision bdda0531de537df87feb2bf576711ab1be9b3675)
1*bdda0531Snikita /*	$NetBSD: ldump.c,v 1.12 2023/06/08 21:12:08 nikita Exp $	*/
2dbec5304Smbalmer 
3dbec5304Smbalmer /*
4f0dad708Snikita ** Id: ldump.c
5dbec5304Smbalmer ** save precompiled Lua chunks
6dbec5304Smbalmer ** See Copyright Notice in lua.h
7dbec5304Smbalmer */
8dbec5304Smbalmer 
973008250Slneto #define ldump_c
1073008250Slneto #define LUA_CORE
1173008250Slneto 
1273008250Slneto #include "lprefix.h"
1373008250Slneto 
1473008250Slneto 
154ab4902eSlneto #ifndef _KERNEL
1679fd713aSnikita #include <limits.h>
17*bdda0531Snikita #include <stddef.h>
182d6cb6c2Slneto #endif /* _KERNEL */
19dbec5304Smbalmer 
20dbec5304Smbalmer #include "lua.h"
21dbec5304Smbalmer 
22dbec5304Smbalmer #include "lobject.h"
23dbec5304Smbalmer #include "lstate.h"
24dbec5304Smbalmer #include "lundump.h"
25dbec5304Smbalmer 
264ab4902eSlneto 
27dbec5304Smbalmer typedef struct {
28dbec5304Smbalmer   lua_State *L;
29dbec5304Smbalmer   lua_Writer writer;
30dbec5304Smbalmer   void *data;
31dbec5304Smbalmer   int strip;
32dbec5304Smbalmer   int status;
33dbec5304Smbalmer } DumpState;
34dbec5304Smbalmer 
35dbec5304Smbalmer 
364ab4902eSlneto /*
37f0dad708Snikita ** All high-level dumps go through dumpVector; you can change it to
384ab4902eSlneto ** change the endianness of the result
394ab4902eSlneto */
40f0dad708Snikita #define dumpVector(D,v,n)	dumpBlock(D,v,(n)*sizeof((v)[0]))
414ab4902eSlneto 
42f0dad708Snikita #define dumpLiteral(D, s)	dumpBlock(D,s,sizeof(s) - sizeof(char))
434ab4902eSlneto 
444ab4902eSlneto 
dumpBlock(DumpState * D,const void * b,size_t size)45f0dad708Snikita static void dumpBlock (DumpState *D, const void *b, size_t size) {
462d6cb6c2Slneto   if (D->status == 0 && size > 0) {
47dbec5304Smbalmer     lua_unlock(D->L);
48dbec5304Smbalmer     D->status = (*D->writer)(D->L, b, size, D->data);
49dbec5304Smbalmer     lua_lock(D->L);
50dbec5304Smbalmer   }
51dbec5304Smbalmer }
52dbec5304Smbalmer 
534ab4902eSlneto 
54f0dad708Snikita #define dumpVar(D,x)		dumpVector(D,&x,1)
554ab4902eSlneto 
564ab4902eSlneto 
dumpByte(DumpState * D,int y)57f0dad708Snikita static void dumpByte (DumpState *D, int y) {
584ab4902eSlneto   lu_byte x = (lu_byte)y;
59f0dad708Snikita   dumpVar(D, x);
60dbec5304Smbalmer }
61dbec5304Smbalmer 
624ab4902eSlneto 
6379fd713aSnikita #ifdef _KERNEL
64f0dad708Snikita /* dumpInt Buff Size */
65f0dad708Snikita #define DIBS    ((sizeof(size_t) * 8 / 7) + 1)
6679fd713aSnikita #endif /* _KERNEL */
6779fd713aSnikita #ifndef _KERNEL
6879fd713aSnikita /*
6979fd713aSnikita ** 'dumpSize' buffer size: each byte can store up to 7 bits. (The "+6"
7079fd713aSnikita ** rounds up the division.)
7179fd713aSnikita */
7279fd713aSnikita #define DIBS    ((sizeof(size_t) * CHAR_BIT + 6) / 7)
7379fd713aSnikita #endif /* _KERNEL */
74f0dad708Snikita 
75*bdda0531Snikita 
dumpSize(DumpState * D,size_t x)76f0dad708Snikita static void dumpSize (DumpState *D, size_t x) {
77f0dad708Snikita   lu_byte buff[DIBS];
78f0dad708Snikita   int n = 0;
79f0dad708Snikita   do {
80f0dad708Snikita     buff[DIBS - (++n)] = x & 0x7f;  /* fill buffer in reverse order */
81f0dad708Snikita     x >>= 7;
82f0dad708Snikita   } while (x != 0);
83f0dad708Snikita   buff[DIBS - 1] |= 0x80;  /* mark last byte */
84f0dad708Snikita   dumpVector(D, buff + DIBS - n, n);
85dbec5304Smbalmer }
86dbec5304Smbalmer 
874ab4902eSlneto 
dumpInt(DumpState * D,int x)88f0dad708Snikita static void dumpInt (DumpState *D, int x) {
89f0dad708Snikita   dumpSize(D, x);
90dbec5304Smbalmer }
91dbec5304Smbalmer 
924ab4902eSlneto 
dumpNumber(DumpState * D,lua_Number x)93f0dad708Snikita static void dumpNumber (DumpState *D, lua_Number x) {
94f0dad708Snikita   dumpVar(D, x);
95dbec5304Smbalmer }
96dbec5304Smbalmer 
974ab4902eSlneto 
dumpInteger(DumpState * D,lua_Integer x)98f0dad708Snikita static void dumpInteger (DumpState *D, lua_Integer x) {
99f0dad708Snikita   dumpVar(D, x);
100f0dad708Snikita }
101f0dad708Snikita 
102f0dad708Snikita 
dumpString(DumpState * D,const TString * s)103f0dad708Snikita static void dumpString (DumpState *D, const TString *s) {
1044ab4902eSlneto   if (s == NULL)
105f0dad708Snikita     dumpSize(D, 0);
1064ab4902eSlneto   else {
107f0dad708Snikita     size_t size = tsslen(s);
108bee09862Smbalmer     const char *str = getstr(s);
109f0dad708Snikita     dumpSize(D, size + 1);
110f0dad708Snikita     dumpVector(D, str, size);
111dbec5304Smbalmer   }
112dbec5304Smbalmer }
113dbec5304Smbalmer 
114dbec5304Smbalmer 
dumpCode(DumpState * D,const Proto * f)115f0dad708Snikita static void dumpCode (DumpState *D, const Proto *f) {
116f0dad708Snikita   dumpInt(D, f->sizecode);
117f0dad708Snikita   dumpVector(D, f->code, f->sizecode);
1184ab4902eSlneto }
119dbec5304Smbalmer 
1204ab4902eSlneto 
121f0dad708Snikita static void dumpFunction(DumpState *D, const Proto *f, TString *psource);
1224ab4902eSlneto 
dumpConstants(DumpState * D,const Proto * f)123f0dad708Snikita static void dumpConstants (DumpState *D, const Proto *f) {
1244ab4902eSlneto   int i;
1254ab4902eSlneto   int n = f->sizek;
126f0dad708Snikita   dumpInt(D, n);
1274ab4902eSlneto   for (i = 0; i < n; i++) {
128dbec5304Smbalmer     const TValue *o = &f->k[i];
129f0dad708Snikita     int tt = ttypetag(o);
130f0dad708Snikita     dumpByte(D, tt);
131f0dad708Snikita     switch (tt) {
1324ab4902eSlneto #ifndef _KERNEL
133f0dad708Snikita       case LUA_VNUMFLT:
134f0dad708Snikita         dumpNumber(D, fltvalue(o));
135dbec5304Smbalmer         break;
1362d6cb6c2Slneto #endif /* _KERNEL */
137f0dad708Snikita       case LUA_VNUMINT:
138f0dad708Snikita         dumpInteger(D, ivalue(o));
1394ab4902eSlneto         break;
140f0dad708Snikita       case LUA_VSHRSTR:
141f0dad708Snikita       case LUA_VLNGSTR:
142f0dad708Snikita         dumpString(D, tsvalue(o));
143dbec5304Smbalmer         break;
144dbec5304Smbalmer       default:
145f0dad708Snikita         lua_assert(tt == LUA_VNIL || tt == LUA_VFALSE || tt == LUA_VTRUE);
146dbec5304Smbalmer     }
147dbec5304Smbalmer   }
148dbec5304Smbalmer }
149dbec5304Smbalmer 
1504ab4902eSlneto 
dumpProtos(DumpState * D,const Proto * f)151f0dad708Snikita static void dumpProtos (DumpState *D, const Proto *f) {
1524ab4902eSlneto   int i;
1534ab4902eSlneto   int n = f->sizep;
154f0dad708Snikita   dumpInt(D, n);
155dbec5304Smbalmer   for (i = 0; i < n; i++)
156f0dad708Snikita     dumpFunction(D, f->p[i], f->source);
1574ab4902eSlneto }
1584ab4902eSlneto 
1594ab4902eSlneto 
dumpUpvalues(DumpState * D,const Proto * f)160f0dad708Snikita static void dumpUpvalues (DumpState *D, const Proto *f) {
1614ab4902eSlneto   int i, n = f->sizeupvalues;
162f0dad708Snikita   dumpInt(D, n);
1634ab4902eSlneto   for (i = 0; i < n; i++) {
164f0dad708Snikita     dumpByte(D, f->upvalues[i].instack);
165f0dad708Snikita     dumpByte(D, f->upvalues[i].idx);
166f0dad708Snikita     dumpByte(D, f->upvalues[i].kind);
1674ab4902eSlneto   }
1684ab4902eSlneto }
1694ab4902eSlneto 
1704ab4902eSlneto 
dumpDebug(DumpState * D,const Proto * f)171f0dad708Snikita static void dumpDebug (DumpState *D, const Proto *f) {
1724ab4902eSlneto   int i, n;
1734ab4902eSlneto   n = (D->strip) ? 0 : f->sizelineinfo;
174f0dad708Snikita   dumpInt(D, n);
175f0dad708Snikita   dumpVector(D, f->lineinfo, n);
176f0dad708Snikita   n = (D->strip) ? 0 : f->sizeabslineinfo;
177f0dad708Snikita   dumpInt(D, n);
1784ab4902eSlneto   for (i = 0; i < n; i++) {
179f0dad708Snikita     dumpInt(D, f->abslineinfo[i].pc);
180f0dad708Snikita     dumpInt(D, f->abslineinfo[i].line);
181f0dad708Snikita   }
182f0dad708Snikita   n = (D->strip) ? 0 : f->sizelocvars;
183f0dad708Snikita   dumpInt(D, n);
184f0dad708Snikita   for (i = 0; i < n; i++) {
185f0dad708Snikita     dumpString(D, f->locvars[i].varname);
186f0dad708Snikita     dumpInt(D, f->locvars[i].startpc);
187f0dad708Snikita     dumpInt(D, f->locvars[i].endpc);
188dbec5304Smbalmer   }
189dbec5304Smbalmer   n = (D->strip) ? 0 : f->sizeupvalues;
190f0dad708Snikita   dumpInt(D, n);
1914ab4902eSlneto   for (i = 0; i < n; i++)
192f0dad708Snikita     dumpString(D, f->upvalues[i].name);
193dbec5304Smbalmer }
194dbec5304Smbalmer 
1954ab4902eSlneto 
dumpFunction(DumpState * D,const Proto * f,TString * psource)196f0dad708Snikita static void dumpFunction (DumpState *D, const Proto *f, TString *psource) {
1974ab4902eSlneto   if (D->strip || f->source == psource)
198f0dad708Snikita     dumpString(D, NULL);  /* no debug info or same source as its parent */
1994ab4902eSlneto   else
200f0dad708Snikita     dumpString(D, f->source);
201f0dad708Snikita   dumpInt(D, f->linedefined);
202f0dad708Snikita   dumpInt(D, f->lastlinedefined);
203f0dad708Snikita   dumpByte(D, f->numparams);
204f0dad708Snikita   dumpByte(D, f->is_vararg);
205f0dad708Snikita   dumpByte(D, f->maxstacksize);
206f0dad708Snikita   dumpCode(D, f);
207f0dad708Snikita   dumpConstants(D, f);
208f0dad708Snikita   dumpUpvalues(D, f);
209f0dad708Snikita   dumpProtos(D, f);
210f0dad708Snikita   dumpDebug(D, f);
211dbec5304Smbalmer }
212dbec5304Smbalmer 
2134ab4902eSlneto 
dumpHeader(DumpState * D)214f0dad708Snikita static void dumpHeader (DumpState *D) {
215f0dad708Snikita   dumpLiteral(D, LUA_SIGNATURE);
216f0dad708Snikita   dumpByte(D, LUAC_VERSION);
217f0dad708Snikita   dumpByte(D, LUAC_FORMAT);
218f0dad708Snikita   dumpLiteral(D, LUAC_DATA);
219f0dad708Snikita   dumpByte(D, sizeof(Instruction));
220f0dad708Snikita   dumpByte(D, sizeof(lua_Integer));
221f0dad708Snikita   dumpByte(D, sizeof(lua_Number));
222f0dad708Snikita   dumpInteger(D, LUAC_INT);
223f0dad708Snikita   dumpNumber(D, LUAC_NUM);
224dbec5304Smbalmer }
225dbec5304Smbalmer 
2264ab4902eSlneto 
227dbec5304Smbalmer /*
228dbec5304Smbalmer ** dump Lua function as precompiled chunk
229dbec5304Smbalmer */
luaU_dump(lua_State * L,const Proto * f,lua_Writer w,void * data,int strip)2304ab4902eSlneto int luaU_dump(lua_State *L, const Proto *f, lua_Writer w, void *data,
2314ab4902eSlneto               int strip) {
232dbec5304Smbalmer   DumpState D;
233dbec5304Smbalmer   D.L = L;
234dbec5304Smbalmer   D.writer = w;
235dbec5304Smbalmer   D.data = data;
236dbec5304Smbalmer   D.strip = strip;
237dbec5304Smbalmer   D.status = 0;
238f0dad708Snikita   dumpHeader(&D);
239f0dad708Snikita   dumpByte(&D, f->sizeupvalues);
240f0dad708Snikita   dumpFunction(&D, f, NULL);
241dbec5304Smbalmer   return D.status;
242dbec5304Smbalmer }
2434ab4902eSlneto 
244