aboutsummaryrefslogtreecommitdiff
path: root/src/lopcodes.js
blob: 8df67a3dfa90dee7df76962ebbbebac5f72f1bb9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
/*jshint esversion: 6 */
"use strict";

const OpCodes = [
    "OP_MOVE",     /*    A B R(A) := R(B)                    */
    "OP_LOADK",    /*    A Bx    R(A) := Kst(Bx)                 */
    "OP_LOADKX",   /*    A   R(A) := Kst(extra arg)              */
    "OP_LOADBOOL", /*    A B C   R(A) := (Bool)B; if (C) pc++            */
    "OP_LOADNIL",  /*    A B R(A), R(A+1), ..., R(A+B) := nil        */
    "OP_GETUPVAL", /*    A B R(A) := UpValue[B]              */

    "OP_GETTABUP", /*    A B C   R(A) := UpValue[B][RK(C)]           */
    "OP_GETTABLE", /*    A B C   R(A) := R(B)[RK(C)]             */

    "OP_SETTABUP", /*    A B C   UpValue[A][RK(B)] := RK(C)          */
    "OP_SETUPVAL", /*    A B UpValue[B] := R(A)              */
    "OP_SETTABLE", /*    A B C   R(A)[RK(B)] := RK(C)                */

    "OP_NEWTABLE", /*    A B C   R(A) := {} (size = B,C)             */

    "OP_SELF",     /*    A B C   R(A+1) := R(B); R(A) := R(B)[RK(C)]     */

    "OP_ADD",      /*    A B C   R(A) := RK(B) + RK(C)               */
    "OP_SUB",      /*    A B C   R(A) := RK(B) - RK(C)               */
    "OP_MUL",      /*    A B C   R(A) := RK(B) * RK(C)               */
    "OP_MOD",      /*    A B C   R(A) := RK(B) % RK(C)               */
    "OP_POW",      /*    A B C   R(A) := RK(B) ^ RK(C)               */
    "OP_DIV",      /*    A B C   R(A) := RK(B) / RK(C)               */
    "OP_IDIV",     /*    A B C   R(A) := RK(B) // RK(C)              */
    "OP_BAND",     /*    A B C   R(A) := RK(B) & RK(C)               */
    "OP_BOR",      /*    A B C   R(A) := RK(B) | RK(C)               */
    "OP_BXOR",     /*    A B C   R(A) := RK(B) ~ RK(C)               */
    "OP_SHL",      /*    A B C   R(A) := RK(B) << RK(C)              */
    "OP_SHR",      /*    A B C   R(A) := RK(B) >> RK(C)              */
    "OP_UNM",      /*    A B R(A) := -R(B)                   */
    "OP_BNOT",     /*    A B R(A) := ~R(B)                   */
    "OP_NOT",      /*    A B R(A) := not R(B)                */
    "OP_LEN",      /*    A B R(A) := length of R(B)              */

    "OP_CONCAT",   /*    A B C   R(A) := R(B).. ... ..R(C)           */

    "OP_JMP",      /*    A sBx   pc+=sBx; if (A) close all upvalues >= R(A - 1)  */
    "OP_EQ",       /*    A B C   if ((RK(B) == RK(C)) ~= A) then pc++        */
    "OP_LT",       /*    A B C   if ((RK(B) <  RK(C)) ~= A) then pc++        */
    "OP_LE",       /*    A B C   if ((RK(B) <= RK(C)) ~= A) then pc++        */

    "OP_TEST",     /*    A C if not (R(A) <=> C) then pc++           */
    "OP_TESTSET",  /*    A B C   if (R(B) <=> C) then R(A) := R(B) else pc++ */

    "OP_CALL",     /*    A B C   R(A), ... ,R(A+C-2) := R(A)(R(A+1), ... ,R(A+B-1)) */
    "OP_TAILCALL", /*    A B C   return R(A)(R(A+1), ... ,R(A+B-1))      */
    "OP_RETURN",   /*    A B return R(A), ... ,R(A+B-2)  (see note)  */

    "OP_FORLOOP",  /*    A sBx   R(A)+=R(A+2);
                    if R(A) <?= R(A+1) then { pc+=sBx; R(A+3)=R(A) }*/
    "OP_FORPREP",  /*    A sBx   R(A)-=R(A+2); pc+=sBx               */

    "OP_TFORCALL", /*    A C R(A+3), ... ,R(A+2+C) := R(A)(R(A+1), R(A+2));  */
    "OP_TFORLOOP", /*    A sBx   if R(A+1) ~= nil then { R(A)=R(A+1); pc += sBx }*/

    "OP_SETLIST",  /*    A B C   R(A)[(C-1)*FPF+i] := R(A+i), 1 <= i <= B    */

    "OP_CLOSURE",  /*    A Bx    R(A) := closure(KPROTO[Bx])         */

    "OP_VARARG",   /*    A B R(A), R(A+1), ..., R(A+B-2) = vararg        */

    "OP_EXTRAARG"  /*   Ax  extra (larger) argument for previous opcode */
];

const SIZE_C     = 9;
const SIZE_B     = 9;
const SIZE_Bx    = (SIZE_C + SIZE_B);
const SIZE_A     = 8;
const SIZE_Ax    = (SIZE_C + SIZE_B + SIZE_A);
const SIZE_OP    = 6;
const POS_OP     = 0;
const POS_A      = (POS_OP + SIZE_OP);
const POS_C      = (POS_A + SIZE_A);
const POS_B      = (POS_C + SIZE_C);
const POS_Bx     = POS_C;
const POS_Ax     = POS_A;
const MAXARG_Bx  = ((1 << SIZE_Bx) - 1);
const MAXARG_sBx = (MAXARG_Bx >> 1); /* 'sBx' is signed */
const MAXARG_Ax  = ((1<<SIZE_Ax)-1);
const MAXARG_A   = ((1 << SIZE_A) - 1);
const MAXARG_B   = ((1 << SIZE_B) - 1);
const MAXARG_C   = ((1 << SIZE_C) - 1);

const BITRK      = (1 << (SIZE_B - 1));

const ISK = function (x) {
    return x & BITRK;
};

const INDEXK = function (r) {
    return r & ~BITRK;
}

module.exports = {
    OpCodes:    OpCodes,
    SIZE_C:     SIZE_C,
    SIZE_B:     SIZE_B,
    SIZE_Bx:    SIZE_Bx,
    SIZE_A:     SIZE_A,
    SIZE_Ax:    SIZE_Ax,
    SIZE_OP:    SIZE_OP,
    POS_OP:     POS_OP,
    POS_A:      POS_A,
    POS_C:      POS_C,
    POS_B:      POS_B,
    POS_Bx:     POS_Bx,
    POS_Ax:     POS_Ax,
    MAXARG_Bx:  MAXARG_Bx,
    MAXARG_sBx: MAXARG_sBx,
    MAXARG_Ax:  MAXARG_Ax,
    MAXARG_A:   MAXARG_A,
    MAXARG_B:   MAXARG_B,
    MAXARG_C:   MAXARG_C,
    BITRK:      BITRK,
    ISK:        ISK,
    INDEXK:     INDEXK
};