src/lopcodes.h

   1 /*
   2 ** $Id: lopcodes.h,v 1.33 1999/06/17 17:04:03 roberto Exp $
   3 ** Opcodes for Lua virtual machine
   4 ** See Copyright Notice in lua.h
   5 */
   6
   7 #ifndef lopcodes_h
   8 #define lopcodes_h
   9
  10
  11 /*
  12 ** NOTICE: variants of the same opcode must be consecutive: First, those
  13 ** with word parameter, then with byte parameter.
  14 */
  15
  16
  17 typedef enum {
  18 /* name          parm    before          after           side effect
  19 -----------------------------------------------------------------------------*/
  20 ENDCODE,/*      -       -               (return)                        */
  21 RETCODE,/*      b       -               (return)                        */
  22
  23 CALL,/*         b c     v_c...v_1 f     r_b...r_1       f(v1,...,v_c)   */
  24
  25 TAILCALL,/*     b c     v_c...v_1 f     (return)        f(v1,...,v_c)   */
  26
  27 PUSHNIL,/*      b       -               nil_0...nil_b                   */
  28 POP,/*          b       a_b...a_1       -                               */
  29
  30 PUSHNUMBERW,/*  w       -               (float)w                        */
  31 PUSHNUMBER,/*   b       -               (float)b                        */
  32
  33 PUSHNUMBERNEGW,/* w     -               (float)-w                       */
  34 PUSHNUMBERNEG,/* b      -               (float)-b                       */
  35
  36 PUSHCONSTANTW,/*w       -               CNST[w]                         */
  37 PUSHCONSTANT,/* b       -               CNST[b]                         */
  38
  39 PUSHUPVALUE,/*  b       -               Closure[b]                      */
  40
  41 PUSHLOCAL,/*    b       -               LOC[b]                          */
  42
  43 GETGLOBALW,/*   w       -               VAR[CNST[w]]                    */
  44 GETGLOBAL,/*    b       -               VAR[CNST[b]]                    */
  45
  46 GETTABLE,/*     -       i t             t[i]                            */
  47
  48 GETDOTTEDW,/*   w       t               t[CNST[w]]                      */
  49 GETDOTTED,/*    b       t               t[CNST[b]]                      */
  50
  51 PUSHSELFW,/*    w       t               t t[CNST[w]]                    */
  52 PUSHSELF,/*     b       t               t t[CNST[b]]                    */
  53
  54 CREATEARRAYW,/* w       -               newarray(size = w)              */
  55 CREATEARRAY,/*  b       -               newarray(size = b)              */
  56
  57 SETLOCAL,/*     b       x               -               LOC[b]=x        */
  58
  59 SETGLOBALW,/*   w       x               -               VAR[CNST[w]]=x  */
  60 SETGLOBAL,/*    b       x               -               VAR[CNST[b]]=x  */
  61
  62 SETTABLEPOP,/*  -       v i t           -               t[i]=v          */
  63
  64 SETTABLE,/*     b       v a_b...a_1 i t  a_b...a_1 i t    t[i]=v        */
  65
  66 SETLISTW,/*     w c     v_c...v_1 t     t               t[i+w*FPF]=v_i  */
  67 SETLIST,/*      b c     v_c...v_1 t     t               t[i+b*FPF]=v_i  */
  68
  69 SETMAP,/*       b       v_b k_b ...v_0 k_0 t    t       t[k_i]=v_i      */
  70
  71 NEQOP,/*        -       y x             (x~=y)? 1 : nil                 */
  72 EQOP,/*         -       y x             (x==y)? 1 : nil                 */
  73 LTOP,/*         -       y x             (x<y)? 1 : nil                  */
  74 LEOP,/*         -       y x             (x<y)? 1 : nil                  */
  75 GTOP,/*         -       y x             (x>y)? 1 : nil                  */
  76 GEOP,/*         -       y x             (x>=y)? 1 : nil                 */
  77 ADDOP,/*        -       y x             x+y                             */
  78 SUBOP,/*        -       y x             x-y                             */
  79 MULTOP,/*       -       y x             x*y                             */
  80 DIVOP,/*        -       y x             x/y                             */
  81 POWOP,/*        -       y x             x^y                             */
  82 CONCOP,/*       -       y x             x..y                            */
  83 MINUSOP,/*      -       x               -x                              */
  84 NOTOP,/*        -       x               (x==nil)? 1 : nil               */
  85
  86 ONTJMPW,/*      w       x               (x!=nil)? x : - (x!=nil)? PC+=w */
  87 ONTJMP,/*       b       x               (x!=nil)? x : - (x!=nil)? PC+=b */
  88 ONFJMPW,/*      w       x               (x==nil)? x : - (x==nil)? PC+=w */
  89 ONFJMP,/*       b       x               (x==nil)? x : - (x==nil)? PC+=b */
  90 JMPW,/*         w       -               -               PC+=w           */
  91 JMP,/*          b       -               -               PC+=b           */
  92 IFFJMPW,/*      w       x               -               (x==nil)? PC+=w */
  93 IFFJMP,/*       b       x               -               (x==nil)? PC+=b */
  94 IFTUPJMPW,/*    w       x               -               (x!=nil)? PC-=w */
  95 IFTUPJMP,/*     b       x               -               (x!=nil)? PC-=b */
  96 IFFUPJMPW,/*    w       x               -               (x==nil)? PC-=w */
  97 IFFUPJMP,/*     b       x               -               (x==nil)? PC-=b */
  98
  99 CLOSUREW,/*     w c     v_c...v_1       closure(CNST[w], v_c...v_1)     */
 100 CLOSURE,/*      b c     v_c...v_1       closure(CNST[b], v_c...v_1)     */
 101
 102 SETLINEW,/*     w       -               -               LINE=w          */
 103 SETLINE,/*      b       -               -               LINE=b          */
 104
 105 LONGARGW,/*     w       (add w*(1<<16) to arg of next instruction)      */
 106 LONGARG,/*      b       (add b*(1<<16) to arg of next instruction)      */
 107
 108 CHECKSTACK /*   b  (assert #temporaries == b; only for internal debuging!) */
 109
 110 } OpCode;
 111
 112
 113 #define RFIELDS_PER_FLUSH 32    /* records (SETMAP) */
 114 #define LFIELDS_PER_FLUSH 64    /* FPF - lists (SETLIST) */
 115
 116 #define ZEROVARARG      128
 117
 118
 119 /* maximum value of an arg of 3 bytes; must fit in an "int" */
 120 #if MAX_INT < (1<<24)
 121 #define MAX_ARG MAX_INT
 122 #else
 123 #define MAX_ARG ((1<<24)-1)
 124 #endif
 125
 126 /* maximum value of a word of 2 bytes; cannot be bigger than MAX_ARG */
 127 #if MAX_ARG < (1<<16)
 128 #define MAX_WORD        MAX_ARG
 129 #else
 130 #define MAX_WORD        ((1<<16)-1)
 131 #endif
 132
 133
 134 /* maximum value of a byte */
 135 #define MAX_BYTE        ((1<<8)-1)
 136
 137
 138 #endif