Lua5.0 編譯器入口

編譯器相關的文主要是 luac.c 。

看一下它的內容：

int main(int argc, char* argv[])
{
 lua_State* L;
 Proto* f;
 int i=doargs(argc,argv);
 argc-=i; argv+=i;
 if (argc<=0) usage("no input files given",NULL);
 L=lua_open();
 luaB_opentests(L);
 for (i=0; i<argc; i++)
 {
  const char* filename=IS("-") ? NULL : argv[i];
  if (luaL_loadfile(L,filename)!=0) fatal(lua_tostring(L,-1));
 }
 f=combine(L,argc);
 if (listing) luaU_print(f);
 if (dumping)
 {
  FILE* D=fopen(output,"wb");
  if (D==NULL) cannot(output,"open","out");
  if (stripping) strip(L,f);
  luaU_dump(L,f,writer,D);
  if (ferror(D)) cannot(output,"write","out");
  fclose(D);
 }
 lua_close(L);
 return 0;
}

程序一上來先分析命令行的輸入參數，剩下的命令行參數都認爲是輸入文件。

for 循環處理剩下的命令行參數，若是參數爲減號 "-"，則把標準輸入做爲文件，此時文件名爲 NULL。

對文件調用 luaL_loadfile 來進行編譯，若是編譯出錯，則 fatal。

f=combine(L,argc); 把全部的編譯後的 Proto 整合到一塊兒。

luaB_opentests 這個是測試用的，不用管它。

if (listing) luaU_print(f); 若是須要列出編譯後的字節碼，則打印字節碼內容。

if (dumping) 若是須要保存字節碼，則寫編譯後的字節碼及程序運行的環境到文件。

分別看下程序中調用的函數

static int doargs(int argc, char* argv[])
{
 int i;
 if (argv[0]!=NULL && *argv[0]!=0) progname=argv[0];
 for (i=1; i<argc; i++)
 {
  if (*argv[i]!='-') /* end of options; keep it */
   break;
  else if (IS("--")) /* end of options; skip it */
  {
   ++i;
   break;
  }
  else if (IS("-")) /* end of options; use stdin */
   return i;
  else if (IS("-l")) /* list */
   listing=1;
  else if (IS("-o")) /* output file */
  {
   output=argv[++i];
   if (output==NULL || *output==0) usage("`-o' needs argument",NULL);
  }
  else if (IS("-p")) /* parse only */
   dumping=0;
  else if (IS("-s")) /* strip debug information */
   stripping=1;
  else if (IS("-v")) /* show version */
  {
   printf("%s  %s\n",LUA_VERSION,LUA_COPYRIGHT);
   if (argc==2) exit(EXIT_SUCCESS);
  }
  else /* unknown option */
   usage("unrecognized option `%s'",argv[i]);
 }
 if (i==argc && (listing || !dumping))
 {
  dumping=0;
  argv[--i]=Output;
 }
 return i;
}

程序一上來就把 progname 賦值爲編譯器執行程序 argv[0]，這個是可執行程序的帶路徑的展現。

以後就是各類參數的分析。

若是對參數的意義不太明確的話，能夠看 usage

static void usage(const char* message, const char* arg)
{
 if (message!=NULL)
 {
  fprintf(stderr,"%s: ",progname); fprintf(stderr,message,arg); fprintf(stderr,"\n");
 }
 fprintf(stderr,
 "usage: %s [options] [filenames].  Available options are:\n"
 "  -        process stdin\n"
 "  -l       list\n"
 "  -o name  output to file `name' (default is \"" OUTPUT "\")\n"
 "  -p       parse only\n"
 "  -s       strip debug information\n"
 "  -v       show version information\n"
 "  --       stop handling options\n",
 progname);
 exit(EXIT_FAILURE);
}

它會打印各類參數的意義。

static void fatal(const char* message)
{
 fprintf(stderr,"%s: %s\n",progname,message);
 exit(EXIT_FAILURE);
}

打印出錯信息並退出。

static void cannot(const char* name, const char* what, const char* mode)
{
 fprintf(stderr,"%s: cannot %s %sput file ",progname,what,mode);
 perror(name);
 exit(EXIT_FAILURE);
}

打印出錯信息，帶簡單的緣由說明，出錯退出。

在 dumping 時會調用到它。

static Proto* toproto(lua_State* L, int i)
{
 const Closure* c=(const Closure*)lua_topointer(L,i);
 return c->l.p;
}

把棧的指定位置元素轉換爲 Closure 指針，返回其中的函數原型 Proto。

static Proto* combine(lua_State* L, int n)
{
 if (n==1)
  return toproto(L,-1);
 else
 {
  int i,pc=0;
  Proto* f=luaF_newproto(L);
  f->source=luaS_newliteral(L,"=(" PROGNAME ")");
  f->maxstacksize=1;
  f->p=luaM_newvector(L,n,Proto*);
  f->sizep=n;
  f->sizecode=2*n+1;
  f->code=luaM_newvector(L,f->sizecode,Instruction);
  for (i=0; i<n; i++)
  {
   f->p[i]=toproto(L,i-n);
   f->code[pc++]=CREATE_ABx(OP_CLOSURE,0,i);
   f->code[pc++]=CREATE_ABC(OP_CALL,0,1,1);
  }
  f->code[pc++]=CREATE_ABC(OP_RETURN,0,1,0);
  return f;
 }
}

把幾個函數原型整合，每一個 Lua 文件會被編譯成一個函數原型。

這裏對每一個函數原型添加調用返回指令。

static void strip(lua_State* L, Proto* f)
{
 int i,n=f->sizep;
 luaM_freearray(L, f->lineinfo, f->sizelineinfo, int);
 luaM_freearray(L, f->locvars, f->sizelocvars, struct LocVar);
 luaM_freearray(L, f->upvalues, f->sizeupvalues, TString *);
 f->lineinfo=NULL; f->sizelineinfo=0;
 f->locvars=NULL;  f->sizelocvars=0;
 f->upvalues=NULL; f->sizeupvalues=0;
 f->source=luaS_newliteral(L,"=(none)");
 for (i=0; i<n; i++) strip(L,f->p[i]);
}

刪除調試相關信息，包括行號，局部變量，upvalue

static int writer(lua_State* L, const void* p, size_t size, void* u)
{
 UNUSED(L);
 return fwrite(p,size,1,(FILE*)u)==1;
}

寫數據塊兒。