lj_lex.c 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515
  1. /*
  2. ** Lexical analyzer.
  3. ** Copyright (C) 2005-2023 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. #define lj_lex_c
  9. #define LUA_CORE
  10. #include "lj_obj.h"
  11. #include "lj_gc.h"
  12. #include "lj_err.h"
  13. #include "lj_buf.h"
  14. #include "lj_str.h"
  15. #if LJ_HASFFI
  16. #include "lj_tab.h"
  17. #include "lj_ctype.h"
  18. #include "lj_cdata.h"
  19. #include "lualib.h"
  20. #endif
  21. #include "lj_state.h"
  22. #include "lj_lex.h"
  23. #include "lj_parse.h"
  24. #include "lj_char.h"
  25. #include "lj_strscan.h"
  26. #include "lj_strfmt.h"
  27. /* Lua lexer token names. */
  28. static const char *const tokennames[] = {
  29. #define TKSTR1(name) #name,
  30. #define TKSTR2(name, sym) #sym,
  31. TKDEF(TKSTR1, TKSTR2)
  32. #undef TKSTR1
  33. #undef TKSTR2
  34. NULL
  35. };
  36. /* -- Buffer handling ----------------------------------------------------- */
  37. #define LEX_EOF (-1)
  38. #define lex_iseol(ls) (ls->c == '\n' || ls->c == '\r')
  39. /* Get more input from reader. */
  40. static LJ_NOINLINE LexChar lex_more(LexState *ls)
  41. {
  42. size_t sz;
  43. const char *p = ls->rfunc(ls->L, ls->rdata, &sz);
  44. if (p == NULL || sz == 0) return LEX_EOF;
  45. if (sz >= LJ_MAX_BUF) {
  46. if (sz != ~(size_t)0) lj_err_mem(ls->L);
  47. sz = ~(uintptr_t)0 - (uintptr_t)p;
  48. if (sz >= LJ_MAX_BUF) sz = LJ_MAX_BUF-1;
  49. ls->endmark = 1;
  50. }
  51. ls->pe = p + sz;
  52. ls->p = p + 1;
  53. return (LexChar)(uint8_t)p[0];
  54. }
  55. /* Get next character. */
  56. static LJ_AINLINE LexChar lex_next(LexState *ls)
  57. {
  58. return (ls->c = ls->p < ls->pe ? (LexChar)(uint8_t)*ls->p++ : lex_more(ls));
  59. }
  60. /* Save character. */
  61. static LJ_AINLINE void lex_save(LexState *ls, LexChar c)
  62. {
  63. lj_buf_putb(&ls->sb, c);
  64. }
  65. /* Save previous character and get next character. */
  66. static LJ_AINLINE LexChar lex_savenext(LexState *ls)
  67. {
  68. lex_save(ls, ls->c);
  69. return lex_next(ls);
  70. }
  71. /* Skip line break. Handles "\n", "\r", "\r\n" or "\n\r". */
  72. static void lex_newline(LexState *ls)
  73. {
  74. LexChar old = ls->c;
  75. lj_assertLS(lex_iseol(ls), "bad usage");
  76. lex_next(ls); /* Skip "\n" or "\r". */
  77. if (lex_iseol(ls) && ls->c != old) lex_next(ls); /* Skip "\n\r" or "\r\n". */
  78. if (++ls->linenumber >= LJ_MAX_LINE)
  79. lj_lex_error(ls, ls->tok, LJ_ERR_XLINES);
  80. }
  81. /* -- Scanner for terminals ----------------------------------------------- */
  82. /* Parse a number literal. */
  83. static void lex_number(LexState *ls, TValue *tv)
  84. {
  85. StrScanFmt fmt;
  86. LexChar c, xp = 'e';
  87. lj_assertLS(lj_char_isdigit(ls->c), "bad usage");
  88. if ((c = ls->c) == '0' && (lex_savenext(ls) | 0x20) == 'x')
  89. xp = 'p';
  90. while (lj_char_isident(ls->c) || ls->c == '.' ||
  91. ((ls->c == '-' || ls->c == '+') && (c | 0x20) == xp)) {
  92. c = ls->c;
  93. lex_savenext(ls);
  94. }
  95. lex_save(ls, '\0');
  96. fmt = lj_strscan_scan((const uint8_t *)ls->sb.b, sbuflen(&ls->sb)-1, tv,
  97. (LJ_DUALNUM ? STRSCAN_OPT_TOINT : STRSCAN_OPT_TONUM) |
  98. (LJ_HASFFI ? (STRSCAN_OPT_LL|STRSCAN_OPT_IMAG) : 0));
  99. if (LJ_DUALNUM && fmt == STRSCAN_INT) {
  100. setitype(tv, LJ_TISNUM);
  101. } else if (fmt == STRSCAN_NUM) {
  102. /* Already in correct format. */
  103. #if LJ_HASFFI
  104. } else if (fmt != STRSCAN_ERROR) {
  105. lua_State *L = ls->L;
  106. GCcdata *cd;
  107. lj_assertLS(fmt == STRSCAN_I64 || fmt == STRSCAN_U64 || fmt == STRSCAN_IMAG,
  108. "unexpected number format %d", fmt);
  109. ctype_loadffi(L);
  110. if (fmt == STRSCAN_IMAG) {
  111. cd = lj_cdata_new_(L, CTID_COMPLEX_DOUBLE, 2*sizeof(double));
  112. ((double *)cdataptr(cd))[0] = 0;
  113. ((double *)cdataptr(cd))[1] = numV(tv);
  114. } else {
  115. cd = lj_cdata_new_(L, fmt==STRSCAN_I64 ? CTID_INT64 : CTID_UINT64, 8);
  116. *(uint64_t *)cdataptr(cd) = tv->u64;
  117. }
  118. lj_parse_keepcdata(ls, tv, cd);
  119. #endif
  120. } else {
  121. lj_assertLS(fmt == STRSCAN_ERROR,
  122. "unexpected number format %d", fmt);
  123. lj_lex_error(ls, TK_number, LJ_ERR_XNUMBER);
  124. }
  125. }
  126. /* Skip equal signs for "[=...=[" and "]=...=]" and return their count. */
  127. static int lex_skipeq(LexState *ls)
  128. {
  129. int count = 0;
  130. LexChar s = ls->c;
  131. lj_assertLS(s == '[' || s == ']', "bad usage");
  132. while (lex_savenext(ls) == '=' && count < 0x20000000)
  133. count++;
  134. return (ls->c == s) ? count : (-count) - 1;
  135. }
  136. /* Parse a long string or long comment (tv set to NULL). */
  137. static void lex_longstring(LexState *ls, TValue *tv, int sep)
  138. {
  139. lex_savenext(ls); /* Skip second '['. */
  140. if (lex_iseol(ls)) /* Skip initial newline. */
  141. lex_newline(ls);
  142. for (;;) {
  143. switch (ls->c) {
  144. case LEX_EOF:
  145. lj_lex_error(ls, TK_eof, tv ? LJ_ERR_XLSTR : LJ_ERR_XLCOM);
  146. break;
  147. case ']':
  148. if (lex_skipeq(ls) == sep) {
  149. lex_savenext(ls); /* Skip second ']'. */
  150. goto endloop;
  151. }
  152. break;
  153. case '\n':
  154. case '\r':
  155. lex_save(ls, '\n');
  156. lex_newline(ls);
  157. if (!tv) lj_buf_reset(&ls->sb); /* Don't waste space for comments. */
  158. break;
  159. default:
  160. lex_savenext(ls);
  161. break;
  162. }
  163. } endloop:
  164. if (tv) {
  165. GCstr *str = lj_parse_keepstr(ls, ls->sb.b + (2 + (MSize)sep),
  166. sbuflen(&ls->sb) - 2*(2 + (MSize)sep));
  167. setstrV(ls->L, tv, str);
  168. }
  169. }
  170. /* Parse a string. */
  171. static void lex_string(LexState *ls, TValue *tv)
  172. {
  173. LexChar delim = ls->c; /* Delimiter is '\'' or '"'. */
  174. lex_savenext(ls);
  175. while (ls->c != delim) {
  176. switch (ls->c) {
  177. case LEX_EOF:
  178. lj_lex_error(ls, TK_eof, LJ_ERR_XSTR);
  179. continue;
  180. case '\n':
  181. case '\r':
  182. lj_lex_error(ls, TK_string, LJ_ERR_XSTR);
  183. continue;
  184. case '\\': {
  185. LexChar c = lex_next(ls); /* Skip the '\\'. */
  186. switch (c) {
  187. case 'a': c = '\a'; break;
  188. case 'b': c = '\b'; break;
  189. case 'f': c = '\f'; break;
  190. case 'n': c = '\n'; break;
  191. case 'r': c = '\r'; break;
  192. case 't': c = '\t'; break;
  193. case 'v': c = '\v'; break;
  194. case 'x': /* Hexadecimal escape '\xXX'. */
  195. c = (lex_next(ls) & 15u) << 4;
  196. if (!lj_char_isdigit(ls->c)) {
  197. if (!lj_char_isxdigit(ls->c)) goto err_xesc;
  198. c += 9 << 4;
  199. }
  200. c += (lex_next(ls) & 15u);
  201. if (!lj_char_isdigit(ls->c)) {
  202. if (!lj_char_isxdigit(ls->c)) goto err_xesc;
  203. c += 9;
  204. }
  205. break;
  206. case 'u': /* Unicode escape '\u{XX...}'. */
  207. if (lex_next(ls) != '{') goto err_xesc;
  208. lex_next(ls);
  209. c = 0;
  210. do {
  211. c = (c << 4) | (ls->c & 15u);
  212. if (!lj_char_isdigit(ls->c)) {
  213. if (!lj_char_isxdigit(ls->c)) goto err_xesc;
  214. c += 9;
  215. }
  216. if (c >= 0x110000) goto err_xesc; /* Out of Unicode range. */
  217. } while (lex_next(ls) != '}');
  218. if (c < 0x800) {
  219. if (c < 0x80) break;
  220. lex_save(ls, 0xc0 | (c >> 6));
  221. } else {
  222. if (c >= 0x10000) {
  223. lex_save(ls, 0xf0 | (c >> 18));
  224. lex_save(ls, 0x80 | ((c >> 12) & 0x3f));
  225. } else {
  226. if (c >= 0xd800 && c < 0xe000) goto err_xesc; /* No surrogates. */
  227. lex_save(ls, 0xe0 | (c >> 12));
  228. }
  229. lex_save(ls, 0x80 | ((c >> 6) & 0x3f));
  230. }
  231. c = 0x80 | (c & 0x3f);
  232. break;
  233. case 'z': /* Skip whitespace. */
  234. lex_next(ls);
  235. while (lj_char_isspace(ls->c))
  236. if (lex_iseol(ls)) lex_newline(ls); else lex_next(ls);
  237. continue;
  238. case '\n': case '\r': lex_save(ls, '\n'); lex_newline(ls); continue;
  239. case '\\': case '\"': case '\'': break;
  240. case LEX_EOF: continue;
  241. default:
  242. if (!lj_char_isdigit(c))
  243. goto err_xesc;
  244. c -= '0'; /* Decimal escape '\ddd'. */
  245. if (lj_char_isdigit(lex_next(ls))) {
  246. c = c*10 + (ls->c - '0');
  247. if (lj_char_isdigit(lex_next(ls))) {
  248. c = c*10 + (ls->c - '0');
  249. if (c > 255) {
  250. err_xesc:
  251. lj_lex_error(ls, TK_string, LJ_ERR_XESC);
  252. }
  253. lex_next(ls);
  254. }
  255. }
  256. lex_save(ls, c);
  257. continue;
  258. }
  259. lex_save(ls, c);
  260. lex_next(ls);
  261. continue;
  262. }
  263. default:
  264. lex_savenext(ls);
  265. break;
  266. }
  267. }
  268. lex_savenext(ls); /* Skip trailing delimiter. */
  269. setstrV(ls->L, tv,
  270. lj_parse_keepstr(ls, ls->sb.b+1, sbuflen(&ls->sb)-2));
  271. }
  272. /* -- Main lexical scanner ------------------------------------------------ */
  273. /* Get next lexical token. */
  274. static LexToken lex_scan(LexState *ls, TValue *tv)
  275. {
  276. lj_buf_reset(&ls->sb);
  277. for (;;) {
  278. if (lj_char_isident(ls->c)) {
  279. GCstr *s;
  280. if (lj_char_isdigit(ls->c)) { /* Numeric literal. */
  281. lex_number(ls, tv);
  282. return TK_number;
  283. }
  284. /* Identifier or reserved word. */
  285. do {
  286. lex_savenext(ls);
  287. } while (lj_char_isident(ls->c));
  288. s = lj_parse_keepstr(ls, ls->sb.b, sbuflen(&ls->sb));
  289. setstrV(ls->L, tv, s);
  290. if (s->reserved > 0) /* Reserved word? */
  291. return TK_OFS + s->reserved;
  292. return TK_name;
  293. }
  294. switch (ls->c) {
  295. case '\n':
  296. case '\r':
  297. lex_newline(ls);
  298. continue;
  299. case ' ':
  300. case '\t':
  301. case '\v':
  302. case '\f':
  303. lex_next(ls);
  304. continue;
  305. case '-':
  306. lex_next(ls);
  307. if (ls->c != '-') return '-';
  308. lex_next(ls);
  309. if (ls->c == '[') { /* Long comment "--[=*[...]=*]". */
  310. int sep = lex_skipeq(ls);
  311. lj_buf_reset(&ls->sb); /* `lex_skipeq' may dirty the buffer */
  312. if (sep >= 0) {
  313. lex_longstring(ls, NULL, sep);
  314. lj_buf_reset(&ls->sb);
  315. continue;
  316. }
  317. }
  318. /* Short comment "--.*\n". */
  319. while (!lex_iseol(ls) && ls->c != LEX_EOF)
  320. lex_next(ls);
  321. continue;
  322. case '[': {
  323. int sep = lex_skipeq(ls);
  324. if (sep >= 0) {
  325. lex_longstring(ls, tv, sep);
  326. return TK_string;
  327. } else if (sep == -1) {
  328. return '[';
  329. } else {
  330. lj_lex_error(ls, TK_string, LJ_ERR_XLDELIM);
  331. continue;
  332. }
  333. }
  334. case '=':
  335. lex_next(ls);
  336. if (ls->c != '=') return '='; else { lex_next(ls); return TK_eq; }
  337. case '<':
  338. lex_next(ls);
  339. if (ls->c != '=') return '<'; else { lex_next(ls); return TK_le; }
  340. case '>':
  341. lex_next(ls);
  342. if (ls->c != '=') return '>'; else { lex_next(ls); return TK_ge; }
  343. case '~':
  344. lex_next(ls);
  345. if (ls->c != '=') return '~'; else { lex_next(ls); return TK_ne; }
  346. case ':':
  347. lex_next(ls);
  348. if (ls->c != ':') return ':'; else { lex_next(ls); return TK_label; }
  349. case '"':
  350. case '\'':
  351. lex_string(ls, tv);
  352. return TK_string;
  353. case '.':
  354. if (lex_savenext(ls) == '.') {
  355. lex_next(ls);
  356. if (ls->c == '.') {
  357. lex_next(ls);
  358. return TK_dots; /* ... */
  359. }
  360. return TK_concat; /* .. */
  361. } else if (!lj_char_isdigit(ls->c)) {
  362. return '.';
  363. } else {
  364. lex_number(ls, tv);
  365. return TK_number;
  366. }
  367. case LEX_EOF:
  368. return TK_eof;
  369. default: {
  370. LexChar c = ls->c;
  371. lex_next(ls);
  372. return c; /* Single-char tokens (+ - / ...). */
  373. }
  374. }
  375. }
  376. }
  377. /* -- Lexer API ----------------------------------------------------------- */
  378. /* Setup lexer state. */
  379. int lj_lex_setup(lua_State *L, LexState *ls)
  380. {
  381. int header = 0;
  382. ls->L = L;
  383. ls->fs = NULL;
  384. ls->pe = ls->p = NULL;
  385. ls->vstack = NULL;
  386. ls->sizevstack = 0;
  387. ls->vtop = 0;
  388. ls->bcstack = NULL;
  389. ls->sizebcstack = 0;
  390. ls->tok = 0;
  391. ls->lookahead = TK_eof; /* No look-ahead token. */
  392. ls->linenumber = 1;
  393. ls->lastline = 1;
  394. ls->endmark = 0;
  395. ls->fr2 = LJ_FR2; /* Generate native bytecode by default. */
  396. lex_next(ls); /* Read-ahead first char. */
  397. if (ls->c == 0xef && ls->p + 2 <= ls->pe && (uint8_t)ls->p[0] == 0xbb &&
  398. (uint8_t)ls->p[1] == 0xbf) { /* Skip UTF-8 BOM (if buffered). */
  399. ls->p += 2;
  400. lex_next(ls);
  401. header = 1;
  402. }
  403. if (ls->c == '#') { /* Skip POSIX #! header line. */
  404. do {
  405. lex_next(ls);
  406. if (ls->c == LEX_EOF) return 0;
  407. } while (!lex_iseol(ls));
  408. lex_newline(ls);
  409. header = 1;
  410. }
  411. if (ls->c == LUA_SIGNATURE[0]) { /* Bytecode dump. */
  412. if (header) {
  413. /*
  414. ** Loading bytecode with an extra header is disabled for security
  415. ** reasons. This may circumvent the usual check for bytecode vs.
  416. ** Lua code by looking at the first char. Since this is a potential
  417. ** security violation no attempt is made to echo the chunkname either.
  418. */
  419. setstrV(L, L->top++, lj_err_str(L, LJ_ERR_BCBAD));
  420. lj_err_throw(L, LUA_ERRSYNTAX);
  421. }
  422. return 1;
  423. }
  424. return 0;
  425. }
  426. /* Cleanup lexer state. */
  427. void lj_lex_cleanup(lua_State *L, LexState *ls)
  428. {
  429. global_State *g = G(L);
  430. lj_mem_freevec(g, ls->bcstack, ls->sizebcstack, BCInsLine);
  431. lj_mem_freevec(g, ls->vstack, ls->sizevstack, VarInfo);
  432. lj_buf_free(g, &ls->sb);
  433. }
  434. /* Return next lexical token. */
  435. void lj_lex_next(LexState *ls)
  436. {
  437. ls->lastline = ls->linenumber;
  438. if (LJ_LIKELY(ls->lookahead == TK_eof)) { /* No lookahead token? */
  439. ls->tok = lex_scan(ls, &ls->tokval); /* Get next token. */
  440. } else { /* Otherwise return lookahead token. */
  441. ls->tok = ls->lookahead;
  442. ls->lookahead = TK_eof;
  443. ls->tokval = ls->lookaheadval;
  444. }
  445. }
  446. /* Look ahead for the next token. */
  447. LexToken lj_lex_lookahead(LexState *ls)
  448. {
  449. lj_assertLS(ls->lookahead == TK_eof, "double lookahead");
  450. ls->lookahead = lex_scan(ls, &ls->lookaheadval);
  451. return ls->lookahead;
  452. }
  453. /* Convert token to string. */
  454. const char *lj_lex_token2str(LexState *ls, LexToken tok)
  455. {
  456. if (tok > TK_OFS)
  457. return tokennames[tok-TK_OFS-1];
  458. else if (!lj_char_iscntrl(tok))
  459. return lj_strfmt_pushf(ls->L, "%c", tok);
  460. else
  461. return lj_strfmt_pushf(ls->L, "char(%d)", tok);
  462. }
  463. /* Lexer error. */
  464. void lj_lex_error(LexState *ls, LexToken tok, ErrMsg em, ...)
  465. {
  466. const char *tokstr;
  467. va_list argp;
  468. if (tok == 0) {
  469. tokstr = NULL;
  470. } else if (tok == TK_name || tok == TK_string || tok == TK_number) {
  471. lex_save(ls, '\0');
  472. tokstr = ls->sb.b;
  473. } else {
  474. tokstr = lj_lex_token2str(ls, tok);
  475. }
  476. va_start(argp, em);
  477. lj_err_lex(ls->L, ls->chunkname, tokstr, ls->linenumber, em, argp);
  478. va_end(argp);
  479. }
  480. /* Initialize strings for reserved words. */
  481. void lj_lex_init(lua_State *L)
  482. {
  483. uint32_t i;
  484. for (i = 0; i < TK_RESERVED; i++) {
  485. GCstr *s = lj_str_newz(L, tokennames[i]);
  486. fixstring(s); /* Reserved words are never collected. */
  487. s->reserved = (uint8_t)(i+1);
  488. }
  489. }