2006-02-01 Paul Brook <paul@codesourcery.com>

	* function.c (assign_parm_setup_reg): Use function argument promotion
	rules.
	* expr.c (expand_expr_real_1): Use function argument promotion rules
	for PARM_DECLs.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@110477 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 4375b7b..d9ebf25 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2006-02-01  Paul Brook  <paul@codesourcery.com>
+
+       * function.c (assign_parm_setup_reg): Use function argument promotion
+       rules.
+       * expr.c (expand_expr_real_1): Use function argument promotion rules
+       for PARM_DECLs.
+
 2006-02-01  Steve Ellcey  <sje@cup.hp.com>
 
        * gcc.c (process_command): Change j to 'unsigned int'.

diff --git a/gcc/expr.c b/gcc/expr.c
index 362ab8b..832cc52 100644 (file)
--- a/gcc/expr.c
+++ b/gcc/expr.c
@@ -6774,7 +6774,8 @@ expand_expr_real_1 (tree exp, rtx target, enum machine_mode tmode,
          /* Get the signedness used for this variable.  Ensure we get the
             same mode we got when the variable was declared.  */
          pmode = promote_mode (type, DECL_MODE (exp), &unsignedp,
-                               (TREE_CODE (exp) == RESULT_DECL ? 1 : 0));
+                               (TREE_CODE (exp) == RESULT_DECL
+                                || TREE_CODE (exp) == PARM_DECL) ? 1 : 0);
          gcc_assert (GET_MODE (DECL_RTL (exp)) == pmode);
 
          temp = gen_lowpart_SUBREG (mode, DECL_RTL (exp));

diff --git a/gcc/function.c b/gcc/function.c
index 9ff5ce6..61ee421 100644 (file)
--- a/gcc/function.c
+++ b/gcc/function.c
@@ -2624,8 +2624,10 @@ assign_parm_setup_reg (struct assign_parm_data_all *all, tree parm,
   /* Store the parm in a pseudoregister during the function, but we may
      need to do it in a wider mode.  */
 
+  /* This is not really promoting for a call.  However we need to be
+     consistent with assign_parm_find_data_types and expand_expr_real_1.  */
   promoted_nominal_mode
-    = promote_mode (data->nominal_type, data->nominal_mode, &unsignedp, 0);
+    = promote_mode (data->nominal_type, data->nominal_mode, &unsignedp, 1);
 
   parmreg = gen_reg_rtx (promoted_nominal_mode);