OSDN Git Service

(ASM_OUTPUT_SECTION_NAME): Make the section read-only executable "ax"
[pf3gnuchains/gcc-fork.git] / gcc / varasm.c
index 641c6b7..a54c5df 100644 (file)
@@ -1,5 +1,5 @@
 /* Output variables, constants and external declarations, for GNU compiler.
-   Copyright (C) 1987, 1988, 1989, 1992, 1993 Free Software Foundation, Inc.
+   Copyright (C) 1987, 88, 89, 92, 93, 94, 1995 Free Software Foundation, Inc.
 
 This file is part of GNU CC.
 
@@ -34,6 +34,7 @@ the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.  */
 #include "flags.h"
 #include "function.h"
 #include "expr.h"
+#include "output.h"
 #include "hard-reg-set.h"
 #include "regs.h"
 #include "defaults.h"
@@ -69,6 +70,7 @@ char *first_global_object_name;
 
 extern struct obstack *current_obstack;
 extern struct obstack *saveable_obstack;
+extern struct obstack *rtl_obstack;
 extern struct obstack permanent_obstack;
 #define obstack_chunk_alloc xmalloc
 
@@ -82,35 +84,67 @@ int const_labelno;
 
 int var_labelno;
 
+/* Carry information from ASM_DECLARE_OBJECT_NAME
+   to ASM_FINISH_DECLARE_OBJECT.  */
+
+int size_directive_output;
+
+/* The last decl for which assemble_variable was called,
+   if it did ASM_DECLARE_OBJECT_NAME.
+   If the last call to assemble_variable didn't do that,
+   this holds 0.  */
+
+tree last_assemble_variable_decl;
+
 /* Nonzero if at least one function definition has been seen.  */
 static int function_defined;
 
-extern FILE *asm_out_file;
-
-static char *compare_constant_1 ();
-static void record_constant_1 ();
-static void output_constant_def_contents ();
-static int contains_pointers_p ();
-
-void output_constant_pool ();
-void assemble_name ();
-int output_addressed_constants ();
-void output_constant ();
-void output_constructor ();
-void output_byte_asm ();
-void text_section ();
-void readonly_data_section ();
-void data_section ();
-static void bc_assemble_integer ();
+struct addr_const;
+struct constant_descriptor;
+struct rtx_const;
+struct pool_constant;
+
+static void bc_make_decl_rtl           PROTO((tree, char *, int));
+static char *strip_reg_name            PROTO((char *));
+static void bc_output_ascii            PROTO((FILE *, char *, int));
+static int contains_pointers_p         PROTO((tree));
+static void decode_addr_const          PROTO((tree, struct addr_const *));
+static int const_hash                  PROTO((tree));
+static int compare_constant            PROTO((tree,
+                                              struct constant_descriptor *));
+static char *compare_constant_1                PROTO((tree, char *));
+static struct constant_descriptor *record_constant PROTO((tree));
+static void record_constant_1          PROTO((tree));
+static tree copy_constant              PROTO((tree));
+static void output_constant_def_contents  PROTO((tree, int, int));
+static void decode_rtx_const           PROTO((enum machine_mode, rtx,
+                                              struct rtx_const *));
+static int const_hash_rtx              PROTO((enum machine_mode, rtx));
+static int compare_constant_rtx                PROTO((enum machine_mode, rtx,
+                                              struct constant_descriptor *));
+static struct constant_descriptor *record_constant_rtx PROTO((enum machine_mode,
+                                                             rtx));
+static struct pool_constant *find_pool_constant PROTO((rtx));
+static int output_addressed_constants  PROTO((tree));
+static void bc_assemble_integer                PROTO((tree, int));
+static void output_constructor         PROTO((tree, int));
 \f
 #ifdef EXTRA_SECTIONS
-static enum in_section {no_section, in_text, in_data, EXTRA_SECTIONS} in_section
+static enum in_section {no_section, in_text, in_data, in_named, EXTRA_SECTIONS} in_section
   = no_section;
 #else
-static enum in_section {no_section, in_text, in_data} in_section
+static enum in_section {no_section, in_text, in_data, in_named} in_section
   = no_section;
 #endif
 
+/* Return a non-zero value if DECL has a section attribute.  */
+#define IN_NAMED_SECTION(DECL) \
+  ((TREE_CODE (DECL) == FUNCTION_DECL || TREE_CODE (DECL) == VAR_DECL) \
+   && DECL_SECTION_NAME (DECL) != NULL_TREE)
+
+/* Text of section name when in_section == in_named.  */
+static char *in_named_name;
+
 /* Define functions like text_section for any extra sections.  */
 #ifdef EXTRA_SECTION_FUNCTIONS
 EXTRA_SECTION_FUNCTIONS
@@ -179,6 +213,54 @@ in_text_section ()
 {
   return in_section == in_text;
 }
+
+/* Tell assembler to change to section NAME for DECL.
+   If DECL is NULL, just switch to section NAME.
+   If NAME is NULL, get the name from DECL.  */
+
+void
+named_section (decl, name)
+     tree decl;
+     char *name;
+{
+  if (decl != NULL_TREE
+      && (TREE_CODE (decl) != FUNCTION_DECL && TREE_CODE (decl) != VAR_DECL))
+    abort ();
+  if (name == NULL)
+    name = TREE_STRING_POINTER (DECL_SECTION_NAME (decl));
+
+  if (in_section != in_named || strcmp (name, in_named_name))
+    {
+      in_named_name = name;
+      in_section = in_named;
+    
+#ifdef ASM_OUTPUT_SECTION_NAME
+      ASM_OUTPUT_SECTION_NAME (asm_out_file, decl, name);
+#else
+      /* Section attributes are not supported if this macro isn't provided -
+        some host formats don't support them at all.  The front-end should
+        already have flagged this as an error.  */
+      abort ();
+#endif
+    }
+}
+
+/* Switch to the section for function DECL.
+
+   If DECL is NULL_TREE, switch to the text section.
+   ??? It's not clear that we will ever be passed NULL_TREE, but it's
+   safer to handle it.  */
+
+void
+function_section (decl)
+     tree decl;
+{
+  if (decl != NULL_TREE
+      && DECL_SECTION_NAME (decl) != NULL_TREE)
+    named_section (decl, (char *) 0);
+ else
+   text_section ();
+}
 \f
 /* Create the rtl to represent a function, for a function definition.
    DECL is a FUNCTION_DECL node which describes which function.
@@ -221,9 +303,7 @@ make_function_rtl (decl)
 
       /* Optionally set flags or add text to the name to record information
         such as that it is a function name.  If the name is changed, the macro
-        ASM_OUTPUT_LABELREF will have to know how to strip this information.
-        And if it finds a * at the beginning after doing so, it must handle
-        that too.  */
+        ASM_OUTPUT_LABELREF will have to know how to strip this information.  */
 #ifdef ENCODE_SECTION_INFO
       ENCODE_SECTION_INFO (decl);
 #endif
@@ -239,7 +319,8 @@ make_function_rtl (decl)
    as the assembler symbol name.
    TOP_LEVEL is nonzero if this is a file-scope variable.
    This is never called for PARM_DECLs.  */
-void
+
+static void
 bc_make_decl_rtl (decl, asmspec, top_level)
      tree decl;
      char *asmspec;
@@ -364,7 +445,7 @@ make_decl_rtl (decl, asmspec, top_level)
      char *asmspec;
      int top_level;
 {
-  register char *name;
+  register char *name = 0;
   int reg_number;
 
   if (output_bytecode)
@@ -442,13 +523,31 @@ make_decl_rtl (decl, asmspec, top_level)
 
          if (top_level)
            {
-             /* Make this register fixed, so not usable for anything else.  */
+             /* Make this register global, so not usable for anything
+                else.  */
              nregs = HARD_REGNO_NREGS (reg_number, DECL_MODE (decl));
              while (nregs > 0)
-               global_regs[reg_number + --nregs] = 1;
-             init_reg_sets_1 ();
+               globalize_reg (reg_number + --nregs);
            }
        }
+      /* Specifying a section attribute on an uninitialized variable does not
+        (and cannot) cause it to be put in the given section.  The linker
+        can only put initialized objects in specific sections, everything
+        else goes in bss for the linker to sort out later (otherwise the
+        linker would give a duplicate definition error for each compilation
+        unit that behaved thusly).  So warn the user.  */
+      else if (TREE_CODE (decl) == VAR_DECL
+              && DECL_SECTION_NAME (decl) != NULL_TREE
+              && DECL_INITIAL (decl) == NULL_TREE
+              && DECL_COMMON (decl)
+              && ! flag_no_common)
+       {
+         warning_with_decl (decl,
+                            "section attribute ignored for uninitialized variable `%s'");
+         /* Remove the section name so subsequent declarations won't see it.
+            We are ignoring it, remember.  */
+         DECL_SECTION_NAME (decl) = NULL_TREE;
+       }
 
       /* Now handle ordinary static variables and functions (in memory).
         Also handle vars declared register invalidly.  */
@@ -466,26 +565,31 @@ make_decl_rtl (decl, asmspec, top_level)
              var_labelno++;
            }
 
+         if (name == 0)
+           abort ();
+
          DECL_RTL (decl) = gen_rtx (MEM, DECL_MODE (decl),
                                     gen_rtx (SYMBOL_REF, Pmode, name));
-         if (TREE_THIS_VOLATILE (decl)
-           || (flag_volatile_global && TREE_CODE (decl) == VAR_DECL
-               && TREE_PUBLIC (decl)))
+
+         /* If this variable is to be treated as volatile, show its
+            tree node has side effects.  If it has side effects, either
+            because of this test or from TREE_THIS_VOLATILE also
+            being set, show the MEM is volatile.  */
+         if (flag_volatile_global && TREE_CODE (decl) == VAR_DECL
+             && TREE_PUBLIC (decl))
+           TREE_SIDE_EFFECTS (decl) = 1;
+         if (TREE_SIDE_EFFECTS (decl))
            MEM_VOLATILE_P (DECL_RTL (decl)) = 1;
+
          if (TREE_READONLY (decl))
            RTX_UNCHANGING_P (DECL_RTL (decl)) = 1;
          MEM_IN_STRUCT_P (DECL_RTL (decl))
-           = (TREE_CODE (TREE_TYPE (decl)) == ARRAY_TYPE
-              || TREE_CODE (TREE_TYPE (decl)) == RECORD_TYPE
-              || TREE_CODE (TREE_TYPE (decl)) == UNION_TYPE
-              || TREE_CODE (TREE_TYPE (decl)) == QUAL_UNION_TYPE);
+           = AGGREGATE_TYPE_P (TREE_TYPE (decl));
 
          /* Optionally set flags or add text to the name to record information
             such as that it is a function name.
             If the name is changed, the macro ASM_OUTPUT_LABELREF
-            will have to know how to strip this information.
-            And if it finds a * at the beginning after doing so,
-            it must handle that too.  */
+            will have to know how to strip this information.  */
 #ifdef ENCODE_SECTION_INFO
          ENCODE_SECTION_INFO (decl);
 #endif
@@ -648,8 +752,7 @@ assemble_start_function (decl, fnname)
 
   output_constant_pool (fnname, decl);
 
-  text_section ();
-
+  function_section (decl);
 
   /* Tell assembler to move to target machine's alignment for functions.  */
   align = floor_log2 (FUNCTION_BOUNDARY / BITS_PER_UNIT);
@@ -803,14 +906,25 @@ assemble_string (p, size)
        thissize = maximum;
 
       if (output_bytecode)
-       BC_OUTPUT_ASCII (asm_out_file, p, thissize);
+       bc_output_ascii (asm_out_file, p, thissize);
       else
-       ASM_OUTPUT_ASCII (asm_out_file, p, thissize);
+       {
+         ASM_OUTPUT_ASCII (asm_out_file, p, thissize);
+       }
 
       pos += thissize;
       p += thissize;
     }
 }
+
+static void
+bc_output_ascii (file, p, size)
+     FILE *file;
+     char *p;
+     int size;
+{
+  BC_OUTPUT_ASCII (file, p, size);
+}
 \f
 /* Assemble everything that is needed for a variable or function declaration.
    Not used for automatic variables, and not used for function definitions.
@@ -827,6 +941,7 @@ assemble_variable (decl, top_level, at_end, dont_output_data)
      tree decl;
      int top_level;
      int at_end;
+     int dont_output_data;
 {
   register char *name;
   int align;
@@ -834,6 +949,8 @@ assemble_variable (decl, top_level, at_end, dont_output_data)
   int reloc = 0;
   enum in_section saved_in_section;
 
+  last_assemble_variable_decl = 0;
+
   if (output_bytecode)
     return;
 
@@ -902,6 +1019,7 @@ assemble_variable (decl, top_level, at_end, dont_output_data)
                                DECL_SOURCE_LINE (decl),
                                "storage size of `%s' isn't known",
                                IDENTIFIER_POINTER (DECL_NAME (decl)));
+      TREE_ASM_WRITTEN (decl) = 1;
       return;
     }
 
@@ -915,19 +1033,16 @@ assemble_variable (decl, top_level, at_end, dont_output_data)
 
   TREE_ASM_WRITTEN (decl) = 1;
 
-  /* If storage size is erroneously variable, just continue.
-     Error message was already made.  */
+  app_disable ();
 
