2009-08-29 14:56:42 +00:00
|
|
|
/*
|
|
|
|
when I say JIT, I mean load time, not execution time.
|
|
|
|
|
|
|
|
notes:
|
|
|
|
qc jump offsets are all constants. we have no variable offset jumps (other than function calls/returns)
|
|
|
|
field remapping... fields are in place, and cannot be adjusted. if a field is not set to 0, its assumed to be a constant.
|
|
|
|
|
|
|
|
optimisations:
|
|
|
|
none at the moment...
|
|
|
|
instructions need to be chained. stuff that writes to C should be cacheable, etc. maybe we don't even need to do the write to C
|
|
|
|
it should also be possible to fold in eq+ifnot, so none of this silly storeing of floats in equality tests
|
|
|
|
|
2011-07-08 18:59:48 +00:00
|
|
|
this means that we need to track which vars are cached and in what form: fpreg, ireg+floatasint, ireg+float.
|
|
|
|
certain qccx hacks can use fpu operations on ints, so do what the instruction says, rather than considering an add an add regardless of types.
|
|
|
|
|
|
|
|
OP_AND_F, OP_OR_F etc will generally result in ints, and we should be able to keep them as ints if they combine with other ints.
|
|
|
|
|
|
|
|
some instructions are jump sites. any cache must be flushed before the start of the instruction.
|
|
|
|
some variables are locals, and will only ever be written by a single instruction, then read by the following instruction. such temps do not need to be written, or are overwritten later in the function anyway.
|
|
|
|
such locals need to be calculated PER FUNCTION as (fte)qcc can overlap locals making multiple distinct locals on a single offset.
|
|
|
|
|
|
|
|
store locals on a proper stack instead of the current absurd mechanism.
|
|
|
|
|
2009-08-29 14:56:42 +00:00
|
|
|
eax - tmp
|
|
|
|
ebx - prinst->edicttable
|
|
|
|
ecx - tmp
|
|
|
|
edx - tmp
|
2011-07-08 18:59:48 +00:00
|
|
|
esi - debug opcode number
|
2009-08-29 14:56:42 +00:00
|
|
|
edi - tmp (because its preserved by subfunctions
|
2010-12-18 17:02:47 +00:00
|
|
|
ebp -
|
2009-08-29 14:56:42 +00:00
|
|
|
|
|
|
|
to use gas to provide binary opcodes:
|
|
|
|
vim -N blob.s && as blob.s && objdump.exe -d a.out
|
2011-07-08 18:59:48 +00:00
|
|
|
|
|
|
|
|
|
|
|
notable mods to test:
|
|
|
|
prydon gate, due to fpu mangling to carry values between maps
|
2009-08-29 14:56:42 +00:00
|
|
|
*/
|
|
|
|
|
|
|
|
#define PROGSUSED
|
|
|
|
#include "progsint.h"
|
|
|
|
|
|
|
|
#ifdef QCJIT
|
|
|
|
|
2011-07-12 04:38:54 +00:00
|
|
|
#ifndef _WIN32
|
|
|
|
#include <sys/mman.h>
|
|
|
|
#endif
|
|
|
|
|
2009-08-29 14:56:42 +00:00
|
|
|
static float ta, tb, nullfloat=0;
|
|
|
|
|
2011-07-08 18:59:48 +00:00
|
|
|
struct jitstate
|
|
|
|
{
|
|
|
|
unsigned int *statementjumps; //[MAX_STATEMENTS*3]
|
|
|
|
unsigned char **statementoffsets; //[MAX_STATEMENTS]
|
|
|
|
unsigned int numjumps;
|
|
|
|
unsigned char *code;
|
|
|
|
unsigned int codesize;
|
|
|
|
unsigned int jitstatements;
|
|
|
|
};
|
2009-08-29 14:56:42 +00:00
|
|
|
|
2011-07-08 18:59:48 +00:00
|
|
|
static void EmitByte(struct jitstate *jit, unsigned char byte)
|
2009-08-29 14:56:42 +00:00
|
|
|
{
|
2011-07-08 18:59:48 +00:00
|
|
|
jit->code[jit->codesize++] = byte;
|
2009-08-29 14:56:42 +00:00
|
|
|
}
|
2011-07-08 18:59:48 +00:00
|
|
|
static void Emit4Byte(struct jitstate *jit, unsigned int value)
|
2009-08-29 14:56:42 +00:00
|
|
|
{
|
2011-07-08 18:59:48 +00:00
|
|
|
jit->code[jit->codesize++] = (value>> 0)&0xff;
|
|
|
|
jit->code[jit->codesize++] = (value>> 8)&0xff;
|
|
|
|
jit->code[jit->codesize++] = (value>>16)&0xff;
|
|
|
|
jit->code[jit->codesize++] = (value>>24)&0xff;
|
2009-08-29 14:56:42 +00:00
|
|
|
}
|
2011-07-08 18:59:48 +00:00
|
|
|
static void EmitAdr(struct jitstate *jit, void *value)
|
2009-08-29 14:56:42 +00:00
|
|
|
{
|
2011-07-08 18:59:48 +00:00
|
|
|
Emit4Byte(jit, (unsigned int)value);
|
2009-08-29 14:56:42 +00:00
|
|
|
}
|
2011-07-08 18:59:48 +00:00
|
|
|
static void EmitFloat(struct jitstate *jit, float value)
|
2009-08-29 14:56:42 +00:00
|
|
|
{
|
|
|
|
union {float f; unsigned int i;} u;
|
|
|
|
u.f = value;
|
2011-07-08 18:59:48 +00:00
|
|
|
Emit4Byte(jit, u.i);
|
2009-08-29 14:56:42 +00:00
|
|
|
}
|
2011-07-08 18:59:48 +00:00
|
|
|
static void Emit2Byte(struct jitstate *jit, unsigned short value)
|
2009-08-29 14:56:42 +00:00
|
|
|
{
|
2011-07-08 18:59:48 +00:00
|
|
|
jit->code[jit->codesize++] = (value>> 0)&0xff;
|
|
|
|
jit->code[jit->codesize++] = (value>> 8)&0xff;
|
2009-08-29 14:56:42 +00:00
|
|
|
}
|
|
|
|
|
2011-07-08 18:59:48 +00:00
|
|
|
static void EmitFOffset(struct jitstate *jit, void *func, int bias)
|
2009-08-29 14:56:42 +00:00
|
|
|
{
|
|
|
|
union {void *f; unsigned int i;} u;
|
|
|
|
u.f = func;
|
2011-07-08 18:59:48 +00:00
|
|
|
u.i -= (unsigned int)&jit->code[jit->codesize+bias];
|
|
|
|
Emit4Byte(jit, u.i);
|
2009-08-29 14:56:42 +00:00
|
|
|
}
|
|
|
|
|
2011-07-08 18:59:48 +00:00
|
|
|
static void Emit4ByteJump(struct jitstate *jit, int statementnum, int offset)
|
2009-08-29 14:56:42 +00:00
|
|
|
{
|
2011-07-08 18:59:48 +00:00
|
|
|
jit->statementjumps[jit->numjumps++] = jit->codesize;
|
|
|
|
jit->statementjumps[jit->numjumps++] = statementnum;
|
|
|
|
jit->statementjumps[jit->numjumps++] = offset;
|
2009-08-29 14:56:42 +00:00
|
|
|
|
|
|
|
//the offset is filled in later
|
2011-07-08 18:59:48 +00:00
|
|
|
jit->codesize += 4;
|
2009-08-29 14:56:42 +00:00
|
|
|
}
|
|
|
|
|
2010-12-18 17:02:47 +00:00
|
|
|
enum
|
|
|
|
{
|
|
|
|
REG_EAX,
|
|
|
|
REG_ECX,
|
|
|
|
REG_EDX,
|
|
|
|
REG_EBX,
|
|
|
|
REG_ESP,
|
|
|
|
REG_EBP,
|
|
|
|
REG_ESI,
|
|
|
|
REG_EDI
|
|
|
|
};
|
|
|
|
#define XOR(sr,dr) EmitByte(0x31);EmitByte(0xc0 | (sr<<3) | dr);
|
|
|
|
#define CLEARREG(reg) XOR(reg,reg)
|
|
|
|
#define LOADREG(addr, reg) if (reg == REG_EAX) {EmitByte(0xa1);} else {EmitByte(0x8b); EmitByte((reg<<3) | 0x05);} EmitAdr(addr);
|
|
|
|
#define STOREREG(reg, addr) if (reg == REG_EAX) {EmitByte(0xa3);} else {EmitByte(0x89); EmitByte((reg<<3) | 0x05);} EmitAdr(addr);
|
|
|
|
#define STOREF(f, addr) EmitByte(0xc7);EmitByte(0x05); EmitAdr(addr);EmitFloat(f);
|
2011-07-08 18:59:48 +00:00
|
|
|
#define STOREI(i, addr) EmitByte(0xc7);EmitByte(0x05); EmitAdr(addr);Emit4Byte(i);
|
|
|
|
#define SETREGI(val,reg) EmitByte(0xbe);Emit4Byte(val);
|
2010-12-18 17:02:47 +00:00
|
|
|
|
2011-07-08 18:59:48 +00:00
|
|
|
static void *LocalLoc(struct jitstate *jit)
|
2010-12-18 17:02:47 +00:00
|
|
|
{
|
2011-07-08 18:59:48 +00:00
|
|
|
return &jit->code[jit->codesize];
|
2010-12-18 17:02:47 +00:00
|
|
|
}
|
2011-07-08 18:59:48 +00:00
|
|
|
static void *LocalJmp(struct jitstate *jit, int cond)
|
2010-12-18 17:02:47 +00:00
|
|
|
{
|
2011-07-08 18:59:48 +00:00
|
|
|
/*floating point ops don't set the sign flag, thus we use the 'above/below' instructions instead of 'greater/less' instructions*/
|
2010-12-18 17:02:47 +00:00
|
|
|
if (cond == OP_GOTO)
|
2011-07-08 18:59:48 +00:00
|
|
|
EmitByte(jit, 0xeb); //jmp
|
|
|
|
else if (cond == OP_LE_F)
|
|
|
|
EmitByte(jit, 0x76); //jbe
|
|
|
|
else if (cond == OP_GE_F)
|
|
|
|
EmitByte(jit, 0x73); //jae
|
|
|
|
else if (cond == OP_LT_F)
|
|
|
|
EmitByte(jit, 0x72); //jb
|
|
|
|
else if (cond == OP_GT_F)
|
|
|
|
EmitByte(jit, 0x77); //ja
|
|
|
|
else if (cond == OP_LE_I)
|
|
|
|
EmitByte(jit, 0x7e); //jle
|
|
|
|
else if (cond == OP_LT_I)
|
|
|
|
EmitByte(jit, 0x7c); //jl
|
2010-12-18 17:02:47 +00:00
|
|
|
else if ((cond >= OP_NE_F && cond <= OP_NE_FNC) || cond == OP_NE_I)
|
2011-07-08 18:59:48 +00:00
|
|
|
EmitByte(jit, 0x75); //jne
|
2010-12-18 17:02:47 +00:00
|
|
|
else if ((cond >= OP_EQ_F && cond <= OP_EQ_FNC) || cond == OP_EQ_I)
|
2011-07-08 18:59:48 +00:00
|
|
|
EmitByte(jit, 0x74); //je
|
2010-12-18 17:02:47 +00:00
|
|
|
#if defined(DEBUG) && defined(_WIN32)
|
|
|
|
else
|
|
|
|
{
|
|
|
|
OutputDebugString("oh noes!\n");
|
|
|
|
return NULL;
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
|
2011-07-08 18:59:48 +00:00
|
|
|
EmitByte(jit, 0);
|
2010-12-18 17:02:47 +00:00
|
|
|
|
2011-07-08 18:59:48 +00:00
|
|
|
return LocalLoc(jit);
|
2010-12-18 17:02:47 +00:00
|
|
|
}
|
2011-07-08 18:59:48 +00:00
|
|
|
static void LocalJmpLoc(void *jmp, void *loc)
|
2010-12-18 17:02:47 +00:00
|
|
|
{
|
|
|
|
int offs;
|
|
|
|
unsigned char *a = jmp;
|
|
|
|
offs = (char *)loc - (char *)jmp;
|
|
|
|
#if defined(DEBUG) && defined(_WIN32)
|
|
|
|
if (offs > 127 || offs <= -128)
|
|
|
|
{
|
|
|
|
OutputDebugStringA("bad jump\n");
|
|
|
|
a[-2] = 0xcd;
|
|
|
|
a[-1] = 0xcc;
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
#endif
|
|
|
|
a[-1] = offs;
|
|
|
|
}
|
|
|
|
|
2011-07-08 18:59:48 +00:00
|
|
|
static void FixupJumps(struct jitstate *jit)
|
2009-08-29 14:56:42 +00:00
|
|
|
{
|
|
|
|
unsigned int j;
|
|
|
|
unsigned char *codesrc;
|
|
|
|
unsigned char *codedst;
|
|
|
|
unsigned int offset;
|
|
|
|
|
|
|
|
unsigned int v;
|
|
|
|
|
2011-07-08 18:59:48 +00:00
|
|
|
for (j = 0; j < jit->numjumps;)
|
2009-08-29 14:56:42 +00:00
|
|
|
{
|
2011-07-08 18:59:48 +00:00
|
|
|
v = jit->statementjumps[j++];
|
|
|
|
codesrc = &jit->code[v];
|
2009-08-29 14:56:42 +00:00
|
|
|
|
2011-07-08 18:59:48 +00:00
|
|
|
v = jit->statementjumps[j++];
|
|
|
|
codedst = jit->statementoffsets[v];
|
2009-08-29 14:56:42 +00:00
|
|
|
|
2011-07-08 18:59:48 +00:00
|
|
|
v = jit->statementjumps[j++];
|
2009-08-29 14:56:42 +00:00
|
|
|
offset = (int)(codedst - (codesrc-v)); //3rd term because the jump is relative to the instruction start, not the instruction's offset
|
|
|
|
|
|
|
|
codesrc[0] = (offset>> 0)&0xff;
|
|
|
|
codesrc[1] = (offset>> 8)&0xff;
|
|
|
|
codesrc[2] = (offset>>16)&0xff;
|
|
|
|
codesrc[3] = (offset>>24)&0xff;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2010-12-18 17:02:47 +00:00
|
|
|
int ASMCALL PR_LeaveFunction (progfuncs_t *progfuncs);
|
|
|
|
int ASMCALL PR_EnterFunction (progfuncs_t *progfuncs, dfunction_t *f, int progsnum);
|
2009-08-29 14:56:42 +00:00
|
|
|
|
2011-07-08 18:59:48 +00:00
|
|
|
void PR_CloseJit(struct jitstate *jit)
|
2009-08-29 14:56:42 +00:00
|
|
|
{
|
2011-07-08 18:59:48 +00:00
|
|
|
free(jit->statementjumps);
|
|
|
|
free(jit->statementoffsets);
|
2011-07-12 04:38:54 +00:00
|
|
|
#ifndef _WIN32
|
|
|
|
munmap(jit->code, jit->jitstatements * 500);
|
|
|
|
#else
|
2011-07-08 18:59:48 +00:00
|
|
|
free(jit->code);
|
2011-07-12 04:38:54 +00:00
|
|
|
#endif
|
2011-07-08 18:59:48 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
#define EmitByte(v) EmitByte(jit, v)
|
|
|
|
#define EmitAdr(v) EmitAdr(jit, v)
|
|
|
|
#define EmitFOffset(a,b) EmitFOffset(jit, a, b)
|
|
|
|
#define Emit4ByteJump(a,b) Emit4ByteJump(jit, a, b)
|
|
|
|
#define Emit4Byte(v) Emit4Byte(jit, v)
|
|
|
|
#define EmitFloat(v) EmitFloat(jit, v)
|
|
|
|
#define LocalJmp(v) LocalJmp(jit, v)
|
|
|
|
#define LocalLoc() LocalLoc(jit)
|
|
|
|
|
|
|
|
|
|
|
|
struct jitstate *PR_GenerateJit(progfuncs_t *progfuncs)
|
|
|
|
{
|
|
|
|
struct jitstate *jit;
|
|
|
|
|
2010-12-18 17:02:47 +00:00
|
|
|
void *j0, *l0;
|
|
|
|
void *j1, *l1;
|
|
|
|
void *j2, *l2;
|
2009-08-29 14:56:42 +00:00
|
|
|
unsigned int i;
|
|
|
|
dstatement16_t *op = (dstatement16_t*)current_progstate->statements;
|
|
|
|
unsigned int numstatements = current_progstate->progs->numstatements;
|
|
|
|
int *glob = (int*)current_progstate->globals;
|
|
|
|
|
|
|
|
if (current_progstate->numbuiltins)
|
2011-07-08 18:59:48 +00:00
|
|
|
return NULL;
|
|
|
|
jit = malloc(sizeof(*jit));
|
|
|
|
jit->jitstatements = numstatements;
|
2009-08-29 14:56:42 +00:00
|
|
|
|
2011-07-08 18:59:48 +00:00
|
|
|
jit->statementjumps = malloc(numstatements*12);
|
|
|
|
jit->statementoffsets = malloc(numstatements*4);
|
2011-07-12 04:38:54 +00:00
|
|
|
#ifndef _WIN32
|
|
|
|
jit->code = mmap(NULL, numstatements*500, PROT_READ|PROT_WRITE, MAP_PRIVATE|MAP_ANONYMOUS, -1, 0);
|
|
|
|
#else
|
2011-07-08 18:59:48 +00:00
|
|
|
jit->code = malloc(numstatements*500);
|
2011-07-12 04:38:54 +00:00
|
|
|
#endif
|
2011-07-08 18:59:48 +00:00
|
|
|
if (!jit->code)
|
|
|
|
return NULL;
|
2009-08-29 14:56:42 +00:00
|
|
|
|
2011-07-08 18:59:48 +00:00
|
|
|
jit->numjumps = 0;
|
|
|
|
jit->codesize = 0;
|
2009-08-29 14:56:42 +00:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
for (i = 0; i < numstatements; i++)
|
|
|
|
{
|
2011-07-08 18:59:48 +00:00
|
|
|
jit->statementoffsets[i] = &jit->code[jit->codesize];
|
2010-12-18 17:02:47 +00:00
|
|
|
|
2011-07-08 18:59:48 +00:00
|
|
|
/*DEBUG*/
|
2010-12-18 17:02:47 +00:00
|
|
|
SETREGI(op[i].op, REG_ESI);
|
2011-07-08 18:59:48 +00:00
|
|
|
|
2009-08-29 14:56:42 +00:00
|
|
|
switch(op[i].op)
|
|
|
|
{
|
|
|
|
//jumps
|
2011-07-08 18:59:48 +00:00
|
|
|
case OP_IF_I:
|
2009-08-29 14:56:42 +00:00
|
|
|
//integer compare
|
|
|
|
//if a, goto b
|
|
|
|
|
|
|
|
//cmpl $0,glob[A]
|
|
|
|
EmitByte(0x83);EmitByte(0x3d);EmitAdr(glob + op[i].a);EmitByte(0x0);
|
2011-07-08 18:59:48 +00:00
|
|
|
//jne B
|
2009-08-29 14:56:42 +00:00
|
|
|
EmitByte(0x0f);EmitByte(0x85);Emit4ByteJump(i + (signed short)op[i].b, -4);
|
|
|
|
break;
|
|
|
|
|
2011-07-08 18:59:48 +00:00
|
|
|
case OP_IFNOT_I:
|
2009-08-29 14:56:42 +00:00
|
|
|
//integer compare
|
|
|
|
//if !a, goto b
|
|
|
|
|
|
|
|
//cmpl $0,glob[A]
|
|
|
|
EmitByte(0x83);EmitByte(0x3d);EmitAdr(glob + op[i].a);EmitByte(0x0);
|
2011-07-08 18:59:48 +00:00
|
|
|
//je B
|
2009-08-29 14:56:42 +00:00
|
|
|
EmitByte(0x0f);EmitByte(0x84);Emit4ByteJump(i + (signed short)op[i].b, -4);
|
|
|
|
break;
|
|
|
|
|
|
|
|
case OP_GOTO:
|
|
|
|
EmitByte(0xE9);Emit4ByteJump(i + (signed short)op[i].a, -4);
|
|
|
|
break;
|
|
|
|
|
|
|
|
//function returns
|
|
|
|
case OP_DONE:
|
|
|
|
case OP_RETURN:
|
|
|
|
//done and return are the same
|
|
|
|
|
|
|
|
//part 1: store A into OFS_RETURN
|
|
|
|
|
|
|
|
if (!op[i].a)
|
|
|
|
{
|
|
|
|
//assumption: anything that returns address 0 is a void or zero return.
|
|
|
|
//thus clear eax and copy that to the return vector.
|
2010-12-18 17:02:47 +00:00
|
|
|
CLEARREG(REG_EAX);
|
|
|
|
STOREREG(REG_EAX, glob + OFS_RETURN+0);
|
|
|
|
STOREREG(REG_EAX, glob + OFS_RETURN+1);
|
|
|
|
STOREREG(REG_EAX, glob + OFS_RETURN+2);
|
2009-08-29 14:56:42 +00:00
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
2010-12-18 17:02:47 +00:00
|
|
|
LOADREG(glob + op[i].a+0, REG_EAX);
|
|
|
|
LOADREG(glob + op[i].a+1, REG_EDX);
|
|
|
|
LOADREG(glob + op[i].a+2, REG_ECX);
|
|
|
|
STOREREG(REG_EAX, glob + OFS_RETURN+0);
|
|
|
|
STOREREG(REG_EDX, glob + OFS_RETURN+1);
|
|
|
|
STOREREG(REG_ECX, glob + OFS_RETURN+2);
|
2009-08-29 14:56:42 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
//call leavefunction to get the return address
|
|
|
|
|
|
|
|
// pushl progfuncs
|
|
|
|
EmitByte(0x68);EmitAdr(progfuncs);
|
|
|
|
// call PR_LeaveFunction
|
|
|
|
EmitByte(0xe8);EmitFOffset(PR_LeaveFunction, 4);
|
|
|
|
// add $4,%esp
|
|
|
|
EmitByte(0x83);EmitByte(0xc4);EmitByte(0x04);
|
|
|
|
// movl pr_depth,%edx
|
|
|
|
EmitByte(0x8b);EmitByte(0x15);EmitAdr(&pr_depth);
|
|
|
|
// cmp prinst->exitdepth,%edx
|
|
|
|
EmitByte(0x3b);EmitByte(0x15);EmitAdr(&prinst->exitdepth);
|
|
|
|
// je returntoc
|
2010-12-18 17:02:47 +00:00
|
|
|
j1 = LocalJmp(OP_EQ_E);
|
|
|
|
// mov statementoffsets[%eax*4],%eax
|
2011-07-08 18:59:48 +00:00
|
|
|
EmitByte(0x8b);EmitByte(0x04);EmitByte(0x85);EmitAdr(jit->statementoffsets+1);
|
2010-12-18 17:02:47 +00:00
|
|
|
// jmp *eax
|
|
|
|
EmitByte(0xff);EmitByte(0xe0);
|
2009-08-29 14:56:42 +00:00
|
|
|
// returntoc:
|
2010-12-18 17:02:47 +00:00
|
|
|
l1 = LocalLoc();
|
2009-08-29 14:56:42 +00:00
|
|
|
// ret
|
|
|
|
EmitByte(0xc3);
|
2010-12-18 17:02:47 +00:00
|
|
|
|
|
|
|
LocalJmpLoc(j1,l1);
|
2009-08-29 14:56:42 +00:00
|
|
|
break;
|
|
|
|
|
|
|
|
//function calls
|
|
|
|
case OP_CALL0:
|
|
|
|
case OP_CALL1:
|
|
|
|
case OP_CALL2:
|
|
|
|
case OP_CALL3:
|
|
|
|
case OP_CALL4:
|
|
|
|
case OP_CALL5:
|
|
|
|
case OP_CALL6:
|
|
|
|
case OP_CALL7:
|
|
|
|
case OP_CALL8:
|
|
|
|
//save the state in place the rest of the engine can cope with
|
|
|
|
//movl $i, pr_xstatement
|
2011-07-08 18:59:48 +00:00
|
|
|
EmitByte( 0xc7);EmitByte(0x05);EmitAdr(&pr_xstatement);Emit4Byte(i);
|
2009-08-29 14:56:42 +00:00
|
|
|
//movl $(op[i].op-OP_CALL0), pr_argc
|
2011-07-08 18:59:48 +00:00
|
|
|
EmitByte( 0xc7);EmitByte(0x05);EmitAdr(&pr_argc);Emit4Byte(op[i].op-OP_CALL0);
|
2009-08-29 14:56:42 +00:00
|
|
|
|
|
|
|
//figure out who we're calling, and what that involves
|
|
|
|
//%eax = glob[A]
|
2010-12-18 17:02:47 +00:00
|
|
|
LOADREG(glob + op[i].a, REG_EAX);
|
2009-08-29 14:56:42 +00:00
|
|
|
//eax is now the func num
|
|
|
|
|
|
|
|
//mov %eax,%ecx
|
|
|
|
EmitByte(0x89); EmitByte(0xc1);
|
|
|
|
//shr $24,%ecx
|
|
|
|
EmitByte(0xc1); EmitByte(0xe9); EmitByte(0x18);
|
|
|
|
//ecx is now the progs num for the new func
|
|
|
|
|
|
|
|
//cmp %ecx,pr_typecurrent
|
|
|
|
EmitByte(0x39); EmitByte(0x0d); EmitAdr(&pr_typecurrent);
|
|
|
|
//je sameprogs
|
2010-12-18 17:02:47 +00:00
|
|
|
j1 = LocalJmp(OP_EQ_I);
|
2009-08-29 14:56:42 +00:00
|
|
|
{
|
|
|
|
//can't handle switching progs
|
|
|
|
|
|
|
|
//FIXME: recurse though PR_ExecuteProgram
|
|
|
|
//push eax
|
|
|
|
//push progfuncs
|
|
|
|
//call PR_ExecuteProgram
|
|
|
|
//add $8,%esp
|
|
|
|
//remember to change the je above
|
|
|
|
|
|
|
|
//err... exit depth? no idea
|
2009-11-04 21:16:50 +00:00
|
|
|
EmitByte(0xcd);EmitByte(op[i].op); //int $X
|
2009-08-29 14:56:42 +00:00
|
|
|
|
|
|
|
|
|
|
|
//ret
|
|
|
|
EmitByte(0xc3);
|
|
|
|
}
|
|
|
|
//sameprogs:
|
2010-12-18 17:02:47 +00:00
|
|
|
l1 = LocalLoc();
|
|
|
|
LocalJmpLoc(j1,l1);
|
2009-08-29 14:56:42 +00:00
|
|
|
|
|
|
|
//andl $0x00ffffff, %eax
|
|
|
|
EmitByte(0x25);Emit4Byte(0x00ffffff);
|
|
|
|
|
|
|
|
//mov $sizeof(dfunction_t),%edx
|
|
|
|
EmitByte(0xba);Emit4Byte(sizeof(dfunction_t));
|
|
|
|
//mul %edx
|
|
|
|
EmitByte(0xf7); EmitByte(0xe2);
|
|
|
|
//add pr_functions,%eax
|
|
|
|
EmitByte(0x05); EmitAdr(pr_functions);
|
|
|
|
|
|
|
|
//eax is now the dfunction_t to be called
|
|
|
|
//edx is clobbered.
|
|
|
|
|
|
|
|
//mov (%eax),%edx
|
|
|
|
EmitByte(0x8b);EmitByte(0x10);
|
|
|
|
//edx is now the first statement number
|
|
|
|
//cmp $0,%edx
|
|
|
|
EmitByte(0x83);EmitByte(0xfa);EmitByte(0x00);
|
|
|
|
//jl isabuiltin
|
2011-07-08 18:59:48 +00:00
|
|
|
j1 = LocalJmp(OP_LT_I);
|
2009-08-29 14:56:42 +00:00
|
|
|
{
|
2011-07-08 18:59:48 +00:00
|
|
|
/* call the function*/
|
2009-08-29 14:56:42 +00:00
|
|
|
//push %ecx
|
|
|
|
EmitByte(0x51);
|
|
|
|
//push %eax
|
|
|
|
EmitByte(0x50);
|
|
|
|
//pushl progfuncs
|
|
|
|
EmitByte(0x68);EmitAdr(progfuncs);
|
|
|
|
//call PR_EnterFunction
|
|
|
|
EmitByte(0xe8);EmitFOffset(PR_EnterFunction, 4);
|
|
|
|
//sub $12,%esp
|
|
|
|
EmitByte(0x83);EmitByte(0xc4);EmitByte(0xc);
|
|
|
|
//eax is now the next statement number (first of the new function, usually equal to ecx, but not always)
|
|
|
|
|
|
|
|
//jmp statementoffsets[%eax*4]
|
2011-07-08 18:59:48 +00:00
|
|
|
EmitByte(0xff);EmitByte(0x24);EmitByte(0x85);EmitAdr(jit->statementoffsets+1);
|
2009-08-29 14:56:42 +00:00
|
|
|
}
|
2011-07-08 18:59:48 +00:00
|
|
|
/*its a builtin, figure out which, and call it*/
|
2009-08-29 14:56:42 +00:00
|
|
|
//isabuiltin:
|
2010-12-18 17:02:47 +00:00
|
|
|
l1 = LocalLoc();
|
|
|
|
LocalJmpLoc(j1,l1);
|
2009-08-29 14:56:42 +00:00
|
|
|
|
|
|
|
//push current_progstate->globals
|
|
|
|
EmitByte(0x68);EmitAdr(current_progstate->globals);
|
|
|
|
//push progfuncs
|
|
|
|
EmitByte(0x68);EmitAdr(progfuncs);
|
|
|
|
//neg %edx
|
|
|
|
EmitByte(0xf7);EmitByte(0xda);
|
|
|
|
//call externs->globalbuiltins[%edx,4]
|
|
|
|
//FIXME: make sure this dereferences
|
|
|
|
EmitByte(0xff);EmitByte(0x14);EmitByte(0x95);EmitAdr(externs->globalbuiltins);
|
|
|
|
//add $8,%esp
|
|
|
|
EmitByte(0x83);EmitByte(0xc4);EmitByte(0x8);
|
|
|
|
|
|
|
|
//but that builtin might have been Abort()
|
|
|
|
|
2010-12-18 17:02:47 +00:00
|
|
|
LOADREG(&prinst->continuestatement, REG_EAX);
|
2009-08-29 14:56:42 +00:00
|
|
|
//cmp $-1,%eax
|
|
|
|
EmitByte(0x83);EmitByte(0xf8);EmitByte(0xff);
|
|
|
|
//je donebuiltincall
|
2010-12-18 17:02:47 +00:00
|
|
|
j1 = LocalJmp(OP_EQ_I);
|
2009-08-29 14:56:42 +00:00
|
|
|
{
|
|
|
|
//mov $-1,prinst->continuestatement
|
2010-12-18 17:02:47 +00:00
|
|
|
EmitByte(0xc7);EmitByte(0x05);EmitAdr(&prinst->continuestatement);Emit4Byte((unsigned int)-1);
|
|
|
|
|
|
|
|
//jmp statementoffsets[%eax*4]
|
2011-07-08 18:59:48 +00:00
|
|
|
EmitByte(0xff);EmitByte(0x24);EmitByte(0x85);EmitAdr(jit->statementoffsets);
|
2009-08-29 14:56:42 +00:00
|
|
|
}
|
|
|
|
//donebuiltincall:
|
2010-12-18 17:02:47 +00:00
|
|
|
l1 = LocalLoc();
|
|
|
|
LocalJmpLoc(j1,l1);
|
2009-08-29 14:56:42 +00:00
|
|
|
break;
|
|
|
|
|
|
|
|
case OP_MUL_F:
|
|
|
|
//flds glob[A]
|
|
|
|
EmitByte(0xd9);EmitByte(0x05);EmitAdr(glob + op[i].a);
|
|
|
|
//fmuls glob[B]
|
|
|
|
EmitByte(0xd8);EmitByte(0x0d);EmitAdr(glob + op[i].b);
|
|
|
|
//fstps glob[C]
|
|
|
|
EmitByte(0xd9);EmitByte(0x1d);EmitAdr(glob + op[i].c);
|
|
|
|
break;
|
|
|
|
case OP_DIV_F:
|
|
|
|
//flds glob[A]
|
|
|
|
EmitByte(0xd9);EmitByte(0x05);EmitAdr(glob + op[i].a);
|
|
|
|
//fdivs glob[B]
|
|
|
|
EmitByte(0xd8);EmitByte(0x35);EmitAdr(glob + op[i].b);
|
|
|
|
//fstps glob[C]
|
|
|
|
EmitByte(0xd9);EmitByte(0x1d);EmitAdr(glob + op[i].c);
|
|
|
|
break;
|
|
|
|
case OP_ADD_F:
|
|
|
|
//flds glob[A]
|
|
|
|
EmitByte(0xd9);EmitByte(0x05);EmitAdr(glob + op[i].a);
|
|
|
|
//fadds glob[B]
|
|
|
|
EmitByte(0xd8);EmitByte(0x05);EmitAdr(glob + op[i].b);
|
|
|
|
//fstps glob[C]
|
|
|
|
EmitByte(0xd9);EmitByte(0x1d);EmitAdr(glob + op[i].c);
|
|
|
|
break;
|
|
|
|
case OP_SUB_F:
|
|
|
|
//flds glob[A]
|
|
|
|
EmitByte(0xd9);EmitByte(0x05);EmitAdr(glob + op[i].a);
|
|
|
|
//fsubs glob[B]
|
|
|
|
EmitByte(0xd8);EmitByte(0x25);EmitAdr(glob + op[i].b);
|
|
|
|
//fstps glob[C]
|
|
|
|
EmitByte(0xd9);EmitByte(0x1d);EmitAdr(glob + op[i].c);
|
|
|
|
break;
|
|
|
|
|
|
|
|
case OP_NOT_F:
|
|
|
|
//fldz
|
|
|
|
EmitByte(0xd9);EmitByte(0xee);
|
2011-07-08 18:59:48 +00:00
|
|
|
//fcomps glob[A]
|
|
|
|
EmitByte(0xd8); EmitByte(0x1d); EmitAdr(glob + op[i].a);
|
2009-08-29 14:56:42 +00:00
|
|
|
//fnstsw %ax
|
|
|
|
EmitByte(0xdf);EmitByte(0xe0);
|
|
|
|
//testb 0x40,%ah
|
|
|
|
EmitByte(0xf6);EmitByte(0xc4);EmitByte(0x40);
|
2010-12-18 17:02:47 +00:00
|
|
|
|
|
|
|
j1 = LocalJmp(OP_NE_F);
|
|
|
|
{
|
2011-07-08 18:59:48 +00:00
|
|
|
STOREF(0.0f, glob + op[i].c);
|
2010-12-18 17:02:47 +00:00
|
|
|
j2 = LocalJmp(OP_GOTO);
|
|
|
|
}
|
|
|
|
{
|
|
|
|
//noteq:
|
|
|
|
l1 = LocalLoc();
|
2011-07-08 18:59:48 +00:00
|
|
|
STOREF(1.0f, glob + op[i].c);
|
2010-12-18 17:02:47 +00:00
|
|
|
}
|
2009-08-29 14:56:42 +00:00
|
|
|
//end:
|
2010-12-18 17:02:47 +00:00
|
|
|
l2 = LocalLoc();
|
|
|
|
LocalJmpLoc(j1,l1);
|
|
|
|
LocalJmpLoc(j2,l2);
|
2009-08-29 14:56:42 +00:00
|
|
|
break;
|
|
|
|
|
|
|
|
case OP_STORE_F:
|
|
|
|
case OP_STORE_S:
|
|
|
|
case OP_STORE_ENT:
|
|
|
|
case OP_STORE_FLD:
|
|
|
|
case OP_STORE_FNC:
|
2010-12-18 17:02:47 +00:00
|
|
|
LOADREG(glob + op[i].a, REG_EAX);
|
|
|
|
STOREREG(REG_EAX, glob + op[i].b);
|
2009-08-29 14:56:42 +00:00
|
|
|
break;
|
|
|
|
|
|
|
|
case OP_STORE_V:
|
2010-12-18 17:02:47 +00:00
|
|
|
LOADREG(glob + op[i].a+0, REG_EAX);
|
|
|
|
LOADREG(glob + op[i].a+1, REG_EDX);
|
|
|
|
LOADREG(glob + op[i].a+2, REG_ECX);
|
|
|
|
STOREREG(REG_EAX, glob + op[i].b+0);
|
|
|
|
STOREREG(REG_EDX, glob + op[i].b+1);
|
|
|
|
STOREREG(REG_ECX, glob + op[i].b+2);
|
2009-08-29 14:56:42 +00:00
|
|
|
break;
|
|
|
|
|
|
|
|
case OP_LOAD_F:
|
|
|
|
case OP_LOAD_S:
|
|
|
|
case OP_LOAD_ENT:
|
|
|
|
case OP_LOAD_FLD:
|
|
|
|
case OP_LOAD_FNC:
|
|
|
|
case OP_LOAD_V:
|
|
|
|
//a is the ent number, b is the field
|
|
|
|
//c is the dest
|
|
|
|
|
2010-12-18 17:02:47 +00:00
|
|
|
LOADREG(glob + op[i].a, REG_EAX);
|
|
|
|
LOADREG(glob + op[i].b, REG_ECX);
|
|
|
|
|
2009-08-29 14:56:42 +00:00
|
|
|
//FIXME: bound eax (ent number)
|
|
|
|
//FIXME: bound ecx (field index)
|
|
|
|
//mov (ebx,eax,4).%eax
|
|
|
|
EmitByte(0x8b); EmitByte(0x04); EmitByte(0x83);
|
|
|
|
//eax is now an edictrun_t
|
|
|
|
//mov fields(,%eax,4),%edx
|
|
|
|
EmitByte(0x8b);EmitByte(0x50);EmitByte((int)&((edictrun_t*)NULL)->fields);
|
|
|
|
//edx is now the field array for that ent
|
|
|
|
|
2011-07-08 18:59:48 +00:00
|
|
|
//mov fieldajust(%edx,%ecx,4),%eax
|
2009-08-29 14:56:42 +00:00
|
|
|
EmitByte(0x8b); EmitByte(0x84); EmitByte(0x8a); Emit4Byte(progfuncs->fieldadjust*4);
|
2010-12-18 17:02:47 +00:00
|
|
|
|
|
|
|
STOREREG(REG_EAX, glob + op[i].c)
|
2009-08-29 14:56:42 +00:00
|
|
|
|
|
|
|
if (op[i].op == OP_LOAD_V)
|
|
|
|
{
|
2011-07-08 18:59:48 +00:00
|
|
|
//mov fieldajust+4(%edx,%ecx,4),%eax
|
2009-08-29 14:56:42 +00:00
|
|
|
EmitByte(0x8b); EmitByte(0x84); EmitByte(0x8a); Emit4Byte(4+progfuncs->fieldadjust*4);
|
2010-12-18 17:02:47 +00:00
|
|
|
STOREREG(REG_EAX, glob + op[i].c+1)
|
2009-08-29 14:56:42 +00:00
|
|
|
|
2011-07-08 18:59:48 +00:00
|
|
|
//mov fieldajust+8(%edx,%ecx,4),%eax
|
2010-12-18 17:02:47 +00:00
|
|
|
EmitByte(0x8b); EmitByte(0x84); EmitByte(0x8a); Emit4Byte(8+progfuncs->fieldadjust*4);
|
|
|
|
STOREREG(REG_EAX, glob + op[i].c+2)
|
2009-08-29 14:56:42 +00:00
|
|
|
}
|
|
|
|
break;
|
|
|
|
|
|
|
|
case OP_ADDRESS:
|
|
|
|
//a is the ent number, b is the field
|
|
|
|
//c is the dest
|
|
|
|
|
2010-12-18 17:02:47 +00:00
|
|
|
LOADREG(glob + op[i].a, REG_EAX);
|
|
|
|
LOADREG(glob + op[i].b, REG_ECX);
|
|
|
|
|
2009-08-29 14:56:42 +00:00
|
|
|
//FIXME: bound eax (ent number)
|
|
|
|
//FIXME: bound ecx (field index)
|
|
|
|
//mov (ebx,eax,4).%eax
|
|
|
|
EmitByte(0x8b); EmitByte(0x04); EmitByte(0x83);
|
|
|
|
//eax is now an edictrun_t
|
|
|
|
//mov fields(,%eax,4),%edx
|
|
|
|
EmitByte(0x8b);EmitByte(0x50);EmitByte((int)&((edictrun_t*)NULL)->fields);
|
|
|
|
//edx is now the field array for that ent
|
|
|
|
//mov fieldajust(%edx,%ecx,4),%eax //offset = progfuncs->fieldadjust
|
|
|
|
//EmitByte(0x8d); EmitByte(0x84); EmitByte(0x8a); EmitByte(progfuncs->fieldadjust*4);
|
|
|
|
EmitByte(0x8d); EmitByte(0x84); EmitByte(0x8a); Emit4Byte(progfuncs->fieldadjust*4);
|
2010-12-18 17:02:47 +00:00
|
|
|
STOREREG(REG_EAX, glob + op[i].c);
|
2009-08-29 14:56:42 +00:00
|
|
|
break;
|
|
|
|
|
|
|
|
case OP_STOREP_F:
|
|
|
|
case OP_STOREP_S:
|
|
|
|
case OP_STOREP_ENT:
|
|
|
|
case OP_STOREP_FLD:
|
|
|
|
case OP_STOREP_FNC:
|
2010-12-18 17:02:47 +00:00
|
|
|
LOADREG(glob + op[i].a, REG_EAX);
|
|
|
|
LOADREG(glob + op[i].b, REG_ECX);
|
2009-08-29 14:56:42 +00:00
|
|
|
//mov %eax,(%ecx)
|
|
|
|
EmitByte(0x89);EmitByte(0x01);
|
|
|
|
break;
|
|
|
|
|
|
|
|
case OP_STOREP_V:
|
2010-12-18 17:02:47 +00:00
|
|
|
LOADREG(glob + op[i].b, REG_ECX);
|
|
|
|
|
|
|
|
LOADREG(glob + op[i].a+0, REG_EAX);
|
2009-08-29 14:56:42 +00:00
|
|
|
//mov %eax,0(%ecx)
|
|
|
|
EmitByte(0x89);EmitByte(0x01);
|
2010-12-18 17:02:47 +00:00
|
|
|
|
|
|
|
LOADREG(glob + op[i].a+1, REG_EAX);
|
2009-08-29 14:56:42 +00:00
|
|
|
//mov %eax,4(%ecx)
|
|
|
|
EmitByte(0x89);EmitByte(0x41);EmitByte(0x04);
|
2010-12-18 17:02:47 +00:00
|
|
|
|
|
|
|
LOADREG(glob + op[i].a+2, REG_EAX);
|
2009-08-29 14:56:42 +00:00
|
|
|
//mov %eax,8(%ecx)
|
|
|
|
EmitByte(0x89);EmitByte(0x41);EmitByte(0x08);
|
|
|
|
break;
|
|
|
|
|
2010-12-18 17:02:47 +00:00
|
|
|
case OP_NE_I:
|
|
|
|
case OP_NE_E:
|
|
|
|
case OP_NE_FNC:
|
|
|
|
case OP_EQ_I:
|
2009-08-29 14:56:42 +00:00
|
|
|
case OP_EQ_E:
|
|
|
|
case OP_EQ_FNC:
|
|
|
|
//integer equality
|
2010-12-18 17:02:47 +00:00
|
|
|
LOADREG(glob + op[i].a, REG_EAX);
|
2009-08-29 14:56:42 +00:00
|
|
|
|
|
|
|
//cmp glob[B],%eax
|
2010-12-18 17:02:47 +00:00
|
|
|
EmitByte(0x3b); EmitByte(0x04); EmitByte(0x25); EmitAdr(glob + op[i].b);
|
|
|
|
j1 = LocalJmp(op[i].op);
|
|
|
|
{
|
2011-07-08 18:59:48 +00:00
|
|
|
STOREF(0.0f, glob + op[i].c);
|
2010-12-18 17:02:47 +00:00
|
|
|
j2 = LocalJmp(OP_GOTO);
|
|
|
|
}
|
|
|
|
{
|
|
|
|
l1 = LocalLoc();
|
2011-07-08 18:59:48 +00:00
|
|
|
STOREF(1.0f, glob + op[i].c);
|
2010-12-18 17:02:47 +00:00
|
|
|
}
|
|
|
|
l2 = LocalLoc();
|
|
|
|
LocalJmpLoc(j1,l1);
|
|
|
|
LocalJmpLoc(j2,l2);
|
2009-08-29 14:56:42 +00:00
|
|
|
break;
|
|
|
|
|
2010-12-18 17:02:47 +00:00
|
|
|
case OP_NOT_I:
|
2009-08-29 14:56:42 +00:00
|
|
|
case OP_NOT_ENT:
|
|
|
|
case OP_NOT_FNC:
|
2010-12-18 17:02:47 +00:00
|
|
|
//cmp glob[B],$0
|
|
|
|
EmitByte(0x83); EmitByte(0x3d); EmitAdr(glob + op[i].a); EmitByte(0x00);
|
|
|
|
j1 = LocalJmp(OP_NE_I);
|
|
|
|
{
|
|
|
|
STOREF(1.0f, glob + op[i].c);
|
|
|
|
j2 = LocalJmp(OP_GOTO);
|
|
|
|
}
|
|
|
|
{
|
|
|
|
l1 = LocalLoc();
|
|
|
|
STOREF(0.0f, glob + op[i].c);
|
|
|
|
}
|
|
|
|
l2 = LocalLoc();
|
|
|
|
LocalJmpLoc(j1,l1);
|
|
|
|
LocalJmpLoc(j2,l2);
|
2009-08-29 14:56:42 +00:00
|
|
|
break;
|
|
|
|
|
2011-07-08 18:59:48 +00:00
|
|
|
case OP_BITOR_F: //floats...
|
2009-08-29 14:56:42 +00:00
|
|
|
//flds glob[A]
|
|
|
|
EmitByte(0xd9); EmitByte(0x05);EmitAdr(glob + op[i].a);
|
|
|
|
//flds glob[B]
|
|
|
|
EmitByte(0xd9); EmitByte(0x05);EmitAdr(glob + op[i].b);
|
|
|
|
//fistp tb
|
2011-07-08 18:59:48 +00:00
|
|
|
EmitByte(0xdb); EmitByte(0x1d);EmitAdr(&tb);
|
2009-08-29 14:56:42 +00:00
|
|
|
//fistp ta
|
2011-07-08 18:59:48 +00:00
|
|
|
EmitByte(0xdb); EmitByte(0x1d);EmitAdr(&ta);
|
2010-12-18 17:02:47 +00:00
|
|
|
LOADREG(&ta, REG_EAX)
|
2011-07-08 18:59:48 +00:00
|
|
|
//or %eax,tb
|
2009-08-29 14:56:42 +00:00
|
|
|
EmitByte(0x09); EmitByte(0x05);EmitAdr(&tb);
|
|
|
|
//fild tb
|
2011-07-08 18:59:48 +00:00
|
|
|
EmitByte(0xdb); EmitByte(0x05);EmitAdr(&tb);
|
2009-08-29 14:56:42 +00:00
|
|
|
//fstps glob[C]
|
|
|
|
EmitByte(0xd9); EmitByte(0x1d);EmitAdr(glob + op[i].c);
|
|
|
|
break;
|
|
|
|
|
2011-07-08 18:59:48 +00:00
|
|
|
case OP_BITAND_F:
|
2009-08-29 14:56:42 +00:00
|
|
|
//flds glob[A]
|
|
|
|
EmitByte(0xd9); EmitByte(0x05);EmitAdr(glob + op[i].a);
|
|
|
|
//flds glob[B]
|
|
|
|
EmitByte(0xd9); EmitByte(0x05);EmitAdr(glob + op[i].b);
|
|
|
|
//fistp tb
|
2011-07-08 18:59:48 +00:00
|
|
|
EmitByte(0xdb); EmitByte(0x1d);EmitAdr(&tb);
|
2009-08-29 14:56:42 +00:00
|
|
|
//fistp ta
|
2011-07-08 18:59:48 +00:00
|
|
|
EmitByte(0xdb); EmitByte(0x1d);EmitAdr(&ta);
|
2010-12-18 17:02:47 +00:00
|
|
|
/*two args are now at ta and tb*/
|
|
|
|
LOADREG(&ta, REG_EAX)
|
2009-08-29 14:56:42 +00:00
|
|
|
//and tb,%eax
|
|
|
|
EmitByte(0x21); EmitByte(0x05);EmitAdr(&tb);
|
2010-12-18 17:02:47 +00:00
|
|
|
/*we just wrote the int value to tb, convert that to a float and store it at c*/
|
2009-08-29 14:56:42 +00:00
|
|
|
//fild tb
|
2011-07-08 18:59:48 +00:00
|
|
|
EmitByte(0xdb); EmitByte(0x05);EmitAdr(&tb);
|
2009-08-29 14:56:42 +00:00
|
|
|
//fstps glob[C]
|
|
|
|
EmitByte(0xd9); EmitByte(0x1d);EmitAdr(glob + op[i].c);
|
|
|
|
break;
|
|
|
|
|
2011-07-08 18:59:48 +00:00
|
|
|
case OP_AND_F:
|
2009-08-29 14:56:42 +00:00
|
|
|
//test floats properly, so we don't get confused with -0.0
|
|
|
|
|
|
|
|
//flds glob[A]
|
|
|
|
EmitByte(0xd9); EmitByte(0x05); EmitAdr(glob + op[i].a);
|
|
|
|
//fcomps nullfloat
|
|
|
|
EmitByte(0xd8); EmitByte(0x1d); EmitAdr(&nullfloat);
|
|
|
|
//fnstsw %ax
|
|
|
|
EmitByte(0xdf); EmitByte(0xe0);
|
|
|
|
//test $0x40,%ah
|
|
|
|
EmitByte(0xf6); EmitByte(0xc4);EmitByte(0x40);
|
2011-07-08 18:59:48 +00:00
|
|
|
//jz onefalse
|
2009-08-29 14:56:42 +00:00
|
|
|
EmitByte(0x75); EmitByte(0x1f);
|
|
|
|
|
|
|
|
//flds glob[B]
|
|
|
|
EmitByte(0xd9); EmitByte(0x05); EmitAdr(glob + op[i].b);
|
|
|
|
//fcomps nullfloat
|
|
|
|
EmitByte(0xd8); EmitByte(0x1d); EmitAdr(&nullfloat);
|
|
|
|
//fnstsw %ax
|
|
|
|
EmitByte(0xdf); EmitByte(0xe0);
|
|
|
|
//test $0x40,%ah
|
|
|
|
EmitByte(0xf6); EmitByte(0xc4);EmitByte(0x40);
|
2011-07-08 18:59:48 +00:00
|
|
|
//jnz onefalse
|
2009-08-29 14:56:42 +00:00
|
|
|
EmitByte(0x75); EmitByte(0x0c);
|
|
|
|
|
|
|
|
//mov float0,glob[C]
|
|
|
|
EmitByte(0xc7); EmitByte(0x05); EmitAdr(glob + op[i].c); EmitFloat(1.0f);
|
|
|
|
//jmp done
|
|
|
|
EmitByte(0xeb); EmitByte(0x0a);
|
|
|
|
|
|
|
|
//onefalse:
|
|
|
|
//mov float1,glob[C]
|
|
|
|
EmitByte(0xc7); EmitByte(0x05); EmitAdr(glob + op[i].c); EmitFloat(0.0f);
|
|
|
|
//done:
|
|
|
|
break;
|
2011-07-08 18:59:48 +00:00
|
|
|
case OP_OR_F:
|
2009-08-29 14:56:42 +00:00
|
|
|
//test floats properly, so we don't get confused with -0.0
|
|
|
|
|
|
|
|
//flds glob[A]
|
|
|
|
EmitByte(0xd9); EmitByte(0x05); EmitAdr(glob + op[i].a);
|
|
|
|
//fcomps nullfloat
|
|
|
|
EmitByte(0xd8); EmitByte(0x1d); EmitAdr(&nullfloat);
|
|
|
|
//fnstsw %ax
|
|
|
|
EmitByte(0xdf); EmitByte(0xe0);
|
|
|
|
//test $0x40,%ah
|
|
|
|
EmitByte(0xf6); EmitByte(0xc4);EmitByte(0x40);
|
|
|
|
//je onetrue
|
|
|
|
EmitByte(0x74); EmitByte(0x1f);
|
|
|
|
|
|
|
|
//flds glob[B]
|
|
|
|
EmitByte(0xd9); EmitByte(0x05); EmitAdr(glob + op[i].b);
|
|
|
|
//fcomps nullfloat
|
|
|
|
EmitByte(0xd8); EmitByte(0x1d); EmitAdr(&nullfloat);
|
|
|
|
//fnstsw %ax
|
|
|
|
EmitByte(0xdf); EmitByte(0xe0);
|
|
|
|
//test $0x40,%ah
|
|
|
|
EmitByte(0xf6); EmitByte(0xc4);EmitByte(0x40);
|
|
|
|
//je onetrue
|
|
|
|
EmitByte(0x74); EmitByte(0x0c);
|
|
|
|
|
|
|
|
//mov float0,glob[C]
|
|
|
|
EmitByte(0xc7); EmitByte(0x05); EmitAdr(glob + op[i].c); EmitFloat(0.0f);
|
|
|
|
//jmp done
|
|
|
|
EmitByte(0xeb); EmitByte(0x0a);
|
|
|
|
|
|
|
|
//onetrue:
|
|
|
|
//mov float1,glob[C]
|
|
|
|
EmitByte(0xc7); EmitByte(0x05); EmitAdr(glob + op[i].c); EmitFloat(1.0f);
|
|
|
|
//done:
|
|
|
|
break;
|
|
|
|
|
|
|
|
case OP_EQ_S:
|
|
|
|
case OP_NE_S:
|
2010-12-18 17:02:47 +00:00
|
|
|
{
|
2009-08-29 14:56:42 +00:00
|
|
|
//put a in ecx
|
2010-12-18 17:02:47 +00:00
|
|
|
LOADREG(glob + op[i].a, REG_ECX);
|
2009-08-29 14:56:42 +00:00
|
|
|
//put b in edi
|
2010-12-18 17:02:47 +00:00
|
|
|
LOADREG(glob + op[i].b, REG_EDI);
|
|
|
|
/*
|
2009-08-29 14:56:42 +00:00
|
|
|
//early out if they're equal
|
|
|
|
//cmp %ecx,%edi
|
2010-12-18 17:02:47 +00:00
|
|
|
EmitByte(0x39); EmitByte(0xc0 | (REG_EDI<<3) | REG_ECX);
|
|
|
|
j1c = LocalJmp(OP_EQ_S);
|
2009-08-29 14:56:42 +00:00
|
|
|
|
|
|
|
//if a is 0, check if b is ""
|
|
|
|
//jecxz ais0
|
|
|
|
EmitByte(0xe3); EmitByte(0x1a);
|
|
|
|
|
|
|
|
//if b is 0, check if a is ""
|
|
|
|
//cmp $0,%edi
|
|
|
|
EmitByte(0x83); EmitByte(0xff); EmitByte(0x00);
|
|
|
|
//jne bnot0
|
|
|
|
EmitByte(0x75); EmitByte(0x2a);
|
|
|
|
{
|
|
|
|
//push a
|
|
|
|
EmitByte(0x51);
|
|
|
|
//push progfuncs
|
|
|
|
EmitByte(0x68); EmitAdr(progfuncs);
|
|
|
|
//call PR_StringToNative
|
|
|
|
EmitByte(0xe8); EmitFOffset(PR_StringToNative,4);
|
|
|
|
//add $8,%esp
|
|
|
|
EmitByte(0x83); EmitByte(0xc4); EmitByte(0x08);
|
|
|
|
//cmpb $0,(%eax)
|
|
|
|
EmitByte(0x80); EmitByte(0x38); EmitByte(0x00);
|
2010-12-18 17:02:47 +00:00
|
|
|
j1b = LocalJmp(OP_EQ_S);
|
|
|
|
j0b = LocalJmp(OP_GOTO);
|
|
|
|
}
|
|
|
|
|
|
|
|
//ais0:
|
|
|
|
{
|
|
|
|
//push edi
|
|
|
|
EmitByte(0x57);
|
|
|
|
//push progfuncs
|
|
|
|
EmitByte(0x68); EmitAdr(progfuncs);
|
|
|
|
//call PR_StringToNative
|
|
|
|
EmitByte(0xe8); EmitFOffset(PR_StringToNative,4);
|
|
|
|
//add $8,%esp
|
|
|
|
EmitByte(0x83); EmitByte(0xc4); EmitByte(0x08);
|
|
|
|
//cmpb $0,(%eax)
|
|
|
|
EmitByte(0x80); EmitByte(0x38); EmitByte(0x00);
|
2009-08-29 14:56:42 +00:00
|
|
|
//je _true
|
2010-12-18 17:02:47 +00:00
|
|
|
EmitByte(0x74); EmitByte(0x36);
|
2009-08-29 14:56:42 +00:00
|
|
|
//jmp _false
|
2010-12-18 17:02:47 +00:00
|
|
|
EmitByte(0xeb); EmitByte(0x28);
|
2009-08-29 14:56:42 +00:00
|
|
|
}
|
|
|
|
//bnot0:
|
2010-12-18 17:02:47 +00:00
|
|
|
*/
|
|
|
|
LOADREG(glob + op[i].a, REG_ECX);
|
2009-08-29 14:56:42 +00:00
|
|
|
//push ecx
|
|
|
|
EmitByte(0x51);
|
|
|
|
//push progfuncs
|
|
|
|
EmitByte(0x68); EmitAdr(progfuncs);
|
|
|
|
//call PR_StringToNative
|
|
|
|
EmitByte(0xe8); EmitFOffset(PR_StringToNative,4);
|
|
|
|
//push %eax
|
|
|
|
EmitByte(0x50);
|
|
|
|
|
2010-12-18 17:02:47 +00:00
|
|
|
LOADREG(glob + op[i].b, REG_EDI);
|
2009-08-29 14:56:42 +00:00
|
|
|
//push %edi
|
|
|
|
EmitByte(0x57);
|
|
|
|
//push progfuncs
|
|
|
|
EmitByte(0x68); EmitAdr(progfuncs);
|
|
|
|
//call PR_StringToNative
|
|
|
|
EmitByte(0xe8); EmitFOffset(PR_StringToNative,4);
|
|
|
|
//add $8,%esp
|
|
|
|
EmitByte(0x83); EmitByte(0xc4); EmitByte(0x08);
|
|
|
|
|
|
|
|
|
|
|
|
//push %eax
|
|
|
|
EmitByte(0x50);
|
|
|
|
//call strcmp
|
|
|
|
EmitByte(0xe8); EmitFOffset(strcmp,4);
|
|
|
|
//add $16,%esp
|
|
|
|
EmitByte(0x83); EmitByte(0xc4); EmitByte(0x10);
|
2010-12-18 17:02:47 +00:00
|
|
|
|
2009-08-29 14:56:42 +00:00
|
|
|
//cmp $0,%eax
|
|
|
|
EmitByte(0x83); EmitByte(0xf8); EmitByte(0x00);
|
2010-12-18 17:02:47 +00:00
|
|
|
j1 = LocalJmp(OP_EQ_S);
|
|
|
|
{
|
|
|
|
l0 = LocalLoc();
|
|
|
|
STOREF((op[i].op == OP_NE_S)?1.0f:0.0f, glob + op[i].c);
|
|
|
|
j2 = LocalJmp(OP_GOTO);
|
|
|
|
}
|
|
|
|
{
|
|
|
|
l1 = LocalLoc();
|
|
|
|
STOREF((op[i].op == OP_NE_S)?0.0f:1.0f, glob + op[i].c);
|
|
|
|
}
|
|
|
|
l2 = LocalLoc();
|
|
|
|
|
|
|
|
// LocalJmpLoc(j0b, l0);
|
|
|
|
LocalJmpLoc(j1, l1);
|
|
|
|
// LocalJmpLoc(j1b, l1);
|
|
|
|
LocalJmpLoc(j2, l2);
|
|
|
|
}
|
2009-08-29 14:56:42 +00:00
|
|
|
break;
|
|
|
|
|
|
|
|
case OP_NOT_S:
|
2010-12-18 17:02:47 +00:00
|
|
|
LOADREG(glob + op[i].a, REG_EAX)
|
|
|
|
|
2009-08-29 14:56:42 +00:00
|
|
|
//cmp $0,%eax
|
|
|
|
EmitByte(0x83); EmitByte(0xf8); EmitByte(0x00);
|
2010-12-18 17:02:47 +00:00
|
|
|
j2 = LocalJmp(OP_EQ_S);
|
|
|
|
|
2009-08-29 14:56:42 +00:00
|
|
|
//push %eax
|
|
|
|
EmitByte(0x50);
|
|
|
|
//push progfuncs
|
|
|
|
EmitByte(0x68); EmitAdr(progfuncs);
|
|
|
|
//call PR_StringToNative
|
|
|
|
EmitByte(0xe8); EmitFOffset(PR_StringToNative,4);
|
|
|
|
//add $8,%esp
|
|
|
|
EmitByte(0x83); EmitByte(0xc4); EmitByte(0x08);
|
2010-12-18 17:02:47 +00:00
|
|
|
|
2009-08-29 14:56:42 +00:00
|
|
|
//cmpb $0,(%eax)
|
|
|
|
EmitByte(0x80); EmitByte(0x38); EmitByte(0x00);
|
2010-12-18 17:02:47 +00:00
|
|
|
j1 = LocalJmp(OP_EQ_S);
|
|
|
|
{
|
|
|
|
STOREF(0.0f, glob + op[i].c);
|
|
|
|
j0 = LocalJmp(OP_GOTO);
|
|
|
|
}
|
|
|
|
{
|
|
|
|
l1 = LocalLoc();
|
|
|
|
STOREF(1.0f, glob + op[i].c);
|
|
|
|
}
|
|
|
|
l2 = LocalLoc();
|
|
|
|
LocalJmpLoc(j2, l1);
|
|
|
|
LocalJmpLoc(j1, l1);
|
|
|
|
LocalJmpLoc(j0, l2);
|
2009-08-29 14:56:42 +00:00
|
|
|
break;
|
|
|
|
|
|
|
|
case OP_ADD_V:
|
|
|
|
//flds glob[A]
|
|
|
|
EmitByte(0xd9);EmitByte(0x05);EmitAdr(glob + op[i].a+0);
|
|
|
|
//fadds glob[B]
|
|
|
|
EmitByte(0xd8);EmitByte(0x05);EmitAdr(glob + op[i].b+0);
|
|
|
|
//fstps glob[C]
|
|
|
|
EmitByte(0xd9);EmitByte(0x1d);EmitAdr(glob + op[i].c+0);
|
|
|
|
|
|
|
|
//flds glob[A]
|
|
|
|
EmitByte(0xd9);EmitByte(0x05);EmitAdr(glob + op[i].a+1);
|
|
|
|
//fadds glob[B]
|
|
|
|
EmitByte(0xd8);EmitByte(0x05);EmitAdr(glob + op[i].b+1);
|
|
|
|
//fstps glob[C]
|
|
|
|
EmitByte(0xd9);EmitByte(0x1d);EmitAdr(glob + op[i].c+1);
|
|
|
|
|
|
|
|
//flds glob[A]
|
|
|
|
EmitByte(0xd9);EmitByte(0x05);EmitAdr(glob + op[i].a+2);
|
|
|
|
//fadds glob[B]
|
|
|
|
EmitByte(0xd8);EmitByte(0x05);EmitAdr(glob + op[i].b+2);
|
|
|
|
//fstps glob[C]
|
|
|
|
EmitByte(0xd9);EmitByte(0x1d);EmitAdr(glob + op[i].c+2);
|
|
|
|
break;
|
|
|
|
case OP_SUB_V:
|
|
|
|
//flds glob[A]
|
|
|
|
EmitByte(0xd9);EmitByte(0x05);EmitAdr(glob + op[i].a+0);
|
|
|
|
//fsubs glob[B]
|
|
|
|
EmitByte(0xd8);EmitByte(0x25);EmitAdr(glob + op[i].b+0);
|
|
|
|
//fstps glob[C]
|
|
|
|
EmitByte(0xd9);EmitByte(0x1d);EmitAdr(glob + op[i].c+0);
|
|
|
|
|
|
|
|
//flds glob[A]
|
|
|
|
EmitByte(0xd9);EmitByte(0x05);EmitAdr(glob + op[i].a+1);
|
|
|
|
//fsubs glob[B]
|
|
|
|
EmitByte(0xd8);EmitByte(0x25);EmitAdr(glob + op[i].b+1);
|
|
|
|
//fstps glob[C]
|
|
|
|
EmitByte(0xd9);EmitByte(0x1d);EmitAdr(glob + op[i].c+1);
|
|
|
|
|
|
|
|
//flds glob[A]
|
|
|
|
EmitByte(0xd9);EmitByte(0x05);EmitAdr(glob + op[i].a+2);
|
|
|
|
//fsubs glob[B]
|
|
|
|
EmitByte(0xd8);EmitByte(0x25);EmitAdr(glob + op[i].b+2);
|
|
|
|
//fstps glob[C]
|
|
|
|
EmitByte(0xd9);EmitByte(0x1d);EmitAdr(glob + op[i].c+2);
|
|
|
|
break;
|
|
|
|
|
|
|
|
case OP_MUL_V:
|
|
|
|
//this is actually a dotproduct
|
|
|
|
//flds glob[A]
|
|
|
|
EmitByte(0xd9);EmitByte(0x05);EmitAdr(glob + op[i].a+0);
|
|
|
|
//fmuls glob[B]
|
|
|
|
EmitByte(0xd8);EmitByte(0x0d);EmitAdr(glob + op[i].b+0);
|
|
|
|
|
|
|
|
//flds glob[A]
|
|
|
|
EmitByte(0xd9);EmitByte(0x05);EmitAdr(glob + op[i].a+1);
|
|
|
|
//fmuls glob[B]
|
|
|
|
EmitByte(0xd8);EmitByte(0x0d);EmitAdr(glob + op[i].b+1);
|
|
|
|
|
|
|
|
//flds glob[A]
|
|
|
|
EmitByte(0xd9);EmitByte(0x05);EmitAdr(glob + op[i].a+2);
|
|
|
|
//fmuls glob[B]
|
|
|
|
EmitByte(0xd8);EmitByte(0x0d);EmitAdr(glob + op[i].b+2);
|
|
|
|
|
|
|
|
//faddp
|
|
|
|
EmitByte(0xde);EmitByte(0xc1);
|
|
|
|
//faddp
|
|
|
|
EmitByte(0xde);EmitByte(0xc1);
|
|
|
|
|
|
|
|
//fstps glob[C]
|
|
|
|
EmitByte(0xd9);EmitByte(0x1d);EmitAdr(glob + op[i].c);
|
|
|
|
break;
|
|
|
|
|
|
|
|
case OP_EQ_F:
|
|
|
|
case OP_NE_F:
|
2011-07-08 18:59:48 +00:00
|
|
|
case OP_LE_F:
|
|
|
|
case OP_GE_F:
|
|
|
|
case OP_LT_F:
|
|
|
|
case OP_GT_F:
|
2009-08-29 14:56:42 +00:00
|
|
|
//flds glob[A]
|
|
|
|
EmitByte(0xd9);EmitByte(0x05);EmitAdr(glob + op[i].b);
|
2011-07-08 18:59:48 +00:00
|
|
|
//flds glob[B]
|
|
|
|
EmitByte(0xd9);EmitByte(0x05);EmitAdr(glob + op[i].a);
|
2009-08-29 14:56:42 +00:00
|
|
|
//fcomip %st(1),%st
|
|
|
|
EmitByte(0xdf);EmitByte(0xe9);
|
|
|
|
//fstp %st(0) (aka: pop)
|
|
|
|
EmitByte(0xdd);EmitByte(0xd8);
|
|
|
|
|
2010-12-18 17:02:47 +00:00
|
|
|
j1 = LocalJmp(op[i].op);
|
|
|
|
{
|
|
|
|
STOREF(0.0f, glob + op[i].c);
|
|
|
|
j2 = LocalJmp(OP_GOTO);
|
|
|
|
}
|
|
|
|
{
|
|
|
|
l1 = LocalLoc();
|
|
|
|
STOREF(1.0f, glob + op[i].c);
|
|
|
|
}
|
|
|
|
l2 = LocalLoc();
|
|
|
|
LocalJmpLoc(j1,l1);
|
|
|
|
LocalJmpLoc(j2,l2);
|
2009-08-29 14:56:42 +00:00
|
|
|
break;
|
|
|
|
|
|
|
|
case OP_MUL_FV:
|
|
|
|
case OP_MUL_VF:
|
|
|
|
//
|
|
|
|
{
|
|
|
|
int v;
|
|
|
|
int f;
|
|
|
|
if (op[i].op == OP_MUL_FV)
|
|
|
|
{
|
|
|
|
f = op[i].a;
|
|
|
|
v = op[i].b;
|
|
|
|
}
|
|
|
|
else
|
|
|
|
{
|
|
|
|
v = op[i].a;
|
|
|
|
f = op[i].b;
|
|
|
|
}
|
|
|
|
|
|
|
|
//flds glob[F]
|
|
|
|
EmitByte(0xd9);EmitByte(0x05);EmitAdr(glob + f);
|
|
|
|
|
|
|
|
//flds glob[V0]
|
2011-07-08 18:59:48 +00:00
|
|
|
EmitByte(0xd9);EmitByte(0x05);EmitAdr(glob + v+0);
|
2009-08-29 14:56:42 +00:00
|
|
|
//fmul st(1)
|
|
|
|
EmitByte(0xd8);EmitByte(0xc9);
|
|
|
|
//fstps glob[C]
|
|
|
|
EmitByte(0xd9);EmitByte(0x1d);EmitAdr(glob + op[i].c+0);
|
|
|
|
|
|
|
|
//flds glob[V0]
|
2011-07-08 18:59:48 +00:00
|
|
|
EmitByte(0xd9);EmitByte(0x05);EmitAdr(glob + v+1);
|
2009-08-29 14:56:42 +00:00
|
|
|
//fmul st(1)
|
|
|
|
EmitByte(0xd8);EmitByte(0xc9);
|
|
|
|
//fstps glob[C]
|
|
|
|
EmitByte(0xd9);EmitByte(0x1d);EmitAdr(glob + op[i].c+1);
|
|
|
|
|
|
|
|
//flds glob[V0]
|
2011-07-08 18:59:48 +00:00
|
|
|
EmitByte(0xd9);EmitByte(0x05);EmitAdr(glob + v+2);
|
2009-08-29 14:56:42 +00:00
|
|
|
//fmul st(1)
|
|
|
|
EmitByte(0xd8);EmitByte(0xc9);
|
|
|
|
//fstps glob[C]
|
|
|
|
EmitByte(0xd9);EmitByte(0x1d);EmitAdr(glob + op[i].c+2);
|
|
|
|
|
|
|
|
//fstp %st(0) (aka: pop)
|
|
|
|
EmitByte(0xdd);EmitByte(0xd8);
|
|
|
|
}
|
|
|
|
break;
|
|
|
|
|
|
|
|
case OP_STATE:
|
|
|
|
//externs->stateop(progfuncs, OPA->_float, OPB->function);
|
|
|
|
//push b
|
|
|
|
EmitByte(0xff);EmitByte(0x35);EmitAdr(glob + op[i].b);
|
|
|
|
//push a
|
|
|
|
EmitByte(0xff);EmitByte(0x35);EmitAdr(glob + op[i].a);
|
|
|
|
//push $progfuncs
|
|
|
|
EmitByte(0x68); EmitAdr(progfuncs);
|
|
|
|
//call externs->stateop
|
|
|
|
EmitByte(0xe8); EmitFOffset(externs->stateop, 4);
|
|
|
|
//add $12,%esp
|
|
|
|
EmitByte(0x83); EmitByte(0xc4); EmitByte(0x0c);
|
|
|
|
break;
|
2010-12-18 17:02:47 +00:00
|
|
|
#if 1
|
|
|
|
/* case OP_NOT_V:
|
2009-11-04 21:16:50 +00:00
|
|
|
//flds 0
|
|
|
|
//flds glob[A+0]
|
|
|
|
//fcomip %st(1),%st
|
|
|
|
//jne _true
|
|
|
|
//flds glob[A+1]
|
|
|
|
//fcomip %st(1),%st
|
|
|
|
//jne _true
|
|
|
|
//flds glob[A+1]
|
|
|
|
//fcomip %st(1),%st
|
|
|
|
//jne _true
|
|
|
|
//mov 1,C
|
|
|
|
//jmp done
|
|
|
|
//_true:
|
|
|
|
//mov 0,C
|
|
|
|
//done:
|
|
|
|
break;
|
2010-12-18 17:02:47 +00:00
|
|
|
*/
|
2011-07-08 18:59:48 +00:00
|
|
|
|
|
|
|
case OP_NOT_V:
|
|
|
|
EmitByte(0xcd);EmitByte(op[i].op);
|
|
|
|
printf("QCJIT: instruction %i is not implemented\n", op[i].op);
|
|
|
|
break;
|
|
|
|
#endif
|
2010-12-18 17:02:47 +00:00
|
|
|
case OP_NE_V:
|
2009-11-04 21:16:50 +00:00
|
|
|
case OP_EQ_V:
|
2011-07-08 18:59:48 +00:00
|
|
|
{
|
|
|
|
void *f0, *f1, *f2, *floc;
|
|
|
|
//compare v[0]
|
2009-11-04 21:16:50 +00:00
|
|
|
//flds glob[A]
|
|
|
|
EmitByte(0xd9);EmitByte(0x05);EmitAdr(glob + op[i].a+0);
|
|
|
|
//flds glob[B]
|
|
|
|
EmitByte(0xd9);EmitByte(0x05);EmitAdr(glob + op[i].b+0);
|
|
|
|
//fcomip %st(1),%st
|
|
|
|
EmitByte(0xdf);EmitByte(0xe9);
|
|
|
|
//fstp %st(0) (aka: pop)
|
|
|
|
EmitByte(0xdd);EmitByte(0xd8);
|
|
|
|
|
2011-07-08 18:59:48 +00:00
|
|
|
/*if the condition is true, don't fail*/
|
|
|
|
j1 = LocalJmp(op[i].op);
|
|
|
|
{
|
|
|
|
STOREF(0.0f, glob + op[i].c);
|
|
|
|
f0 = LocalJmp(OP_GOTO);
|
|
|
|
}
|
|
|
|
l1 = LocalLoc();
|
|
|
|
LocalJmpLoc(j1,l1);
|
2009-11-04 21:16:50 +00:00
|
|
|
|
2011-07-08 18:59:48 +00:00
|
|
|
//compare v[1]
|
|
|
|
//flds glob[A]
|
|
|
|
EmitByte(0xd9);EmitByte(0x05);EmitAdr(glob + op[i].a+1);
|
|
|
|
//flds glob[B]
|
|
|
|
EmitByte(0xd9);EmitByte(0x05);EmitAdr(glob + op[i].b+1);
|
|
|
|
//fcomip %st(1),%st
|
|
|
|
EmitByte(0xdf);EmitByte(0xe9);
|
|
|
|
//fstp %st(0) (aka: pop)
|
|
|
|
EmitByte(0xdd);EmitByte(0xd8);
|
2009-11-04 21:16:50 +00:00
|
|
|
|
2011-07-08 18:59:48 +00:00
|
|
|
/*if the condition is true, don't fail*/
|
|
|
|
j1 = LocalJmp(op[i].op);
|
|
|
|
{
|
|
|
|
STOREF(0.0f, glob + op[i].c);
|
|
|
|
f1 = LocalJmp(OP_GOTO);
|
|
|
|
}
|
|
|
|
l1 = LocalLoc();
|
|
|
|
LocalJmpLoc(j1,l1);
|
|
|
|
|
|
|
|
//compare v[2]
|
|
|
|
//flds glob[A]
|
|
|
|
EmitByte(0xd9);EmitByte(0x05);EmitAdr(glob + op[i].a+2);
|
|
|
|
//flds glob[B]
|
|
|
|
EmitByte(0xd9);EmitByte(0x05);EmitAdr(glob + op[i].b+2);
|
|
|
|
//fcomip %st(1),%st
|
|
|
|
EmitByte(0xdf);EmitByte(0xe9);
|
|
|
|
//fstp %st(0) (aka: pop)
|
|
|
|
EmitByte(0xdd);EmitByte(0xd8);
|
|
|
|
|
|
|
|
/*if the condition is true, don't fail*/
|
|
|
|
j1 = LocalJmp(op[i].op);
|
|
|
|
{
|
|
|
|
STOREF(0.0f, glob + op[i].c);
|
|
|
|
f2 = LocalJmp(OP_GOTO);
|
|
|
|
}
|
|
|
|
l1 = LocalLoc();
|
|
|
|
LocalJmpLoc(j1,l1);
|
|
|
|
|
|
|
|
//success!
|
|
|
|
STOREF(1.0f, glob + op[i].c);
|
|
|
|
|
|
|
|
floc = LocalLoc();
|
|
|
|
LocalJmpLoc(f0,floc);
|
|
|
|
LocalJmpLoc(f1,floc);
|
|
|
|
LocalJmpLoc(f2,floc);
|
2009-11-04 21:16:50 +00:00
|
|
|
break;
|
2011-07-08 18:59:48 +00:00
|
|
|
}
|
2009-11-04 21:16:50 +00:00
|
|
|
|
2011-07-08 18:59:48 +00:00
|
|
|
/*fteqcc generates these from reading 'fast arrays', and are part of hexenc extras*/
|
|
|
|
case OP_FETCH_GBL_F:
|
|
|
|
case OP_FETCH_GBL_S:
|
|
|
|
case OP_FETCH_GBL_E:
|
|
|
|
case OP_FETCH_GBL_FNC:
|
|
|
|
case OP_FETCH_GBL_V:
|
|
|
|
{
|
|
|
|
unsigned int max = ((unsigned int*)glob)[op[i].a-1];
|
|
|
|
unsigned int base = op[i].a;
|
|
|
|
//flds glob[B]
|
|
|
|
EmitByte(0xd9); EmitByte(0x05);EmitAdr(glob + op[i].b);
|
|
|
|
//fistp ta
|
|
|
|
EmitByte(0xdb); EmitByte(0x1d);EmitAdr(&ta);
|
|
|
|
LOADREG(&ta, REG_EAX)
|
|
|
|
//FIXME: if eax >= $max, abort
|
|
|
|
|
|
|
|
if (op[i].op == OP_FETCH_GBL_V)
|
|
|
|
{
|
|
|
|
/*scale the index by 3*/
|
|
|
|
SETREGI(3, REG_EDX)
|
|
|
|
//mul %edx
|
|
|
|
EmitByte(0xf7); EmitByte(0xe2);
|
|
|
|
}
|
|
|
|
|
|
|
|
//lookup global
|
|
|
|
//mov &glob[base](,%eax,4),%edx
|
|
|
|
EmitByte(0x8b);EmitByte(0x14);EmitByte(0x85);Emit4Byte((unsigned int)(glob + base+0));
|
|
|
|
STOREREG(REG_EDX, glob + op[i].c+0)
|
|
|
|
if (op[i].op == OP_FETCH_GBL_V)
|
|
|
|
{
|
|
|
|
//mov &glob[base+1](,%eax,4),%edx
|
|
|
|
EmitByte(0x8b);EmitByte(0x14);EmitByte(0x85);Emit4Byte((unsigned int)(glob + base+1));
|
|
|
|
STOREREG(REG_EDX, glob + op[i].c+1)
|
|
|
|
//mov &glob[base+2](,%eax,4),%edx
|
|
|
|
EmitByte(0x8b);EmitByte(0x14);EmitByte(0x85);Emit4Byte((unsigned int)(glob + base+2));
|
|
|
|
STOREREG(REG_EDX, glob + op[i].c+2)
|
|
|
|
}
|
2009-08-29 14:56:42 +00:00
|
|
|
break;
|
2011-07-08 18:59:48 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
/*fteqcc generates these from writing 'fast arrays'*/
|
|
|
|
case OP_GLOBALADDRESS:
|
|
|
|
LOADREG(glob + op[i].b, REG_EAX);
|
|
|
|
//lea &glob[A](, %eax, 4),%eax
|
|
|
|
EmitByte(0x8d);EmitByte(0x04);EmitByte(0x85);EmitAdr(glob + op[i].b+2);
|
|
|
|
STOREREG(REG_EAX, glob + op[i].c);
|
|
|
|
break;
|
|
|
|
// case OP_BOUNDCHECK:
|
|
|
|
//FIXME: assert b <= a < c
|
|
|
|
break;
|
|
|
|
case OP_CONV_FTOI:
|
|
|
|
//flds glob[A]
|
|
|
|
EmitByte(0xd9); EmitByte(0x05);EmitAdr(glob + op[i].a);
|
|
|
|
//fistp glob[C]
|
|
|
|
EmitByte(0xdb); EmitByte(0x1d);EmitAdr(glob + op[i].c);
|
|
|
|
break;
|
|
|
|
case OP_MUL_I:
|
|
|
|
LOADREG(glob + op[i].a, REG_EAX);
|
|
|
|
//mull glob[C] (arg*eax => edx:eax)
|
|
|
|
EmitByte(0xfc); EmitByte(0x25);EmitAdr(glob + op[i].b);
|
|
|
|
STOREREG(REG_EAX, glob + op[i].c);
|
|
|
|
break;
|
|
|
|
|
|
|
|
/*other extended opcodes*/
|
|
|
|
case OP_BITOR_I:
|
|
|
|
LOADREG(glob + op[i].a, REG_EAX)
|
|
|
|
//or %eax,tb
|
|
|
|
EmitByte(0x0b); EmitByte(0x05);EmitAdr(glob + op[i].b);
|
|
|
|
STOREREG(REG_EAX, glob + op[i].c);
|
|
|
|
break;
|
|
|
|
|
|
|
|
|
2009-08-29 14:56:42 +00:00
|
|
|
default:
|
2011-07-08 18:59:48 +00:00
|
|
|
{
|
|
|
|
enum qcop_e e = op[i].op;
|
|
|
|
printf("QCJIT: Extended instruction set %i is not supported, not using jit.\n", e);
|
|
|
|
}
|
2009-08-29 14:56:42 +00:00
|
|
|
|
|
|
|
|
2011-07-08 18:59:48 +00:00
|
|
|
free(jit->statementjumps); //[MAX_STATEMENTS]
|
|
|
|
free(jit->statementoffsets); //[MAX_STATEMENTS]
|
|
|
|
free(jit->code);
|
|
|
|
free(jit);
|
|
|
|
return NULL;
|
2009-08-29 14:56:42 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2011-07-08 18:59:48 +00:00
|
|
|
FixupJumps(jit);
|
2009-08-29 14:56:42 +00:00
|
|
|
|
2011-07-12 04:38:54 +00:00
|
|
|
/* most likely want executable memory calls somewhere else more common */
|
2009-08-29 14:56:42 +00:00
|
|
|
#ifdef _WIN32
|
|
|
|
{
|
|
|
|
DWORD old;
|
|
|
|
|
|
|
|
//this memory is on the heap.
|
|
|
|
//this means that we must maintain read/write protection, or libc will crash us
|
2011-07-08 18:59:48 +00:00
|
|
|
VirtualProtect(jit->code, jit->codesize, PAGE_EXECUTE_READWRITE, &old);
|
2009-08-29 14:56:42 +00:00
|
|
|
}
|
2011-07-12 04:38:54 +00:00
|
|
|
#else
|
|
|
|
mprotect(jit->code, jit->codesize, PROT_READ|PROT_EXEC);
|
2009-08-29 14:56:42 +00:00
|
|
|
#endif
|
|
|
|
|
2011-07-08 18:59:48 +00:00
|
|
|
// externs->WriteFile("jit.x86", jit->code, jit->codesize);
|
2009-08-29 14:56:42 +00:00
|
|
|
|
2011-07-08 18:59:48 +00:00
|
|
|
return jit;
|
|
|
|
}
|
|
|
|
|
|
|
|
float foo(float arg)
|
|
|
|
{
|
|
|
|
float f;
|
|
|
|
if (!arg)
|
|
|
|
f = 1;
|
|
|
|
else
|
|
|
|
f = 0;
|
|
|
|
return f;
|
2009-08-29 14:56:42 +00:00
|
|
|
}
|
|
|
|
|
2011-07-08 18:59:48 +00:00
|
|
|
void PR_EnterJIT(progfuncs_t *progfuncs, struct jitstate *jit, int statement)
|
2009-08-29 14:56:42 +00:00
|
|
|
{
|
|
|
|
#ifdef __GNUC__
|
|
|
|
//call, it clobbers pretty much everything.
|
2011-07-08 18:59:48 +00:00
|
|
|
asm("call *%0" :: "r"(jit->statementoffsets[statement+1]),"b"(prinst->edicttable):"cc","memory","eax","ecx","edx");
|
2009-08-29 14:56:42 +00:00
|
|
|
#elif defined(_MSC_VER)
|
2011-07-08 18:59:48 +00:00
|
|
|
void *entry = jit->statementoffsets[statement+1];
|
2009-08-29 14:56:42 +00:00
|
|
|
void *edicttable = prinst->edicttable;
|
|
|
|
__asm {
|
|
|
|
pushad
|
|
|
|
mov eax,entry
|
|
|
|
mov ebx,edicttable
|
|
|
|
call eax
|
|
|
|
popad
|
|
|
|
}
|
|
|
|
#else
|
|
|
|
#error "Sorry, no idea how to enter assembler safely for your compiler"
|
|
|
|
#endif
|
|
|
|
}
|
2009-11-04 21:16:50 +00:00
|
|
|
#endif
|