eukara/fteqw
1
0
Fork 0
forked from fte/fteqw
Code Pull requests Activity
fteqw/engine/qclib/decomp.c
Spoike 52f0f117ab fix Q3BSP-without-Q2BSP bug. 
reworked deferred rendering to support specular. mrt can be reconfigured by TCs if desired.
reworked q3bsp deluxemap code (so it no longer bugs out).
fixed a few warnings.
updated fteqcc to try to cope with xonotic. still not working (xonotic fails from bound checks).
reworked shader conditionals to support elif. added some directives from QF(aka: warsow)

git-svn-id: https://svn.code.sf.net/p/fteqw/code/trunk@5158 fc73d0e0-1445-4013-8a0c-d673dee63da5
2017-10-31 22:52:58 +00:00

3146 lines
78 KiB
C
Raw Blame History

#include "qcc.h"
//#include "decomp.h"
//This file is derived from frikdec, but has some extra tweaks to make it more friendly with fte's compiler/opcodes (its not perfect though)
//FIXME: there's still a load of mallocs, so we don't allow this more than once per process.
//convert vector terms into floats when its revealed that they're using vector ops and not floats
//FIXME: fteqcc converts do {} while(1); into a goto -1; which is a really weeeird construct.
#if defined(_WIN32) || defined(__DJGPP__)
#include <malloc.h>
#else
#include <alloca.h>
#endif
#undef printf
#define printf GUIprintf
#define OP_MARK_END_DO 0x00010000 //do{
#define OP_MARK_END_ELSE 0x00000400 //}
#define MAX_REGS 65536
#define dstatement_t QCC_dstatement32_t
#define statements destatements
#define functions defunctions
#define strings destrings
static dstatement_t *statements;
static float *pr_globals;
static char *strings;
static QCC_ddef32_t *globals;
static dfunction_t *functions;
static int ofs_return;
static int ofs_parms[MAX_PARMS];
static int ofs_size = 3;
static QCC_ddef_t *globalofsdef[MAX_REGS];
//forward declarations.
QCC_ddef_t *GetField(const char *name);
#include <stdio.h>
/*int QC_snprintfz(char *buffer, size_t maxlen, const char *format, ...)
{
int p;
va_list argptr;
if (!maxlen)
return -1;
va_start (argptr, format);
p = _vsnprintf (buffer, maxlen, format,argptr);
va_end (argptr);
buffer[maxlen-1] = 0;
return p;
}*/
extern QCC_opcode_t pr_opcodes [];
int endofsystemfields;
int debug_offs = 0;
int assumeglobals = 0; //unknown globals are assumed to be actual globals and NOT unlocked temps
int assumelocals = 0; //unknown locals are assumed to be actual locals and NOT locked temps
vfile_t *Decompileofile;
vfile_t *Decompileprogssrc;
vfile_t *Decompileprofile;
char **DecompileProfiles;//[MAX_FUNCTIONS];
static char **rettypes;//[MAX_FUNCTIONS];
extern int quakeforgeremap[];
char *type_names[] =
{
"void",
"string",
"float",
"vector",
"entity",
"ev_field",
"void()",
"ev_pointer",
"int",
"__variant",
"ev_struct",
"ev_union",
"ev_accessor",
"ev_quat",
"ev_uinteger"
};
char *typetoname(QCC_type_t *type)
{
return type->name;
}
char *temp_type (int temp, dstatement_t *start, dfunction_t *df)
{
int i;
dstatement_t *stat;
stat = start - 1;
// determine the type of a temp
while(stat > statements)
{
if (temp == stat->a)
return typetoname(*pr_opcodes[stat->op].type_a);
else if (temp == stat->b)
return typetoname(*pr_opcodes[stat->op].type_b);
else if (temp == stat->c)
return typetoname(*pr_opcodes[stat->op].type_c);
stat--;
}
// method 2
// find a call to this function
for (i = 0; i < numstatements; i++)
{
stat = &statements[i];
if (stat->op >= OP_CALL0 && stat->op <= OP_CALL8 && ((eval_t *)&pr_globals[stat->a])->function == df - functions)
{
for(i++; i < numstatements; i++)
{
stat = &statements[i];
if (ofs_return == stat->a && (*pr_opcodes[stat->op].type_a)->type != ev_void)
return type_names[(*pr_opcodes[stat->op].type_a)->type];
else if (ofs_return == stat->b && (*pr_opcodes[stat->op].type_b)->type != ev_void)
return type_names[(*pr_opcodes[stat->op].type_b)->type];
else if (stat->op == OP_DONE)
break;
else if (stat->op >= OP_CALL0 && stat->op <= OP_CALL8 && stat->a != df - functions)
break;
}
}
}
printf("warning: Could not determine return type for %s\n", df->s_name + strings);
return "float";
}
boolean IsConstant(QCC_ddef_t *def)
{
int i;
dstatement_t *d;
if (def->type & DEF_SAVEGLOBAL)
return false;
if (pr_globals[def->ofs] == 0)
return false;
for (i = 1; i < numstatements; i++)
{
d = &statements[i];
if (d->b == def->ofs)
{
if (pr_opcodes[d->op].associative == ASSOC_RIGHT)
{
if (d->op - OP_STORE_F < 6)
{
return false;
}
}
}
}
return true;
}
char *type_name (QCC_ddef_t *def)
{
QCC_ddef_t *j;
switch(def->type&~DEF_SAVEGLOBAL)
{
case ev_field:
case ev_pointer:
j = GetField(def->s_name + strings);
if (j)
return qcva(".%s",type_names[j->type]);
else
return type_names[def->type&~DEF_SAVEGLOBAL];
case ev_void:
case ev_string:
case ev_entity:
case ev_vector:
case ev_float:
return type_names[def->type&~DEF_SAVEGLOBAL];
case ev_function:
return "void()";
case ev_integer:
return "int";
// case ev_uinteger:
// return "unsigned";
// case ev_quat:
// return "quat";
default:
return "float";
}
};
extern int numstatements;
extern int numfunctions;
#define FILELISTSIZE 62
/*
===============
PR_String
Returns a string suitable for printing (no newlines, max 60 chars length)
===============
*/
const char *PR_String (const char *string)
{
static char buf[80];
char *s;
s = buf;
*s++ = '"';
while (string && *string)
{
if (s == buf + sizeof(buf) - 2)
break;
if (*string == '\n')
{
*s++ = '\\';
*s++ = 'n';
}
else if (*string == '"')
{
*s++ = '\\';
*s++ = '"';
}
else
*s++ = *string;
string++;
if (s - buf > 60)
{
*s++ = '.';
*s++ = '.';
*s++ = '.';
break;
}
}
*s++ = '"';
*s++ = 0;
return buf;
}
/*
============
PR_ValueString
Returns a string describing *data in a type specific manner
=============
*/
static char *PR_ValueString (etype_t type, void *val)
{
static char line[8192];
dfunction_t *f;
switch (type)
{
case ev_string:
QC_snprintfz(line, sizeof(line), "%s", PR_String(strings + *(int *)val));
break;
case ev_entity:
QC_snprintfz(line, sizeof(line), "entity %i", *(int *)val);
break;
case ev_function:
f = functions + *(int *)val;
if (!f)
QC_snprintfz(line, sizeof(line), "undefined function");
else
QC_snprintfz(line, sizeof(line), "%s()", strings + f->s_name);
break;
/*
case ev_field:
def = PR_DefForFieldOfs ( *(int *)val );
sprintf (line, ".%s", def->name);
break;
*/
case ev_void:
QC_snprintfz(line, sizeof(line), "void");
break;
case ev_float:
{
unsigned int high = *(unsigned int*)val & 0xff000000;
if (high == 0xff000000 || !high)
//FIXME this is probably a string or something, but we don't really know what type it is.
QC_snprintfz(line, sizeof(line), "(float)(__variant)%ii", *(int*)val);
else
QC_snprintfz(line, sizeof(line), "%5.1f", *(float *)val);
}
break;
case ev_vector:
QC_snprintfz(line, sizeof(line), "'%5.1f %5.1f %5.1f'", ((float *)val)[0], ((float *)val)[1], ((float *)val)[2]);
break;
case ev_pointer:
QC_snprintfz(line, sizeof(line), "pointer");
break;
case ev_field:
QC_snprintfz(line, sizeof(line), "<FIELD@%i>", *(int*)val);
break;
default:
QC_snprintfz(line, sizeof(line), "bad type %i", type);
break;
}
return line;
}
static char *filenames[] =
{
"makevectors", "defs.qc",
"button_wait", "buttons.qc",
"anglemod", "ai.qc",
"boss_face", "boss.qc",
"info_intermission", "client.qc",
"CanDamage", "combat.qc",
"demon1_stand1", "demon.qc",
"dog_bite", "dog.qc",
"door_blocked", "doors.qc",
"Laser_Touch", "enforcer.qc",
"knight_attack", "fight.qc",
"f_stand1", "fish.qc",
"hknight_shot", "hknight.qc",
"SUB_regen", "items.qc",
"knight_stand1", "knight.qc",
"info_null", "misc.qc",
"monster_use", "monsters.qc",
"OgreGrenadeExplode", "ogre.qc",
"old_idle1", "oldone.qc",
"plat_spawn_inside_trigger", "plats.qc",
"player_stand1", "player.qc",
"shal_stand", "shalrath.qc",
"sham_stand1", "shambler.qc",
"army_stand1", "soldier.qc",
"SUB_Null", "subs.qc",
"tbaby_stand1", "tarbaby.qc",
"trigger_reactivate", "triggers.qc",
"W_Precache", "weapons.qc",
"LaunchMissile", "wizard.qc",
"main", "world.qc",
"zombie_stand1", "zombie.qc"
};
//FIXME: parse fteextensions.qc instead, or something.
#define QW(x) //x,
static struct {
int num;
char *name; //purly for readability.
QCC_type_t **returns;
QCC_type_t **params[8];
char *text;
} builtins[]=
{
{0, NULL, NULL, {NULL}, NULL},
{1, "makevectors", NULL, {&type_vector}, "void (vector ang)"},
{2, "setorigin", NULL, {&type_entity, &type_vector}, "void (entity e, vector o)"},
{3, "setmodel", NULL, {&type_entity, &type_string}, "void (entity e, string m)"},
{4, "setsize", NULL, {&type_entity, &type_vector, &type_vector}, "void (entity e, vector min, vector max)"},
{5, NULL, NULL, {NULL}, NULL},
{6, NULL, NULL, {NULL}, "void ()"},
{7, "random", NULL, {NULL}, "float ()"},
{8, "sound", NULL, {&type_entity, &type_float, &type_string, &type_float, &type_float}, "void (entity e, float chan, string samp, float vol, float atten)"},
{9, "normalize", &type_vector, {&type_vector}, "vector (vector v)"},
{10, "error", NULL, {&type_string}, "void (string e)"},
{11, "objerror", NULL, {&type_string}, "void (string e)"},
{12, "vlen", &type_float, {&type_vector}, "float (vector v)"},
{13, "vectoyaw", &type_float, {&type_vector}, "float (vector v)"},
{14, "spawn", &type_entity, {NULL}, "entity ()"},
{15, "remove", NULL, {&type_entity}, "void (entity e)"},
{16, "traceline", NULL, {&type_vector, &type_vector, &type_float, &type_entity}, "void (vector v1, vector v2, float nomonsters, entity forent)"},
{17, NULL, NULL, {NULL}, "entity ()"},
{18, "find", &type_entity, {&type_entity, &type_field, &type_string}, "entity (entity start, .string fld, string match)"},
{19, "precache_sound", NULL, {&type_string}, "string (string s)"},
{20, "precache_model", NULL, {&type_string}, "string (string s)"},
{21, "stuffcmd", NULL, {&type_entity, &type_string}, "void (entity client, string s)"},
{22, "findradius", NULL, {&type_vector, &type_float}, "entity (vector org, float rad)"},
{23, "bprint", NULL, {QW(&type_float) &type_string,&type_string,&type_string,&type_string,&type_string,&type_string,&type_string}, "void (...)"},
{24, "sprint", NULL, {&type_entity, QW(&type_float) &type_string,&type_string,&type_string,&type_string,&type_string,&type_string}, "void (...)"},
{25, "dprint", NULL, {&type_string,&type_string,&type_string,&type_string,&type_string,&type_string,&type_string,&type_string}, "void (...)"},
{26, "ftos", &type_string, {&type_float}, "string (float f)"},
{27, "vtos", &type_string, {&type_vector}, "string (vector v)"},
{28, "coredump", NULL, {NULL}, "void ()"},
{29, "traceon", NULL, {NULL}, "void ()"},
{30, "traceoff", NULL, {NULL}, "void ()"},
{31, "eprint", NULL, {&type_entity}, "void (entity e)"},
{32, "walkmove", &type_float, {&type_float, &type_float}, "float (float yaw, float dist)"},
{33, NULL, NULL, {NULL}, NULL},
{34, "droptofloor", NULL, {&type_float, &type_float}, "float ()"},
{35, "lightstyle", NULL, {&type_float, &type_string}, "void (float style, string value)"},
{36, "rint", &type_float, {&type_vector}, "float (float v)"},
{37, "floor", &type_float, {&type_vector}, "float (float v)"},
{38, "ceil", &type_float, {&type_vector}, "float (float v)"},
{39, NULL, NULL, {NULL}, NULL},
{40, "checkbottom", &type_float, {&type_entity}, "float (entity e)"},
{41, "pointcontents", &type_float, {&type_vector}, "float (vector v)"},
{42, NULL, NULL, {NULL}, NULL},
{43, "fabs", &type_float, {&type_float}, "float (float f)"},
{44, "aim", NULL, {&type_entity, &type_float}, "vector (entity e, float speed)"},
{45, "cvar", &type_string, {&type_string}, "float (string s)"},
{46, "localcmd", NULL, {&type_string}, "void (string s)"},
{47, "nextent", &type_entity, {&type_entity}, "entity (entity e)"},
{48, "", NULL, {&type_vector, &type_vector, &type_float, &type_float}, "void (vector o, vector d, float color, float count)"},
{49, "changeyaw", NULL, {NULL}, "void ()"},
{50, NULL, NULL, {NULL}, NULL},
{51, "vectoangles", &type_vector, {&type_vector}, "vector (vector v)"},
{52, "WriteByte", NULL, {&type_float, &type_float}, "void (float to, float f)"},
{53, "WriteChar", NULL, {&type_float, &type_float}, "void (float to, float f)"},
{54, "WriteShort", NULL, {&type_float, &type_float}, "void (float to, float f)"},
{55, "WriteLong", NULL, {&type_float, &type_float}, "void (float to, float f)"},
{56, "WriteCoord", NULL, {&type_float, &type_float}, "void (float to, float f)"},
{57, "WriteAngle", NULL, {&type_float, &type_float}, "void (float to, float f)"},
{58, "WriteString", NULL, {&type_float, &type_string}, "void (float to, string s)"},
{59, "WriteEntity", NULL, {&type_float, &type_entity}, "void (float to, entity s)"},
{60, NULL, NULL, {NULL}, NULL},
{61, NULL, NULL, {NULL}, NULL},
{62, NULL, NULL, {NULL}, NULL},
{63, NULL, NULL, {NULL}, NULL},
{64, NULL, NULL, {NULL}, NULL},
{65, NULL, NULL, {NULL}, NULL},
{66, NULL, NULL, {NULL}, NULL},
{67, "movetogoal", NULL, {&type_float}, "void (float step)"},
{68, "precache_file", NULL, {&type_string}, "string (string s)"},
{69, "makestatic", NULL, {&type_entity}, "void (entity e)"},
{70, "changelevel", NULL, {&type_string}, "void (string s)"},
{71, NULL, NULL, {NULL}, NULL},
{72, "cvar_set", NULL, {&type_string, &type_string}, "void (string var, string val)"},
{73, "centerprint", NULL, {&type_entity,&type_string,&type_string,&type_string,&type_string,&type_string,&type_string,&type_string}, "void (entity client, string s, ...)"},
{74, "ambientsound", NULL, {&type_vector, &type_string, &type_float, &type_float}, "void (vector pos, string samp, float vol, float atten)"},
{75, "precache_model2", NULL, {&type_string}, "string (string s)"},
{76, "precache_sound2", NULL, {&type_string}, "string (string s)"},
{77, "precache_file2", NULL, {&type_string}, "string (string s)"},
{78, "setspawnparms", NULL, {&type_entity}, "void (entity e)"},
//quakeworld specific
{79, "logfrag", NULL, {&type_entity, &type_entity}, "void(entity killer, entity killee)"},
{80, "infokey", &type_string, {&type_entity, &type_string}, "string(entity e, string key)"},
{81, "stof", &type_float, {&type_string}, "float(string s)"},
{82, "multicast", NULL, {&type_vector, &type_float}, "void(vector where, float set)"},
//these are mvdsv specific
{83, "executecmd", NULL, {NULL}, NULL},
{84, "tokenize", NULL, {&type_string}, NULL},
{85, "argc", &type_float, {NULL}, "float()"},
{86, "argv", &type_string, {&type_float}, "string(float f)"},
{87, "teamfield", NULL, {NULL}, "void(.string fs)"},
{88, "substr", &type_string, {&type_string, &type_float, &type_float}, "string(string, float, float)"},
{89, "strcat", &type_string, {&type_string,&type_string,&type_string,&type_string,&type_string,&type_string,&type_string,&type_string}, "string (...)"},
{90, "strlen", &type_float, {&type_string}, "float(string s)"},
{91, "str2byte", &type_float, {&type_string}, "float(string s)"},
{92, NULL, NULL, {NULL}, NULL},
{93, "newstr", &type_string, {&type_string}, "string(...)"},
{94, "freestr", NULL, {&type_string}, "void(string s)"},
{95, "conprint", NULL, {NULL}, NULL},
{96, "readcmd", &type_string, {&type_string}, "string(string cmd)"},
{97, "strcpy", NULL, {NULL}, NULL},
{98, "strstr", &type_string, {&type_string, &type_string}, "string(string str, string sub)"},
{99, "strncpy", NULL, {NULL}, NULL},
{100, "log", NULL, {NULL}, NULL},
{101, "redirectcmd", NULL, {NULL}, NULL},
{102, "calltimeofday", NULL, {NULL}, NULL},
{103, "forcedemoframe", NULL, {NULL}, NULL},
};
char *DecompileValueString(etype_t type, void *val);
QCC_ddef_t *DecompileGetParameter(gofs_t ofs);
QCC_ddef_t *DecompileFindGlobal(const char *name);
char *DecompilePrintParameter(QCC_ddef_t * def);
QCC_ddef_t *DecompileFunctionGlobal(int funcnum);
char *ReadProgsCopyright(char *buf, size_t bufsize)
{
char *copyright, *e;
dprograms_t *progs = (dprograms_t*)buf;
int lowest = progs->ofs_statements;
lowest = min(lowest, progs->ofs_globaldefs);
lowest = min(lowest, progs->ofs_fielddefs);
lowest = min(lowest, progs->ofs_functions);
lowest = min(lowest, progs->ofs_strings);
lowest = min(lowest, progs->ofs_globals);
lowest = min(lowest, progs->ofs_fielddefs);
copyright = (char*)(progs+1);
if (!strncmp("\r\n\r\n", copyright, 4))
{
copyright += 4;
e = copyright+strlen(copyright)+1;
if (e && !strncmp(e, "\r\n\r\n", 4))
{
if (e+4 <= buf+lowest)
{
return copyright;
}
}
}
return NULL;
}
int DecompileReadData(char *srcfilename, char *buf, size_t bufsize)
{
dprograms_t progs;
int i, j;
void *p;
char name[1024];
QCC_ddef_t *fd;
int stsz = 16, defsz=16;
// int quakeforge = false;
memcpy(&progs, buf, sizeof(progs));
if (progs.version == PROG_VERSION)
stsz = defsz = 16;
else if (progs.version == 7)
{
if (progs.secondaryversion == PROG_SECONDARYVERSION16)
{
//regular 16bit progs, just an extended instruction set probably.
stsz = defsz = 16;
}
else if (progs.secondaryversion == PROG_SECONDARYVERSION32)
{
//32bit fte progs. everything is 32bit.
stsz = defsz = 32;
}
else
{
//progs is kk7 (certain QW TF mods). defs are 16bit but statements are 32bit. so this is unusable for saved games.
stsz = 32;
defsz = 16; //gah! fucked!
}
}
else
{
stsz = defsz = 16;
// quakeforge = true;
}
strings = buf + progs.ofs_strings;
strofs = progs.numstrings;
numstatements = progs.numstatements;
// if (numstatements > MAX_STATEMENTS)
// Sys_Error("Too many statements");
if (stsz == 16)
{
const dstatement16_t *statements6 = (const dstatement16_t*)(buf+progs.ofs_statements);
statements = malloc(numstatements * sizeof(*statements));
for (i = 0; i < numstatements; i++)
{
statements[i].op = statements6[i].op;
if (statements[i].op == OP_GOTO)
statements[i].a = (signed short)statements6[i].a;
else
statements[i].a = (unsigned short)statements6[i].a;
if (statements[i].op == OP_IF_I || statements[i].op == OP_IFNOT_I ||
statements[i].op == OP_IF_F || statements[i].op == OP_IFNOT_F ||
statements[i].op == OP_IF_S || statements[i].op == OP_IFNOT_S)
statements[i].b = (signed short)statements6[i].b;
else
statements[i].b = (unsigned short)statements6[i].b;
statements[i].c = (unsigned short)statements6[i].c;
}
}
else if (stsz == 32)
statements = (dstatement32_t*)(buf+progs.ofs_statements);
else
Sys_Error("Unrecognised progs version");
numfunctions = progs.numfunctions;
functions = (dfunction_t*)(buf+progs.ofs_functions);
DecompileProfiles = calloc(numfunctions, sizeof(*DecompileProfiles));
rettypes = calloc(numfunctions, sizeof(*rettypes));
numglobaldefs = progs.numglobaldefs;
numfielddefs = progs.numfielddefs;
if (defsz == 16)
{
const QCC_ddef16_t *gd16 = (const QCC_ddef16_t*)(buf+progs.ofs_globaldefs);
globals = malloc(numglobaldefs * sizeof(*globals));
for (i = 0; i < numglobaldefs; i++)
{
globals[i].ofs = gd16[i].ofs;
globals[i].s_name = gd16[i].s_name;
globals[i].type = gd16[i].type;
}
gd16 = (const QCC_ddef16_t*)(buf+progs.ofs_fielddefs);
fields = malloc(numfielddefs * sizeof(*fields));
for (i = 0; i < numfielddefs; i++)
{
fields[i].ofs = gd16[i].ofs;
fields[i].s_name = gd16[i].s_name;
fields[i].type = gd16[i].type;
}
}
else
{
globals = (QCC_ddef32_t*)(buf+progs.ofs_globaldefs);
fields = (QCC_ddef32_t*)(buf+progs.ofs_fielddefs);
}
pr_globals = (float*)(buf+progs.ofs_globals);
numpr_globals = progs.numglobals;
printf("Decompiling...\n");
printf("Read Data from %s:\n", srcfilename);
printf("Total Size is %6i\n", bufsize);
printf("Version Code is %i\n", progs.version);
printf("CRC is %i\n", progs.crc);
printf("%6i strofs\n", strofs);
printf("%6i numstatements\n", numstatements);
printf("%6i numfunctions\n", numfunctions);
printf("%6i numglobaldefs\n", numglobaldefs);
printf("%6i numfielddefs\n", numfielddefs);
printf("%6i numpr_globals\n", numpr_globals);
printf("----------------------\n");
if (numpr_globals > MAX_REGS)
{
printf("fatal error: progs exceeds a limit\n");
exit(1);
}
ofs_return = OFS_RETURN;
for (i = 0; i < 8; i++)
ofs_parms[i] = OFS_PARM0 + i * 3;
ofs_size = 3;
/*
if (quakeforge)
{
int typeremap[] = {ev_void, ev_string, ev_float, ev_vector, ev_entity, ev_field, ev_function, ev_pointer, ev_quat, ev_integer, ev_uinteger};
for (i = 1; i < numglobaldefs; i++)
{
globals[i].type = (globals[i].type & DEF_SAVEGLOBGAL) | typeremap[globals[i].type&~DEF_SAVEGLOBGAL];
}
for (i = 1; i < numfielddefs; i++)
{
fields[i].type = (fields[i].type & DEF_SAVEGLOBGAL) | typeremap[fields[i].type&~DEF_SAVEGLOBGAL];
}
for (i = 1; i < numstatements; i++)
{
if (statements[i].op >= OP_H2_FIRST)// && statements[i].op <= OP_H2_FIRST+sizeof(quakeforgeremap)/sizeof(quakeforgeremap[0]))
statements[i].op = quakeforgeremap[statements[i].op-OP_H2_FIRST];
}
fd = DecompileFindGlobal(".zero");
if (fd)
fd->ofs = -1;
fd = DecompileFindGlobal(".return");
if (fd)
{
ofs_return = fd->ofs;
fd->ofs = -1;
}
for (i = 0; i < 8; i++)
{
QC_snprintfz(name, sizeof(name), ".param_%i", i);
fd = DecompileFindGlobal(name);
if (fd)
{
ofs_parms[i] = fd->ofs;
fd->ofs = -1;
}
}
fd = DecompileFindGlobal(".param_size");
if (fd)
ofs_size = ((int*)pr_globals)[fd->ofs];
}
*/
//fix up the globaldefs
for (i = 1; i < numglobaldefs; i++)
{
if (globals[i].ofs < RESERVED_OFS)
globals[i].ofs += numpr_globals;
}
// fix up the functions
for (i = 1; i < numfunctions; i++)
{
if ((unsigned)functions[i].s_name >= (unsigned)strofs || strlen(functions[i].s_name + strings) <= 0)
{
fd = DecompileFunctionGlobal(i);
if (fd)
{
functions[i].s_name = fd->s_name;
continue;
}
QC_snprintfz(name, sizeof(name), "function%i", i);
name[strlen(name)] = 0;
p = malloc(strlen(name + 1));
strcpy(p, name);
functions[i].s_name = (char *)p - strings;
}
if (functions[i].first_statement > 0 && !functions[i].locals && functions[i].numparms)
{ //vanilla qcc apparently had a bug
for (j = 0; j < functions[i].numparms; j++)
functions[i].locals += functions[i].parm_size[j];
}
}
return progs.version;
}
int
DecompileGetFunctionIdxByName(const char *name)
{
int i;
for (i = 1; i < numfunctions; i++)
if (!strcmp(name, strings + functions[i].s_name))
{
return i;
}
return 0;
}
const etype_t DecompileGetFieldTypeByDef(QCC_ddef_t *def)
{
int i;
int ofs = ((int*)pr_globals)[def->ofs];
for (i = 1; i < numfielddefs; i++)
if (fields[i].ofs == ofs)
{
if (!strcmp(strings+def->s_name, strings+fields[i].s_name))
return fields[i].type;
}
return ev_void;
}
const char *DecompileGetFieldNameIdxByFinalOffset(int ofs)
{
int i;
for (i = 1; i < numfielddefs; i++)
if (fields[i].ofs == ofs)
{
return fields[i].s_name+strings;
}
return "UNKNOWN FIELD";
}
void DecompileGetFieldNameIdxByFinalOffset2(char *out, size_t outsize, int ofs)
{
int i;
for (i = 1; i < numfielddefs; i++)
{
if (fields[i].ofs == ofs)
{
QC_snprintfz(out, outsize, "%s", fields[i].s_name+strings);
return;
}
else if (fields[i].type == ev_vector && fields[i].ofs+1 == ofs)
{
QC_snprintfz(out, outsize, "%s_y", fields[i].s_name+strings);
return;
}
else if (fields[i].type == ev_vector && fields[i].ofs+2 == ofs)
{
QC_snprintfz(out, outsize, "%s_z", fields[i].s_name+strings);
return;
}
}
QC_snprintfz(out, outsize, "<FIELD@%i>", ofs);
}
int
DecompileAlreadySeen(char *fname, vfile_t **rfile)
{
int ret = 1;
vfile_t *file;
file = QCC_FindVFile(fname);
if (!file)
{
ret = 0;
if (rfile)
{
char *header = "//Decompiled code. Please respect the original copyright.\n";
*rfile = QCC_AddVFile(fname, header, strlen(header));
AddSourceFile("progs.src", fname);
}
}
else if (rfile)
*rfile = file;
return ret;
}
char *DecompileReturnType(dfunction_t *df);
char *DecompileAgressiveType(dfunction_t *df, dstatement_t *last, gofs_t ofs)
{
QCC_ddef_t *par;
par = DecompileGetParameter(ofs);
if (par) //single = intended
{
return type_name(par);
}
if (ofs == ofs_return && ((last->op >= OP_CALL0 && last->op <= OP_CALL8) || (last->op >= OP_CALL1H && last->op <= OP_CALL8H)))
{ //offset is a return value, go look at the called function's return type.
return DecompileReturnType(functions + ((int*)pr_globals)[last->a]);
}
while(last >= &statements[df->first_statement])
{
if (last->c == ofs &&
pr_opcodes[last->op].associative == ASSOC_LEFT &&
pr_opcodes[last->op].priorityclass)
{
//previous was an operation into the temp
return type_names[(*pr_opcodes[last->op].type_c)->type];
// sprintf(fname, "%s ", temp_type6(rds->a, rds, df));
}
last--;
}
return NULL; //got to start of function... shouldn't really happen.
}
char *DecompileReturnType(dfunction_t *df)
{
dstatement_t *ds;
unsigned short dom;
boolean foundret = false;
static int recursion;
char *ret = NULL; //return null if we don't know.
int couldbeastring = true;
if (df->first_statement <= 0)
{
if (df->first_statement > -(int)(sizeof(builtins)/sizeof(builtins[0])))
if (builtins[-df->first_statement].returns)
return type_names[(*builtins[-df->first_statement].returns)->type];
return "void"; //no returns statements found
}
if (rettypes[df - functions])
return rettypes[df - functions];
recursion++;
ds = statements + df->first_statement;
/*
* find a return statement, to determine the result type
*/
while (1)
{
dom = (ds->op) % OP_MARK_END_ELSE;
if (!dom)
break;
// if (dom == OPQF_RETURN_V)
// break;
if (dom == OP_RETURN)
{
if (ds->a != 0) //some code is buggy.
{
foundret = true;
if (recursion < 10)
{
ret = DecompileAgressiveType(df, ds-1, ds->a);
if (ret)
break;
}
if (((int*)pr_globals)[ds->a] < 0 && ((int*)pr_globals)[ds->a] >= strofs)
couldbeastring = false; //definatly not
else
{
char buf[64];
QC_snprintfz(buf, sizeof(buf), "%f", pr_globals[ds->a]);
if (strcmp(buf, "0.000000"))
couldbeastring = false; //doesn't fit the profile
}
}
}
ds++;
}
recursion--;
if (foundret)
{
if (!ret)
{
if (couldbeastring)
ret = "string /*WARNING: could not determine return type*/";
else
ret = "float /*WARNING: could not determine return type*/";
}
}
else
ret = "void"; //no returns statements found
rettypes[df - functions] = ret;
return ret;
}
void DecompileCalcProfiles(void)
{
int i, ps;
gofs_t j;
char *knew;
static char fname[512];
static char line[512];
dfunction_t *df;
QCC_ddef_t *par;
for (i = 1; i < numfunctions; i++)
{
df = functions + i;
fname[0] = '\0';
line[0] = '\0';
DecompileProfiles[i] = NULL;
if (df->first_statement <= 0)
{
if (-df->first_statement <= sizeof(builtins)/sizeof(builtins[0]) && builtins[-df->first_statement].text)
QC_snprintfz(fname, sizeof(fname), "%s %s", builtins[-df->first_statement].text, strings + functions[i].s_name);
else
{
QC_snprintfz(fname, sizeof(fname), "__variant(...) %s", strings + functions[i].s_name);
printf("warning: unknown builtin %s\n", strings + functions[i].s_name);
}
}
else
{
char *rettype;
rettype = DecompileReturnType(df);
if (!rettype)
{ //but we do know that it's not void
rettype = "float /*WARNING: could not determine return type*/";
}
strcpy(fname, rettype);
strcat(fname, "(");
/*
* determine overall parameter size
*/
for (j = 0, ps = 0; j < df->numparms; j++)
ps += df->parm_size[j];
if (ps > 0)
{
for (j = df->parm_start; j < (df->parm_start) + ps; j++)
{
line[0] = '\0';
par = DecompileGetParameter(j);
if (!par)
par = DecompileGetParameter((short)j);
if (!par)
{
//Error("Error - No parameter names with offset %i.", j);
// printf("No parameter names with offset %i\n", j);
if (j < (df->parm_start) + ps - 1)
QC_snprintfz(line, sizeof(line), "float par%i, ", j - df->parm_start);
else
QC_snprintfz(line, sizeof(line), "float par%i", j - df->parm_start);
}
else
{
if (par->type == ev_vector)
j += 2;
if (j < (df->parm_start) + ps - 1)
{
QC_snprintfz(line, sizeof(line), "%s, ", DecompilePrintParameter(par));
}
else
{
QC_snprintfz(line, sizeof(line), "%s", DecompilePrintParameter(par));
}
}
strcat(fname, line);
}
}
strcat(fname, ") ");
line[0] = '\0';
QC_snprintfz(line, sizeof(line), strings + functions[i].s_name);
strcat(fname, line);
}
knew = (char *)malloc(strlen(fname) + 1);
strcpy(knew, fname);
DecompileProfiles[i] = knew;
}
}
QCC_ddef_t *GlobalAtOffset(dfunction_t *df, gofs_t ofs)
{
QCC_ddef_t *def;
int i, j;
def = globalofsdef[ofs];
if (def)
return def;
for (i = 0; i < numglobaldefs; i++)
{
def = &globals[i];
if (def->ofs == ofs)
{
/*if (!strings[def->s_name])
{
char line[16];
char *buf;
sprintf(line, "_s_%i", def->ofs); //globals, which are defined after the locals of the function they are first used in...
buf = malloc(strlen(line)+1); //must be static variables, but we can't handle them very well
strcpy(buf, line);
def->s_name = buf - strings;
}*/
globalofsdef[ofs] = def;
return def;
}
}
if (ofs >= df->parm_start && ofs < df->parm_start + df->locals)
{
static QCC_ddef_t parm[8];
static char *parmnames[] = {"par0","par1","par2","par3","par4","par5","par6","par7"};
int parmofs = ofs - df->parm_start;
for (i = 0; i < df->numparms && i < 8; i++)
{
if (parmofs < df->parm_size[i])
{
parm[i].ofs = ofs - parmofs;
parm[i].s_name = parmnames[i]-strings;
parm[i].type = ev_void;
ofs = parm[i].ofs;
for (j = 0; j < numglobaldefs; j++)
{
def = &globals[j];
if (def->ofs == ofs)
{
char line[256], *buf;
sprintf(line, "%s_%c", strings+def->s_name, 'x'+parmofs); //globals, which are defined after the locals of the function they are first used in...
def = malloc(sizeof(*def)+strlen(line)+1); //must be static variables, but we can't handle them very well
buf = (char*)(def+1);
strcpy(buf, line);
def->s_name = buf - strings;
def->type = ev_float;
return def;
}
}
return &parm[i];
}
parmofs -= df->parm_size[i];
}
//moo
}
//FIXME: if its within the current function's bounds, its:
// within param list: argument
// never written: immediate
// optimised: a local / locked temp.
// vanilla qcc: always a temp (other locals will be named)
//elsewhere:
// if its assigned to somewhere, then its a temp
// otherwise its a const.
return NULL;
}
char *DecompileGlobal(dfunction_t *df, gofs_t ofs, QCC_type_t * req_t)
{
int i;
QCC_ddef_t *def;
static char line[8192];
char *res;
line[0] = '\0';
/*if (req_t == &def_short)
{
QC_snprintfz(line, sizeof(line), "%ii", ofs);
res = (char *)malloc(strlen(line) + 1);
strcpy(res, line);
return res;
}*/
def = GlobalAtOffset(df, ofs);
if (def)
{
if (!strcmp(strings + def->s_name, "IMMEDIATE") || !strcmp(strings + def->s_name, ".imm"))
{
etype_t ty;
if (!req_t)
ty = def->type;
else
{
ty = (etype_t)(req_t->type);
if (!ty)
ty = def->type;
}
QC_snprintfz(line, sizeof(line), "%s", DecompileValueString(ty, &pr_globals[def->ofs]));
}
else
{
if (!strings[def->s_name])
{
char line[16];
char *buf;
QCC_ddef_t *parent;
if (ofs >= df->parm_start && ofs < df->parm_start + df->locals)
goto lookslikealocal;
else if ((parent = GlobalAtOffset(df, ofs-1)) && parent->type == ev_vector)
{ // _y
QC_snprintfz(line, sizeof(line), "%s_y", strings+parent->s_name); //globals, which are defined after the locals of the function they are first used in...
buf = malloc(strlen(line)+1); //must be static variables, but we can't handle them very well
strcpy(buf, line);
def->s_name = buf - strings;
}
else if ((parent = GlobalAtOffset(df, ofs-2)) && parent->type == ev_vector)
{ // _z
QC_snprintfz(line, sizeof(line), "%s_z", strings+parent->s_name); //globals, which are defined after the locals of the function they are first used in...
buf = malloc(strlen(line)+1); //must be static variables, but we can't handle them very well
strcpy(buf, line);
def->s_name = buf - strings;
}
else
{
QC_snprintfz(line, sizeof(line), "_sloc_%i", def->ofs); //globals, which are defined after the locals of the function they are first used in...
buf = malloc(strlen(line)+1); //must be static variables, but we can't handle them very well
strcpy(buf, line);
def->s_name = buf - strings;
}
}
QC_snprintfz(line, sizeof(line), "%s", strings + def->s_name);
if (def->type == ev_field && req_t == type_field && req_t->aux_type == type_float && DecompileGetFieldTypeByDef(def) == ev_vector)
strcat(line, "_x");
else if (def->type == ev_vector && req_t == type_float)
strcat(line, "_x");
}
res = (char *)malloc(strlen(line) + 1);
strcpy(res, line);
return res;
}
if (ofs >= df->parm_start && ofs < df->parm_start + df->locals)
{
int parmofs;
lookslikealocal:
QC_snprintfz(line, sizeof(line), "local_%i", ofs);
for (i = 0, parmofs = ofs - df->parm_start; i < df->numparms && i < 8; i++)
{
if (parmofs < df->parm_size[i])
{
if (parmofs)
QC_snprintfz(line, sizeof(line), "par%i_%c", i, 'x'+parmofs);
else
QC_snprintfz(line, sizeof(line), "par%i", i);
break;
}
parmofs -= df->parm_size[i];
}
if (!assumelocals && i == df->numparms)
return NULL; //we don't know what this is. assume its a temp
res = (char *)malloc(strlen(line) + 1);
strcpy(res, line);
return res;
}
if (assumeglobals)
{ //unknown globals are normally assumed to be temps
if (ofs >= ofs_parms[7]+ofs_size)
{
QC_snprintfz(line, sizeof(line), "tmp_%i", ofs);
res = (char *)malloc(strlen(line) + 1);
strcpy(res, line);
return res;
}
}
return NULL;
}
static struct
{
char *text;
QCC_type_t *type;
} IMMEDIATES[MAX_REGS];
gofs_t DecompileScaleIndex(dfunction_t *df, gofs_t ofs)
{
gofs_t nofs = 0;
/*if (ofs > ofs_parms[7]+ofs_size)
nofs = ofs - df->parm_start + ofs_parms[7]+ofs_size;
else*/
nofs = ofs;
if ((nofs < 0) || (nofs > MAX_REGS - 1))
{
printf("Fatal Error - Index (%i) out of bounds.\n", nofs);
return 0;
exit(1);
}
return nofs;
}
void DecompileImmediate_Free(void)
{
int i;
for (i = 0; i < MAX_REGS; i++)
{
if (IMMEDIATES[i].text)
{
free(IMMEDIATES[i].text);
IMMEDIATES[i].text = NULL;
}
}
}
void DecompileImmediate_Insert(dfunction_t *df, gofs_t ofs, char *knew, QCC_type_t *type)
{
QCC_ddef_t *d;
int nofs;
nofs = DecompileScaleIndex(df, ofs);
if (IMMEDIATES[nofs].text)
{
// fprintf(Decompileofile, "/*WARNING: Discarding \"%s\"/", IMMEDIATES[nofs]);
free(IMMEDIATES[nofs].text);
IMMEDIATES[nofs].text = NULL;
}
d = GlobalAtOffset(df, ofs);
if (d && d->s_name)// && strcmp(strings+d->s_name, "IMMEDIATE"))
{ //every operator has a src (or two) and a dest.
//many compilers optimise by using the dest of a maths/logic operator to store to a local/global
//they then skip off the storeopcode.
//without this, we would never see these stores.
IMMEDIATES[nofs].text = NULL;
IMMEDIATES[nofs].type = NULL;
QCC_CatVFile(Decompileofile, "%s = %s;\n", strings + d->s_name, knew);
}
else
{
IMMEDIATES[nofs].text = (char *)malloc(strlen(knew) + 1);
strcpy(IMMEDIATES[nofs].text, knew);
IMMEDIATES[nofs].type = type;
}
}
char *DecompileImmediate_Get(dfunction_t *df, gofs_t ofs, QCC_type_t *req_t)
{
char *res;
gofs_t nofs;
nofs = DecompileScaleIndex(df, ofs);
// printf("DecompileImmediate - Index scale: %i -> %i.\n", ofs, nofs);
// insert at nofs
if (IMMEDIATES[nofs].text)
{
// printf("DecompileImmediate - Reading \"%s\" at index %i.\n", IMMEDIATES[nofs], nofs);
if (IMMEDIATES[nofs].type == type_vector && req_t == type_float)
{
res = (char *)malloc(strlen(IMMEDIATES[nofs].text) + 4);
if (strchr(IMMEDIATES[nofs].text, '('))
sprintf(res, "%s[0]", IMMEDIATES[nofs].text);
else
sprintf(res, "%s_x", IMMEDIATES[nofs].text);
}
else
{
res = (char *)malloc(strlen(IMMEDIATES[nofs].text) + 1);
strcpy(res, IMMEDIATES[nofs].text);
}
return res;
}
else
{ //you are now entering the hack zone.
char temp[8192];
switch(req_t?req_t->type:-1)
{
case ev_void: //for lack of any better ideas.
case ev_float:
if ((float)(int)pr_globals[ofs] == pr_globals[ofs])
QC_snprintfz(temp, sizeof(temp), "%i", (int)(pr_globals[ofs]));
else if ((*(int*)&pr_globals[ofs] & 0x7f800000) || !(*(int*)&pr_globals[ofs] & 0x7fffffff))
QC_snprintfz(temp, sizeof(temp), "%f", pr_globals[ofs]);
else
QC_snprintfz(temp, sizeof(temp), "%%%i", *(int*)&pr_globals[ofs]);
if (pr_globals[ofs] == 0 || ((int*)pr_globals)[ofs] < 0 || ((int*)pr_globals)[ofs] >= strofs || strcmp(temp, "0.000000"))
break;
// printf("Hey! That's not a float! error in %s\n", strings + df->s_name);
// printf("%f could be %s\n", pr_globals[ofs], &strings[((int*)pr_globals)[ofs]]);
case ev_string:
{
const char *in;
char *out;
if (((int*)pr_globals)[ofs] < 0 || ((int*)pr_globals)[ofs] > strofs)
{
printf("Hey! That's not a string! error in %s\n", strings + df->s_name);
QC_snprintfz(temp, sizeof(temp), "%f", pr_globals[ofs]);
break;
}
in = &strings[((int*)pr_globals)[ofs]];
out = temp;
if (req_t->type != ev_string)
{
QC_snprintfz(temp, sizeof(temp), "/*%i*/", ((int*)pr_globals)[ofs]);
out += strlen(out);
}
*out++ = '\"';
while (*in)
{
if (*in == '\"')
{
*out++ = '\\';
*out++ = '\"';
in++;
}
else if (*in == '\n')
{
*out++ = '\\';
*out++ = 'n';
in++;
}
else if (*in == '\\')
{
*out++ = '\\';
*out++ = '\\';
in++;
}
else if (*in == '\r')
{
*out++ = '\\';
*out++ = 'r';
in++;
}
else if (*in == '\a')
{
*out++ = '\\';
*out++ = 'a';
in++;
}
else if (*in == '\b')
{
*out++ = '\\';
*out++ = 'b';
in++;
}
else if (*in == '\f')
{
*out++ = '\\';
*out++ = 'f';
in++;
}
else if (*in == '\t')
{
*out++ = '\\';
*out++ = 't';
in++;
}
else if (*in == '\v')
{
*out++ = '\\';
*out++ = 'v';
in++;
}
else
*out++ = *in++;
}
*out++ = '\"';
*out++ = '\0';
}
break;
case ev_vector:
QC_snprintfz(temp, sizeof(temp), "\'%f %f %f\'", pr_globals[ofs],pr_globals[ofs+1],pr_globals[ofs+2]);
break;
// case ev_quat:
// QC_snprintfz(temp, sizeof(temp), "\'%f %f %f %f\'", pr_globals[ofs],pr_globals[ofs+1],pr_globals[ofs+2],pr_globals[ofs+3]);
// break;
case ev_integer:
QC_snprintfz(temp, sizeof(temp), "%ii", ((int*)pr_globals)[ofs]);
break;
// case ev_uinteger:
// QC_snprintfz(temp, sizeof(temp), "%uu", ((int*)pr_globals)[ofs]);
// break;
case ev_pointer:
QC_snprintfz(temp, sizeof(temp), "(__variant*)0x%xi", ((int*)pr_globals)[ofs]);
break;
case ev_function:
if (!((int*)pr_globals)[ofs])
QC_snprintfz(temp, sizeof(temp), "__NULL__/*func*/");
else if (((int*)pr_globals)[ofs] > 0 && ((int*)pr_globals)[ofs] < numfunctions && functions[((int*)pr_globals)[ofs]].s_name>0)
QC_snprintfz(temp, sizeof(temp), "%s/*immediate*/", strings+functions[((int*)pr_globals)[ofs]].s_name);
else
QC_snprintfz(temp, sizeof(temp), "((__variant(...))%i)", ((int*)pr_globals)[ofs]);
break;
case ev_entity:
if (!pr_globals[ofs])
QC_snprintfz(temp, sizeof(temp), "((entity)__NULL__)");
else
QC_snprintfz(temp, sizeof(temp), "(entity)%i", ((int*)pr_globals)[ofs]);
break;
case ev_field:
if (!pr_globals[ofs])
QC_snprintfz(temp, sizeof(temp), "((.void)__NULL__)");
else
QC_snprintfz(temp, sizeof(temp), "/*field %s*/%i", DecompileGetFieldNameIdxByFinalOffset(((int*)pr_globals)[ofs]), ((int*)pr_globals)[ofs]);
break;
default:
QC_snprintfz(temp, sizeof(temp), "FIXME");
break;
}
res = (char *)malloc(strlen(temp) + 1);
strcpy(res, temp);
return res;
}
return NULL;
}
char *DecompileGet(dfunction_t *df, gofs_t ofs, QCC_type_t *req_t)
{
char *farg1;
/*if (req_t == &def_short)
{
char temp[16];
QC_snprintfz(temp, sizeof(temp), "%i", ofs);
return strdup(temp);
}*/
farg1 = NULL;
farg1 = DecompileGlobal(df, ofs, req_t);
if (farg1 == NULL)
farg1 = DecompileImmediate_Get(df, ofs, req_t);
return farg1;
}
void DecompilePrintStatement(dstatement_t *s);
void DecompileIndent(int c)
{
int i;
if (c < 0)
c = 0;
for (i = 0; i < c; i++)
{
QCC_CatVFile(Decompileofile, "\t");
}
}
void DecompileOpcode(dfunction_t *df, int a, int b, int c, char *opcode, QCC_type_t *typ1, QCC_type_t *typ2, QCC_type_t *typ3, int usebrackets, int *indent)
{
static char line[512];
char *arg1, *arg2, *arg3;
arg1 = DecompileGet(df, a, typ1);
arg2 = DecompileGet(df, b, typ2);
arg3 = DecompileGlobal(df, c, typ3);
if (arg3)
{
DecompileIndent(*indent);
if (usebrackets)
QCC_CatVFile(Decompileofile, "%s = %s %s %s;\n", arg3, arg1, opcode, arg2);
else
QCC_CatVFile(Decompileofile, "%s = %s%s%s;\n", arg3, arg1, opcode, arg2);
}
else
{
if (usebrackets)
QC_snprintfz(line, sizeof(line), "(%s %s %s)", arg1, opcode, arg2);
else
QC_snprintfz(line, sizeof(line), "%s%s%s", arg1, opcode, arg2);
DecompileImmediate_Insert(df, c, line, typ3);
}
}
void DecompileDecompileStatement(dfunction_t * df, dstatement_t * s, int *indent)
{
static char line[8192];
static char fnam[512];
char *arg1, *arg2, *arg3;
int nargs, i, j;
dstatement_t *t;
unsigned int dom, doc, ifc, tom;
QCC_type_t *typ1, *typ2, *typ3;
QCC_ddef_t *par;
dstatement_t *k;
int dum;
arg1 = arg2 = arg3 = NULL;
line[0] = '\0';
fnam[0] = '\0';
dom = s->op;
doc = dom / OP_MARK_END_DO;
ifc = (dom % OP_MARK_END_DO) / OP_MARK_END_ELSE;
// use program flow information
for (i = 0; i < ifc; i++)
{
(*indent)--;
DecompileIndent(*indent);
QCC_CatVFile(Decompileofile, "}\n");//FrikaC style modification
}
for (i = 0; i < doc; i++)
{
DecompileIndent(*indent);
QCC_CatVFile(Decompileofile, "do\n");
DecompileIndent(*indent);
QCC_CatVFile(Decompileofile, "{\n");
(*indent)++;
}
/*
* remove all program flow information
*/
s->op %= OP_MARK_END_ELSE;
typ1 = pr_opcodes[s->op].type_a?*pr_opcodes[s->op].type_a:NULL;
typ2 = pr_opcodes[s->op].type_b?*pr_opcodes[s->op].type_b:NULL;
typ3 = pr_opcodes[s->op].type_c?*pr_opcodes[s->op].type_c:NULL;
/*
* printf("DecompileDecompileStatement - decompiling %i (%i):\n",(int)(s - statements),dom);
* DecompilePrintStatement (s);
*/
/*
* states are handled at top level
*/
if (s->op == OP_DONE)
{
}
else if (s->op == OP_BOUNDCHECK)
{
/*these are auto-generated as a sideeffect. currently there is no syntax to explicitly use one (other than asm), but we don't want to polute the code when they're autogenerated, so ditch them all*/
}
else if (s->op == OP_STATE)
{
par = DecompileGetParameter(s->a);
if (!par)
{
printf("Error - Can't determine frame number.\n");
exit(1);
}
arg2 = DecompileGet(df, s->b, NULL);
if (!arg2)
{
printf("Error - No state parameter with offset %i.\n", s->b);
exit(1);
}
DecompileIndent(*indent);
QCC_CatVFile(Decompileofile, "state [ %s, %s ];\n", DecompileValueString((etype_t)(par->type), &pr_globals[par->ofs]), arg2);
// free(arg2);
}
else if (s->op == OP_RETURN/* || s->op == OPQF_RETURN_V*/)
{
DecompileIndent(*indent);
QCC_CatVFile(Decompileofile, "return");
if (s->a)
{
QCC_CatVFile(Decompileofile, " ");
arg1 = DecompileGet(df, s->a, type_void); //FIXME: we should know the proper type better than this.
QCC_CatVFile(Decompileofile, "(%s)", arg1);
}
QCC_CatVFile(Decompileofile, ";\n");
}
else if ((OP_MUL_F <= s->op && s->op <= OP_SUB_V) ||
(OP_EQ_F <= s->op && s->op <= OP_GT_F) ||
(OP_AND_F <= s->op && s->op <= OP_BITOR_F)
/*|| pr_opcodes[s->op].associative == ASSOC_LEFT*/)
{
DecompileOpcode(df, s->a, s->b, s->c, pr_opcodes[s->op].name, typ1, typ2, typ3, true, indent);
}
else if (OP_GLOBALADDRESS == s->op)
{
arg1 = DecompileGet(df, s->a, typ1);
arg2 = DecompileGet(df, s->b, typ2);
arg3 = DecompileGlobal(df, s->c, typ3);
if (arg3)
{
DecompileIndent(*indent);
if (s->b)
QCC_CatVFile(Decompileofile, "%s = &%s[%s];\n", arg3, arg1, arg2);
else
QCC_CatVFile(Decompileofile, "%s = &%s;\n", arg3, arg1);
}
else
{
if (s->b)
QC_snprintfz(line, sizeof(line), "%s[%s]", arg1, arg2);
else
QC_snprintfz(line, sizeof(line), "%s", arg1);
DecompileImmediate_Insert(df, s->c, line, typ3);
}
}
else if ((OP_LOAD_F <= s->op && s->op <= OP_ADDRESS) || s->op == OP_LOAD_P || s->op == OP_LOAD_I)
{
if (s->op == OP_ADDRESS)
{
QCC_ddef_t *def = GlobalAtOffset(df, s->b);
if (def && DecompileGetFieldTypeByDef(def) == ev_vector)
typ3 = type_vector;
}
type_field->aux_type = typ3;
DecompileOpcode(df, s->a, s->b, s->c, ".", typ1, typ2, typ3, false, indent);
type_field->aux_type = NULL;
}
else if ((OP_LOADA_F <= s->op && s->op <= OP_LOADA_I))// || (OPQF_LOADBI_F <= s->op && s->op <= OPQF_LOADBI_P))
{
static char line[512];
char *arg1, *arg2, *arg3;
arg1 = DecompileGet(df, s->a, typ1);
arg2 = DecompileGet(df, s->b, typ2);
arg3 = DecompileGlobal(df, s->c, typ3);
if (arg3)
{
DecompileIndent(*indent);
QCC_CatVFile(Decompileofile, "%s = %s[%s];\n", arg3, arg1, arg2);
}
else
{
QC_snprintfz(line, sizeof(line), "%s[%s]", arg1, arg2);
DecompileImmediate_Insert(df, s->c, line, typ3);
}
}
else if ((OP_STORE_F <= s->op && s->op <= OP_STORE_FNC) || s->op == OP_STORE_I || s->op == OP_STORE_P)
{
QCC_type_t *parmtype=NULL;
if (s->b >= ofs_parms[0] && s->b < ofs_parms[7]+ofs_size)
{ //okay, so typ1 might not be what the store type says it should be.
k = s+1;
while(k->op%OP_MARK_END_ELSE)
{
if ((k->op >= OP_CALL0 && k->op <= OP_CALL8) || (k->op >= OP_CALL1H && k->op <= OP_CALL8H))
{
//well, this is it.
int fn;
int pn;
dfunction_t *cf;
QCC_ddef_t *def;
fn = ((int*)pr_globals)[k->a];
cf = &functions[fn];
if (cf->first_statement<=0 && cf->first_statement > -(signed)(sizeof(builtins)/sizeof(builtins[0]))) //builtins don't have this info.
{
QCC_type_t **p = builtins[-cf->first_statement].params[(s->b-ofs_parms[0])/ofs_size];
parmtype = p?*p:NULL;
}
else
{
fn = cf->parm_start;
for (pn = 0; pn < (s->b-ofs_parms[0])/ofs_size; pn++)
fn += cf->parm_size[pn];
def = DecompileGetParameter(fn);
if (def)
{
switch(def->type)
{
case ev_float:
parmtype = type_float;
break;
case ev_string:
parmtype = type_string;
break;
case ev_vector:
parmtype = type_vector;
break;
case ev_entity:
parmtype = type_entity;
break;
case ev_function:
parmtype = type_function;
break;
case ev_integer:
parmtype = type_integer;
break;
// case ev_uinteger:
// parmtype = type_uinteger;
// break;
// case ev_quat:
// parmtype = type_quat;
// break;
default:
// parmtype = type_float;
break;
}
}
}
break;
}
else if (OP_STORE_F <= s->op && s->op <= OP_STORE_FNC)
{
if (k->b < s->b) //whoops... older QCCs can nest things awkwardly.
break;
}
k++;
}
}
if (parmtype)
arg1 = DecompileGet(df, s->a, parmtype);
else
arg1 = DecompileGet(df, s->a, typ1);
arg3 = DecompileGlobal(df, s->b, typ2);
if (arg3)
{
DecompileIndent(*indent);
QCC_CatVFile(Decompileofile, "%s = %s;\n", arg3, arg1);
}
else
{
QC_snprintfz(line, sizeof(line), "%s", arg1);
DecompileImmediate_Insert(df, s->b, line, NULL);
}
}
else if (OP_STOREP_F <= s->op && s->op <= OP_STOREP_FNC)
{
arg1 = DecompileGet(df, s->a, typ2);
//FIXME: we need to deal with ref types and other crazyness, so we know whether we need to add * or *& or if we can skip that completely
arg2 = DecompileGet(df, s->b, typ2);
DecompileIndent(*indent);
QCC_CatVFile(Decompileofile, "%s = %s;\n", arg2, arg1);
}
else if (OP_CONV_FTOI == s->op)
{
arg1 = DecompileGet(df, s->a, typ1);
QC_snprintfz(line, sizeof(line), "(int)%s", arg1);
DecompileImmediate_Insert(df, s->c, line, type_integer);
}
else if (OP_RAND0 == s->op)
{
DecompileImmediate_Insert(df, ofs_return, "random()", type_float);
}
else if (OP_RAND1 == s->op)
{
arg1 = DecompileGet(df, s->a, typ1);
QC_snprintfz(line, sizeof(line), "random(%s)", arg1);
DecompileImmediate_Insert(df, ofs_return, line, type_float);
}
else if (OP_RAND2 == s->op)
{
arg1 = DecompileGet(df, s->a, typ1);
arg2 = DecompileGet(df, s->b, typ2);
QC_snprintfz(line, sizeof(line), "random(%s, %s)", arg1, arg2);
DecompileImmediate_Insert(df, ofs_return, line, type_float);
}
else if (OP_NOT_F <= s->op && s->op <= OP_NOT_FNC)
{
arg1 = DecompileGet(df, s->a, typ1);
QC_snprintfz(line, sizeof(line), "!%s", arg1);
DecompileImmediate_Insert(df, s->c, line, type_float);
}
else if ((OP_CALL0 <= s->op && s->op <= OP_CALL8) || (OP_CALL1H <= s->op && s->op <= OP_CALL8H))
{
if (OP_CALL1H <= s->op && s->op <= OP_CALL8H)
nargs = (s->op - OP_CALL1H) + 1;
else
nargs = s->op - OP_CALL0;
arg1 = DecompileGet(df, s->a, type_function);
QC_snprintfz(line, sizeof(line), "%s(", arg1);
QC_snprintfz(fnam, sizeof(fnam), "%s", arg1);
for (i = 0; i < nargs; i++)
{
typ1 = NULL;
if (i == 0 && OP_CALL1H <= s->op && s->op <= OP_CALL8H)
j = s->b;
else if (i == 1 && OP_CALL1H <= s->op && s->op <= OP_CALL8H)
j = s->c;
else
j = ofs_parms[i];
if (arg1)
free(arg1);
arg1 = DecompileGet(df, (gofs_t)j, typ1);
strcat(line, arg1);
if (i < nargs - 1)
strcat(line, ", ");//frikqcc modified
}
strcat(line, ")");
DecompileImmediate_Insert(df, ofs_return, line, NULL);
/*
* if ( ( ( (s+1)->a != 1) && ( (s+1)->b != 1) &&
* ( (s+2)->a != 1) && ( (s+2)->b != 1) ) ||
* ( ((s+1)->op) % OP_MARK_END_ELSE == OP_CALL0 ) ) {
* DecompileIndent(*indent);
* fprintf(Decompileofile,"%s;\n",line);
* }
*/
if ((((s + 1)->a != ofs_return) && ((s + 1)->b != ofs_return) &&
((s + 2)->a != ofs_return) && ((s + 2)->b != ofs_return)) ||
((((s + 1)->op) % OP_MARK_END_ELSE == OP_CALL0) && ((((s + 2)->a != ofs_return)) || ((s + 2)->b != ofs_return))))
{
DecompileIndent(*indent);
QCC_CatVFile(Decompileofile, "%s;\n", line);
}
}
else if (s->op == OP_IF_I || s->op == OP_IFNOT_I ||
s->op == OP_IF_F || s->op == OP_IFNOT_F ||
s->op == OP_IF_S || s->op == OP_IFNOT_S/* || s->op == OPQF_IFA || s->op == OPQF_IFB || s->op == OPQF_IFAE || s->op == OPQF_IFBE*/)
{
arg1 = DecompileGet(df, s->a, type_float); //FIXME: this isn't quite accurate...
arg2 = DecompileGlobal(df, s->a, NULL);
if (s->op == OP_IFNOT_I || s->op == OP_IFNOT_F || s->op == OP_IFNOT_S)
{
lameifnot:
if ((signed int)s->b < 1)
{
// if (arg1)
// free(arg1);
// if (arg2)
// free(arg2);
// if (arg3)
// free(arg3);
return;
printf("Found a negative IFNOT jump.\n");
exit(1);
}
/*
* get instruction right before the target
*/
t = s + (signed int)s->b - 1;
tom = t->op % OP_MARK_END_ELSE;
if (tom != OP_GOTO)
{
/*
* pure if
*/
DecompileIndent(*indent);
QCC_CatVFile(Decompileofile, "if (%s)\n", arg1);//FrikaC modified
DecompileIndent(*indent);
QCC_CatVFile(Decompileofile, "{\n");
(*indent)++;
}
else
{
if ((signed int)t->a > 0)
{
/*
* ite
*/
DecompileIndent(*indent);
QCC_CatVFile(Decompileofile, "if (%s)\n", arg1);//FrikaC modified
DecompileIndent(*indent);
QCC_CatVFile(Decompileofile, "{\n");
(*indent)++;
}
else
{
if (((signed int)t->a + (signed int)s->b) > 1)
{
/*
* pure if
*/
DecompileIndent(*indent);
QCC_CatVFile(Decompileofile, "if (%s)\n", arg1);//FrikaC modified
DecompileIndent(*indent);
QCC_CatVFile(Decompileofile, "{\n");
(*indent)++;
}
else
{
dum = 1;
for (k = t + (signed int)(t->a); k < s; k++)
{
tom = k->op % OP_MARK_END_ELSE;
if (tom == OP_GOTO ||
tom == OP_IF_I || tom == OP_IFNOT_I ||
tom == OP_IF_F || tom == OP_IFNOT_F ||
tom == OP_IF_S || tom == OP_IFNOT_S)
dum = 0;
}
if (dum)
{
DecompileIndent(*indent);
QCC_CatVFile(Decompileofile, "while (%s)\n", arg1);
DecompileIndent(*indent); //FrikaC
QCC_CatVFile(Decompileofile, "{\n");
(*indent)++;
}
else
{
DecompileIndent(*indent);
QCC_CatVFile(Decompileofile, "if (%s)\n", arg1);//FrikaC modified
DecompileIndent(*indent);
QCC_CatVFile(Decompileofile, "{\n");
(*indent)++;
}
}
}
}
}
/*else if (s->op == OPQF_IFA)
{
char *t = arg1;
arg1 = malloc(strlen(arg1)+8);
sprintf(arg1, "(%s) <= 0", t);
free(t);
goto lameifnot;
}
else if (s->op == OPQF_IFAE)
{
char *t = arg1;
arg1 = malloc(strlen(arg1)+7);
sprintf(arg1, "(%s) < 0", t);
free(t);
goto lameifnot;
}
else if (s->op == OPQF_IFB)
{
char *t = arg1;
arg1 = malloc(strlen(arg1)+8);
sprintf(arg1, "(%s) >= 0", t);
free(t);
goto lameifnot;
}
else if (s->op == OPQF_IFBE)
{
char *t = arg1;
arg1 = malloc(strlen(arg1)+7);
sprintf(arg1, "(%s) > 0", t);
free(t);
goto lameifnot;
}*/
else
{
if ((signed int)s->b>0)
{
char *t = arg1;
//if (!...)
arg1 = malloc(strlen(arg1)+2);
sprintf(arg1, "!%s", t);
free(t);
goto lameifnot;
}
else
{
/*
* do ... while
*/
(*indent)--;
QCC_CatVFile(Decompileofile, "\n");
DecompileIndent(*indent);
QCC_CatVFile(Decompileofile, "} while (%s);\n", arg1);
}
}
}
else if (s->op == OPD_GOTO_FORSTART)
{
DecompileIndent(*indent);
QCC_CatVFile(Decompileofile, "do_tail\n", (s-statements) + (signed int)s->a);
DecompileIndent(*indent);
QCC_CatVFile(Decompileofile, "{\n");
(*indent)++;
}
else if (s->op == OPD_GOTO_WHILE1)
{
(*indent)--;
DecompileIndent(*indent);
QCC_CatVFile(Decompileofile, "} while(1);\n");
}
else if (s->op == OP_GOTO)
{
if ((signed int)s->a > 0)
{
/*
* else
*/
(*indent)--;
DecompileIndent(*indent);
QCC_CatVFile(Decompileofile, "}\n");
DecompileIndent(*indent);
QCC_CatVFile(Decompileofile, "else\n");
DecompileIndent(*indent);
QCC_CatVFile(Decompileofile, "{\n");
(*indent)++;
}
else
{
/*
* while
*/
(*indent)--;
DecompileIndent(*indent);
QCC_CatVFile(Decompileofile, "}\n");
}
}
else
{
int op = s->op%OP_MARK_END_ELSE;
if (op <= OP_BITOR_F && pr_opcodes[s->op].opname)
printf("warning: Unknown usage of OP_%s", pr_opcodes[s->op].opname);
else
{
DecompileIndent(*indent);
QCC_CatVFile(Decompileofile, "[OP_%s", pr_opcodes[op].opname);
if (s->a)
QCC_CatVFile(Decompileofile, ", %s", DecompileGet(df, s->a, typ1));
if (s->b)
QCC_CatVFile(Decompileofile, ", %s", DecompileGet(df, s->b, typ1));
if (s->c)
QCC_CatVFile(Decompileofile, ", %s", DecompileGet(df, s->c, typ1));
QCC_CatVFile(Decompileofile, "]\n");
printf("warning: Unknown opcode %i in %s\n", op, strings + df->s_name);
}
}
// printf("DecompileDecompileStatement - Current line is \"%s\"\n", line);
if (arg1)
free(arg1);
if (arg2)
free(arg2);
if (arg3)
free(arg3);
return;
}
boolean DecompileDecompileFunction(dfunction_t * df, dstatement_t *altdone)
{
dstatement_t *ds;
int indent;
// Initialize
DecompileImmediate_Free();
indent = 1;
ds = statements + df->first_statement;
if(ds->op == OP_STATE)
ds++;
while (1)
{
if (ds == altdone)
{
//decompile the dummy done, cos we can
DecompileDecompileStatement(df, statements, &indent);
break;
}
DecompileDecompileStatement(df, ds, &indent);
if (!ds->op)
break;
ds++;
}
if (indent != 1)
{
printf("warning: Indentation structure corrupt (in func %s)\n", strings+df->s_name);
return false;
}
return true;
}
char *DecompileString(int qcstring)
{
static char buf[8192];
char *s;
int c = 1;
const char *string = strings+qcstring;
if (qcstring < 0 || qcstring >= strofs)
return "Invalid String";
s = buf;
*s++ = '"';
while (string && *string)
{
if (c == sizeof(buf) - 2)
break;
if (*string == '\n')
{
*s++ = '\\';
*s++ = 'n';
c++;
}
else if (*string == '"')
{
*s++ = '\\';
*s++ = '"';
c++;
}
else
{
*s++ = *string;
c++;
}
string++;
if (c > (int)(sizeof(buf) - 10))
{
*s++ = '.';
*s++ = '.';
*s++ = '.';
c += 3;
break;
}
}
*s++ = '"';
*s++ = 0;
return buf;
}
char *DecompileValueString(etype_t type, void *val)
{
static char line[8192];
line[0] = '\0';
switch (type)
{
case ev_string:
QC_snprintfz(line, sizeof(line), "%s", DecompileString(*(int *)val));
break;
case ev_void:
QC_snprintfz(line, sizeof(line), "void");
break;
case ev_float:
if (*(float *)val > 999999 || *(float *)val < -999999) // ugh
QC_snprintfz(line, sizeof(line), "%.f", *(float *)val);
else if ((!(*(int*)val & 0x7f800000) || (*(int*)val & 0x7f800000)==0x7f800000) && (*(int*)val & 0x7fffffff))
QC_snprintfz(line, sizeof(line), "%%%i", *(int*)val);
else if ((*(float *)val < 0.001) && (*(float *)val > 0))
QC_snprintfz(line, sizeof(line), "%.6f", *(float *)val);
else
QC_snprintfz(line, sizeof(line), "%g", *(float *)val);
break;
case ev_vector:
QC_snprintfz(line, sizeof(line), "'%g %g %g'", ((float *)val)[0], ((float *)val)[1], ((float *)val)[2]);
break;
// case ev_quat:
// QC_snprintfz(line, sizeof(line), "'%g %g %g %g'", ((float *)val)[0], ((float *)val)[1], ((float *)val)[2], ((float *)val)[3]);
// break;
case ev_field:
DecompileGetFieldNameIdxByFinalOffset2(line, sizeof(line), *(int *)val);
break;
case ev_entity:
QC_snprintfz(line, sizeof(line), "(entity)%ii", *(int *)val);
break;
case ev_integer:
QC_snprintfz(line, sizeof(line), "%ii", *(int *)val);
break;
// case ev_uinteger:
// QC_snprintfz(line, sizeof(line), "%uu", *(int *)val);
// break;
case ev_pointer:
QC_snprintfz(line, sizeof(line), "(__variant*)0x%xi", *(int *)val);
break;
case ev_function:
if (*(int *)val>0 && *(int *)val<numfunctions)
QC_snprintfz(line, sizeof(line), "(/*func 0x%x*/%s)", *(int *)val, strings+functions[*(int *)val].s_name);
else
QC_snprintfz(line, sizeof(line), "((void())0x%xi)", *(int *)val);
break;
default:
QC_snprintfz(line, sizeof(line), "bad type %i", type);
break;
}
return line;
}
char *DecompilePrintParameter(QCC_ddef_t * def)
{
static char line[128];
static char debug[128];
line[0] = '0';
if (debug_offs)
{
QC_snprintfz(debug, sizeof(debug), " /*@%i*/", def->ofs);
}
else
*debug = 0;
if (!strings[def->s_name]) //null string...
{
QC_snprintfz(line, sizeof(line), "%s _p_%i%s", type_name(def), def->ofs, debug);
}
else if (!strcmp(strings + def->s_name, "IMMEDIATE") || !strcmp(strings + def->s_name, ".imm"))
{
QC_snprintfz(line, sizeof(line), "%s%s", DecompileValueString((etype_t)(def->type), &pr_globals[def->ofs]), debug);
}
else
{
QC_snprintfz(line, sizeof(line), "%s %s%s", type_name(def), strings + def->s_name, debug);
}
return line;
}
//we only work with prior fields.
const char *GetMatchingField(QCC_ddef_t *field)
{
int i;
QCC_ddef_t *def;
int ld, lf;
def = NULL;
for (i = 0; i < numglobaldefs; i++)
{
def = &globals[i];
if ((def->type&~DEF_SAVEGLOBAL) == ev_field)
{
if (((int*)pr_globals)[def->ofs] == field->ofs)
{
if (!strcmp(strings+def->s_name, strings+field->s_name))
break; //found ourself, give up.
lf = strlen(strings + field->s_name);
ld = strlen(strings + def->s_name);
if (lf - 2 == ld)
{
if ((strings + field->s_name)[lf-2] == '_')
if (!strncmp(strings + field->s_name, strings + def->s_name, ld))
break;
}
return def->s_name+strings;
}
}
}
return NULL;
}
QCC_ddef_t *GetField(const char *name)
{
int i;
QCC_ddef_t *d;
if (!*name)
return NULL;
if (*name == '.')
name++; //some idiot _intentionally_ decided to fuck shit up. go them!
for (i = 0; i < numfielddefs; i++)
{
d = &fields[i];
if (!strcmp(strings + d->s_name, name))
return d;
}
return NULL;
}
QCC_ddef_t *DecompileGetParameter(gofs_t ofs)
{
int i;
QCC_ddef_t *def;
def = NULL;
for (i = 0; i < numglobaldefs; i++)
{
def = &globals[i];
if (def->ofs == ofs)
{
return def;
}
}
return NULL;
}
QCC_ddef_t *DecompileFindGlobal(const char *findname)
{
int i;
QCC_ddef_t *def;
const char *defname;
def = NULL;
for (i = 0; i < numglobaldefs; i++)
{
def = &globals[i];
defname = strings + def->s_name;
if (!strcmp(findname, defname))
{
return def;
}
}
return NULL;
}
QCC_ddef_t *DecompileFunctionGlobal(int funcnum)
{
int i;
QCC_ddef_t *def;
def = NULL;
for (i = 0; i < numglobaldefs; i++)
{
def = &globals[i];
if (def->type == ev_function)
{
if (((int*)pr_globals)[def->ofs] == funcnum)
{
return def;
}
}
}
return NULL;
}
void DecompileFunction(const char *name, int *lastglobal)
{
int i, findex, ps;
dstatement_t *ds, *ts, *altdone;
dfunction_t *df;
QCC_ddef_t *par;
char *arg2;
unsigned short dom, tom;
int j, start, end;
QCC_ddef_t *ef;
static char line[8192];
dstatement_t *k;
int dum;
size_t startpos;
const char *matchingfield;
for (i = 1; i < numfunctions; i++)
if (!strcmp(name, strings + functions[i].s_name))
break;
if (i == numfunctions)
{
printf("Fatal Error: No function named \"%s\"\n", name);
exit(1);
}
df = functions + i;
altdone = statements + numstatements;
for (j = i+1; j < numfunctions; j++)
{
if (functions[j].first_statement <= 0)
continue;
altdone = statements + functions[j].first_statement;
break;
}
findex = i;
start = *lastglobal;
// if (dfpred->first_statement <= 0 && df->first_statement > 0)
// start -= 1;
end = df->parm_start;
if (!end)
{
par = DecompileFindGlobal(name);
if (par)
end = par - globals;
}
*lastglobal = max(*lastglobal, end + df->locals);
//print globals leading up to the function.
for (j = start; j < end; j++)
{
par = DecompileGetParameter((gofs_t)j);
if (par)
{
if (par->type & DEF_SAVEGLOBAL)
par->type -= DEF_SAVEGLOBAL;
if (par->type == ev_function)
{
if (strcmp(strings + par->s_name, "IMMEDIATE") && strcmp(strings + par->s_name, ".imm"))
{
if (strcmp(strings + par->s_name, name))
{
int f = ((int*)pr_globals)[par->ofs];
//DecompileGetFunctionIdxByName(strings + par->s_name);
if (f && strcmp(strings+functions[f].s_name, strings + par->s_name))
{
char *s = strrchr(DecompileProfiles[f], ' ');
//happens with void() func = otherfunc;
//such functions thus don't have their own type+body
*s = 0;
QCC_CatVFile(Decompileofile, "var %s %s = %s;\n", DecompileProfiles[f], strings + par->s_name, s+1);
*s = ' ';
}
else
QCC_CatVFile(Decompileofile, "%s;\n", DecompileProfiles[f]);
}
}
}
else if (par->type != ev_pointer)
{
if (strcmp(strings + par->s_name, "IMMEDIATE") && strcmp(strings + par->s_name, ".imm"))
{
if (par->type == ev_field)
{
ef = GetField(strings + par->s_name);
if (!ef)
{
QCC_CatVFile(Decompileofile, "var .unknowntype %s;\n", strings + par->s_name);
printf("Fatal Error: Could not locate a field named \"%s\"\n", strings + par->s_name);
}
else
{
//if (ef->type == ev_vector)
// j += 2;
matchingfield = GetMatchingField(ef);
#ifndef DONT_USE_DIRTY_TRICKS //could try scanning for an op_address+op_storep_fnc pair
if ((ef->type == ev_function) && !strcmp(strings + ef->s_name, "th_pain"))
{
QCC_CatVFile(Decompileofile, ".void(entity attacker, float damage) th_pain;\n");
}
else
#endif
{
if (matchingfield)
QCC_CatVFile(Decompileofile, "var .%s %s = %s;\n", type_name(ef), strings + ef->s_name, matchingfield);
else
QCC_CatVFile(Decompileofile, ".%s %s;\n", type_name(ef), strings + ef->s_name);
// fprintf(Decompileofile, "//%i %i %i %i\n", ef->ofs, ((int*)pr_globals)[ef->ofs], par->ofs, ((int*)pr_globals)[par->ofs]);
}
}
}
else
{
if (par->type == ev_vector)
j += 2;
if (par->type == ev_entity || par->type == ev_void)
{
QCC_CatVFile(Decompileofile, "%s %s;\n", type_name(par), strings + par->s_name);
}
else
{
line[0] = '\0';
QC_snprintfz(line, sizeof(line), "%s", DecompileValueString((etype_t)(par->type), &pr_globals[par->ofs]));
if (IsConstant(par))
{
QCC_CatVFile(Decompileofile, "%s %s = %s;\n", type_name(par), strings + par->s_name, line);
}
else
{
if (pr_globals[par->ofs] != 0)
QCC_CatVFile(Decompileofile, "%s %s /* = %s */;\n", type_name(par), strings + par->s_name, line);
else
QCC_CatVFile(Decompileofile, "%s %s;\n", type_name(par), strings + par->s_name, line);
}
}
}
}
}
}
}
/*
* Check ''local globals''
*/
if (df->first_statement <= 0)
{
QCC_CatVFile(Decompileofile, "%s", DecompileProfiles[findex]);
QCC_CatVFile(Decompileofile, " = #%i; \n", -df->first_statement);
return;
}
ds = statements + df->first_statement;
while (1)
{
dom = (ds->op) % OP_MARK_END_ELSE;
if (!dom || ds == altdone)
break;
else if (dom == OP_GOTO)
{
// check for i-t-e
if ((signed int)ds->a > 0)
{
ts = ds + (signed int)ds->a;
ts->op += OP_MARK_END_ELSE; // mark the end of a if/ite construct
}
else
{
ts = ds + (signed int)ds->a;
//if its a negative goto then it should normally be the end of a while{} loop. if we can't find the while statement itself, then its an infinite loop
for (k = (ts); k < ds; k++)
{
tom = k->op % OP_MARK_END_ELSE;
if (tom == OP_IF_I || tom == OP_IFNOT_I ||
tom == OP_IF_F || tom == OP_IFNOT_F ||
tom == OP_IF_S || tom == OP_IFNOT_S)
{
if (k + (signed int)k->b == ds+1)
break;
}
}
if (k == ds)
{
ds->op += OPD_GOTO_WHILE1-OP_GOTO;
ts->op += OP_MARK_END_DO;
}
}
}
else if (dom == OP_IFNOT_I || dom == OP_IFNOT_F || dom == OP_IFNOT_S)
{
// check for pure if
ts = ds + (signed int)ds->b;
tom = (ts - 1)->op % OP_MARK_END_ELSE;
if (tom != OP_GOTO)
ts->op += OP_MARK_END_ELSE; // mark the end of a if construct
else if ((signed int)(ts - 1)->a < 0)
{
if (((signed int)(ts - 1)->a + (signed int)ds->b) > 1)
{
// pure if
ts->op += OP_MARK_END_ELSE; // mark the end of a if/ite construct
}
else
{
dum = 1;
for (k = (ts - 1) + (signed int)((ts - 1)->a); k < ds; k++)
{
tom = k->op % OP_MARK_END_ELSE;
if (tom == OP_GOTO ||
tom == OP_IF_I || tom == OP_IFNOT_I ||
tom == OP_IF_F || tom == OP_IFNOT_F ||
tom == OP_IF_S || tom == OP_IFNOT_S)
dum = 0;
}
if (!dum)
{
// pure if
ts->op += OP_MARK_END_ELSE; // mark the end of a if/ite construct
}
}
}
}
else if (dom == OP_IF_I || dom == OP_IF_F || dom == OP_IF_S)
{
if ((signed int)ds->b<1)
{
ts = ds + (signed int)ds->b;
//this is some kind of loop, either a while or for.
//if the statement before the 'do' is a forwards goto, and it jumps to within the loop (instead of after), then we have to assume that it is a for loop and not a loop inside an else block.
if ((ts-1)->op%OP_MARK_END_ELSE == OP_GOTO && (signed int)(ts-1)->a > 0 && (ts-1)+(signed int)(ts-1)->a <= ds)
{
(--ts)->op += OPD_GOTO_FORSTART - OP_GOTO;
//because it was earlier, we need to unmark that goto's target as an end_else
ts = ts + (signed int)ts->a;
ts->op -= OP_MARK_END_ELSE;
}
else
ts->op += OP_MARK_END_DO; // mark the start of a do construct
}
else
{
ts = ds + ds->b;
if ((ts-1)->op%OP_MARK_END_ELSE != OP_GOTO)
ts->op += OP_MARK_END_ELSE; // mark the end of an if construct
else if ((signed int)(ts - 1)->a < 0)
{
if (((signed int)(ts - 1)->a + (signed int)ds->b) > 1)
{
// pure if
ts->op += OP_MARK_END_ELSE; // mark the end of a if/ite construct
}
else
{
dum = 1;
for (k = (ts - 1) + (signed int)((ts - 1)->a); k < ds; k++)
{
tom = k->op % OP_MARK_END_ELSE;
if (tom == OP_GOTO ||
tom == OP_IF_I || tom == OP_IFNOT_I ||
tom == OP_IF_F || tom == OP_IFNOT_F ||
tom == OP_IF_S || tom == OP_IFNOT_S)
dum = 0;
}
if (!dum)
{
// pure if
ts->op += OP_MARK_END_ELSE; // mark the end of a if/ite construct
}
}
}
}
}
ds++;
}
/*
* print the prototype
*/
QCC_CatVFile(Decompileofile, "\n%s", DecompileProfiles[findex]);
// handle state functions
ds = statements + df->first_statement;
if (ds->op == OP_STATE)
{
par = DecompileGetParameter(ds->a);
if (!par)
{
static QCC_ddef_t pars;
//must be a global (gotta be a float), create the def as needed
pars.ofs = ds->a;
pars.s_name = "IMMEDIATE"-strings;
pars.type = ev_float;
par = &pars;
// printf("Fatal Error - Can't determine frame number.");
// exit(1);
}
arg2 = DecompileGet(df, ds->b, NULL);
if (!arg2)
{
printf("Fatal Error - No state parameter with offset %i.", ds->b);
exit(1);
}
QCC_CatVFile(Decompileofile, " = [ %s, %s ]", DecompileValueString((etype_t)(par->type), &pr_globals[par->ofs]), arg2);
free(arg2);
}
else
{
QCC_CatVFile(Decompileofile, " =");
}
QCC_CatVFile(Decompileofile, "\n{\n");
startpos = Decompileofile->fsize;
/*
fprintf(Decompileprofile, "%s", DecompileProfiles[findex]);
fprintf(Decompileprofile, ") %s;\n", name);
*/
/*
* calculate the parameter size
*/
for (j = 0, ps = 0; j < df->numparms; j++)
{
par = DecompileGetParameter((gofs_t)(df->parm_start + ps));
if (par)
{
if (!strings[par->s_name])
{
QC_snprintfz(line, sizeof(line), "_p_%i", par->ofs);
arg2 = malloc(strlen(line)+1);
strcpy(arg2, line);
par->s_name = arg2 - strings;
}
}
ps += df->parm_size[j];
}
/*
* print the locals
*/
if (df->locals > 0)
{
if ((df->parm_start) + df->locals - 1 >= (df->parm_start) + ps)
{
for (i = df->parm_start + ps; i < (df->parm_start) + df->locals; i++)
{
par = DecompileGetParameter((gofs_t)i);
if (!par)
{
// temps, or stripped...
continue;
}
else
{
if (!strcmp(strings + par->s_name, "IMMEDIATE") || !strcmp(strings + par->s_name, ".imm"))
continue; // immediates don't belong
if (!strings[par->s_name])
{
QC_snprintfz(line, sizeof(line), "_l_%i", par->ofs);
arg2 = malloc(strlen(line)+1);
strcpy(arg2, line);
par->s_name = arg2 - strings;
}
if (par->type == ev_function)
{
printf("Warning Fields and functions must be global\n");
}
else
{
if (((int*)pr_globals)[par->ofs])
QCC_CatVFile(Decompileofile, "\tlocal %s = %s;\n", DecompilePrintParameter(par), DecompileValueString(par->type, &pr_globals[par->ofs]));
else
QCC_CatVFile(Decompileofile, "\tlocal %s;\n", DecompilePrintParameter(par));
}
if (par->type == ev_vector)
i += 2;
}
}
QCC_CatVFile(Decompileofile, "\n");
}
}
/*
* do the hard work
*/
if (!DecompileDecompileFunction(df, altdone))
{
QCC_InsertVFile(Decompileofile, startpos, "#error Corrupt Function: %s\n#if 0\n", strings+df->s_name);
QCC_CatVFile(Decompileofile, "#endif\n");
}
QCC_CatVFile(Decompileofile, "};\n");
}
extern boolean safedecomp;
int fake_name;
char synth_name[1024]; // fake name part2
boolean TrySynthName(const char *first)
{
int i;
// try to figure out the filename
// based on the first function in the file
for (i=0; i < FILELISTSIZE; i+=2)
{
if (!strcmp(filenames[i], first))
{
QC_snprintfz(synth_name, sizeof(synth_name), filenames[i + 1]);
return true;
}
}
return false;
}
void DecompileDecompileFunctions(const char *origcopyright)
{
int i;
unsigned int o;
dfunction_t *d;
boolean bogusname;
vfile_t *f;
char fname[512];
int lastglob = 1;
DecompileCalcProfiles();
AddSourceFile(NULL, "progs.src");
Decompileprogssrc = QCC_AddVFile("progs.src", NULL, 0);
if (!Decompileprogssrc)
{
printf("Fatal Error - Could not open \"progs.src\" for output.\n");
exit(1);
}
QCC_CatVFile(Decompileprogssrc, "./progs.dat\n\n");
QCC_CatVFile(Decompileprogssrc, "#pragma flag enable lax //remove this line once you've fixed up any decompiler bugs...\n");
if (origcopyright)
QCC_CatVFile(Decompileprogssrc, "//#pragma copyright \"%s\"\n", origcopyright);
QCC_CatVFile(Decompileprogssrc, "\n", origcopyright);
for (i = 1; i < numfunctions; i++)
{
d = &functions[i];
fname[0] = '\0';
if (d->s_file <= strofs && d->s_file >= 0)
sprintf(fname, "%s", strings + d->s_file);
// FrikaC -- not sure if this is cool or what?
bogusname = false;
if (strlen(fname) <= 0)
bogusname = true;
else for (o = 0; o < strlen(fname); o++)
{
if ((fname[o] < 'a' || fname[o] > 'z') &&
(fname[o] < '0' || fname[o] > '9') &&
(fname[o] <'A' || fname[o] > 'Z') &&
(fname[o] != '.' && fname[o] != '!' && fname[o] != '_'))
{
if (fname[o] == '/')
fname[o] = '.';
else if (fname[o] == '\\')
fname[o] = '.';
else
{
bogusname = true;
break;
}
}
}
if (bogusname)
{
if (*fname && !DecompileAlreadySeen(fname, NULL))
{
synth_name[0] = 0;
}
if(!TrySynthName(qcva("%s", strings + d->s_name)) && !synth_name[0])
QC_snprintfz(synth_name, sizeof(synth_name), "frik%i.qc", fake_name++);
QC_snprintfz(fname, sizeof(fname), synth_name);
}
else
synth_name[0] = 0;
if (!DecompileAlreadySeen(fname, &f))
{
printf("decompiling %s\n", fname);
compilecb();
QCC_CatVFile(Decompileprogssrc, "%s\n", fname);
}
if (!f)
{
printf("Fatal Error - Could not open \"%s\" for output.\n", fname);
exit(1);
}
Decompileofile = f;
DecompileFunction(strings + d->s_name, &lastglob);
}
}
void DecompileProgsDat(char *name, void *buf, size_t bufsize)
{
char *c = ReadProgsCopyright(buf, bufsize);
if (c)
printf("Copyright: %s\n", c);
PreCompile();
pHash_Get = &Hash_Get;
pHash_GetNext = &Hash_GetNext;
pHash_Add = &Hash_Add;
pHash_RemoveData = &Hash_RemoveData;
Hash_InitTable(&typedeftable, 1024, qccHunkAlloc(Hash_BytesForBuckets(1024)));
maxtypeinfos = 64;
qcc_typeinfo = (void *)malloc(sizeof(QCC_type_t)*maxtypeinfos);
numtypeinfos = 0;
type_void = QCC_PR_NewType("void", ev_void, true);
type_string = QCC_PR_NewType("string", ev_string, true);
type_float = QCC_PR_NewType("float", ev_float, true);
type_vector = QCC_PR_NewType("vector", ev_vector, true);
type_entity = QCC_PR_NewType("entity", ev_entity, true);
type_field = QCC_PR_NewType("__field", ev_field, false);
type_function = QCC_PR_NewType("__function", ev_function, false);
type_function->aux_type = type_void;
type_pointer = QCC_PR_NewType("__pointer", ev_pointer, false);
type_integer = QCC_PR_NewType("__integer", ev_integer, true);
type_variant = QCC_PR_NewType("variant", ev_variant, true);
type_variant = QCC_PR_NewType("__variant", ev_variant, true);
DecompileReadData(name, buf, bufsize);
DecompileDecompileFunctions(c);
printf("Done.");
}
char *DecompileGlobalStringNoContents(gofs_t ofs)
{
int i;
QCC_ddef_t *def;
static char line[128];
line[0] = '0';
QC_snprintfz(line, sizeof(line), "%i(??""?)", ofs);
for (i = 0; i < numglobaldefs; i++)
{
def = &globals[i];
if (def->ofs == ofs)
{
line[0] = '0';
QC_snprintfz(line, sizeof(line), "%i(%s)", def->ofs, strings + def->s_name);
break;
}
}
i = strlen(line);
for (; i < 16; i++)
strcat(line, " ");
strcat(line, " ");
return line;
}
char *DecompileGlobalString(gofs_t ofs)
{
char *s;
int i;
QCC_ddef_t *def;
static char line[128];
line[0] = '0';
QC_snprintfz(line, sizeof(line), "%i(??""?)", ofs);
for (i = 0; i < numglobaldefs; i++)
{
def = &globals[i];
if (def->ofs == ofs)
{
line[0] = '0';
if (!strcmp(strings + def->s_name, "IMMEDIATE") || !strcmp(strings + def->s_name, ".imm"))
{
s = PR_ValueString((etype_t)(def->type), &pr_globals[ofs]);
QC_snprintfz(line, sizeof(line), "%i(%s)", def->ofs, s);
}
else
QC_snprintfz(line, sizeof(line), "%i(%s)", def->ofs, strings + def->s_name);
}
}
i = strlen(line);
for (; i < 16; i++)
strcat(line, " ");
strcat(line, " ");
return line;
}
void DecompilePrintStatement(dstatement_t * s)
{
int i;
printf("%4i : %s ", (int)(s - statements), pr_opcodes[s->op].opname);
i = strlen(pr_opcodes[s->op].opname);
for (; i < 10; i++)
printf(" ");
if (s->op == OP_IF_I || s->op == OP_IFNOT_I ||
s->op == OP_IF_F || s->op == OP_IFNOT_F ||
s->op == OP_IF_S || s->op == OP_IFNOT_S)
printf("%sbranch %i", DecompileGlobalString(s->a), s->b);
else if (s->op == OP_GOTO)
{
printf("branch %i", s->a);
}
else if ((unsigned)(s->op - OP_STORE_F) < 6)
{
printf("%s", DecompileGlobalString(s->a));
printf("%s", DecompileGlobalStringNoContents(s->b));
}
else
{
if (s->a)
printf("%s", DecompileGlobalString(s->a));
if (s->b)
printf("%s", DecompileGlobalString(s->b));
if (s->c)
printf("%s", DecompileGlobalStringNoContents(s->c));
}
printf("\n");
}
void DecompilePrintFunction(char *name)
{
int i;
dstatement_t *ds;
dfunction_t *df;
for (i = 0; i < numfunctions; i++)
if (!strcmp(name, strings + functions[i].s_name))
break;
if (i == numfunctions)
{
printf("Fatal Error: No function names \"%s\"\n", name);
exit(1);
}
df = functions + i;
printf("Statements for %s:\n", name);
ds = statements + df->first_statement;
while (1)
{
DecompilePrintStatement(ds);
if (!ds->op)
break;
ds++;
}
}
View git blame Copy permalink