darkplaces/gmqcc
0
0
Fork 0
mirror of https://github.com/DarkPlacesEngine/gmqcc.git synced 2025-03-22 10:41:43 +00:00
Code Issues Projects Releases Packages Wiki Activity

ir_function_pass_minor: some minor optimizations

Browse source
This commit is contained in:
Wolfgang (Blub) Bumiller 2012-12-05 14:14:35 +01:00
parent 8777624fe2
commit fe150aee72
1 changed files with 73 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

73
ir.c
View file

@ -529,6 +529,72 @@ ir_block* ir_function_create_block(lex_ctx ctx, ir_function *self, const char *l
return bn;
}
static bool instr_is_operation(uint16_t op)
{
return ( (op >= INSTR_MUL_F && op <= INSTR_GT) ||
(op >= INSTR_LOAD_F && op <= INSTR_LOAD_FNC) ||
(op == INSTR_ADDRESS) ||
(op >= INSTR_NOT_F && op <= INSTR_NOT_FNC) ||
(op >= INSTR_AND && op <= INSTR_BITOR) );
}
bool ir_function_pass_minor(ir_function *self)
{
size_t b;
for (b = 0; b < vec_size(self->blocks); ++b) {
size_t i;
ir_block *block = self->blocks[b];
if (vec_size(block->instr) < 2)
continue;
for (i = 1; i < vec_size(block->instr); ++i) {
ir_instr *store;
ir_instr *oper;
ir_value *value;
store = block->instr[i];
if (store->opcode < INSTR_STORE_F ||
store->opcode > INSTR_STORE_FNC)
{
continue;
}
oper = block->instr[i-1];
if (!instr_is_operation(oper->opcode))
continue;
value = oper->_ops[0];
/* only do it for SSA values */
if (value->store != store_value)
continue;
/* don't optimize out the temp if it's used later again */
if (vec_size(value->reads) != 1)
continue;
/* The very next store must use this value */
if (value->reads[0] != store)
continue;
/* And of course the store must _read_ from it, so it's in
* OP 1 */
if (store->_ops[1] != value)
continue;
++optimization_count[OPTIM_MINOR];
oper->_ops[0] = store->_ops[0];
vec_remove(block->instr, i, 1);
ir_instr_delete(store);
}
}
return true;
}
bool ir_function_pass_tailcall(ir_function *self)
{
size_t b, p;
@ -621,6 +687,13 @@ bool ir_function_finalize(ir_function *self)
if (self->builtin)
return true;
if (OPTS_OPTIMIZATION(OPTIM_MINOR)) {
if (!ir_function_pass_minor(self)) {
irerror(self->context, "generic optimization pass broke something in `%s`", self->name);
return false;
}
}
if (OPTS_OPTIMIZATION(OPTIM_TAIL_RECURSION)) {
if (!ir_function_pass_tailcall(self)) {
irerror(self->context, "tailcall optimization pass broke something in `%s`", self->name);