mirrors/qemu
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

tcg: rework liveness analysis

Browse Source 
Rework the liveness analysis by tracking temps that need to go back to
memory in addition to dead temps tracking. This allows to mark output
arguments as "need sync", and to synchronize them back to memory as soon
as they are not written anymore. This way even arguments mapping to
globals can be marked as "dead", avoiding moves to a new register when
input and outputs are aliased.

In addition it means that registers are freed as soon as temps are not
used anymore, instead of waiting for a basic block end or an op with side
effects. This reduces register spilling especially on CPUs with few
registers, and spread the mov over all the TB, increasing the
performances on in-order CPUs.

Reviewed-by: Richard Henderson <rth@twiddle.net>
Signed-off-by: Aurelien Jarno <aurelien@aurel32.net>
This commit is contained in:
Aurelien Jarno 2012-10-09 21:53:07 +02:00
parent ec7a869d31
commit 9c43b68de6
1 changed files with 37 additions and 27 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

64
tcg/tcg.c
View File

@ -1180,31 +1180,27 @@ static inline void tcg_set_nop(TCGContext *s, uint16_t *opc_ptr,
} }
} }
/* liveness analysis: end of function: globals are live, temps are /* liveness analysis: end of function: all temps are dead, and globals
dead. */ should be in memory. */
/* XXX: at this stage, not used as there would be little gains because static inline void tcg_la_func_end(TCGContext *s, uint8_t *dead_temps,
most TBs end with a conditional jump. */ uint8_t *mem_temps)
static inline void tcg_la_func_end(TCGContext *s, uint8_t *dead_temps)
{ {
memset(dead_temps, 0, s->nb_globals); memset(dead_temps, 1, s->nb_temps);
memset(dead_temps + s->nb_globals, 1, s->nb_temps - s->nb_globals); memset(mem_temps, 1, s->nb_globals);
memset(mem_temps + s->nb_globals, 0, s->nb_temps - s->nb_globals);
} }
/* liveness analysis: end of basic block: globals are live, temps are /* liveness analysis: end of basic block: all temps are dead, globals
dead, local temps are live. */ and local temps should be in memory. */
static inline void tcg_la_bb_end(TCGContext *s, uint8_t *dead_temps) static inline void tcg_la_bb_end(TCGContext *s, uint8_t *dead_temps,
uint8_t *mem_temps)
{ {
int i; int i;
TCGTemp *ts;
memset(dead_temps, 0, s->nb_globals); memset(dead_temps, 1, s->nb_temps);
ts = &s->temps[s->nb_globals]; memset(mem_temps, 1, s->nb_globals);
for(i = s->nb_globals; i < s->nb_temps; i++) { for(i = s->nb_globals; i < s->nb_temps; i++) {
if (ts->temp_local) mem_temps[i] = s->temps[i].temp_local;
dead_temps[i] = 0;
else
dead_temps[i] = 1;
ts++;
} }
} }
@ -1217,7 +1213,7 @@ static void tcg_liveness_analysis(TCGContext *s)
TCGOpcode op; TCGOpcode op;
TCGArg *args; TCGArg *args;
const TCGOpDef *def; const TCGOpDef *def;
uint8_t *dead_temps; uint8_t *dead_temps, *mem_temps;
uint16_t dead_args; uint16_t dead_args;
uint8_t sync_args; uint8_t sync_args;
@ -1229,7 +1225,8 @@ static void tcg_liveness_analysis(TCGContext *s)
s->op_sync_args = tcg_malloc(nb_ops * sizeof(uint8_t)); s->op_sync_args = tcg_malloc(nb_ops * sizeof(uint8_t));
dead_temps = tcg_malloc(s->nb_temps); dead_temps = tcg_malloc(s->nb_temps);
memset(dead_temps, 1, s->nb_temps); mem_temps = tcg_malloc(s->nb_temps);
tcg_la_func_end(s, dead_temps, mem_temps);
args = gen_opparam_ptr; args = gen_opparam_ptr;
op_index = nb_ops - 1; op_index = nb_ops - 1;
@ -1253,8 +1250,9 @@ static void tcg_liveness_analysis(TCGContext *s)
if (call_flags & TCG_CALL_PURE) { if (call_flags & TCG_CALL_PURE) {
for(i = 0; i < nb_oargs; i++) { for(i = 0; i < nb_oargs; i++) {
arg = args[i]; arg = args[i];
if (!dead_temps[arg]) if (!dead_temps[arg] || mem_temps[arg]) {
goto do_not_remove_call; goto do_not_remove_call;
}
} }
tcg_set_nop(s, gen_opc_buf + op_index, tcg_set_nop(s, gen_opc_buf + op_index,
args - 1, nb_args); args - 1, nb_args);
@ -1269,12 +1267,17 @@ static void tcg_liveness_analysis(TCGContext *s)
if (dead_temps[arg]) { if (dead_temps[arg]) {
dead_args |= (1 << i); dead_args |= (1 << i);
} }
if (mem_temps[arg]) {
sync_args |= (1 << i);
}
dead_temps[arg] = 1; dead_temps[arg] = 1;
mem_temps[arg] = 0;
} }
if (!(call_flags & TCG_CALL_CONST)) { if (!(call_flags & TCG_CALL_CONST)) {
/* globals are live (they may be used by the call) */ /* globals should go back to memory */
memset(dead_temps, 0, s->nb_globals); memset(dead_temps, 1, s->nb_globals);
memset(mem_temps, 1, s->nb_globals);
} }
/* input args are live */ /* input args are live */
@ -1304,6 +1307,7 @@ static void tcg_liveness_analysis(TCGContext *s)
args--; args--;
/* mark the temporary as dead */ /* mark the temporary as dead */
dead_temps[args[0]] = 1; dead_temps[args[0]] = 1;
mem_temps[args[0]] = 0;
break; break;
case INDEX_op_end: case INDEX_op_end:
break; break;
@ -1369,8 +1373,9 @@ static void tcg_liveness_analysis(TCGContext *s)
if (!(def->flags & TCG_OPF_SIDE_EFFECTS) && nb_oargs != 0) { if (!(def->flags & TCG_OPF_SIDE_EFFECTS) && nb_oargs != 0) {
for(i = 0; i < nb_oargs; i++) { for(i = 0; i < nb_oargs; i++) {
arg = args[i]; arg = args[i];
if (!dead_temps[arg]) if (!dead_temps[arg] || mem_temps[arg]) {
goto do_not_remove; goto do_not_remove;
}
} }
do_remove: do_remove:
tcg_set_nop(s, gen_opc_buf + op_index, args, def->nb_args); tcg_set_nop(s, gen_opc_buf + op_index, args, def->nb_args);
@ -1388,15 +1393,20 @@ static void tcg_liveness_analysis(TCGContext *s)
if (dead_temps[arg]) { if (dead_temps[arg]) {
dead_args |= (1 << i); dead_args |= (1 << i);
} }
if (mem_temps[arg]) {
sync_args |= (1 << i);
}
dead_temps[arg] = 1; dead_temps[arg] = 1;
mem_temps[arg] = 0;
} }
/* if end of basic block, update */ /* if end of basic block, update */
if (def->flags & TCG_OPF_BB_END) { if (def->flags & TCG_OPF_BB_END) {
tcg_la_bb_end(s, dead_temps); tcg_la_bb_end(s, dead_temps, mem_temps);
} else if (def->flags & TCG_OPF_CALL_CLOBBER) { } else if (def->flags & TCG_OPF_CALL_CLOBBER) {
/* globals are live */ /* globals should go back to memory */
memset(dead_temps, 0, s->nb_globals); memset(dead_temps, 1, s->nb_globals);
memset(mem_temps, 1, s->nb_globals);
} }
/* input args are live */ /* input args are live */