Added support for non-array references.
2 * Copyright (C) 2012 David Anderson
4 * This file is part of JITCraft.
6 * JITCraft is free software: you can redistribute it and/or modify it under
7 * the terms of the GNU General Public License as published by the Free
8 * Software Foundation, either version 3 of the License, or (at your option)
11 * Foobar is distributed in the hope that it will be useful, but WITHOUT ANY
12 * WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
13 * FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
15 * You should have received a copy of the GNU General Public License along with
16 * JITCraft. If not, see http://www.gnu.org/licenses/.
19 // NAME NUMBER TEXT LENGTH USES DEFS
23 // P = reference to the UnsafeHeap or UnsafeStack
26 OPDEF(OP_NOP, 0, "nop", 1, 0, 0)
28 // Pushes a signed integer immediate onto the stack.
29 OPDEF(OP_INT, 1, "int", 5, 0, 1)
31 // Returns from the current routine, propagating the value at the top of the
32 // stack to the caller.
33 OPDEF(OP_RETURN, 2, "return", 1, 1, 0)
35 // Stack transitions for these comparison ops:
38 // if (lhs COMPARE rhs)
39 // goto target (immediate, relative to the beginning of the jump instruction)
40 OPDEF(OP_JL, 3, "jl", 5, 2, 0)
41 OPDEF(OP_JLE, 4, "jle", 5, 2, 0)
42 OPDEF(OP_JG, 5, "jg", 5, 2, 0)
43 OPDEF(OP_JGE, 6, "jge", 5, 2, 0)
44 OPDEF(OP_JEQ, 7, "jeq", 5, 2, 0)
45 OPDEF(OP_JNE, 8, "jne", 5, 2, 0)
48 // if (value == [true, false])
50 OPDEF(OP_JT, 9, "jt", 5, 1, 0)
51 OPDEF(OP_JF, 10, "jf", 5, 1, 0)
53 // Unconditional jump.
54 OPDEF(OP_JUMP, 11, "jump", 5, 0, 0)
56 // Gets or sets the value of a local variable onto the stack. The local
57 // variable is given by an immediate index.
58 OPDEF(OP_GETLOCAL, 12, "getlocal", 5, 0, 1)
59 OPDEF(OP_SETLOCAL, 13, "setlocal", 5, 1, 1)
61 // Stack transitions for these binary operators:
65 OPDEF(OP_ADD, 14, "add", 1, 2, 1)
66 OPDEF(OP_SUB, 15, "sub", 1, 2, 1)
67 OPDEF(OP_MUL, 16, "mul", 1, 2, 1)
68 OPDEF(OP_DIV, 17, "div", 1, 2, 1)
70 OPDEF(OP_POP, 18, "pop", 1, 1, 0)
72 // Unconditional terminator placed at the end of code.
73 OPDEF(OP_STOP, 19, "stop", 1, 0, 0)
75 // Call a function with N arguments. Arguments are pushed in reverse order.
77 // CALLGLOBAL - followed by an extra immediate, containing the function index
78 // in the code's global.
79 OPDEF(OP_CALLGLOBAL, 20, "callglobal", 9, -1, 1)
81 // Similar to GET/LOCAL, except for arguments.
82 OPDEF(OP_GETARG, 21, "getarg", 5, 0, 1)
83 OPDEF(OP_SETARG, 22, "setarg", 5, 1, 1)
85 // Reads or writes an integer element to an unsafe array.
90 OPDEF(OP_GETARRAY_I, 23, "getarray.i", 1, 2, 1)
91 OPDEF(OP_SETARRAY_I, 24, "setarray.i", 1, 3, 1)
92 OPDEF(OP_GETARRAY_F, 25, "getarray.f", 1, 2, 1)
93 OPDEF(OP_SETARRAY_F, 26, "setarray.f", 1, 3, 1)
94 OPDEF(OP_GETARRAY_P, 27, "getarray.p", 1, 2, 1)
96 // Allocate an array, info LIFO space if possible. The ArrayMap to use is
97 // specified as an index into the script's Map table.
100 // [u8 op] [u32 index]
101 OPDEF(OP_LIFOARRAY, 28, "lifoarray", 5, 0, 1)
103 // Performs a bounds check on an unsafe array.
109 OPDEF(OP_BOUNDS_STA, 29, "bounds.sta", 1, 2, 2)
111 // Pushes a 32-bit IEEE-754 floating point immediate onto the stack.
112 OPDEF(OP_FLOAT, 30, "float", 5, 0, 1)
114 // Converts an integer to a 32-bit IEEE-754 floating point immediate.
115 OPDEF(OP_CVT_I2F, 31, "cvt.i2f", 1, 1, 1)
117 // Stack transitions for these binary operators:
121 OPDEF(OP_ADD_F, 32, "add.f", 1, 2, 1)
122 OPDEF(OP_SUB_F, 33, "sub.f", 1, 2, 1)
123 OPDEF(OP_MUL_F, 34, "mul.f", 1, 2, 1)
124 OPDEF(OP_DIV_F, 35, "div.f", 1, 2, 1)
126 // Bitwise operators.
127 OPDEF(OP_SHL, 36, "shl", 1, 2, 1)
128 OPDEF(OP_SHR, 37, "shr", 1, 2, 1)
129 OPDEF(OP_USHR, 38, "ushr", 1, 2, 1)
130 OPDEF(OP_BITAND, 39, "bitand", 1, 2, 1)
131 OPDEF(OP_BITOR, 40, "bitor", 1, 2, 1)
132 OPDEF(OP_BITXOR, 41, "bitxor", 1, 2, 1)
134 // Saves or restores the position of the LIFO heap to/from a local slot.
135 OPDEF(OP_SAVELIFO, 42, "savelifo", 5, 0, 0)
136 OPDEF(OP_UNWINDLIFO, 43, "unwindlifo", 5, 0, 0)
138 // Composes a variable reference to a stack slot or argument.
139 OPDEF(OP_VARREF_LIFO, 44, "varref.lifo", 5, 0, 1)
140 OPDEF(OP_ARGREF_LIFO, 45, "argref.lifo", 5, 0, 1)
141 OPDEF(OP_SLOTREF_LIFO, 46, "slotref.lifo", 1, 1, 1)
142 OPDEF(OP_GETREF_I, 47, "getref.i", 1, 1, 1)
143 OPDEF(OP_SETREF_I, 48, "setref.i", 1, 2, 1)
144 OPDEF(OP_GETREF_F, 49, "getref.f", 1, 1, 1)
145 OPDEF(OP_SETREF_F, 50, "setref.f", 1, 2, 1)