mirror of
https://git.code.sf.net/p/quake/quakeforge
synced 2024-11-27 14:42:07 +00:00
aa02069dd1
The progs execution code will call a breakpoint handler just before executing an instruction with the flag set. This means there's no need for the breakpoint handler to mess with execution state or even the instruction in order to continue past the breakpoint. The flag being set in a progs file is invalid.
1655 lines
43 KiB
C
1655 lines
43 KiB
C
/*
|
|
pr_exec.c
|
|
|
|
(description)
|
|
|
|
Copyright (C) 1996-1997 Id Software, Inc.
|
|
|
|
This program is free software; you can redistribute it and/or
|
|
modify it under the terms of the GNU General Public License
|
|
as published by the Free Software Foundation; either version 2
|
|
of the License, or (at your option) any later version.
|
|
|
|
This program is distributed in the hope that it will be useful,
|
|
but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
|
|
|
|
See the GNU General Public License for more details.
|
|
|
|
You should have received a copy of the GNU General Public License
|
|
along with this program; if not, write to:
|
|
|
|
Free Software Foundation, Inc.
|
|
59 Temple Place - Suite 330
|
|
Boston, MA 02111-1307, USA
|
|
|
|
*/
|
|
#ifdef HAVE_CONFIG_H
|
|
# include "config.h"
|
|
#endif
|
|
|
|
#ifdef HAVE_STRING_H
|
|
# include <string.h>
|
|
#endif
|
|
#ifdef HAVE_STRINGS_H
|
|
# include <strings.h>
|
|
#endif
|
|
#include <signal.h>
|
|
#include <stdarg.h>
|
|
|
|
#include "QF/cvar.h"
|
|
#include "QF/dstring.h"
|
|
#include "QF/mathlib.h"
|
|
#include "QF/progs.h"
|
|
#include "QF/sys.h"
|
|
#include "QF/zone.h"
|
|
|
|
#include "compat.h"
|
|
|
|
|
|
/*
|
|
PR_RunError
|
|
|
|
Aborts the currently executing function
|
|
*/
|
|
VISIBLE void
|
|
PR_RunError (progs_t * pr, const char *error, ...)
|
|
{
|
|
dstring_t *string = dstring_new ();
|
|
va_list argptr;
|
|
|
|
va_start (argptr, error);
|
|
dvsprintf (string, error, argptr);
|
|
va_end (argptr);
|
|
|
|
Sys_Printf ("%s\n", string->str);
|
|
|
|
PR_DumpState (pr);
|
|
|
|
// dump the stack so PR_Error can shutdown functions
|
|
pr->pr_depth = 0;
|
|
pr->localstack_used = 0;
|
|
|
|
PR_Error (pr, "Program error: %s", string->str);
|
|
}
|
|
|
|
VISIBLE pr_stashed_params_t *
|
|
_PR_SaveParams (progs_t *pr, pr_stashed_params_t *params)
|
|
{
|
|
int i;
|
|
int size = pr->pr_param_size * sizeof (pr_type_t);
|
|
|
|
params->param_ptrs[0] = pr->pr_params[0];
|
|
params->param_ptrs[1] = pr->pr_params[1];
|
|
pr->pr_params[0] = pr->pr_real_params[0];
|
|
pr->pr_params[1] = pr->pr_real_params[1];
|
|
for (i = 0; i < pr->pr_argc; i++) {
|
|
memcpy (params->params + i * pr->pr_param_size,
|
|
pr->pr_real_params[i], size);
|
|
if (i < 2) { //XXX FIXME what the what?!?
|
|
memcpy (pr->pr_real_params[i], params->param_ptrs[0], size);
|
|
}
|
|
}
|
|
params->argc = pr->pr_argc;
|
|
return params;
|
|
}
|
|
|
|
VISIBLE void
|
|
PR_RestoreParams (progs_t *pr, pr_stashed_params_t *params)
|
|
{
|
|
int i;
|
|
int size = pr->pr_param_size * sizeof (pr_type_t);
|
|
|
|
pr->pr_params[0] = params->param_ptrs[0];
|
|
pr->pr_params[1] = params->param_ptrs[1];
|
|
pr->pr_argc = params->argc;
|
|
for (i = 0; i < pr->pr_argc; i++) {
|
|
memcpy (pr->pr_real_params[i],
|
|
params->params + i * pr->pr_param_size, size);
|
|
}
|
|
}
|
|
|
|
VISIBLE inline void
|
|
PR_PushFrame (progs_t *pr)
|
|
{
|
|
prstack_t *frame;
|
|
|
|
if (pr->pr_depth == MAX_STACK_DEPTH)
|
|
PR_RunError (pr, "stack overflow");
|
|
|
|
frame = pr->pr_stack + pr->pr_depth++;
|
|
|
|
frame->s = pr->pr_xstatement;
|
|
frame->f = pr->pr_xfunction;
|
|
frame->tstr = pr->pr_xtstr;
|
|
|
|
pr->pr_xtstr = 0;
|
|
pr->pr_xfunction = 0;
|
|
}
|
|
|
|
VISIBLE inline void
|
|
PR_PopFrame (progs_t *pr)
|
|
{
|
|
prstack_t *frame;
|
|
|
|
if (pr->pr_depth <= 0)
|
|
PR_Error (pr, "prog stack underflow");
|
|
|
|
if (pr->pr_xtstr)
|
|
PR_FreeTempStrings (pr);
|
|
|
|
// up stack
|
|
frame = pr->pr_stack + --pr->pr_depth;
|
|
|
|
pr->pr_xfunction = frame->f;
|
|
pr->pr_xstatement = frame->s;
|
|
pr->pr_xtstr = frame->tstr;
|
|
}
|
|
|
|
static __attribute__((pure)) long
|
|
align_offset (long offset, dparmsize_t parmsize)
|
|
{
|
|
int mask = (1 << parmsize.alignment) - 1;
|
|
return (offset + mask) & ~mask;
|
|
}
|
|
|
|
static void
|
|
copy_param (pr_type_t *dst, pr_type_t *src, size_t size)
|
|
{
|
|
while (size--) {
|
|
memcpy (dst++, src++, sizeof (pr_type_t));
|
|
}
|
|
}
|
|
|
|
/** Setup the stackframe prior to calling a progs function. Saves all local
|
|
data the called function will trample on and copies the parameters used
|
|
by the function into the function's local data space.
|
|
\param pr pointer to progs_t VM struct
|
|
\param f pointer to the descriptor for the called function
|
|
\note Passing a descriptor for a builtin function will result in
|
|
undefined behavior.
|
|
*/
|
|
static void
|
|
PR_EnterFunction (progs_t *pr, bfunction_t *f)
|
|
{
|
|
pr_int_t i;
|
|
pr_type_t *dstParams[MAX_PARMS];
|
|
pointer_t paramofs = 0;
|
|
|
|
PR_PushFrame (pr);
|
|
|
|
if (f->numparms > 0) {
|
|
paramofs = f->parm_start;
|
|
for (i = 0; i < f->numparms; i++) {
|
|
paramofs = align_offset (paramofs, f->parm_size[i]);
|
|
dstParams[i] = pr->pr_globals + paramofs;
|
|
paramofs += f->parm_size[i].size;
|
|
if (pr->pr_params[i] != pr->pr_real_params[i]) {
|
|
copy_param (pr->pr_real_params[i], pr->pr_params[i],
|
|
f->parm_size[i].size);
|
|
}
|
|
}
|
|
} else if (f->numparms < 0) {
|
|
paramofs = f->parm_start + 2; // argc and argv
|
|
for (i = 0; i < -f->numparms - 1; i++) {
|
|
paramofs = align_offset (paramofs, f->parm_size[i]);
|
|
dstParams[i] = pr->pr_globals + paramofs;
|
|
paramofs += f->parm_size[i].size;
|
|
if (pr->pr_params[i] != pr->pr_real_params[i]) {
|
|
copy_param (pr->pr_real_params[i], pr->pr_params[i],
|
|
f->parm_size[i].size);
|
|
}
|
|
}
|
|
dparmsize_t parmsize = { pr->pr_param_size, pr->pr_param_alignment };
|
|
paramofs = align_offset (paramofs, parmsize );
|
|
if (i < MAX_PARMS) {
|
|
dstParams[i] = pr->pr_globals + paramofs;
|
|
}
|
|
for (; i < pr->pr_argc; i++) {
|
|
if (pr->pr_params[i] != pr->pr_real_params[i]) {
|
|
copy_param (pr->pr_real_params[i], pr->pr_params[i],
|
|
parmsize.size);
|
|
}
|
|
}
|
|
}
|
|
|
|
//Sys_Printf("%s:\n", PR_GetString(pr,f->s_name));
|
|
pr->pr_xfunction = f;
|
|
pr->pr_xstatement = f->first_statement - 1; // offset the st++
|
|
|
|
// save off any locals that the new function steps on
|
|
if (pr->localstack_used + f->locals > LOCALSTACK_SIZE)
|
|
PR_RunError (pr, "PR_EnterFunction: locals stack overflow");
|
|
|
|
memcpy (&pr->localstack[pr->localstack_used],
|
|
&pr->pr_globals[f->parm_start],
|
|
sizeof (pr_type_t) * f->locals);
|
|
pr->localstack_used += f->locals;
|
|
|
|
if (pr_deadbeef_locals->int_val)
|
|
for (i = f->parm_start; i < f->parm_start + f->locals; i++)
|
|
pr->pr_globals[i].integer_var = 0xdeadbeef;
|
|
|
|
// copy parameters
|
|
if (f->numparms >= 0) {
|
|
for (i = 0; i < f->numparms; i++) {
|
|
copy_param (dstParams[i], pr->pr_params[i], f->parm_size[i].size);
|
|
}
|
|
} else {
|
|
int copy_args;
|
|
pr_type_t *argc = &pr->pr_globals[f->parm_start + 0];
|
|
pr_type_t *argv = &pr->pr_globals[f->parm_start + 1];
|
|
for (i = 0; i < -f->numparms - 1; i++) {
|
|
copy_param (dstParams[i], pr->pr_params[i], f->parm_size[i].size);
|
|
}
|
|
copy_args = pr->pr_argc - i;
|
|
argc->integer_var = copy_args;
|
|
argv->integer_var = dstParams[i] - pr->pr_globals;
|
|
if (i < MAX_PARMS) {
|
|
memcpy (dstParams[i], pr->pr_params[i],
|
|
(copy_args * pr->pr_param_size) * sizeof (pr_type_t));
|
|
}
|
|
}
|
|
}
|
|
|
|
static void
|
|
PR_LeaveFunction (progs_t *pr)
|
|
{
|
|
bfunction_t *f = pr->pr_xfunction;
|
|
|
|
PR_PopFrame (pr);
|
|
|
|
// restore locals from the stack
|
|
pr->localstack_used -= f->locals;
|
|
if (pr->localstack_used < 0)
|
|
PR_RunError (pr, "PR_LeaveFunction: locals stack underflow");
|
|
|
|
memcpy (&pr->pr_globals[f->parm_start],
|
|
&pr->localstack[pr->localstack_used],
|
|
sizeof (pr_type_t) * f->locals);
|
|
}
|
|
|
|
VISIBLE void
|
|
PR_BoundsCheckSize (progs_t *pr, pointer_t addr, unsigned size)
|
|
{
|
|
if (addr < (pointer_t) (pr->pr_return - pr->pr_globals))
|
|
PR_RunError (pr, "null pointer access");
|
|
if (addr >= pr->globals_size
|
|
|| size > (unsigned) (pr->globals_size - addr))
|
|
PR_RunError (pr, "invalid memory access: %d (0 to %d-%d)", addr,
|
|
pr->globals_size, size);
|
|
if (pr_boundscheck->int_val >= 2
|
|
&& PR_GetPointer (pr, addr + size) > (pr_type_t *) pr->zone) {
|
|
void *mem = (void *) PR_GetPointer (pr, addr);
|
|
Z_CheckPointer (pr->zone, mem, size * sizeof (pr_type_t));
|
|
}
|
|
}
|
|
|
|
VISIBLE void
|
|
PR_BoundsCheck (progs_t *pr, int addr, etype_t type)
|
|
{
|
|
PR_BoundsCheckSize (pr, addr, pr_type_size[type]);
|
|
}
|
|
|
|
#define OPA (*op_a)
|
|
#define OPB (*op_b)
|
|
#define OPC (*op_c)
|
|
|
|
#define OPA_double_var (*((double *) (op_a)))
|
|
#define OPB_double_var (*((double *) (op_b)))
|
|
#define OPC_double_var (*((double *) (op_c)))
|
|
|
|
/*
|
|
This gets around the problem of needing to test for -0.0 but denormals
|
|
causing exceptions (or wrong results for what we need) on the alpha.
|
|
*/
|
|
#define FNZ(x) ((x).uinteger_var & ~0x80000000u)
|
|
|
|
static int
|
|
signal_hook (int sig, void *data)
|
|
{
|
|
progs_t *pr = (progs_t *) data;
|
|
|
|
if (sig == SIGFPE && pr_faultchecks->int_val) {
|
|
dstatement_t *st;
|
|
pr_type_t *op_a, *op_b, *op_c;
|
|
|
|
st = pr->pr_statements + pr->pr_xstatement;
|
|
op_a = pr->pr_globals + st->a;
|
|
op_b = pr->pr_globals + st->b;
|
|
op_c = pr->pr_globals + st->c;
|
|
|
|
switch (st->op) {
|
|
case OP_DIV_F:
|
|
if ((OPA.integer_var & 0x80000000)
|
|
^ (OPB.integer_var & 0x80000000))
|
|
OPC.integer_var = 0xff7fffff;
|
|
else
|
|
OPC.integer_var = 0x7f7fffff;
|
|
return 1;
|
|
case OP_DIV_I:
|
|
if (OPA.integer_var & 0x80000000)
|
|
OPC.integer_var = -0x80000000;
|
|
else
|
|
OPC.integer_var = 0x7fffffff;
|
|
return 1;
|
|
case OP_MOD_I:
|
|
case OP_MOD_F:
|
|
case OP_REM_I:
|
|
case OP_REM_F:
|
|
OPC.integer_var = 0x00000000;
|
|
return 1;
|
|
default:
|
|
break;
|
|
}
|
|
}
|
|
PR_DumpState (pr);
|
|
fflush (stdout);
|
|
return 0;
|
|
}
|
|
|
|
static void
|
|
error_handler (void *data)
|
|
{
|
|
progs_t *pr = (progs_t *) data;
|
|
PR_DumpState (pr);
|
|
fflush (stdout);
|
|
}
|
|
|
|
VISIBLE int
|
|
PR_CallFunction (progs_t *pr, func_t fnum)
|
|
{
|
|
bfunction_t *f;
|
|
|
|
if (!fnum)
|
|
PR_RunError (pr, "NULL function");
|
|
f = pr->function_table + fnum;
|
|
if (f->first_statement < 0) {
|
|
// negative statements are built in functions
|
|
if (pr->pr_trace) {
|
|
Sys_Printf ("Calling builtin %s @ %p\n",
|
|
PR_GetString (pr, f->descriptor->s_name), f->func);
|
|
}
|
|
f->func (pr);
|
|
return 0;
|
|
} else {
|
|
PR_EnterFunction (pr, f);
|
|
return 1;
|
|
}
|
|
}
|
|
|
|
static void
|
|
check_stack_pointer (progs_t *pr, pointer_t stack, int size)
|
|
{
|
|
if (stack < pr->stack_bottom) {
|
|
PR_RunError (pr, "Progs stack overflow");
|
|
}
|
|
if (stack > pr->globals_size - size) {
|
|
PR_RunError (pr, "Progs stack underflow");
|
|
}
|
|
}
|
|
|
|
/*
|
|
PR_ExecuteProgram
|
|
|
|
The interpretation main loop
|
|
*/
|
|
VISIBLE void
|
|
PR_ExecuteProgram (progs_t *pr, func_t fnum)
|
|
{
|
|
int exitdepth, profile, startprofile;
|
|
pr_uint_t pointer;
|
|
dstatement_t *st;
|
|
edict_t *ed;
|
|
pr_type_t *ptr;
|
|
pr_type_t old_val = {0}, *watch = 0;
|
|
|
|
// make a stack frame
|
|
exitdepth = pr->pr_depth;
|
|
startprofile = profile = 0;
|
|
|
|
Sys_PushSignalHook (signal_hook, pr);
|
|
Sys_PushErrorHandler (error_handler, pr);
|
|
|
|
if (!PR_CallFunction (pr, fnum)) {
|
|
// called a builtin instead of progs code
|
|
goto exit_program;
|
|
}
|
|
st = pr->pr_statements + pr->pr_xstatement;
|
|
|
|
if (pr->watch) {
|
|
watch = pr->watch;
|
|
old_val = *watch;
|
|
}
|
|
|
|
while (1) {
|
|
pr_type_t *op_a, *op_b, *op_c;
|
|
|
|
st++;
|
|
++pr->pr_xstatement;
|
|
if (pr->pr_xstatement != st - pr->pr_statements)
|
|
PR_RunError (pr, "internal error");
|
|
if (++profile > 1000000 && !pr->no_exec_limit) {
|
|
PR_RunError (pr, "runaway loop error");
|
|
}
|
|
|
|
op_a = pr->pr_globals + st->a;
|
|
op_b = pr->pr_globals + st->b;
|
|
op_c = pr->pr_globals + st->c;
|
|
|
|
if (pr->pr_trace)
|
|
PR_PrintStatement (pr, st, 1);
|
|
|
|
if (st->op & OP_BREAK) {
|
|
if (pr->breakpoint_handler) {
|
|
pr->breakpoint_handler (pr);
|
|
} else {
|
|
PR_RunError (pr, "breakpoint hit");
|
|
}
|
|
}
|
|
|
|
pr_opcode_e op = st->op & ~OP_BREAK;
|
|
switch (op) {
|
|
case OP_ADD_D:
|
|
OPC_double_var = OPA_double_var + OPB_double_var;
|
|
break;
|
|
case OP_ADD_F:
|
|
OPC.float_var = OPA.float_var + OPB.float_var;
|
|
break;
|
|
case OP_ADD_V:
|
|
VectorAdd (OPA.vector_var, OPB.vector_var, OPC.vector_var);
|
|
break;
|
|
case OP_ADD_Q:
|
|
QuatAdd (OPA.quat_var, OPB.quat_var, OPC.quat_var);
|
|
break;
|
|
case OP_ADD_S:
|
|
OPC.string_var = PR_CatStrings (pr,
|
|
PR_GetString (pr,
|
|
OPA.string_var),
|
|
PR_GetString (pr,
|
|
OPB.string_var));
|
|
break;
|
|
case OP_SUB_D:
|
|
OPC_double_var = OPA_double_var - OPB_double_var;
|
|
break;
|
|
case OP_SUB_F:
|
|
OPC.float_var = OPA.float_var - OPB.float_var;
|
|
break;
|
|
case OP_SUB_V:
|
|
VectorSubtract (OPA.vector_var, OPB.vector_var, OPC.vector_var);
|
|
break;
|
|
case OP_SUB_Q:
|
|
QuatSubtract (OPA.quat_var, OPB.quat_var, OPC.quat_var);
|
|
break;
|
|
case OP_MUL_D:
|
|
OPC_double_var = OPA_double_var * OPB_double_var;
|
|
break;
|
|
case OP_MUL_F:
|
|
OPC.float_var = OPA.float_var * OPB.float_var;
|
|
break;
|
|
case OP_MUL_V:
|
|
OPC.float_var = DotProduct (OPA.vector_var, OPB.vector_var);
|
|
break;
|
|
case OP_MUL_DV:
|
|
{
|
|
// avoid issues with the likes of x = x.x * x;
|
|
// makes for faster code, too
|
|
double scale = OPA_double_var;
|
|
VectorScale (OPB.vector_var, scale, OPC.vector_var);
|
|
}
|
|
break;
|
|
case OP_MUL_VD:
|
|
{
|
|
// avoid issues with the likes of x = x * x.x;
|
|
// makes for faster code, too
|
|
double scale = OPB_double_var;
|
|
VectorScale (OPA.vector_var, scale, OPC.vector_var);
|
|
}
|
|
break;
|
|
case OP_MUL_FV:
|
|
{
|
|
// avoid issues with the likes of x = x.x * x;
|
|
// makes for faster code, too
|
|
float scale = OPA.float_var;
|
|
VectorScale (OPB.vector_var, scale, OPC.vector_var);
|
|
}
|
|
break;
|
|
case OP_MUL_VF:
|
|
{
|
|
// avoid issues with the likes of x = x * x.x;
|
|
// makes for faster code, too
|
|
float scale = OPB.float_var;
|
|
VectorScale (OPA.vector_var, scale, OPC.vector_var);
|
|
}
|
|
break;
|
|
case OP_MUL_Q:
|
|
QuatMult (OPA.quat_var, OPB.quat_var, OPC.quat_var);
|
|
break;
|
|
case OP_MUL_QV:
|
|
QuatMultVec (OPA.quat_var, OPB.vector_var, OPC.vector_var);
|
|
break;
|
|
case OP_MUL_DQ:
|
|
{
|
|
// avoid issues with the likes of x = x.s * x;
|
|
// makes for faster code, too
|
|
double scale = OPA_double_var;
|
|
QuatScale (OPB.quat_var, scale, OPC.quat_var);
|
|
}
|
|
break;
|
|
case OP_MUL_QD:
|
|
{
|
|
// avoid issues with the likes of x = x * x.s;
|
|
// makes for faster code, too
|
|
double scale = OPB_double_var;
|
|
QuatScale (OPA.quat_var, scale, OPC.quat_var);
|
|
}
|
|
break;
|
|
case OP_MUL_FQ:
|
|
{
|
|
// avoid issues with the likes of x = x.s * x;
|
|
// makes for faster code, too
|
|
float scale = OPA.float_var;
|
|
QuatScale (OPB.quat_var, scale, OPC.quat_var);
|
|
}
|
|
break;
|
|
case OP_MUL_QF:
|
|
{
|
|
// avoid issues with the likes of x = x * x.s;
|
|
// makes for faster code, too
|
|
float scale = OPB.float_var;
|
|
QuatScale (OPA.quat_var, scale, OPC.quat_var);
|
|
}
|
|
break;
|
|
case OP_CONJ_Q:
|
|
QuatConj (OPA.quat_var, OPC.quat_var);
|
|
break;
|
|
case OP_DIV_D:
|
|
OPC_double_var = OPA_double_var / OPB_double_var;
|
|
break;
|
|
case OP_DIV_F:
|
|
OPC.float_var = OPA.float_var / OPB.float_var;
|
|
break;
|
|
case OP_BITAND:
|
|
OPC.float_var = (int) OPA.float_var & (int) OPB.float_var;
|
|
break;
|
|
case OP_BITOR:
|
|
OPC.float_var = (int) OPA.float_var | (int) OPB.float_var;
|
|
break;
|
|
case OP_BITXOR_F:
|
|
OPC.float_var = (int) OPA.float_var ^ (int) OPB.float_var;
|
|
break;
|
|
case OP_BITNOT_F:
|
|
OPC.float_var = ~ (int) OPA.float_var;
|
|
break;
|
|
case OP_SHL_F:
|
|
OPC.float_var = (int) OPA.float_var << (int) OPB.float_var;
|
|
break;
|
|
case OP_SHR_F:
|
|
OPC.float_var = (int) OPA.float_var >> (int) OPB.float_var;
|
|
break;
|
|
case OP_SHL_I:
|
|
OPC.integer_var = OPA.integer_var << OPB.integer_var;
|
|
break;
|
|
case OP_SHR_I:
|
|
OPC.integer_var = OPA.integer_var >> OPB.integer_var;
|
|
break;
|
|
case OP_SHR_U:
|
|
OPC.uinteger_var = OPA.uinteger_var >> OPB.integer_var;
|
|
break;
|
|
case OP_GE_F:
|
|
OPC.float_var = OPA.float_var >= OPB.float_var;
|
|
break;
|
|
case OP_LE_F:
|
|
OPC.float_var = OPA.float_var <= OPB.float_var;
|
|
break;
|
|
case OP_GT_F:
|
|
OPC.float_var = OPA.float_var > OPB.float_var;
|
|
break;
|
|
case OP_LT_F:
|
|
OPC.float_var = OPA.float_var < OPB.float_var;
|
|
break;
|
|
case OP_AND: // OPA and OPB have to be float for -0.0
|
|
OPC.integer_var = FNZ (OPA) && FNZ (OPB);
|
|
break;
|
|
case OP_OR: // OPA and OPB have to be float for -0.0
|
|
OPC.integer_var = FNZ (OPA) || FNZ (OPB);
|
|
break;
|
|
case OP_NOT_F:
|
|
OPC.integer_var = !FNZ (OPA);
|
|
break;
|
|
case OP_NOT_V:
|
|
OPC.integer_var = VectorIsZero (OPA.vector_var);
|
|
break;
|
|
case OP_NOT_Q:
|
|
OPC.integer_var = QuatIsZero (OPA.quat_var);
|
|
break;
|
|
case OP_NOT_S:
|
|
OPC.integer_var = !OPA.string_var ||
|
|
!*PR_GetString (pr, OPA.string_var);
|
|
break;
|
|
case OP_NOT_FN:
|
|
OPC.integer_var = !OPA.func_var;
|
|
break;
|
|
case OP_NOT_ENT:
|
|
OPC.integer_var = !OPA.entity_var;
|
|
break;
|
|
case OP_EQ_F:
|
|
OPC.integer_var = OPA.float_var == OPB.float_var;
|
|
break;
|
|
case OP_EQ_V:
|
|
OPC.integer_var = VectorCompare (OPA.vector_var,
|
|
OPB.vector_var);
|
|
break;
|
|
case OP_EQ_Q:
|
|
OPC.integer_var = QuatCompare (OPA.quat_var, OPB.quat_var);
|
|
break;
|
|
case OP_EQ_E:
|
|
OPC.integer_var = OPA.integer_var == OPB.integer_var;
|
|
break;
|
|
case OP_EQ_FN:
|
|
OPC.integer_var = OPA.func_var == OPB.func_var;
|
|
break;
|
|
case OP_NE_F:
|
|
OPC.integer_var = OPA.float_var != OPB.float_var;
|
|
break;
|
|
case OP_NE_V:
|
|
OPC.integer_var = !VectorCompare (OPA.vector_var,
|
|
OPB.vector_var);
|
|
break;
|
|
case OP_NE_Q:
|
|
OPC.integer_var = !QuatCompare (OPA.quat_var, OPB.quat_var);
|
|
break;
|
|
case OP_LE_S:
|
|
case OP_GE_S:
|
|
case OP_LT_S:
|
|
case OP_GT_S:
|
|
case OP_NE_S:
|
|
case OP_EQ_S:
|
|
{
|
|
int cmp = strcmp (PR_GetString (pr, OPA.string_var),
|
|
PR_GetString (pr, OPB.string_var));
|
|
switch (st->op) {
|
|
case OP_LE_S: cmp = (cmp <= 0); break;
|
|
case OP_GE_S: cmp = (cmp >= 0); break;
|
|
case OP_LT_S: cmp = (cmp < 0); break;
|
|
case OP_GT_S: cmp = (cmp > 0); break;
|
|
case OP_NE_S: break;
|
|
case OP_EQ_S: cmp = !cmp; break;
|
|
default: break;
|
|
}
|
|
OPC.integer_var = cmp;
|
|
}
|
|
break;
|
|
case OP_NE_E:
|
|
OPC.integer_var = OPA.integer_var != OPB.integer_var;
|
|
break;
|
|
case OP_NE_FN:
|
|
OPC.integer_var = OPA.func_var != OPB.func_var;
|
|
break;
|
|
|
|
// ==================
|
|
case OP_STORE_F:
|
|
case OP_STORE_ENT:
|
|
case OP_STORE_FLD: // integers
|
|
case OP_STORE_S:
|
|
case OP_STORE_FN: // pointers
|
|
case OP_STORE_I:
|
|
case OP_STORE_P:
|
|
OPB.integer_var = OPA.integer_var;
|
|
break;
|
|
case OP_STORE_V:
|
|
VectorCopy (OPA.vector_var, OPB.vector_var);
|
|
break;
|
|
case OP_STORE_Q:
|
|
QuatCopy (OPA.quat_var, OPB.quat_var);
|
|
break;
|
|
case OP_STORE_D:
|
|
OPB_double_var = OPA_double_var;
|
|
break;
|
|
|
|
case OP_STOREP_F:
|
|
case OP_STOREP_ENT:
|
|
case OP_STOREP_FLD: // integers
|
|
case OP_STOREP_S:
|
|
case OP_STOREP_FN: // pointers
|
|
case OP_STOREP_I:
|
|
case OP_STOREP_P:
|
|
pointer = OPB.integer_var;
|
|
if (pr_boundscheck->int_val) {
|
|
PR_BoundsCheck (pr, pointer, ev_integer);
|
|
}
|
|
ptr = pr->pr_globals + pointer;
|
|
ptr->integer_var = OPA.integer_var;
|
|
break;
|
|
case OP_STOREP_V:
|
|
pointer = OPB.integer_var;
|
|
if (pr_boundscheck->int_val) {
|
|
PR_BoundsCheck (pr, pointer, ev_vector);
|
|
}
|
|
ptr = pr->pr_globals + pointer;
|
|
VectorCopy (OPA.vector_var, ptr->vector_var);
|
|
break;
|
|
case OP_STOREP_Q:
|
|
pointer = OPB.integer_var;
|
|
if (pr_boundscheck->int_val) {
|
|
PR_BoundsCheck (pr, pointer, ev_quat);
|
|
}
|
|
ptr = pr->pr_globals + pointer;
|
|
QuatCopy (OPA.quat_var, ptr->quat_var);
|
|
break;
|
|
case OP_STOREP_D:
|
|
pointer = OPB.integer_var;
|
|
if (pr_boundscheck->int_val) {
|
|
PR_BoundsCheck (pr, pointer, ev_double);
|
|
}
|
|
ptr = pr->pr_globals + pointer;
|
|
*(double *) ptr = OPA_double_var;
|
|
break;
|
|
|
|
case OP_ADDRESS:
|
|
if (pr_boundscheck->int_val) {
|
|
if (OPA.entity_var < 0
|
|
|| OPA.entity_var >= pr->pr_edictareasize)
|
|
PR_RunError (pr, "Progs attempted to address an out "
|
|
"of bounds edict");
|
|
if (OPA.entity_var == 0 && pr->null_bad)
|
|
PR_RunError (pr, "assignment to world entity");
|
|
if (OPB.uinteger_var >= pr->progs->entityfields)
|
|
PR_RunError (pr, "Progs attempted to address an "
|
|
"invalid field in an edict");
|
|
}
|
|
ed = PROG_TO_EDICT (pr, OPA.entity_var);
|
|
OPC.integer_var = &ed->v[OPB.integer_var] - pr->pr_globals;
|
|
break;
|
|
case OP_ADDRESS_VOID:
|
|
case OP_ADDRESS_F:
|
|
case OP_ADDRESS_V:
|
|
case OP_ADDRESS_Q:
|
|
case OP_ADDRESS_S:
|
|
case OP_ADDRESS_ENT:
|
|
case OP_ADDRESS_FLD:
|
|
case OP_ADDRESS_FN:
|
|
case OP_ADDRESS_I:
|
|
case OP_ADDRESS_P:
|
|
case OP_ADDRESS_D:
|
|
OPC.integer_var = st->a;
|
|
break;
|
|
|
|
case OP_LOAD_F:
|
|
case OP_LOAD_FLD:
|
|
case OP_LOAD_ENT:
|
|
case OP_LOAD_S:
|
|
case OP_LOAD_FN:
|
|
case OP_LOAD_I:
|
|
case OP_LOAD_P:
|
|
if (pr_boundscheck->int_val) {
|
|
if (OPA.entity_var < 0
|
|
|| OPA.entity_var >= pr->pr_edictareasize)
|
|
PR_RunError (pr, "Progs attempted to read an out of "
|
|
"bounds edict number");
|
|
if (OPB.uinteger_var >= pr->progs->entityfields)
|
|
PR_RunError (pr, "Progs attempted to read an invalid "
|
|
"field in an edict");
|
|
}
|
|
ed = PROG_TO_EDICT (pr, OPA.entity_var);
|
|
OPC.integer_var = ed->v[OPB.integer_var].integer_var;
|
|
break;
|
|
case OP_LOAD_V:
|
|
if (pr_boundscheck->int_val) {
|
|
if (OPA.entity_var < 0
|
|
|| OPA.entity_var >= pr->pr_edictareasize)
|
|
PR_RunError (pr, "Progs attempted to read an out of "
|
|
"bounds edict number");
|
|
if (OPB.uinteger_var + 2 >= pr->progs->entityfields)
|
|
PR_RunError (pr, "Progs attempted to read an invalid "
|
|
"field in an edict");
|
|
}
|
|
ed = PROG_TO_EDICT (pr, OPA.entity_var);
|
|
memcpy (&OPC, &ed->v[OPB.integer_var], 3 * sizeof (OPC));
|
|
break;
|
|
case OP_LOAD_Q:
|
|
if (pr_boundscheck->int_val) {
|
|
if (OPA.entity_var < 0
|
|
|| OPA.entity_var >= pr->pr_edictareasize)
|
|
PR_RunError (pr, "Progs attempted to read an out of "
|
|
"bounds edict number");
|
|
if (OPB.uinteger_var + 3 >= pr->progs->entityfields)
|
|
PR_RunError (pr, "Progs attempted to read an invalid "
|
|
"field in an edict");
|
|
}
|
|
ed = PROG_TO_EDICT (pr, OPA.entity_var);
|
|
memcpy (&OPC, &ed->v[OPB.integer_var], 4 * sizeof (OPC));
|
|
break;
|
|
case OP_LOAD_D:
|
|
if (pr_boundscheck->int_val) {
|
|
if (OPA.entity_var < 0
|
|
|| OPA.entity_var >= pr->pr_edictareasize)
|
|
PR_RunError (pr, "Progs attempted to read an out of "
|
|
"bounds edict number");
|
|
if (OPB.uinteger_var + 1 >= pr->progs->entityfields)
|
|
PR_RunError (pr, "Progs attempted to read an invalid "
|
|
"field in an edict");
|
|
}
|
|
ed = PROG_TO_EDICT (pr, OPA.entity_var);
|
|
OPC_double_var = *(double *) (ed->v + OPB.integer_var);
|
|
break;
|
|
|
|
case OP_LOADB_F:
|
|
case OP_LOADB_S:
|
|
case OP_LOADB_ENT:
|
|
case OP_LOADB_FLD:
|
|
case OP_LOADB_FN:
|
|
case OP_LOADB_I:
|
|
case OP_LOADB_P:
|
|
pointer = OPA.integer_var + OPB.integer_var;
|
|
if (pr_boundscheck->int_val) {
|
|
PR_BoundsCheck (pr, pointer, ev_integer);
|
|
}
|
|
ptr = pr->pr_globals + pointer;
|
|
OPC.integer_var = ptr->integer_var;
|
|
break;
|
|
case OP_LOADB_V:
|
|
pointer = OPA.integer_var + OPB.integer_var;
|
|
if (pr_boundscheck->int_val) {
|
|
PR_BoundsCheck (pr, pointer, ev_vector);
|
|
}
|
|
ptr = pr->pr_globals + pointer;
|
|
VectorCopy (ptr->vector_var, OPC.vector_var);
|
|
break;
|
|
case OP_LOADB_Q:
|
|
pointer = OPA.integer_var + OPB.integer_var;
|
|
if (pr_boundscheck->int_val) {
|
|
PR_BoundsCheck (pr, pointer, ev_quat);
|
|
}
|
|
ptr = pr->pr_globals + pointer;
|
|
QuatCopy (ptr->quat_var, OPC.quat_var);
|
|
break;
|
|
case OP_LOADB_D:
|
|
pointer = OPA.integer_var + OPB.integer_var;
|
|
if (pr_boundscheck->int_val) {
|
|
PR_BoundsCheck (pr, pointer, ev_double);
|
|
}
|
|
ptr = pr->pr_globals + pointer;
|
|
OPC_double_var = *(double *) ptr;
|
|
break;
|
|
|
|
case OP_LOADBI_F:
|
|
case OP_LOADBI_S:
|
|
case OP_LOADBI_ENT:
|
|
case OP_LOADBI_FLD:
|
|
case OP_LOADBI_FN:
|
|
case OP_LOADBI_I:
|
|
case OP_LOADBI_P:
|
|
pointer = OPA.integer_var + (short) st->b;
|
|
if (pr_boundscheck->int_val) {
|
|
PR_BoundsCheck (pr, pointer, ev_integer);
|
|
}
|
|
ptr = pr->pr_globals + pointer;
|
|
OPC.integer_var = ptr->integer_var;
|
|
break;
|
|
case OP_LOADBI_V:
|
|
pointer = OPA.integer_var + (short) st->b;
|
|
if (pr_boundscheck->int_val) {
|
|
PR_BoundsCheck (pr, pointer, ev_vector);
|
|
}
|
|
ptr = pr->pr_globals + pointer;
|
|
VectorCopy (ptr->vector_var, OPC.vector_var);
|
|
break;
|
|
case OP_LOADBI_Q:
|
|
pointer = OPA.integer_var + (short) st->b;
|
|
if (pr_boundscheck->int_val) {
|
|
PR_BoundsCheck (pr, pointer, ev_quat);
|
|
}
|
|
ptr = pr->pr_globals + pointer;
|
|
QuatCopy (ptr->quat_var, OPC.quat_var);
|
|
break;
|
|
case OP_LOADBI_D:
|
|
pointer = OPA.integer_var + (short) st->b;
|
|
if (pr_boundscheck->int_val) {
|
|
PR_BoundsCheck (pr, pointer, ev_quat);
|
|
}
|
|
ptr = pr->pr_globals + pointer;
|
|
OPC_double_var = *(double *) ptr;
|
|
break;
|
|
|
|
case OP_LEA:
|
|
pointer = OPA.integer_var + OPB.integer_var;
|
|
OPC.integer_var = pointer;
|
|
break;
|
|
|
|
case OP_LEAI:
|
|
pointer = OPA.integer_var + (short) st->b;
|
|
OPC.integer_var = pointer;
|
|
break;
|
|
|
|
case OP_STOREB_F:
|
|
case OP_STOREB_S:
|
|
case OP_STOREB_ENT:
|
|
case OP_STOREB_FLD:
|
|
case OP_STOREB_FN:
|
|
case OP_STOREB_I:
|
|
case OP_STOREB_P:
|
|
pointer = OPB.integer_var + OPC.integer_var;
|
|
if (pr_boundscheck->int_val) {
|
|
PR_BoundsCheck (pr, pointer, ev_integer);
|
|
}
|
|
ptr = pr->pr_globals + pointer;
|
|
ptr->integer_var = OPA.integer_var;
|
|
break;
|
|
case OP_STOREB_V:
|
|
pointer = OPB.integer_var + OPC.integer_var;
|
|
if (pr_boundscheck->int_val) {
|
|
PR_BoundsCheck (pr, pointer, ev_vector);
|
|
}
|
|
ptr = pr->pr_globals + pointer;
|
|
VectorCopy (OPA.vector_var, ptr->vector_var);
|
|
break;
|
|
case OP_STOREB_Q:
|
|
pointer = OPB.integer_var + OPC.integer_var;
|
|
if (pr_boundscheck->int_val) {
|
|
PR_BoundsCheck (pr, pointer, ev_quat);
|
|
}
|
|
ptr = pr->pr_globals + pointer;
|
|
QuatCopy (OPA.quat_var, ptr->quat_var);
|
|
break;
|
|
case OP_STOREB_D:
|
|
pointer = OPB.integer_var + OPC.integer_var;
|
|
if (pr_boundscheck->int_val) {
|
|
PR_BoundsCheck (pr, pointer, ev_quat);
|
|
}
|
|
ptr = pr->pr_globals + pointer;
|
|
*(double *) ptr = OPA_double_var;
|
|
break;
|
|
|
|
case OP_STOREBI_F:
|
|
case OP_STOREBI_S:
|
|
case OP_STOREBI_ENT:
|
|
case OP_STOREBI_FLD:
|
|
case OP_STOREBI_FN:
|
|
case OP_STOREBI_I:
|
|
case OP_STOREBI_P:
|
|
pointer = OPB.integer_var + (short) st->c;
|
|
if (pr_boundscheck->int_val) {
|
|
PR_BoundsCheck (pr, pointer, ev_integer);
|
|
}
|
|
ptr = pr->pr_globals + pointer;
|
|
ptr->integer_var = OPA.integer_var;
|
|
break;
|
|
case OP_STOREBI_V:
|
|
pointer = OPB.integer_var + (short) st->c;
|
|
if (pr_boundscheck->int_val) {
|
|
PR_BoundsCheck (pr, pointer, ev_vector);
|
|
}
|
|
ptr = pr->pr_globals + pointer;
|
|
VectorCopy (OPA.vector_var, ptr->vector_var);
|
|
break;
|
|
case OP_STOREBI_Q:
|
|
pointer = OPB.integer_var + (short) st->c;
|
|
if (pr_boundscheck->int_val) {
|
|
PR_BoundsCheck (pr, pointer, ev_quat);
|
|
}
|
|
ptr = pr->pr_globals + pointer;
|
|
QuatCopy (OPA.quat_var, ptr->quat_var);
|
|
break;
|
|
case OP_STOREBI_D:
|
|
pointer = OPB.integer_var + (short) st->c;
|
|
if (pr_boundscheck->int_val) {
|
|
PR_BoundsCheck (pr, pointer, ev_quat);
|
|
}
|
|
ptr = pr->pr_globals + pointer;
|
|
*(double *) ptr = OPA_double_var;
|
|
break;
|
|
|
|
case OP_PUSH_F:
|
|
case OP_PUSH_FLD:
|
|
case OP_PUSH_ENT:
|
|
case OP_PUSH_S:
|
|
case OP_PUSH_FN:
|
|
case OP_PUSH_I:
|
|
case OP_PUSH_P:
|
|
{
|
|
pointer_t stack = *pr->globals.stack - 1;
|
|
pr_type_t *stk = pr->pr_globals + stack;
|
|
if (pr_boundscheck->int_val) {
|
|
check_stack_pointer (pr, stack, 1);
|
|
}
|
|
stk->integer_var = OPA.integer_var;
|
|
*pr->globals.stack = stack;
|
|
}
|
|
break;
|
|
case OP_PUSH_V:
|
|
{
|
|
pointer_t stack = *pr->globals.stack - 3;
|
|
pr_type_t *stk = pr->pr_globals + stack;
|
|
if (pr_boundscheck->int_val) {
|
|
check_stack_pointer (pr, stack, 3);
|
|
}
|
|
memcpy (stk, &OPA, 3 * sizeof (OPC));
|
|
*pr->globals.stack = stack;
|
|
}
|
|
break;
|
|
case OP_PUSH_Q:
|
|
{
|
|
pointer_t stack = *pr->globals.stack - 4;
|
|
pr_type_t *stk = pr->pr_globals + stack;
|
|
if (pr_boundscheck->int_val) {
|
|
check_stack_pointer (pr, stack, 4);
|
|
}
|
|
memcpy (stk, &OPA, 4 * sizeof (OPC));
|
|
*pr->globals.stack = stack;
|
|
}
|
|
break;
|
|
|
|
case OP_PUSHB_F:
|
|
case OP_PUSHB_S:
|
|
case OP_PUSHB_ENT:
|
|
case OP_PUSHB_FLD:
|
|
case OP_PUSHB_FN:
|
|
case OP_PUSHB_I:
|
|
case OP_PUSHB_P:
|
|
{
|
|
pointer_t stack = *pr->globals.stack - 1;
|
|
pr_type_t *stk = pr->pr_globals + stack;
|
|
|
|
pointer = OPA.integer_var + OPB.integer_var;
|
|
ptr = pr->pr_globals + pointer;
|
|
|
|
if (pr_boundscheck->int_val) {
|
|
check_stack_pointer (pr, stack, 1);
|
|
PR_BoundsCheck (pr, pointer, ev_integer);
|
|
}
|
|
|
|
stk->integer_var = ptr->integer_var;
|
|
*pr->globals.stack = stack;
|
|
}
|
|
break;
|
|
case OP_PUSHB_V:
|
|
{
|
|
pointer_t stack = *pr->globals.stack - 3;
|
|
pr_type_t *stk = pr->pr_globals + stack;
|
|
|
|
pointer = OPA.integer_var + OPB.integer_var;
|
|
ptr = pr->pr_globals + pointer;
|
|
|
|
if (pr_boundscheck->int_val) {
|
|
check_stack_pointer (pr, stack, 3);
|
|
PR_BoundsCheck (pr, pointer, ev_integer);
|
|
}
|
|
|
|
VectorCopy (ptr->vector_var, stk->vector_var);
|
|
*pr->globals.stack = stack;
|
|
}
|
|
break;
|
|
case OP_PUSHB_Q:
|
|
{
|
|
pointer_t stack = *pr->globals.stack - 4;
|
|
pr_type_t *stk = pr->pr_globals + stack;
|
|
|
|
pointer = OPA.integer_var + OPB.integer_var;
|
|
ptr = pr->pr_globals + pointer;
|
|
|
|
if (pr_boundscheck->int_val) {
|
|
check_stack_pointer (pr, stack, 4);
|
|
PR_BoundsCheck (pr, pointer, ev_quat);
|
|
}
|
|
|
|
QuatCopy (ptr->quat_var, stk->quat_var);
|
|
*pr->globals.stack = stack;
|
|
}
|
|
break;
|
|
|
|
case OP_PUSHBI_F:
|
|
case OP_PUSHBI_S:
|
|
case OP_PUSHBI_ENT:
|
|
case OP_PUSHBI_FLD:
|
|
case OP_PUSHBI_FN:
|
|
case OP_PUSHBI_I:
|
|
case OP_PUSHBI_P:
|
|
{
|
|
pointer_t stack = *pr->globals.stack - 1;
|
|
pr_type_t *stk = pr->pr_globals + stack;
|
|
|
|
pointer = OPA.integer_var + st->b;
|
|
ptr = pr->pr_globals + pointer;
|
|
|
|
if (pr_boundscheck->int_val) {
|
|
check_stack_pointer (pr, stack, 1);
|
|
PR_BoundsCheck (pr, pointer, ev_integer);
|
|
}
|
|
|
|
stk->integer_var = ptr->integer_var;
|
|
*pr->globals.stack = stack;
|
|
}
|
|
break;
|
|
case OP_PUSHBI_V:
|
|
{
|
|
pointer_t stack = *pr->globals.stack - 3;
|
|
pr_type_t *stk = pr->pr_globals + stack;
|
|
|
|
pointer = OPA.integer_var + st->b;
|
|
ptr = pr->pr_globals + pointer;
|
|
|
|
if (pr_boundscheck->int_val) {
|
|
check_stack_pointer (pr, stack, 3);
|
|
PR_BoundsCheck (pr, pointer, ev_integer);
|
|
}
|
|
|
|
VectorCopy (ptr->vector_var, stk->vector_var);
|
|
*pr->globals.stack = stack;
|
|
}
|
|
break;
|
|
case OP_PUSHBI_Q:
|
|
{
|
|
pointer_t stack = *pr->globals.stack - 4;
|
|
pr_type_t *stk = pr->pr_globals + stack;
|
|
|
|
pointer = OPA.integer_var + st->b;
|
|
ptr = pr->pr_globals + pointer;
|
|
|
|
if (pr_boundscheck->int_val) {
|
|
check_stack_pointer (pr, stack, 4);
|
|
PR_BoundsCheck (pr, pointer, ev_quat);
|
|
}
|
|
|
|
QuatCopy (ptr->quat_var, stk->quat_var);
|
|
*pr->globals.stack = stack;
|
|
}
|
|
break;
|
|
|
|
case OP_POP_F:
|
|
case OP_POP_FLD:
|
|
case OP_POP_ENT:
|
|
case OP_POP_S:
|
|
case OP_POP_FN:
|
|
case OP_POP_I:
|
|
case OP_POP_P:
|
|
{
|
|
pointer_t stack = *pr->globals.stack;
|
|
pr_type_t *stk = pr->pr_globals + stack;
|
|
if (pr_boundscheck->int_val) {
|
|
check_stack_pointer (pr, stack, 1);
|
|
}
|
|
stk->integer_var = OPA.integer_var;
|
|
*pr->globals.stack = stack + 1;
|
|
}
|
|
break;
|
|
case OP_POP_V:
|
|
{
|
|
pointer_t stack = *pr->globals.stack;
|
|
pr_type_t *stk = pr->pr_globals + stack;
|
|
if (pr_boundscheck->int_val) {
|
|
check_stack_pointer (pr, stack, 3);
|
|
}
|
|
memcpy (stk, &OPA, 3 * sizeof (OPC));
|
|
*pr->globals.stack = stack + 3;
|
|
}
|
|
break;
|
|
case OP_POP_Q:
|
|
{
|
|
pointer_t stack = *pr->globals.stack;
|
|
pr_type_t *stk = pr->pr_globals + stack;
|
|
if (pr_boundscheck->int_val) {
|
|
check_stack_pointer (pr, stack, 4);
|
|
}
|
|
memcpy (stk, &OPA, 4 * sizeof (OPC));
|
|
*pr->globals.stack = stack + 4;
|
|
}
|
|
break;
|
|
|
|
case OP_POPB_F:
|
|
case OP_POPB_S:
|
|
case OP_POPB_ENT:
|
|
case OP_POPB_FLD:
|
|
case OP_POPB_FN:
|
|
case OP_POPB_I:
|
|
case OP_POPB_P:
|
|
{
|
|
pointer_t stack = *pr->globals.stack;
|
|
pr_type_t *stk = pr->pr_globals + stack;
|
|
|
|
pointer = OPA.integer_var + OPB.integer_var;
|
|
ptr = pr->pr_globals + pointer;
|
|
|
|
if (pr_boundscheck->int_val) {
|
|
check_stack_pointer (pr, stack, 1);
|
|
PR_BoundsCheck (pr, pointer, ev_integer);
|
|
}
|
|
|
|
stk->integer_var = ptr->integer_var;
|
|
*pr->globals.stack = stack + 1;
|
|
}
|
|
break;
|
|
case OP_POPB_V:
|
|
{
|
|
pointer_t stack = *pr->globals.stack;
|
|
pr_type_t *stk = pr->pr_globals + stack;
|
|
|
|
pointer = OPA.integer_var + OPB.integer_var;
|
|
ptr = pr->pr_globals + pointer;
|
|
|
|
if (pr_boundscheck->int_val) {
|
|
check_stack_pointer (pr, stack, 3);
|
|
PR_BoundsCheck (pr, pointer, ev_integer);
|
|
}
|
|
|
|
VectorCopy (ptr->vector_var, stk->vector_var);
|
|
*pr->globals.stack = stack + 3;
|
|
}
|
|
break;
|
|
case OP_POPB_Q:
|
|
{
|
|
pointer_t stack = *pr->globals.stack;
|
|
pr_type_t *stk = pr->pr_globals + stack;
|
|
|
|
pointer = OPA.integer_var + OPB.integer_var;
|
|
ptr = pr->pr_globals + pointer;
|
|
|
|
if (pr_boundscheck->int_val) {
|
|
check_stack_pointer (pr, stack, 4);
|
|
PR_BoundsCheck (pr, pointer, ev_quat);
|
|
}
|
|
|
|
QuatCopy (ptr->quat_var, stk->quat_var);
|
|
*pr->globals.stack = stack + 4;
|
|
}
|
|
break;
|
|
|
|
case OP_POPBI_F:
|
|
case OP_POPBI_S:
|
|
case OP_POPBI_ENT:
|
|
case OP_POPBI_FLD:
|
|
case OP_POPBI_FN:
|
|
case OP_POPBI_I:
|
|
case OP_POPBI_P:
|
|
{
|
|
pointer_t stack = *pr->globals.stack;
|
|
pr_type_t *stk = pr->pr_globals + stack;
|
|
|
|
pointer = OPA.integer_var + st->b;
|
|
ptr = pr->pr_globals + pointer;
|
|
|
|
if (pr_boundscheck->int_val) {
|
|
check_stack_pointer (pr, stack, 1);
|
|
PR_BoundsCheck (pr, pointer, ev_integer);
|
|
}
|
|
|
|
stk->integer_var = ptr->integer_var;
|
|
*pr->globals.stack = stack + 1;
|
|
}
|
|
break;
|
|
case OP_POPBI_V:
|
|
{
|
|
pointer_t stack = *pr->globals.stack;
|
|
pr_type_t *stk = pr->pr_globals + stack;
|
|
|
|
pointer = OPA.integer_var + st->b;
|
|
ptr = pr->pr_globals + pointer;
|
|
|
|
if (pr_boundscheck->int_val) {
|
|
check_stack_pointer (pr, stack, 3);
|
|
PR_BoundsCheck (pr, pointer, ev_integer);
|
|
}
|
|
|
|
VectorCopy (ptr->vector_var, stk->vector_var);
|
|
*pr->globals.stack = stack + 3;
|
|
}
|
|
break;
|
|
case OP_POPBI_Q:
|
|
{
|
|
pointer_t stack = *pr->globals.stack;
|
|
pr_type_t *stk = pr->pr_globals + stack;
|
|
|
|
pointer = OPA.integer_var + st->b;
|
|
ptr = pr->pr_globals + pointer;
|
|
|
|
if (pr_boundscheck->int_val) {
|
|
check_stack_pointer (pr, stack, 4);
|
|
PR_BoundsCheck (pr, pointer, ev_quat);
|
|
}
|
|
|
|
QuatCopy (ptr->quat_var, stk->quat_var);
|
|
*pr->globals.stack = stack + 4;
|
|
}
|
|
break;
|
|
|
|
// ==================
|
|
case OP_IFNOT:
|
|
if (!OPA.integer_var) {
|
|
pr->pr_xstatement += (short)st->b - 1; // offset the st++
|
|
st = pr->pr_statements + pr->pr_xstatement;
|
|
}
|
|
break;
|
|
case OP_IF:
|
|
if (OPA.integer_var) {
|
|
pr->pr_xstatement += (short)st->b - 1; // offset the st++
|
|
st = pr->pr_statements + pr->pr_xstatement;
|
|
}
|
|
break;
|
|
case OP_IFBE:
|
|
if (OPA.integer_var <= 0) {
|
|
pr->pr_xstatement += (short)st->b - 1; // offset the st++
|
|
st = pr->pr_statements + pr->pr_xstatement;
|
|
}
|
|
break;
|
|
case OP_IFB:
|
|
if (OPA.integer_var < 0) {
|
|
pr->pr_xstatement += (short)st->b - 1; // offset the st++
|
|
st = pr->pr_statements + pr->pr_xstatement;
|
|
}
|
|
break;
|
|
case OP_IFAE:
|
|
if (OPA.integer_var >= 0) {
|
|
pr->pr_xstatement += (short)st->b - 1; // offset the st++
|
|
st = pr->pr_statements + pr->pr_xstatement;
|
|
}
|
|
break;
|
|
case OP_IFA:
|
|
if (OPA.integer_var > 0) {
|
|
pr->pr_xstatement += (short)st->b - 1; // offset the st++
|
|
st = pr->pr_statements + pr->pr_xstatement;
|
|
}
|
|
break;
|
|
case OP_GOTO:
|
|
pr->pr_xstatement += (short)st->a - 1; // offset the st++
|
|
st = pr->pr_statements + pr->pr_xstatement;
|
|
break;
|
|
case OP_JUMP:
|
|
if (pr_boundscheck->int_val
|
|
&& (OPA.uinteger_var >= pr->progs->numstatements)) {
|
|
PR_RunError (pr, "Invalid jump destination");
|
|
}
|
|
pr->pr_xstatement = OPA.uinteger_var - 1; // offset the st++
|
|
st = pr->pr_statements + pr->pr_xstatement;
|
|
break;
|
|
case OP_JUMPB:
|
|
pointer = st->a + OPB.integer_var;
|
|
if (pr_boundscheck->int_val) {
|
|
PR_BoundsCheck (pr, pointer, ev_integer);
|
|
}
|
|
ptr = pr->pr_globals + pointer;
|
|
pointer = ptr->integer_var;
|
|
if (pr_boundscheck->int_val
|
|
&& (pointer >= pr->progs->numstatements)) {
|
|
PR_RunError (pr, "Invalid jump destination");
|
|
}
|
|
pr->pr_xstatement = pointer - 1; // offset the st++
|
|
st = pr->pr_statements + pr->pr_xstatement;
|
|
break;
|
|
|
|
case OP_RCALL2:
|
|
case OP_RCALL3:
|
|
case OP_RCALL4:
|
|
case OP_RCALL5:
|
|
case OP_RCALL6:
|
|
case OP_RCALL7:
|
|
case OP_RCALL8:
|
|
pr->pr_params[1] = &OPC;
|
|
goto op_rcall;
|
|
case OP_RCALL1:
|
|
pr->pr_params[1] = pr->pr_real_params[1];
|
|
op_rcall:
|
|
pr->pr_params[0] = &OPB;
|
|
pr->pr_argc = st->op - OP_RCALL1 + 1;
|
|
goto op_call;
|
|
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:
|
|
PR_RESET_PARAMS (pr);
|
|
pr->pr_argc = st->op - OP_CALL0;
|
|
op_call:
|
|
pr->pr_xfunction->profile += profile - startprofile;
|
|
startprofile = profile;
|
|
PR_CallFunction (pr, OPA.func_var);
|
|
st = pr->pr_statements + pr->pr_xstatement;
|
|
break;
|
|
case OP_DONE:
|
|
case OP_RETURN:
|
|
if (!st->a)
|
|
memset (&R_INT (pr), 0,
|
|
pr->pr_param_size * sizeof (OPA));
|
|
else if (&R_INT (pr) != &OPA.integer_var)
|
|
memcpy (&R_INT (pr), &OPA,
|
|
pr->pr_param_size * sizeof (OPA));
|
|
// fallthrough
|
|
case OP_RETURN_V:
|
|
pr->pr_xfunction->profile += profile - startprofile;
|
|
startprofile = profile;
|
|
PR_LeaveFunction (pr);
|
|
st = pr->pr_statements + pr->pr_xstatement;
|
|
if (pr->pr_depth == exitdepth) {
|
|
if (pr->pr_trace && pr->pr_depth <= pr->pr_trace_depth)
|
|
pr->pr_trace = false;
|
|
// all done
|
|
goto exit_program;
|
|
}
|
|
break;
|
|
case OP_STATE:
|
|
ed = PROG_TO_EDICT (pr, *pr->globals.self);
|
|
ed->v[pr->fields.nextthink].float_var = *pr->globals.time +
|
|
0.1;
|
|
ed->v[pr->fields.frame].float_var = OPA.float_var;
|
|
ed->v[pr->fields.think].func_var = OPB.func_var;
|
|
break;
|
|
case OP_STATE_F:
|
|
ed = PROG_TO_EDICT (pr, *pr->globals.self);
|
|
ed->v[pr->fields.nextthink].float_var = *pr->globals.time +
|
|
OPC.float_var;
|
|
ed->v[pr->fields.frame].float_var = OPA.float_var;
|
|
ed->v[pr->fields.think].func_var = OPB.func_var;
|
|
break;
|
|
case OP_ADD_I:
|
|
OPC.integer_var = OPA.integer_var + OPB.integer_var;
|
|
break;
|
|
case OP_SUB_I:
|
|
OPC.integer_var = OPA.integer_var - OPB.integer_var;
|
|
break;
|
|
case OP_MUL_I:
|
|
OPC.integer_var = OPA.integer_var * OPB.integer_var;
|
|
break;
|
|
case OP_DIV_I:
|
|
OPC.integer_var = OPA.integer_var / OPB.integer_var;
|
|
break;
|
|
case OP_MOD_I:
|
|
{
|
|
// implement true modulo for integers:
|
|
// 5 mod 3 = 2
|
|
// -5 mod 3 = 1
|
|
// 5 mod -3 = -1
|
|
// -5 mod -3 = -2
|
|
int a = OPA.integer_var;
|
|
int b = OPB.integer_var;
|
|
int c = a % b;
|
|
// % is really remainder and so has the same sign rules
|
|
// as division: -5 % 3 = -2, so need to add b (3 here)
|
|
// if c's sign is incorrect, but only if c is non-zero
|
|
int mask = (a ^ b) >> 31;
|
|
mask &= ~(!!c + 0) + 1; // +0 to convert bool to int (gcc)
|
|
OPC.integer_var = c + (mask & b);
|
|
}
|
|
break;
|
|
case OP_REM_I:
|
|
OPC.integer_var = OPA.integer_var % OPB.integer_var;
|
|
break;
|
|
case OP_MOD_D:
|
|
{
|
|
double a = OPA_double_var;
|
|
double b = OPB_double_var;
|
|
// floating point modulo is so much easier :P
|
|
OPC_double_var = a - b * floor (a / b);
|
|
}
|
|
break;
|
|
case OP_REM_D:
|
|
{
|
|
double a = OPA_double_var;
|
|
double b = OPB_double_var;
|
|
OPC_double_var = a - b * trunc (a / b);
|
|
}
|
|
break;
|
|
case OP_MOD_F:
|
|
{
|
|
float a = OPA.float_var;
|
|
float b = OPB.float_var;
|
|
OPC.float_var = a - b * floorf (a / b);
|
|
}
|
|
break;
|
|
case OP_REM_F:
|
|
{
|
|
float a = OPA.float_var;
|
|
float b = OPB.float_var;
|
|
OPC.float_var = a - b * truncf (a / b);
|
|
}
|
|
break;
|
|
case OP_CONV_IF:
|
|
OPC.float_var = OPA.integer_var;
|
|
break;
|
|
case OP_CONV_FI:
|
|
OPC.integer_var = OPA.float_var;
|
|
break;
|
|
case OP_BITAND_I:
|
|
OPC.integer_var = OPA.integer_var & OPB.integer_var;
|
|
break;
|
|
case OP_BITOR_I:
|
|
OPC.integer_var = OPA.integer_var | OPB.integer_var;
|
|
break;
|
|
case OP_BITXOR_I:
|
|
OPC.integer_var = OPA.integer_var ^ OPB.integer_var;
|
|
break;
|
|
case OP_BITNOT_I:
|
|
OPC.integer_var = ~OPA.integer_var;
|
|
break;
|
|
|
|
case OP_GE_I:
|
|
case OP_GE_P:
|
|
OPC.integer_var = OPA.integer_var >= OPB.integer_var;
|
|
break;
|
|
case OP_GE_U:
|
|
OPC.integer_var = OPA.uinteger_var >= OPB.uinteger_var;
|
|
break;
|
|
case OP_LE_I:
|
|
case OP_LE_P:
|
|
OPC.integer_var = OPA.integer_var <= OPB.integer_var;
|
|
break;
|
|
case OP_LE_U:
|
|
OPC.integer_var = OPA.uinteger_var <= OPB.uinteger_var;
|
|
break;
|
|
case OP_GT_I:
|
|
case OP_GT_P:
|
|
OPC.integer_var = OPA.integer_var > OPB.integer_var;
|
|
break;
|
|
case OP_GT_U:
|
|
OPC.integer_var = OPA.uinteger_var > OPB.uinteger_var;
|
|
break;
|
|
case OP_LT_I:
|
|
case OP_LT_P:
|
|
OPC.integer_var = OPA.integer_var < OPB.integer_var;
|
|
break;
|
|
case OP_LT_U:
|
|
OPC.integer_var = OPA.uinteger_var < OPB.uinteger_var;
|
|
break;
|
|
|
|
case OP_AND_I:
|
|
OPC.integer_var = OPA.integer_var && OPB.integer_var;
|
|
break;
|
|
case OP_OR_I:
|
|
OPC.integer_var = OPA.integer_var || OPB.integer_var;
|
|
break;
|
|
case OP_NOT_I:
|
|
case OP_NOT_P:
|
|
OPC.integer_var = !OPA.integer_var;
|
|
break;
|
|
case OP_EQ_I:
|
|
case OP_EQ_P:
|
|
OPC.integer_var = OPA.integer_var == OPB.integer_var;
|
|
break;
|
|
case OP_NE_I:
|
|
case OP_NE_P:
|
|
OPC.integer_var = OPA.integer_var != OPB.integer_var;
|
|
break;
|
|
|
|
case OP_MOVEI:
|
|
memmove (&OPC, &OPA, st->b * 4);
|
|
break;
|
|
case OP_MOVEP:
|
|
if (pr_boundscheck->int_val) {
|
|
PR_BoundsCheckSize (pr, OPC.integer_var, OPB.uinteger_var);
|
|
PR_BoundsCheckSize (pr, OPA.integer_var, OPB.uinteger_var);
|
|
}
|
|
memmove (pr->pr_globals + OPC.integer_var,
|
|
pr->pr_globals + OPA.integer_var,
|
|
OPB.uinteger_var * 4);
|
|
break;
|
|
case OP_MOVEPI:
|
|
if (pr_boundscheck->int_val) {
|
|
PR_BoundsCheckSize (pr, OPC.integer_var, st->b);
|
|
PR_BoundsCheckSize (pr, OPA.integer_var, st->b);
|
|
}
|
|
memmove (pr->pr_globals + OPC.integer_var,
|
|
pr->pr_globals + OPA.integer_var,
|
|
st->b * 4);
|
|
break;
|
|
|
|
case OP_GE_D:
|
|
OPC.float_var = OPA_double_var >= OPB_double_var;
|
|
break;
|
|
case OP_LE_D:
|
|
OPC.float_var = OPA_double_var <= OPB_double_var;
|
|
break;
|
|
case OP_GT_D:
|
|
OPC.float_var = OPA_double_var > OPB_double_var;
|
|
break;
|
|
case OP_LT_D:
|
|
OPC.float_var = OPA_double_var < OPB_double_var;
|
|
break;
|
|
case OP_NOT_D:
|
|
OPC.integer_var = (op_a[0].integer_var
|
|
|| (op_a[1].integer_var & ~0x80000000u));
|
|
break;
|
|
case OP_EQ_D:
|
|
OPC.integer_var = OPA_double_var == OPB_double_var;
|
|
break;
|
|
case OP_NE_D:
|
|
OPC.integer_var = OPA_double_var != OPB_double_var;
|
|
break;
|
|
case OP_CONV_ID:
|
|
OPC_double_var = OPA.integer_var;
|
|
break;
|
|
case OP_CONV_DI:
|
|
OPC.integer_var = OPA_double_var;
|
|
break;
|
|
case OP_CONV_FD:
|
|
OPC_double_var = OPA.float_var;
|
|
break;
|
|
case OP_CONV_DF:
|
|
OPC.float_var = OPA_double_var;
|
|
break;
|
|
|
|
// LordHavoc: to be enabled when Progs version 7 (or whatever it will be numbered) is finalized
|
|
/*
|
|
case OP_BOUNDCHECK:
|
|
if (OPA.integer_var < 0 || OPA.integer_var >= st->b) {
|
|
PR_RunError (pr, "Progs boundcheck failed at line number "
|
|
"%d, value is < 0 or >= %d", st->b, st->c);
|
|
}
|
|
break;
|
|
|
|
*/
|
|
default:
|
|
PR_RunError (pr, "Bad opcode %i", st->op);
|
|
}
|
|
if (watch && watch->integer_var != old_val.integer_var
|
|
&& (!pr->wp_conditional
|
|
|| watch->integer_var == pr->wp_val.integer_var))
|
|
PR_RunError (pr, "watchpoint hit: %d -> %d", old_val.integer_var,
|
|
watch->integer_var);
|
|
}
|
|
exit_program:
|
|
pr->pr_argc = 0;
|
|
Sys_PopErrorHandler ();
|
|
Sys_PopSignalHook ();
|
|
}
|