/*
** $Id: lopcodes.h,v 1.31 1999/03/05 21:16:07 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	64


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