/* 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)

// Unconditional jump.

OPDEF(OP_JUMP,          11,         "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,      12,         "getlocal",     5,      0,  1)

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

// Stack transitions for these binary operators:

// rhs = pop()

// lhs = pop()

// push(lhs OP rhs)

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

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

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

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

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

// Unconditional terminator placed at the end of code.

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

// Call a function with N arguments.

//

// CALLGLOBAL - followed by an extra immediate, containing the function index

// in the code's global.

OPDEF(OP_CALLGLOBAL,    20,         "callglobal",   5,      -1, 1)

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

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

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

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

//  index = pop()

//  ref = pop()

//  ref[index]

//

OPDEF(OP_GETARRAY_I,    23,         "getarray.i",   1,      2,  1)

OPDEF(OP_SETARRAY_I,    24,         "setarray.i",   1,      3,  1)

OPDEF(OP_GETARRAY_F,    25,         "getarray.f",   1,      2,  1)

OPDEF(OP_SETARRAY_F,    26,         "setarray.f",   1,      3,  1)

OPDEF(OP_GETARRAY_C,    27,         "getarray.c",   1,      2,  1)

OPDEF(OP_SETARRAY_C,    28,         "setarray.c",   1,      3,  1)

OPDEF(OP_GETARRAY_O,    29,         "getarray.o",   1,      2,  1)

// Allocate an array, info LIFO space if possible. The ArrayMap to use is

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

//

// Format:

//  [u8 op] [u32 index]

OPDEF(OP_NEWARRAY_LIFO, 30,         "newarray.lifo", 5,     0,  1)

// Performs a bounds check on an unsafe array.

//

// index = pop()

// array = pop()

// push(array)

// push(index)

OPDEF(OP_BOUNDS,        31,         "bounds",       1,      2,  2)

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

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

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

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

// Stack transitions for these binary operators:

// rhs = pop()

// lhs = pop()

// push(lhs OP rhs)

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

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

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

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

// Bitwise operators.

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

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

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

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

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

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

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

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

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

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

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

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

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

OPDEF(OP_ARRAYREF_LIFO, 49,         "arrayref.lifo",1,      2,  1)

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

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

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

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

// Pushes an object reference onto the stack.

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

// Performs an array-to-array assignment.

//   Left = pop()

//   Right = pop()

//   copy(Left, Right)

//   push(Left)

OPDEF(OP_ARRAYCOPY,     55,         "arraycopy",    1,      2,  1)

// Duplicates the top item on the stack.

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

// Duplicates the top two items on the stack.

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

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

OPDEF(OP_SWAP,          58,         "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,         59,         "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,         60,         "pick2",        1,      2, 3)

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