/* vim: set ts=4 sw=4 tw=99 et:

 *

 * Copyright (C) 2012 David Anderson

 *

 * This file is part of JITCraft.

 *

 * JITCraft is free software: you can redistribute it and/or modify it under

 * the terms of the GNU General Public License as published by the Free

 * Software Foundation, either version 3 of the License, or (at your option)

 * any later version.

 * 

 * Foobar is distributed in the hope that it will be useful, but WITHOUT ANY

 * WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS

 * FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

 *

 * You should have received a copy of the GNU General Public License along with

 * JITCraft. If not, see http://www.gnu.org/licenses/.

 */

// Opcode macros:

//  NAME            NUMBER      TEXT                LENGTH  USES  DEFS   

//

// Type suffixes:

//  I = 32-bit integer

//  F = 32-bit IEEE-754 float

//  O = object reference

// No operation.

OPDEF(OP_NOP,           0,          "nop",          1,      0,  0)

// Pushes a signed integer immediate onto the stack.

OPDEF(OP_INT,           1,          "int",          5,      0,  1)    

// Returns from the current routine, propagating the value at the top of the

// stack to the caller.

OPDEF(OP_RETURN,        2,          "return",       1,      1,  0)

// Stack transitions for these comparison ops:

// rhs = pop()

// lhs = pop()

// if (lhs COMPARE rhs)

//    goto target (immediate, relative to the beginning of the jump instruction)

OPDEF(OP_JL,            3,          "jl",           5,      2,  0)

OPDEF(OP_JLE,           4,          "jle",          5,      2,  0)

OPDEF(OP_JG,            5,          "jg",           5,      2,  0)

OPDEF(OP_JGE,           6,          "jge",          5,      2,  0)

OPDEF(OP_JEQ,           7,          "jeq",          5,      2,  0)

OPDEF(OP_JNE,           8,          "jne",          5,      2,  0)

// value = pop()

// if (value == [true, false])

//    goto target

OPDEF(OP_JT,            9,          "jt",           5,      1,  0)

OPDEF(OP_JF,            10,         "jf",           5,      1,  0)

OPDEF(OP_JL_F,          11,         "jl.f",         5,      2,  0)

OPDEF(OP_JLE_F,         12,         "jle.f",        5,      2,  0)

OPDEF(OP_JG_F,          13,         "jg.f",         5,      2,  0)

OPDEF(OP_JGE_F,         14,         "jge.f",        5,      2,  0)

OPDEF(OP_JEQ_F,         15,         "jeq.f",        5,      2,  0)

OPDEF(OP_JNE_F,         16,         "jne.f",        5,      2,  0)

OPDEF(OP_JT_F,          17,         "jt.f",         5,      1,  0)

OPDEF(OP_JF_F,          18,         "jf.f",         5,      1,  0)

// Unconditional jump.

OPDEF(OP_JUMP,          19,         "jump",         5,      0,  0)

// Gets or sets the value of a local variable onto the stack. The local

// variable is given by an immediate index.

OPDEF(OP_GETLOCAL,      20,         "getlocal",     5,      0,  1)

OPDEF(OP_SETLOCAL,      21,         "setlocal",     5,      1,  1)

// Stack transitions for these binary operators:

// rhs = pop()

// lhs = pop()

// push(lhs OP rhs)

OPDEF(OP_ADD,           22,         "add",          1,      2,  1)

OPDEF(OP_SUB,           23,         "sub",          1,      2,  1)

OPDEF(OP_MUL,           24,         "mul",          1,      2,  1)

OPDEF(OP_DIV,           25,         "div",          1,      2,  1)

OPDEF(OP_MOD,           26,         "mod",          1,      2,  1)

OPDEF(OP_LT,            27,         "lt",           1,      2,  1)

OPDEF(OP_LE,            28,         "le",           1,      2,  1)

OPDEF(OP_GE,            29,         "ge",           1,      2,  1)

OPDEF(OP_GT,            30,         "gt",           1,      2,  1)

OPDEF(OP_EQ,            31,         "eq",           1,      2,  1)

OPDEF(OP_NE,            32,         "ne",           1,      2,  1)

OPDEF(OP_NOT,           33,         "not",          1,      1,  1)

OPDEF(OP_NEG,           34,         "neg",          1,      1,  1)

OPDEF(OP_POP,           35,         "pop",          1,      1,  0)

// Unconditional terminator placed at the end of code. If a function returns

// void, this acts as a RETURNVOID. Otherwise, it must be unreachable.

