mirror of
https://github.com/yuzu-emu/unicorn.git
synced 2025-01-22 13:01:05 +00:00
tcg: Move some TCG_CT_* bits to TCGArgConstraint bitfields
These are easier to set and test when they have their own fields. Reduce the size of alias_index and sort_index to 4 bits, which is sufficient for TCG_MAX_OP_ARGS. This leaves only the bits indicating constants within the ct field. Move all initialization to allocation time, rather than init individual fields in process_op_defs. Backports bc2b17e6ea582ef3ade2bdca750de269c674c915
This commit is contained in:
parent
71a34d84e5
commit
7813c57f9e
|
@ -371,7 +371,7 @@ void tcg_context_init(TCGContext *s)
|
||||||
total_args += n;
|
total_args += n;
|
||||||
}
|
}
|
||||||
|
|
||||||
args_ct = g_malloc(sizeof(TCGArgConstraint) * total_args);
|
args_ct = g_new0(TCGArgConstraint, total_args);
|
||||||
|
|
||||||
for(op = 0; op < NB_OPS; op++) {
|
for(op = 0; op < NB_OPS; op++) {
|
||||||
def = &s->tcg_op_defs[op];
|
def = &s->tcg_op_defs[op];
|
||||||
|
@ -1590,7 +1590,7 @@ static int get_constraint_priority(const TCGOpDef *def, int k)
|
||||||
const TCGArgConstraint *arg_ct = &def->args_ct[k];
|
const TCGArgConstraint *arg_ct = &def->args_ct[k];
|
||||||
int n;
|
int n;
|
||||||
|
|
||||||
if (arg_ct->ct & TCG_CT_ALIAS) {
|
if (arg_ct->oalias) {
|
||||||
/* an alias is equivalent to a single register */
|
/* an alias is equivalent to a single register */
|
||||||
n = 1;
|
n = 1;
|
||||||
} else {
|
} else {
|
||||||
|
@ -1653,8 +1653,6 @@ static void process_op_defs(TCGContext *s)
|
||||||
/* Incomplete TCGTargetOpDef entry. */
|
/* Incomplete TCGTargetOpDef entry. */
|
||||||
tcg_debug_assert(ct_str != NULL);
|
tcg_debug_assert(ct_str != NULL);
|
||||||
|
|
||||||
def->args_ct[i].regs = 0;
|
|
||||||
def->args_ct[i].ct = 0;
|
|
||||||
while (*ct_str != '\0') {
|
while (*ct_str != '\0') {
|
||||||
switch(*ct_str) {
|
switch(*ct_str) {
|
||||||
case '0':
|
case '0':
|
||||||
|
@ -1672,18 +1670,18 @@ static void process_op_defs(TCGContext *s)
|
||||||
tcg_debug_assert(ct_str == tdefs->args_ct_str[i]);
|
tcg_debug_assert(ct_str == tdefs->args_ct_str[i]);
|
||||||
tcg_debug_assert(oarg < def->nb_oargs);
|
tcg_debug_assert(oarg < def->nb_oargs);
|
||||||
tcg_debug_assert(def->args_ct[oarg].regs != 0);
|
tcg_debug_assert(def->args_ct[oarg].regs != 0);
|
||||||
/* TCG_CT_ALIAS is for the output arguments.
|
|
||||||
The input is tagged with TCG_CT_IALIAS. */
|
|
||||||
def->args_ct[i] = def->args_ct[oarg];
|
def->args_ct[i] = def->args_ct[oarg];
|
||||||
def->args_ct[oarg].ct |= TCG_CT_ALIAS;
|
/* The output sets oalias. */
|
||||||
|
def->args_ct[oarg].oalias = true;
|
||||||
def->args_ct[oarg].alias_index = i;
|
def->args_ct[oarg].alias_index = i;
|
||||||
def->args_ct[i].ct |= TCG_CT_IALIAS;
|
/* The input sets ialias. */
|
||||||
|
def->args_ct[i].ialias = true;
|
||||||
def->args_ct[i].alias_index = oarg;
|
def->args_ct[i].alias_index = oarg;
|
||||||
}
|
}
|
||||||
ct_str++;
|
ct_str++;
|
||||||
break;
|
break;
|
||||||
case '&':
|
case '&':
|
||||||
def->args_ct[i].ct |= TCG_CT_NEWREG;
|
def->args_ct[i].newreg = true;
|
||||||
ct_str++;
|
ct_str++;
|
||||||
break;
|
break;
|
||||||
case 'i':
|
case 'i':
|
||||||
|
@ -2277,7 +2275,7 @@ static void liveness_pass_1(TCGContext *s)
|
||||||
set = *pset;
|
set = *pset;
|
||||||
|
|
||||||
set &= ct->regs;
|
set &= ct->regs;
|
||||||
if (ct->ct & TCG_CT_IALIAS) {
|
if (ct->ialias) {
|
||||||
set &= op->output_pref[ct->alias_index];
|
set &= op->output_pref[ct->alias_index];
|
||||||
}
|
}
|
||||||
/* If the combination is not possible, restart. */
|
/* If the combination is not possible, restart. */
|
||||||
|
@ -3094,7 +3092,7 @@ static void tcg_reg_alloc_op(TCGContext *s, const TCGOp *op)
|
||||||
}
|
}
|
||||||
|
|
||||||
i_preferred_regs = o_preferred_regs = 0;
|
i_preferred_regs = o_preferred_regs = 0;
|
||||||
if (arg_ct->ct & TCG_CT_IALIAS) {
|
if (arg_ct->ialias) {
|
||||||
o_preferred_regs = op->output_pref[arg_ct->alias_index];
|
o_preferred_regs = op->output_pref[arg_ct->alias_index];
|
||||||
if (ts->fixed_reg) {
|
if (ts->fixed_reg) {
|
||||||
/* if fixed register, we must allocate a new register
|
/* if fixed register, we must allocate a new register
|
||||||
|
@ -3117,8 +3115,7 @@ static void tcg_reg_alloc_op(TCGContext *s, const TCGOp *op)
|
||||||
reg = ts->reg;
|
reg = ts->reg;
|
||||||
for (k2 = 0 ; k2 < k ; k2++) {
|
for (k2 = 0 ; k2 < k ; k2++) {
|
||||||
i2 = def->args_ct[nb_oargs + k2].sort_index;
|
i2 = def->args_ct[nb_oargs + k2].sort_index;
|
||||||
if ((def->args_ct[i2].ct & TCG_CT_IALIAS) &&
|
if (def->args_ct[i2].ialias && reg == new_args[i2]) {
|
||||||
reg == new_args[i2]) {
|
|
||||||
goto allocate_in_reg;
|
goto allocate_in_reg;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
@ -3189,10 +3186,9 @@ static void tcg_reg_alloc_op(TCGContext *s, const TCGOp *op)
|
||||||
/* ENV should not be modified. */
|
/* ENV should not be modified. */
|
||||||
tcg_debug_assert(!ts->fixed_reg);
|
tcg_debug_assert(!ts->fixed_reg);
|
||||||
|
|
||||||
if ((arg_ct->ct & TCG_CT_ALIAS)
|
if (arg_ct->oalias && !const_args[arg_ct->alias_index]) {
|
||||||
&& !const_args[arg_ct->alias_index]) {
|
|
||||||
reg = new_args[arg_ct->alias_index];
|
reg = new_args[arg_ct->alias_index];
|
||||||
} else if (arg_ct->ct & TCG_CT_NEWREG) {
|
} else if (arg_ct->newreg) {
|
||||||
reg = tcg_reg_alloc(s, arg_ct->regs,
|
reg = tcg_reg_alloc(s, arg_ct->regs,
|
||||||
i_allocated_regs | o_allocated_regs,
|
i_allocated_regs | o_allocated_regs,
|
||||||
op->output_pref[k], ts->indirect_base);
|
op->output_pref[k], ts->indirect_base);
|
||||||
|
|
|
@ -618,15 +618,15 @@ int tcg_check_temp_count(void);
|
||||||
|
|
||||||
void tcg_dump_info(void);
|
void tcg_dump_info(void);
|
||||||
|
|
||||||
#define TCG_CT_ALIAS 0x80
|
#define TCG_CT_CONST 1 /* any constant of register size */
|
||||||
#define TCG_CT_IALIAS 0x40
|
|
||||||
#define TCG_CT_NEWREG 0x20 /* output requires a new register */
|
|
||||||
#define TCG_CT_CONST 0x02 /* any constant of register size */
|
|
||||||
|
|
||||||
typedef struct TCGArgConstraint {
|
typedef struct TCGArgConstraint {
|
||||||
uint16_t ct;
|
unsigned ct : 16;
|
||||||
uint8_t alias_index;
|
unsigned alias_index : 4;
|
||||||
uint8_t sort_index;
|
unsigned sort_index : 4;
|
||||||
|
bool oalias : 1;
|
||||||
|
bool ialias : 1;
|
||||||
|
bool newreg : 1;
|
||||||
TCGRegSet regs;
|
TCGRegSet regs;
|
||||||
} TCGArgConstraint;
|
} TCGArgConstraint;
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue