(expand_expr, NOP_EXPR case): If EXPAND_INITIALIZER,

generate ZERO_EXTEND or SIGN_EXTEND; don't emit insns.

(expand_expr): Set LABEL_REF_NONLOCAL_P for nonlocal labels.

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

diff --git a/gcc/expr.c b/gcc/expr.c
index e2c8197..1e4191f 100644 (file)
--- a/gcc/expr.c
+++ b/gcc/expr.c
@@ -3073,6 +3073,7 @@ fixed_type_p (exp)
 
    EXPAND_INITIALIZER is much like EXPAND_SUM except that
    it also marks a label as absolutely required (it can't be dead).
+   It also makes a ZERO_EXTEND or SIGN_EXTEND instead of emitting extend insns.
    This is used for outputting expressions used in initializers.  */
 
 rtx
@@ -3146,8 +3147,11 @@ expand_expr (exp, target, tmode, modifier)
        else if (modifier == EXPAND_INITIALIZER)
          forced_labels = gen_rtx (EXPR_LIST, VOIDmode,
                                   label_rtx (exp), forced_labels);
-       return gen_rtx (MEM, FUNCTION_MODE,
+       temp = gen_rtx (MEM, FUNCTION_MODE,
                        gen_rtx (LABEL_REF, Pmode, label_rtx (exp)));
+       if (function != current_function_decl && function != 0)
+         LABEL_REF_NONLOCAL_P (XEXP (temp, 0)) = 1;
+       return temp;
       }
 
     case PARM_DECL:
@@ -3782,9 +3786,11 @@ expand_expr (exp, target, tmode, modifier)
          /* Return the entire union.  */
          return target;
        }
-      op0 = expand_expr (TREE_OPERAND (exp, 0), NULL_RTX, mode, 0);
+      op0 = expand_expr (TREE_OPERAND (exp, 0), 0, mode, modifier);
       if (GET_MODE (op0) == mode || GET_MODE (op0) == VOIDmode)
        return op0;
+      if (modifier == EXPAND_INITIALIZER)
+       return gen_rtx (unsignedp ? ZERO_EXTEND : SIGN_EXTEND, mode, op0);
       if (flag_force_mem && GET_CODE (op0) == MEM)
        op0 = copy_to_reg (op0);