OPDEF(OP_STOP,          36,         "stop",         1,      0,  0)

// Call a function with N arguments. The target function must be the last item

// on the stack.

OPDEF(OP_CALL,          37,         "call",         1,      -1, 1)

// Similar to GET/LOCAL, except for arguments.

OPDEF(OP_GETARG,        38,         "getarg",       5,      0,  1)

OPDEF(OP_SETARG,        39,         "setarg",       5,      1,  1)

// Allocates either:

//   A fixed array, 

//   A 0-length dynamic array, or

//   A dynamic array whose size is specified on the stack.

//

// The HeapTenure is stored as a byte following the pc. The ArrayMap to use

// is specified as an index into the script's object table.

//

// Format:

//  [u8 op] [u8 tenure] [u32 index]

OPDEF(OP_NEWFIXED,      40,         "newfixed",     6,      0, 1)

OPDEF(OP_NEWEMPTY,      41,         "newempty",     6,      0, 1)

OPDEF(OP_NEWSIZED,      42,         "newsized",     6,     -1, 1)

// Performs an array-to-array assignment.

//   Left = pop()

//   Right = pop()

//   copy(Left, Right)

//   push(Left)

OPDEF(OP_COPYARRAY,     43,         "arraycopy",    1,      2,  1)

// Reads or writes an integer element to an unsafe array.

//  index = pop()

//  ref = pop()

//  ref[index]

//

OPDEF(OP_GETELEM,       44,         "getelem",      1,      2,  1)

OPDEF(OP_SETELEM,       45,         "setelem",      1,      3,  1)

// Pushes a 32-bit IEEE-754 floating point immediate onto the stack.

OPDEF(OP_FLOAT,         46,         "float",        5,      0,  1)

// Converts an integer to a 32-bit IEEE-754 floating point immediate.

OPDEF(OP_CVT_I2F,       47,         "cvt.i2f",      1,      1,  1)

// Stack transitions for these binary operators:

// rhs = pop()

// lhs = pop()

// push(lhs OP rhs)

OPDEF(OP_ADD_F,         48,         "add.f",        1,      2,  1)

OPDEF(OP_SUB_F,         49,         "sub.f",        1,      2,  1)

OPDEF(OP_MUL_F,         50,         "mul.f",        1,      2,  1)

OPDEF(OP_DIV_F,         51,         "div.f",        1,      2,  1)

OPDEF(OP_LT_F,          52,         "lt.f",         1,      2,  1)

OPDEF(OP_LE_F,          53,         "le.f",         1,      2,  1)

OPDEF(OP_GE_F,          54,         "ge.f",         1,      2,  1)

OPDEF(OP_GT_F,          55,         "gt.f",         1,      2,  1)

OPDEF(OP_EQ_F,          56,         "eq.f",         1,      2,  1)

OPDEF(OP_NE_F,          57,         "ne.f",         1,      2,  1)

OPDEF(OP_NOT_F,         58,         "not.f",        1,      1,  1)

OPDEF(OP_NEG_F,         59,         "neg.f",        1,      1,  1)

// Bitwise operators.

OPDEF(OP_SHL,           60,         "shl",          1,      2,  1)

OPDEF(OP_SHR,           61,         "shr",          1,      2,  1)

OPDEF(OP_USHR,          62,         "ushr",         1,      2,  1)

OPDEF(OP_BITAND,        63,         "bitand",       1,      2,  1)

OPDEF(OP_BITOR,         64,         "bitor",        1,      2,  1)

OPDEF(OP_BITXOR,        65,         "bitxor",       1,      2,  1)

OPDEF(OP_BITNOT,        66,         "bitnot",       1,      1,  1)

// Saves or restores the position of the LIFO heap to/from a local slot.

OPDEF(OP_SAVELIFO,      67,         "savelifo",     5,      0,  0)

OPDEF(OP_UNWINDLIFO,    68,         "unwindlifo",   5,      0,  0)

// Composes a variable reference to a stack slot or argument.

OPDEF(OP_VARREF_LIFO,   69,         "varref.lifo",  5,      0,  1)

OPDEF(OP_ARGREF_LIFO,   70,         "argref.lifo",  5,      0,  1)

OPDEF(OP_SLOTREF_LIFO,  71,         "slotref.lifo", 1,      1,  1)

OPDEF(OP_GETREF_I,      72,         "getref.i",     1,      1,  1)

OPDEF(OP_SETREF_I,      73,         "setref.i",     1,      2,  1)

