|
dvander@47
|
1 |
/* vim: set ts=4 sw=4 tw=99 et: |
|
dvander@47
|
2 |
* |
|
dvander@0
|
3 |
* Copyright (C) 2012 David Anderson |
|
dvander@0
|
4 |
* |
|
dvander@0
|
5 |
* This file is part of JITCraft. |
|
dvander@0
|
6 |
* |
|
dvander@0
|
7 |
* JITCraft is free software: you can redistribute it and/or modify it under |
|
dvander@0
|
8 |
* the terms of the GNU General Public License as published by the Free |
|
dvander@0
|
9 |
* Software Foundation, either version 3 of the License, or (at your option) |
|
dvander@0
|
10 |
* any later version. |
|
dvander@0
|
11 |
* |
|
dvander@0
|
12 |
* Foobar is distributed in the hope that it will be useful, but WITHOUT ANY |
|
dvander@0
|
13 |
* WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS |
|
dvander@0
|
14 |
* FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. |
|
dvander@0
|
15 |
* |
|
dvander@0
|
16 |
* You should have received a copy of the GNU General Public License along with |
|
dvander@0
|
17 |
* JITCraft. If not, see http://www.gnu.org/licenses/. |
|
dvander@0
|
18 |
*/ |
|
dvander@0
|
19 |
// Opcode macros: |
|
dvander@0
|
20 |
// NAME NUMBER TEXT LENGTH USES DEFS |
|
dvander@0
|
21 |
// |
|
dvander@0
|
22 |
// Type suffixes: |
|
dvander@0
|
23 |
// I = 32-bit integer |
|
dvander@19
|
24 |
// F = 32-bit IEEE-754 float |
|
dvander@19
|
25 |
// O = object reference |
|
dvander@0
|
26 |
|
|
dvander@0
|
27 |
// No operation. |
|
dvander@0
|
28 |
OPDEF(OP_NOP, 0, "nop", 1, 0, 0) |
|
dvander@0
|
29 |
|
|
dvander@0
|
30 |
// Pushes a signed integer immediate onto the stack. |
|
dvander@0
|
31 |
OPDEF(OP_INT, 1, "int", 5, 0, 1) |
|
dvander@0
|
32 |
|
|
dvander@0
|
33 |
// Returns from the current routine, propagating the value at the top of the |
|
dvander@0
|
34 |
// stack to the caller. |
|
dvander@0
|
35 |
OPDEF(OP_RETURN, 2, "return", 1, 1, 0) |
|
dvander@0
|
36 |
|
|
dvander@0
|
37 |
// Stack transitions for these comparison ops: |
|
dvander@0
|
38 |
// rhs = pop() |
|
dvander@0
|
39 |
// lhs = pop() |
|
dvander@0
|
40 |
// if (lhs COMPARE rhs) |
|
dvander@0
|
41 |
// goto target (immediate, relative to the beginning of the jump instruction) |
|
dvander@0
|
42 |
OPDEF(OP_JL, 3, "jl", 5, 2, 0) |
|
dvander@0
|
43 |
OPDEF(OP_JLE, 4, "jle", 5, 2, 0) |
|
dvander@0
|
44 |
OPDEF(OP_JG, 5, "jg", 5, 2, 0) |
|
dvander@0
|
45 |
OPDEF(OP_JGE, 6, "jge", 5, 2, 0) |
|
dvander@0
|
46 |
OPDEF(OP_JEQ, 7, "jeq", 5, 2, 0) |
|
dvander@0
|
47 |
OPDEF(OP_JNE, 8, "jne", 5, 2, 0) |
|
dvander@0
|
48 |
|
|
dvander@0
|
49 |
// value = pop() |
|
dvander@0
|
50 |
// if (value == [true, false]) |
|
dvander@0
|
51 |
// goto target |
|
dvander@0
|
52 |
OPDEF(OP_JT, 9, "jt", 5, 1, 0) |
|
dvander@0
|
53 |
OPDEF(OP_JF, 10, "jf", 5, 1, 0) |
|
dvander@0
|
54 |
|
|
dvander@74
|
55 |
OPDEF(OP_JL_F, 11, "jl.f", 5, 2, 0) |
|
dvander@74
|
56 |
OPDEF(OP_JLE_F, 12, "jle.f", 5, 2, 0) |
|
dvander@74
|
57 |
OPDEF(OP_JG_F, 13, "jg.f", 5, 2, 0) |
|
dvander@74
|
58 |
OPDEF(OP_JGE_F, 14, "jge.f", 5, 2, 0) |
|
dvander@74
|
59 |
OPDEF(OP_JEQ_F, 15, "jeq.f", 5, 2, 0) |
|
dvander@74
|
60 |
OPDEF(OP_JNE_F, 16, "jne.f", 5, 2, 0) |
|
dvander@74
|
61 |
OPDEF(OP_JT_F, 17, "jt.f", 5, 1, 0) |
|
dvander@74
|
62 |
OPDEF(OP_JF_F, 18, "jf.f", 5, 1, 0) |
|
dvander@74
|
63 |
|
|
dvander@0
|
64 |
// Unconditional jump. |
|
dvander@74
|
65 |
OPDEF(OP_JUMP, 19, "jump", 5, 0, 0) |
|
dvander@0
|
66 |
|
|
dvander@0
|
67 |
// Gets or sets the value of a local variable onto the stack. The local |
|
dvander@0
|
68 |
// variable is given by an immediate index. |
|
dvander@74
|
69 |
OPDEF(OP_GETLOCAL, 20, "getlocal", 5, 0, 1) |
|
dvander@74
|
70 |
OPDEF(OP_SETLOCAL, 21, "setlocal", 5, 1, 1) |
|
dvander@0
|
71 |
|
|
dvander@0
|
72 |
// Stack transitions for these binary operators: |
|
dvander@0
|
73 |
// rhs = pop() |
|
dvander@0
|
74 |
// lhs = pop() |
|
dvander@0
|
75 |
// push(lhs OP rhs) |
|
dvander@74
|
76 |
OPDEF(OP_ADD, 22, "add", 1, 2, 1) |
|
dvander@74
|
77 |
OPDEF(OP_SUB, 23, "sub", 1, 2, 1) |
|
dvander@74
|
78 |
OPDEF(OP_MUL, 24, "mul", 1, 2, 1) |
|
dvander@74
|
79 |
OPDEF(OP_DIV, 25, "div", 1, 2, 1) |
|
dvander@82
|
80 |
OPDEF(OP_MOD, 26, "mod", 1, 2, 1) |
|
dvander@0
|
81 |
|
|
dvander@82
|
82 |
OPDEF(OP_LT, 27, "lt", 1, 2, 1) |
|
dvander@82
|
83 |
OPDEF(OP_LE, 28, "le", 1, 2, 1) |
|
dvander@82
|
84 |
OPDEF(OP_GE, 29, "ge", 1, 2, 1) |
|
dvander@82
|
85 |
OPDEF(OP_GT, 30, "gt", 1, 2, 1) |
|
dvander@82
|
86 |
OPDEF(OP_EQ, 31, "eq", 1, 2, 1) |
|
dvander@82
|
87 |
OPDEF(OP_NE, 32, "ne", 1, 2, 1) |
|
dvander@74
|
88 |
|
|
dvander@82
|
89 |
OPDEF(OP_NOT, 33, "not", 1, 1, 1) |
|
dvander@82
|
90 |
OPDEF(OP_NEG, 34, "neg", 1, 1, 1) |
|
dvander@79
|
91 |
|
|
dvander@82
|
92 |
OPDEF(OP_POP, 35, "pop", 1, 1, 0) |
|
dvander@0
|
93 |
|
|
dvander@72
|
94 |
// Unconditional terminator placed at the end of code. If a function returns |
|
dvander@72
|
95 |
// void, this acts as a RETURNVOID. Otherwise, it must be unreachable. |
|
dvander@82
|
96 |
OPDEF(OP_STOP, 36, "stop", 1, 0, 0) |
|
dvander@0
|
97 |
|
|
dvander@73
|
98 |
// Call a function with N arguments. The target function must be the last item |
|
dvander@73
|
99 |
// on the stack. |
|
dvander@82
|
100 |
OPDEF(OP_CALL, 37, "call", 1, -1, 1) |
|
dvander@0
|
101 |
|
|
dvander@0
|
102 |
// Similar to GET/LOCAL, except for arguments. |
|
dvander@82
|
103 |
OPDEF(OP_GETARG, 38, "getarg", 5, 0, 1) |
|
dvander@82
|
104 |
OPDEF(OP_SETARG, 39, "setarg", 5, 1, 1) |
|
dvander@0
|
105 |
|
|
dvander@0
|
106 |
// Reads or writes an integer element to an unsafe array. |
|
dvander@0
|
107 |
// index = pop() |
|
dvander@0
|
108 |
// ref = pop() |
|
dvander@0
|
109 |
// ref[index] |
|
dvander@0
|
110 |
// |
|
dvander@82
|
111 |
OPDEF(OP_GETARRAY_I, 40, "getarray.i", 1, 2, 1) |
|
dvander@82
|
112 |
OPDEF(OP_SETARRAY_I, 41, "setarray.i", 1, 3, 1) |
|
dvander@82
|
113 |
OPDEF(OP_GETARRAY_F, 42, "getarray.f", 1, 2, 1) |
|
dvander@82
|
114 |
OPDEF(OP_SETARRAY_F, 43, "setarray.f", 1, 3, 1) |
|
dvander@82
|
115 |
OPDEF(OP_GETARRAY_C, 44, "getarray.c", 1, 2, 1) |
|
dvander@82
|
116 |
OPDEF(OP_SETARRAY_C, 45, "setarray.c", 1, 3, 1) |
|
dvander@82
|
117 |
OPDEF(OP_GETARRAY_O, 46, "getarray.o", 1, 2, 1) |
|
dvander@0
|
118 |
|
|
dvander@85
|
119 |
// Allocate an array. The HeapTenure is stored as a byte following pc. The |
|
dvander@85
|
120 |
// ArrayMap to use is specified as an index into the script's Map table. |
|
dvander@0
|
121 |
// |
|
dvander@0
|
122 |
// Format: |
|
dvander@12
|
123 |
// [u8 op] [u32 index] |
|
dvander@85
|
124 |
OPDEF(OP_NEWARRAY, 47, "newarray", 6, 0, 1) |
|
dvander@0
|
125 |
|
|
dvander@0
|
126 |
// Performs a bounds check on an unsafe array. |
|
dvander@0
|
127 |
// |
|
dvander@0
|
128 |
// index = pop() |
|
dvander@0
|
129 |
// array = pop() |
|
dvander@0
|
130 |
// push(array) |
|
dvander@0
|
131 |
// push(index) |
|
dvander@82
|
132 |
OPDEF(OP_BOUNDS, 48, "bounds", 1, 2, 2) |
|
dvander@4
|
133 |
|
|
dvander@4
|
134 |
// Pushes a 32-bit IEEE-754 floating point immediate onto the stack. |
|
dvander@82
|
135 |
OPDEF(OP_FLOAT, 49, "float", 5, 0, 1) |
|
dvander@4
|
136 |
|
|
dvander@4
|
137 |
// Converts an integer to a 32-bit IEEE-754 floating point immediate. |
|
dvander@82
|
138 |
OPDEF(OP_CVT_I2F, 50, "cvt.i2f", 1, 1, 1) |
|
dvander@4
|
139 |
|
|
dvander@4
|
140 |
// Stack transitions for these binary operators: |
|
dvander@4
|
141 |
// rhs = pop() |
|
dvander@4
|
142 |
// lhs = pop() |
|
dvander@4
|
143 |
// push(lhs OP rhs) |
|
dvander@82
|
144 |
OPDEF(OP_ADD_F, 51, "add.f", 1, 2, 1) |
|
dvander@82
|
145 |
OPDEF(OP_SUB_F, 52, "sub.f", 1, 2, 1) |
|
dvander@82
|
146 |
OPDEF(OP_MUL_F, 53, "mul.f", 1, 2, 1) |
|
dvander@82
|
147 |
OPDEF(OP_DIV_F, 54, "div.f", 1, 2, 1) |
|
dvander@82
|
148 |
OPDEF(OP_UNUSED1, 55, "unused0", 1, 0, 0) |
|
dvander@74
|
149 |
|
|
dvander@82
|
150 |
OPDEF(OP_LT_F, 56, "lt.f", 1, 2, 1) |
|
dvander@82
|
151 |
OPDEF(OP_LE_F, 57, "le.f", 1, 2, 1) |
|
dvander@82
|
152 |
OPDEF(OP_GE_F, 58, "ge.f", 1, 2, 1) |
|
dvander@82
|
153 |
OPDEF(OP_GT_F, 59, "gt.f", 1, 2, 1) |
|
dvander@82
|
154 |
OPDEF(OP_EQ_F, 60, "eq.f", 1, 2, 1) |
|
dvander@82
|
155 |
OPDEF(OP_NE_F, 61, "ne.f", 1, 2, 1) |
|
dvander@79
|
156 |
|
|
dvander@82
|
157 |
OPDEF(OP_NOT_F, 62, "not.f", 1, 1, 1) |
|
dvander@82
|
158 |
OPDEF(OP_NEG_F, 63, "neg.f", 1, 1, 1) |
|
dvander@4
|
159 |
|
|
dvander@8
|
160 |
// Bitwise operators. |
|
dvander@82
|
161 |
OPDEF(OP_SHL, 64, "shl", 1, 2, 1) |
|
dvander@82
|
162 |
OPDEF(OP_SHR, 65, "shr", 1, 2, 1) |
|
dvander@82
|
163 |
OPDEF(OP_USHR, 66, "ushr", 1, 2, 1) |
|
dvander@82
|
164 |
OPDEF(OP_BITAND, 67, "bitand", 1, 2, 1) |
|
dvander@82
|
165 |
OPDEF(OP_BITOR, 68, "bitor", 1, 2, 1) |
|
dvander@82
|
166 |
OPDEF(OP_BITXOR, 69, "bitxor", 1, 2, 1) |
|
dvander@82
|
167 |
OPDEF(OP_BITNOT, 70, "bitnot", 1, 1, 1) |
|
dvander@12
|
168 |
|
|
dvander@12
|
169 |
// Saves or restores the position of the LIFO heap to/from a local slot. |
|
dvander@82
|
170 |
OPDEF(OP_SAVELIFO, 71, "savelifo", 5, 0, 0) |
|
dvander@82
|
171 |
OPDEF(OP_UNWINDLIFO, 72, "unwindlifo", 5, 0, 0) |
|
dvander@14
|
172 |
|
|
dvander@14
|
173 |
// Composes a variable reference to a stack slot or argument. |
|
dvander@82
|
174 |
OPDEF(OP_VARREF_LIFO, 73, "varref.lifo", 5, 0, 1) |
|
dvander@82
|
175 |
OPDEF(OP_ARGREF_LIFO, 74, "argref.lifo", 5, 0, 1) |
|
dvander@82
|
176 |
OPDEF(OP_SLOTREF_LIFO, 75, "slotref.lifo", 1, 1, 1) |
|
dvander@82
|
177 |
OPDEF(OP_ARRAYREF_LIFO, 76, "arrayref.lifo",1, 2, 1) |
|
dvander@82
|
178 |
OPDEF(OP_GETREF_I, 77, "getref.i", 1, 1, 1) |
|
dvander@82
|
179 |
OPDEF(OP_SETREF_I, 78, "setref.i", 1, 2, 1) |
|
dvander@82
|
180 |
OPDEF(OP_GETREF_F, 79, "getref.f", 1, 1, 1) |
|
dvander@82
|
181 |
OPDEF(OP_SETREF_F, 80, "setref.f", 1, 2, 1) |
|
dvander@21
|
182 |
|
|
dvander@21
|
183 |
// Pushes an object reference onto the stack. |
|
dvander@82
|
184 |
OPDEF(OP_OBJECT, 81, "object", 5, 0, 1) |
|
dvander@21
|
185 |
|
|
dvander@21
|
186 |
// Performs an array-to-array assignment. |
|
dvander@21
|
187 |
// Left = pop() |
|
dvander@21
|
188 |
// Right = pop() |
|
dvander@21
|
189 |
// copy(Left, Right) |
|
dvander@21
|
190 |
// push(Left) |
|
dvander@82
|
191 |
OPDEF(OP_ARRAYCOPY, 82, "arraycopy", 1, 2, 1) |
|
dvander@22
|
192 |
|
|
dvander@22
|
193 |
// Duplicates the top item on the stack. |
|
dvander@82
|
194 |
OPDEF(OP_DUP, 83, "dup", 1, 1, 2) |
|
dvander@22
|
195 |
|
|
dvander@22
|
196 |
// Duplicates the top two items on the stack. |
|
dvander@82
|
197 |
OPDEF(OP_DUP2, 84, "dup2", 1, 2, 4) |
|
dvander@23
|
198 |
|
|
dvander@23
|
199 |
// Swaps the two items at the top of the stack. |
|
dvander@82
|
200 |
OPDEF(OP_SWAP, 85, "swap", 1, 2, 2) |
|
dvander@23
|
201 |
|
|
dvander@23
|
202 |
// Roll operation is the same as Forth. It steals a value on the stack, |
|
dvander@23
|
203 |
// shifting all stack values down, and then places the stolen value back at |
|
dvander@23
|
204 |
// the top of the stack. |
|
dvander@23
|
205 |
// |
|
dvander@23
|
206 |
// p = sp[-3] |
|
dvander@23
|
207 |
// sp[-3] = sp[-2] |
|
dvander@23
|
208 |
// sp[-2] = sp[-1] |
|
dvander@23
|
209 |
// sp[-1] = p |
|
dvander@82
|
210 |
OPDEF(OP_ROLL3, 86, "roll3", 1, 3, 3) |
|
dvander@23
|
211 |
|
|
dvander@23
|
212 |
// Pick operation is the same as Forth. It pushes a copy of a slot at a |
|
dvander@23
|
213 |
// specific depth. |
|
dvander@23
|
214 |
// |
|
dvander@23
|
215 |
// push(sp[-n]) |
|
dvander@82
|
216 |
OPDEF(OP_PICK2, 87, "pick2", 1, 2, 3) |
|
dvander@82
|
217 |
OPDEF(OP_PICK3, 88, "pick3", 1, 3, 4) |
|
dvander@68
|
218 |
|
|
dvander@68
|
219 |
// Calls a native function. During the course of calling a native, arguments |
|
dvander@68
|
220 |
// on the stack are re-pushed to match the cell-based native calling |
|
dvander@68
|
221 |
// convention expected by ISourcePawnEngine. |
|
dvander@68
|
222 |
// |
|
dvander@68
|
223 |
// Unlike the normal CALL instruction, natives take truly variadic arguments |
|
dvander@68
|
224 |
// and so we must specify the number of arguments. The format is: |
|
dvander@68
|
225 |
// |
|
dvander@68
|
226 |
// [u8 Opcode] [u32 Index] [u32 ArgCount] |
|
dvander@68
|
227 |
// |
|
dvander@82
|
228 |
OPDEF(OP_CALLNATIVE, 89, "callnative", 9, -1, 1) |
|
dvander@72
|
229 |
|
|
dvander@72
|
230 |
// Returns from a function that does return a value. |
|
dvander@82
|
231 |
OPDEF(OP_RETURNVOID, 90, "returnvoid", 1, 0, 0) |
|
dvander@73
|
232 |
|
|
dvander@73
|
233 |
// Loads the module of the running function. |
|
dvander@82
|
234 |
OPDEF(OP_MODULE, 91, "module", 1, 0, 1) |
|
dvander@73
|
235 |
|
|
dvander@73
|
236 |
// Loads a function from a module object. The operand is the slot number |
|
dvander@73
|
237 |
// in the module. |
|
dvander@82
|
238 |
OPDEF(OP_GETMODULE_FN, 92, "getmodule.fn", 5, 1, 1) |
|
dvander@85
|
239 |
|
|
dvander@85
|
240 |
// Opcodes for accessing an environment slot in the global scope. |
|
dvander@85
|
241 |
OPDEF(OP_SETGLOBAL_I, 93, "setglobal.i", 5, 1, 1) |
|
dvander@85
|
242 |
OPDEF(OP_SETGLOBAL_F, 94, "setglobal.f", 5, 1, 1) |
|
dvander@85
|
243 |
OPDEF(OP_SETGLOBAL_O, 95, "setglobal.o", 5, 1, 1) |
|
dvander@85
|
244 |
OPDEF(OP_GETGLOBAL_I, 96, "getglobal.i", 5, 0, 1) |
|
dvander@85
|
245 |
OPDEF(OP_GETGLOBAL_F, 97, "getglobal.f", 5, 0, 1) |
|
dvander@85
|
246 |
OPDEF(OP_GETGLOBAL_O, 98, "getglobal.o", 5, 0, 1) |
