mirror of
https://github.com/lua/lua
synced 2024-11-24 21:59:41 +03:00
c403e456b6
New instruction format 'ivABC' (a variant of iABC where parameter vC has 10 bits) allows constructors of up to 1024 elements to be coded without EXTRAARG.
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;
|
|
}
|
|
}
|
|
|