diff options
Diffstat (limited to 'gcc/function.c')
| -rw-r--r-- | gcc/function.c | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/gcc/function.c b/gcc/function.c index 514d1a6..d3fbd17 100644 --- a/gcc/function.c +++ b/gcc/function.c @@ -1468,6 +1468,20 @@ instantiate_virtual_regs_in_insn (rtx insn) start_sequence (); x = replace_equiv_address (x, addr); + /* It may happen that the address with the virtual reg + was valid (e.g. based on the virtual stack reg, which might + be acceptable to the predicates with all offsets), whereas + the address now isn't anymore, for instance when the address + is still offsetted, but the base reg isn't virtual-stack-reg + anymore. Below we would do a force_reg on the whole operand, + but this insn might actually only accept memory. Hence, + before doing that last resort, try to reload the address into + a register, so this operand stays a MEM. */ + if (!safe_insn_predicate (insn_code, i, x)) + { + addr = force_reg (GET_MODE (addr), addr); + x = replace_equiv_address (x, addr); + } seq = get_insns (); end_sequence (); if (seq) |