root/luajit.c

/* [<][>][^][v][top][bottom][index][help] */

DEFINITIONS

This source file includes following definitions.
  1. lstop
  2. laction
  3. print_usage
  4. l_message
  5. report
  6. traceback
  7. docall
  8. print_version
  9. print_jit_status
  10. createargtable
  11. dofile
  12. dostring
  13. dolibrary
  14. write_prompt
  15. incomplete
  16. pushline
  17. loadline
  18. dotty
  19. handle_script
  20. loadjitmodule
  21. runcmdopt
  22. dojitcmd
  23. dojitopt
  24. dobytecode
  25. collectargs
  26. runargs
  27. handle_luainit
  28. pmain
  29. main

   1 /*
   2 ** LuaJIT frontend. Runs commands, scripts, read-eval-print (REPL) etc.
   3 ** Copyright (C) 2005-2017 Mike Pall. See Copyright Notice in luajit.h
   4 **
   5 ** Major 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 #include <stdio.h>
  10 #include <stdlib.h>
  11 #include <string.h>
  12 
  13 #define luajit_c
  14 
  15 #include "lua.h"
  16 #include "lauxlib.h"
  17 #include "lualib.h"
  18 #include "luajit.h"
  19 
  20 #include "lj_arch.h"
  21 
  22 #if LJ_TARGET_POSIX
  23 #include <unistd.h>
  24 #define lua_stdin_is_tty()      isatty(0)
  25 #elif LJ_TARGET_WINDOWS
  26 #include <io.h>
  27 #ifdef __BORLANDC__
  28 #define lua_stdin_is_tty()      isatty(_fileno(stdin))
  29 #else
  30 #define lua_stdin_is_tty()      _isatty(_fileno(stdin))
  31 #endif
  32 #else
  33 #define lua_stdin_is_tty()      1
  34 #endif
  35 
  36 #if !LJ_TARGET_CONSOLE
  37 #include <signal.h>
  38 #endif
  39 
  40 static lua_State *globalL = NULL;
  41 static const char *progname = LUA_PROGNAME;
  42 
  43 #if !LJ_TARGET_CONSOLE
  44 static void lstop(lua_State *L, lua_Debug *ar)
  45 {
  46   (void)ar;  /* unused arg. */
  47   lua_sethook(L, NULL, 0, 0);
  48   /* Avoid luaL_error -- a C hook doesn't add an extra frame. */
  49   luaL_where(L, 0);
  50   lua_pushfstring(L, "%sinterrupted!", lua_tostring(L, -1));
  51   lua_error(L);
  52 }
  53 
  54 static void laction(int i)
  55 {
  56   signal(i, SIG_DFL); /* if another SIGINT happens before lstop,
  57                          terminate process (default action) */
  58   lua_sethook(globalL, lstop, LUA_MASKCALL | LUA_MASKRET | LUA_MASKCOUNT, 1);
  59 }
  60 #endif
  61 
  62 static void print_usage(void)
  63 {
  64   fputs("usage: ", stderr);
  65   fputs(progname, stderr);
  66   fputs(" [options]... [script [args]...].\n"
  67   "Available options are:\n"
  68   "  -e chunk  Execute string " LUA_QL("chunk") ".\n"
  69   "  -l name   Require library " LUA_QL("name") ".\n"
  70   "  -b ...    Save or list bytecode.\n"
  71   "  -j cmd    Perform LuaJIT control command.\n"
  72   "  -O[opt]   Control LuaJIT optimizations.\n"
  73   "  -i        Enter interactive mode after executing " LUA_QL("script") ".\n"
  74   "  -v        Show version information.\n"
  75   "  -E        Ignore environment variables.\n"
  76   "  --        Stop handling options.\n"
  77   "  -         Execute stdin and stop handling options.\n", stderr);
  78   fflush(stderr);
  79 }
  80 
  81 static void l_message(const char *pname, const char *msg)
  82 {
  83   if (pname) { fputs(pname, stderr); fputc(':', stderr); fputc(' ', stderr); }
  84   fputs(msg, stderr); fputc('\n', stderr);
  85   fflush(stderr);
  86 }
  87 
  88 static int report(lua_State *L, int status)
  89 {
  90   if (status && !lua_isnil(L, -1)) {
  91     const char *msg = lua_tostring(L, -1);
  92     if (msg == NULL) msg = "(error object is not a string)";
  93     l_message(progname, msg);
  94     lua_pop(L, 1);
  95   }
  96   return status;
  97 }
  98 
  99 static int traceback(lua_State *L)
 100 {
 101   if (!lua_isstring(L, 1)) { /* Non-string error object? Try metamethod. */
 102     if (lua_isnoneornil(L, 1) ||
 103         !luaL_callmeta(L, 1, "__tostring") ||
 104         !lua_isstring(L, -1))
 105       return 1;  /* Return non-string error object. */
 106     lua_remove(L, 1);  /* Replace object by result of __tostring metamethod. */
 107   }
 108   luaL_traceback(L, L, lua_tostring(L, 1), 1);
 109   return 1;
 110 }
 111 
 112 static int docall(lua_State *L, int narg, int clear)
 113 {
 114   int status;
 115   int base = lua_gettop(L) - narg;  /* function index */
 116   lua_pushcfunction(L, traceback);  /* push traceback function */
 117   lua_insert(L, base);  /* put it under chunk and args */
 118 #if !LJ_TARGET_CONSOLE
 119   signal(SIGINT, laction);
 120 #endif
 121   status = lua_pcall(L, narg, (clear ? 0 : LUA_MULTRET), base);
 122 #if !LJ_TARGET_CONSOLE
 123   signal(SIGINT, SIG_DFL);
 124 #endif
 125   lua_remove(L, base);  /* remove traceback function */
 126   /* force a complete garbage collection in case of errors */
 127   if (status != LUA_OK) lua_gc(L, LUA_GCCOLLECT, 0);
 128   return status;
 129 }
 130 
 131 static void print_version(void)
 132 {
 133   fputs(LUAJIT_VERSION " -- " LUAJIT_COPYRIGHT ". " LUAJIT_URL "\n", stdout);
 134 }
 135 
 136 static void print_jit_status(lua_State *L)
 137 {
 138   int n;
 139   const char *s;
 140   lua_getfield(L, LUA_REGISTRYINDEX, "_LOADED");
 141   lua_getfield(L, -1, "jit");  /* Get jit.* module table. */
 142   lua_remove(L, -2);
 143   lua_getfield(L, -1, "status");
 144   lua_remove(L, -2);
 145   n = lua_gettop(L);
 146   lua_call(L, 0, LUA_MULTRET);
 147   fputs(lua_toboolean(L, n) ? "JIT: ON" : "JIT: OFF", stdout);
 148   for (n++; (s = lua_tostring(L, n)); n++) {
 149     putc(' ', stdout);
 150     fputs(s, stdout);
 151   }
 152   putc('\n', stdout);
 153 }
 154 
 155 static void createargtable(lua_State *L, char **argv, int argc, int argf)
 156 {
 157   int i;
 158   lua_createtable(L, argc - argf, argf);
 159   for (i = 0; i < argc; i++) {
 160     lua_pushstring(L, argv[i]);
 161     lua_rawseti(L, -2, i - argf);
 162   }
 163   lua_setglobal(L, "arg");
 164 }
 165 
 166 static int dofile(lua_State *L, const char *name)
 167 {
 168   int status = luaL_loadfile(L, name) || docall(L, 0, 1);
 169   return report(L, status);
 170 }
 171 
 172 static int dostring(lua_State *L, const char *s, const char *name)
 173 {
 174   int status = luaL_loadbuffer(L, s, strlen(s), name) || docall(L, 0, 1);
 175   return report(L, status);
 176 }
 177 
 178 static int dolibrary(lua_State *L, const char *name)
 179 {
 180   lua_getglobal(L, "require");
 181   lua_pushstring(L, name);
 182   return report(L, docall(L, 1, 1));
 183 }
 184 
 185 static void write_prompt(lua_State *L, int firstline)
 186 {
 187   const char *p;
 188   lua_getfield(L, LUA_GLOBALSINDEX, firstline ? "_PROMPT" : "_PROMPT2");
 189   p = lua_tostring(L, -1);
 190   if (p == NULL) p = firstline ? LUA_PROMPT : LUA_PROMPT2;
 191   fputs(p, stdout);
 192   fflush(stdout);
 193   lua_pop(L, 1);  /* remove global */
 194 }
 195 
 196 static int incomplete(lua_State *L, int status)
 197 {
 198   if (status == LUA_ERRSYNTAX) {
 199     size_t lmsg;
 200     const char *msg = lua_tolstring(L, -1, &lmsg);
 201     const char *tp = msg + lmsg - (sizeof(LUA_QL("<eof>")) - 1);
 202     if (strstr(msg, LUA_QL("<eof>")) == tp) {
 203       lua_pop(L, 1);
 204       return 1;
 205     }
 206   }
 207   return 0;  /* else... */
 208 }
 209 
 210 static int pushline(lua_State *L, int firstline)
 211 {
 212   char buf[LUA_MAXINPUT];
 213   write_prompt(L, firstline);
 214   if (fgets(buf, LUA_MAXINPUT, stdin)) {
 215     size_t len = strlen(buf);
 216     if (len > 0 && buf[len-1] == '\n')
 217       buf[len-1] = '\0';
 218     if (firstline && buf[0] == '=')
 219       lua_pushfstring(L, "return %s", buf+1);
 220     else
 221       lua_pushstring(L, buf);
 222     return 1;
 223   }
 224   return 0;
 225 }
 226 
 227 static int loadline(lua_State *L)
 228 {
 229   int status;
 230   lua_settop(L, 0);
 231   if (!pushline(L, 1))
 232     return -1;  /* no input */
 233   for (;;) {  /* repeat until gets a complete line */
 234     status = luaL_loadbuffer(L, lua_tostring(L, 1), lua_strlen(L, 1), "=stdin");
 235     if (!incomplete(L, status)) break;  /* cannot try to add lines? */
 236     if (!pushline(L, 0))  /* no more input? */
 237       return -1;
 238     lua_pushliteral(L, "\n");  /* add a new line... */
 239     lua_insert(L, -2);  /* ...between the two lines */
 240     lua_concat(L, 3);  /* join them */
 241   }
 242   lua_remove(L, 1);  /* remove line */
 243   return status;
 244 }
 245 
 246 static void dotty(lua_State *L)
 247 {
 248   int status;
 249   const char *oldprogname = progname;
 250   progname = NULL;
 251   while ((status = loadline(L)) != -1) {
 252     if (status == LUA_OK) status = docall(L, 0, 0);
 253     report(L, status);
 254     if (status == LUA_OK && lua_gettop(L) > 0) {  /* any result to print? */
 255       lua_getglobal(L, "print");
 256       lua_insert(L, 1);
 257       if (lua_pcall(L, lua_gettop(L)-1, 0, 0) != 0)
 258         l_message(progname,
 259           lua_pushfstring(L, "error calling " LUA_QL("print") " (%s)",
 260                               lua_tostring(L, -1)));
 261     }
 262   }
 263   lua_settop(L, 0);  /* clear stack */
 264   fputs("\n", stdout);
 265   fflush(stdout);
 266   progname = oldprogname;
 267 }
 268 
 269 static int handle_script(lua_State *L, char **argx)
 270 {
 271   int status;
 272   const char *fname = argx[0];
 273   if (strcmp(fname, "-") == 0 && strcmp(argx[-1], "--") != 0)
 274     fname = NULL;  /* stdin */
 275   status = luaL_loadfile(L, fname);
 276   if (status == LUA_OK) {
 277     /* Fetch args from arg table. LUA_INIT or -e might have changed them. */
 278     int narg = 0;
 279     lua_getglobal(L, "arg");
 280     if (lua_istable(L, -1)) {
 281       do {
 282         narg++;
 283         lua_rawgeti(L, -narg, narg);
 284       } while (!lua_isnil(L, -1));
 285       lua_pop(L, 1);
 286       lua_remove(L, -narg);
 287       narg--;
 288     } else {
 289       lua_pop(L, 1);
 290     }
 291     status = docall(L, narg, 0);
 292   }
 293   return report(L, status);
 294 }
 295 
 296 /* Load add-on module. */
 297 static int loadjitmodule(lua_State *L)
 298 {
 299   lua_getglobal(L, "require");
 300   lua_pushliteral(L, "jit.");
 301   lua_pushvalue(L, -3);
 302   lua_concat(L, 2);
 303   if (lua_pcall(L, 1, 1, 0)) {
 304     const char *msg = lua_tostring(L, -1);
 305     if (msg && !strncmp(msg, "module ", 7))
 306       goto nomodule;
 307     return report(L, 1);
 308   }
 309   lua_getfield(L, -1, "start");
 310   if (lua_isnil(L, -1)) {
 311   nomodule:
 312     l_message(progname,
 313               "unknown luaJIT command or jit.* modules not installed");
 314     return 1;
 315   }
 316   lua_remove(L, -2);  /* Drop module table. */
 317   return 0;
 318 }
 319 
 320 /* Run command with options. */
 321 static int runcmdopt(lua_State *L, const char *opt)
 322 {
 323   int narg = 0;
 324   if (opt && *opt) {
 325     for (;;) {  /* Split arguments. */
 326       const char *p = strchr(opt, ',');
 327       narg++;
 328       if (!p) break;
 329       if (p == opt)
 330         lua_pushnil(L);
 331       else
 332         lua_pushlstring(L, opt, (size_t)(p - opt));
 333       opt = p + 1;
 334     }
 335     if (*opt)
 336       lua_pushstring(L, opt);
 337     else
 338       lua_pushnil(L);
 339   }
 340   return report(L, lua_pcall(L, narg, 0, 0));
 341 }
 342 
 343 /* JIT engine control command: try jit library first or load add-on module. */
 344 static int dojitcmd(lua_State *L, const char *cmd)
 345 {
 346   const char *opt = strchr(cmd, '=');
 347   lua_pushlstring(L, cmd, opt ? (size_t)(opt - cmd) : strlen(cmd));
 348   lua_getfield(L, LUA_REGISTRYINDEX, "_LOADED");
 349   lua_getfield(L, -1, "jit");  /* Get jit.* module table. */
 350   lua_remove(L, -2);
 351   lua_pushvalue(L, -2);
 352   lua_gettable(L, -2);  /* Lookup library function. */
 353   if (!lua_isfunction(L, -1)) {
 354     lua_pop(L, 2);  /* Drop non-function and jit.* table, keep module name. */
 355     if (loadjitmodule(L))
 356       return 1;
 357   } else {
 358     lua_remove(L, -2);  /* Drop jit.* table. */
 359   }
 360   lua_remove(L, -2);  /* Drop module name. */
 361   return runcmdopt(L, opt ? opt+1 : opt);
 362 }
 363 
 364 /* Optimization flags. */
 365 static int dojitopt(lua_State *L, const char *opt)
 366 {
 367   lua_getfield(L, LUA_REGISTRYINDEX, "_LOADED");
 368   lua_getfield(L, -1, "jit.opt");  /* Get jit.opt.* module table. */
 369   lua_remove(L, -2);
 370   lua_getfield(L, -1, "start");
 371   lua_remove(L, -2);
 372   return runcmdopt(L, opt);
 373 }
 374 
 375 /* Save or list bytecode. */
 376 static int dobytecode(lua_State *L, char **argv)
 377 {
 378   int narg = 0;
 379   lua_pushliteral(L, "bcsave");
 380   if (loadjitmodule(L))
 381     return 1;
 382   if (argv[0][2]) {
 383     narg++;
 384     argv[0][1] = '-';
 385     lua_pushstring(L, argv[0]+1);
 386   }
 387   for (argv++; *argv != NULL; narg++, argv++)
 388     lua_pushstring(L, *argv);
 389   report(L, lua_pcall(L, narg, 0, 0));
 390   return -1;
 391 }
 392 
 393 /* check that argument has no extra characters at the end */
 394 #define notail(x)       {if ((x)[2] != '\0') return -1;}
 395 
 396 #define FLAGS_INTERACTIVE       1
 397 #define FLAGS_VERSION           2
 398 #define FLAGS_EXEC              4
 399 #define FLAGS_OPTION            8
 400 #define FLAGS_NOENV             16
 401 
 402 static int collectargs(char **argv, int *flags)
 403 {
 404   int i;
 405   for (i = 1; argv[i] != NULL; i++) {
 406     if (argv[i][0] != '-')  /* Not an option? */
 407       return i;
 408     switch (argv[i][1]) {  /* Check option. */
 409     case '-':
 410       notail(argv[i]);
 411       return i+1;
 412     case '\0':
 413       return i;
 414     case 'i':
 415       notail(argv[i]);
 416       *flags |= FLAGS_INTERACTIVE;
 417       /* fallthrough */
 418     case 'v':
 419       notail(argv[i]);
 420       *flags |= FLAGS_VERSION;
 421       break;
 422     case 'e':
 423       *flags |= FLAGS_EXEC;
 424     case 'j':  /* LuaJIT extension */
 425     case 'l':
 426       *flags |= FLAGS_OPTION;
 427       if (argv[i][2] == '\0') {
 428         i++;
 429         if (argv[i] == NULL) return -1;
 430       }
 431       break;
 432     case 'O': break;  /* LuaJIT extension */
 433     case 'b':  /* LuaJIT extension */
 434       if (*flags) return -1;
 435       *flags |= FLAGS_EXEC;
 436       return i+1;
 437     case 'E':
 438       *flags |= FLAGS_NOENV;
 439       break;
 440     default: return -1;  /* invalid option */
 441     }
 442   }
 443   return i;
 444 }
 445 
 446 static int runargs(lua_State *L, char **argv, int argn)
 447 {
 448   int i;
 449   for (i = 1; i < argn; i++) {
 450     if (argv[i] == NULL) continue;
 451     lua_assert(argv[i][0] == '-');
 452     switch (argv[i][1]) {
 453     case 'e': {
 454       const char *chunk = argv[i] + 2;
 455       if (*chunk == '\0') chunk = argv[++i];
 456       lua_assert(chunk != NULL);
 457       if (dostring(L, chunk, "=(command line)") != 0)
 458         return 1;
 459       break;
 460       }
 461     case 'l': {
 462       const char *filename = argv[i] + 2;
 463       if (*filename == '\0') filename = argv[++i];
 464       lua_assert(filename != NULL);
 465       if (dolibrary(L, filename))
 466         return 1;
 467       break;
 468       }
 469     case 'j': {  /* LuaJIT extension. */
 470       const char *cmd = argv[i] + 2;
 471       if (*cmd == '\0') cmd = argv[++i];
 472       lua_assert(cmd != NULL);
 473       if (dojitcmd(L, cmd))
 474         return 1;
 475       break;
 476       }
 477     case 'O':  /* LuaJIT extension. */
 478       if (dojitopt(L, argv[i] + 2))
 479         return 1;
 480       break;
 481     case 'b':  /* LuaJIT extension. */
 482       return dobytecode(L, argv+i);
 483     default: break;
 484     }
 485   }
 486   return LUA_OK;
 487 }
 488 
 489 static int handle_luainit(lua_State *L)
 490 {
 491 #if LJ_TARGET_CONSOLE
 492   const char *init = NULL;
 493 #else
 494   const char *init = getenv(LUA_INIT);
 495 #endif
 496   if (init == NULL)
 497     return LUA_OK;
 498   else if (init[0] == '@')
 499     return dofile(L, init+1);
 500   else
 501     return dostring(L, init, "=" LUA_INIT);
 502 }
 503 
 504 static struct Smain {
 505   char **argv;
 506   int argc;
 507   int status;
 508 } smain;
 509 
 510 static int pmain(lua_State *L)
 511 {
 512   struct Smain *s = &smain;
 513   char **argv = s->argv;
 514   int argn;
 515   int flags = 0;
 516   globalL = L;
 517   if (argv[0] && argv[0][0]) progname = argv[0];
 518 
 519   LUAJIT_VERSION_SYM();  /* Linker-enforced version check. */
 520 
 521   argn = collectargs(argv, &flags);
 522   if (argn < 0) {  /* Invalid args? */
 523     print_usage();
 524     s->status = 1;
 525     return 0;
 526   }
 527 
 528   if ((flags & FLAGS_NOENV)) {
 529     lua_pushboolean(L, 1);
 530     lua_setfield(L, LUA_REGISTRYINDEX, "LUA_NOENV");
 531   }
 532 
 533   /* Stop collector during library initialization. */
 534   lua_gc(L, LUA_GCSTOP, 0);
 535   luaL_openlibs(L);
 536   lua_gc(L, LUA_GCRESTART, -1);
 537 
 538   createargtable(L, argv, s->argc, argn);
 539 
 540   if (!(flags & FLAGS_NOENV)) {
 541     s->status = handle_luainit(L);
 542     if (s->status != LUA_OK) return 0;
 543   }
 544 
 545   if ((flags & FLAGS_VERSION)) print_version();
 546 
 547   s->status = runargs(L, argv, argn);
 548   if (s->status != LUA_OK) return 0;
 549 
 550   if (s->argc > argn) {
 551     s->status = handle_script(L, argv + argn);
 552     if (s->status != LUA_OK) return 0;
 553   }
 554 
 555   if ((flags & FLAGS_INTERACTIVE)) {
 556     print_jit_status(L);
 557     dotty(L);
 558   } else if (s->argc == argn && !(flags & (FLAGS_EXEC|FLAGS_VERSION))) {
 559     if (lua_stdin_is_tty()) {
 560       print_version();
 561       print_jit_status(L);
 562       dotty(L);
 563     } else {
 564       dofile(L, NULL);  /* Executes stdin as a file. */
 565     }
 566   }
 567   return 0;
 568 }
 569 
 570 int main(int argc, char **argv)
 571 {
 572   int status;
 573   lua_State *L = lua_open();
 574   if (L == NULL) {
 575     l_message(argv[0], "cannot create state: not enough memory");
 576     return EXIT_FAILURE;
 577   }
 578   smain.argc = argc;
 579   smain.argv = argv;
 580   status = lua_cpcall(L, pmain, NULL);
 581   report(L, status);
 582   lua_close(L);
 583   return (status || smain.status > 0) ? EXIT_FAILURE : EXIT_SUCCESS;
 584 }
 585 

/* [<][>][^][v][top][bottom][index][help] */