diff options
author | Li Jin <dragon-fly@qq.com> | 2021-04-21 09:36:25 +0800 |
---|---|---|
committer | Li Jin <dragon-fly@qq.com> | 2021-04-21 09:36:25 +0800 |
commit | b7bdf7d5d36825a1a750a74641f6d374dec5d67a (patch) | |
tree | 6b27eb6590e07c07f378305c51d0f5e0779faa83 /src/lua/lparser.h | |
parent | b86e5af605a170a3559df0165eac3cb6b665dc49 (diff) | |
download | yuescript-b7bdf7d5d36825a1a750a74641f6d374dec5d67a.tar.gz yuescript-b7bdf7d5d36825a1a750a74641f6d374dec5d67a.tar.bz2 yuescript-b7bdf7d5d36825a1a750a74641f6d374dec5d67a.zip |
adjust some folder levels.
Diffstat (limited to 'src/lua/lparser.h')
-rw-r--r-- | src/lua/lparser.h | 171 |
1 files changed, 0 insertions, 171 deletions
diff --git a/src/lua/lparser.h b/src/lua/lparser.h deleted file mode 100644 index 5e4500f..0000000 --- a/src/lua/lparser.h +++ /dev/null | |||
@@ -1,171 +0,0 @@ | |||
1 | /* | ||
2 | ** $Id: lparser.h $ | ||
3 | ** Lua Parser | ||
4 | ** See Copyright Notice in lua.h | ||
5 | */ | ||
6 | |||
7 | #ifndef lparser_h | ||
8 | #define lparser_h | ||
9 | |||
10 | #include "llimits.h" | ||
11 | #include "lobject.h" | ||
12 | #include "lzio.h" | ||
13 | |||
14 | |||
15 | /* | ||
16 | ** Expression and variable descriptor. | ||
17 | ** Code generation for variables and expressions can be delayed to allow | ||
18 | ** optimizations; An 'expdesc' structure describes a potentially-delayed | ||
19 | ** variable/expression. It has a description of its "main" value plus a | ||
20 | ** list of conditional jumps that can also produce its value (generated | ||
21 | ** by short-circuit operators 'and'/'or'). | ||
22 | */ | ||
23 | |||
24 | /* kinds of variables/expressions */ | ||
25 | typedef enum { | ||
26 | VVOID, /* when 'expdesc' describes the last expression of a list, | ||
27 | this kind means an empty list (so, no expression) */ | ||
28 | VNIL, /* constant nil */ | ||
29 | VTRUE, /* constant true */ | ||
30 | VFALSE, /* constant false */ | ||
31 | VK, /* constant in 'k'; info = index of constant in 'k' */ | ||
32 | VKFLT, /* floating constant; nval = numerical float value */ | ||
33 | VKINT, /* integer constant; ival = numerical integer value */ | ||
34 | VKSTR, /* string constant; strval = TString address; | ||
35 | (string is fixed by the lexer) */ | ||
36 | VNONRELOC, /* expression has its value in a fixed register; | ||
37 | info = result register */ | ||
38 | VLOCAL, /* local variable; var.ridx = register index; | ||
39 | var.vidx = relative index in 'actvar.arr' */ | ||
40 | VUPVAL, /* upvalue variable; info = index of upvalue in 'upvalues' */ | ||
41 | VCONST, /* compile-time <const> variable; | ||
42 | info = absolute index in 'actvar.arr' */ | ||
43 | VINDEXED, /* indexed variable; | ||
44 | ind.t = table register; | ||
45 | ind.idx = key's R index */ | ||
46 | VINDEXUP, /* indexed upvalue; | ||
47 | ind.t = table upvalue; | ||
48 | ind.idx = key's K index */ | ||
49 | VINDEXI, /* indexed variable with constant integer; | ||
50 | ind.t = table register; | ||
51 | ind.idx = key's value */ | ||
52 | VINDEXSTR, /* indexed variable with literal string; | ||
53 | ind.t = table register; | ||
54 | ind.idx = key's K index */ | ||
55 | VJMP, /* expression is a test/comparison; | ||
56 | info = pc of corresponding jump instruction */ | ||
57 | VRELOC, /* expression can put result in any register; | ||
58 | info = instruction pc */ | ||
59 | VCALL, /* expression is a function call; info = instruction pc */ | ||
60 | VVARARG /* vararg expression; info = instruction pc */ | ||
61 | } expkind; | ||
62 | |||
63 | |||
64 | #define vkisvar(k) (VLOCAL <= (k) && (k) <= VINDEXSTR) | ||
65 | #define vkisindexed(k) (VINDEXED <= (k) && (k) <= VINDEXSTR) | ||
66 | |||
67 | |||
68 | typedef struct expdesc { | ||
69 | expkind k; | ||
70 | union { | ||
71 | lua_Integer ival; /* for VKINT */ | ||
72 | lua_Number nval; /* for VKFLT */ | ||
73 | TString *strval; /* for VKSTR */ | ||
74 | int info; /* for generic use */ | ||
75 | struct { /* for indexed variables */ | ||
76 | short idx; /* index (R or "long" K) */ | ||
77 | lu_byte t; /* table (register or upvalue) */ | ||
78 | } ind; | ||
79 | struct { /* for local variables */ | ||
80 | lu_byte ridx; /* register holding the variable */ | ||
81 | unsigned short vidx; /* compiler index (in 'actvar.arr') */ | ||
82 | } var; | ||
83 | } u; | ||
84 | int t; /* patch list of 'exit when true' */ | ||
85 | int f; /* patch list of 'exit when false' */ | ||
86 | } expdesc; | ||
87 | |||
88 | |||
89 | /* kinds of variables */ | ||
90 | #define VDKREG 0 /* regular */ | ||
91 | #define RDKCONST 1 /* constant */ | ||
92 | #define RDKTOCLOSE 2 /* to-be-closed */ | ||
93 | #define RDKCTC 3 /* compile-time constant */ | ||
94 | |||
95 | /* description of an active local variable */ | ||
96 | typedef union Vardesc { | ||
97 | struct { | ||
98 | TValuefields; /* constant value (if it is a compile-time constant) */ | ||
99 | lu_byte kind; | ||
100 | lu_byte ridx; /* register holding the variable */ | ||
101 | short pidx; /* index of the variable in the Proto's 'locvars' array */ | ||
102 | TString *name; /* variable name */ | ||
103 | } vd; | ||
104 | TValue k; /* constant value (if any) */ | ||
105 | } Vardesc; | ||
106 | |||
107 | |||
108 | |||
109 | /* description of pending goto statements and label statements */ | ||
110 | typedef struct Labeldesc { | ||
111 | TString *name; /* label identifier */ | ||
112 | int pc; /* position in code */ | ||
113 | int line; /* line where it appeared */ | ||
114 | lu_byte nactvar; /* number of active variables in that position */ | ||
115 | lu_byte close; /* goto that escapes upvalues */ | ||
116 | } Labeldesc; | ||
117 | |||
118 | |||
119 | /* list of labels or gotos */ | ||
120 | typedef struct Labellist { | ||
121 | Labeldesc *arr; /* array */ | ||
122 | int n; /* number of entries in use */ | ||
123 | int size; /* array size */ | ||
124 | } Labellist; | ||
125 | |||
126 | |||
127 | /* dynamic structures used by the parser */ | ||
128 | typedef struct Dyndata { | ||
129 | struct { /* list of all active local variables */ | ||
130 | Vardesc *arr; | ||
131 | int n; | ||
132 | int size; | ||
133 | } actvar; | ||
134 | Labellist gt; /* list of pending gotos */ | ||
135 | Labellist label; /* list of active labels */ | ||
136 | } Dyndata; | ||
137 | |||
138 | |||
139 | /* control of blocks */ | ||
140 | struct BlockCnt; /* defined in lparser.c */ | ||
141 | |||
142 | |||
143 | /* state needed to generate code for a given function */ | ||
144 | typedef struct FuncState { | ||
145 | Proto *f; /* current function header */ | ||
146 | struct FuncState *prev; /* enclosing function */ | ||
147 | struct LexState *ls; /* lexical state */ | ||
148 | struct BlockCnt *bl; /* chain of current blocks */ | ||
149 | int pc; /* next position to code (equivalent to 'ncode') */ | ||
150 | int lasttarget; /* 'label' of last 'jump label' */ | ||
151 | int previousline; /* last line that was saved in 'lineinfo' */ | ||
152 | int nk; /* number of elements in 'k' */ | ||
153 | int np; /* number of elements in 'p' */ | ||
154 | int nabslineinfo; /* number of elements in 'abslineinfo' */ | ||
155 | int firstlocal; /* index of first local var (in Dyndata array) */ | ||
156 | int firstlabel; /* index of first label (in 'dyd->label->arr') */ | ||
157 | short ndebugvars; /* number of elements in 'f->locvars' */ | ||
158 | lu_byte nactvar; /* number of active local variables */ | ||
159 | lu_byte nups; /* number of upvalues */ | ||
160 | lu_byte freereg; /* first free register */ | ||
161 | lu_byte iwthabs; /* instructions issued since last absolute line info */ | ||
162 | lu_byte needclose; /* function needs to close upvalues when returning */ | ||
163 | } FuncState; | ||
164 | |||
165 | |||
166 | LUAI_FUNC int luaY_nvarstack (FuncState *fs); | ||
167 | LUAI_FUNC LClosure *luaY_parser (lua_State *L, ZIO *z, Mbuffer *buff, | ||
168 | Dyndata *dyd, const char *name, int firstchar); | ||
169 | |||
170 | |||
171 | #endif | ||