1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
|
/*
** $Id: lcode.h,v 1.2 2004/03/23 05:09:14 jbj Exp $
** Code generator for Lua
** See Copyright Notice in lua.h
*/
#ifndef lcode_h
#define lcode_h
#include "llex.h"
#include "lobject.h"
#include "lopcodes.h"
#include "lparser.h"
/*
** Marks the end of a patch list. It is an invalid value both as an absolute
** address, and as a list link (would link an element to itself).
*/
#define NO_JUMP (-1)
/*
** grep "ORDER OPR" if you change these enums
*/
typedef enum BinOpr {
OPR_ADD, OPR_SUB, OPR_MULT, OPR_DIV, OPR_POW,
OPR_CONCAT,
OPR_NE, OPR_EQ,
OPR_LT, OPR_LE, OPR_GT, OPR_GE,
OPR_AND, OPR_OR,
OPR_NOBINOPR
} BinOpr;
#define binopistest(op) ((op) >= OPR_NE)
typedef enum UnOpr { OPR_MINUS, OPR_NOT, OPR_NOUNOPR } UnOpr;
#define getcode(fs,e) ((fs)->f->code[(e)->info])
#define luaK_codeAsBx(fs,o,A,sBx) luaK_codeABx(fs,o,A,(sBx)+MAXARG_sBx)
int luaK_code (FuncState *fs, Instruction i, int line)
/*@modifies fs @*/;
int luaK_codeABx (FuncState *fs, OpCode o, int A, unsigned int Bx)
/*@modifies fs @*/;
int luaK_codeABC (FuncState *fs, OpCode o, int A, int B, int C)
/*@modifies fs @*/;
void luaK_fixline (FuncState *fs, int line)
/*@modifies fs @*/;
void luaK_nil (FuncState *fs, int from, int n)
/*@modifies fs @*/;
void luaK_reserveregs (FuncState *fs, int n)
/*@modifies fs @*/;
void luaK_checkstack (FuncState *fs, int n)
/*@modifies fs @*/;
int luaK_stringK (FuncState *fs, TString *s)
/*@modifies fs @*/;
int luaK_numberK (FuncState *fs, lua_Number r)
/*@modifies fs @*/;
void luaK_dischargevars (FuncState *fs, expdesc *e)
/*@modifies fs, e @*/;
int luaK_exp2anyreg (FuncState *fs, expdesc *e)
/*@modifies fs, e @*/;
void luaK_exp2nextreg (FuncState *fs, expdesc *e)
/*@modifies fs, e @*/;
void luaK_exp2val (FuncState *fs, expdesc *e)
/*@modifies fs, e @*/;
int luaK_exp2RK (FuncState *fs, expdesc *e)
/*@modifies fs, e @*/;
void luaK_self (FuncState *fs, expdesc *e, expdesc *key)
/*@modifies fs, e, key @*/;
void luaK_indexed (FuncState *fs, expdesc *t, expdesc *k)
/*@modifies fs, t, k @*/;
void luaK_goiftrue (FuncState *fs, expdesc *e)
/*@modifies fs, e @*/;
void luaK_goiffalse (FuncState *fs, expdesc *e)
/*@modifies fs, e @*/;
void luaK_storevar (FuncState *fs, expdesc *var, expdesc *e)
/*@modifies fs, e @*/;
void luaK_setcallreturns (FuncState *fs, expdesc *var, int nresults)
/*@modifies fs, var @*/;
int luaK_jump (FuncState *fs)
/*@modifies fs @*/;
void luaK_patchlist (FuncState *fs, int list, int target)
/*@modifies fs @*/;
void luaK_patchtohere (FuncState *fs, int list)
/*@modifies fs @*/;
void luaK_concat (FuncState *fs, int *l1, int l2)
/*@modifies fs, *l1 @*/;
int luaK_getlabel (FuncState *fs)
/*@modifies fs @*/;
void luaK_prefix (FuncState *fs, UnOpr op, expdesc *v)
/*@modifies fs, v @*/;
void luaK_infix (FuncState *fs, BinOpr op, expdesc *v)
/*@modifies fs, v @*/;
void luaK_posfix (FuncState *fs, BinOpr op, expdesc *v1, expdesc *v2)
/*@modifies fs, v1, v2 @*/;
#endif
|
