mirror of https://github.com/xemu-project/xemu.git
tcg: don't explicitly save globals and temps
The liveness analysis ensures that globals and temps are at the correct state at a basic block end or with an op with side effects. Avoid looping on all temps, this can be time consuming on targets with a lot of globals. Keep an assert in debug mode. Reviewed-by: Richard Henderson <rth@twiddle.net> Signed-off-by: Aurelien Jarno <aurelien@aurel32.net>
This commit is contained in:
parent
7dfd8c6aa1
commit
2c0366f036
12
tcg/tcg.c
12
tcg/tcg.c
|
@ -1648,8 +1648,14 @@ static inline void temp_sync(TCGContext *s, int temp, TCGRegSet allocated_regs)
|
||||||
temporary registers needs to be allocated to store a constant. */
|
temporary registers needs to be allocated to store a constant. */
|
||||||
static inline void temp_save(TCGContext *s, int temp, TCGRegSet allocated_regs)
|
static inline void temp_save(TCGContext *s, int temp, TCGRegSet allocated_regs)
|
||||||
{
|
{
|
||||||
|
#ifdef USE_LIVENESS_ANALYSIS
|
||||||
|
/* The liveness analysis already ensures that globals are back
|
||||||
|
in memory. Keep an assert for safety. */
|
||||||
|
assert(s->temps[temp].val_type == TEMP_VAL_MEM || s->temps[temp].fixed_reg);
|
||||||
|
#else
|
||||||
temp_sync(s, temp, allocated_regs);
|
temp_sync(s, temp, allocated_regs);
|
||||||
temp_dead(s, temp);
|
temp_dead(s, temp);
|
||||||
|
#endif
|
||||||
}
|
}
|
||||||
|
|
||||||
/* save globals to their canonical location and assume they can be
|
/* save globals to their canonical location and assume they can be
|
||||||
|
@ -1676,7 +1682,13 @@ static void tcg_reg_alloc_bb_end(TCGContext *s, TCGRegSet allocated_regs)
|
||||||
if (ts->temp_local) {
|
if (ts->temp_local) {
|
||||||
temp_save(s, i, allocated_regs);
|
temp_save(s, i, allocated_regs);
|
||||||
} else {
|
} else {
|
||||||
|
#ifdef USE_LIVENESS_ANALYSIS
|
||||||
|
/* The liveness analysis already ensures that temps are dead.
|
||||||
|
Keep an assert for safety. */
|
||||||
|
assert(ts->val_type == TEMP_VAL_DEAD);
|
||||||
|
#else
|
||||||
temp_dead(s, i);
|
temp_dead(s, i);
|
||||||
|
#endif
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue