lua/lundump.c

268 lines
5.7 KiB
C
Raw Normal View History

1998-01-14 16:49:01 +01:00
/*
1999-04-07 17:37:02 +02:00
** $Id: lundump.c,v 1.8 1999/03/30 20:29:34 roberto Exp roberto $
1998-01-14 16:49:01 +01:00
** load bytecodes from files
** See Copyright Notice in lua.h
*/
#include <stdio.h>
1999-03-30 22:29:34 +02:00
#include <string.h>
1998-01-14 16:49:01 +01:00
#include "lauxlib.h"
#include "lfunc.h"
#include "lmem.h"
1999-03-30 22:29:34 +02:00
#include "lopcodes.h"
1998-01-14 16:49:01 +01:00
#include "lstring.h"
#include "lundump.h"
1998-03-26 15:50:19 +01:00
#define LoadBlock(b,size,Z) ezread(Z,b,size)
1998-06-25 18:48:44 +02:00
#define LoadNative(t,Z) LoadBlock(&t,sizeof(t),Z)
1998-03-26 15:50:19 +01:00
1998-06-25 18:48:44 +02:00
#if ID_NUMBER==ID_NATIVE
#define doLoadNumber(f,Z) LoadNative(f,Z)
1998-03-26 15:50:19 +01:00
#else
1998-06-25 18:48:44 +02:00
#define doLoadNumber(f,Z) f=LoadNumber(Z)
1998-03-26 15:50:19 +01:00
#endif
1998-01-14 16:49:01 +01:00
1998-12-15 15:59:43 +01:00
static void unexpectedEOZ (ZIO* Z)
1998-01-14 16:49:01 +01:00
{
1998-03-26 15:50:19 +01:00
luaL_verror("unexpected end of file in %s",zname(Z));
1998-01-14 16:49:01 +01:00
}
1998-12-15 15:59:43 +01:00
static int ezgetc (ZIO* Z)
1998-01-14 16:49:01 +01:00
{
int c=zgetc(Z);
if (c==EOZ) unexpectedEOZ(Z);
return c;
}
1998-12-15 15:59:43 +01:00
static void ezread (ZIO* Z, void* b, int n)
1998-01-14 16:49:01 +01:00
{
int r=zread(Z,b,n);
if (r!=0) unexpectedEOZ(Z);
}
1998-12-15 15:59:43 +01:00
static unsigned int LoadWord (ZIO* Z)
1998-01-14 16:49:01 +01:00
{
1998-03-26 15:50:19 +01:00
unsigned int hi=ezgetc(Z);
unsigned int lo=ezgetc(Z);
1998-01-14 16:49:01 +01:00
return (hi<<8)|lo;
}
1998-12-15 15:59:43 +01:00
static unsigned long LoadLong (ZIO* Z)
1998-01-14 16:49:01 +01:00
{
1998-03-26 15:50:19 +01:00
unsigned long hi=LoadWord(Z);
unsigned long lo=LoadWord(Z);
return (hi<<16)|lo;
1998-01-14 16:49:01 +01:00
}
1999-03-30 22:29:34 +02:00
#if ID_NUMBER==ID_REAL4 /* LUA_NUMBER */
1998-03-26 15:50:19 +01:00
/* assumes sizeof(long)==4 and sizeof(float)==4 (IEEE) */
1998-12-15 15:59:43 +01:00
static float LoadFloat (ZIO* Z)
1998-01-14 16:49:01 +01:00
{
1998-06-18 18:52:04 +02:00
unsigned long l=LoadLong(Z);
1999-03-30 22:29:34 +02:00
float f;
memcpy(&f,&l,sizeof(f));
1998-03-26 15:50:19 +01:00
return f;
1998-01-14 16:49:01 +01:00
}
1998-06-18 18:52:04 +02:00
#endif
1998-01-14 16:49:01 +01:00
1999-03-30 22:29:34 +02:00
#if ID_NUMBER==ID_REAL8 /* LUA_NUMBER */
1998-03-26 15:50:19 +01:00
/* assumes sizeof(long)==4 and sizeof(double)==8 (IEEE) */
1998-12-15 15:59:43 +01:00
static double LoadDouble (ZIO* Z)
1998-01-14 16:49:01 +01:00
{
1998-06-18 18:52:04 +02:00
unsigned long l[2];
1998-03-26 15:50:19 +01:00
double f;
int x=1;
if (*(char*)&x==1) /* little-endian */
1998-01-14 16:49:01 +01:00
{
1998-03-26 15:50:19 +01:00
l[1]=LoadLong(Z);
l[0]=LoadLong(Z);
1998-01-14 16:49:01 +01:00
}
1998-03-26 15:50:19 +01:00
else /* big-endian */
{
l[0]=LoadLong(Z);
l[1]=LoadLong(Z);
}
1999-03-30 22:29:34 +02:00
memcpy(&f,l,sizeof(f));
1998-03-26 15:50:19 +01:00
return f;
1998-01-14 16:49:01 +01:00
}
1998-06-18 18:52:04 +02:00
#endif
1998-01-14 16:49:01 +01:00
1999-03-30 22:29:34 +02:00
static int LoadInt (ZIO* Z, char* message)
{
unsigned long l=LoadLong(Z);
unsigned int i=l;
if (i!=l) luaL_verror(message,l,zname(Z));
return i;
}
#define PAD 5 /* two word operands plus opcode */
1998-12-15 15:59:43 +01:00
static Byte* LoadCode (ZIO* Z)
1998-01-14 16:49:01 +01:00
{
1999-03-30 22:29:34 +02:00
int size=LoadInt(Z,"code too long (%ld bytes) in %s");
Byte* b=luaM_malloc(size+PAD);
1998-03-26 15:50:19 +01:00
LoadBlock(b,size,Z);
1999-03-30 22:29:34 +02:00
if (b[size-1]!=ENDCODE) luaL_verror("bad code in %s",zname(Z));
memset(b+size,ENDCODE,PAD); /* pad for safety */
1998-03-26 15:50:19 +01:00
return b;
1998-01-14 16:49:01 +01:00
}
1998-12-15 15:59:43 +01:00
static TaggedString* LoadTString (ZIO* Z)
1998-01-14 16:49:01 +01:00
{
1999-03-30 22:29:34 +02:00
long size=LoadLong(Z);
1998-03-26 15:50:19 +01:00
if (size==0)
return NULL;
1998-01-14 16:49:01 +01:00
else
{
1998-03-26 15:50:19 +01:00
char* s=luaL_openspace(size);
LoadBlock(s,size,Z);
return luaS_newlstr(s,size-1);
1998-01-14 16:49:01 +01:00
}
}
1998-12-15 15:59:43 +01:00
static void LoadLocals (TProtoFunc* tf, ZIO* Z)
1998-01-14 16:49:01 +01:00
{
1999-03-30 22:29:34 +02:00
int i,n=LoadInt(Z,"too many locals (%ld) in %s");
1998-01-14 16:49:01 +01:00
if (n==0) return;
tf->locvars=luaM_newvector(n+1,LocVar);
for (i=0; i<n; i++)
{
1999-03-30 22:29:34 +02:00
tf->locvars[i].line=LoadInt(Z,"too many lines (%ld) in %s");
1998-01-14 16:49:01 +01:00
tf->locvars[i].varname=LoadTString(Z);
}
tf->locvars[i].line=-1; /* flag end of vector */
tf->locvars[i].varname=NULL;
}
1999-04-07 17:37:02 +02:00
static TProtoFunc* LoadFunction (ZIO* Z);
1998-03-26 15:50:19 +01:00
1998-12-15 15:59:43 +01:00
static void LoadConstants (TProtoFunc* tf, ZIO* Z)
1998-01-14 16:49:01 +01:00
{
1999-03-30 22:29:34 +02:00
int i,n=LoadInt(Z,"too many constants (%ld) in %s");
1998-01-14 16:49:01 +01:00
tf->nconsts=n;
if (n==0) return;
tf->consts=luaM_newvector(n,TObject);
for (i=0; i<n; i++)
{
TObject* o=tf->consts+i;
1999-03-30 22:29:34 +02:00
ttype(o)=-ezgetc(Z); /* ttype(o) is negative - ORDER LUA_T */
switch (ttype(o))
1998-01-14 16:49:01 +01:00
{
1999-03-30 22:29:34 +02:00
case LUA_T_NUMBER:
1998-06-25 18:48:44 +02:00
doLoadNumber(nvalue(o),Z);
1998-01-14 16:49:01 +01:00
break;
1999-03-30 22:29:34 +02:00
case LUA_T_STRING:
1998-03-26 15:50:19 +01:00
tsvalue(o)=LoadTString(Z);
1998-01-14 16:49:01 +01:00
break;
1999-03-30 22:29:34 +02:00
case LUA_T_PROTO:
1998-03-26 15:50:19 +01:00
tfvalue(o)=LoadFunction(Z);
1998-01-14 16:49:01 +01:00
break;
1999-03-30 22:29:34 +02:00
case LUA_T_NIL:
break;
default: /* cannot happen */
luaU_badconstant("load",i,o,tf);
1998-01-14 16:49:01 +01:00
break;
}
}
}
1998-12-15 15:59:43 +01:00
static TProtoFunc* LoadFunction (ZIO* Z)
1998-01-14 16:49:01 +01:00
{
TProtoFunc* tf=luaF_newproto();
1999-03-30 22:29:34 +02:00
tf->lineDefined=LoadInt(Z,"lineDefined too large (%ld) in %s");
tf->source=LoadTString(Z);
1999-03-30 22:29:34 +02:00
if (tf->source==NULL) tf->source=luaS_new(zname(Z));
1998-03-26 15:50:19 +01:00
tf->code=LoadCode(Z);
1998-01-14 16:49:01 +01:00
LoadLocals(tf,Z);
1998-03-26 15:50:19 +01:00
LoadConstants(tf,Z);
1998-01-14 16:49:01 +01:00
return tf;
}
1998-12-15 15:59:43 +01:00
static void LoadSignature (ZIO* Z)
1998-01-14 16:49:01 +01:00
{
char* s=SIGNATURE;
while (*s!=0 && ezgetc(Z)==*s)
++s;
1998-03-26 15:50:19 +01:00
if (*s!=0) luaL_verror("bad signature in %s",zname(Z));
1998-01-14 16:49:01 +01:00
}
1998-12-15 15:59:43 +01:00
static void LoadHeader (ZIO* Z)
1998-01-14 16:49:01 +01:00
{
1998-03-26 15:50:19 +01:00
int version,id,sizeofR;
real f=-TEST_NUMBER,tf=TEST_NUMBER;
1999-03-30 22:29:34 +02:00
luaU_testnumber();
1998-01-14 16:49:01 +01:00
LoadSignature(Z);
version=ezgetc(Z);
if (version>VERSION)
luaL_verror(
1998-03-26 15:50:19 +01:00
"%s too new: version=0x%02x; expected at most 0x%02x",
zname(Z),version,VERSION);
1998-06-25 18:48:44 +02:00
if (version<VERSION0) /* check last major change */
1998-01-14 16:49:01 +01:00
luaL_verror(
1998-03-26 15:50:19 +01:00
"%s too old: version=0x%02x; expected at least 0x%02x",
1998-06-25 18:48:44 +02:00
zname(Z),version,VERSION0);
1998-03-26 15:50:19 +01:00
id=ezgetc(Z); /* test number representation */
sizeofR=ezgetc(Z);
if (id!=ID_NUMBER || sizeofR!=sizeof(real))
1998-06-25 18:48:44 +02:00
luaL_verror("unknown number signature in %s: "
"read 0x%02x%02x; expected 0x%02x%02x",
1998-03-26 15:50:19 +01:00
zname(Z),id,sizeofR,ID_NUMBER,sizeof(real));
1998-06-25 18:48:44 +02:00
doLoadNumber(f,Z);
1998-03-26 15:50:19 +01:00
if (f!=tf)
1999-03-30 22:29:34 +02:00
luaL_verror("unknown number representation in %s: "
"read " NUMBER_FMT "; expected " NUMBER_FMT,
zname(Z),f,tf);
1998-01-14 16:49:01 +01:00
}
1998-12-15 15:59:43 +01:00
static TProtoFunc* LoadChunk (ZIO* Z)
1998-01-14 16:49:01 +01:00
{
1998-03-26 15:50:19 +01:00
LoadHeader(Z);
return LoadFunction(Z);
1998-01-14 16:49:01 +01:00
}
/*
** load one chunk from a file or buffer
** return main if ok and NULL at EOF
*/
1999-04-07 17:37:02 +02:00
TProtoFunc* luaU_undump1 (ZIO* Z)
1998-01-14 16:49:01 +01:00
{
int c=zgetc(Z);
if (c==ID_CHUNK)
1998-03-26 15:50:19 +01:00
return LoadChunk(Z);
1998-01-14 16:49:01 +01:00
else if (c!=EOZ)
1998-03-26 15:50:19 +01:00
luaL_verror("%s is not a Lua binary file",zname(Z));
1998-01-14 16:49:01 +01:00
return NULL;
}
1999-03-30 22:29:34 +02:00
/*
** test number representation
*/
1999-04-07 17:37:02 +02:00
void luaU_testnumber (void)
1999-03-30 22:29:34 +02:00
{
if (sizeof(real)!=SIZEOF_NUMBER)
luaL_verror("numbers have %d bytes; expected %d. see lundump.h",
(int)sizeof(real),SIZEOF_NUMBER);
#if ID_NUMBER==ID_REAL4 || ID_NUMBER==ID_REAL8
if (sizeof(long)!=4)
luaL_verror("longs have %d bytes; expected %d. see lundump.h",
(int)sizeof(long),4);
#endif
{
real t=TEST_NUMBER;
TYPEOF_NUMBER v=TEST_NUMBER;
if (t!=v)
luaL_verror("unsupported number type; expected %d-byte " NAMEOF_NUMBER "."
" see config and lundump.h",SIZEOF_NUMBER);
}
}
/*
* handle constants that cannot happen
*/
1999-04-07 17:37:02 +02:00
void luaU_badconstant (char* s, int i, TObject* o, TProtoFunc* tf)
1999-03-30 22:29:34 +02:00
{
int t=ttype(o);
char* name= (t>0 || t<LUA_T_LINE) ? "?" : luaO_typenames[-t];
luaL_verror("cannot %s constant #%d: type=%d [%s]" IN,s,i,t,name,INLOC);
}