diff options
author | law <law@138bc75d-0d04-0410-961f-82ee72b054a4> | 2000-07-27 01:45:41 +0000 |
---|---|---|
committer | law <law@138bc75d-0d04-0410-961f-82ee72b054a4> | 2000-07-27 01:45:41 +0000 |
commit | f238234360ae3ad3e64442096cb106a599c5c24c (patch) | |
tree | b5fd8f2d6936fa8632e177ad7b97cd1f5be05964 /gcc/reload.c | |
parent | ddea3d03ef9ed0fbea83da50a1d1eaf2d1c6a38d (diff) | |
download | gcc-f238234360ae3ad3e64442096cb106a599c5c24c.tar.gz |
* reload.c (find_reloads_toplev): Reload a paradoxical subreg of a
mem if the address is a mode_dependent_address_p.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@35280 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/reload.c')
-rw-r--r-- | gcc/reload.c | 21 |
1 files changed, 20 insertions, 1 deletions
diff --git a/gcc/reload.c b/gcc/reload.c index f6621d8e6f7..d519708408e 100644 --- a/gcc/reload.c +++ b/gcc/reload.c @@ -4335,6 +4335,25 @@ find_reloads_toplev (x, opnum, type, ind_levels, is_set_dest, insn, x = find_reloads_subreg_address (x, 1, opnum, type, ind_levels, insn); } + else if (code == SUBREG && GET_CODE (SUBREG_REG (x)) == MEM + && (GET_MODE_SIZE (GET_MODE (x)) + > GET_MODE_SIZE (GET_MODE (SUBREG_REG (x)))) + && mode_dependent_address_p (XEXP (SUBREG_REG (x), 0))) + { + /* A paradoxical subreg will simply have the mode of the access + changed, so we need to reload such a memory operand to stabilize + the meaning of the memory access. */ + enum machine_mode subreg_mode = GET_MODE (SUBREG_REG (x)); + + if (is_set_dest) + push_reload (NULL_RTX, SUBREG_REG (x), NULL_PTR, &SUBREG_REG (x), + find_valid_class (subreg_mode, SUBREG_WORD (x)), + VOIDmode, subreg_mode, 0, 0, opnum, type); + else + push_reload (SUBREG_REG (x), NULL_RTX, &SUBREG_REG (x), NULL_PTR, + find_valid_class (subreg_mode, SUBREG_WORD (x)), + subreg_mode, VOIDmode, 0, 0, opnum, type); + } for (copied = 0, i = GET_RTX_LENGTH (code) - 1; i >= 0; i--) { @@ -5530,7 +5549,7 @@ find_reloads_subreg_address (x, force_replace, opnum, type, /* Substitute into the current INSN the registers into which we have reloaded the things that need reloading. The array `replacements' - says contains the locations of all pointers that must be changed + contains the locations of all pointers that must be changed and says what to replace them with. Return the rtx that X translates into; usually X, but modified. */ |