2006-09-20 04:56:20 +02:00
|
|
|
#include <limits.h>
|
|
|
|
#include <string.h>
|
|
|
|
#include "jit_x86.h"
|
|
|
|
#include "opcode_helpers.h"
|
|
|
|
#include "x86_macros.h"
|
|
|
|
|
|
|
|
int OpAdvTable[OP_NUM_OPCODES];
|
|
|
|
|
|
|
|
void Macro_PushN_Addr(JitWriter *jit, int i)
|
|
|
|
{
|
|
|
|
//push eax
|
|
|
|
//mov eax, frm
|
|
|
|
//loop i times:
|
|
|
|
// lea ecx, [eax+<val>]
|
|
|
|
// mov [ebp-4*i], ecx
|
|
|
|
//sub ebp, 4*N
|
|
|
|
//pop eax
|
|
|
|
|
|
|
|
cell_t val;
|
|
|
|
int n = 1;
|
|
|
|
IA32_Push_Reg(jit, AMX_REG_PRI);
|
|
|
|
IA32_Mov_Reg_Rm(jit, AMX_REG_PRI, AMX_INFO_FRM, MOD_MEM_REG);
|
|
|
|
do
|
|
|
|
{
|
|
|
|
val = jit->read_cell();
|
|
|
|
if (val < SCHAR_MAX && val > SCHAR_MIN)
|
|
|
|
IA32_Lea_DispRegImm8(jit, AMX_REG_TMP, AMX_REG_PRI, (jit_int8_t)val);
|
|
|
|
else
|
|
|
|
IA32_Lea_DispRegImm32(jit, AMX_REG_TMP, AMX_REG_PRI, val);
|
|
|
|
IA32_Mov_Rm_Reg_Disp8(jit, AMX_REG_STK, AMX_REG_TMP, -4*n);
|
|
|
|
} while (n++ < i);
|
|
|
|
IA32_Sub_Rm_Imm8(jit, AMX_REG_STK, 4*i, MOD_REG);
|
|
|
|
IA32_Pop_Reg(jit, AMX_REG_PRI);
|
|
|
|
}
|
|
|
|
|
|
|
|
void Macro_PushN_S(JitWriter *jit, int i)
|
|
|
|
{
|
|
|
|
//loop i times:
|
|
|
|
// mov ecx, [ebx+<val>]
|
|
|
|
// mov [ebp-4*i], ecx
|
|
|
|
//sub ebp, 4*N
|
|
|
|
|
|
|
|
cell_t val;
|
|
|
|
int n = 1;
|
|
|
|
do
|
|
|
|
{
|
|
|
|
val = jit->read_cell();
|
|
|
|
if (val < SCHAR_MAX && val > SCHAR_MIN)
|
|
|
|
IA32_Mov_Reg_Rm_Disp8(jit, AMX_REG_TMP, AMX_REG_FRM, (jit_int8_t)val);
|
|
|
|
else
|
|
|
|
IA32_Mov_Reg_Rm_Disp32(jit, AMX_REG_TMP, AMX_REG_FRM, val);
|
|
|
|
IA32_Mov_Rm_Reg_Disp8(jit, AMX_REG_STK, AMX_REG_TMP, -4*n);
|
|
|
|
} while (n++ < i);
|
|
|
|
IA32_Sub_Rm_Imm8(jit, AMX_REG_STK, 4*i, MOD_REG);
|
|
|
|
}
|
|
|
|
|
|
|
|
void Macro_PushN_C(JitWriter *jit, int i)
|
|
|
|
{
|
|
|
|
//loop i times:
|
|
|
|
// mov [ebp-4*i], <val>
|
|
|
|
//sub ebp, 4*N
|
|
|
|
|
|
|
|
int n = 1;
|
|
|
|
do
|
|
|
|
{
|
|
|
|
IA32_Mov_Rm_Imm32_Disp8(jit, AMX_REG_STK, jit->read_cell(), -4*n);
|
|
|
|
} while (n++ < i);
|
|
|
|
IA32_Sub_Rm_Imm8(jit, AMX_REG_STK, 4*i, MOD_REG);
|
|
|
|
}
|
|
|
|
|
|
|
|
void Macro_PushN(JitWriter *jit, int i)
|
|
|
|
{
|
|
|
|
//loop i times:
|
|
|
|
// mov ecx, [edi+<val>]
|
|
|
|
// mov [ebp-4*i], ecx
|
|
|
|
//sub ebp, 4*N
|
|
|
|
|
|
|
|
cell_t val;
|
|
|
|
int n = 1;
|
|
|
|
do
|
|
|
|
{
|
|
|
|
val = jit->read_cell();
|
|
|
|
if (val < SCHAR_MAX && val > SCHAR_MIN)
|
|
|
|
IA32_Mov_Reg_Rm_Disp8(jit, AMX_REG_TMP, AMX_REG_DAT, (jit_int8_t)val);
|
|
|
|
else
|
|
|
|
IA32_Mov_Reg_Rm_Disp32(jit, AMX_REG_TMP, AMX_REG_DAT, val);
|
|
|
|
IA32_Mov_Rm_Reg_Disp8(jit, AMX_REG_STK, AMX_REG_TMP, -4*n);
|
|
|
|
} while (n++ < i);
|
|
|
|
IA32_Sub_Rm_Imm8(jit, AMX_REG_STK, 4*i, MOD_REG);
|
|
|
|
}
|
|
|
|
|
|
|
|
JITX86::JITX86()
|
|
|
|
{
|
|
|
|
memset(OpAdvTable, -1, sizeof(OpAdvTable));
|
|
|
|
|
|
|
|
/* instructions with 5 parameters */
|
|
|
|
OpAdvTable[OP_PUSH5_C] = sizeof(cell_t)*5;
|
|
|
|
OpAdvTable[OP_PUSH5] = sizeof(cell_t)*5;
|
|
|
|
OpAdvTable[OP_PUSH5_S] = sizeof(cell_t)*5;
|
|
|
|
OpAdvTable[OP_PUSH5_ADR] = sizeof(cell_t)*5;
|
|
|
|
|
|
|
|
/* instructions with 4 parameters */
|
|
|
|
OpAdvTable[OP_PUSH4_C] = sizeof(cell_t)*4;
|
|
|
|
OpAdvTable[OP_PUSH4] = sizeof(cell_t)*4;
|
|
|
|
OpAdvTable[OP_PUSH4_S] = sizeof(cell_t)*4;
|
|
|
|
OpAdvTable[OP_PUSH4_ADR] = sizeof(cell_t)*4;
|
|
|
|
|
|
|
|
/* instructions with 3 parameters */
|
|
|
|
OpAdvTable[OP_PUSH3_C] = sizeof(cell_t)*3;
|
|
|
|
OpAdvTable[OP_PUSH3] = sizeof(cell_t)*3;
|
|
|
|
OpAdvTable[OP_PUSH3_S] = sizeof(cell_t)*3;
|
|
|
|
OpAdvTable[OP_PUSH3_ADR] = sizeof(cell_t)*3;
|
|
|
|
|
|
|
|
/* instructions with 2 parameters */
|
|
|
|
OpAdvTable[OP_PUSH2_C] = sizeof(cell_t)*2;
|
|
|
|
OpAdvTable[OP_PUSH2] = sizeof(cell_t)*2;
|
|
|
|
OpAdvTable[OP_PUSH2_S] = sizeof(cell_t)*2;
|
|
|
|
OpAdvTable[OP_PUSH2_ADR] = sizeof(cell_t)*2;
|
|
|
|
OpAdvTable[OP_LOAD_BOTH] = sizeof(cell_t)*2;
|
|
|
|
OpAdvTable[OP_LOAD_S_BOTH] = sizeof(cell_t)*2;
|
|
|
|
OpAdvTable[OP_CONST] = sizeof(cell_t)*2;
|
|
|
|
OpAdvTable[OP_CONST_S] = sizeof(cell_t)*2;
|
|
|
|
|
|
|
|
/* instructions with 1 parameter */
|
|
|
|
OpAdvTable[OP_LOAD_PRI] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_LOAD_ALT] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_LOAD_S_PRI] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_LOAD_S_ALT] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_LREF_PRI] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_LREF_ALT] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_LREF_S_PRI] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_LREF_S_ALT] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_LODB_I] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_CONST_PRI] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_CONST_ALT] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_ADDR_PRI] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_ADDR_ALT] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_STOR_PRI] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_STOR_ALT] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_STOR_S_PRI] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_STOR_S_ALT] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_SREF_PRI] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_SREF_ALT] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_SREF_S_PRI] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_SREF_S_ALT] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_STRB_I] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_LIDX_B] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_IDXADDR_B] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_ALIGN_PRI] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_ALIGN_ALT] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_LCTRL] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_SCTRL] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_PUSH_C] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_PUSH] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_PUSH_S] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_STACK] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_HEAP] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_JREL] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_SHL_C_PRI] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_SHL_C_ALT] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_SHR_C_PRI] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_SHR_C_ALT] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_ADD_C] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_SMUL_C] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_ZERO] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_ZERO_S] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_EQ_C_PRI] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_EQ_C_ALT] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_INC] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_INC_S] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_DEC] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_DEC_S] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_MOVS] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_CMPS] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_FILL] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_HALT] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_BOUNDS] = sizeof(cell_t);
|
|
|
|
OpAdvTable[OP_PUSH_ADR] = sizeof(cell_t);
|
2006-09-20 05:56:24 +02:00
|
|
|
OpAdvTable[OP_PUSH_HEAP_C] = sizeof(cell_t);
|
2006-09-20 04:56:20 +02:00
|
|
|
|
|
|
|
/* instructions with 0 parameters */
|
|
|
|
OpAdvTable[OP_LOAD_I] = 0;
|
|
|
|
OpAdvTable[OP_STOR_I] = 0;
|
|
|
|
OpAdvTable[OP_LIDX] = 0;
|
|
|
|
OpAdvTable[OP_IDXADDR] = 0;
|
|
|
|
OpAdvTable[OP_MOVE_PRI] = 0;
|
|
|
|
OpAdvTable[OP_MOVE_ALT] = 0;
|
|
|
|
OpAdvTable[OP_XCHG] = 0;
|
|
|
|
OpAdvTable[OP_PUSH_PRI] = 0;
|
|
|
|
OpAdvTable[OP_PUSH_ALT] = 0;
|
|
|
|
OpAdvTable[OP_POP_PRI] = 0;
|
|
|
|
OpAdvTable[OP_POP_ALT] = 0;
|
|
|
|
OpAdvTable[OP_PROC] = 0;
|
|
|
|
OpAdvTable[OP_RET] = 0;
|
|
|
|
OpAdvTable[OP_RETN] = 0;
|
|
|
|
OpAdvTable[OP_CALL_PRI] = 0;
|
|
|
|
OpAdvTable[OP_SHL] = 0;
|
|
|
|
OpAdvTable[OP_SHR] = 0;
|
|
|
|
OpAdvTable[OP_SSHR] = 0;
|
|
|
|
OpAdvTable[OP_SMUL] = 0;
|
|
|
|
OpAdvTable[OP_SDIV] = 0;
|
|
|
|
OpAdvTable[OP_SDIV_ALT] = 0;
|
|
|
|
OpAdvTable[OP_UMUL] = 0;
|
|
|
|
OpAdvTable[OP_UDIV] = 0;
|
|
|
|
OpAdvTable[OP_UDIV_ALT] = 0;
|
|
|
|
OpAdvTable[OP_ADD] = 0;
|
|
|
|
OpAdvTable[OP_SUB] = 0;
|
|
|
|
OpAdvTable[OP_SUB_ALT] = 0;
|
|
|
|
OpAdvTable[OP_AND] = 0;
|
|
|
|
OpAdvTable[OP_OR] = 0;
|
|
|
|
OpAdvTable[OP_XOR] = 0;
|
|
|
|
OpAdvTable[OP_NOT] = 0;
|
|
|
|
OpAdvTable[OP_NEG] = 0;
|
|
|
|
OpAdvTable[OP_INVERT] = 0;
|
|
|
|
OpAdvTable[OP_ZERO_PRI] = 0;
|
|
|
|
OpAdvTable[OP_ZERO_ALT] = 0;
|
|
|
|
OpAdvTable[OP_SIGN_PRI] = 0;
|
|
|
|
OpAdvTable[OP_SIGN_ALT] = 0;
|
|
|
|
OpAdvTable[OP_EQ] = 0;
|
|
|
|
OpAdvTable[OP_NEQ] = 0;
|
|
|
|
OpAdvTable[OP_LESS] = 0;
|
|
|
|
OpAdvTable[OP_LEQ] = 0;
|
|
|
|
OpAdvTable[OP_GRTR] = 0;
|
|
|
|
OpAdvTable[OP_GEQ] = 0;
|
|
|
|
OpAdvTable[OP_SLESS] = 0;
|
|
|
|
OpAdvTable[OP_SLEQ] = 0;
|
|
|
|
OpAdvTable[OP_SGRTR] = 0;
|
|
|
|
OpAdvTable[OP_SGEQ] = 0;
|
|
|
|
OpAdvTable[OP_INC_PRI] = 0;
|
|
|
|
OpAdvTable[OP_INC_ALT] = 0;
|
|
|
|
OpAdvTable[OP_INC_I] = 0;
|
|
|
|
OpAdvTable[OP_DEC_PRI] = 0;
|
|
|
|
OpAdvTable[OP_DEC_ALT] = 0;
|
|
|
|
OpAdvTable[OP_DEC_I] = 0;
|
|
|
|
OpAdvTable[OP_JUMP_PRI] = 0;
|
|
|
|
OpAdvTable[OP_SWAP_PRI] = 0;
|
|
|
|
OpAdvTable[OP_SWAP_ALT] = 0;
|
|
|
|
OpAdvTable[OP_NOP] = 0;
|
|
|
|
OpAdvTable[OP_BREAK] = 0;
|
2006-09-20 05:56:24 +02:00
|
|
|
OpAdvTable[OP_HEAP_PRI] = 0;
|
|
|
|
OpAdvTable[OP_POP_HEAP_PRI] = 0;
|
2006-09-20 04:56:20 +02:00
|
|
|
|
|
|
|
/* opcodes that need relocation */
|
|
|
|
OpAdvTable[OP_CALL] = -2;
|
|
|
|
OpAdvTable[OP_JUMP] = -2;
|
|
|
|
OpAdvTable[OP_JZER] = -2;
|
|
|
|
OpAdvTable[OP_JNZ] = -2;
|
|
|
|
OpAdvTable[OP_JEQ] = -2;
|
|
|
|
OpAdvTable[OP_JNEQ] = -2;
|
|
|
|
OpAdvTable[OP_JLESS] = -2;
|
|
|
|
OpAdvTable[OP_JLEQ] = -2;
|
|
|
|
OpAdvTable[OP_JGRTR] = -2;
|
|
|
|
OpAdvTable[OP_JGEQ] = -2;
|
|
|
|
OpAdvTable[OP_JSLESS] = -2;
|
|
|
|
OpAdvTable[OP_JSLEQ] = -2;
|
|
|
|
OpAdvTable[OP_JSGRTR] = -2;
|
|
|
|
OpAdvTable[OP_JSGEQ] = -2;
|
|
|
|
OpAdvTable[OP_SWITCH] = -2;
|
|
|
|
|
|
|
|
/* opcodes that are totally invalid */
|
|
|
|
OpAdvTable[OP_FILE] = -3;
|
|
|
|
OpAdvTable[OP_SYMBOL] = -3;
|
|
|
|
OpAdvTable[OP_LINE] = -3;
|
|
|
|
OpAdvTable[OP_SRANGE] = -3;
|
|
|
|
OpAdvTable[OP_SYMTAG] = -3;
|
|
|
|
OpAdvTable[OP_SYSREQ_D] = -3;
|
|
|
|
OpAdvTable[OP_SYSREQ_ND] = -3;
|
|
|
|
OpAdvTable[OP_PUSH_R] = -3;
|
|
|
|
}
|
|
|
|
|