xref: /netbsd-src/external/mit/lua/dist/src/lcode.h (revision f0dad708b37bd6f5048a66ff2d48c1453845f039)
1*f0dad708Snikita /*	$NetBSD: lcode.h,v 1.9 2023/04/16 20:46:17 nikita Exp $	*/
2dbec5304Smbalmer 
3dbec5304Smbalmer /*
4*f0dad708Snikita ** Id: lcode.h
5dbec5304Smbalmer ** Code generator for Lua
6dbec5304Smbalmer ** See Copyright Notice in lua.h
7dbec5304Smbalmer */
8dbec5304Smbalmer 
9dbec5304Smbalmer #ifndef lcode_h
10dbec5304Smbalmer #define lcode_h
11dbec5304Smbalmer 
12dbec5304Smbalmer #include "llex.h"
13dbec5304Smbalmer #include "lobject.h"
14dbec5304Smbalmer #include "lopcodes.h"
15dbec5304Smbalmer #include "lparser.h"
16dbec5304Smbalmer 
17dbec5304Smbalmer 
18dbec5304Smbalmer /*
19dbec5304Smbalmer ** Marks the end of a patch list. It is an invalid value both as an absolute
20dbec5304Smbalmer ** address, and as a list link (would link an element to itself).
21dbec5304Smbalmer */
22dbec5304Smbalmer #define NO_JUMP (-1)
23dbec5304Smbalmer 
24dbec5304Smbalmer 
25dbec5304Smbalmer /*
264ab4902eSlneto ** grep "ORDER OPR" if you change these enums  (ORDER OP)
27dbec5304Smbalmer */
28dbec5304Smbalmer typedef enum BinOpr {
294ab4902eSlneto #ifndef _KERNEL
30*f0dad708Snikita   /* arithmetic operators */
314ab4902eSlneto   OPR_ADD, OPR_SUB, OPR_MUL, OPR_MOD, OPR_POW,
324ab4902eSlneto   OPR_DIV,
3373008250Slneto #else /* _KERNEL */
344ab4902eSlneto   OPR_ADD, OPR_SUB, OPR_MUL, OPR_MOD,
352d6cb6c2Slneto #endif /* _KERNEL */
364ab4902eSlneto   OPR_IDIV,
37*f0dad708Snikita   /* bitwise operators */
384ab4902eSlneto   OPR_BAND, OPR_BOR, OPR_BXOR,
394ab4902eSlneto   OPR_SHL, OPR_SHR,
40*f0dad708Snikita   /* string operator */
41dbec5304Smbalmer   OPR_CONCAT,
42*f0dad708Snikita   /* comparison operators */
434ab4902eSlneto   OPR_EQ, OPR_LT, OPR_LE,
444ab4902eSlneto   OPR_NE, OPR_GT, OPR_GE,
45*f0dad708Snikita   /* logical operators */
46dbec5304Smbalmer   OPR_AND, OPR_OR,
47dbec5304Smbalmer   OPR_NOBINOPR
48dbec5304Smbalmer } BinOpr;
49dbec5304Smbalmer 
50dbec5304Smbalmer 
51*f0dad708Snikita /* true if operation is foldable (that is, it is arithmetic or bitwise) */
52*f0dad708Snikita #define foldbinop(op)	((op) <= OPR_SHR)
53*f0dad708Snikita 
54*f0dad708Snikita 
55*f0dad708Snikita #define luaK_codeABC(fs,o,a,b,c)	luaK_codeABCk(fs,o,a,b,c,0)
56*f0dad708Snikita 
57*f0dad708Snikita 
584ab4902eSlneto typedef enum UnOpr { OPR_MINUS, OPR_BNOT, OPR_NOT, OPR_LEN, OPR_NOUNOPR } UnOpr;
59dbec5304Smbalmer 
60dbec5304Smbalmer 
61c7f896d7Ssalazar /* get (pointer to) instruction of given 'expdesc' */
62c7f896d7Ssalazar #define getinstruction(fs,e)	((fs)->f->code[(e)->u.info])
63dbec5304Smbalmer 
64dbec5304Smbalmer 
65dbec5304Smbalmer #define luaK_setmultret(fs,e)	luaK_setreturns(fs, e, LUA_MULTRET)
66dbec5304Smbalmer 
674ab4902eSlneto #define luaK_jumpto(fs,t)	luaK_patchlist(fs, luaK_jump(fs), t)
684ab4902eSlneto 
69*f0dad708Snikita LUAI_FUNC int luaK_code (FuncState *fs, Instruction i);
70dbec5304Smbalmer LUAI_FUNC int luaK_codeABx (FuncState *fs, OpCode o, int A, unsigned int Bx);
71*f0dad708Snikita LUAI_FUNC int luaK_codeAsBx (FuncState *fs, OpCode o, int A, int Bx);
72*f0dad708Snikita LUAI_FUNC int luaK_codeABCk (FuncState *fs, OpCode o, int A,
73*f0dad708Snikita                                             int B, int C, int k);
74*f0dad708Snikita LUAI_FUNC int luaK_isKint (expdesc *e);
75*f0dad708Snikita LUAI_FUNC int luaK_exp2const (FuncState *fs, const expdesc *e, TValue *v);
76dbec5304Smbalmer LUAI_FUNC void luaK_fixline (FuncState *fs, int line);
77dbec5304Smbalmer LUAI_FUNC void luaK_nil (FuncState *fs, int from, int n);
78dbec5304Smbalmer LUAI_FUNC void luaK_reserveregs (FuncState *fs, int n);
79dbec5304Smbalmer LUAI_FUNC void luaK_checkstack (FuncState *fs, int n);
80*f0dad708Snikita LUAI_FUNC void luaK_int (FuncState *fs, int reg, lua_Integer n);
81dbec5304Smbalmer LUAI_FUNC void luaK_dischargevars (FuncState *fs, expdesc *e);
82dbec5304Smbalmer LUAI_FUNC int luaK_exp2anyreg (FuncState *fs, expdesc *e);
834ab4902eSlneto LUAI_FUNC void luaK_exp2anyregup (FuncState *fs, expdesc *e);
84dbec5304Smbalmer LUAI_FUNC void luaK_exp2nextreg (FuncState *fs, expdesc *e);
85dbec5304Smbalmer LUAI_FUNC void luaK_exp2val (FuncState *fs, expdesc *e);
86dbec5304Smbalmer LUAI_FUNC int luaK_exp2RK (FuncState *fs, expdesc *e);
87dbec5304Smbalmer LUAI_FUNC void luaK_self (FuncState *fs, expdesc *e, expdesc *key);
88dbec5304Smbalmer LUAI_FUNC void luaK_indexed (FuncState *fs, expdesc *t, expdesc *k);
89dbec5304Smbalmer LUAI_FUNC void luaK_goiftrue (FuncState *fs, expdesc *e);
904ab4902eSlneto LUAI_FUNC void luaK_goiffalse (FuncState *fs, expdesc *e);
91dbec5304Smbalmer LUAI_FUNC void luaK_storevar (FuncState *fs, expdesc *var, expdesc *e);
92dbec5304Smbalmer LUAI_FUNC void luaK_setreturns (FuncState *fs, expdesc *e, int nresults);
93dbec5304Smbalmer LUAI_FUNC void luaK_setoneret (FuncState *fs, expdesc *e);
94dbec5304Smbalmer LUAI_FUNC int luaK_jump (FuncState *fs);
95dbec5304Smbalmer LUAI_FUNC void luaK_ret (FuncState *fs, int first, int nret);
96dbec5304Smbalmer LUAI_FUNC void luaK_patchlist (FuncState *fs, int list, int target);
97dbec5304Smbalmer LUAI_FUNC void luaK_patchtohere (FuncState *fs, int list);
98dbec5304Smbalmer LUAI_FUNC void luaK_concat (FuncState *fs, int *l1, int l2);
99dbec5304Smbalmer LUAI_FUNC int luaK_getlabel (FuncState *fs);
1004ab4902eSlneto LUAI_FUNC void luaK_prefix (FuncState *fs, UnOpr op, expdesc *v, int line);
101dbec5304Smbalmer LUAI_FUNC void luaK_infix (FuncState *fs, BinOpr op, expdesc *v);
1024ab4902eSlneto LUAI_FUNC void luaK_posfix (FuncState *fs, BinOpr op, expdesc *v1,
1034ab4902eSlneto                             expdesc *v2, int line);
104*f0dad708Snikita LUAI_FUNC void luaK_settablesize (FuncState *fs, int pc,
105*f0dad708Snikita                                   int ra, int asize, int hsize);
106dbec5304Smbalmer LUAI_FUNC void luaK_setlist (FuncState *fs, int base, int nelems, int tostore);
107*f0dad708Snikita LUAI_FUNC void luaK_finish (FuncState *fs);
108*f0dad708Snikita LUAI_FUNC l_noret luaK_semerror (LexState *ls, const char *msg);
109dbec5304Smbalmer 
110dbec5304Smbalmer 
111dbec5304Smbalmer #endif
112