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
",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,"
");
 }
 fprintf(stderr,
 "usage: %s [options] [filenames].  Available options are:
"
 "  -        process stdin
"
 "  -l       list
"
 "  -o name  output to file `name' (default is \"" OUTPUT "\")
"
 "  -p       parse only
"
 "  -s       strip debug information
"
 "  -v       show version information
"
 "  --       stop handling options
",
 progname);
 exit(EXIT_FAILURE);
}

さまざまなパラメータの意味が印刷されます.

static void fatal(const char* message)
{
 fprintf(stderr,"%s: %s
",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;
}

データを書く.