diff options
| author | Hans-Peter Nilsson <hp@bitrange.com> | 2001-08-25 21:39:47 +0000 |
|---|---|---|
| committer | Hans-Peter Nilsson <hp@gcc.gnu.org> | 2001-08-25 21:39:47 +0000 |
| commit | cf728d61ac9eab580ca831f1e52584c5b828463a (patch) | |
| tree | 3f04cc547069c87b98593d538db187624b02a7b5 /gcc/reload.c | |
| parent | 6ab16dd9ad5daa079e0ad3312b1324a4dd51b8bb (diff) | |
| download | gcc-cf728d61ac9eab580ca831f1e52584c5b828463a.zip gcc-cf728d61ac9eab580ca831f1e52584c5b828463a.tar.gz gcc-cf728d61ac9eab580ca831f1e52584c5b828463a.tar.bz2 | |
reload1.c (reload): Make all entries in reg_equiv_memory_loc unshared.
* reload1.c (reload): Make all entries in reg_equiv_memory_loc
unshared.
* reload.c (make_memloc): Copy result if it is still
reg_equiv_memory_loc[regno] on return.
(subst_reloads) [ENABLE_CHECKING]: Check that none of
reg_equiv_constant, reg_equiv_memory_loc, reg_equiv_address and
reg_equiv_mem are modified by the substitutions.
From-SVN: r45177
Diffstat (limited to 'gcc/reload.c')
| -rw-r--r-- | gcc/reload.c | 34 |
1 files changed, 33 insertions, 1 deletions
diff --git a/gcc/reload.c b/gcc/reload.c index 73f8b21..0cf5a0e 100644 --- a/gcc/reload.c +++ b/gcc/reload.c @@ -4486,7 +4486,13 @@ make_memloc (ad, regno) tem = copy_rtx (tem); tem = replace_equiv_address_nv (reg_equiv_memory_loc[regno], tem); - return adjust_address_nv (tem, GET_MODE (ad), 0); + tem = adjust_address_nv (tem, GET_MODE (ad), 0); + + /* Copy the result if it's still the same as the equivalence, to avoid + modifying it when we do the substitution for the reload. */ + if (tem == reg_equiv_memory_loc[regno]) + tem = copy_rtx (tem); + return tem; } /* Record all reloads needed for handling memory address AD @@ -5769,6 +5775,32 @@ subst_reloads (insn) register rtx reloadreg = rld[r->what].reg_rtx; if (reloadreg) { +#ifdef ENABLE_CHECKING + /* Internal consistency test. Check that we don't modify + anything in the equivalence arrays. Whenever something from + those arrays needs to be reloaded, it must be unshared before + being substituted into; the equivalence must not be modified. + Otherwise, if the equivalence is used after that, it will + have been modified, and the thing substituted (probably a + register) is likely overwritten and not a usable equivalence. */ + int check_regno; + + for (check_regno = 0; check_regno < max_regno; check_regno++) + { +#define CHECK_MODF(ARRAY) \ + if (ARRAY[check_regno] \ + && loc_mentioned_in_p (r->where, \ + ARRAY[check_regno])) \ + abort () + + CHECK_MODF (reg_equiv_constant); + CHECK_MODF (reg_equiv_memory_loc); + CHECK_MODF (reg_equiv_address); + CHECK_MODF (reg_equiv_mem); +#undef CHECK_MODF + } +#endif /* ENABLE_CHECKING */ + /* If we're replacing a LABEL_REF with a register, add a REG_LABEL note to indicate to flow which label this register refers to. */ |