OPDEF(OP_GETREF_F,      74,         "getref.f",     1,      1,  1)

OPDEF(OP_SETREF_F,      75,         "setref.f",     1,      2,  1)

// Pushes an object reference onto the stack.

OPDEF(OP_OBJECT,        76,         "object",       5,      0,  1)

// Duplicates the top item on the stack.

OPDEF(OP_DUP,           77,         "dup",          1,      1,  2)

// Duplicates the top two items on the stack.

OPDEF(OP_DUP2,          78,         "dup2",         1,      2,  4)

// Swaps the two items at the top of the stack.

OPDEF(OP_SWAP,          79,         "swap",         1,      2,  2)

// Roll operation is the same as Forth. It steals a value on the stack,

// shifting all stack values down, and then places the stolen value back at

// the top of the stack.

//

//  p = sp[-3]

//  sp[-3] = sp[-2]

//  sp[-2] = sp[-1]

//  sp[-1] = p

OPDEF(OP_ROLL3,         80,         "roll3",        1,      3, 3)

// Pick operation is the same as Forth. It pushes a copy of a slot at a

// specific depth.

//

// push(sp[-n])

OPDEF(OP_PICK2,         81,         "pick2",        1,      2, 3)

OPDEF(OP_PICK3,         82,         "pick3",        1,      3, 4)

// Calls a native function. During the course of calling a native, arguments

// on the stack are re-pushed to match the cell-based native calling

// convention expected by ISourcePawnEngine.

//

// Unlike the normal CALL instruction, natives take truly variadic arguments

// and so we must specify the number of arguments. The format is:

//

// [u8 Opcode] [u32 Index] [u32 ArgCount]

//

OPDEF(OP_CALLNATIVE,    83,         "callnative",   9,      -1, 1)

// Returns from a function that does return a value.

OPDEF(OP_RETURNVOID,    84,         "returnvoid",   1,      0, 0)

// Loads the module of the running function.

OPDEF(OP_MODULE,        85,         "module",       1,      0, 1)

// Loads a function from a module object. The operand is the slot number

// in the module.

OPDEF(OP_GETMODULE_FN,  86,         "getmodule.fn", 5,      1, 1)

// Opcodes for accessing an environment slot in the global scope.

OPDEF(OP_SETGLOBAL_I,   87,         "setglobal.i",  5,      1, 1)

OPDEF(OP_SETGLOBAL_F,   88,         "setglobal.f",  5,      1, 1)

OPDEF(OP_SETGLOBAL_O,   89,         "setglobal.o",  5,      1, 1)

OPDEF(OP_GETGLOBAL_I,   90,         "getglobal.i",  5,      0, 1)

OPDEF(OP_GETGLOBAL_F,   91,         "getglobal.f",  5,      0, 1)

OPDEF(OP_GETGLOBAL_O,   92,         "getglobal.o",  5,      0, 1)

// Reinterprets a 32-bit integer as a float, or vice-versa.

OPDEF(OP_BITS_I2F,      93,         "bits.i2f",     1,      1, 1)

OPDEF(OP_BITS_F2I,      94,         "bits.f2i",     1,      1, 1)

// Pushes a boolean value.

OPDEF(OP_TRUE,          95,         "true",         1,      0, 1)

OPDEF(OP_FALSE,         96,         "false",        1,      0, 1)

// Allocate a struct. The HeapTenure is stored as a byte following pc. The

// StructMap to use is specified as an index into the script's Map table.

//

// Format:

//  [u8 op] [u8 tenure] [u32 index]

OPDEF(OP_NEWSTRUCT,     97,         "newstruct",    6,      0, 1)

// Performs a struct-to-struct assignment.

//   Left = pop()

//   Right = pop()

//   copy(Left, Right)

//   push(Left)

OPDEF(OP_COPYSTRUCT,    98,         "structcopy",   1,      2, 1)

// Sets or gets a property in a struct. The index of the field is specified as

// a 32-bit integer. Note that these opcodes follow a new style of deriving

// their types at runtime.

OPDEF(OP_GETFIELD,      99,         "getfield",     5,      1, 1)

OPDEF(OP_SETFIELD,      100,        "setfield",     5,      2, 1)

OPDEF(OP_FIELDREF_LIFO, 101,        "fieldref.lifo", 5,     1, 1)

// Table-based jump.

// [u8 op] [i32 low] [i32 high] [u32 jump] [u32 jumps...]

OPDEF(OP_TABLESWITCH,   102,        "tableswitch",  9,      1, 0)