mirror of
https://github.com/lua/lua
synced 2024-11-24 13:49:39 +03:00
139 lines
4.8 KiB
C
139 lines
4.8 KiB
C
/*
|
|
** $Id: lopcodes.c $
|
|
** Opcodes for Lua virtual machine
|
|
** See Copyright Notice in lua.h
|
|
*/
|
|
|
|
#define lopcodes_c
|
|
#define LUA_CORE
|
|
|
|
#include "lprefix.h"
|
|
|
|
|
|
#include "lopcodes.h"
|
|
|
|
|
|
#define opmode(mm,ot,it,t,a,m) \
|
|
(((mm) << 7) | ((ot) << 6) | ((it) << 5) | ((t) << 4) | ((a) << 3) | (m))
|
|
|
|
|
|
/* ORDER OP */
|
|
|
|
LUAI_DDEF const lu_byte luaP_opmodes[NUM_OPCODES] = {
|
|
/* MM OT IT T A mode opcode */
|
|
opmode(0, 0, 0, 0, 1, iABC) /* OP_MOVE */
|
|
,opmode(0, 0, 0, 0, 1, iAsBx) /* OP_LOADI */
|
|
,opmode(0, 0, 0, 0, 1, iAsBx) /* OP_LOADF */
|
|
,opmode(0, 0, 0, 0, 1, iABx) /* OP_LOADK */
|
|
,opmode(0, 0, 0, 0, 1, iABx) /* OP_LOADKX */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_LOADFALSE */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_LFALSESKIP */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_LOADTRUE */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_LOADNIL */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_GETUPVAL */
|
|
,opmode(0, 0, 0, 0, 0, iABC) /* OP_SETUPVAL */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_GETTABUP */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_GETTABLE */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_GETI */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_GETFIELD */
|
|
,opmode(0, 0, 0, 0, 0, iABC) /* OP_SETTABUP */
|
|
,opmode(0, 0, 0, 0, 0, iABC) /* OP_SETTABLE */
|
|
,opmode(0, 0, 0, 0, 0, iABC) /* OP_SETI */
|
|
,opmode(0, 0, 0, 0, 0, iABC) /* OP_SETFIELD */
|
|
,opmode(0, 0, 0, 0, 1, ivABC) /* OP_NEWTABLE */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_SELF */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_ADDI */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_ADDK */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_SUBK */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_MULK */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_MODK */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_POWK */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_DIVK */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_IDIVK */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_BANDK */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_BORK */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_BXORK */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_SHRI */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_SHLI */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_ADD */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_SUB */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_MUL */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_MOD */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_POW */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_DIV */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_IDIV */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_BAND */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_BOR */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_BXOR */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_SHL */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_SHR */
|
|
,opmode(1, 0, 0, 0, 0, iABC) /* OP_MMBIN */
|
|
,opmode(1, 0, 0, 0, 0, iABC) /* OP_MMBINI */
|
|
,opmode(1, 0, 0, 0, 0, iABC) /* OP_MMBINK */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_UNM */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_BNOT */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_NOT */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_LEN */
|
|
,opmode(0, 0, 0, 0, 1, iABC) /* OP_CONCAT */
|
|
,opmode(0, 0, 0, 0, 0, iABC) /* OP_CLOSE */
|
|
,opmode(0, 0, 0, 0, 0, iABC) /* OP_TBC */
|
|
,opmode(0, 0, 0, 0, 0, isJ) /* OP_JMP */
|
|
,opmode(0, 0, 0, 1, 0, iABC) /* OP_EQ */
|
|
,opmode(0, 0, 0, 1, 0, iABC) /* OP_LT */
|
|
,opmode(0, 0, 0, 1, 0, iABC) /* OP_LE */
|
|
,opmode(0, 0, 0, 1, 0, iABC) /* OP_EQK */
|
|
,opmode(0, 0, 0, 1, 0, iABC) /* OP_EQI */
|
|
,opmode(0, 0, 0, 1, 0, iABC) /* OP_LTI */
|
|
,opmode(0, 0, 0, 1, 0, iABC) /* OP_LEI */
|
|
,opmode(0, 0, 0, 1, 0, iABC) /* OP_GTI */
|
|
,opmode(0, 0, 0, 1, 0, iABC) /* OP_GEI */
|
|
,opmode(0, 0, 0, 1, 0, iABC) /* OP_TEST */
|
|
,opmode(0, 0, 0, 1, 1, iABC) /* OP_TESTSET */
|
|
,opmode(0, 1, 1, 0, 1, iABC) /* OP_CALL */
|
|
,opmode(0, 1, 1, 0, 1, iABC) /* OP_TAILCALL */
|
|
,opmode(0, 0, 1, 0, 0, iABC) /* OP_RETURN */
|
|
,opmode(0, 0, 0, 0, 0, iABC) /* OP_RETURN0 */
|
|
,opmode(0, 0, 0, 0, 0, iABC) /* OP_RETURN1 */
|
|
,opmode(0, 0, 0, 0, 1, iABx) /* OP_FORLOOP */
|
|
,opmode(0, 0, 0, 0, 1, iABx) /* OP_FORPREP */
|
|
,opmode(0, 0, 0, 0, 0, iABx) /* OP_TFORPREP */
|
|
,opmode(0, 0, 0, 0, 0, iABC) /* OP_TFORCALL */
|
|
,opmode(0, 0, 0, 0, 1, iABx) /* OP_TFORLOOP */
|
|
,opmode(0, 0, 1, 0, 0, ivABC) /* OP_SETLIST */
|
|
,opmode(0, 0, 0, 0, 1, iABx) /* OP_CLOSURE */
|
|
,opmode(0, 1, 0, 0, 1, iABC) /* OP_VARARG */
|
|
,opmode(0, 0, 1, 0, 1, iABC) /* OP_VARARGPREP */
|
|
,opmode(0, 0, 0, 0, 0, iAx) /* OP_EXTRAARG */
|
|
};
|
|
|
|
|
|
|
|
/*
|
|
** Check whether instruction sets top for next instruction, that is,
|
|
** it results in multiple values.
|
|
*/
|
|
int luaP_isOT (Instruction i) {
|
|
OpCode op = GET_OPCODE(i);
|
|
switch (op) {
|
|
case OP_TAILCALL: return 1;
|
|
default:
|
|
return testOTMode(op) && GETARG_C(i) == 0;
|
|
}
|
|
}
|
|
|
|
|
|
/*
|
|
** Check whether instruction uses top from previous instruction, that is,
|
|
** it accepts multiple results.
|
|
*/
|
|
int luaP_isIT (Instruction i) {
|
|
OpCode op = GET_OPCODE(i);
|
|
switch (op) {
|
|
case OP_SETLIST:
|
|
return testITMode(GET_OPCODE(i)) && GETARG_vB(i) == 0;
|
|
default:
|
|
return testITMode(GET_OPCODE(i)) && GETARG_B(i) == 0;
|
|
}
|
|
}
|
|
|