| /* |
| ** $Id: lopcodes.h,v 1.32 1999/03/10 14:09:45 roberto Exp roberto $ |
| ** Opcodes for Lua virtual machine |
| ** See Copyright Notice in lua.h |
| */ |
| |
| #ifndef lopcodes_h |
| #define lopcodes_h |
| |
| |
| /* |
| ** NOTICE: variants of the same opcode must be consecutive: First, those |
| ** with word parameter, then with byte parameter. |
| */ |
| |
| |
| typedef enum { |
| /* name parm before after side effect |
| -----------------------------------------------------------------------------*/ |
| ENDCODE,/* - - (return) */ |
| RETCODE,/* b - (return) */ |
| |
| CALL,/* b c v_c...v_1 f r_b...r_1 f(v1,...,v_c) */ |
| |
| TAILCALL,/* b c v_c...v_1 f (return) f(v1,...,v_c) */ |
| |
| PUSHNIL,/* b - nil_0...nil_b */ |
| POP,/* b a_b...a_1 - */ |
| |
| PUSHNUMBERW,/* w - (float)w */ |
| PUSHNUMBER,/* b - (float)b */ |
| |
| PUSHNUMBERNEGW,/* w - (float)-w */ |
| PUSHNUMBERNEG,/* b - (float)-b */ |
| |
| PUSHCONSTANTW,/*w - CNST[w] */ |
| PUSHCONSTANT,/* b - CNST[b] */ |
| |
| PUSHUPVALUE,/* b - Closure[b] */ |
| |
| PUSHLOCAL,/* b - LOC[b] */ |
| |
| GETGLOBALW,/* w - VAR[CNST[w]] */ |
| GETGLOBAL,/* b - VAR[CNST[b]] */ |
| |
| GETTABLE,/* - i t t[i] */ |
| |
| GETDOTTEDW,/* w t t[CNST[w]] */ |
| GETDOTTED,/* b t t[CNST[b]] */ |
| |
| PUSHSELFW,/* w t t t[CNST[w]] */ |
| PUSHSELF,/* b t t t[CNST[b]] */ |
| |
| CREATEARRAYW,/* w - newarray(size = w) */ |
| CREATEARRAY,/* b - newarray(size = b) */ |
| |
| SETLOCAL,/* b x - LOC[b]=x */ |
| |
| SETGLOBALW,/* w x - VAR[CNST[w]]=x */ |
| SETGLOBAL,/* b x - VAR[CNST[b]]=x */ |
| |
| SETTABLEPOP,/* - v i t - t[i]=v */ |
| |
| SETTABLE,/* b v a_b...a_1 i t a_b...a_1 i t t[i]=v */ |
| |
| SETLISTW,/* w c v_c...v_1 t t t[i+w*FPF]=v_i */ |
| SETLIST,/* b c v_c...v_1 t t t[i+b*FPF]=v_i */ |
| |
| SETMAP,/* b v_b k_b ...v_0 k_0 t t t[k_i]=v_i */ |
| |
| NEQOP,/* - y x (x~=y)? 1 : nil */ |
| EQOP,/* - y x (x==y)? 1 : nil */ |
| LTOP,/* - y x (x<y)? 1 : nil */ |
| LEOP,/* - y x (x<y)? 1 : nil */ |
| GTOP,/* - y x (x>y)? 1 : nil */ |
| GEOP,/* - y x (x>=y)? 1 : nil */ |
| ADDOP,/* - y x x+y */ |
| SUBOP,/* - y x x-y */ |
| MULTOP,/* - y x x*y */ |
| DIVOP,/* - y x x/y */ |
| POWOP,/* - y x x^y */ |
| CONCOP,/* - y x x..y */ |
| MINUSOP,/* - x -x */ |
| NOTOP,/* - x (x==nil)? 1 : nil */ |
| |
| ONTJMPW,/* w x (x!=nil)? x : - (x!=nil)? PC+=w */ |
| ONTJMP,/* b x (x!=nil)? x : - (x!=nil)? PC+=b */ |
| ONFJMPW,/* w x (x==nil)? x : - (x==nil)? PC+=w */ |
| ONFJMP,/* b x (x==nil)? x : - (x==nil)? PC+=b */ |
| JMPW,/* w - - PC+=w */ |
| JMP,/* b - - PC+=b */ |
| IFFJMPW,/* w x - (x==nil)? PC+=w */ |
| IFFJMP,/* b x - (x==nil)? PC+=b */ |
| IFTUPJMPW,/* w x - (x!=nil)? PC-=w */ |
| IFTUPJMP,/* b x - (x!=nil)? PC-=b */ |
| IFFUPJMPW,/* w x - (x==nil)? PC-=w */ |
| IFFUPJMP,/* b x - (x==nil)? PC-=b */ |
| |
| CLOSUREW,/* w c v_c...v_1 closure(CNST[w], v_c...v_1) */ |
| CLOSURE,/* b c v_c...v_1 closure(CNST[b], v_c...v_1) */ |
| |
| SETLINEW,/* w - - LINE=w */ |
| SETLINE,/* b - - LINE=b */ |
| |
| LONGARGW,/* w (add w*(1<<16) to arg of next instruction) */ |
| LONGARG,/* b (add b*(1<<16) to arg of next instruction) */ |
| |
| CHECKSTACK /* b (assert #temporaries == b; only for internal debuging!) */ |
| |
| } OpCode; |
| |
| |
| #define RFIELDS_PER_FLUSH 32 /* records (SETMAP) */ |
| #define LFIELDS_PER_FLUSH 64 /* FPF - lists (SETLIST) */ |
| |
| #define ZEROVARARG 128 |
| |
| |
| /* maximum value of an arg of 3 bytes; must fit in an "int" */ |
| #if MAX_INT < (1<<24) |
| #define MAX_ARG MAX_INT |
| #else |
| #define MAX_ARG ((1<<24)-1) |
| #endif |
| |
| /* maximum value of a word of 2 bytes; cannot be bigger than MAX_ARG */ |
| #if MAX_ARG < (1<<16) |
| #define MAX_WORD MAX_ARG |
| #else |
| #define MAX_WORD ((1<<16)-1) |
| #endif |
| |
| |
| /* maximum value of a byte */ |
| #define MAX_BYTE ((1<<8)-1) |
| |
| |
| #endif |
