summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorgeoffk <geoffk@138bc75d-0d04-0410-961f-82ee72b054a4>2000-11-09 17:38:20 +0000
committergeoffk <geoffk@138bc75d-0d04-0410-961f-82ee72b054a4>2000-11-09 17:38:20 +0000
commit83b2aef3ec267ff247aeb25b373128e947eb7283 (patch)
tree591da3e5a035add693d8ea50a5fdceea98190cf5
parentb8b4b02354fa8f99e8ab52796c5bb9b53aaa5bd6 (diff)
downloadgcc-83b2aef3ec267ff247aeb25b373128e947eb7283.tar.gz
* config/sparc/sparc.c (sparc_va_arg): When the required alignment
is more than that provided, copy to a temporary. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@37344 138bc75d-0d04-0410-961f-82ee72b054a4
-rw-r--r--gcc/ChangeLog5
-rw-r--r--gcc/config/sparc/sparc.c37
2 files changed, 36 insertions, 6 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index e63ecbc9cc4..1d81a64fb9b 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2000-11-08 Geoffrey Keating <geoffk@redhat.com>
+
+ * config/sparc/sparc.c (sparc_va_arg): When the required alignment
+ is more than that provided, copy to a temporary.
+
2000-11-09 Alexandre Oliva <aoliva@redhat.com>
* mklibgcc.in (EXTRA_MULTILIB_PARTS): Prevent `make' from
diff --git a/gcc/config/sparc/sparc.c b/gcc/config/sparc/sparc.c
index 8c96a8ace7c..85707e4c31f 100644
--- a/gcc/config/sparc/sparc.c
+++ b/gcc/config/sparc/sparc.c
@@ -4793,12 +4793,6 @@ sparc_va_arg (valist, type)
indirect = 1;
size = rsize = UNITS_PER_WORD;
}
- else
- {
- /* ??? The old va-sparc.h implementation, for 8 byte objects
- copied stuff to a temporary -- I don't see that that
- provides any more alignment than the stack slot did. */
- }
}
incr = valist;
@@ -4825,6 +4819,37 @@ sparc_va_arg (valist, type)
addr_rtx = expand_expr (addr, NULL, Pmode, EXPAND_NORMAL);
+ /* If the address isn't aligned properly for the type,
+ we may need to copy to a temporary.
+ FIXME: This is inefficient. Usually we can do this
+ in registers. */
+ if (align == 0
+ && TYPE_ALIGN (type) > BITS_PER_WORD
+ && !indirect)
+ {
+ /* FIXME: We really need to specify that the temporary is live
+ for the whole function because expand_builtin_va_arg wants
+ the alias set to be get_varargs_alias_set (), but in this
+ case the alias set is that for TYPE and if the memory gets
+ reused it will be reused with alias set TYPE. */
+ rtx tmp = assign_temp (type, 0, 1, 0);
+ rtx dest_addr;
+
+ addr_rtx = force_reg (Pmode, addr_rtx);
+ addr_rtx = gen_rtx_MEM (BLKmode, addr_rtx);
+ MEM_ALIAS_SET (addr_rtx) = get_varargs_alias_set ();
+ tmp = shallow_copy_rtx (tmp);
+ PUT_MODE (tmp, BLKmode);
+ MEM_ALIAS_SET (tmp) = 0;
+
+ dest_addr = emit_block_move (tmp, addr_rtx, GEN_INT (rsize),
+ BITS_PER_WORD);
+ if (dest_addr != NULL_RTX)
+ addr_rtx = dest_addr;
+ else
+ addr_rtx = XCEXP (tmp, 0, MEM);
+ }
+
if (indirect)
{
addr_rtx = force_reg (Pmode, addr_rtx);