-  if (DECL_SIZE (decl))
+  if (! dont_output_data)
     {
       if (TREE_CODE (DECL_SIZE (decl)) != INTEGER_CST)
        goto finish;
 
-      app_disable ();
-
       /* This is better than explicit arithmetic, since it avoids overflow.  */
       size_tree = size_binop (CEIL_DIV_EXPR,
-                             DECL_SIZE (decl), size_int (BITS_PER_UNIT));
+                         DECL_SIZE (decl), size_int (BITS_PER_UNIT));
 
       if (TREE_INT_CST_HIGH (size_tree) != 0)
        {
@@ -946,6 +1061,7 @@ assemble_variable (decl, top_level, at_end, dont_output_data)
      -fno-common gives strict ANSI behavior.  Usually you don't want it.
      This matters only for variables with external linkage.  */
   if ((! flag_no_common || ! TREE_PUBLIC (decl))
+      && DECL_COMMON (decl)
       && ! dont_output_data
       && (DECL_INITIAL (decl) == 0 || DECL_INITIAL (decl) == error_mark_node))
     {
@@ -996,7 +1112,9 @@ assemble_variable (decl, top_level, at_end, dont_output_data)
          else
 #endif
            if (output_bytecode)
-             BC_OUTPUT_COMMON (asm_out_file, name, size, rounded);
+             {
+               BC_OUTPUT_COMMON (asm_out_file, name, size, rounded);
+             }
            else
              {
 #ifdef ASM_OUTPUT_ALIGNED_COMMON
@@ -1015,7 +1133,9 @@ assemble_variable (decl, top_level, at_end, dont_output_data)
          else
 #endif
            if (output_bytecode)
-             BC_OUTPUT_LOCAL (asm_out_file, name, size, rounded);
+             {
+               BC_OUTPUT_LOCAL (asm_out_file, name, size, rounded);
+             }
            else
              {
 #ifdef ASM_OUTPUT_ALIGNED_LOCAL
@@ -1055,16 +1175,36 @@ assemble_variable (decl, top_level, at_end, dont_output_data)
     reloc = output_addressed_constants (DECL_INITIAL (decl));
 
   /* Switch to the proper section for this data.  */
+  if (IN_NAMED_SECTION (decl))
+    named_section (decl, NULL);
+  else
+    {
+      /* C++ can have const variables that get initialized from constructors,
+        and thus can not be in a readonly section.  We prevent this by
+        verifying that the initial value is constant for objects put in a
+        readonly section.
+
+        error_mark_node is used by the C front end to indicate that the
+        initializer has not been seen yet.  In this case, we assume that
+        the initializer must be constant.  */
 #ifdef SELECT_SECTION
-  SELECT_SECTION (decl, reloc);
+      SELECT_SECTION (decl, reloc);
 #else
-  if (TREE_READONLY (decl)
-      && ! TREE_THIS_VOLATILE (decl)
-      && ! (flag_pic && reloc))
-    readonly_data_section ();
-  else
-    data_section ();
+      if (TREE_READONLY (decl)
+         && ! TREE_THIS_VOLATILE (decl)
+         && DECL_INITIAL (decl)
+         && (DECL_INITIAL (decl) == error_mark_node
+             || TREE_CONSTANT (DECL_INITIAL (decl)))
+         && ! (flag_pic && reloc))
+       readonly_data_section ();
+      else
+       data_section ();
 #endif
+    }
+
+  /* dbxout.c needs to know this.  */
+  if (in_text_section ())
+    DECL_IN_TEXT_SECTION (decl) = 1;
 
   /* Record current section so we can restore it if dbxout.c clobbers it.  */
   saved_in_section = in_section;
@@ -1092,6 +1232,8 @@ assemble_variable (decl, top_level, at_end, dont_output_data)
      while we are doing our final traversal of the chain of file-scope
      declarations.  */
 
+  /* If the debugging output changed sections, reselect the section
+     that's supposed to be selected.  */
   if (in_section != saved_in_section)
     {
       /* Switch to the proper section for this data.  */
@@ -1100,6 +1242,9 @@ assemble_variable (decl, top_level, at_end, dont_output_data)
 #else
       if (TREE_READONLY (decl)
          && ! TREE_THIS_VOLATILE (decl)
+         && DECL_INITIAL (decl)
+         && (DECL_INITIAL (decl) == error_mark_node
+             || TREE_CONSTANT (DECL_INITIAL (decl)))
          && ! (flag_pic && reloc))
        readonly_data_section ();
       else
@@ -1151,6 +1296,7 @@ assemble_variable (decl, top_level, at_end, dont_output_data)
 
   /* Do any machine/system dependent processing of the object.  */
 #ifdef ASM_DECLARE_OBJECT_NAME
+  last_assemble_variable_decl = decl;
   ASM_DECLARE_OBJECT_NAME (asm_out_file, name, decl);
 #else
   /* Standard thing is just output label for the object.  */
@@ -1164,11 +1310,10 @@ assemble_variable (decl, top_level, at_end, dont_output_data)
     {
       if (DECL_INITIAL (decl))
        /* Output the actual data.  */
-       output_constant (DECL_INITIAL (decl),
-                        int_size_in_bytes (TREE_TYPE (decl)));
+       output_constant (DECL_INITIAL (decl), TREE_INT_CST_LOW (size_tree));
       else
        /* Leave space for it.  */
-       assemble_zeros (int_size_in_bytes (TREE_TYPE (decl)));
+       assemble_zeros (TREE_INT_CST_LOW (size_tree));
     }
 
  finish:
@@ -1194,6 +1339,9 @@ assemble_variable (decl, top_level, at_end, dont_output_data)
 #else
          if (TREE_READONLY (decl)
              && ! TREE_THIS_VOLATILE (decl)
+             && DECL_INITIAL (decl)
+             && (DECL_INITIAL (decl) == error_mark_node
+                 || TREE_CONSTANT (DECL_INITIAL (decl)))
              && ! (flag_pic && reloc))
            readonly_data_section ();
          else
@@ -1229,7 +1377,8 @@ contains_pointers_p (type)
        tree fields;
        /* For a type that has fields, see if the fields have pointers.  */
        for (fields = TYPE_FIELDS (type); fields; fields = TREE_CHAIN (fields))
-         if (contains_pointers_p (TREE_TYPE (fields)))
+         if (TREE_CODE (fields) == FIELD_DECL
+             && contains_pointers_p (TREE_TYPE (fields)))
            return 1;
        return 0;
       }
@@ -1243,12 +1392,12 @@ contains_pointers_p (type)
     }
 }
 
-/* Output text storage for constructor CONSTR.  Returns rtx of
-   storage. */
+/* Output text storage for constructor CONSTR. */
 
-rtx
-bc_output_constructor (constr)
-  tree constr;
+void
+bc_output_constructor (constr, size)
+     tree constr;
+     int size;
 {
   int i;
 
@@ -1262,15 +1411,16 @@ bc_output_constructor (constr)
   text_section ();
 
   /* Align */
-  for (i = 0; TYPE_ALIGN (constr) >= BITS_PER_UNIT << (i + 1); i++);
+  for (i = 0; TYPE_ALIGN (constr) >= BITS_PER_UNIT << (i + 1); i++)
+    ;
+
   if (i > 0)
     BC_OUTPUT_ALIGN (asm_out_file, i);
 
   /* Output data */
-  output_constant (constr, int_size_in_bytes (TREE_TYPE (constr)));
+  output_constant (constr, size);
 }
 
-
 /* Create storage for constructor CONSTR. */
 
 void
@@ -1291,7 +1441,6 @@ bc_output_data_constructor (constr)
   BC_OUTPUT_SKIP (asm_out_file, int_size_in_bytes (TREE_TYPE (constr)));
 }
 
-
 /* Output something to declare an external symbol to the assembler.
    (Most assemblers don't need this, so we normally output nothing.)
    Do nothing if DECL is not external.  */
@@ -1371,6 +1520,11 @@ assemble_name (file, name)
      FILE *file;
      char *name;
 {
+  char *real_name;
+
+  STRIP_NAME_ENCODING (real_name, name);
+  TREE_SYMBOL_REFERENCED (get_identifier (real_name)) = 1;
+
   if (name[0] == '*')
     {
       if (output_bytecode)
@@ -1421,7 +1575,9 @@ assemble_static_space (size)
     x = gen_rtx (SYMBOL_REF, Pmode, namestring);
 
   if (output_bytecode)
-    BC_OUTPUT_LOCAL (asm_out_file, name, size, rounded);
+    {
+      BC_OUTPUT_LOCAL (asm_out_file, name, size, rounded);
+    }
   else
     {
 #ifdef ASM_OUTPUT_ALIGNED_LOCAL
@@ -1579,7 +1735,7 @@ assemble_real (d, mode)
     {
       error ("floating point trap outputting a constant");
 #ifdef REAL_IS_NOT_DOUBLE
-      bzero (&d, sizeof d);
+      bzero ((char *) &d, sizeof d);
       d = dconst0;
 #else
       d = 0;
@@ -1600,6 +1756,11 @@ assemble_real (d, mode)
       ASM_OUTPUT_SHORT_FLOAT (asm_out_file, d);
       break;
 #endif
+#ifdef ASM_OUTPUT_THREE_QUARTER_FLOAT
+    case TQFmode:
+      ASM_OUTPUT_THREE_QUARTER_FLOAT (asm_out_file, d);
+      break;
+#endif
 #ifdef ASM_OUTPUT_FLOAT
     case SFmode:
       ASM_OUTPUT_FLOAT (asm_out_file, d);
@@ -1640,7 +1801,7 @@ assemble_real (d, mode)
 
 static rtx const_double_chain;
 
-/* Return a CONST_DOUBLE for a value specified as a pair of ints.
+/* Return a CONST_DOUBLE or CONST_INT for a value specified as a pair of ints.
    For an integer, I0 is the low-order word and I1 is the high-order word.
    For a real number, I0 is the word with the low address
    and I1 is the word with the high address.  */
@@ -1671,6 +1832,19 @@ immed_double_const (i0, i1, mode)
        /* We cannot represent this value as a constant.  */
        abort ();
 
+      /* If this would be an entire word for the target, but is not for
+        the host, then sign-extend on the host so that the number will look
+        the same way on the host that it would on the target.
+
+        For example, when building a 64 bit alpha hosted 32 bit sparc
+        targeted compiler, then we want the 32 bit unsigned value -1 to be
+        represented as a 64 bit value -1, and not as 0x00000000ffffffff.
+        The later confuses the sparc backend.  */
+
+      if (BITS_PER_WORD < HOST_BITS_PER_WIDE_INT && BITS_PER_WORD == width
+         && (i0 & ((HOST_WIDE_INT) 1 << (width - 1))))
+       i0 |= ((HOST_WIDE_INT) (-1) << width);
+
       /* If MODE fits within HOST_BITS_PER_WIDE_INT, always use a CONST_INT.
 
         ??? Strictly speaking, this is wrong if we create a CONST_INT
@@ -1757,7 +1931,7 @@ immed_real_const_1 (d, mode)
   /* Detect special cases.  */
 
   /* Avoid REAL_VALUES_EQUAL here in order to distinguish minus zero.  */
-  if (!bcmp (&dconst0, &d, sizeof d))
+  if (!bcmp ((char *) &dconst0, (char *) &d, sizeof d))
     return CONST0_RTX (mode);
   /* Check for NaN first, because some ports (specifically the i386) do not
      emit correct ieee-fp code by default, and thus will generate a core
@@ -1777,7 +1951,7 @@ immed_real_const_1 (d, mode)
      If one is found, return it.  */
 
   for (r = const_double_chain; r; r = CONST_DOUBLE_CHAIN (r))
-    if (! bcmp (&CONST_DOUBLE_LOW (r), &u, sizeof u)
+    if (! bcmp ((char *) &CONST_DOUBLE_LOW (r), (char *) &u, sizeof u)
        && GET_MODE (r) == mode)
       return r;
 
@@ -1793,7 +1967,7 @@ immed_real_const_1 (d, mode)
   rtl_in_saveable_obstack ();
   r = rtx_alloc (CONST_DOUBLE);
   PUT_MODE (r, mode);
-  bcopy (&u, &CONST_DOUBLE_LOW (r), sizeof u);
+  bcopy ((char *) &u, (char *) &CONST_DOUBLE_LOW (r), sizeof u);
   pop_obstacks ();
 
   /* Don't touch const_double_chain in nested function; see force_const_mem.
@@ -1950,7 +2124,7 @@ static struct constant_descriptor *const_hash_table[MAX_HASH_TABLE];
 
 /* Compute a hash code for a constant expression.  */
 
-int
+static int
 const_hash (exp)
      tree exp;
 {
@@ -1973,6 +2147,12 @@ const_hash (exp)
   else if (code == COMPLEX_CST)
     return const_hash (TREE_REALPART (exp)) * 5
       + const_hash (TREE_IMAGPART (exp));
+  else if (code == CONSTRUCTOR && TREE_CODE (TREE_TYPE (exp)) == SET_TYPE)
+    {
+      len = int_size_in_bytes (TREE_TYPE (exp));
+      p = (char*) alloca (len);
+      get_set_constructor_bytes (exp, (unsigned char *) p, len);
+    }
   else if (code == CONSTRUCTOR)
     {
       register tree link;
@@ -2086,7 +2266,7 @@ compare_constant_1 (exp, p)
        return 0;
       strp = TREE_STRING_POINTER (exp);
       len = TREE_STRING_LENGTH (exp);
-      if (bcmp (&TREE_STRING_LENGTH (exp), p,
+      if (bcmp ((char *) &TREE_STRING_LENGTH (exp), p,
                sizeof TREE_STRING_LENGTH (exp)))
        return 0;
       p += sizeof TREE_STRING_LENGTH (exp);
@@ -2098,13 +2278,19 @@ compare_constant_1 (exp, p)
       p = compare_constant_1 (TREE_IMAGPART (exp), p);
       return p;
     }
+  else if (code == CONSTRUCTOR && TREE_CODE (TREE_TYPE (exp)) == SET_TYPE)
+    {
+      len = int_size_in_bytes (TREE_TYPE (exp));
+      strp = (char*) alloca (len);
+      get_set_constructor_bytes (exp, (unsigned char *) strp, len);
+    }
   else if (code == CONSTRUCTOR)
     {
       register tree link;
       int length = list_length (CONSTRUCTOR_ELTS (exp));
       tree type;
 
-      if (bcmp (&length, p, sizeof length))
+      if (bcmp ((char *) &length, p, sizeof length))
        return 0;
       p += sizeof length;
 
@@ -2114,7 +2300,7 @@ compare_constant_1 (exp, p)
        type = TREE_TYPE (exp);
       else
        type = 0;
-      if (bcmp (&type, p, sizeof type))
+      if (bcmp ((char *) &type, p, sizeof type))
        return 0;
       p += sizeof type;
 
@@ -2122,7 +2308,7 @@ compare_constant_1 (exp, p)
       if (TREE_CODE (TREE_TYPE (exp)) == ARRAY_TYPE)
        {
          int size = int_size_in_bytes (TREE_TYPE (exp));
-         if (bcmp (&size, p, sizeof size))
+         if (bcmp ((char *) &size, p, sizeof size))
            return 0;
          p += sizeof size;
        }
@@ -2138,7 +2324,7 @@ compare_constant_1 (exp, p)
            {
              tree zero = 0;
 
-             if (bcmp (&zero, p, sizeof zero))
+             if (bcmp ((char *) &zero, p, sizeof zero))
                return 0;
              p += sizeof zero;
            }
@@ -2215,92 +2401,111 @@ record_constant_1 (exp)
 
   obstack_1grow (&permanent_obstack, (unsigned int) code);
 
-  if (code == INTEGER_CST)
+  switch (code)
     {
+    case INTEGER_CST:
       obstack_1grow (&permanent_obstack, TYPE_PRECISION (TREE_TYPE (exp)));
       strp = (char *) &TREE_INT_CST_LOW (exp);
       len = 2 * sizeof TREE_INT_CST_LOW (exp);
-    }
-  else if (code == REAL_CST)
-    {
+      break;
+
+    case REAL_CST:
       obstack_1grow (&permanent_obstack, TYPE_PRECISION (TREE_TYPE (exp)));
       strp = (char *) &TREE_REAL_CST (exp);
       len = sizeof TREE_REAL_CST (exp);
-    }
-  else if (code == STRING_CST)
-    {
+      break;
+
+    case STRING_CST:
       if (flag_writable_strings)
        return;
+
       strp = TREE_STRING_POINTER (exp);
       len = TREE_STRING_LENGTH (exp);
       obstack_grow (&permanent_obstack, (char *) &TREE_STRING_LENGTH (exp),
                    sizeof TREE_STRING_LENGTH (exp));
-    }
-  else if (code == COMPLEX_CST)
-    {
+      break;
+
+    case COMPLEX_CST:
       record_constant_1 (TREE_REALPART (exp));
       record_constant_1 (TREE_IMAGPART (exp));
       return;
-    }
-  else if (code == CONSTRUCTOR)
-    {
-      register tree link;
-      int length = list_length (CONSTRUCTOR_ELTS (exp));
-      tree type;
-
-      obstack_grow (&permanent_obstack, (char *) &length, sizeof length);
-
-      /* For record constructors, insist that the types match.
-        For arrays, just verify both constructors are for arrays.  */
-      if (TREE_CODE (TREE_TYPE (exp)) == RECORD_TYPE)
-       type = TREE_TYPE (exp);
-      else
-       type = 0;
-      obstack_grow (&permanent_obstack, (char *) &type, sizeof type);
 
-      /* For arrays, insist that the size in bytes match.  */
-      if (TREE_CODE (TREE_TYPE (exp)) == ARRAY_TYPE)
+    case CONSTRUCTOR:
+      if (TREE_CODE (TREE_TYPE (exp)) == SET_TYPE)
        {
-         int size = int_size_in_bytes (TREE_TYPE (exp));
-         obstack_grow (&permanent_obstack, (char *) &size, sizeof size);
+         int nbytes = int_size_in_bytes (TREE_TYPE (exp));
+         obstack_grow (&permanent_obstack, &nbytes, sizeof (nbytes));
+         obstack_blank (&permanent_obstack, nbytes);
+         get_set_constructor_bytes
+           (exp, (unsigned char *) permanent_obstack.next_free, nbytes);
+         return;
        }
-
-      for (link = CONSTRUCTOR_ELTS (exp); link; link = TREE_CHAIN (link))
+      else
        {
-         if (TREE_VALUE (link))
-           record_constant_1 (TREE_VALUE (link));
+         register tree link;
+         int length = list_length (CONSTRUCTOR_ELTS (exp));
+         tree type;
+
+         obstack_grow (&permanent_obstack, (char *) &length, sizeof length);
+
+         /* For record constructors, insist that the types match.
+            For arrays, just verify both constructors are for arrays.  */
+         if (TREE_CODE (TREE_TYPE (exp)) == RECORD_TYPE)
+           type = TREE_TYPE (exp);
          else
+           type = 0;
+         obstack_grow (&permanent_obstack, (char *) &type, sizeof type);
+
+         /* For arrays, insist that the size in bytes match.  */
+         if (TREE_CODE (TREE_TYPE (exp)) == ARRAY_TYPE)
            {
-             tree zero = 0;
+             int size = int_size_in_bytes (TREE_TYPE (exp));
+             obstack_grow (&permanent_obstack, (char *) &size, sizeof size);
+           }
 
-             obstack_grow (&permanent_obstack, (char *) &zero, sizeof zero);
+         for (link = CONSTRUCTOR_ELTS (exp); link; link = TREE_CHAIN (link))
+           {
+             if (TREE_VALUE (link))
+               record_constant_1 (TREE_VALUE (link));
+             else
+               {
+                 tree zero = 0;
+
+                 obstack_grow (&permanent_obstack,
+                               (char *) &zero, sizeof zero);
+               }
            }
        }
-
       return;
-    }
-  else if (code == ADDR_EXPR)
-    {
-      struct addr_const value;
-      decode_addr_const (exp, &value);
-      /* Record the offset.  */
-      obstack_grow (&permanent_obstack,
-                   (char *) &value.offset, sizeof value.offset);
-      /* Record the symbol name.  */
-      obstack_grow (&permanent_obstack, XSTR (value.base, 0),
-                   strlen (XSTR (value.base, 0)) + 1);
+
+    case ADDR_EXPR:
+      {
+       struct addr_const value;
+
+       decode_addr_const (exp, &value);
+       /* Record the offset.  */
+       obstack_grow (&permanent_obstack,
+                     (char *) &value.offset, sizeof value.offset);
+       /* Record the symbol name.  */
+       obstack_grow (&permanent_obstack, XSTR (value.base, 0),
+                     strlen (XSTR (value.base, 0)) + 1);
+      }
       return;
-    }
-  else if (code == PLUS_EXPR || code == MINUS_EXPR)
-    {
+
+    case PLUS_EXPR:
+    case MINUS_EXPR:
       record_constant_1 (TREE_OPERAND (exp, 0));
       record_constant_1 (TREE_OPERAND (exp, 1));
       return;
-    }
-  else if (code == NOP_EXPR || code == CONVERT_EXPR)
-    {
+
+    case NOP_EXPR:
+    case CONVERT_EXPR:
+    case NON_LVALUE_EXPR:
       record_constant_1 (TREE_OPERAND (exp, 0));
       return;
+
+    default:
+      abort ();
     }
 
   /* Record constant contents.  */
@@ -2354,6 +2559,66 @@ output_deferred_addressed_constants ()
 
   deferred_constants = 0;
 }
+
+/* Make a copy of the whole tree structure for a constant.
+   This handles the same types of nodes that compare_constant
+   and record_constant handle.  */
+
+static tree
+copy_constant (exp)
+     tree exp;
+{
+  switch (TREE_CODE (exp))
+    {
+    case ADDR_EXPR:
+      /* For ADDR_EXPR, we do not want to copy the decl whose address
+        is requested.  We do want to copy constants though.  */
+      if (TREE_CODE_CLASS (TREE_CODE (TREE_OPERAND (exp, 0))) == 'c')
+       return build1 (TREE_CODE (exp), TREE_TYPE (exp),
+                      copy_constant (TREE_OPERAND (exp, 0)));
+      else
+       return copy_node (exp);
+
+    case INTEGER_CST:
+    case REAL_CST:
+    case STRING_CST:
+      return copy_node (exp);
+
+    case COMPLEX_CST:
+      return build_complex (copy_constant (TREE_REALPART (exp)),
+                           copy_constant (TREE_IMAGPART (exp)));
+
+    case PLUS_EXPR:
+    case MINUS_EXPR:
+      return build (TREE_CODE (exp), TREE_TYPE (exp),
+                   copy_constant (TREE_OPERAND (exp, 0)),
+                   copy_constant (TREE_OPERAND (exp, 1)));
+
+    case NOP_EXPR:
+    case CONVERT_EXPR:
+      return build1 (TREE_CODE (exp), TREE_TYPE (exp),
+                    copy_constant (TREE_OPERAND (exp, 0)));
+
+    case CONSTRUCTOR:
+      {
+       tree copy = copy_node (exp);
+       tree list = copy_list (CONSTRUCTOR_ELTS (exp));
+       tree tail;
+
+       CONSTRUCTOR_ELTS (copy) = list;
+       for (tail = list; tail; tail = TREE_CHAIN (tail))
+         TREE_VALUE (tail) = copy_constant (TREE_VALUE (tail));
+       if (TREE_CODE (TREE_TYPE (exp)) == SET_TYPE)
+         for (tail = list; tail; tail = TREE_CHAIN (tail))
+           TREE_PURPOSE (tail) = copy_constant (TREE_PURPOSE (tail));
+
+       return copy;
+      }
+
+    default:
+      abort ();
+    }
+}
 \f
 /* Return an rtx representing a reference to constant data in memory
    for the constant expression EXP.
@@ -2392,38 +2657,35 @@ output_constant_def (exp)
      to see if any of them describes EXP.  If yes, the descriptor records
      the label number already assigned.  */
 
-  if (!output_bytecode)
-    {
-      hash = const_hash (exp) % MAX_HASH_TABLE;
+  hash = const_hash (exp) % MAX_HASH_TABLE;
       
-      for (desc = const_hash_table[hash]; desc; desc = desc->next)
-       if (compare_constant (exp, desc))
-         {
-           found = desc->label;
-           break;
-         }
+  for (desc = const_hash_table[hash]; desc; desc = desc->next)
+    if (compare_constant (exp, desc))
+      {
+       found = desc->label;
+       break;
+      }
       
-      if (found == 0)
-       {
-         /* No constant equal to EXP is known to have been output.
-            Make a constant descriptor to enter EXP in the hash table.
-            Assign the label number and record it in the descriptor for
-            future calls to this function to find.  */
-         
-         /* Create a string containing the label name, in LABEL.  */
-         ASM_GENERATE_INTERNAL_LABEL (label, "LC", const_labelno);
+  if (found == 0)
+    {
+      /* No constant equal to EXP is known to have been output.
+        Make a constant descriptor to enter EXP in the hash table.
+        Assign the label number and record it in the descriptor for
+        future calls to this function to find.  */
          
-         desc = record_constant (exp);
-         desc->next = const_hash_table[hash];
-         desc->label
-           = (char *) obstack_copy0 (&permanent_obstack, label, strlen (label));
-         const_hash_table[hash] = desc;
-       }
-      else
-       {
-         /* Create a string containing the label name, in LABEL.  */
-         ASM_GENERATE_INTERNAL_LABEL (label, "LC", const_labelno);
-       }
+      /* Create a string containing the label name, in LABEL.  */
+      ASM_GENERATE_INTERNAL_LABEL (label, "LC", const_labelno);
+
+      desc = record_constant (exp);
+      desc->next = const_hash_table[hash];
+      desc->label
+       = (char *) obstack_copy0 (&permanent_obstack, label, strlen (label));
+      const_hash_table[hash] = desc;
+    }
+  else
+    {
+      /* Create a string containing the label name, in LABEL.  */
+      ASM_GENERATE_INTERNAL_LABEL (label, "LC", const_labelno);
     }
   
   /* We have a symbol name; construct the SYMBOL_REF and the MEM.  */
@@ -2432,24 +2694,19 @@ output_constant_def (exp)
   if (TREE_PERMANENT (exp))
     end_temporary_allocation ();
 
-  if (!output_bytecode)
-    {
-      def = gen_rtx (SYMBOL_REF, Pmode, desc->label);
+  def = gen_rtx (SYMBOL_REF, Pmode, desc->label);
       
-      TREE_CST_RTL (exp)
-       = gen_rtx (MEM, TYPE_MODE (TREE_TYPE (exp)), def);
-      RTX_UNCHANGING_P (TREE_CST_RTL (exp)) = 1;
-      if (TREE_CODE (TREE_TYPE (exp)) == RECORD_TYPE
-         || TREE_CODE (TREE_TYPE (exp)) == ARRAY_TYPE)
-       MEM_IN_STRUCT_P (TREE_CST_RTL (exp)) = 1;
-    }
+  TREE_CST_RTL (exp)
+    = gen_rtx (MEM, TYPE_MODE (TREE_TYPE (exp)), def);
+  RTX_UNCHANGING_P (TREE_CST_RTL (exp)) = 1;
+  if (AGGREGATE_TYPE_P (TREE_TYPE (exp)))
+    MEM_IN_STRUCT_P (TREE_CST_RTL (exp)) = 1;
+
   pop_obstacks ();
 
   /* Optionally set flags or add text to the name to record information
      such as that it is a function name.  If the name is changed, the macro
-     ASM_OUTPUT_LABELREF will have to know how to strip this information.
-     And if it finds a * at the beginning after doing so, it must handle
-     that too.  */
+     ASM_OUTPUT_LABELREF will have to know how to strip this information.  */
 #ifdef ENCODE_SECTION_INFO
   ENCODE_SECTION_INFO (exp);
 #endif
@@ -2463,15 +2720,9 @@ output_constant_def (exp)
          struct deferred_constant *p;
          p = (struct deferred_constant *) xmalloc (sizeof (struct deferred_constant));
 
-         /* We really should copy trees in depth here,
-            but since this case is the only one that should happen now,
-            let's do it later.  */
-         if (TREE_CODE (exp) != STRING_CST)
-           abort ();
-
          push_obstacks_nochange ();
          suspend_momentary ();
-         p->exp = copy_node (exp);
+         p->exp = copy_constant (exp);
          pop_obstacks ();
          p->reloc = reloc;
          p->labelno = const_labelno++;
@@ -2496,16 +2747,21 @@ output_constant_def_contents (exp, reloc, labelno)
 {
   int align;
 
-  /* First switch to text section, except for writable strings.  */
+  if (IN_NAMED_SECTION (exp))
+    named_section (exp, NULL);
+  else
+    {
+      /* First switch to text section, except for writable strings.  */
 #ifdef SELECT_SECTION
-  SELECT_SECTION (exp, reloc);
+      SELECT_SECTION (exp, reloc);
 #else
-  if (((TREE_CODE (exp) == STRING_CST) && flag_writable_strings)
-      || (flag_pic && reloc))
-    data_section ();
-  else
-    readonly_data_section ();
+      if (((TREE_CODE (exp) == STRING_CST) && flag_writable_strings)
+         || (flag_pic && reloc))
+       data_section ();
+      else
+       readonly_data_section ();
 #endif
+    }
 
   /* Align the location counter as required by EXP's data type.  */
   align = TYPE_ALIGN (TREE_TYPE (exp));
@@ -2516,9 +2772,13 @@ output_constant_def_contents (exp, reloc, labelno)
   if (align > BITS_PER_UNIT)
     {
       if (!output_bytecode)
-       ASM_OUTPUT_ALIGN (asm_out_file, floor_log2 (align / BITS_PER_UNIT));
+       {
+         ASM_OUTPUT_ALIGN (asm_out_file, floor_log2 (align / BITS_PER_UNIT));
+       }
       else
-       BC_OUTPUT_ALIGN (asm_out_file, floor_log2 (align / BITS_PER_UNIT));
+       {
+         BC_OUTPUT_ALIGN (asm_out_file, floor_log2 (align / BITS_PER_UNIT));
+       }
     }
 
   /* Output the label itself.  */
@@ -2600,16 +2860,16 @@ init_const_rtx_hash_table ()
   const_rtx_sym_hash_table
     = ((struct pool_sym **)
        oballoc (MAX_RTX_HASH_TABLE * sizeof (struct pool_sym *)));
-  bzero (const_rtx_hash_table,
+  bzero ((char *) const_rtx_hash_table,
         MAX_RTX_HASH_TABLE * sizeof (struct constant_descriptor *));
-  bzero (const_rtx_sym_hash_table,
+  bzero ((char *) const_rtx_sym_hash_table,
         MAX_RTX_HASH_TABLE * sizeof (struct pool_sym *));
 
   first_pool = last_pool = 0;
   pool_offset = 0;
 }
 
-/* Save and restore it for a nested function.  */
+/* Save and restore status for a nested function.  */
 
 void
 save_varasm_status (p)
@@ -2676,8 +2936,10 @@ decode_rtx_const (mode, x, value)
     {
     case CONST_DOUBLE:
       value->kind = RTX_DOUBLE;
-      value->mode = GET_MODE (x);
-      bcopy (&CONST_DOUBLE_LOW (x), &value->un.du, sizeof value->un.du);
+      if (GET_MODE (x) != VOIDmode)
+       value->mode = GET_MODE (x);
+      bcopy ((char *) &CONST_DOUBLE_LOW (x),
+            (char *) &value->un.du, sizeof value->un.du);
       break;
 
     case CONST_INT:
@@ -2745,7 +3007,7 @@ simplify_subtraction (x)
 
 /* Compute a hash code for a constant RTL expression.  */
 
-int
+static int
 const_hash_rtx (mode, x)
      enum machine_mode mode;
      rtx x;
@@ -2805,13 +3067,16 @@ record_constant_rtx (mode, x)
 
   decode_rtx_const (mode, x, &value);
 
-  obstack_grow (current_obstack, &ptr, sizeof ptr);
-  obstack_grow (current_obstack, &label, sizeof label);
+  /* Put these things in the saveable obstack so we can ensure it won't
+     be freed if we are called from combine or some other phase that discards
+     memory allocated from function_obstack (current_obstack).  */
+  obstack_grow (saveable_obstack, &ptr, sizeof ptr);
+  obstack_grow (saveable_obstack, &label, sizeof label);
 
   /* Record constant contents.  */
-  obstack_grow (current_obstack, &value, sizeof value);
+  obstack_grow (saveable_obstack, &value, sizeof value);
 
-  return (struct constant_descriptor *) obstack_finish (current_obstack);
+  return (struct constant_descriptor *) obstack_finish (saveable_obstack);
 }
 \f
 /* Given a constant rtx X, make (or find) a memory constant for its value
@@ -2882,9 +3147,26 @@ force_const_mem (mode, x)
       pool_offset += align - 1;
       pool_offset &= ~ (align - 1);
 
+      /* If RTL is not being placed into the saveable obstack, make a
+        copy of X that is in the saveable obstack in case we are being
+        called from combine or some other phase that discards memory
+        it allocates.  We need only do this if it is a CONST, since
+        no other RTX should be allocated in this situation. */
+      if (rtl_obstack != saveable_obstack
+         && GET_CODE (x) == CONST)
+       {
+         push_obstacks_nochange ();
+         rtl_in_saveable_obstack ();
+
+         x = gen_rtx (CONST, GET_MODE (x), 
+                      gen_rtx (PLUS, GET_MODE (x), 
+                               XEXP (XEXP (x, 0), 0), XEXP (XEXP (x, 0), 1)));
+         pop_obstacks ();
+       }
+
       /* Allocate a pool constant descriptor, fill it in, and chain it in.  */
 
-      pool = (struct pool_constant *) oballoc (sizeof (struct pool_constant));
+      pool = (struct pool_constant *) savealloc (sizeof (struct pool_constant));
       pool->desc = desc;
       pool->constant = x;
       pool->mode = mode;
@@ -2911,7 +3193,7 @@ force_const_mem (mode, x)
 
       /* Add label to symbol hash table.  */
       hash = SYMHASH (found);
-      sym = (struct pool_sym *) oballoc (sizeof (struct pool_sym));
+      sym = (struct pool_sym *) savealloc (sizeof (struct pool_sym));
       sym->label = found;
       sym->pool = pool;
       sym->next = const_rtx_sym_hash_table[hash];
@@ -3051,7 +3333,7 @@ output_constant_pool (fnname, fndecl)
          if (GET_CODE (x) != CONST_DOUBLE)
            abort ();
 
-         bcopy (&CONST_DOUBLE_LOW (x), &u, sizeof u);
+         bcopy ((char *) &CONST_DOUBLE_LOW (x), (char *) &u, sizeof u);
          assemble_real (u.d, pool->mode);
          break;
 
@@ -3075,7 +3357,7 @@ output_constant_pool (fnname, fndecl)
    and make sure assembler code with a label has been output for each one.
    Indicate whether an ADDR_EXPR has been encountered.  */
 
-int
+static int
 output_addressed_constants (exp)
      tree exp;
 {
@@ -3127,22 +3409,6 @@ output_addressed_constants (exp)
     }
   return reloc;
 }
-
-
-/* Output assembler for byte constant */
-void
-output_byte_asm (byte)
-  int byte;
-{
-  if (output_bytecode)
-    bc_emit_const ((char *) &byte, sizeof (char));
-#ifdef ASM_OUTPUT_BYTE
-  else
-    {
-      ASM_OUTPUT_BYTE (asm_out_file, byte);
-    }
-#endif
-}
 \f
 /* Output assembler code for constant EXP to FILE, with no label.
    This includes the pseudo-op such as ".int" or ".byte", and a newline.
@@ -3173,6 +3439,15 @@ output_constant (exp, size)
   if (size == 0)
     return;
 
+  /* Eliminate the NON_LVALUE_EXPR_EXPR that makes a cast not be an lvalue.
+     That way we get the constant (we hope) inside it.  Also, strip off any
+     NOP_EXPR that converts between two record, union, array, or set types.  */
+  while ((TREE_CODE (exp) == NOP_EXPR 
+         && (TREE_TYPE (exp) == TREE_TYPE (TREE_OPERAND (exp, 0))
+             || AGGREGATE_TYPE_P (TREE_TYPE (exp))))
+        || TREE_CODE (exp) == NON_LVALUE_EXPR)
+    exp = TREE_OPERAND (exp, 0);
+
   /* Allow a constructor with no elements for any data type.
      This means to fill the space with zeros.  */
   if (TREE_CODE (exp) == CONSTRUCTOR && CONSTRUCTOR_ELTS (exp) == 0)
@@ -3184,12 +3459,6 @@ output_constant (exp, size)
       return;
     }
 
-  /* Eliminate the NOP_EXPR that makes a cast not be an lvalue.
-     That way we get the constant (we hope) inside it.  */
-  if (TREE_CODE (exp) == NOP_EXPR
-      && TREE_TYPE (exp) == TREE_TYPE (TREE_OPERAND (exp, 0)))
-    exp = TREE_OPERAND (exp, 0);
-
   switch (code)
     {
     case CHAR_TYPE:
@@ -3255,15 +3524,31 @@ output_constant (exp, size)
       else
        abort ();
       return;
+
+    case SET_TYPE:
+      if (TREE_CODE (exp) == INTEGER_CST)
+       assemble_integer (expand_expr (exp, NULL_RTX,
+                                      VOIDmode, EXPAND_INITIALIZER),
+                         size, 1);
+      else if (TREE_CODE (exp) == CONSTRUCTOR)
+       {
+         unsigned char *buffer = (unsigned char *) alloca (size);
+         if (get_set_constructor_bytes (exp, buffer, size))
+           abort ();
+         assemble_string ((char *) buffer, size);
+       }
+      else
+       error ("unknown set constructor type");
+      return;
     }
 
   if (size > 0)
     assemble_zeros (size);
 }
 
-
 /* Bytecode specific code to output assembler for integer. */
-void
+
+static void
 bc_assemble_integer (exp, size)
     tree exp;
     int size;
@@ -3333,17 +3618,20 @@ bc_assemble_integer (exp, size)
        }
       else if (size == 8)
        {
-#if WORDS_BIG_ENDIAN
-         int i = TREE_INT_CST_HIGH (const_part);
-         bc_emit ((char *) &i, 4);
-         i = TREE_INT_CST_LOW (const_part);
-         bc_emit ((char *) &i, 4);
-#else
-         int i = TREE_INT_CST_LOW (const_part);
-         bc_emit ((char *) &i, 4);
-         i = TREE_INT_CST_HIGH (const_part);
-         bc_emit ((char *) &i, 4);
-#endif
+         if (WORDS_BIG_ENDIAN)
+           {
+             int i = TREE_INT_CST_HIGH (const_part);
+             bc_emit ((char *) &i, 4);
+             i = TREE_INT_CST_LOW (const_part);
+             bc_emit ((char *) &i, 4);
+           }
+         else
+           {
+             int i = TREE_INT_CST_LOW (const_part);
+             bc_emit ((char *) &i, 4);
+             i = TREE_INT_CST_HIGH (const_part);
+             bc_emit ((char *) &i, 4);
+           }
          size -= 8;
        }
     }
@@ -3360,12 +3648,13 @@ bc_assemble_integer (exp, size)
    (aggregate constants).
    Generate at least SIZE bytes, padding if necessary.  */
 
-void
+static void
 output_constructor (exp, size)
      tree exp;
      int size;
 {
   register tree link, field = 0;
+  HOST_WIDE_INT min_index = 0;
   /* Number of bytes output or skipped so far.
      In other words, current position within the constructor.  */
   int total_bytes = 0;
@@ -3379,6 +3668,11 @@ output_constructor (exp, size)
   if (TREE_CODE (TREE_TYPE (exp)) == RECORD_TYPE)
     field = TYPE_FIELDS (TREE_TYPE (exp));
 
+  if (TREE_CODE (TREE_TYPE (exp)) == ARRAY_TYPE
+      && TYPE_DOMAIN (TREE_TYPE (exp)) != 0)
+    min_index
+      = TREE_INT_CST_LOW (TYPE_MIN_VALUE (TYPE_DOMAIN (TREE_TYPE (exp))));
+
   /* As LINK goes through the elements of the constant,
      FIELD goes through the structure fields, if the constant is a structure.
      if the constant is a union, then we override this,
@@ -3422,7 +3716,7 @@ output_constructor (exp, size)
          if (index != 0)
            bitpos = (TREE_INT_CST_LOW (TYPE_SIZE (TREE_TYPE (val)))
                      / BITS_PER_UNIT
-                     * TREE_INT_CST_LOW (index));
+                     * (TREE_INT_CST_LOW (index) - min_index));
 
          /* Output any buffered-up bit-fields preceding this element.  */
          if (byte_buffer_in_use)
@@ -3523,7 +3817,8 @@ output_constructor (exp, size)
          while (next_offset < end_offset)
            {
              int this_time;
-             int shift, value;
+             int shift;
+             HOST_WIDE_INT value;
              int next_byte = next_offset / BITS_PER_UNIT;
              int next_bit = next_offset % BITS_PER_UNIT;
 
@@ -3540,64 +3835,68 @@ output_constructor (exp, size)
                 (all part of the same byte).  */
              this_time = MIN (end_offset - next_offset,
                               BITS_PER_UNIT - next_bit);
-#if BYTES_BIG_ENDIAN
-             /* On big-endian machine, take the most significant bits
-                first (of the bits that are significant)
-                and put them into bytes from the most significant end.  */
-             shift = end_offset - next_offset - this_time;
-             /* Don't try to take a bunch of bits that cross
-                the word boundary in the INTEGER_CST.  */
-             if (shift < HOST_BITS_PER_WIDE_INT
-                 && shift + this_time > HOST_BITS_PER_WIDE_INT)
-               {
-                 this_time -= (HOST_BITS_PER_WIDE_INT - shift);
-                 shift = HOST_BITS_PER_WIDE_INT;
-               }
-
-             /* Now get the bits from the appropriate constant word.  */
-             if (shift < HOST_BITS_PER_WIDE_INT)
+             if (BYTES_BIG_ENDIAN)
                {
-                 value = TREE_INT_CST_LOW (val);
-               }
-             else if (shift < 2 * HOST_BITS_PER_WIDE_INT)
-               {
-                 value = TREE_INT_CST_HIGH (val);
-                 shift -= HOST_BITS_PER_WIDE_INT;
+                 /* On big-endian machine, take the most significant bits
+                    first (of the bits that are significant)
+                    and put them into bytes from the most significant end.  */
+                 shift = end_offset - next_offset - this_time;
+                 /* Don't try to take a bunch of bits that cross
+                    the word boundary in the INTEGER_CST.  */
+                 if (shift < HOST_BITS_PER_WIDE_INT
+                     && shift + this_time > HOST_BITS_PER_WIDE_INT)
+                   {
+                     this_time -= (HOST_BITS_PER_WIDE_INT - shift);
+                     shift = HOST_BITS_PER_WIDE_INT;
+                   }
+
+                 /* Now get the bits from the appropriate constant word.  */
+                 if (shift < HOST_BITS_PER_WIDE_INT)
+                   {
+                     value = TREE_INT_CST_LOW (val);
+                   }
+                 else if (shift < 2 * HOST_BITS_PER_WIDE_INT)
+                   {
+                     value = TREE_INT_CST_HIGH (val);
+                     shift -= HOST_BITS_PER_WIDE_INT;
+                   }
+                 else
+                   abort ();
+                 byte |= (((value >> shift)
+                           & (((HOST_WIDE_INT) 1 << this_time) - 1))
+                          << (BITS_PER_UNIT - this_time - next_bit));
                }
              else
-               abort ();
-             byte |= (((value >> shift)
-                       & (((HOST_WIDE_INT) 1 << this_time) - 1))
-                      << (BITS_PER_UNIT - this_time - next_bit));
-#else
-             /* On little-endian machines,
-                take first the least significant bits of the value
-                and pack them starting at the least significant
-                bits of the bytes.  */
-             shift = (next_offset
-                      - TREE_INT_CST_LOW (DECL_FIELD_BITPOS (field)));
-             /* Don't try to take a bunch of bits that cross
-                the word boundary in the INTEGER_CST.  */
-             if (shift < HOST_BITS_PER_WIDE_INT
-                 && shift + this_time > HOST_BITS_PER_WIDE_INT)
                {
-                 this_time -= (HOST_BITS_PER_WIDE_INT - shift);
-                 shift = HOST_BITS_PER_WIDE_INT;
+                 /* On little-endian machines,
+                    take first the least significant bits of the value
+                    and pack them starting at the least significant
+                    bits of the bytes.  */
+                 shift = (next_offset
+                          - TREE_INT_CST_LOW (DECL_FIELD_BITPOS (field)));
+                 /* Don't try to take a bunch of bits that cross
+                    the word boundary in the INTEGER_CST.  */
+                 if (shift < HOST_BITS_PER_WIDE_INT
+                     && shift + this_time > HOST_BITS_PER_WIDE_INT)
+                   {
+                     this_time -= (HOST_BITS_PER_WIDE_INT - shift);
+                     shift = HOST_BITS_PER_WIDE_INT;
+                   }
+
+                 /* Now get the bits from the appropriate constant word.  */
+                 if (shift < HOST_BITS_PER_INT)
+                   value = TREE_INT_CST_LOW (val);
+                 else if (shift < 2 * HOST_BITS_PER_WIDE_INT)
+                   {
+                     value = TREE_INT_CST_HIGH (val);
+                     shift -= HOST_BITS_PER_WIDE_INT;
+                   }
+                 else
+                   abort ();
+                 byte |= (((value >> shift)
+                           & (((HOST_WIDE_INT) 1 << this_time) - 1))
+                          << next_bit);
                }
-
-             /* Now get the bits from the appropriate constant word.  */
-             if (shift < HOST_BITS_PER_INT)
-               value = TREE_INT_CST_LOW (val);
-             else if (shift < 2 * HOST_BITS_PER_WIDE_INT)
-               {
-                 value = TREE_INT_CST_HIGH (val);
-                 shift -= HOST_BITS_PER_WIDE_INT;
-               }
-             else
-               abort ();
-             byte |= ((value >> shift)
-                      & (((HOST_WIDE_INT) 1 << this_time) - 1)) << next_bit;
-#endif
              next_offset += this_time;
              byte_buffer_in_use = 1;
            }
@@ -3613,6 +3912,28 @@ output_constructor (exp, size)
 }
 
 
+#ifdef HANDLE_SYSV_PRAGMA
+
+/* Support #pragma weak by default if WEAK_ASM_OP and ASM_OUTPUT_DEF
+   are defined.  */
+#if defined (WEAK_ASM_OP) && defined (ASM_OUTPUT_DEF)
+
+/* See c-pragma.c for an identical definition.  */
+enum pragma_state
+{
+  ps_start,
+  ps_done,
+  ps_bad,
+  ps_weak,
+  ps_name,
+  ps_equals,
+  ps_value,
+  ps_pack,
+  ps_left,
+  ps_align,
+  ps_right
+};
+
 /* Output asm to handle ``#pragma weak'' */
 void
 handle_pragma_weak (what, asm_out_file, name, value)
@@ -3631,22 +3952,12 @@ handle_pragma_weak (what, asm_out_file, name, value)
 
       fputc ('\n', asm_out_file);
       if (what == ps_value)
-       {
-         fprintf (asm_out_file, "\t%s\t", SET_ASM_OP);
-         if (output_bytecode)
-           BC_OUTPUT_LABELREF (asm_out_file, name);
-         else
-           ASM_OUTPUT_LABELREF (asm_out_file, name);
-
-         fputc (',', asm_out_file);
-         if (output_bytecode)
-           BC_OUTPUT_LABELREF (asm_out_file, value);
-         else
-           ASM_OUTPUT_LABELREF (asm_out_file, value);
-
-         fputc ('\n', asm_out_file);
-       }
+       ASM_OUTPUT_DEF (asm_out_file, name, value);
     }
   else if (! (what == ps_done || what == ps_start))
     warning ("malformed `#pragma weak'");
 }
+
+#endif /* HANDLE_PRAGMA_WEAK or (WEAK_ASM_OP and SET_ASM_OP) */
+
+#endif /* WEAK_ASM_OP && ASM_OUTPUT_DEF */