OSDN Git Service

* builtins.c (get_pointer_alignment, gimplify_va_arg_expr,
[pf3gnuchains/gcc-fork.git] / gcc / varasm.c
1 /* Output variables, constants and external declarations, for GNU compiler.
2    Copyright (C) 1987, 1988, 1989, 1992, 1993, 1994, 1995, 1996, 1997,
3    1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005
4    Free Software Foundation, Inc.
5
6 This file is part of GCC.
7
8 GCC is free software; you can redistribute it and/or modify it under
9 the terms of the GNU General Public License as published by the Free
10 Software Foundation; either version 2, or (at your option) any later
11 version.
12
13 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
14 WARRANTY; without even the implied warranty of MERCHANTABILITY or
15 FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
16 for more details.
17
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING.  If not, write to the Free
20 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
21 02111-1307, USA.  */
22
23
24 /* This file handles generation of all the assembler code
25    *except* the instructions of a function.
26    This includes declarations of variables and their initial values.
27
28    We also output the assembler code for constants stored in memory
29    and are responsible for combining constants with the same value.  */
30
31 #include "config.h"
32 #include "system.h"
33 #include "coretypes.h"
34 #include "tm.h"
35 #include "rtl.h"
36 #include "tree.h"
37 #include "flags.h"
38 #include "function.h"
39 #include "expr.h"
40 #include "hard-reg-set.h"
41 #include "regs.h"
42 #include "real.h"
43 #include "output.h"
44 #include "toplev.h"
45 #include "hashtab.h"
46 #include "c-pragma.h"
47 #include "ggc.h"
48 #include "langhooks.h"
49 #include "tm_p.h"
50 #include "debug.h"
51 #include "target.h"
52 #include "tree-mudflap.h"
53 #include "cgraph.h"
54 #include "cfglayout.h"
55
56 #ifdef XCOFF_DEBUGGING_INFO
57 #include "xcoffout.h"           /* Needed for external data
58                                    declarations for e.g. AIX 4.x.  */
59 #endif
60
61 /* The (assembler) name of the first globally-visible object output.  */
62 const char *first_global_object_name;
63 const char *weak_global_object_name;
64
65 struct addr_const;
66 struct constant_descriptor_rtx;
67 struct rtx_constant_pool;
68
69 struct varasm_status GTY(())
70 {
71   /* If we're using a per-function constant pool, this is it.  */
72   struct rtx_constant_pool *pool;
73
74   /* Number of tree-constants deferred during the expansion of this
75      function.  */
76   unsigned int deferred_constants;
77 };
78
79 #define n_deferred_constants (cfun->varasm->deferred_constants)
80
81 /* Number for making the label on the next
82    constant that is stored in memory.  */
83
84 static GTY(()) int const_labelno;
85
86 /* Carry information from ASM_DECLARE_OBJECT_NAME
87    to ASM_FINISH_DECLARE_OBJECT.  */
88
89 int size_directive_output;
90
91 /* The last decl for which assemble_variable was called,
92    if it did ASM_DECLARE_OBJECT_NAME.
93    If the last call to assemble_variable didn't do that,
94    this holds 0.  */
95
96 tree last_assemble_variable_decl;
97
98 /* The following global variable indicates if the section label for the
99    "cold" section of code has been output yet to the assembler.  The
100    label is useful when running gdb.  This is part of the optimization that
101    partitions hot and cold basic blocks into separate sections of the .o
102    file.  */
103
104 static bool unlikely_section_label_printed = false;
105
106 /* The following global variable indicates the label name to be put at
107    the start of the first cold section within each function, when
108    partitioning basic blocks into hot and cold sections.  */
109
110 static char *unlikely_section_label = NULL;
111  
112 /* The following global variable indicates the section name to be used
113    for the current cold section, when partitioning hot and cold basic
114    blocks into separate sections.  */
115
116 static char *unlikely_text_section_name = NULL;
117
118 /* We give all constants their own alias set.  Perhaps redundant with
119    MEM_READONLY_P, but pre-dates it.  */
120
121 static HOST_WIDE_INT const_alias_set;
122
123 static const char *strip_reg_name (const char *);
124 static int contains_pointers_p (tree);
125 #ifdef ASM_OUTPUT_EXTERNAL
126 static bool incorporeal_function_p (tree);
127 #endif
128 static void decode_addr_const (tree, struct addr_const *);
129 static hashval_t const_desc_hash (const void *);
130 static int const_desc_eq (const void *, const void *);
131 static hashval_t const_hash_1 (const tree);
132 static int compare_constant (const tree, const tree);
133 static tree copy_constant (tree);
134 static void output_constant_def_contents (rtx);
135 static void output_addressed_constants (tree);
136 static unsigned HOST_WIDE_INT array_size_for_constructor (tree);
137 static unsigned min_align (unsigned, unsigned);
138 static void output_constructor (tree, unsigned HOST_WIDE_INT, unsigned int);
139 static void globalize_decl (tree);
140 static void maybe_assemble_visibility (tree);
141 static int in_named_entry_eq (const void *, const void *);
142 static hashval_t in_named_entry_hash (const void *);
143 #ifdef BSS_SECTION_ASM_OP
144 #ifdef ASM_OUTPUT_BSS
145 static void asm_output_bss (FILE *, tree, const char *,
146                             unsigned HOST_WIDE_INT, unsigned HOST_WIDE_INT);
147 #endif
148 #ifdef ASM_OUTPUT_ALIGNED_BSS
149 static void asm_output_aligned_bss (FILE *, tree, const char *,
150                                     unsigned HOST_WIDE_INT, int)
151      ATTRIBUTE_UNUSED;
152 #endif
153 #endif /* BSS_SECTION_ASM_OP */
154 static bool asm_emit_uninitialised (tree, const char*,
155                                     unsigned HOST_WIDE_INT,
156                                     unsigned HOST_WIDE_INT);
157 static void mark_weak (tree);
158 \f
159 enum in_section { no_section, in_text, in_unlikely_executed_text, in_data, 
160                   in_named
161 #ifdef BSS_SECTION_ASM_OP
162   , in_bss
163 #endif
164 #ifdef CTORS_SECTION_ASM_OP
165   , in_ctors
166 #endif
167 #ifdef DTORS_SECTION_ASM_OP
168   , in_dtors
169 #endif
170 #ifdef READONLY_DATA_SECTION_ASM_OP
171   , in_readonly_data
172 #endif
173 #ifdef EXTRA_SECTIONS
174   , EXTRA_SECTIONS
175 #endif
176 };
177 static GTY(()) enum in_section in_section = no_section;
178
179 /* Return a nonzero value if DECL has a section attribute.  */
180 #ifndef IN_NAMED_SECTION
181 #define IN_NAMED_SECTION(DECL) \
182   ((TREE_CODE (DECL) == FUNCTION_DECL || TREE_CODE (DECL) == VAR_DECL) \
183    && DECL_SECTION_NAME (DECL) != NULL_TREE)
184 #endif
185
186 /* Text of section name when in_section == in_named.  */
187 static GTY(()) const char *in_named_name;
188
189 /* Hash table of flags that have been used for a particular named section.  */
190
191 struct in_named_entry GTY(())
192 {
193   const char *name;
194   unsigned int flags;
195   bool declared;
196 };
197
198 static GTY((param_is (struct in_named_entry))) htab_t in_named_htab;
199
200 /* Define functions like text_section for any extra sections.  */
201 #ifdef EXTRA_SECTION_FUNCTIONS
202 EXTRA_SECTION_FUNCTIONS
203 #endif
204
205 /* Tell assembler to switch to text section.  */
206
207 void
208 text_section (void)
209 {
210   if (in_section != in_text)
211     {
212       in_section = in_text;
213       fprintf (asm_out_file, "%s\n", TEXT_SECTION_ASM_OP);
214     }
215 }
216
217 /* Tell assembler to switch to unlikely-to-be-executed text section.  */
218
219 void
220 unlikely_text_section (void)
221 {
222   const char *name;
223   int len;
224
225   if (! unlikely_text_section_name)
226     {
227       if (DECL_SECTION_NAME (current_function_decl)
228           && (strcmp (TREE_STRING_POINTER (DECL_SECTION_NAME
229                                            (current_function_decl)),
230                       HOT_TEXT_SECTION_NAME) != 0)
231           && (strcmp (TREE_STRING_POINTER (DECL_SECTION_NAME
232                                            (current_function_decl)),
233                       UNLIKELY_EXECUTED_TEXT_SECTION_NAME) != 0))
234         {
235           name = TREE_STRING_POINTER (DECL_SECTION_NAME 
236                                                    (current_function_decl));
237           len = strlen (name);
238           unlikely_text_section_name = xmalloc ((len + 10) * sizeof (char));
239           strcpy (unlikely_text_section_name, name);
240           strcat (unlikely_text_section_name, "_unlikely");
241         }
242       else
243         {
244           len = strlen (UNLIKELY_EXECUTED_TEXT_SECTION_NAME);
245           unlikely_text_section_name = xmalloc (len+1 * sizeof (char));
246           strcpy (unlikely_text_section_name, 
247                   UNLIKELY_EXECUTED_TEXT_SECTION_NAME);
248         }
249     }
250
251   if ((in_section != in_unlikely_executed_text)
252       &&  (in_section != in_named 
253            || strcmp (in_named_name, unlikely_text_section_name) != 0))
254     {
255       named_section (NULL_TREE, unlikely_text_section_name, 0);
256       in_section = in_unlikely_executed_text;
257
258       if (!unlikely_section_label_printed)
259         {
260           ASM_OUTPUT_LABEL (asm_out_file, unlikely_section_label);
261           unlikely_section_label_printed = true;
262         }
263     }
264 }
265
266 /* Tell assembler to switch to data section.  */
267
268 void
269 data_section (void)
270 {
271   if (in_section != in_data)
272     {
273       in_section = in_data;
274       fprintf (asm_out_file, "%s\n", DATA_SECTION_ASM_OP);
275     }
276 }
277
278 /* Tell assembler to switch to read-only data section.  This is normally
279    the text section.  */
280
281 void
282 readonly_data_section (void)
283 {
284 #ifdef READONLY_DATA_SECTION
285   READONLY_DATA_SECTION ();  /* Note this can call data_section.  */
286 #else
287 #ifdef READONLY_DATA_SECTION_ASM_OP
288   if (in_section != in_readonly_data)
289     {
290       in_section = in_readonly_data;
291       fputs (READONLY_DATA_SECTION_ASM_OP, asm_out_file);
292       fputc ('\n', asm_out_file);
293     }
294 #else
295   text_section ();
296 #endif
297 #endif
298 }
299
300 /* Determine if we're in the text section.  */
301
302 int
303 in_text_section (void)
304 {
305   return in_section == in_text;
306 }
307
308 /* Determine if we're in the unlikely-to-be-executed text section.  */
309
310 int
311 in_unlikely_text_section (void)
312 {
313   bool ret_val;
314
315   ret_val = ((in_section == in_unlikely_executed_text)
316              || (in_section == in_named
317                  && unlikely_text_section_name
318                  && strcmp (in_named_name, unlikely_text_section_name) == 0));
319
320   return ret_val;
321 }
322
323 /* Determine if we're in the data section.  */
324
325 int
326 in_data_section (void)
327 {
328   return in_section == in_data;
329 }
330
331 /* Helper routines for maintaining in_named_htab.  */
332
333 static int
334 in_named_entry_eq (const void *p1, const void *p2)
335 {
336   const struct in_named_entry *old = p1;
337   const char *new = p2;
338
339   return strcmp (old->name, new) == 0;
340 }
341
342 static hashval_t
343 in_named_entry_hash (const void *p)
344 {
345   const struct in_named_entry *old = p;
346   return htab_hash_string (old->name);
347 }
348
349 /* If SECTION has been seen before as a named section, return the flags
350    that were used.  Otherwise, return 0.  Note, that 0 is a perfectly valid
351    set of flags for a section to have, so 0 does not mean that the section
352    has not been seen.  */
353
354 static unsigned int
355 get_named_section_flags (const char *section)
356 {
357   struct in_named_entry **slot;
358
359   slot = (struct in_named_entry **)
360     htab_find_slot_with_hash (in_named_htab, section,
361                               htab_hash_string (section), NO_INSERT);
362
363   return slot ? (*slot)->flags : 0;
364 }
365
366 /* Returns true if the section has been declared before.   Sets internal
367    flag on this section in in_named_hash so subsequent calls on this
368    section will return false.  */
369
370 bool
371 named_section_first_declaration (const char *name)
372 {
373   struct in_named_entry **slot;
374
375   slot = (struct in_named_entry **)
376     htab_find_slot_with_hash (in_named_htab, name,
377                               htab_hash_string (name), NO_INSERT);
378   if (! (*slot)->declared)
379     {
380       (*slot)->declared = true;
381       return true;
382     }
383   else
384     {
385       return false;
386     }
387 }
388
389
390 /* Record FLAGS for SECTION.  If SECTION was previously recorded with a
391    different set of flags, return false.  */
392
393 bool
394 set_named_section_flags (const char *section, unsigned int flags)
395 {
396   struct in_named_entry **slot, *entry;
397
398   slot = (struct in_named_entry **)
399     htab_find_slot_with_hash (in_named_htab, section,
400                               htab_hash_string (section), INSERT);
401   entry = *slot;
402
403   if (!entry)
404     {
405       entry = ggc_alloc (sizeof (*entry));
406       *slot = entry;
407       entry->name = ggc_strdup (section);
408       entry->flags = flags;
409       entry->declared = false;
410     }
411   else if (entry->flags != flags)
412     return false;
413
414   return true;
415 }
416
417 /* Tell assembler to change to section NAME with attributes FLAGS.  If
418    DECL is non-NULL, it is the VAR_DECL or FUNCTION_DECL with which
419    this section is associated.  */
420
421 void
422 named_section_real (const char *name, unsigned int flags, tree decl)
423 {
424   if (in_section != in_named || strcmp (name, in_named_name) != 0)
425     {
426       if (! set_named_section_flags (name, flags))
427         abort ();
428
429       targetm.asm_out.named_section (name, flags, decl);
430
431       if (flags & SECTION_FORGET)
432         in_section = no_section;
433       else
434         {
435           in_named_name = ggc_strdup (name);
436           in_section = in_named;
437         }
438     }
439 }
440
441 /* Tell assembler to change to section NAME for DECL.
442    If DECL is NULL, just switch to section NAME.
443    If NAME is NULL, get the name from DECL.
444    If RELOC is 1, the initializer for DECL contains relocs.  */
445
446 void
447 named_section (tree decl, const char *name, int reloc)
448 {
449   unsigned int flags;
450
451   if (decl != NULL_TREE && !DECL_P (decl))
452     abort ();
453   if (name == NULL)
454     name = TREE_STRING_POINTER (DECL_SECTION_NAME (decl));
455
456   if (strcmp (name, UNLIKELY_EXECUTED_TEXT_SECTION_NAME) == 0
457       && !unlikely_text_section_name)
458     {
459       unlikely_text_section_name = xmalloc 
460              (strlen (UNLIKELY_EXECUTED_TEXT_SECTION_NAME) + 1 
461               * sizeof (char));
462       strcpy (unlikely_text_section_name, 
463               UNLIKELY_EXECUTED_TEXT_SECTION_NAME);
464     }
465
466   flags = targetm.section_type_flags (decl, name, reloc);
467
468   /* Sanity check user variables for flag changes.  Non-user
469      section flag changes will abort in named_section_flags.
470      However, don't complain if SECTION_OVERRIDE is set.
471      We trust that the setter knows that it is safe to ignore
472      the default flags for this decl.  */
473   if (decl && ! set_named_section_flags (name, flags))
474     {
475       flags = get_named_section_flags (name);
476       if ((flags & SECTION_OVERRIDE) == 0)
477         error ("%J%D causes a section type conflict", decl, decl);
478     }
479
480   named_section_real (name, flags, decl);
481 }
482
483 /* If required, set DECL_SECTION_NAME to a unique name.  */
484
485 void
486 resolve_unique_section (tree decl, int reloc ATTRIBUTE_UNUSED,
487                         int flag_function_or_data_sections)
488 {
489   if (DECL_SECTION_NAME (decl) == NULL_TREE
490       && targetm.have_named_sections
491       && (flag_function_or_data_sections
492           || DECL_ONE_ONLY (decl)))
493     targetm.asm_out.unique_section (decl, reloc);
494 }
495
496 #ifdef BSS_SECTION_ASM_OP
497
498 /* Tell the assembler to switch to the bss section.  */
499
500 void
501 bss_section (void)
502 {
503   if (in_section != in_bss)
504     {
505       fprintf (asm_out_file, "%s\n", BSS_SECTION_ASM_OP);
506       in_section = in_bss;
507     }
508 }
509
510 #ifdef ASM_OUTPUT_BSS
511
512 /* Utility function for ASM_OUTPUT_BSS for targets to use if
513    they don't support alignments in .bss.
514    ??? It is believed that this function will work in most cases so such
515    support is localized here.  */
516
517 static void
518 asm_output_bss (FILE *file, tree decl ATTRIBUTE_UNUSED,
519                 const char *name,
520                 unsigned HOST_WIDE_INT size ATTRIBUTE_UNUSED,
521                 unsigned HOST_WIDE_INT rounded)
522 {
523   targetm.asm_out.globalize_label (file, name);
524   bss_section ();
525 #ifdef ASM_DECLARE_OBJECT_NAME
526   last_assemble_variable_decl = decl;
527   ASM_DECLARE_OBJECT_NAME (file, name, decl);
528 #else
529   /* Standard thing is just output label for the object.  */
530   ASM_OUTPUT_LABEL (file, name);
531 #endif /* ASM_DECLARE_OBJECT_NAME */
532   ASM_OUTPUT_SKIP (file, rounded ? rounded : 1);
533 }
534
535 #endif
536
537 #ifdef ASM_OUTPUT_ALIGNED_BSS
538
539 /* Utility function for targets to use in implementing
540    ASM_OUTPUT_ALIGNED_BSS.
541    ??? It is believed that this function will work in most cases so such
542    support is localized here.  */
543
544 static void
545 asm_output_aligned_bss (FILE *file, tree decl ATTRIBUTE_UNUSED,
546                         const char *name, unsigned HOST_WIDE_INT size,
547                         int align)
548 {
549   bss_section ();
550   ASM_OUTPUT_ALIGN (file, floor_log2 (align / BITS_PER_UNIT));
551 #ifdef ASM_DECLARE_OBJECT_NAME
552   last_assemble_variable_decl = decl;
553   ASM_DECLARE_OBJECT_NAME (file, name, decl);
554 #else
555   /* Standard thing is just output label for the object.  */
556   ASM_OUTPUT_LABEL (file, name);
557 #endif /* ASM_DECLARE_OBJECT_NAME */
558   ASM_OUTPUT_SKIP (file, size ? size : 1);
559 }
560
561 #endif
562
563 #endif /* BSS_SECTION_ASM_OP */
564
565 /* Switch to the section for function DECL.
566
567    If DECL is NULL_TREE, switch to the text section.  We can be passed
568    NULL_TREE under some circumstances by dbxout.c at least.  */
569
570 void
571 function_section (tree decl)
572 {
573   if (decl == NULL_TREE)
574     text_section ();
575   else
576     {
577       /* ??? Typical use of this function maybe shouldn't be looking
578          for unlikely blocks at all - in the event that an entire
579          function is going into the unlikely-execute section, that
580          should be reflected in its DECL_SECTION_NAME.  */
581       rtx insns = cfun && cfun->emit ? get_insns () : 0;
582       bool unlikely = insns && scan_ahead_for_unlikely_executed_note (insns);
583
584 #ifdef USE_SELECT_SECTION_FOR_FUNCTIONS
585       targetm.asm_out.select_section (decl, unlikely, DECL_ALIGN (decl));
586 #else
587       if (unlikely)
588         unlikely_text_section ();
589       else if (DECL_SECTION_NAME (decl))
590         named_section (decl, 0, 0);
591       else
592         text_section ();
593 #endif
594     }
595 }
596
597 /* Switch to read-only data section associated with function DECL.  */
598
599 void
600 default_function_rodata_section (tree decl)
601 {
602   if (decl != NULL_TREE && DECL_SECTION_NAME (decl))
603     {
604       const char *name = TREE_STRING_POINTER (DECL_SECTION_NAME (decl));
605
606       /* For .gnu.linkonce.t.foo we want to use .gnu.linkonce.r.foo.  */
607       if (DECL_ONE_ONLY (decl) && strncmp (name, ".gnu.linkonce.t.", 16) == 0)
608         {
609           size_t len = strlen (name) + 1;
610           char *rname = alloca (len);
611
612           memcpy (rname, name, len);
613           rname[14] = 'r';
614           named_section_real (rname, SECTION_LINKONCE, decl);
615           return;
616         }
617       /* For .text.foo we want to use .rodata.foo.  */
618       else if (flag_function_sections && flag_data_sections
619                && strncmp (name, ".text.", 6) == 0)
620         {
621           size_t len = strlen (name) + 1;
622           char *rname = alloca (len + 2);
623
624           memcpy (rname, ".rodata", 7);
625           memcpy (rname + 7, name + 5, len - 5);
626           named_section_flags (rname, 0);
627           return;
628         }
629     }
630
631   readonly_data_section ();
632 }
633
634 /* Switch to read-only data section associated with function DECL
635    for targets where that section should be always the single
636    readonly data section.  */
637
638 void
639 default_no_function_rodata_section (tree decl ATTRIBUTE_UNUSED)
640 {
641   readonly_data_section ();
642 }
643
644 /* Switch to section for variable DECL.  RELOC is the same as the
645    argument to SELECT_SECTION.  */
646
647 void
648 variable_section (tree decl, int reloc)
649 {
650   if (IN_NAMED_SECTION (decl))
651     named_section (decl, NULL, reloc);
652   else
653     targetm.asm_out.select_section (decl, reloc, DECL_ALIGN (decl));
654 }
655
656 /* Tell assembler to switch to the section for string merging.  */
657
658 void
659 mergeable_string_section (tree decl ATTRIBUTE_UNUSED,
660                           unsigned HOST_WIDE_INT align ATTRIBUTE_UNUSED,
661                           unsigned int flags ATTRIBUTE_UNUSED)
662 {
663   if (HAVE_GAS_SHF_MERGE && flag_merge_constants
664       && TREE_CODE (decl) == STRING_CST
665       && TREE_CODE (TREE_TYPE (decl)) == ARRAY_TYPE
666       && align <= 256
667       && TREE_STRING_LENGTH (decl) >= int_size_in_bytes (TREE_TYPE (decl)))
668     {
669       enum machine_mode mode;
670       unsigned int modesize;
671       const char *str;
672       int i, j, len, unit;
673       char name[30];
674
675       mode = TYPE_MODE (TREE_TYPE (TREE_TYPE (decl)));
676       modesize = GET_MODE_BITSIZE (mode);
677       if (modesize >= 8 && modesize <= 256
678           && (modesize & (modesize - 1)) == 0)
679         {
680           if (align < modesize)
681             align = modesize;
682
683           str = TREE_STRING_POINTER (decl);
684           len = TREE_STRING_LENGTH (decl);
685           unit = GET_MODE_SIZE (mode);
686
687           /* Check for embedded NUL characters.  */
688           for (i = 0; i < len; i += unit)
689             {
690               for (j = 0; j < unit; j++)
691                 if (str[i + j] != '\0')
692                   break;
693               if (j == unit)
694                 break;
695             }
696           if (i == len - unit)
697             {
698               sprintf (name, ".rodata.str%d.%d", modesize / 8,
699                        (int) (align / 8));
700               flags |= (modesize / 8) | SECTION_MERGE | SECTION_STRINGS;
701               if (!i && modesize < align)
702                 {
703                   /* A "" string with requested alignment greater than
704                      character size might cause a problem:
705                      if some other string required even bigger
706                      alignment than "", then linker might think the
707                      "" is just part of padding after some other string
708                      and not put it into the hash table initially.
709                      But this means "" could have smaller alignment
710                      than requested.  */
711 #ifdef ASM_OUTPUT_SECTION_START
712                   named_section_flags (name, flags);
713                   ASM_OUTPUT_SECTION_START (asm_out_file);
714 #else
715                   readonly_data_section ();
716 #endif
717                   return;
718                 }
719
720               named_section_flags (name, flags);
721               return;
722             }
723         }
724     }
725
726   readonly_data_section ();
727 }
728
729 /* Tell assembler to switch to the section for constant merging.  */
730
731 void
732 mergeable_constant_section (enum machine_mode mode ATTRIBUTE_UNUSED,
733                             unsigned HOST_WIDE_INT align ATTRIBUTE_UNUSED,
734                             unsigned int flags ATTRIBUTE_UNUSED)
735 {
736   unsigned int modesize = GET_MODE_BITSIZE (mode);
737
738   if (HAVE_GAS_SHF_MERGE && flag_merge_constants
739       && mode != VOIDmode
740       && mode != BLKmode
741       && modesize <= align
742       && align >= 8
743       && align <= 256
744       && (align & (align - 1)) == 0)
745     {
746       char name[24];
747
748       sprintf (name, ".rodata.cst%d", (int) (align / 8));
749       flags |= (align / 8) | SECTION_MERGE;
750       named_section_flags (name, flags);
751       return;
752     }
753
754   readonly_data_section ();
755 }
756 \f
757 /* Given NAME, a putative register name, discard any customary prefixes.  */
758
759 static const char *
760 strip_reg_name (const char *name)
761 {
762 #ifdef REGISTER_PREFIX
763   if (!strncmp (name, REGISTER_PREFIX, strlen (REGISTER_PREFIX)))
764     name += strlen (REGISTER_PREFIX);
765 #endif
766   if (name[0] == '%' || name[0] == '#')
767     name++;
768   return name;
769 }
770 \f
771 /* The user has asked for a DECL to have a particular name.  Set (or
772    change) it in such a way that we don't prefix an underscore to
773    it.  */
774 void
775 set_user_assembler_name (tree decl, const char *name)
776 {
777   char *starred = alloca (strlen (name) + 2);
778   starred[0] = '*';
779   strcpy (starred + 1, name);
780   change_decl_assembler_name (decl, get_identifier (starred));
781   SET_DECL_RTL (decl, NULL_RTX);
782 }
783 \f
784 /* Decode an `asm' spec for a declaration as a register name.
785    Return the register number, or -1 if nothing specified,
786    or -2 if the ASMSPEC is not `cc' or `memory' and is not recognized,
787    or -3 if ASMSPEC is `cc' and is not recognized,
788    or -4 if ASMSPEC is `memory' and is not recognized.
789    Accept an exact spelling or a decimal number.
790    Prefixes such as % are optional.  */
791
792 int
793 decode_reg_name (const char *asmspec)
794 {
795   if (asmspec != 0)
796     {
797       int i;
798
799       /* Get rid of confusing prefixes.  */
800       asmspec = strip_reg_name (asmspec);
801
802       /* Allow a decimal number as a "register name".  */
803       for (i = strlen (asmspec) - 1; i >= 0; i--)
804         if (! ISDIGIT (asmspec[i]))
805           break;
806       if (asmspec[0] != 0 && i < 0)
807         {
808           i = atoi (asmspec);
809           if (i < FIRST_PSEUDO_REGISTER && i >= 0)
810             return i;
811           else
812             return -2;
813         }
814
815       for (i = 0; i < FIRST_PSEUDO_REGISTER; i++)
816         if (reg_names[i][0]
817             && ! strcmp (asmspec, strip_reg_name (reg_names[i])))
818           return i;
819
820 #ifdef ADDITIONAL_REGISTER_NAMES
821       {
822         static const struct { const char *const name; const int number; } table[]
823           = ADDITIONAL_REGISTER_NAMES;
824
825         for (i = 0; i < (int) ARRAY_SIZE (table); i++)
826           if (! strcmp (asmspec, table[i].name))
827             return table[i].number;
828       }
829 #endif /* ADDITIONAL_REGISTER_NAMES */
830
831       if (!strcmp (asmspec, "memory"))
832         return -4;
833
834       if (!strcmp (asmspec, "cc"))
835         return -3;
836
837       return -2;
838     }
839
840   return -1;
841 }
842 \f
843 /* Create the DECL_RTL for a VAR_DECL or FUNCTION_DECL.  DECL should
844    have static storage duration.  In other words, it should not be an
845    automatic variable, including PARM_DECLs.
846
847    There is, however, one exception: this function handles variables
848    explicitly placed in a particular register by the user.
849
850    This is never called for PARM_DECL nodes.  */
851
852 void
853 make_decl_rtl (tree decl)
854 {
855   const char *name = 0;
856   int reg_number;
857   rtx x;
858
859   /* Check that we are not being given an automatic variable.  */
860   /* A weak alias has TREE_PUBLIC set but not the other bits.  */
861   if (TREE_CODE (decl) == PARM_DECL
862       || TREE_CODE (decl) == RESULT_DECL
863       || (TREE_CODE (decl) == VAR_DECL
864           && !TREE_STATIC (decl)
865           && !TREE_PUBLIC (decl)
866           && !DECL_EXTERNAL (decl)
867           && !DECL_REGISTER (decl)))
868     abort ();
869   /* And that we were not given a type or a label.  */
870   else if (TREE_CODE (decl) == TYPE_DECL
871            || TREE_CODE (decl) == LABEL_DECL)
872     abort ();
873
874   /* For a duplicate declaration, we can be called twice on the
875      same DECL node.  Don't discard the RTL already made.  */
876   if (DECL_RTL_SET_P (decl))
877     {
878       /* If the old RTL had the wrong mode, fix the mode.  */
879       if (GET_MODE (DECL_RTL (decl)) != DECL_MODE (decl))
880         SET_DECL_RTL (decl, adjust_address_nv (DECL_RTL (decl),
881                                                DECL_MODE (decl), 0));
882
883       if (TREE_CODE (decl) != FUNCTION_DECL && DECL_REGISTER (decl))
884         return;
885
886       /* ??? Another way to do this would be to maintain a hashed
887          table of such critters.  Instead of adding stuff to a DECL
888          to give certain attributes to it, we could use an external
889          hash map from DECL to set of attributes.  */
890
891       /* Let the target reassign the RTL if it wants.
892          This is necessary, for example, when one machine specific
893          decl attribute overrides another.  */
894       targetm.encode_section_info (decl, DECL_RTL (decl), false);
895
896       /* Make this function static known to the mudflap runtime.  */
897       if (flag_mudflap && TREE_CODE (decl) == VAR_DECL)
898         mudflap_enqueue_decl (decl);
899
900       return;
901     }
902
903   name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl));
904
905
906   if (TREE_CODE (decl) != FUNCTION_DECL && DECL_REGISTER (decl))
907     {
908       reg_number = decode_reg_name (name);
909       /* First detect errors in declaring global registers.  */
910       if (reg_number == -1)
911         error ("%Jregister name not specified for %qD", decl, decl);
912       else if (reg_number < 0)
913         error ("%Jinvalid register name for %qD", decl, decl);
914       else if (TYPE_MODE (TREE_TYPE (decl)) == BLKmode)
915         error ("%Jdata type of %qD isn%'t suitable for a register",
916                decl, decl);
917       else if (! HARD_REGNO_MODE_OK (reg_number, TYPE_MODE (TREE_TYPE (decl))))
918         error ("%Jregister specified for %qD isn%'t suitable for data type",
919                decl, decl);
920       /* Now handle properly declared static register variables.  */
921       else
922         {
923           int nregs;
924
925           if (DECL_INITIAL (decl) != 0 && TREE_STATIC (decl))
926             {
927               DECL_INITIAL (decl) = 0;
928               error ("global register variable has initial value");
929             }
930           if (TREE_THIS_VOLATILE (decl))
931             warning ("volatile register variables don%'t "
932                      "work as you might wish");
933
934           /* If the user specified one of the eliminables registers here,
935              e.g., FRAME_POINTER_REGNUM, we don't want to get this variable
936              confused with that register and be eliminated.  This usage is
937              somewhat suspect...  */
938
939           SET_DECL_RTL (decl, gen_rtx_raw_REG (DECL_MODE (decl), reg_number));
940           ORIGINAL_REGNO (DECL_RTL (decl)) = reg_number;
941           REG_USERVAR_P (DECL_RTL (decl)) = 1;
942
943           if (TREE_STATIC (decl))
944             {
945               /* Make this register global, so not usable for anything
946                  else.  */
947 #ifdef ASM_DECLARE_REGISTER_GLOBAL
948               ASM_DECLARE_REGISTER_GLOBAL (asm_out_file, decl, reg_number, name);
949 #endif
950               nregs = hard_regno_nregs[reg_number][DECL_MODE (decl)];
951               while (nregs > 0)
952                 globalize_reg (reg_number + --nregs);
953             }
954
955           /* As a register variable, it has no section.  */
956           return;
957         }
958     }
959   /* Now handle ordinary static variables and functions (in memory).
960      Also handle vars declared register invalidly.  */
961   else if (name[0] == '*')
962   {
963 #ifdef REGISTER_PREFIX
964     if (strlen (REGISTER_PREFIX) != 0)
965       {
966         reg_number = decode_reg_name (name);
967         if (reg_number >= 0 || reg_number == -3)
968           error ("%Jregister name given for non-register variable %qD", decl, decl);
969       }
970 #endif
971   }
972
973   /* Specifying a section attribute on a variable forces it into a
974      non-.bss section, and thus it cannot be common.  */
975   if (TREE_CODE (decl) == VAR_DECL
976       && DECL_SECTION_NAME (decl) != NULL_TREE
977       && DECL_INITIAL (decl) == NULL_TREE
978       && DECL_COMMON (decl))
979     DECL_COMMON (decl) = 0;
980
981   /* Variables can't be both common and weak.  */
982   if (TREE_CODE (decl) == VAR_DECL && DECL_WEAK (decl))
983     DECL_COMMON (decl) = 0;
984
985   x = gen_rtx_SYMBOL_REF (Pmode, name);
986   SYMBOL_REF_WEAK (x) = DECL_WEAK (decl);
987   SYMBOL_REF_DECL (x) = decl;
988
989   x = gen_rtx_MEM (DECL_MODE (decl), x);
990   if (TREE_CODE (decl) != FUNCTION_DECL)
991     set_mem_attributes (x, decl, 1);
992   SET_DECL_RTL (decl, x);
993
994   /* Optionally set flags or add text to the name to record information
995      such as that it is a function name.
996      If the name is changed, the macro ASM_OUTPUT_LABELREF
997      will have to know how to strip this information.  */
998   targetm.encode_section_info (decl, DECL_RTL (decl), true);
999
1000   /* Make this function static known to the mudflap runtime.  */
1001   if (flag_mudflap && TREE_CODE (decl) == VAR_DECL)
1002     mudflap_enqueue_decl (decl);
1003 }
1004
1005 /* Make the rtl for variable VAR be volatile.
1006    Use this only for static variables.  */
1007
1008 void
1009 make_var_volatile (tree var)
1010 {
1011   if (!MEM_P (DECL_RTL (var)))
1012     abort ();
1013
1014   MEM_VOLATILE_P (DECL_RTL (var)) = 1;
1015 }
1016 \f
1017 /* Output a string of literal assembler code
1018    for an `asm' keyword used between functions.  */
1019
1020 void
1021 assemble_asm (tree string)
1022 {
1023   app_enable ();
1024
1025   if (TREE_CODE (string) == ADDR_EXPR)
1026     string = TREE_OPERAND (string, 0);
1027
1028   fprintf (asm_out_file, "\t%s\n", TREE_STRING_POINTER (string));
1029 }
1030
1031 /* Record an element in the table of global destructors.  SYMBOL is
1032    a SYMBOL_REF of the function to be called; PRIORITY is a number
1033    between 0 and MAX_INIT_PRIORITY.  */
1034
1035 void
1036 default_stabs_asm_out_destructor (rtx symbol ATTRIBUTE_UNUSED,
1037                                   int priority ATTRIBUTE_UNUSED)
1038 {
1039 #if defined DBX_DEBUGGING_INFO || defined XCOFF_DEBUGGING_INFO
1040   /* Tell GNU LD that this is part of the static destructor set.
1041      This will work for any system that uses stabs, most usefully
1042      aout systems.  */
1043   dbxout_begin_simple_stabs ("___DTOR_LIST__", 22 /* N_SETT */);
1044   dbxout_stab_value_label (XSTR (symbol, 0));
1045 #else
1046   sorry ("global destructors not supported on this target");
1047 #endif
1048 }
1049
1050 void
1051 default_named_section_asm_out_destructor (rtx symbol, int priority)
1052 {
1053   const char *section = ".dtors";
1054   char buf[16];
1055
1056   /* ??? This only works reliably with the GNU linker.  */
1057   if (priority != DEFAULT_INIT_PRIORITY)
1058     {
1059       sprintf (buf, ".dtors.%.5u",
1060                /* Invert the numbering so the linker puts us in the proper
1061                   order; constructors are run from right to left, and the
1062                   linker sorts in increasing order.  */
1063                MAX_INIT_PRIORITY - priority);
1064       section = buf;
1065     }
1066
1067   named_section_flags (section, SECTION_WRITE);
1068   assemble_align (POINTER_SIZE);
1069   assemble_integer (symbol, POINTER_SIZE / BITS_PER_UNIT, POINTER_SIZE, 1);
1070 }
1071
1072 #ifdef DTORS_SECTION_ASM_OP
1073 void
1074 dtors_section (void)
1075 {
1076   if (in_section != in_dtors)
1077     {
1078       in_section = in_dtors;
1079       fputs (DTORS_SECTION_ASM_OP, asm_out_file);
1080       fputc ('\n', asm_out_file);
1081     }
1082 }
1083
1084 void
1085 default_dtor_section_asm_out_destructor (rtx symbol,
1086                                          int priority ATTRIBUTE_UNUSED)
1087 {
1088   dtors_section ();
1089   assemble_align (POINTER_SIZE);
1090   assemble_integer (symbol, POINTER_SIZE / BITS_PER_UNIT, POINTER_SIZE, 1);
1091 }
1092 #endif
1093
1094 /* Likewise for global constructors.  */
1095
1096 void
1097 default_stabs_asm_out_constructor (rtx symbol ATTRIBUTE_UNUSED,
1098                                    int priority ATTRIBUTE_UNUSED)
1099 {
1100 #if defined DBX_DEBUGGING_INFO || defined XCOFF_DEBUGGING_INFO
1101   /* Tell GNU LD that this is part of the static destructor set.
1102      This will work for any system that uses stabs, most usefully
1103      aout systems.  */
1104   dbxout_begin_simple_stabs ("___CTOR_LIST__", 22 /* N_SETT */);
1105   dbxout_stab_value_label (XSTR (symbol, 0));
1106 #else
1107   sorry ("global constructors not supported on this target");
1108 #endif
1109 }
1110
1111 void
1112 default_named_section_asm_out_constructor (rtx symbol, int priority)
1113 {
1114   const char *section = ".ctors";
1115   char buf[16];
1116
1117   /* ??? This only works reliably with the GNU linker.  */
1118   if (priority != DEFAULT_INIT_PRIORITY)
1119     {
1120       sprintf (buf, ".ctors.%.5u",
1121                /* Invert the numbering so the linker puts us in the proper
1122                   order; constructors are run from right to left, and the
1123                   linker sorts in increasing order.  */
1124                MAX_INIT_PRIORITY - priority);
1125       section = buf;
1126     }
1127
1128   named_section_flags (section, SECTION_WRITE);
1129   assemble_align (POINTER_SIZE);
1130   assemble_integer (symbol, POINTER_SIZE / BITS_PER_UNIT, POINTER_SIZE, 1);
1131 }
1132
1133 #ifdef CTORS_SECTION_ASM_OP
1134 void
1135 ctors_section (void)
1136 {
1137   if (in_section != in_ctors)
1138     {
1139       in_section = in_ctors;
1140       fputs (CTORS_SECTION_ASM_OP, asm_out_file);
1141       fputc ('\n', asm_out_file);
1142     }
1143 }
1144
1145 void
1146 default_ctor_section_asm_out_constructor (rtx symbol,
1147                                           int priority ATTRIBUTE_UNUSED)
1148 {
1149   ctors_section ();
1150   assemble_align (POINTER_SIZE);
1151   assemble_integer (symbol, POINTER_SIZE / BITS_PER_UNIT, POINTER_SIZE, 1);
1152 }
1153 #endif
1154 \f
1155 /* CONSTANT_POOL_BEFORE_FUNCTION may be defined as an expression with
1156    a nonzero value if the constant pool should be output before the
1157    start of the function, or a zero value if the pool should output
1158    after the end of the function.  The default is to put it before the
1159    start.  */
1160
1161 #ifndef CONSTANT_POOL_BEFORE_FUNCTION
1162 #define CONSTANT_POOL_BEFORE_FUNCTION 1
1163 #endif
1164
1165 /* DECL is an object (either VAR_DECL or FUNCTION_DECL) which is going
1166    to be output to assembler.
1167    Set first_global_object_name and weak_global_object_name as appropriate.  */
1168
1169 void
1170 notice_global_symbol (tree decl)
1171 {
1172   const char **type = &first_global_object_name;
1173
1174   if (first_global_object_name
1175       || !TREE_PUBLIC (decl) || DECL_EXTERNAL (decl)
1176       || !DECL_NAME (decl)
1177       || (TREE_CODE (decl) != FUNCTION_DECL
1178           && (TREE_CODE (decl) != VAR_DECL
1179               || (DECL_COMMON (decl)
1180                   && (DECL_INITIAL (decl) == 0
1181                       || DECL_INITIAL (decl) == error_mark_node))))
1182       || !MEM_P (DECL_RTL (decl)))
1183     return;
1184
1185   /* We win when global object is found, but it is useful to know about weak
1186      symbol as well so we can produce nicer unique names.  */
1187   if (DECL_WEAK (decl) || DECL_ONE_ONLY (decl))
1188     type = &weak_global_object_name;
1189
1190   if (!*type)
1191     {
1192       const char *p;
1193       char *name;
1194       rtx decl_rtl = DECL_RTL (decl);
1195
1196       p = targetm.strip_name_encoding (XSTR (XEXP (decl_rtl, 0), 0));
1197       name = xstrdup (p);
1198
1199       *type = name;
1200     }
1201 }
1202
1203 /* Output assembler code for the constant pool of a function and associated
1204    with defining the name of the function.  DECL describes the function.
1205    NAME is the function's name.  For the constant pool, we use the current
1206    constant pool data.  */
1207
1208 void
1209 assemble_start_function (tree decl, const char *fnname)
1210 {
1211   int align;
1212
1213   if (unlikely_text_section_name)
1214     free (unlikely_text_section_name);
1215
1216   unlikely_section_label_printed = false;
1217   unlikely_text_section_name = NULL;
1218   
1219   unlikely_section_label = reconcat (unlikely_section_label, 
1220                                      fnname, ".unlikely_section", NULL);
1221   
1222   /* The following code does not need preprocessing in the assembler.  */
1223
1224   app_disable ();
1225
1226   if (CONSTANT_POOL_BEFORE_FUNCTION)
1227     output_constant_pool (fnname, decl);
1228
1229   /* Make sure the cold text (code) section is properly aligned.  This
1230      is necessary here in the case where the function has both hot and
1231      cold sections, because we don't want to re-set the alignment when the
1232      section switch happens mid-function.  We don't need to set the hot
1233      section alignment here, because code further down in this function
1234      sets the alignment for whichever section comes first, and if there
1235      is a hot section it is guaranteed to be first.  */
1236
1237   if (flag_reorder_blocks_and_partition)
1238     {
1239       unlikely_text_section ();
1240       assemble_align (FUNCTION_BOUNDARY);
1241     }
1242
1243   resolve_unique_section (decl, 0, flag_function_sections);
1244   function_section (decl);
1245
1246   /* Tell assembler to move to target machine's alignment for functions.  */
1247   align = floor_log2 (FUNCTION_BOUNDARY / BITS_PER_UNIT);
1248   if (align < force_align_functions_log)
1249     align = force_align_functions_log;
1250   if (align > 0)
1251     {
1252       ASM_OUTPUT_ALIGN (asm_out_file, align);
1253     }
1254
1255   /* Handle a user-specified function alignment.
1256      Note that we still need to align to FUNCTION_BOUNDARY, as above,
1257      because ASM_OUTPUT_MAX_SKIP_ALIGN might not do any alignment at all.  */
1258   if (align_functions_log > align
1259       && cfun->function_frequency != FUNCTION_FREQUENCY_UNLIKELY_EXECUTED)
1260     {
1261 #ifdef ASM_OUTPUT_MAX_SKIP_ALIGN
1262       ASM_OUTPUT_MAX_SKIP_ALIGN (asm_out_file,
1263                                  align_functions_log, align_functions - 1);
1264 #else
1265       ASM_OUTPUT_ALIGN (asm_out_file, align_functions_log);
1266 #endif
1267     }
1268
1269 #ifdef ASM_OUTPUT_FUNCTION_PREFIX
1270   ASM_OUTPUT_FUNCTION_PREFIX (asm_out_file, fnname);
1271 #endif
1272
1273   (*debug_hooks->begin_function) (decl);
1274
1275   /* Make function name accessible from other files, if appropriate.  */
1276
1277   if (TREE_PUBLIC (decl))
1278     {
1279       notice_global_symbol (decl);
1280
1281       globalize_decl (decl);
1282
1283       maybe_assemble_visibility (decl);
1284     }
1285
1286   if (DECL_PRESERVE_P (decl))
1287     targetm.asm_out.mark_decl_preserved (fnname);
1288
1289   /* Do any machine/system dependent processing of the function name.  */
1290 #ifdef ASM_DECLARE_FUNCTION_NAME
1291   ASM_DECLARE_FUNCTION_NAME (asm_out_file, fnname, current_function_decl);
1292 #else
1293   /* Standard thing is just output label for the function.  */
1294   ASM_OUTPUT_LABEL (asm_out_file, fnname);
1295 #endif /* ASM_DECLARE_FUNCTION_NAME */
1296
1297   if (in_unlikely_text_section ()
1298       && !unlikely_section_label_printed)
1299     {
1300       ASM_OUTPUT_LABEL (asm_out_file, unlikely_section_label);
1301       unlikely_section_label_printed = true;
1302     }
1303 }
1304
1305 /* Output assembler code associated with defining the size of the
1306    function.  DECL describes the function.  NAME is the function's name.  */
1307
1308 void
1309 assemble_end_function (tree decl, const char *fnname)
1310 {
1311 #ifdef ASM_DECLARE_FUNCTION_SIZE
1312   ASM_DECLARE_FUNCTION_SIZE (asm_out_file, fnname, decl);
1313 #endif
1314   if (! CONSTANT_POOL_BEFORE_FUNCTION)
1315     {
1316       output_constant_pool (fnname, decl);
1317       function_section (decl);  /* need to switch back */
1318     }
1319 }
1320 \f
1321 /* Assemble code to leave SIZE bytes of zeros.  */
1322
1323 void
1324 assemble_zeros (unsigned HOST_WIDE_INT size)
1325 {
1326   /* Do no output if -fsyntax-only.  */
1327   if (flag_syntax_only)
1328     return;
1329
1330 #ifdef ASM_NO_SKIP_IN_TEXT
1331   /* The `space' pseudo in the text section outputs nop insns rather than 0s,
1332      so we must output 0s explicitly in the text section.  */
1333   if ((ASM_NO_SKIP_IN_TEXT && in_text_section ())
1334       || (ASM_NO_SKIP_IN_TEXT && in_unlikely_text_section ()))
1335     {
1336       unsigned HOST_WIDE_INT i;
1337       for (i = 0; i < size; i++)
1338         assemble_integer (const0_rtx, 1, BITS_PER_UNIT, 1);
1339     }
1340   else
1341 #endif
1342     if (size > 0)
1343       ASM_OUTPUT_SKIP (asm_out_file, size);
1344 }
1345
1346 /* Assemble an alignment pseudo op for an ALIGN-bit boundary.  */
1347
1348 void
1349 assemble_align (int align)
1350 {
1351   if (align > BITS_PER_UNIT)
1352     {
1353       ASM_OUTPUT_ALIGN (asm_out_file, floor_log2 (align / BITS_PER_UNIT));
1354     }
1355 }
1356
1357 /* Assemble a string constant with the specified C string as contents.  */
1358
1359 void
1360 assemble_string (const char *p, int size)
1361 {
1362   int pos = 0;
1363   int maximum = 2000;
1364
1365   /* If the string is very long, split it up.  */
1366
1367   while (pos < size)
1368     {
1369       int thissize = size - pos;
1370       if (thissize > maximum)
1371         thissize = maximum;
1372
1373       ASM_OUTPUT_ASCII (asm_out_file, p, thissize);
1374
1375       pos += thissize;
1376       p += thissize;
1377     }
1378 }
1379
1380 \f
1381 #if defined  ASM_OUTPUT_ALIGNED_DECL_LOCAL
1382 #define ASM_EMIT_LOCAL(decl, name, size, rounded) \
1383   ASM_OUTPUT_ALIGNED_DECL_LOCAL (asm_out_file, decl, name, size, DECL_ALIGN (decl))
1384 #else
1385 #if defined  ASM_OUTPUT_ALIGNED_LOCAL
1386 #define ASM_EMIT_LOCAL(decl, name, size, rounded) \
1387   ASM_OUTPUT_ALIGNED_LOCAL (asm_out_file, name, size, DECL_ALIGN (decl))
1388 #else
1389 #define ASM_EMIT_LOCAL(decl, name, size, rounded) \
1390   ASM_OUTPUT_LOCAL (asm_out_file, name, size, rounded)
1391 #endif
1392 #endif
1393
1394 #if defined ASM_OUTPUT_ALIGNED_BSS
1395 #define ASM_EMIT_BSS(decl, name, size, rounded) \
1396   ASM_OUTPUT_ALIGNED_BSS (asm_out_file, decl, name, size, DECL_ALIGN (decl))
1397 #else
1398 #if defined ASM_OUTPUT_BSS
1399 #define ASM_EMIT_BSS(decl, name, size, rounded) \
1400   ASM_OUTPUT_BSS (asm_out_file, decl, name, size, rounded)
1401 #else
1402 #undef  ASM_EMIT_BSS
1403 #endif
1404 #endif
1405
1406 #if defined ASM_OUTPUT_ALIGNED_DECL_COMMON
1407 #define ASM_EMIT_COMMON(decl, name, size, rounded) \
1408   ASM_OUTPUT_ALIGNED_DECL_COMMON (asm_out_file, decl, name, size, DECL_ALIGN (decl))
1409 #else
1410 #if defined ASM_OUTPUT_ALIGNED_COMMON
1411 #define ASM_EMIT_COMMON(decl, name, size, rounded) \
1412   ASM_OUTPUT_ALIGNED_COMMON (asm_out_file, name, size, DECL_ALIGN (decl))
1413 #else
1414 #define ASM_EMIT_COMMON(decl, name, size, rounded) \
1415   ASM_OUTPUT_COMMON (asm_out_file, name, size, rounded)
1416 #endif
1417 #endif
1418
1419 static bool
1420 asm_emit_uninitialised (tree decl, const char *name,
1421                         unsigned HOST_WIDE_INT size ATTRIBUTE_UNUSED,
1422                         unsigned HOST_WIDE_INT rounded ATTRIBUTE_UNUSED)
1423 {
1424   enum
1425   {
1426     asm_dest_common,
1427     asm_dest_bss,
1428     asm_dest_local
1429   }
1430   destination = asm_dest_local;
1431
1432   /* ??? We should handle .bss via select_section mechanisms rather than
1433      via special target hooks.  That would eliminate this special case.  */
1434   if (TREE_PUBLIC (decl))
1435     {
1436       if (!DECL_COMMON (decl))
1437 #ifdef ASM_EMIT_BSS
1438         destination = asm_dest_bss;
1439 #else
1440         return false;
1441 #endif
1442       else
1443         destination = asm_dest_common;
1444     }
1445
1446   if (destination != asm_dest_common)
1447     {
1448       resolve_unique_section (decl, 0, flag_data_sections);
1449       /* Custom sections don't belong here.  */
1450       if (DECL_SECTION_NAME (decl))
1451         return false;
1452     }
1453
1454   if (destination == asm_dest_bss)
1455     globalize_decl (decl);
1456
1457   if (flag_shared_data)
1458     {
1459       switch (destination)
1460         {
1461 #ifdef ASM_OUTPUT_SHARED_BSS
1462         case asm_dest_bss:
1463           ASM_OUTPUT_SHARED_BSS (asm_out_file, decl, name, size, rounded);
1464           return;
1465 #endif
1466 #ifdef ASM_OUTPUT_SHARED_COMMON
1467         case asm_dest_common:
1468           ASM_OUTPUT_SHARED_COMMON (asm_out_file, name, size, rounded);
1469           return;
1470 #endif
1471 #ifdef ASM_OUTPUT_SHARED_LOCAL
1472         case asm_dest_local:
1473           ASM_OUTPUT_SHARED_LOCAL (asm_out_file, name, size, rounded);
1474           return;
1475 #endif
1476         default:
1477           break;
1478         }
1479     }
1480
1481   switch (destination)
1482     {
1483 #ifdef ASM_EMIT_BSS
1484     case asm_dest_bss:
1485       ASM_EMIT_BSS (decl, name, size, rounded);
1486       break;
1487 #endif
1488     case asm_dest_common:
1489       ASM_EMIT_COMMON (decl, name, size, rounded);
1490       break;
1491     case asm_dest_local:
1492       ASM_EMIT_LOCAL (decl, name, size, rounded);
1493       break;
1494     default:
1495       abort ();
1496     }
1497
1498   return true;
1499 }
1500
1501 /* Assemble everything that is needed for a variable or function declaration.
1502    Not used for automatic variables, and not used for function definitions.
1503    Should not be called for variables of incomplete structure type.
1504
1505    TOP_LEVEL is nonzero if this variable has file scope.
1506    AT_END is nonzero if this is the special handling, at end of compilation,
1507    to define things that have had only tentative definitions.
1508    DONT_OUTPUT_DATA if nonzero means don't actually output the
1509    initial value (that will be done by the caller).  */
1510
1511 void
1512 assemble_variable (tree decl, int top_level ATTRIBUTE_UNUSED,
1513                    int at_end ATTRIBUTE_UNUSED, int dont_output_data)
1514 {
1515   const char *name;
1516   unsigned int align;
1517   int reloc = 0;
1518   rtx decl_rtl;
1519
1520   if (lang_hooks.decls.prepare_assemble_variable)
1521     lang_hooks.decls.prepare_assemble_variable (decl);
1522
1523   last_assemble_variable_decl = 0;
1524
1525   /* Normally no need to say anything here for external references,
1526      since assemble_external is called by the language-specific code
1527      when a declaration is first seen.  */
1528
1529   if (DECL_EXTERNAL (decl))
1530     return;
1531
1532   /* Output no assembler code for a function declaration.
1533      Only definitions of functions output anything.  */
1534
1535   if (TREE_CODE (decl) == FUNCTION_DECL)
1536     return;
1537
1538   /* Do nothing for global register variables.  */
1539   if (DECL_RTL_SET_P (decl) && REG_P (DECL_RTL (decl)))
1540     {
1541       TREE_ASM_WRITTEN (decl) = 1;
1542       return;
1543     }
1544
1545   /* If type was incomplete when the variable was declared,
1546      see if it is complete now.  */
1547
1548   if (DECL_SIZE (decl) == 0)
1549     layout_decl (decl, 0);
1550
1551   /* Still incomplete => don't allocate it; treat the tentative defn
1552      (which is what it must have been) as an `extern' reference.  */
1553
1554   if (!dont_output_data && DECL_SIZE (decl) == 0)
1555     {
1556       error ("%Jstorage size of %qD isn%'t known", decl, decl);
1557       TREE_ASM_WRITTEN (decl) = 1;
1558       return;
1559     }
1560
1561   /* The first declaration of a variable that comes through this function
1562      decides whether it is global (in C, has external linkage)
1563      or local (in C, has internal linkage).  So do nothing more
1564      if this function has already run.  */
1565
1566   if (TREE_ASM_WRITTEN (decl))
1567     return;
1568
1569   /* Make sure targetm.encode_section_info is invoked before we set
1570      ASM_WRITTEN.  */
1571   decl_rtl = DECL_RTL (decl);
1572
1573   TREE_ASM_WRITTEN (decl) = 1;
1574
1575   /* Do no output if -fsyntax-only.  */
1576   if (flag_syntax_only)
1577     return;
1578
1579   app_disable ();
1580
1581   if (! dont_output_data
1582       && ! host_integerp (DECL_SIZE_UNIT (decl), 1))
1583     {
1584       error ("%Jsize of variable %qD is too large", decl, decl);
1585       return;
1586     }
1587
1588   name = XSTR (XEXP (decl_rtl, 0), 0);
1589   if (TREE_PUBLIC (decl) && DECL_NAME (decl))
1590     notice_global_symbol (decl);
1591
1592   /* Compute the alignment of this data.  */
1593
1594   align = DECL_ALIGN (decl);
1595
1596   /* In the case for initialing an array whose length isn't specified,
1597      where we have not yet been able to do the layout,
1598      figure out the proper alignment now.  */
1599   if (dont_output_data && DECL_SIZE (decl) == 0
1600       && TREE_CODE (TREE_TYPE (decl)) == ARRAY_TYPE)
1601     align = MAX (align, TYPE_ALIGN (TREE_TYPE (TREE_TYPE (decl))));
1602
1603   /* Some object file formats have a maximum alignment which they support.
1604      In particular, a.out format supports a maximum alignment of 4.  */
1605   if (align > MAX_OFILE_ALIGNMENT)
1606     {
1607       warning ("%Jalignment of %qD is greater than maximum object "
1608                "file alignment.  Using %d", decl, decl,
1609                MAX_OFILE_ALIGNMENT/BITS_PER_UNIT);
1610       align = MAX_OFILE_ALIGNMENT;
1611     }
1612
1613   /* On some machines, it is good to increase alignment sometimes.  */
1614   if (! DECL_USER_ALIGN (decl))
1615     {
1616 #ifdef DATA_ALIGNMENT
1617       align = DATA_ALIGNMENT (TREE_TYPE (decl), align);
1618 #endif
1619 #ifdef CONSTANT_ALIGNMENT
1620       if (DECL_INITIAL (decl) != 0 && DECL_INITIAL (decl) != error_mark_node)
1621         align = CONSTANT_ALIGNMENT (DECL_INITIAL (decl), align);
1622 #endif
1623     }
1624
1625   /* Reset the alignment in case we have made it tighter, so we can benefit
1626      from it in get_pointer_alignment.  */
1627   DECL_ALIGN (decl) = align;
1628   set_mem_align (decl_rtl, align);
1629
1630   if (TREE_PUBLIC (decl))
1631     maybe_assemble_visibility (decl);
1632
1633   if (DECL_PRESERVE_P (decl))
1634     targetm.asm_out.mark_decl_preserved (name);
1635
1636   /* Handle uninitialized definitions.  */
1637
1638   /* If the decl has been given an explicit section name, then it
1639      isn't common, and shouldn't be handled as such.  */
1640   if (DECL_SECTION_NAME (decl) || dont_output_data)
1641     ;
1642   /* We don't implement common thread-local data at present.  */
1643   else if (DECL_THREAD_LOCAL (decl))
1644     {
1645       if (DECL_COMMON (decl))
1646         sorry ("thread-local COMMON data not implemented");
1647     }
1648   else if (DECL_INITIAL (decl) == 0
1649            || DECL_INITIAL (decl) == error_mark_node
1650            || (flag_zero_initialized_in_bss
1651                /* Leave constant zeroes in .rodata so they can be shared.  */
1652                && !TREE_READONLY (decl)
1653                && initializer_zerop (DECL_INITIAL (decl))))
1654     {
1655       unsigned HOST_WIDE_INT size = tree_low_cst (DECL_SIZE_UNIT (decl), 1);
1656       unsigned HOST_WIDE_INT rounded = size;
1657
1658       /* Don't allocate zero bytes of common,
1659          since that means "undefined external" in the linker.  */
1660       if (size == 0)
1661         rounded = 1;
1662
1663       /* Round size up to multiple of BIGGEST_ALIGNMENT bits
1664          so that each uninitialized object starts on such a boundary.  */
1665       rounded += (BIGGEST_ALIGNMENT / BITS_PER_UNIT) - 1;
1666       rounded = (rounded / (BIGGEST_ALIGNMENT / BITS_PER_UNIT)
1667                  * (BIGGEST_ALIGNMENT / BITS_PER_UNIT));
1668
1669 #if !defined(ASM_OUTPUT_ALIGNED_COMMON) && !defined(ASM_OUTPUT_ALIGNED_DECL_COMMON) && !defined(ASM_OUTPUT_ALIGNED_BSS)
1670       if ((unsigned HOST_WIDE_INT) DECL_ALIGN_UNIT (decl) > rounded)
1671         warning ("%Jrequested alignment for %qD is greater than "
1672                  "implemented alignment of %d", decl, decl, rounded);
1673 #endif
1674
1675       /* If the target cannot output uninitialized but not common global data
1676          in .bss, then we have to use .data, so fall through.  */
1677       if (asm_emit_uninitialised (decl, name, size, rounded))
1678         return;
1679     }
1680
1681   /* Handle initialized definitions.
1682      Also handle uninitialized global definitions if -fno-common and the
1683      target doesn't support ASM_OUTPUT_BSS.  */
1684
1685   /* First make the assembler name(s) global if appropriate.  */
1686   if (TREE_PUBLIC (decl) && DECL_NAME (decl))
1687     globalize_decl (decl);
1688
1689   /* Output any data that we will need to use the address of.  */
1690   if (DECL_INITIAL (decl) == error_mark_node)
1691     reloc = contains_pointers_p (TREE_TYPE (decl)) ? 3 : 0;
1692   else if (DECL_INITIAL (decl))
1693     {
1694       reloc = compute_reloc_for_constant (DECL_INITIAL (decl));
1695       output_addressed_constants (DECL_INITIAL (decl));
1696     }
1697
1698   /* Switch to the appropriate section.  */
1699   resolve_unique_section (decl, reloc, flag_data_sections);
1700   variable_section (decl, reloc);
1701
1702   /* dbxout.c needs to know this.  */
1703   if (in_text_section () || in_unlikely_text_section ())
1704     DECL_IN_TEXT_SECTION (decl) = 1;
1705
1706   /* Output the alignment of this data.  */
1707   if (align > BITS_PER_UNIT)
1708     ASM_OUTPUT_ALIGN (asm_out_file, floor_log2 (DECL_ALIGN_UNIT (decl)));
1709
1710   /* Do any machine/system dependent processing of the object.  */
1711 #ifdef ASM_DECLARE_OBJECT_NAME
1712   last_assemble_variable_decl = decl;
1713   ASM_DECLARE_OBJECT_NAME (asm_out_file, name, decl);
1714 #else
1715   /* Standard thing is just output label for the object.  */
1716   ASM_OUTPUT_LABEL (asm_out_file, name);
1717 #endif /* ASM_DECLARE_OBJECT_NAME */
1718
1719   if (!dont_output_data)
1720     {
1721       if (DECL_INITIAL (decl)
1722           && DECL_INITIAL (decl) != error_mark_node
1723           && !initializer_zerop (DECL_INITIAL (decl)))
1724         /* Output the actual data.  */
1725         output_constant (DECL_INITIAL (decl),
1726                          tree_low_cst (DECL_SIZE_UNIT (decl), 1),
1727                          align);
1728       else
1729         /* Leave space for it.  */
1730         assemble_zeros (tree_low_cst (DECL_SIZE_UNIT (decl), 1));
1731     }
1732 }
1733
1734 /* Return 1 if type TYPE contains any pointers.  */
1735
1736 static int
1737 contains_pointers_p (tree type)
1738 {
1739   switch (TREE_CODE (type))
1740     {
1741     case POINTER_TYPE:
1742     case REFERENCE_TYPE:
1743       /* I'm not sure whether OFFSET_TYPE needs this treatment,
1744          so I'll play safe and return 1.  */
1745     case OFFSET_TYPE:
1746       return 1;
1747
1748     case RECORD_TYPE:
1749     case UNION_TYPE:
1750     case QUAL_UNION_TYPE:
1751       {
1752         tree fields;
1753         /* For a type that has fields, see if the fields have pointers.  */
1754         for (fields = TYPE_FIELDS (type); fields; fields = TREE_CHAIN (fields))
1755           if (TREE_CODE (fields) == FIELD_DECL
1756               && contains_pointers_p (TREE_TYPE (fields)))
1757             return 1;
1758         return 0;
1759       }
1760
1761     case ARRAY_TYPE:
1762       /* An array type contains pointers if its element type does.  */
1763       return contains_pointers_p (TREE_TYPE (type));
1764
1765     default:
1766       return 0;
1767     }
1768 }
1769
1770 /* In unit-at-a-time mode, we delay assemble_external processing until
1771    the compilation unit is finalized.  This is the best we can do for
1772    right now (i.e. stage 3 of GCC 4.0) - the right thing is to delay
1773    it all the way to final.  See PR 17982 for further discussion.  */
1774 static GTY(()) tree pending_assemble_externals;
1775
1776 #ifdef ASM_OUTPUT_EXTERNAL
1777 /* True if DECL is a function decl for which no out-of-line copy exists.
1778    It is assumed that DECL's assembler name has been set.  */
1779
1780 static bool
1781 incorporeal_function_p (tree decl)
1782 {
1783   if (TREE_CODE (decl) == FUNCTION_DECL && DECL_BUILT_IN (decl))
1784     {
1785       const char *name;
1786
1787       if (DECL_BUILT_IN_CLASS (decl) == BUILT_IN_NORMAL
1788           && DECL_FUNCTION_CODE (decl) == BUILT_IN_ALLOCA)
1789         return true;
1790
1791       name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl));
1792       if (strncmp (name, "__builtin_", strlen ("__builtin_")) == 0)
1793         return true;
1794     }
1795   return false;
1796 }
1797
1798 /* Actually do the tests to determine if this is necessary, and invoke
1799    ASM_OUTPUT_EXTERNAL.  */
1800 static void
1801 assemble_external_real (tree decl)
1802 {
1803   rtx rtl = DECL_RTL (decl);
1804
1805   if (MEM_P (rtl) && GET_CODE (XEXP (rtl, 0)) == SYMBOL_REF
1806       && !SYMBOL_REF_USED (XEXP (rtl, 0))
1807       && !incorporeal_function_p (decl))
1808     {
1809       /* Some systems do require some output.  */
1810       SYMBOL_REF_USED (XEXP (rtl, 0)) = 1;
1811       ASM_OUTPUT_EXTERNAL (asm_out_file, decl, XSTR (XEXP (rtl, 0), 0));
1812     }
1813 }
1814 #endif
1815
1816 void
1817 process_pending_assemble_externals (void)
1818 {
1819 #ifdef ASM_OUTPUT_EXTERNAL
1820   tree list;
1821   for (list = pending_assemble_externals; list; list = TREE_CHAIN (list))
1822     assemble_external_real (TREE_VALUE (list));
1823
1824   pending_assemble_externals = 0;
1825 #endif
1826 }
1827
1828 /* Output something to declare an external symbol to the assembler.
1829    (Most assemblers don't need this, so we normally output nothing.)
1830    Do nothing if DECL is not external.  */
1831
1832 void
1833 assemble_external (tree decl ATTRIBUTE_UNUSED)
1834 {
1835   /* Because most platforms do not define ASM_OUTPUT_EXTERNAL, the
1836      main body of this code is only rarely exercised.  To provide some
1837      testing, on all platforms, we make sure that the ASM_OUT_FILE is
1838      open.  If it's not, we should not be calling this function.  */
1839   gcc_assert (asm_out_file);
1840
1841 #ifdef ASM_OUTPUT_EXTERNAL
1842   if (!DECL_P (decl) || !DECL_EXTERNAL (decl) || !TREE_PUBLIC (decl))
1843     return;
1844
1845   if (flag_unit_at_a_time)
1846     pending_assemble_externals = tree_cons (0, decl,
1847                                             pending_assemble_externals);
1848   else
1849     assemble_external_real (decl);
1850 #endif
1851 }
1852
1853 /* Similar, for calling a library function FUN.  */
1854
1855 void
1856 assemble_external_libcall (rtx fun)
1857 {
1858   /* Declare library function name external when first used, if nec.  */
1859   if (! SYMBOL_REF_USED (fun))
1860     {
1861       SYMBOL_REF_USED (fun) = 1;
1862       targetm.asm_out.external_libcall (fun);
1863     }
1864 }
1865
1866 /* Assemble a label named NAME.  */
1867
1868 void
1869 assemble_label (const char *name)
1870 {
1871   ASM_OUTPUT_LABEL (asm_out_file, name);
1872 }
1873
1874 /* Set the symbol_referenced flag for ID.  */
1875 void
1876 mark_referenced (tree id)
1877 {
1878   TREE_SYMBOL_REFERENCED (id) = 1;
1879 }
1880
1881 /* Set the symbol_referenced flag for DECL and notify callgraph.  */
1882 void
1883 mark_decl_referenced (tree decl)
1884 {
1885   if (TREE_CODE (decl) == FUNCTION_DECL)
1886     cgraph_mark_needed_node (cgraph_node (decl));
1887   else if (TREE_CODE (decl) == VAR_DECL)
1888     cgraph_varpool_mark_needed_node (cgraph_varpool_node (decl));
1889   /* else do nothing - we can get various sorts of CST nodes here,
1890      which do not need to be marked.  */
1891 }
1892
1893 /* Output to FILE (an assembly file) a reference to NAME.  If NAME
1894    starts with a *, the rest of NAME is output verbatim.  Otherwise
1895    NAME is transformed in a target-specific way (usually by the
1896    addition of an underscore).  */
1897
1898 void
1899 assemble_name_raw (FILE *file, const char *name)
1900 {
1901   if (name[0] == '*')
1902     fputs (&name[1], file);
1903   else
1904     ASM_OUTPUT_LABELREF (file, name);
1905 }
1906
1907 /* Like assemble_name_raw, but should be used when NAME might refer to
1908    an entity that is also represented as a tree (like a function or
1909    variable).  If NAME does refer to such an entity, that entity will
1910    be marked as referenced.  */
1911
1912 void
1913 assemble_name (FILE *file, const char *name)
1914 {
1915   const char *real_name;
1916   tree id;
1917
1918   real_name = targetm.strip_name_encoding (name);
1919
1920   id = maybe_get_identifier (real_name);
1921   if (id)
1922     mark_referenced (id);
1923
1924   assemble_name_raw (file, name);
1925 }
1926
1927 /* Allocate SIZE bytes writable static space with a gensym name
1928    and return an RTX to refer to its address.  */
1929
1930 rtx
1931 assemble_static_space (unsigned HOST_WIDE_INT size)
1932 {
1933   char name[12];
1934   const char *namestring;
1935   rtx x;
1936
1937 #if 0
1938   if (flag_shared_data)
1939     data_section ();
1940 #endif
1941
1942   ASM_GENERATE_INTERNAL_LABEL (name, "LF", const_labelno);
1943   ++const_labelno;
1944   namestring = ggc_strdup (name);
1945
1946   x = gen_rtx_SYMBOL_REF (Pmode, namestring);
1947   SYMBOL_REF_FLAGS (x) = SYMBOL_FLAG_LOCAL;
1948
1949 #ifdef ASM_OUTPUT_ALIGNED_DECL_LOCAL
1950   ASM_OUTPUT_ALIGNED_DECL_LOCAL (asm_out_file, NULL_TREE, name, size,
1951                                  BIGGEST_ALIGNMENT);
1952 #else
1953 #ifdef ASM_OUTPUT_ALIGNED_LOCAL
1954   ASM_OUTPUT_ALIGNED_LOCAL (asm_out_file, name, size, BIGGEST_ALIGNMENT);
1955 #else
1956   {
1957     /* Round size up to multiple of BIGGEST_ALIGNMENT bits
1958        so that each uninitialized object starts on such a boundary.  */
1959     /* Variable `rounded' might or might not be used in ASM_OUTPUT_LOCAL.  */
1960     unsigned HOST_WIDE_INT rounded ATTRIBUTE_UNUSED
1961       = ((size + (BIGGEST_ALIGNMENT / BITS_PER_UNIT) - 1)
1962          / (BIGGEST_ALIGNMENT / BITS_PER_UNIT)
1963          * (BIGGEST_ALIGNMENT / BITS_PER_UNIT));
1964     ASM_OUTPUT_LOCAL (asm_out_file, name, size, rounded);
1965   }
1966 #endif
1967 #endif
1968   return x;
1969 }
1970
1971 /* Assemble the static constant template for function entry trampolines.
1972    This is done at most once per compilation.
1973    Returns an RTX for the address of the template.  */
1974
1975 static GTY(()) rtx initial_trampoline;
1976
1977 #ifdef TRAMPOLINE_TEMPLATE
1978 rtx
1979 assemble_trampoline_template (void)
1980 {
1981   char label[256];
1982   const char *name;
1983   int align;
1984   rtx symbol;
1985
1986   if (initial_trampoline)
1987     return initial_trampoline;
1988
1989   /* By default, put trampoline templates in read-only data section.  */
1990
1991 #ifdef TRAMPOLINE_SECTION
1992   TRAMPOLINE_SECTION ();
1993 #else
1994   readonly_data_section ();
1995 #endif
1996
1997   /* Write the assembler code to define one.  */
1998   align = floor_log2 (TRAMPOLINE_ALIGNMENT / BITS_PER_UNIT);
1999   if (align > 0)
2000     {
2001       ASM_OUTPUT_ALIGN (asm_out_file, align);
2002     }
2003
2004   targetm.asm_out.internal_label (asm_out_file, "LTRAMP", 0);
2005   TRAMPOLINE_TEMPLATE (asm_out_file);
2006
2007   /* Record the rtl to refer to it.  */
2008   ASM_GENERATE_INTERNAL_LABEL (label, "LTRAMP", 0);
2009   name = ggc_strdup (label);
2010   symbol = gen_rtx_SYMBOL_REF (Pmode, name);
2011   SYMBOL_REF_FLAGS (symbol) = SYMBOL_FLAG_LOCAL;
2012
2013   initial_trampoline = gen_rtx_MEM (BLKmode, symbol);
2014   set_mem_align (initial_trampoline, TRAMPOLINE_ALIGNMENT);
2015
2016   return initial_trampoline;
2017 }
2018 #endif
2019 \f
2020 /* A and B are either alignments or offsets.  Return the minimum alignment
2021    that may be assumed after adding the two together.  */
2022
2023 static inline unsigned
2024 min_align (unsigned int a, unsigned int b)
2025 {
2026   return (a | b) & -(a | b);
2027 }
2028
2029 /* Return the assembler directive for creating a given kind of integer
2030    object.  SIZE is the number of bytes in the object and ALIGNED_P
2031    indicates whether it is known to be aligned.  Return NULL if the
2032    assembly dialect has no such directive.
2033
2034    The returned string should be printed at the start of a new line and
2035    be followed immediately by the object's initial value.  */
2036
2037 const char *
2038 integer_asm_op (int size, int aligned_p)
2039 {
2040   struct asm_int_op *ops;
2041
2042   if (aligned_p)
2043     ops = &targetm.asm_out.aligned_op;
2044   else
2045     ops = &targetm.asm_out.unaligned_op;
2046
2047   switch (size)
2048     {
2049     case 1:
2050       return targetm.asm_out.byte_op;
2051     case 2:
2052       return ops->hi;
2053     case 4:
2054       return ops->si;
2055     case 8:
2056       return ops->di;
2057     case 16:
2058       return ops->ti;
2059     default:
2060       return NULL;
2061     }
2062 }
2063
2064 /* Use directive OP to assemble an integer object X.  Print OP at the
2065    start of the line, followed immediately by the value of X.  */
2066
2067 void
2068 assemble_integer_with_op (const char *op, rtx x)
2069 {
2070   fputs (op, asm_out_file);
2071   output_addr_const (asm_out_file, x);
2072   fputc ('\n', asm_out_file);
2073 }
2074
2075 /* The default implementation of the asm_out.integer target hook.  */
2076
2077 bool
2078 default_assemble_integer (rtx x ATTRIBUTE_UNUSED,
2079                           unsigned int size ATTRIBUTE_UNUSED,
2080                           int aligned_p ATTRIBUTE_UNUSED)
2081 {
2082   const char *op = integer_asm_op (size, aligned_p);
2083   /* Avoid GAS bugs for large values.  Specifically negative values whose
2084      absolute value fits in a bfd_vma, but not in a bfd_signed_vma.  */
2085   if (size > UNITS_PER_WORD && size > POINTER_SIZE / BITS_PER_UNIT)
2086     return false;
2087   return op && (assemble_integer_with_op (op, x), true);
2088 }
2089
2090 /* Assemble the integer constant X into an object of SIZE bytes.  ALIGN is
2091    the alignment of the integer in bits.  Return 1 if we were able to output
2092    the constant, otherwise 0.  If FORCE is nonzero, abort if we can't output
2093    the constant.  */
2094
2095 bool
2096 assemble_integer (rtx x, unsigned int size, unsigned int align, int force)
2097 {
2098   int aligned_p;
2099
2100   aligned_p = (align >= MIN (size * BITS_PER_UNIT, BIGGEST_ALIGNMENT));
2101
2102   /* See if the target hook can handle this kind of object.  */
2103   if (targetm.asm_out.integer (x, size, aligned_p))
2104     return true;
2105
2106   /* If the object is a multi-byte one, try splitting it up.  Split
2107      it into words it if is multi-word, otherwise split it into bytes.  */
2108   if (size > 1)
2109     {
2110       enum machine_mode omode, imode;
2111       unsigned int subalign;
2112       unsigned int subsize, i;
2113
2114       subsize = size > UNITS_PER_WORD? UNITS_PER_WORD : 1;
2115       subalign = MIN (align, subsize * BITS_PER_UNIT);
2116       omode = mode_for_size (subsize * BITS_PER_UNIT, MODE_INT, 0);
2117       imode = mode_for_size (size * BITS_PER_UNIT, MODE_INT, 0);
2118
2119       for (i = 0; i < size; i += subsize)
2120         {
2121           rtx partial = simplify_subreg (omode, x, imode, i);
2122           if (!partial || !assemble_integer (partial, subsize, subalign, 0))
2123             break;
2124         }
2125       if (i == size)
2126         return true;
2127
2128       /* If we've printed some of it, but not all of it, there's no going
2129          back now.  */
2130       if (i > 0)
2131         abort ();
2132     }
2133
2134   if (force)
2135     abort ();
2136
2137   return false;
2138 }
2139 \f
2140 void
2141 assemble_real (REAL_VALUE_TYPE d, enum machine_mode mode, unsigned int align)
2142 {
2143   long data[4];
2144   int i;
2145   int bitsize, nelts, nunits, units_per;
2146
2147   /* This is hairy.  We have a quantity of known size.  real_to_target
2148      will put it into an array of *host* longs, 32 bits per element
2149      (even if long is more than 32 bits).  We need to determine the
2150      number of array elements that are occupied (nelts) and the number
2151      of *target* min-addressable units that will be occupied in the
2152      object file (nunits).  We cannot assume that 32 divides the
2153      mode's bitsize (size * BITS_PER_UNIT) evenly.
2154
2155      size * BITS_PER_UNIT is used here to make sure that padding bits
2156      (which might appear at either end of the value; real_to_target
2157      will include the padding bits in its output array) are included.  */
2158
2159   nunits = GET_MODE_SIZE (mode);
2160   bitsize = nunits * BITS_PER_UNIT;
2161   nelts = CEIL (bitsize, 32);
2162   units_per = 32 / BITS_PER_UNIT;
2163
2164   real_to_target (data, &d, mode);
2165
2166   /* Put out the first word with the specified alignment.  */
2167   assemble_integer (GEN_INT (data[0]), MIN (nunits, units_per), align, 1);
2168   nunits -= units_per;
2169
2170   /* Subsequent words need only 32-bit alignment.  */
2171   align = min_align (align, 32);
2172
2173   for (i = 1; i < nelts; i++)
2174     {
2175       assemble_integer (GEN_INT (data[i]), MIN (nunits, units_per), align, 1);
2176       nunits -= units_per;
2177     }
2178 }
2179 \f
2180 /* Given an expression EXP with a constant value,
2181    reduce it to the sum of an assembler symbol and an integer.
2182    Store them both in the structure *VALUE.
2183    Abort if EXP does not reduce.  */
2184
2185 struct addr_const GTY(())
2186 {
2187   rtx base;
2188   HOST_WIDE_INT offset;
2189 };
2190
2191 static void
2192 decode_addr_const (tree exp, struct addr_const *value)
2193 {
2194   tree target = TREE_OPERAND (exp, 0);
2195   int offset = 0;
2196   rtx x;
2197
2198   while (1)
2199     {
2200       if (TREE_CODE (target) == COMPONENT_REF
2201           && host_integerp (byte_position (TREE_OPERAND (target, 1)), 0))
2202
2203         {
2204           offset += int_byte_position (TREE_OPERAND (target, 1));
2205           target = TREE_OPERAND (target, 0);
2206         }
2207       else if (TREE_CODE (target) == ARRAY_REF
2208                || TREE_CODE (target) == ARRAY_RANGE_REF)
2209         {
2210           offset += (tree_low_cst (TYPE_SIZE_UNIT (TREE_TYPE (target)), 1)
2211                      * tree_low_cst (TREE_OPERAND (target, 1), 0));
2212           target = TREE_OPERAND (target, 0);
2213         }
2214       else
2215         break;
2216     }
2217
2218   switch (TREE_CODE (target))
2219     {
2220     case VAR_DECL:
2221     case FUNCTION_DECL:
2222       x = DECL_RTL (target);
2223       break;
2224
2225     case LABEL_DECL:
2226       x = gen_rtx_MEM (FUNCTION_MODE,
2227                        gen_rtx_LABEL_REF (VOIDmode, force_label_rtx (target)));
2228       break;
2229
2230     case REAL_CST:
2231     case STRING_CST:
2232     case COMPLEX_CST:
2233     case CONSTRUCTOR:
2234     case INTEGER_CST:
2235       x = output_constant_def (target, 1);
2236       break;
2237
2238     default:
2239       abort ();
2240     }
2241
2242   if (!MEM_P (x))
2243     abort ();
2244   x = XEXP (x, 0);
2245
2246   value->base = x;
2247   value->offset = offset;
2248 }
2249 \f
2250 /* Uniquize all constants that appear in memory.
2251    Each constant in memory thus far output is recorded
2252    in `const_desc_table'.  */
2253
2254 struct constant_descriptor_tree GTY(())
2255 {
2256   /* A MEM for the constant.  */
2257   rtx rtl;
2258
2259   /* The value of the constant.  */
2260   tree value;
2261 };
2262
2263 static GTY((param_is (struct constant_descriptor_tree)))
2264      htab_t const_desc_htab;
2265
2266 static struct constant_descriptor_tree * build_constant_desc (tree);
2267 static void maybe_output_constant_def_contents (struct constant_descriptor_tree *, int);
2268
2269 /* Compute a hash code for a constant expression.  */
2270
2271 static hashval_t
2272 const_desc_hash (const void *ptr)
2273 {
2274   return const_hash_1 (((struct constant_descriptor_tree *)ptr)->value);
2275 }
2276
2277 static hashval_t
2278 const_hash_1 (const tree exp)
2279 {
2280   const char *p;
2281   hashval_t hi;
2282   int len, i;
2283   enum tree_code code = TREE_CODE (exp);
2284
2285   /* Either set P and LEN to the address and len of something to hash and
2286      exit the switch or return a value.  */
2287
2288   switch (code)
2289     {
2290     case INTEGER_CST:
2291       p = (char *) &TREE_INT_CST (exp);
2292       len = sizeof TREE_INT_CST (exp);
2293       break;
2294
2295     case REAL_CST:
2296       return real_hash (TREE_REAL_CST_PTR (exp));
2297
2298     case STRING_CST:
2299       p = TREE_STRING_POINTER (exp);
2300       len = TREE_STRING_LENGTH (exp);
2301       break;
2302
2303     case COMPLEX_CST:
2304       return (const_hash_1 (TREE_REALPART (exp)) * 5
2305               + const_hash_1 (TREE_IMAGPART (exp)));
2306
2307     case CONSTRUCTOR:
2308       {
2309         tree link;
2310         
2311         hi = 5 + int_size_in_bytes (TREE_TYPE (exp));
2312         
2313         for (link = CONSTRUCTOR_ELTS (exp); link; link = TREE_CHAIN (link))
2314           if (TREE_VALUE (link))
2315             hi = hi * 603 + const_hash_1 (TREE_VALUE (link));
2316         
2317         return hi;
2318       }
2319
2320     case ADDR_EXPR:
2321     case FDESC_EXPR:
2322       {
2323         struct addr_const value;
2324
2325         decode_addr_const (exp, &value);
2326         if (GET_CODE (value.base) == SYMBOL_REF)
2327           {
2328             /* Don't hash the address of the SYMBOL_REF;
2329                only use the offset and the symbol name.  */
2330             hi = value.offset;
2331             p = XSTR (value.base, 0);
2332             for (i = 0; p[i] != 0; i++)
2333               hi = ((hi * 613) + (unsigned) (p[i]));
2334           }
2335         else if (GET_CODE (value.base) == LABEL_REF)
2336           hi = value.offset + CODE_LABEL_NUMBER (XEXP (value.base, 0)) * 13;
2337         else
2338           abort ();
2339       }
2340       return hi;
2341
2342     case PLUS_EXPR:
2343     case MINUS_EXPR:
2344       return (const_hash_1 (TREE_OPERAND (exp, 0)) * 9
2345               + const_hash_1 (TREE_OPERAND (exp, 1)));
2346
2347     case NOP_EXPR:
2348     case CONVERT_EXPR:
2349     case NON_LVALUE_EXPR:
2350       return const_hash_1 (TREE_OPERAND (exp, 0)) * 7 + 2;
2351
2352     default:
2353       /* A language specific constant. Just hash the code.  */
2354       return code;
2355     }
2356
2357   /* Compute hashing function.  */
2358   hi = len;
2359   for (i = 0; i < len; i++)
2360     hi = ((hi * 613) + (unsigned) (p[i]));
2361
2362   return hi;
2363 }
2364
2365 /* Wrapper of compare_constant, for the htab interface.  */
2366 static int
2367 const_desc_eq (const void *p1, const void *p2)
2368 {
2369   return compare_constant (((struct constant_descriptor_tree *)p1)->value,
2370                            ((struct constant_descriptor_tree *)p2)->value);
2371 }
2372
2373 /* Compare t1 and t2, and return 1 only if they are known to result in
2374    the same bit pattern on output.  */
2375
2376 static int
2377 compare_constant (const tree t1, const tree t2)
2378 {
2379   enum tree_code typecode;
2380
2381   if (t1 == NULL_TREE)
2382     return t2 == NULL_TREE;
2383   if (t2 == NULL_TREE)
2384     return 0;
2385
2386   if (TREE_CODE (t1) != TREE_CODE (t2))
2387     return 0;
2388
2389   switch (TREE_CODE (t1))
2390     {
2391     case INTEGER_CST:
2392       /* Integer constants are the same only if the same width of type.  */
2393       if (TYPE_PRECISION (TREE_TYPE (t1)) != TYPE_PRECISION (TREE_TYPE (t2)))
2394         return 0;
2395       return tree_int_cst_equal (t1, t2);
2396
2397     case REAL_CST:
2398       /* Real constants are the same only if the same width of type.  */
2399       if (TYPE_PRECISION (TREE_TYPE (t1)) != TYPE_PRECISION (TREE_TYPE (t2)))
2400         return 0;
2401
2402       return REAL_VALUES_IDENTICAL (TREE_REAL_CST (t1), TREE_REAL_CST (t2));
2403
2404     case STRING_CST:
2405       if (TYPE_MODE (TREE_TYPE (t1)) != TYPE_MODE (TREE_TYPE (t2)))
2406         return 0;
2407
2408       return (TREE_STRING_LENGTH (t1) == TREE_STRING_LENGTH (t2)
2409               && ! memcmp (TREE_STRING_POINTER (t1), TREE_STRING_POINTER (t2),
2410                          TREE_STRING_LENGTH (t1)));
2411
2412     case COMPLEX_CST:
2413       return (compare_constant (TREE_REALPART (t1), TREE_REALPART (t2))
2414               && compare_constant (TREE_IMAGPART (t1), TREE_IMAGPART (t2)));
2415
2416     case CONSTRUCTOR:
2417       {
2418         tree l1, l2;
2419         
2420         typecode = TREE_CODE (TREE_TYPE (t1));
2421         if (typecode != TREE_CODE (TREE_TYPE (t2)))
2422           return 0;
2423
2424         if (typecode == ARRAY_TYPE)
2425           {
2426             HOST_WIDE_INT size_1 = int_size_in_bytes (TREE_TYPE (t1));
2427             /* For arrays, check that the sizes all match.  */
2428             if (TYPE_MODE (TREE_TYPE (t1)) != TYPE_MODE (TREE_TYPE (t2))
2429                 || size_1 == -1
2430                 || size_1 != int_size_in_bytes (TREE_TYPE (t2)))
2431               return 0;
2432           }
2433         else
2434           {
2435             /* For record and union constructors, require exact type
2436                equality.  */
2437             if (TREE_TYPE (t1) != TREE_TYPE (t2))
2438               return 0;
2439           }
2440
2441         for (l1 = CONSTRUCTOR_ELTS (t1), l2 = CONSTRUCTOR_ELTS (t2);
2442              l1 && l2;
2443              l1 = TREE_CHAIN (l1), l2 = TREE_CHAIN (l2))
2444           {
2445             /* Check that each value is the same...  */
2446             if (! compare_constant (TREE_VALUE (l1), TREE_VALUE (l2)))
2447               return 0;
2448             /* ... and that they apply to the same fields!  */
2449             if (typecode == ARRAY_TYPE)
2450               {
2451                 if (! compare_constant (TREE_PURPOSE (l1),
2452                                         TREE_PURPOSE (l2)))
2453                   return 0;
2454               }
2455             else
2456               {
2457                 if (TREE_PURPOSE (l1) != TREE_PURPOSE (l2))
2458                   return 0;
2459               }
2460           }
2461         
2462         return l1 == NULL_TREE && l2 == NULL_TREE;
2463       }
2464
2465     case ADDR_EXPR:
2466     case FDESC_EXPR:
2467       {
2468         struct addr_const value1, value2;
2469
2470         decode_addr_const (t1, &value1);
2471         decode_addr_const (t2, &value2);
2472         return (value1.offset == value2.offset
2473                 && strcmp (XSTR (value1.base, 0), XSTR (value2.base, 0)) == 0);
2474       }
2475
2476     case PLUS_EXPR:
2477     case MINUS_EXPR:
2478     case RANGE_EXPR:
2479       return (compare_constant (TREE_OPERAND (t1, 0), TREE_OPERAND (t2, 0))
2480               && compare_constant(TREE_OPERAND (t1, 1), TREE_OPERAND (t2, 1)));
2481
2482     case NOP_EXPR:
2483     case CONVERT_EXPR:
2484     case NON_LVALUE_EXPR:
2485     case VIEW_CONVERT_EXPR:
2486       return compare_constant (TREE_OPERAND (t1, 0), TREE_OPERAND (t2, 0));
2487
2488     default:
2489       {
2490         tree nt1, nt2;
2491         nt1 = lang_hooks.expand_constant (t1);
2492         nt2 = lang_hooks.expand_constant (t2);
2493         if (nt1 != t1 || nt2 != t2)
2494           return compare_constant (nt1, nt2);
2495         else
2496           return 0;
2497       }
2498     }
2499
2500   /* Should not get here.  */
2501   abort ();
2502 }
2503 \f
2504 /* Make a copy of the whole tree structure for a constant.  This
2505    handles the same types of nodes that compare_constant handles.  */
2506
2507 static tree
2508 copy_constant (tree exp)
2509 {
2510   switch (TREE_CODE (exp))
2511     {
2512     case ADDR_EXPR:
2513       /* For ADDR_EXPR, we do not want to copy the decl whose address
2514          is requested.  We do want to copy constants though.  */
2515       if (CONSTANT_CLASS_P (TREE_OPERAND (exp, 0)))
2516         return build1 (TREE_CODE (exp), TREE_TYPE (exp),
2517                        copy_constant (TREE_OPERAND (exp, 0)));
2518       else
2519         return copy_node (exp);
2520
2521     case INTEGER_CST:
2522     case REAL_CST:
2523     case STRING_CST:
2524       return copy_node (exp);
2525
2526     case COMPLEX_CST:
2527       return build_complex (TREE_TYPE (exp),
2528                             copy_constant (TREE_REALPART (exp)),
2529                             copy_constant (TREE_IMAGPART (exp)));
2530
2531     case PLUS_EXPR:
2532     case MINUS_EXPR:
2533       return build2 (TREE_CODE (exp), TREE_TYPE (exp),
2534                      copy_constant (TREE_OPERAND (exp, 0)),
2535                      copy_constant (TREE_OPERAND (exp, 1)));
2536
2537     case NOP_EXPR:
2538     case CONVERT_EXPR:
2539     case NON_LVALUE_EXPR:
2540     case VIEW_CONVERT_EXPR:
2541       return build1 (TREE_CODE (exp), TREE_TYPE (exp),
2542                      copy_constant (TREE_OPERAND (exp, 0)));
2543
2544     case CONSTRUCTOR:
2545       {
2546         tree copy = copy_node (exp);
2547         tree list = copy_list (CONSTRUCTOR_ELTS (exp));
2548         tree tail;
2549
2550         CONSTRUCTOR_ELTS (copy) = list;
2551         for (tail = list; tail; tail = TREE_CHAIN (tail))
2552           TREE_VALUE (tail) = copy_constant (TREE_VALUE (tail));
2553
2554         return copy;
2555       }
2556
2557     default:
2558       {
2559         tree t;
2560         t = lang_hooks.expand_constant (exp);
2561         if (t != exp)
2562           return copy_constant (t);
2563         else
2564           abort ();
2565       }
2566     }
2567 }
2568 \f
2569 /* Subroutine of output_constant_def:
2570    No constant equal to EXP is known to have been output.
2571    Make a constant descriptor to enter EXP in the hash table.
2572    Assign the label number and construct RTL to refer to the
2573    constant's location in memory.
2574    Caller is responsible for updating the hash table.  */
2575
2576 static struct constant_descriptor_tree *
2577 build_constant_desc (tree exp)
2578 {
2579   rtx symbol;
2580   rtx rtl;
2581   char label[256];
2582   int labelno;
2583   struct constant_descriptor_tree *desc;
2584
2585   desc = ggc_alloc (sizeof (*desc));
2586   desc->value = copy_constant (exp);
2587
2588   /* Propagate marked-ness to copied constant.  */
2589   if (flag_mudflap && mf_marked_p (exp))
2590     mf_mark (desc->value);
2591
2592   /* Create a string containing the label name, in LABEL.  */
2593   labelno = const_labelno++;
2594   ASM_GENERATE_INTERNAL_LABEL (label, "LC", labelno);
2595
2596   /* We have a symbol name; construct the SYMBOL_REF and the MEM.  */
2597   symbol = gen_rtx_SYMBOL_REF (Pmode, ggc_strdup (label));
2598   SYMBOL_REF_FLAGS (symbol) = SYMBOL_FLAG_LOCAL;
2599   SYMBOL_REF_DECL (symbol) = desc->value;
2600   TREE_CONSTANT_POOL_ADDRESS_P (symbol) = 1;
2601
2602   rtl = gen_rtx_MEM (TYPE_MODE (TREE_TYPE (exp)), symbol);
2603   set_mem_attributes (rtl, exp, 1);
2604   set_mem_alias_set (rtl, 0);
2605   set_mem_alias_set (rtl, const_alias_set);
2606
2607   /* Set flags or add text to the name to record information, such as
2608      that it is a local symbol.  If the name is changed, the macro
2609      ASM_OUTPUT_LABELREF will have to know how to strip this
2610      information.  This call might invalidate our local variable
2611      SYMBOL; we can't use it afterward.  */
2612
2613   targetm.encode_section_info (exp, rtl, true);
2614
2615   desc->rtl = rtl;
2616
2617   return desc;
2618 }
2619
2620 /* Return an rtx representing a reference to constant data in memory
2621    for the constant expression EXP.
2622
2623    If assembler code for such a constant has already been output,
2624    return an rtx to refer to it.
2625    Otherwise, output such a constant in memory
2626    and generate an rtx for it.
2627
2628    If DEFER is nonzero, this constant can be deferred and output only
2629    if referenced in the function after all optimizations.
2630
2631    `const_desc_table' records which constants already have label strings.  */
2632
2633 rtx
2634 output_constant_def (tree exp, int defer)
2635 {
2636   struct constant_descriptor_tree *desc;
2637   struct constant_descriptor_tree key;
2638   void **loc;
2639
2640   /* Look up EXP in the table of constant descriptors.  If we didn't find
2641      it, create a new one.  */
2642   key.value = exp;
2643   loc = htab_find_slot (const_desc_htab, &key, INSERT);
2644
2645   desc = *loc;
2646   if (desc == 0)
2647     {
2648       desc = build_constant_desc (exp);
2649       *loc = desc;
2650     }
2651
2652   maybe_output_constant_def_contents (desc, defer);
2653   return desc->rtl;
2654 }
2655
2656 /* Subroutine of output_constant_def: Decide whether or not we need to
2657    output the constant DESC now, and if so, do it.  */
2658 static void
2659 maybe_output_constant_def_contents (struct constant_descriptor_tree *desc,
2660                                     int defer)
2661 {
2662   rtx symbol = XEXP (desc->rtl, 0);
2663   tree exp = desc->value;
2664
2665   if (flag_syntax_only)
2666     return;
2667
2668   if (TREE_ASM_WRITTEN (exp))
2669     /* Already output; don't do it again.  */
2670     return;
2671
2672   /* We can always defer constants as long as the context allows
2673      doing so.  */
2674   if (defer)
2675     {
2676       /* Increment n_deferred_constants if it exists.  It needs to be at
2677          least as large as the number of constants actually referred to
2678          by the function.  If it's too small we'll stop looking too early
2679          and fail to emit constants; if it's too large we'll only look
2680          through the entire function when we could have stopped earlier.  */
2681       if (cfun)
2682         n_deferred_constants++;
2683       return;
2684     }
2685
2686   output_constant_def_contents (symbol);
2687 }
2688
2689 /* We must output the constant data referred to by SYMBOL; do so.  */
2690
2691 static void
2692 output_constant_def_contents (rtx symbol)
2693 {
2694   tree exp = SYMBOL_REF_DECL (symbol);
2695   const char *label = XSTR (symbol, 0);
2696   HOST_WIDE_INT size;
2697
2698   /* Make sure any other constants whose addresses appear in EXP
2699      are assigned label numbers.  */
2700   int reloc = compute_reloc_for_constant (exp);
2701
2702   /* Align the location counter as required by EXP's data type.  */
2703   unsigned int align = TYPE_ALIGN (TREE_TYPE (exp));
2704 #ifdef CONSTANT_ALIGNMENT
2705   align = CONSTANT_ALIGNMENT (exp, align);
2706 #endif
2707
2708   output_addressed_constants (exp);
2709
2710   /* We are no longer deferring this constant.  */
2711   TREE_ASM_WRITTEN (exp) = 1;
2712
2713   if (IN_NAMED_SECTION (exp))
2714     named_section (exp, NULL, reloc);
2715   else
2716     targetm.asm_out.select_section (exp, reloc, align);
2717
2718   if (align > BITS_PER_UNIT)
2719     {
2720       ASM_OUTPUT_ALIGN (asm_out_file, floor_log2 (align / BITS_PER_UNIT));
2721     }
2722
2723   size = int_size_in_bytes (TREE_TYPE (exp));
2724   if (TREE_CODE (exp) == STRING_CST)
2725     size = MAX (TREE_STRING_LENGTH (exp), size);
2726
2727   /* Do any machine/system dependent processing of the constant.  */
2728 #ifdef ASM_DECLARE_CONSTANT_NAME
2729   ASM_DECLARE_CONSTANT_NAME (asm_out_file, label, exp, size);
2730 #else
2731   /* Standard thing is just output label for the constant.  */
2732   ASM_OUTPUT_LABEL (asm_out_file, label);
2733 #endif /* ASM_DECLARE_CONSTANT_NAME */
2734
2735   /* Output the value of EXP.  */
2736   output_constant (exp, size, align);
2737   if (flag_mudflap)
2738     mudflap_enqueue_constant (exp);
2739 }
2740
2741 /* Look up EXP in the table of constant descriptors.  Return the rtl
2742    if it has been emitted, else null.  */
2743
2744 rtx
2745 lookup_constant_def (tree exp)
2746 {
2747   struct constant_descriptor_tree *desc;
2748   struct constant_descriptor_tree key;
2749
2750   key.value = exp;
2751   desc = htab_find (const_desc_htab, &key);
2752
2753   return (desc ? desc->rtl : NULL_RTX);
2754 }
2755 \f
2756 /* Used in the hash tables to avoid outputting the same constant
2757    twice.  Unlike 'struct constant_descriptor_tree', RTX constants
2758    are output once per function, not once per file.  */
2759 /* ??? Only a few targets need per-function constant pools.  Most
2760    can use one per-file pool.  Should add a targetm bit to tell the
2761    difference.  */
2762
2763 struct rtx_constant_pool GTY(())
2764 {
2765   /* Pointers to first and last constant in pool, as ordered by offset.  */
2766   struct constant_descriptor_rtx *first;
2767   struct constant_descriptor_rtx *last;
2768
2769   /* Hash facility for making memory-constants from constant rtl-expressions.
2770      It is used on RISC machines where immediate integer arguments and
2771      constant addresses are restricted so that such constants must be stored
2772      in memory.  */
2773   htab_t GTY((param_is (struct constant_descriptor_rtx))) const_rtx_htab;
2774   htab_t GTY((param_is (struct constant_descriptor_rtx))) const_rtx_sym_htab;
2775
2776   /* Current offset in constant pool (does not include any
2777      machine-specific header).  */
2778   HOST_WIDE_INT offset;
2779 };
2780
2781 struct constant_descriptor_rtx GTY((chain_next ("%h.next")))
2782 {
2783   struct constant_descriptor_rtx *next;
2784   rtx mem;
2785   rtx sym;
2786   rtx constant;
2787   HOST_WIDE_INT offset;
2788   hashval_t hash;
2789   enum machine_mode mode;
2790   unsigned int align;
2791   int labelno;
2792   int mark;
2793 };
2794
2795 /* Hash and compare functions for const_rtx_htab.  */
2796
2797 static hashval_t
2798 const_desc_rtx_hash (const void *ptr)
2799 {
2800   const struct constant_descriptor_rtx *desc = ptr;
2801   return desc->hash;
2802 }
2803
2804 static int
2805 const_desc_rtx_eq (const void *a, const void *b)
2806 {
2807   const struct constant_descriptor_rtx *x = a;
2808   const struct constant_descriptor_rtx *y = b;
2809
2810   if (x->mode != y->mode)
2811     return 0;
2812   return rtx_equal_p (x->constant, y->constant);
2813 }
2814
2815 /* Hash and compare functions for const_rtx_sym_htab.  */
2816
2817 static hashval_t
2818 const_desc_rtx_sym_hash (const void *ptr)
2819 {
2820   const struct constant_descriptor_rtx *desc = ptr;
2821   return htab_hash_string (XSTR (desc->sym, 0));
2822 }
2823
2824 static int
2825 const_desc_rtx_sym_eq (const void *a, const void *b)
2826 {
2827   const struct constant_descriptor_rtx *x = a;
2828   const struct constant_descriptor_rtx *y = b;
2829   return XSTR (x->sym, 0) == XSTR (y->sym, 0);
2830 }
2831
2832 /* This is the worker function for const_rtx_hash, called via for_each_rtx.  */
2833
2834 static int
2835 const_rtx_hash_1 (rtx *xp, void *data)
2836 {
2837   unsigned HOST_WIDE_INT hwi;
2838   enum machine_mode mode;
2839   enum rtx_code code;
2840   hashval_t h, *hp;
2841   rtx x;
2842
2843   x = *xp;
2844   code = GET_CODE (x);
2845   mode = GET_MODE (x);
2846   h = (hashval_t) code * 1048573 + mode;
2847
2848   switch (code)
2849     {
2850     case CONST_INT:
2851       hwi = INTVAL (x);
2852     fold_hwi:
2853       {
2854         const int shift = sizeof (hashval_t) * CHAR_BIT;
2855         const int n = sizeof (HOST_WIDE_INT) / sizeof (hashval_t);
2856         int i;
2857
2858         h ^= (hashval_t) hwi;
2859         for (i = 1; i < n; ++i)
2860           {
2861             hwi >>= shift;
2862             h ^= (hashval_t) hwi;
2863           }
2864       }
2865       break;
2866
2867     case CONST_DOUBLE:
2868       if (mode == VOIDmode)
2869         {
2870           hwi = CONST_DOUBLE_LOW (x) ^ CONST_DOUBLE_HIGH (x);
2871           goto fold_hwi;
2872         }
2873       else
2874         h ^= real_hash (CONST_DOUBLE_REAL_VALUE (x));
2875       break;
2876
2877     case SYMBOL_REF:
2878       h ^= htab_hash_string (XSTR (x, 0));
2879       break;
2880
2881     case LABEL_REF:
2882       h = h * 251 + CODE_LABEL_NUMBER (XEXP (x, 0));
2883       break;
2884
2885     case UNSPEC:
2886     case UNSPEC_VOLATILE:
2887       h = h * 251 + XINT (x, 1);
2888       break;
2889
2890     default:
2891       break;
2892     }
2893
2894   hp = data;
2895   *hp = *hp * 509 + h;
2896   return 0;
2897 }
2898
2899 /* Compute a hash value for X, which should be a constant.  */
2900
2901 static hashval_t
2902 const_rtx_hash (rtx x)
2903 {
2904   hashval_t h = 0;
2905   for_each_rtx (&x, const_rtx_hash_1, &h);
2906   return h;
2907 }
2908
2909 \f
2910 /* Initialize constant pool hashing for a new function.  */
2911
2912 void
2913 init_varasm_status (struct function *f)
2914 {
2915   struct varasm_status *p;
2916   struct rtx_constant_pool *pool;
2917
2918   p = ggc_alloc (sizeof (struct varasm_status));
2919   f->varasm = p;
2920
2921   pool = ggc_alloc (sizeof (struct rtx_constant_pool));
2922   p->pool = pool;
2923   p->deferred_constants = 0;
2924
2925   pool->const_rtx_htab = htab_create_ggc (31, const_desc_rtx_hash,
2926                                           const_desc_rtx_eq, NULL);
2927   pool->const_rtx_sym_htab = htab_create_ggc (31, const_desc_rtx_sym_hash,
2928                                               const_desc_rtx_sym_eq, NULL);
2929   pool->first = pool->last = NULL;
2930   pool->offset = 0;
2931 }
2932 \f
2933 /* Given a MINUS expression, simplify it if both sides
2934    include the same symbol.  */
2935
2936 rtx
2937 simplify_subtraction (rtx x)
2938 {
2939   rtx r = simplify_rtx (x);
2940   return r ? r : x;
2941 }
2942 \f
2943 /* Given a constant rtx X, make (or find) a memory constant for its value
2944    and return a MEM rtx to refer to it in memory.  */
2945
2946 rtx
2947 force_const_mem (enum machine_mode mode, rtx x)
2948 {
2949   struct constant_descriptor_rtx *desc, tmp;
2950   struct rtx_constant_pool *pool = cfun->varasm->pool;
2951   char label[256];
2952   rtx def, symbol;
2953   hashval_t hash;
2954   unsigned int align;
2955   void **slot;
2956
2957   /* If we're not allowed to drop X into the constant pool, don't.  */
2958   if (targetm.cannot_force_const_mem (x))
2959     return NULL_RTX;
2960
2961   /* Lookup the value in the hashtable.  */
2962   tmp.constant = x;
2963   tmp.mode = mode;
2964   hash = const_rtx_hash (x);
2965   slot = htab_find_slot_with_hash (pool->const_rtx_htab, &tmp, hash, INSERT);
2966   desc = *slot;
2967   
2968   /* If the constant was already present, return its memory.  */
2969   if (desc)
2970     return copy_rtx (desc->mem);
2971
2972   /* Otherwise, create a new descriptor.  */
2973   desc = ggc_alloc (sizeof (*desc));
2974   *slot = desc;
2975
2976   /* Align the location counter as required by EXP's data type.  */
2977   align = GET_MODE_ALIGNMENT (mode == VOIDmode ? word_mode : mode);
2978 #ifdef CONSTANT_ALIGNMENT
2979   {
2980     tree type = lang_hooks.types.type_for_mode (mode, 0);
2981     if (type != NULL_TREE)
2982       align = CONSTANT_ALIGNMENT (make_tree (type, x), align);
2983   }
2984 #endif
2985
2986   pool->offset += (align / BITS_PER_UNIT) - 1;
2987   pool->offset &= ~ ((align / BITS_PER_UNIT) - 1);
2988
2989   desc->next = NULL;
2990   desc->constant = tmp.constant;
2991   desc->offset = pool->offset;
2992   desc->hash = hash;
2993   desc->mode = mode;
2994   desc->align = align;
2995   desc->labelno = const_labelno;
2996   desc->mark = 0;
2997
2998   pool->offset += GET_MODE_SIZE (mode);
2999   if (pool->last)
3000     pool->last->next = desc;
3001   else
3002     pool->first = pool->last = desc;
3003   pool->last = desc;
3004
3005   /* Create a string containing the label name, in LABEL.  */
3006   ASM_GENERATE_INTERNAL_LABEL (label, "LC", const_labelno);
3007   ++const_labelno;
3008
3009   /* Construct the SYMBOL_REF.  Make sure to mark it as belonging to
3010      the constants pool.  */
3011   desc->sym = symbol = gen_rtx_SYMBOL_REF (Pmode, ggc_strdup (label));
3012   SYMBOL_REF_FLAGS (symbol) = SYMBOL_FLAG_LOCAL;
3013   CONSTANT_POOL_ADDRESS_P (symbol) = 1;
3014   current_function_uses_const_pool = 1;
3015
3016   /* Insert the descriptor into the symbol cross-reference table too.  */
3017   slot = htab_find_slot (pool->const_rtx_sym_htab, desc, INSERT);
3018   if (*slot)
3019     abort ();
3020   *slot = desc;
3021
3022   /* Construct the MEM.  */
3023   desc->mem = def = gen_const_mem (mode, symbol);
3024   set_mem_attributes (def, lang_hooks.types.type_for_mode (mode, 0), 1);
3025   set_mem_align (def, align);
3026
3027   /* If we're dropping a label to the constant pool, make sure we
3028      don't delete it.  */
3029   if (GET_CODE (x) == LABEL_REF)
3030     LABEL_PRESERVE_P (XEXP (x, 0)) = 1;
3031
3032   return copy_rtx (def);
3033 }
3034 \f
3035 /* Given a SYMBOL_REF with CONSTANT_POOL_ADDRESS_P true, return a pointer to
3036    the corresponding constant_descriptor_rtx structure.  */
3037
3038 static struct constant_descriptor_rtx *
3039 find_pool_constant (struct rtx_constant_pool *pool, rtx sym)
3040 {
3041   struct constant_descriptor_rtx tmp;
3042   tmp.sym = sym;
3043   return htab_find (pool->const_rtx_sym_htab, &tmp);
3044 }
3045
3046 /* Given a constant pool SYMBOL_REF, return the corresponding constant.  */
3047
3048 rtx
3049 get_pool_constant (rtx addr)
3050 {
3051   return find_pool_constant (cfun->varasm->pool, addr)->constant;
3052 }
3053
3054 /* Given a constant pool SYMBOL_REF, return the corresponding constant
3055    and whether it has been output or not.  */
3056
3057 rtx
3058 get_pool_constant_mark (rtx addr, bool *pmarked)
3059 {
3060   struct constant_descriptor_rtx *desc;
3061
3062   desc = find_pool_constant (cfun->varasm->pool, addr);
3063   *pmarked = (desc->mark != 0);
3064   return desc->constant;
3065 }
3066
3067 /* Likewise, but for the constant pool of a specific function.  */
3068
3069 rtx
3070 get_pool_constant_for_function (struct function *f, rtx addr)
3071 {
3072   return find_pool_constant (f->varasm->pool, addr)->constant;
3073 }
3074
3075 /* Similar, return the mode.  */
3076
3077 enum machine_mode
3078 get_pool_mode (rtx addr)
3079 {
3080   return find_pool_constant (cfun->varasm->pool, addr)->mode;
3081 }
3082
3083 /* Return the size of the constant pool.  */
3084
3085 int
3086 get_pool_size (void)
3087 {
3088   return cfun->varasm->pool->offset;
3089 }
3090 \f
3091 /* Worker function for output_constant_pool_1.  Emit assembly for X
3092    in MODE with known alignment ALIGN.  */
3093
3094 static void
3095 output_constant_pool_2 (enum machine_mode mode, rtx x, unsigned int align)
3096 {
3097   switch (GET_MODE_CLASS (mode))
3098     {
3099     case MODE_FLOAT:
3100       if (GET_CODE (x) != CONST_DOUBLE)
3101         abort ();
3102       else
3103         {
3104           REAL_VALUE_TYPE r;
3105           REAL_VALUE_FROM_CONST_DOUBLE (r, x);
3106           assemble_real (r, mode, align);
3107         }
3108       break;
3109
3110     case MODE_INT:
3111     case MODE_PARTIAL_INT:
3112       assemble_integer (x, GET_MODE_SIZE (mode), align, 1);
3113       break;
3114
3115     case MODE_VECTOR_FLOAT:
3116     case MODE_VECTOR_INT:
3117       {
3118         int i, units;
3119         enum machine_mode submode = GET_MODE_INNER (mode);
3120         unsigned int subalign = MIN (align, GET_MODE_BITSIZE (submode));
3121
3122         if (GET_CODE (x) != CONST_VECTOR)
3123           abort ();
3124         units = CONST_VECTOR_NUNITS (x);
3125
3126         for (i = 0; i < units; i++)
3127           {
3128             rtx elt = CONST_VECTOR_ELT (x, i);
3129             output_constant_pool_2 (submode, elt, i ? subalign : align);
3130           }
3131       }
3132       break;
3133
3134     default:
3135       abort ();
3136     }
3137 }
3138
3139 /* Worker function for output_constant_pool.  Emit POOL.  */
3140
3141 static void
3142 output_constant_pool_1 (struct constant_descriptor_rtx *desc)
3143 {
3144   rtx x, tmp;
3145
3146   if (!desc->mark)
3147     return;
3148   x = desc->constant;
3149
3150   /* See if X is a LABEL_REF (or a CONST referring to a LABEL_REF)
3151      whose CODE_LABEL has been deleted.  This can occur if a jump table
3152      is eliminated by optimization.  If so, write a constant of zero
3153      instead.  Note that this can also happen by turning the
3154      CODE_LABEL into a NOTE.  */
3155   /* ??? This seems completely and utterly wrong.  Certainly it's
3156      not true for NOTE_INSN_DELETED_LABEL, but I disbelieve proper
3157      functioning even with INSN_DELETED_P and friends.  */
3158
3159   tmp = x;
3160   switch (GET_CODE (x))
3161     {
3162     case CONST:
3163       if (GET_CODE (XEXP (x, 0)) != PLUS
3164           || GET_CODE (XEXP (XEXP (x, 0), 0)) != LABEL_REF)
3165         break;
3166       tmp = XEXP (XEXP (x, 0), 0);
3167       /* FALLTHRU  */
3168
3169     case LABEL_REF:
3170       tmp = XEXP (x, 0);
3171       if (INSN_DELETED_P (tmp)
3172           || (NOTE_P (tmp)
3173               && NOTE_LINE_NUMBER (tmp) == NOTE_INSN_DELETED))
3174         {
3175           abort ();
3176           x = const0_rtx;
3177         }
3178       break;
3179
3180     default:
3181       break;
3182     }
3183
3184   /* First switch to correct section.  */
3185   targetm.asm_out.select_rtx_section (desc->mode, x, desc->align);
3186
3187 #ifdef ASM_OUTPUT_SPECIAL_POOL_ENTRY
3188   ASM_OUTPUT_SPECIAL_POOL_ENTRY (asm_out_file, x, desc->mode,
3189                                  desc->align, desc->labelno, done);
3190 #endif
3191
3192   assemble_align (desc->align);
3193
3194   /* Output the label.  */
3195   targetm.asm_out.internal_label (asm_out_file, "LC", desc->labelno);
3196
3197   /* Output the data.  */
3198   output_constant_pool_2 (desc->mode, x, desc->align);
3199
3200   /* Make sure all constants in SECTION_MERGE and not SECTION_STRINGS
3201      sections have proper size.  */
3202   if (desc->align > GET_MODE_BITSIZE (desc->mode)
3203       && in_section == in_named
3204       && get_named_section_flags (in_named_name) & SECTION_MERGE)
3205     assemble_align (desc->align);
3206
3207 #ifdef ASM_OUTPUT_SPECIAL_POOL_ENTRY
3208  done:
3209 #endif
3210   return;
3211 }
3212
3213 /* Given a SYMBOL_REF CURRENT_RTX, mark it and all constants it refers
3214    to as used.  Emit referenced deferred strings.  This function can
3215    be used with for_each_rtx to mark all SYMBOL_REFs in an rtx.  */
3216
3217 static int
3218 mark_constant (rtx *current_rtx, void *data)
3219 {
3220   struct rtx_constant_pool *pool = data;
3221   rtx x = *current_rtx;
3222
3223   if (x == NULL_RTX || GET_CODE (x) != SYMBOL_REF)
3224     return 0;
3225
3226   if (CONSTANT_POOL_ADDRESS_P (x))
3227     {
3228       struct constant_descriptor_rtx *desc = find_pool_constant (pool, x);
3229       if (desc->mark == 0)
3230         {
3231           desc->mark = 1;
3232           for_each_rtx (&desc->constant, mark_constant, pool);
3233         }
3234     }
3235   else if (TREE_CONSTANT_POOL_ADDRESS_P (x))
3236     {
3237       tree exp = SYMBOL_REF_DECL (x);
3238       if (!TREE_ASM_WRITTEN (exp))
3239         {
3240           n_deferred_constants--;
3241           output_constant_def_contents (x);
3242         }
3243     }
3244
3245   return -1;
3246
3247
3248 /* Look through appropriate parts of INSN, marking all entries in the
3249    constant pool which are actually being used.  Entries that are only
3250    referenced by other constants are also marked as used.  Emit
3251    deferred strings that are used.  */
3252
3253 static void
3254 mark_constants (struct rtx_constant_pool *pool, rtx insn)
3255 {
3256   if (!INSN_P (insn))
3257     return;
3258
3259   /* Insns may appear inside a SEQUENCE.  Only check the patterns of
3260      insns, not any notes that may be attached.  We don't want to mark
3261      a constant just because it happens to appear in a REG_EQUIV note.  */
3262   if (GET_CODE (PATTERN (insn)) == SEQUENCE)
3263     {
3264       rtx seq = PATTERN (insn);
3265       int i, n = XVECLEN (seq, 0);
3266       for (i = 0; i < n; ++i)
3267         {
3268           rtx subinsn = XVECEXP (seq, 0, i);
3269           if (INSN_P (subinsn))
3270             for_each_rtx (&PATTERN (subinsn), mark_constant, pool);
3271         }
3272     }
3273   else
3274     for_each_rtx (&PATTERN (insn), mark_constant, pool);
3275 }
3276
3277 /* Look through the instructions for this function, and mark all the
3278    entries in POOL which are actually being used.  Emit deferred constants
3279    which have indeed been used.  */
3280
3281 static void
3282 mark_constant_pool (struct rtx_constant_pool *pool)
3283 {
3284   rtx insn, link;
3285
3286   if (pool->first == 0 && n_deferred_constants == 0)
3287     return;
3288
3289   for (insn = get_insns (); insn; insn = NEXT_INSN (insn))
3290     mark_constants (pool, insn);
3291
3292   for (link = current_function_epilogue_delay_list;
3293        link;
3294        link = XEXP (link, 1))
3295     mark_constants (pool, XEXP (link, 0));
3296 }
3297
3298 /* Write all the constants in the constant pool.  */
3299
3300 void
3301 output_constant_pool (const char *fnname ATTRIBUTE_UNUSED,
3302                       tree fndecl ATTRIBUTE_UNUSED)
3303 {
3304   struct rtx_constant_pool *pool = cfun->varasm->pool;
3305   struct constant_descriptor_rtx *desc;
3306
3307   /* It is possible for gcc to call force_const_mem and then to later
3308      discard the instructions which refer to the constant.  In such a
3309      case we do not need to output the constant.  */
3310   mark_constant_pool (pool);
3311
3312 #ifdef ASM_OUTPUT_POOL_PROLOGUE
3313   ASM_OUTPUT_POOL_PROLOGUE (asm_out_file, fnname, fndecl, pool->offset);
3314 #endif
3315
3316   for (desc = pool->first; desc ; desc = desc->next)
3317     output_constant_pool_1 (desc);
3318
3319 #ifdef ASM_OUTPUT_POOL_EPILOGUE
3320   ASM_OUTPUT_POOL_EPILOGUE (asm_out_file, fnname, fndecl, pool->offset);
3321 #endif
3322 }
3323 \f
3324 /* Determine what kind of relocations EXP may need.  */
3325
3326 int
3327 compute_reloc_for_constant (tree exp)
3328 {
3329   int reloc = 0, reloc2;
3330   tree tem;
3331
3332   /* Give the front-end a chance to convert VALUE to something that
3333      looks more like a constant to the back-end.  */
3334   exp = lang_hooks.expand_constant (exp);
3335
3336   switch (TREE_CODE (exp))
3337     {
3338     case ADDR_EXPR:
3339     case FDESC_EXPR:
3340       /* Go inside any operations that get_inner_reference can handle and see
3341          if what's inside is a constant: no need to do anything here for
3342          addresses of variables or functions.  */
3343       for (tem = TREE_OPERAND (exp, 0); handled_component_p (tem);
3344            tem = TREE_OPERAND (tem, 0))
3345         ;
3346
3347       if (TREE_PUBLIC (tem))
3348         reloc |= 2;
3349       else
3350         reloc |= 1;
3351       break;
3352
3353     case PLUS_EXPR:
3354       reloc = compute_reloc_for_constant (TREE_OPERAND (exp, 0));
3355       reloc |= compute_reloc_for_constant (TREE_OPERAND (exp, 1));
3356       break;
3357
3358     case MINUS_EXPR:
3359       reloc = compute_reloc_for_constant (TREE_OPERAND (exp, 0));
3360       reloc2 = compute_reloc_for_constant (TREE_OPERAND (exp, 1));
3361       /* The difference of two local labels is computable at link time.  */
3362       if (reloc == 1 && reloc2 == 1)
3363         reloc = 0;
3364       else
3365         reloc |= reloc2;
3366       break;
3367
3368     case NOP_EXPR:
3369     case CONVERT_EXPR:
3370     case NON_LVALUE_EXPR:
3371       reloc = compute_reloc_for_constant (TREE_OPERAND (exp, 0));
3372       break;
3373
3374     case CONSTRUCTOR:
3375       for (tem = CONSTRUCTOR_ELTS (exp); tem; tem = TREE_CHAIN (tem))
3376         if (TREE_VALUE (tem) != 0)
3377           reloc |= compute_reloc_for_constant (TREE_VALUE (tem));
3378
3379       break;
3380
3381     default:
3382       break;
3383     }
3384   return reloc;
3385 }
3386
3387 /* Find all the constants whose addresses are referenced inside of EXP,
3388    and make sure assembler code with a label has been output for each one.
3389    Indicate whether an ADDR_EXPR has been encountered.  */
3390
3391 static void
3392 output_addressed_constants (tree exp)
3393 {
3394   tree tem;
3395
3396   /* Give the front-end a chance to convert VALUE to something that
3397      looks more like a constant to the back-end.  */
3398   exp = lang_hooks.expand_constant (exp);
3399
3400   switch (TREE_CODE (exp))
3401     {
3402     case ADDR_EXPR:
3403     case FDESC_EXPR:
3404       /* Go inside any operations that get_inner_reference can handle and see
3405          if what's inside is a constant: no need to do anything here for
3406          addresses of variables or functions.  */
3407       for (tem = TREE_OPERAND (exp, 0); handled_component_p (tem);
3408            tem = TREE_OPERAND (tem, 0))
3409         ;
3410
3411       /* If we have an initialized CONST_DECL, retrieve the initializer.  */
3412       if (TREE_CODE (tem) == CONST_DECL && DECL_INITIAL (tem))
3413         tem = DECL_INITIAL (tem);
3414
3415       if (CONSTANT_CLASS_P (tem) || TREE_CODE (tem) == CONSTRUCTOR)
3416         output_constant_def (tem, 0);
3417       break;
3418
3419     case PLUS_EXPR:
3420     case MINUS_EXPR:
3421       output_addressed_constants (TREE_OPERAND (exp, 1));
3422       /* Fall through.  */
3423
3424     case NOP_EXPR:
3425     case CONVERT_EXPR:
3426     case NON_LVALUE_EXPR:
3427       output_addressed_constants (TREE_OPERAND (exp, 0));
3428       break;
3429
3430     case CONSTRUCTOR:
3431       for (tem = CONSTRUCTOR_ELTS (exp); tem; tem = TREE_CHAIN (tem))
3432         if (TREE_VALUE (tem) != 0)
3433           output_addressed_constants (TREE_VALUE (tem));
3434
3435       break;
3436
3437     default:
3438       break;
3439     }
3440 }
3441 \f
3442 /* Return nonzero if VALUE is a valid constant-valued expression
3443    for use in initializing a static variable; one that can be an
3444    element of a "constant" initializer.
3445
3446    Return null_pointer_node if the value is absolute;
3447    if it is relocatable, return the variable that determines the relocation.
3448    We assume that VALUE has been folded as much as possible;
3449    therefore, we do not need to check for such things as
3450    arithmetic-combinations of integers.  */
3451
3452 tree
3453 initializer_constant_valid_p (tree value, tree endtype)
3454 {
3455   /* Give the front-end a chance to convert VALUE to something that
3456      looks more like a constant to the back-end.  */
3457   value = lang_hooks.expand_constant (value);
3458
3459   switch (TREE_CODE (value))
3460     {
3461     case CONSTRUCTOR:
3462       if ((TREE_CODE (TREE_TYPE (value)) == UNION_TYPE
3463            || TREE_CODE (TREE_TYPE (value)) == RECORD_TYPE)
3464           && TREE_CONSTANT (value)
3465           && CONSTRUCTOR_ELTS (value))
3466         {
3467           tree elt;
3468           bool absolute = true;
3469
3470           for (elt = CONSTRUCTOR_ELTS (value); elt; elt = TREE_CHAIN (elt))
3471             {
3472               tree reloc;
3473               value = TREE_VALUE (elt);
3474               reloc = initializer_constant_valid_p (value, TREE_TYPE (value));
3475               if (!reloc)
3476                 return NULL_TREE;
3477               if (reloc != null_pointer_node)
3478                 absolute = false;
3479             }
3480           /* For a non-absolute relocation, there is no single
3481              variable that can be "the variable that determines the
3482              relocation."  */
3483           return absolute ? null_pointer_node : error_mark_node;
3484         }
3485
3486       return TREE_STATIC (value) ? null_pointer_node : NULL_TREE;
3487
3488     case INTEGER_CST:
3489     case VECTOR_CST:
3490     case REAL_CST:
3491     case STRING_CST:
3492     case COMPLEX_CST:
3493       return null_pointer_node;
3494
3495     case ADDR_EXPR:
3496     case FDESC_EXPR:
3497       value = staticp (TREE_OPERAND (value, 0));
3498       /* "&(*a).f" is like unto pointer arithmetic.  If "a" turns out to
3499          be a constant, this is old-skool offsetof-like nonsense.  */
3500       if (value
3501           && TREE_CODE (value) == INDIRECT_REF
3502           && TREE_CONSTANT (TREE_OPERAND (value, 0)))
3503         return null_pointer_node;
3504       /* Taking the address of a nested function involves a trampoline.  */
3505       if (value
3506           && TREE_CODE (value) == FUNCTION_DECL
3507           && ((decl_function_context (value) && !DECL_NO_STATIC_CHAIN (value))
3508               || DECL_NON_ADDR_CONST_P (value)))
3509         return NULL_TREE;
3510       return value;
3511
3512     case VIEW_CONVERT_EXPR:
3513     case NON_LVALUE_EXPR:
3514       return initializer_constant_valid_p (TREE_OPERAND (value, 0), endtype);
3515
3516     case CONVERT_EXPR:
3517     case NOP_EXPR:
3518       /* Allow conversions between pointer types.  */
3519       if (POINTER_TYPE_P (TREE_TYPE (value))
3520           && POINTER_TYPE_P (TREE_TYPE (TREE_OPERAND (value, 0))))
3521         return initializer_constant_valid_p (TREE_OPERAND (value, 0), endtype);
3522
3523       /* Allow conversions between real types.  */
3524       if (FLOAT_TYPE_P (TREE_TYPE (value))
3525           && FLOAT_TYPE_P (TREE_TYPE (TREE_OPERAND (value, 0))))
3526         return initializer_constant_valid_p (TREE_OPERAND (value, 0), endtype);
3527
3528       /* Allow length-preserving conversions between integer types.  */
3529       if (INTEGRAL_TYPE_P (TREE_TYPE (value))
3530           && INTEGRAL_TYPE_P (TREE_TYPE (TREE_OPERAND (value, 0)))
3531           && (TYPE_PRECISION (TREE_TYPE (value))
3532               == TYPE_PRECISION (TREE_TYPE (TREE_OPERAND (value, 0)))))
3533         return initializer_constant_valid_p (TREE_OPERAND (value, 0), endtype);
3534
3535       /* Allow conversions between other integer types only if
3536          explicit value.  */
3537       if (INTEGRAL_TYPE_P (TREE_TYPE (value))
3538           && INTEGRAL_TYPE_P (TREE_TYPE (TREE_OPERAND (value, 0))))
3539         {
3540           tree inner = initializer_constant_valid_p (TREE_OPERAND (value, 0),
3541                                                      endtype);
3542           if (inner == null_pointer_node)
3543             return null_pointer_node;
3544           break;
3545         }
3546
3547       /* Allow (int) &foo provided int is as wide as a pointer.  */
3548       if (INTEGRAL_TYPE_P (TREE_TYPE (value))
3549           && POINTER_TYPE_P (TREE_TYPE (TREE_OPERAND (value, 0)))
3550           && (TYPE_PRECISION (TREE_TYPE (value))
3551               >= TYPE_PRECISION (TREE_TYPE (TREE_OPERAND (value, 0)))))
3552         return initializer_constant_valid_p (TREE_OPERAND (value, 0),
3553                                              endtype);
3554
3555       /* Likewise conversions from int to pointers, but also allow
3556          conversions from 0.  */
3557       if ((POINTER_TYPE_P (TREE_TYPE (value))
3558            || TREE_CODE (TREE_TYPE (value)) == OFFSET_TYPE)
3559           && INTEGRAL_TYPE_P (TREE_TYPE (TREE_OPERAND (value, 0))))
3560         {
3561           if (integer_zerop (TREE_OPERAND (value, 0)))
3562             return null_pointer_node;
3563           else if (TYPE_PRECISION (TREE_TYPE (value))
3564                    <= TYPE_PRECISION (TREE_TYPE (TREE_OPERAND (value, 0))))
3565             return initializer_constant_valid_p (TREE_OPERAND (value, 0),
3566                                                  endtype);
3567         }
3568
3569       /* Allow conversions to struct or union types if the value
3570          inside is okay.  */
3571       if (TREE_CODE (TREE_TYPE (value)) == RECORD_TYPE
3572           || TREE_CODE (TREE_TYPE (value)) == UNION_TYPE)
3573         return initializer_constant_valid_p (TREE_OPERAND (value, 0),
3574                                              endtype);
3575       break;
3576
3577     case PLUS_EXPR:
3578       if (! INTEGRAL_TYPE_P (endtype)
3579           || TYPE_PRECISION (endtype) >= POINTER_SIZE)
3580         {
3581           tree valid0 = initializer_constant_valid_p (TREE_OPERAND (value, 0),
3582                                                       endtype);
3583           tree valid1 = initializer_constant_valid_p (TREE_OPERAND (value, 1),
3584                                                       endtype);
3585           /* If either term is absolute, use the other terms relocation.  */
3586           if (valid0 == null_pointer_node)
3587             return valid1;
3588           if (valid1 == null_pointer_node)
3589             return valid0;
3590         }
3591       break;
3592
3593     case MINUS_EXPR:
3594       if (! INTEGRAL_TYPE_P (endtype)
3595           || TYPE_PRECISION (endtype) >= POINTER_SIZE)
3596         {
3597           tree valid0 = initializer_constant_valid_p (TREE_OPERAND (value, 0),
3598                                                       endtype);
3599           tree valid1 = initializer_constant_valid_p (TREE_OPERAND (value, 1),
3600                                                       endtype);
3601           /* Win if second argument is absolute.  */
3602           if (valid1 == null_pointer_node)
3603             return valid0;
3604           /* Win if both arguments have the same relocation.
3605              Then the value is absolute.  */
3606           if (valid0 == valid1 && valid0 != 0)
3607             return null_pointer_node;
3608
3609           /* Since GCC guarantees that string constants are unique in the
3610              generated code, a subtraction between two copies of the same
3611              constant string is absolute.  */
3612           if (valid0 && TREE_CODE (valid0) == STRING_CST
3613               && valid1 && TREE_CODE (valid1) == STRING_CST
3614               && operand_equal_p (valid0, valid1, 1))
3615             return null_pointer_node;
3616         }
3617
3618       /* Support narrowing differences.  */
3619       if (INTEGRAL_TYPE_P (endtype))
3620         {
3621           tree op0, op1;
3622
3623           op0 = TREE_OPERAND (value, 0);
3624           op1 = TREE_OPERAND (value, 1);
3625
3626           /* Like STRIP_NOPS except allow the operand mode to widen.
3627              This works around a feature of fold that simplifies
3628              (int)(p1 - p2) to ((int)p1 - (int)p2) under the theory
3629              that the narrower operation is cheaper.  */
3630
3631           while (TREE_CODE (op0) == NOP_EXPR
3632                  || TREE_CODE (op0) == CONVERT_EXPR
3633                  || TREE_CODE (op0) == NON_LVALUE_EXPR)
3634             {
3635               tree inner = TREE_OPERAND (op0, 0);
3636               if (inner == error_mark_node
3637                   || ! INTEGRAL_MODE_P (TYPE_MODE (TREE_TYPE (inner)))
3638                   || (GET_MODE_SIZE (TYPE_MODE (TREE_TYPE (op0)))
3639                       > GET_MODE_SIZE (TYPE_MODE (TREE_TYPE (inner)))))
3640                 break;
3641               op0 = inner;
3642             }
3643
3644           while (TREE_CODE (op1) == NOP_EXPR
3645                  || TREE_CODE (op1) == CONVERT_EXPR
3646                  || TREE_CODE (op1) == NON_LVALUE_EXPR)
3647             {
3648               tree inner = TREE_OPERAND (op1, 0);
3649               if (inner == error_mark_node
3650                   || ! INTEGRAL_MODE_P (TYPE_MODE (TREE_TYPE (inner)))
3651                   || (GET_MODE_SIZE (TYPE_MODE (TREE_TYPE (op1)))
3652                       > GET_MODE_SIZE (TYPE_MODE (TREE_TYPE (inner)))))
3653                 break;
3654               op1 = inner;
3655             }
3656
3657           op0 = initializer_constant_valid_p (op0, endtype);
3658           op1 = initializer_constant_valid_p (op1, endtype);
3659
3660           /* Both initializers must be known.  */
3661           if (op0 && op1)
3662             {
3663               if (op0 == op1)
3664                 return null_pointer_node;
3665
3666               /* Support differences between labels.  */
3667               if (TREE_CODE (op0) == LABEL_DECL
3668                   && TREE_CODE (op1) == LABEL_DECL)
3669                 return null_pointer_node;
3670
3671               if (TREE_CODE (op0) == STRING_CST
3672                   && TREE_CODE (op1) == STRING_CST
3673                   && operand_equal_p (op0, op1, 1))
3674                 return null_pointer_node;
3675             }
3676         }
3677       break;
3678
3679     default:
3680       break;
3681     }
3682
3683   return 0;
3684 }
3685 \f
3686 /* Output assembler code for constant EXP to FILE, with no label.
3687    This includes the pseudo-op such as ".int" or ".byte", and a newline.
3688    Assumes output_addressed_constants has been done on EXP already.
3689
3690    Generate exactly SIZE bytes of assembler data, padding at the end
3691    with zeros if necessary.  SIZE must always be specified.
3692
3693    SIZE is important for structure constructors,
3694    since trailing members may have been omitted from the constructor.
3695    It is also important for initialization of arrays from string constants
3696    since the full length of the string constant might not be wanted.
3697    It is also needed for initialization of unions, where the initializer's
3698    type is just one member, and that may not be as long as the union.
3699
3700    There a case in which we would fail to output exactly SIZE bytes:
3701    for a structure constructor that wants to produce more than SIZE bytes.
3702    But such constructors will never be generated for any possible input.
3703
3704    ALIGN is the alignment of the data in bits.  */
3705
3706 void
3707 output_constant (tree exp, unsigned HOST_WIDE_INT size, unsigned int align)
3708 {
3709   enum tree_code code;
3710   unsigned HOST_WIDE_INT thissize;
3711
3712   /* Some front-ends use constants other than the standard language-independent
3713      varieties, but which may still be output directly.  Give the front-end a
3714      chance to convert EXP to a language-independent representation.  */
3715   exp = lang_hooks.expand_constant (exp);
3716
3717   if (size == 0 || flag_syntax_only)
3718     return;
3719
3720   /* Eliminate any conversions since we'll be outputting the underlying
3721      constant.  */
3722   while (TREE_CODE (exp) == NOP_EXPR || TREE_CODE (exp) == CONVERT_EXPR
3723          || TREE_CODE (exp) == NON_LVALUE_EXPR
3724          || TREE_CODE (exp) == VIEW_CONVERT_EXPR)
3725     exp = TREE_OPERAND (exp, 0);
3726
3727   code = TREE_CODE (TREE_TYPE (exp));
3728   thissize = int_size_in_bytes (TREE_TYPE (exp));
3729
3730   /* Allow a constructor with no elements for any data type.
3731      This means to fill the space with zeros.  */
3732   if (TREE_CODE (exp) == CONSTRUCTOR && CONSTRUCTOR_ELTS (exp) == 0)
3733     {
3734       assemble_zeros (size);
3735       return;
3736     }
3737
3738   if (TREE_CODE (exp) == FDESC_EXPR)
3739     {
3740 #ifdef ASM_OUTPUT_FDESC
3741       HOST_WIDE_INT part = tree_low_cst (TREE_OPERAND (exp, 1), 0);
3742       tree decl = TREE_OPERAND (exp, 0);
3743       ASM_OUTPUT_FDESC (asm_out_file, decl, part);
3744 #else
3745       abort ();
3746 #endif
3747       return;
3748     }
3749
3750   /* Now output the underlying data.  If we've handling the padding, return.
3751      Otherwise, break and ensure SIZE is the size written.  */
3752   switch (code)
3753     {
3754     case CHAR_TYPE:
3755     case BOOLEAN_TYPE:
3756     case INTEGER_TYPE:
3757     case ENUMERAL_TYPE:
3758     case POINTER_TYPE:
3759     case REFERENCE_TYPE:
3760     case OFFSET_TYPE:
3761       if (! assemble_integer (expand_expr (exp, NULL_RTX, VOIDmode,
3762                                            EXPAND_INITIALIZER),
3763                               MIN (size, thissize), align, 0))
3764         error ("initializer for integer value is too complicated");
3765       break;
3766
3767     case REAL_TYPE:
3768       if (TREE_CODE (exp) != REAL_CST)
3769         error ("initializer for floating value is not a floating constant");
3770
3771       assemble_real (TREE_REAL_CST (exp), TYPE_MODE (TREE_TYPE (exp)), align);
3772       break;
3773
3774     case COMPLEX_TYPE:
3775       output_constant (TREE_REALPART (exp), thissize / 2, align);
3776       output_constant (TREE_IMAGPART (exp), thissize / 2,
3777                        min_align (align, BITS_PER_UNIT * (thissize / 2)));
3778       break;
3779
3780     case ARRAY_TYPE:
3781     case VECTOR_TYPE:
3782       if (TREE_CODE (exp) == CONSTRUCTOR)
3783         {
3784           output_constructor (exp, size, align);
3785           return;
3786         }
3787       else if (TREE_CODE (exp) == STRING_CST)
3788         {
3789           thissize = MIN ((unsigned HOST_WIDE_INT)TREE_STRING_LENGTH (exp),
3790                           size);
3791           assemble_string (TREE_STRING_POINTER (exp), thissize);
3792         }
3793       else if (TREE_CODE (exp) == VECTOR_CST)
3794         {
3795           int elt_size;
3796           tree link;
3797           unsigned int nalign;
3798           enum machine_mode inner;
3799
3800           inner = TYPE_MODE (TREE_TYPE (TREE_TYPE (exp)));
3801           nalign = MIN (align, GET_MODE_ALIGNMENT (inner));
3802
3803           elt_size = GET_MODE_SIZE (inner);
3804
3805           link = TREE_VECTOR_CST_ELTS (exp);
3806           output_constant (TREE_VALUE (link), elt_size, align);
3807           while ((link = TREE_CHAIN (link)) != NULL)
3808             output_constant (TREE_VALUE (link), elt_size, nalign);
3809         }
3810       else
3811         abort ();
3812       break;
3813
3814     case RECORD_TYPE:
3815     case UNION_TYPE:
3816       if (TREE_CODE (exp) == CONSTRUCTOR)
3817         output_constructor (exp, size, align);
3818       else
3819         abort ();
3820       return;
3821
3822     case ERROR_MARK:
3823       return;
3824
3825     default:
3826       abort ();
3827     }
3828
3829   if (size > thissize)
3830     assemble_zeros (size - thissize);
3831 }
3832
3833 \f
3834 /* Subroutine of output_constructor, used for computing the size of
3835    arrays of unspecified length.  VAL must be a CONSTRUCTOR of an array
3836    type with an unspecified upper bound.  */
3837
3838 static unsigned HOST_WIDE_INT
3839 array_size_for_constructor (tree val)
3840 {
3841   tree max_index, i;
3842
3843   /* This code used to attempt to handle string constants that are not
3844      arrays of single-bytes, but nothing else does, so there's no point in
3845      doing it here.  */
3846   if (TREE_CODE (val) == STRING_CST)
3847     return TREE_STRING_LENGTH (val);
3848
3849   max_index = NULL_TREE;
3850   for (i = CONSTRUCTOR_ELTS (val); i; i = TREE_CHAIN (i))
3851     {
3852       tree index = TREE_PURPOSE (i);
3853
3854       if (TREE_CODE (index) == RANGE_EXPR)
3855         index = TREE_OPERAND (index, 1);
3856       if (max_index == NULL_TREE || tree_int_cst_lt (max_index, index))
3857         max_index = index;
3858     }
3859
3860   if (max_index == NULL_TREE)
3861     return 0;
3862
3863   /* Compute the total number of array elements.  */
3864   i = size_binop (MINUS_EXPR, convert (sizetype, max_index),
3865                   convert (sizetype,
3866                            TYPE_MIN_VALUE (TYPE_DOMAIN (TREE_TYPE (val)))));
3867   i = size_binop (PLUS_EXPR, i, convert (sizetype, integer_one_node));
3868
3869   /* Multiply by the array element unit size to find number of bytes.  */
3870   i = size_binop (MULT_EXPR, i, TYPE_SIZE_UNIT (TREE_TYPE (TREE_TYPE (val))));
3871
3872   return tree_low_cst (i, 1);
3873 }
3874
3875 /* Subroutine of output_constant, used for CONSTRUCTORs (aggregate constants).
3876    Generate at least SIZE bytes, padding if necessary.  */
3877
3878 static void
3879 output_constructor (tree exp, unsigned HOST_WIDE_INT size,
3880                     unsigned int align)
3881 {
3882   tree type = TREE_TYPE (exp);
3883   tree link, field = 0;
3884   tree min_index = 0;
3885   /* Number of bytes output or skipped so far.
3886      In other words, current position within the constructor.  */
3887   HOST_WIDE_INT total_bytes = 0;
3888   /* Nonzero means BYTE contains part of a byte, to be output.  */
3889   int byte_buffer_in_use = 0;
3890   int byte = 0;
3891
3892   if (HOST_BITS_PER_WIDE_INT < BITS_PER_UNIT)
3893     abort ();
3894
3895   if (TREE_CODE (type) == RECORD_TYPE)
3896     field = TYPE_FIELDS (type);
3897
3898   if (TREE_CODE (type) == ARRAY_TYPE
3899       && TYPE_DOMAIN (type) != 0)
3900     min_index = TYPE_MIN_VALUE (TYPE_DOMAIN (type));
3901
3902   /* As LINK goes through the elements of the constant,
3903      FIELD goes through the structure fields, if the constant is a structure.
3904      if the constant is a union, then we override this,
3905      by getting the field from the TREE_LIST element.
3906      But the constant could also be an array.  Then FIELD is zero.
3907
3908      There is always a maximum of one element in the chain LINK for unions
3909      (even if the initializer in a source program incorrectly contains
3910      more one).  */
3911   for (link = CONSTRUCTOR_ELTS (exp);
3912        link;
3913        link = TREE_CHAIN (link),
3914        field = field ? TREE_CHAIN (field) : 0)
3915     {
3916       tree val = TREE_VALUE (link);
3917       tree index = 0;
3918
3919       /* The element in a union constructor specifies the proper field
3920          or index.  */
3921       if ((TREE_CODE (type) == RECORD_TYPE || TREE_CODE (type) == UNION_TYPE
3922            || TREE_CODE (type) == QUAL_UNION_TYPE)
3923           && TREE_PURPOSE (link) != 0)
3924         field = TREE_PURPOSE (link);
3925
3926       else if (TREE_CODE (type) == ARRAY_TYPE)
3927         index = TREE_PURPOSE (link);
3928
3929 #ifdef ASM_COMMENT_START
3930       if (field && flag_verbose_asm)
3931         fprintf (asm_out_file, "%s %s:\n",
3932                  ASM_COMMENT_START, 
3933                  DECL_NAME (field) 
3934                  ? IDENTIFIER_POINTER (DECL_NAME (field))
3935                  : "<anonymous>");
3936 #endif
3937
3938       /* Eliminate the marker that makes a cast not be an lvalue.  */
3939       if (val != 0)
3940         STRIP_NOPS (val);
3941
3942       if (index && TREE_CODE (index) == RANGE_EXPR)
3943         {
3944           unsigned HOST_WIDE_INT fieldsize
3945             = int_size_in_bytes (TREE_TYPE (type));
3946           HOST_WIDE_INT lo_index = tree_low_cst (TREE_OPERAND (index, 0), 0);
3947           HOST_WIDE_INT hi_index = tree_low_cst (TREE_OPERAND (index, 1), 0);
3948           HOST_WIDE_INT index;
3949           unsigned int align2 = min_align (align, fieldsize * BITS_PER_UNIT);
3950
3951           for (index = lo_index; index <= hi_index; index++)
3952             {
3953               /* Output the element's initial value.  */
3954               if (val == 0)
3955                 assemble_zeros (fieldsize);
3956               else
3957                 output_constant (val, fieldsize, align2);
3958
3959               /* Count its size.  */
3960               total_bytes += fieldsize;
3961             }
3962         }
3963       else if (field == 0 || !DECL_BIT_FIELD (field))
3964         {
3965           /* An element that is not a bit-field.  */
3966
3967           unsigned HOST_WIDE_INT fieldsize;
3968           /* Since this structure is static,
3969              we know the positions are constant.  */
3970           HOST_WIDE_INT pos = field ? int_byte_position (field) : 0;
3971           unsigned int align2;
3972
3973           if (index != 0)
3974             pos = (tree_low_cst (TYPE_SIZE_UNIT (TREE_TYPE (val)), 1)
3975                    * (tree_low_cst (index, 0) - tree_low_cst (min_index, 0)));
3976
3977           /* Output any buffered-up bit-fields preceding this element.  */
3978           if (byte_buffer_in_use)
3979             {
3980               assemble_integer (GEN_INT (byte), 1, BITS_PER_UNIT, 1);
3981               total_bytes++;
3982               byte_buffer_in_use = 0;
3983             }
3984
3985           /* Advance to offset of this element.
3986              Note no alignment needed in an array, since that is guaranteed
3987              if each element has the proper size.  */
3988           if ((field != 0 || index != 0) && pos != total_bytes)
3989             {
3990               assemble_zeros (pos - total_bytes);
3991               total_bytes = pos;
3992             }
3993
3994           /* Find the alignment of this element.  */
3995           align2 = min_align (align, BITS_PER_UNIT * pos);
3996
3997           /* Determine size this element should occupy.  */
3998           if (field)
3999             {
4000               fieldsize = 0;
4001
4002               /* If this is an array with an unspecified upper bound,
4003                  the initializer determines the size.  */
4004               /* ??? This ought to only checked if DECL_SIZE_UNIT is NULL,
4005                  but we cannot do this until the deprecated support for
4006                  initializing zero-length array members is removed.  */
4007               if (TREE_CODE (TREE_TYPE (field)) == ARRAY_TYPE
4008                   && TYPE_DOMAIN (TREE_TYPE (field))
4009                   && ! TYPE_MAX_VALUE (TYPE_DOMAIN (TREE_TYPE (field))))
4010                 {
4011                   fieldsize = array_size_for_constructor (val);
4012                   /* Given a non-empty initialization, this field had
4013                      better be last.  */
4014                   if (fieldsize != 0 && TREE_CHAIN (field) != NULL_TREE)
4015                     abort ();
4016                 }
4017               else if (DECL_SIZE_UNIT (field))
4018                 {
4019                   /* ??? This can't be right.  If the decl size overflows
4020                      a host integer we will silently emit no data.  */
4021                   if (host_integerp (DECL_SIZE_UNIT (field), 1))
4022                     fieldsize = tree_low_cst (DECL_SIZE_UNIT (field), 1);
4023                 }
4024             }
4025           else
4026             fieldsize = int_size_in_bytes (TREE_TYPE (type));
4027
4028           /* Output the element's initial value.  */
4029           if (val == 0)
4030             assemble_zeros (fieldsize);
4031           else
4032             output_constant (val, fieldsize, align2);
4033
4034           /* Count its size.  */
4035           total_bytes += fieldsize;
4036         }
4037       else if (val != 0 && TREE_CODE (val) != INTEGER_CST)
4038         error ("invalid initial value for member %qs",
4039                IDENTIFIER_POINTER (DECL_NAME (field)));
4040       else
4041         {
4042           /* Element that is a bit-field.  */
4043
4044           HOST_WIDE_INT next_offset = int_bit_position (field);
4045           HOST_WIDE_INT end_offset
4046             = (next_offset + tree_low_cst (DECL_SIZE (field), 1));
4047
4048           if (val == 0)
4049             val = integer_zero_node;
4050
4051           /* If this field does not start in this (or, next) byte,
4052              skip some bytes.  */
4053           if (next_offset / BITS_PER_UNIT != total_bytes)
4054             {
4055               /* Output remnant of any bit field in previous bytes.  */
4056               if (byte_buffer_in_use)
4057                 {
4058                   assemble_integer (GEN_INT (byte), 1, BITS_PER_UNIT, 1);
4059                   total_bytes++;
4060                   byte_buffer_in_use = 0;
4061                 }
4062
4063               /* If still not at proper byte, advance to there.  */
4064               if (next_offset / BITS_PER_UNIT != total_bytes)
4065                 {
4066                   assemble_zeros (next_offset / BITS_PER_UNIT - total_bytes);
4067                   total_bytes = next_offset / BITS_PER_UNIT;
4068                 }
4069             }
4070
4071           if (! byte_buffer_in_use)
4072             byte = 0;
4073
4074           /* We must split the element into pieces that fall within
4075              separate bytes, and combine each byte with previous or
4076              following bit-fields.  */
4077
4078           /* next_offset is the offset n fbits from the beginning of
4079              the structure to the next bit of this element to be processed.
4080              end_offset is the offset of the first bit past the end of
4081              this element.  */
4082           while (next_offset < end_offset)
4083             {
4084               int this_time;
4085               int shift;
4086               HOST_WIDE_INT value;
4087               HOST_WIDE_INT next_byte = next_offset / BITS_PER_UNIT;
4088               HOST_WIDE_INT next_bit = next_offset % BITS_PER_UNIT;
4089
4090               /* Advance from byte to byte
4091                  within this element when necessary.  */
4092               while (next_byte != total_bytes)
4093                 {
4094                   assemble_integer (GEN_INT (byte), 1, BITS_PER_UNIT, 1);
4095                   total_bytes++;
4096                   byte = 0;
4097                 }
4098
4099               /* Number of bits we can process at once
4100                  (all part of the same byte).  */
4101               this_time = MIN (end_offset - next_offset,
4102                                BITS_PER_UNIT - next_bit);
4103               if (BYTES_BIG_ENDIAN)
4104                 {
4105                   /* On big-endian machine, take the most significant bits
4106                      first (of the bits that are significant)
4107                      and put them into bytes from the most significant end.  */
4108                   shift = end_offset - next_offset - this_time;
4109
4110                   /* Don't try to take a bunch of bits that cross
4111                      the word boundary in the INTEGER_CST. We can
4112                      only select bits from the LOW or HIGH part
4113                      not from both.  */
4114                   if (shift < HOST_BITS_PER_WIDE_INT
4115                       && shift + this_time > HOST_BITS_PER_WIDE_INT)
4116                     {
4117                       this_time = shift + this_time - HOST_BITS_PER_WIDE_INT;
4118                       shift = HOST_BITS_PER_WIDE_INT;
4119                     }
4120
4121                   /* Now get the bits from the appropriate constant word.  */
4122                   if (shift < HOST_BITS_PER_WIDE_INT)
4123                     value = TREE_INT_CST_LOW (val);
4124                   else if (shift < 2 * HOST_BITS_PER_WIDE_INT)
4125                     {
4126                       value = TREE_INT_CST_HIGH (val);
4127                       shift -= HOST_BITS_PER_WIDE_INT;
4128                     }
4129                   else
4130                     abort ();
4131
4132                   /* Get the result. This works only when:
4133                      1 <= this_time <= HOST_BITS_PER_WIDE_INT.  */
4134                   byte |= (((value >> shift)
4135                             & (((HOST_WIDE_INT) 2 << (this_time - 1)) - 1))
4136                            << (BITS_PER_UNIT - this_time - next_bit));
4137                 }
4138               else
4139                 {
4140                   /* On little-endian machines,
4141                      take first the least significant bits of the value
4142                      and pack them starting at the least significant
4143                      bits of the bytes.  */
4144                   shift = next_offset - int_bit_position (field);
4145
4146                   /* Don't try to take a bunch of bits that cross
4147                      the word boundary in the INTEGER_CST. We can
4148                      only select bits from the LOW or HIGH part
4149                      not from both.  */
4150                   if (shift < HOST_BITS_PER_WIDE_INT
4151                       && shift + this_time > HOST_BITS_PER_WIDE_INT)
4152                     this_time = (HOST_BITS_PER_WIDE_INT - shift);
4153
4154                   /* Now get the bits from the appropriate constant word.  */
4155                   if (shift < HOST_BITS_PER_WIDE_INT)
4156                     value = TREE_INT_CST_LOW (val);
4157                   else if (shift < 2 * HOST_BITS_PER_WIDE_INT)
4158                     {
4159                       value = TREE_INT_CST_HIGH (val);
4160                       shift -= HOST_BITS_PER_WIDE_INT;
4161                     }
4162                   else
4163                     abort ();
4164
4165                   /* Get the result. This works only when:
4166                      1 <= this_time <= HOST_BITS_PER_WIDE_INT.  */
4167                   byte |= (((value >> shift)
4168                             & (((HOST_WIDE_INT) 2 << (this_time - 1)) - 1))
4169                            << next_bit);
4170                 }
4171
4172               next_offset += this_time;
4173               byte_buffer_in_use = 1;
4174             }
4175         }
4176     }
4177
4178   if (byte_buffer_in_use)
4179     {
4180       assemble_integer (GEN_INT (byte), 1, BITS_PER_UNIT, 1);
4181       total_bytes++;
4182     }
4183
4184   if ((unsigned HOST_WIDE_INT)total_bytes < size)
4185     assemble_zeros (size - total_bytes);
4186 }
4187
4188 /* This TREE_LIST contains any weak symbol declarations waiting
4189    to be emitted.  */
4190 static GTY(()) tree weak_decls;
4191
4192 /* Mark DECL as weak.  */
4193
4194 static void
4195 mark_weak (tree decl)
4196 {
4197   DECL_WEAK (decl) = 1;
4198
4199   if (DECL_RTL_SET_P (decl)
4200       && MEM_P (DECL_RTL (decl))
4201       && XEXP (DECL_RTL (decl), 0)
4202       && GET_CODE (XEXP (DECL_RTL (decl), 0)) == SYMBOL_REF)
4203     SYMBOL_REF_WEAK (XEXP (DECL_RTL (decl), 0)) = 1;
4204 }
4205
4206 /* Merge weak status between NEWDECL and OLDDECL.  */
4207
4208 void
4209 merge_weak (tree newdecl, tree olddecl)
4210 {
4211   if (DECL_WEAK (newdecl) == DECL_WEAK (olddecl))
4212     return;
4213
4214   if (DECL_WEAK (newdecl))
4215     {
4216       tree wd;
4217
4218       /* NEWDECL is weak, but OLDDECL is not.  */
4219
4220       /* If we already output the OLDDECL, we're in trouble; we can't
4221          go back and make it weak.  This error cannot caught in
4222          declare_weak because the NEWDECL and OLDDECL was not yet
4223          been merged; therefore, TREE_ASM_WRITTEN was not set.  */
4224       if (TREE_ASM_WRITTEN (olddecl))
4225         error ("%Jweak declaration of %qD must precede definition",
4226                newdecl, newdecl);
4227
4228       /* If we've already generated rtl referencing OLDDECL, we may
4229          have done so in a way that will not function properly with
4230          a weak symbol.  */
4231       else if (TREE_USED (olddecl)
4232                && TREE_SYMBOL_REFERENCED (DECL_ASSEMBLER_NAME (olddecl)))
4233         warning ("%Jweak declaration of %qD after first use results "
4234                  "in unspecified behavior", newdecl, newdecl);
4235
4236       if (SUPPORTS_WEAK)
4237         {
4238           /* We put the NEWDECL on the weak_decls list at some point.
4239              Replace it with the OLDDECL.  */
4240           for (wd = weak_decls; wd; wd = TREE_CHAIN (wd))
4241             if (TREE_VALUE (wd) == newdecl)
4242               {
4243                 TREE_VALUE (wd) = olddecl;
4244                 break;
4245               }
4246           /* We may not find the entry on the list.  If NEWDECL is a
4247              weak alias, then we will have already called
4248              globalize_decl to remove the entry; in that case, we do
4249              not need to do anything.  */
4250         }
4251
4252       /* Make the OLDDECL weak; it's OLDDECL that we'll be keeping.  */
4253       mark_weak (olddecl);
4254     }
4255   else
4256     /* OLDDECL was weak, but NEWDECL was not explicitly marked as
4257        weak.  Just update NEWDECL to indicate that it's weak too.  */
4258     mark_weak (newdecl);
4259 }
4260
4261 /* Declare DECL to be a weak symbol.  */
4262
4263 void
4264 declare_weak (tree decl)
4265 {
4266   if (! TREE_PUBLIC (decl))
4267     error ("%Jweak declaration of %qD must be public", decl, decl);
4268   else if (TREE_CODE (decl) == FUNCTION_DECL && TREE_ASM_WRITTEN (decl))
4269     error ("%Jweak declaration of %qD must precede definition", decl, decl);
4270   else if (SUPPORTS_WEAK)
4271     {
4272       if (! DECL_WEAK (decl))
4273         weak_decls = tree_cons (NULL, decl, weak_decls);
4274     }
4275   else
4276     warning ("%Jweak declaration of %qD not supported", decl, decl);
4277
4278   mark_weak (decl);
4279 }
4280
4281 /* Emit any pending weak declarations.  */
4282
4283 void
4284 weak_finish (void)
4285 {
4286   tree t;
4287
4288   for (t = weak_decls; t; t = TREE_CHAIN (t))
4289     {
4290       tree decl = TREE_VALUE (t);
4291 #if defined (ASM_WEAKEN_DECL) || defined (ASM_WEAKEN_LABEL)
4292       const char *const name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl));
4293 #endif
4294
4295       if (! TREE_USED (decl))
4296         continue;
4297
4298 #ifdef ASM_WEAKEN_DECL
4299       ASM_WEAKEN_DECL (asm_out_file, decl, name, NULL);
4300 #else
4301 #ifdef ASM_WEAKEN_LABEL
4302       ASM_WEAKEN_LABEL (asm_out_file, name);
4303 #else
4304 #ifdef ASM_OUTPUT_WEAK_ALIAS
4305       warning ("only weak aliases are supported in this configuration");
4306       return;
4307 #endif
4308 #endif
4309 #endif
4310     }
4311 }
4312
4313 /* Emit the assembly bits to indicate that DECL is globally visible.  */
4314
4315 static void
4316 globalize_decl (tree decl)
4317 {
4318   const char *name = XSTR (XEXP (DECL_RTL (decl), 0), 0);
4319
4320 #if defined (ASM_WEAKEN_LABEL) || defined (ASM_WEAKEN_DECL)
4321   if (DECL_WEAK (decl))
4322     {
4323       tree *p, t;
4324
4325 #ifdef ASM_WEAKEN_DECL
4326       ASM_WEAKEN_DECL (asm_out_file, decl, name, 0);
4327 #else
4328       ASM_WEAKEN_LABEL (asm_out_file, name);
4329 #endif
4330
4331       /* Remove this function from the pending weak list so that
4332          we do not emit multiple .weak directives for it.  */
4333       for (p = &weak_decls; (t = *p) ; )
4334         {
4335           if (DECL_ASSEMBLER_NAME (decl) == DECL_ASSEMBLER_NAME (TREE_VALUE (t)))
4336             *p = TREE_CHAIN (t);
4337           else
4338             p = &TREE_CHAIN (t);
4339         }
4340       return;
4341     }
4342 #elif defined(ASM_MAKE_LABEL_LINKONCE)
4343   if (DECL_ONE_ONLY (decl))
4344     ASM_MAKE_LABEL_LINKONCE (asm_out_file, name);
4345 #endif
4346
4347   targetm.asm_out.globalize_label (asm_out_file, name);
4348 }
4349
4350 /* Some targets do not allow a forward or undefined reference in a
4351    ASM_OUTPUT_DEF.  Thus, a mechanism is needed to defer the output of
4352    this assembler code.  The following struct holds the declaration
4353    and target for a deferred output define.  */
4354 struct output_def_pair GTY(())
4355 {
4356   tree decl;
4357   tree target;
4358 };
4359 typedef struct output_def_pair *output_def_pair;
4360
4361 /* Define gc'd vector type.  */
4362 DEF_VEC_GC_P(output_def_pair);
4363
4364 /* Vector of output_def_pair pointers.  */
4365 static GTY(()) VEC(output_def_pair) *output_defs;
4366
4367 #ifdef ASM_OUTPUT_DEF
4368 /* Output the assembler code for a define (equate) using ASM_OUTPUT_DEF
4369    or ASM_OUTPUT_DEF_FROM_DECLS.  The function defines the symbol whose
4370    tree node is DECL to have the value of the tree node TARGET.  */
4371
4372 static void
4373 assemble_output_def (tree decl ATTRIBUTE_UNUSED, tree target ATTRIBUTE_UNUSED)
4374 {
4375 #ifdef ASM_OUTPUT_DEF_FROM_DECLS
4376   ASM_OUTPUT_DEF_FROM_DECLS (asm_out_file, decl, target);
4377 #else
4378   ASM_OUTPUT_DEF (asm_out_file,
4379                   IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl)),
4380                   IDENTIFIER_POINTER (target));
4381 #endif
4382 }
4383 #endif
4384
4385 /* Process the vector of pending assembler defines.  */
4386
4387 void
4388 process_pending_assemble_output_defs (void)
4389 {
4390 #ifdef ASM_OUTPUT_DEF
4391   unsigned i;
4392   output_def_pair p;
4393
4394   for (i = 0; VEC_iterate (output_def_pair, output_defs, i, p); i++)
4395     assemble_output_def (p->decl, p->target);
4396
4397   output_defs = NULL;
4398 #endif
4399 }
4400
4401 /* Emit an assembler directive to make the symbol for DECL an alias to
4402    the symbol for TARGET.  */
4403
4404 void
4405 assemble_alias (tree decl, tree target)
4406 {
4407   /* We must force creation of DECL_RTL for debug info generation, even though
4408      we don't use it here.  */
4409   make_decl_rtl (decl);
4410
4411 #ifdef ASM_OUTPUT_DEF
4412   /* Make name accessible from other files, if appropriate.  */
4413
4414   if (TREE_PUBLIC (decl))
4415     {
4416       globalize_decl (decl);
4417       maybe_assemble_visibility (decl);
4418     }
4419
4420   if (TARGET_DEFERRED_OUTPUT_DEFS (decl, target))
4421     {
4422       output_def_pair p;
4423
4424       p = ggc_alloc (sizeof (struct output_def_pair));
4425       p->decl = decl;
4426       p->target = target;
4427       VEC_safe_push (output_def_pair, output_defs, p);
4428     }
4429   else
4430     assemble_output_def (decl, target);
4431 #else /* !ASM_OUTPUT_DEF */
4432 #if defined (ASM_OUTPUT_WEAK_ALIAS) || defined (ASM_WEAKEN_DECL)
4433   if (DECL_WEAK (decl))
4434     {
4435       const char *name;
4436       tree *p, t;
4437
4438       name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl));
4439 #ifdef ASM_WEAKEN_DECL
4440       ASM_WEAKEN_DECL (asm_out_file, decl, name, IDENTIFIER_POINTER (target));
4441 #else
4442       ASM_OUTPUT_WEAK_ALIAS (asm_out_file, name, IDENTIFIER_POINTER (target));
4443 #endif
4444       /* Remove this function from the pending weak list so that
4445          we do not emit multiple .weak directives for it.  */
4446       for (p = &weak_decls; (t = *p) ; )
4447         if (DECL_ASSEMBLER_NAME (decl)
4448             == DECL_ASSEMBLER_NAME (TREE_VALUE (t)))
4449           *p = TREE_CHAIN (t);
4450         else
4451           p = &TREE_CHAIN (t);
4452     }
4453   else
4454     warning ("only weak aliases are supported in this configuration");
4455
4456 #else
4457   warning ("alias definitions not supported in this configuration; ignored");
4458 #endif
4459 #endif
4460
4461   /* Tell cgraph that the aliased symbol is needed.  We *could* be more
4462      specific and tell cgraph about the relationship between the two
4463      symbols, but given that aliases virtually always exist for a reason,
4464      it doesn't seem worthwhile.  */
4465   if (flag_unit_at_a_time)
4466     {
4467       struct cgraph_node *fnode = NULL;
4468       struct cgraph_varpool_node *vnode = NULL;
4469
4470       if (TREE_CODE (decl) == FUNCTION_DECL)
4471         {
4472           fnode = cgraph_node_for_asm (target);
4473           if (fnode != NULL)
4474             cgraph_mark_needed_node (fnode);
4475           else
4476             {
4477               vnode = cgraph_varpool_node_for_asm (target);
4478               if (vnode != NULL)
4479                 cgraph_varpool_mark_needed_node (vnode);
4480             }
4481         }
4482       else
4483         {
4484           vnode = cgraph_varpool_node_for_asm (target);
4485           if (vnode != NULL)
4486             cgraph_varpool_mark_needed_node (vnode);
4487           else
4488             {
4489               fnode = cgraph_node_for_asm (target);
4490               if (fnode != NULL)
4491                 cgraph_mark_needed_node (fnode);
4492             }
4493         }
4494
4495       if (fnode == NULL && vnode == NULL)
4496         warning ("%qD aliased to undefined symbol %qE", decl, target);
4497     }
4498
4499   TREE_USED (decl) = 1;
4500   TREE_ASM_WRITTEN (decl) = 1;
4501   TREE_ASM_WRITTEN (DECL_ASSEMBLER_NAME (decl)) = 1;
4502 }
4503
4504 /* Emit an assembler directive to set symbol for DECL visibility to
4505    the visibility type VIS, which must not be VISIBILITY_DEFAULT.  */
4506
4507 void
4508 default_assemble_visibility (tree decl, int vis)
4509 {
4510   static const char * const visibility_types[] = {
4511     NULL, "internal", "hidden", "protected"
4512   };
4513
4514   const char *name, *type;
4515
4516   name = (IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl)));
4517   type = visibility_types[vis];
4518
4519 #ifdef HAVE_GAS_HIDDEN
4520   fprintf (asm_out_file, "\t.%s\t", type);
4521   assemble_name (asm_out_file, name);
4522   fprintf (asm_out_file, "\n");
4523 #else
4524   warning ("visibility attribute not supported in this configuration; ignored");
4525 #endif
4526 }
4527
4528 /* A helper function to call assemble_visibility when needed for a decl.  */
4529
4530 static void
4531 maybe_assemble_visibility (tree decl)
4532 {
4533   enum symbol_visibility vis = DECL_VISIBILITY (decl);
4534
4535   if (vis != VISIBILITY_DEFAULT)
4536     targetm.asm_out.visibility (decl, vis);
4537 }
4538
4539 /* Returns 1 if the target configuration supports defining public symbols
4540    so that one of them will be chosen at link time instead of generating a
4541    multiply-defined symbol error, whether through the use of weak symbols or
4542    a target-specific mechanism for having duplicates discarded.  */
4543
4544 int
4545 supports_one_only (void)
4546 {
4547   if (SUPPORTS_ONE_ONLY)
4548     return 1;
4549   return SUPPORTS_WEAK;
4550 }
4551
4552 /* Set up DECL as a public symbol that can be defined in multiple
4553    translation units without generating a linker error.  */
4554
4555 void
4556 make_decl_one_only (tree decl)
4557 {
4558   if (TREE_CODE (decl) != VAR_DECL && TREE_CODE (decl) != FUNCTION_DECL)
4559     abort ();
4560
4561   TREE_PUBLIC (decl) = 1;
4562
4563   if (SUPPORTS_ONE_ONLY)
4564     {
4565 #ifdef MAKE_DECL_ONE_ONLY
4566       MAKE_DECL_ONE_ONLY (decl);
4567 #endif
4568       DECL_ONE_ONLY (decl) = 1;
4569     }
4570   else if (TREE_CODE (decl) == VAR_DECL
4571       && (DECL_INITIAL (decl) == 0 || DECL_INITIAL (decl) == error_mark_node))
4572     DECL_COMMON (decl) = 1;
4573   else if (SUPPORTS_WEAK)
4574     DECL_WEAK (decl) = 1;
4575   else
4576     abort ();
4577 }
4578
4579 void
4580 init_varasm_once (void)
4581 {
4582   in_named_htab = htab_create_ggc (31, in_named_entry_hash,
4583                                    in_named_entry_eq, NULL);
4584   const_desc_htab = htab_create_ggc (1009, const_desc_hash,
4585                                      const_desc_eq, NULL);
4586
4587   const_alias_set = new_alias_set ();
4588 }
4589
4590 static enum tls_model
4591 decl_tls_model (tree decl)
4592 {
4593   enum tls_model kind;
4594   tree attr = lookup_attribute ("tls_model", DECL_ATTRIBUTES (decl));
4595   bool is_local;
4596
4597   if (attr)
4598     {
4599       attr = TREE_VALUE (TREE_VALUE (attr));
4600       if (TREE_CODE (attr) != STRING_CST)
4601         abort ();
4602       if (!strcmp (TREE_STRING_POINTER (attr), "local-exec"))
4603         kind = TLS_MODEL_LOCAL_EXEC;
4604       else if (!strcmp (TREE_STRING_POINTER (attr), "initial-exec"))
4605         kind = TLS_MODEL_INITIAL_EXEC;
4606       else if (!strcmp (TREE_STRING_POINTER (attr), "local-dynamic"))
4607         kind = optimize ? TLS_MODEL_LOCAL_DYNAMIC : TLS_MODEL_GLOBAL_DYNAMIC;
4608       else if (!strcmp (TREE_STRING_POINTER (attr), "global-dynamic"))
4609         kind = TLS_MODEL_GLOBAL_DYNAMIC;
4610       else
4611         abort ();
4612       return kind;
4613     }
4614
4615   is_local = targetm.binds_local_p (decl);
4616   if (!flag_pic)
4617     {
4618       if (is_local)
4619         kind = TLS_MODEL_LOCAL_EXEC;
4620       else
4621         kind = TLS_MODEL_INITIAL_EXEC;
4622     }
4623   /* Local dynamic is inefficient when we're not combining the
4624      parts of the address.  */
4625   else if (optimize && is_local)
4626     kind = TLS_MODEL_LOCAL_DYNAMIC;
4627   else
4628     kind = TLS_MODEL_GLOBAL_DYNAMIC;
4629   if (kind < flag_tls_default)
4630     kind = flag_tls_default;
4631
4632   return kind;
4633 }
4634
4635 /* Select a set of attributes for section NAME based on the properties
4636    of DECL and whether or not RELOC indicates that DECL's initializer
4637    might contain runtime relocations.
4638
4639    We make the section read-only and executable for a function decl,
4640    read-only for a const data decl, and writable for a non-const data decl.  */
4641
4642 unsigned int
4643 default_section_type_flags (tree decl, const char *name, int reloc)
4644 {
4645   return default_section_type_flags_1 (decl, name, reloc, flag_pic);
4646 }
4647
4648 unsigned int
4649 default_section_type_flags_1 (tree decl, const char *name, int reloc,
4650                               int shlib)
4651 {
4652   unsigned int flags;
4653
4654   if (decl && TREE_CODE (decl) == FUNCTION_DECL)
4655     flags = SECTION_CODE;
4656   else if (decl && decl_readonly_section_1 (decl, reloc, shlib))
4657     flags = 0;
4658   else if (unlikely_text_section_name
4659            && strcmp (name, unlikely_text_section_name) == 0)
4660     flags = SECTION_CODE;
4661   else
4662     flags = SECTION_WRITE;
4663
4664   if (decl && DECL_ONE_ONLY (decl))
4665     flags |= SECTION_LINKONCE;
4666
4667   if (decl && TREE_CODE (decl) == VAR_DECL && DECL_THREAD_LOCAL (decl))
4668     flags |= SECTION_TLS | SECTION_WRITE;
4669
4670   if (strcmp (name, ".bss") == 0
4671       || strncmp (name, ".bss.", 5) == 0
4672       || strncmp (name, ".gnu.linkonce.b.", 16) == 0
4673       || strcmp (name, ".sbss") == 0
4674       || strncmp (name, ".sbss.", 6) == 0
4675       || strncmp (name, ".gnu.linkonce.sb.", 17) == 0)
4676     flags |= SECTION_BSS;
4677
4678   if (strcmp (name, ".tdata") == 0
4679       || strncmp (name, ".tdata.", 7) == 0
4680       || strncmp (name, ".gnu.linkonce.td.", 17) == 0)
4681     flags |= SECTION_TLS;
4682
4683   if (strcmp (name, ".tbss") == 0
4684       || strncmp (name, ".tbss.", 6) == 0
4685       || strncmp (name, ".gnu.linkonce.tb.", 17) == 0)
4686     flags |= SECTION_TLS | SECTION_BSS;
4687
4688   /* These three sections have special ELF types.  They are neither
4689      SHT_PROGBITS nor SHT_NOBITS, so when changing sections we don't
4690      want to print a section type (@progbits or @nobits).  If someone
4691      is silly enough to emit code or TLS variables to one of these
4692      sections, then don't handle them specially.  */
4693   if (!(flags & (SECTION_CODE | SECTION_BSS | SECTION_TLS))
4694       && (strcmp (name, ".init_array") == 0
4695           || strcmp (name, ".fini_array") == 0
4696           || strcmp (name, ".preinit_array") == 0))
4697     flags |= SECTION_NOTYPE;
4698
4699   return flags;
4700 }
4701
4702 /* Output assembly to switch to section NAME with attribute FLAGS.
4703    Four variants for common object file formats.  */
4704
4705 void
4706 default_no_named_section (const char *name ATTRIBUTE_UNUSED,
4707                           unsigned int flags ATTRIBUTE_UNUSED,
4708                           tree decl ATTRIBUTE_UNUSED)
4709 {
4710   /* Some object formats don't support named sections at all.  The
4711      front-end should already have flagged this as an error.  */
4712   abort ();
4713 }
4714
4715 void
4716 default_elf_asm_named_section (const char *name, unsigned int flags,
4717                                tree decl ATTRIBUTE_UNUSED)
4718 {
4719   char flagchars[10], *f = flagchars;
4720
4721   /* If we have already declared this section, we can use an
4722      abbreviated form to switch back to it -- unless this section is
4723      part of a COMDAT groups, in which case GAS requires the full
4724      declaration every time.  */
4725   if (!(HAVE_GAS_COMDAT_GROUP && (flags & SECTION_LINKONCE))
4726       && ! named_section_first_declaration (name))
4727     {
4728       fprintf (asm_out_file, "\t.section\t%s\n", name);
4729       return;
4730     }
4731
4732   if (!(flags & SECTION_DEBUG))
4733     *f++ = 'a';
4734   if (flags & SECTION_WRITE)
4735     *f++ = 'w';
4736   if (flags & SECTION_CODE)
4737     *f++ = 'x';
4738   if (flags & SECTION_SMALL)
4739     *f++ = 's';
4740   if (flags & SECTION_MERGE)
4741     *f++ = 'M';
4742   if (flags & SECTION_STRINGS)
4743     *f++ = 'S';
4744   if (flags & SECTION_TLS)
4745     *f++ = 'T';
4746   if (HAVE_GAS_COMDAT_GROUP && (flags & SECTION_LINKONCE))
4747     *f++ = 'G';
4748   *f = '\0';
4749
4750   fprintf (asm_out_file, "\t.section\t%s,\"%s\"", name, flagchars);
4751
4752   if (!(flags & SECTION_NOTYPE))
4753     {
4754       const char *type;
4755       const char *format;
4756
4757       if (flags & SECTION_BSS)
4758         type = "nobits";
4759       else
4760         type = "progbits";
4761
4762       format = ",@%s";
4763 #ifdef ASM_COMMENT_START
4764       /* On platforms that use "@" as the assembly comment character,
4765          use "%" instead.  */
4766       if (strcmp (ASM_COMMENT_START, "@") == 0)
4767         format = ",%%%s";
4768 #endif
4769       fprintf (asm_out_file, format, type);
4770
4771       if (flags & SECTION_ENTSIZE)
4772         fprintf (asm_out_file, ",%d", flags & SECTION_ENTSIZE);
4773       if (HAVE_GAS_COMDAT_GROUP && (flags & SECTION_LINKONCE))
4774         fprintf (asm_out_file, ",%s,comdat", 
4775                  lang_hooks.decls.comdat_group (decl));
4776     }
4777
4778   putc ('\n', asm_out_file);
4779 }
4780
4781 void
4782 default_coff_asm_named_section (const char *name, unsigned int flags, 
4783                                 tree decl ATTRIBUTE_UNUSED)
4784 {
4785   char flagchars[8], *f = flagchars;
4786
4787   if (flags & SECTION_WRITE)
4788     *f++ = 'w';
4789   if (flags & SECTION_CODE)
4790     *f++ = 'x';
4791   *f = '\0';
4792
4793   fprintf (asm_out_file, "\t.section\t%s,\"%s\"\n", name, flagchars);
4794 }
4795
4796 void
4797 default_pe_asm_named_section (const char *name, unsigned int flags,
4798                               tree decl)
4799 {
4800   default_coff_asm_named_section (name, flags, decl);
4801
4802   if (flags & SECTION_LINKONCE)
4803     {
4804       /* Functions may have been compiled at various levels of
4805          optimization so we can't use `same_size' here.
4806          Instead, have the linker pick one.  */
4807       fprintf (asm_out_file, "\t.linkonce %s\n",
4808                (flags & SECTION_CODE ? "discard" : "same_size"));
4809     }
4810 }
4811 \f
4812 /* The lame default section selector.  */
4813
4814 void
4815 default_select_section (tree decl, int reloc,
4816                         unsigned HOST_WIDE_INT align ATTRIBUTE_UNUSED)
4817 {
4818   bool readonly = false;
4819
4820   if (DECL_P (decl))
4821     {
4822       if (decl_readonly_section (decl, reloc))
4823         readonly = true;
4824     }
4825   else if (TREE_CODE (decl) == CONSTRUCTOR)
4826     {
4827       if (! ((flag_pic && reloc)
4828              || !TREE_READONLY (decl)
4829              || TREE_SIDE_EFFECTS (decl)
4830              || !TREE_CONSTANT (decl)))
4831         readonly = true;
4832     }
4833   else if (TREE_CODE (decl) == STRING_CST)
4834     readonly = true;
4835   else if (! (flag_pic && reloc))
4836     readonly = true;
4837
4838   if (readonly)
4839     readonly_data_section ();
4840   else
4841     data_section ();
4842 }
4843
4844 /* A helper function for default_elf_select_section and
4845    default_elf_unique_section.  Categorizes the DECL.  */
4846
4847 enum section_category
4848 {
4849   SECCAT_TEXT,
4850
4851   SECCAT_RODATA,
4852   SECCAT_RODATA_MERGE_STR,
4853   SECCAT_RODATA_MERGE_STR_INIT,
4854   SECCAT_RODATA_MERGE_CONST,
4855   SECCAT_SRODATA,
4856
4857   SECCAT_DATA,
4858
4859   /* To optimize loading of shared programs, define following subsections
4860      of data section:
4861         _REL    Contains data that has relocations, so they get grouped
4862                 together and dynamic linker will visit fewer pages in memory.
4863         _RO     Contains data that is otherwise read-only.  This is useful
4864                 with prelinking as most relocations won't be dynamically
4865                 linked and thus stay read only.
4866         _LOCAL  Marks data containing relocations only to local objects.
4867                 These relocations will get fully resolved by prelinking.  */
4868   SECCAT_DATA_REL,
4869   SECCAT_DATA_REL_LOCAL,
4870   SECCAT_DATA_REL_RO,
4871   SECCAT_DATA_REL_RO_LOCAL,
4872
4873   SECCAT_SDATA,
4874   SECCAT_TDATA,
4875
4876   SECCAT_BSS,
4877   SECCAT_SBSS,
4878   SECCAT_TBSS
4879 };
4880
4881 static enum section_category
4882 categorize_decl_for_section (tree, int, int);
4883
4884 static enum section_category
4885 categorize_decl_for_section (tree decl, int reloc, int shlib)
4886 {
4887   enum section_category ret;
4888
4889   if (TREE_CODE (decl) == FUNCTION_DECL)
4890     return SECCAT_TEXT;
4891   else if (TREE_CODE (decl) == STRING_CST)
4892     {
4893       if (flag_mudflap) /* or !flag_merge_constants */
4894         return SECCAT_RODATA;
4895       else
4896         return SECCAT_RODATA_MERGE_STR;
4897     }
4898   else if (TREE_CODE (decl) == VAR_DECL)
4899     {
4900       if (DECL_INITIAL (decl) == NULL
4901           || DECL_INITIAL (decl) == error_mark_node
4902           || (flag_zero_initialized_in_bss
4903               /* Leave constant zeroes in .rodata so they can be shared.  */
4904               && !TREE_READONLY (decl)
4905               && initializer_zerop (DECL_INITIAL (decl))))
4906         ret = SECCAT_BSS;
4907       else if (! TREE_READONLY (decl)
4908                || TREE_SIDE_EFFECTS (decl)
4909                || ! TREE_CONSTANT (DECL_INITIAL (decl)))
4910         {
4911           if (shlib && (reloc & 2))
4912             ret = SECCAT_DATA_REL;
4913           else if (shlib && reloc)
4914             ret = SECCAT_DATA_REL_LOCAL;
4915           else
4916             ret = SECCAT_DATA;
4917         }
4918       else if (shlib && (reloc & 2))
4919         ret = SECCAT_DATA_REL_RO;
4920       else if (shlib && reloc)
4921         ret = SECCAT_DATA_REL_RO_LOCAL;
4922       else if (reloc || flag_merge_constants < 2)
4923         /* C and C++ don't allow different variables to share the same
4924            location.  -fmerge-all-constants allows even that (at the
4925            expense of not conforming).  */
4926         ret = SECCAT_RODATA;
4927       else if (TREE_CODE (DECL_INITIAL (decl)) == STRING_CST)
4928         ret = SECCAT_RODATA_MERGE_STR_INIT;
4929       else
4930         ret = SECCAT_RODATA_MERGE_CONST;
4931     }
4932   else if (TREE_CODE (decl) == CONSTRUCTOR)
4933     {
4934       if ((shlib && reloc)
4935           || TREE_SIDE_EFFECTS (decl)
4936           || ! TREE_CONSTANT (decl))
4937         ret = SECCAT_DATA;
4938       else
4939         ret = SECCAT_RODATA;
4940     }
4941   else
4942     ret = SECCAT_RODATA;
4943
4944   /* There are no read-only thread-local sections.  */
4945   if (TREE_CODE (decl) == VAR_DECL && DECL_THREAD_LOCAL (decl))
4946     {
4947       /* Note that this would be *just* SECCAT_BSS, except that there's
4948          no concept of a read-only thread-local-data section.  */
4949       if (ret == SECCAT_BSS
4950           || (flag_zero_initialized_in_bss
4951               && initializer_zerop (DECL_INITIAL (decl))))
4952         ret = SECCAT_TBSS;
4953       else
4954         ret = SECCAT_TDATA;
4955     }
4956
4957   /* If the target uses small data sections, select it.  */
4958   else if (targetm.in_small_data_p (decl))
4959     {
4960       if (ret == SECCAT_BSS)
4961         ret = SECCAT_SBSS;
4962       else if (targetm.have_srodata_section && ret == SECCAT_RODATA)
4963         ret = SECCAT_SRODATA;
4964       else
4965         ret = SECCAT_SDATA;
4966     }
4967
4968   return ret;
4969 }
4970
4971 bool
4972 decl_readonly_section (tree decl, int reloc)
4973 {
4974   return decl_readonly_section_1 (decl, reloc, flag_pic);
4975 }
4976
4977 bool
4978 decl_readonly_section_1 (tree decl, int reloc, int shlib)
4979 {
4980   switch (categorize_decl_for_section (decl, reloc, shlib))
4981     {
4982     case SECCAT_RODATA:
4983     case SECCAT_RODATA_MERGE_STR:
4984     case SECCAT_RODATA_MERGE_STR_INIT:
4985     case SECCAT_RODATA_MERGE_CONST:
4986     case SECCAT_SRODATA:
4987       return true;
4988       break;
4989     default:
4990       return false;
4991       break;
4992     }
4993 }
4994
4995 /* Select a section based on the above categorization.  */
4996
4997 void
4998 default_elf_select_section (tree decl, int reloc,
4999                             unsigned HOST_WIDE_INT align)
5000 {
5001   default_elf_select_section_1 (decl, reloc, align, flag_pic);
5002 }
5003
5004 void
5005 default_elf_select_section_1 (tree decl, int reloc,
5006                               unsigned HOST_WIDE_INT align, int shlib)
5007 {
5008   const char *sname;
5009   switch (categorize_decl_for_section (decl, reloc, shlib))
5010     {
5011     case SECCAT_TEXT:
5012       /* We're not supposed to be called on FUNCTION_DECLs.  */
5013       abort ();
5014     case SECCAT_RODATA:
5015       readonly_data_section ();
5016       return;
5017     case SECCAT_RODATA_MERGE_STR:
5018       mergeable_string_section (decl, align, 0);
5019       return;
5020     case SECCAT_RODATA_MERGE_STR_INIT:
5021       mergeable_string_section (DECL_INITIAL (decl), align, 0);
5022       return;
5023     case SECCAT_RODATA_MERGE_CONST:
5024       mergeable_constant_section (DECL_MODE (decl), align, 0);
5025       return;
5026     case SECCAT_SRODATA:
5027       sname = ".sdata2";
5028       break;
5029     case SECCAT_DATA:
5030       data_section ();
5031       return;
5032     case SECCAT_DATA_REL:
5033       sname = ".data.rel";
5034       break;
5035     case SECCAT_DATA_REL_LOCAL:
5036       sname = ".data.rel.local";
5037       break;
5038     case SECCAT_DATA_REL_RO:
5039       sname = ".data.rel.ro";
5040       break;
5041     case SECCAT_DATA_REL_RO_LOCAL:
5042       sname = ".data.rel.ro.local";
5043       break;
5044     case SECCAT_SDATA:
5045       sname = ".sdata";
5046       break;
5047     case SECCAT_TDATA:
5048       sname = ".tdata";
5049       break;
5050     case SECCAT_BSS:
5051 #ifdef BSS_SECTION_ASM_OP
5052       bss_section ();
5053       return;
5054 #else
5055       sname = ".bss";
5056       break;
5057 #endif
5058     case SECCAT_SBSS:
5059       sname = ".sbss";
5060       break;
5061     case SECCAT_TBSS:
5062       sname = ".tbss";
5063       break;
5064     default:
5065       abort ();
5066     }
5067
5068   if (!DECL_P (decl))
5069     decl = NULL_TREE;
5070   named_section (decl, sname, reloc);
5071 }
5072
5073 /* Construct a unique section name based on the decl name and the
5074    categorization performed above.  */
5075
5076 void
5077 default_unique_section (tree decl, int reloc)
5078 {
5079   default_unique_section_1 (decl, reloc, flag_pic);
5080 }
5081
5082 void
5083 default_unique_section_1 (tree decl, int reloc, int shlib)
5084 {
5085   bool one_only = DECL_ONE_ONLY (decl);
5086   const char *prefix, *name;
5087   size_t nlen, plen;
5088   char *string;
5089
5090   switch (categorize_decl_for_section (decl, reloc, shlib))
5091     {
5092     case SECCAT_TEXT:
5093       prefix = one_only ? ".gnu.linkonce.t." : ".text.";
5094       break;
5095     case SECCAT_RODATA:
5096     case SECCAT_RODATA_MERGE_STR:
5097     case SECCAT_RODATA_MERGE_STR_INIT:
5098     case SECCAT_RODATA_MERGE_CONST:
5099       prefix = one_only ? ".gnu.linkonce.r." : ".rodata.";
5100       break;
5101     case SECCAT_SRODATA:
5102       prefix = one_only ? ".gnu.linkonce.s2." : ".sdata2.";
5103       break;
5104     case SECCAT_DATA:
5105     case SECCAT_DATA_REL:
5106     case SECCAT_DATA_REL_LOCAL:
5107     case SECCAT_DATA_REL_RO:
5108     case SECCAT_DATA_REL_RO_LOCAL:
5109       prefix = one_only ? ".gnu.linkonce.d." : ".data.";
5110       break;
5111     case SECCAT_SDATA:
5112       prefix = one_only ? ".gnu.linkonce.s." : ".sdata.";
5113       break;
5114     case SECCAT_BSS:
5115       prefix = one_only ? ".gnu.linkonce.b." : ".bss.";
5116       break;
5117     case SECCAT_SBSS:
5118       prefix = one_only ? ".gnu.linkonce.sb." : ".sbss.";
5119       break;
5120     case SECCAT_TDATA:
5121       prefix = one_only ? ".gnu.linkonce.td." : ".tdata.";
5122       break;
5123     case SECCAT_TBSS:
5124       prefix = one_only ? ".gnu.linkonce.tb." : ".tbss.";
5125       break;
5126     default:
5127       abort ();
5128     }
5129   plen = strlen (prefix);
5130
5131   name = IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl));
5132   name = targetm.strip_name_encoding (name);
5133   nlen = strlen (name);
5134
5135   string = alloca (nlen + plen + 1);
5136   memcpy (string, prefix, plen);
5137   memcpy (string + plen, name, nlen + 1);
5138
5139   DECL_SECTION_NAME (decl) = build_string (nlen + plen, string);
5140 }
5141
5142 void
5143 default_select_rtx_section (enum machine_mode mode ATTRIBUTE_UNUSED,
5144                             rtx x,
5145                             unsigned HOST_WIDE_INT align ATTRIBUTE_UNUSED)
5146 {
5147   if (flag_pic)
5148     switch (GET_CODE (x))
5149       {
5150       case CONST:
5151       case SYMBOL_REF:
5152       case LABEL_REF:
5153         data_section ();
5154         return;
5155
5156       default:
5157         break;
5158       }
5159
5160   readonly_data_section ();
5161 }
5162
5163 void
5164 default_elf_select_rtx_section (enum machine_mode mode, rtx x,
5165                                 unsigned HOST_WIDE_INT align)
5166 {
5167   /* ??? Handle small data here somehow.  */
5168
5169   if (flag_pic)
5170     switch (GET_CODE (x))
5171       {
5172       case CONST:
5173       case SYMBOL_REF:
5174         named_section (NULL_TREE, ".data.rel.ro", 3);
5175         return;
5176
5177       case LABEL_REF:
5178         named_section (NULL_TREE, ".data.rel.ro.local", 1);
5179         return;
5180
5181       default:
5182         break;
5183       }
5184
5185   mergeable_constant_section (mode, align, 0);
5186 }
5187
5188 /* Set the generally applicable flags on the SYMBOL_REF for EXP.  */
5189
5190 void
5191 default_encode_section_info (tree decl, rtx rtl, int first ATTRIBUTE_UNUSED)
5192 {
5193   rtx symbol;
5194   int flags;
5195
5196   /* Careful not to prod global register variables.  */
5197   if (!MEM_P (rtl))
5198     return;
5199   symbol = XEXP (rtl, 0);
5200   if (GET_CODE (symbol) != SYMBOL_REF)
5201     return;
5202
5203   flags = 0;
5204   if (TREE_CODE (decl) == FUNCTION_DECL)
5205     flags |= SYMBOL_FLAG_FUNCTION;
5206   if (targetm.binds_local_p (decl))
5207     flags |= SYMBOL_FLAG_LOCAL;
5208   if (TREE_CODE (decl) == VAR_DECL && DECL_THREAD_LOCAL (decl))
5209     flags |= decl_tls_model (decl) << SYMBOL_FLAG_TLS_SHIFT;
5210   else if (targetm.in_small_data_p (decl))
5211     flags |= SYMBOL_FLAG_SMALL;
5212   /* ??? Why is DECL_EXTERNAL ever set for non-PUBLIC names?  Without
5213      being PUBLIC, the thing *must* be defined in this translation unit.
5214      Prevent this buglet from being propagated into rtl code as well.  */
5215   if (DECL_P (decl) && DECL_EXTERNAL (decl) && TREE_PUBLIC (decl))
5216     flags |= SYMBOL_FLAG_EXTERNAL;
5217
5218   SYMBOL_REF_FLAGS (symbol) = flags;
5219 }
5220
5221 /* By default, we do nothing for encode_section_info, so we need not
5222    do anything but discard the '*' marker.  */
5223
5224 const char *
5225 default_strip_name_encoding (const char *str)
5226 {
5227   return str + (*str == '*');
5228 }
5229
5230 /* Assume ELF-ish defaults, since that's pretty much the most liberal
5231    wrt cross-module name binding.  */
5232
5233 bool
5234 default_binds_local_p (tree exp)
5235 {
5236   return default_binds_local_p_1 (exp, flag_shlib);
5237 }
5238
5239 bool
5240 default_binds_local_p_1 (tree exp, int shlib)
5241 {
5242   bool local_p;
5243
5244   /* A non-decl is an entry in the constant pool.  */
5245   if (!DECL_P (exp))
5246     local_p = true;
5247   /* Static variables are always local.  */
5248   else if (! TREE_PUBLIC (exp))
5249     local_p = true;
5250   /* A variable is local if the user explicitly tells us so.  */
5251   else if (DECL_VISIBILITY_SPECIFIED (exp) && DECL_VISIBILITY (exp) != VISIBILITY_DEFAULT)
5252     local_p = true;
5253   /* Otherwise, variables defined outside this object may not be local.  */
5254   else if (DECL_EXTERNAL (exp))
5255     local_p = false;
5256   /* Linkonce and weak data are never local.  */
5257   else if (DECL_ONE_ONLY (exp) || DECL_WEAK (exp))
5258     local_p = false;
5259   /* If none of the above and visibility is not default, make local.  */
5260   else if (DECL_VISIBILITY (exp) != VISIBILITY_DEFAULT)
5261     local_p = true;
5262   /* If PIC, then assume that any global name can be overridden by
5263      symbols resolved from other modules.  */
5264   else if (shlib)
5265     local_p = false;
5266   /* Uninitialized COMMON variable may be unified with symbols
5267      resolved from other modules.  */
5268   else if (DECL_COMMON (exp)
5269            && (DECL_INITIAL (exp) == NULL
5270                || DECL_INITIAL (exp) == error_mark_node))
5271     local_p = false;
5272   /* Otherwise we're left with initialized (or non-common) global data
5273      which is of necessity defined locally.  */
5274   else
5275     local_p = true;
5276
5277   return local_p;
5278 }
5279
5280 /* Determine whether or not a pointer mode is valid. Assume defaults
5281    of ptr_mode or Pmode - can be overridden.  */
5282 bool
5283 default_valid_pointer_mode (enum machine_mode mode)
5284 {
5285   return (mode == ptr_mode || mode == Pmode);
5286 }
5287
5288 /* Default function to output code that will globalize a label.  A
5289    target must define GLOBAL_ASM_OP or provide it's own function to
5290    globalize a label.  */
5291 #ifdef GLOBAL_ASM_OP
5292 void
5293 default_globalize_label (FILE * stream, const char *name)
5294 {
5295   fputs (GLOBAL_ASM_OP, stream);
5296   assemble_name (stream, name);
5297   putc ('\n', stream);
5298 }
5299 #endif /* GLOBAL_ASM_OP */
5300
5301 /* Default function to output a label for unwind information.  The
5302    default is to do nothing.  A target that needs nonlocal labels for
5303    unwind information must provide its own function to do this.  */
5304 void
5305 default_emit_unwind_label (FILE * stream ATTRIBUTE_UNUSED,
5306                            tree decl ATTRIBUTE_UNUSED,
5307                            int for_eh ATTRIBUTE_UNUSED,
5308                            int empty ATTRIBUTE_UNUSED)
5309
5310 }
5311
5312 /* This is how to output an internal numbered label where PREFIX is
5313    the class of label and LABELNO is the number within the class.  */
5314
5315 void
5316 default_internal_label (FILE *stream, const char *prefix,
5317                         unsigned long labelno)
5318 {
5319   char *const buf = alloca (40 + strlen (prefix));
5320   ASM_GENERATE_INTERNAL_LABEL (buf, prefix, labelno);
5321   ASM_OUTPUT_INTERNAL_LABEL (stream, buf);
5322 }
5323
5324 /* This is the default behavior at the beginning of a file.  It's
5325    controlled by two other target-hook toggles.  */
5326 void
5327 default_file_start (void)
5328 {
5329   if (targetm.file_start_app_off && !flag_verbose_asm)
5330     fputs (ASM_APP_OFF, asm_out_file);
5331
5332   if (targetm.file_start_file_directive)
5333     output_file_directive (asm_out_file, main_input_filename);
5334 }
5335
5336 /* This is a generic routine suitable for use as TARGET_ASM_FILE_END
5337    which emits a special section directive used to indicate whether or
5338    not this object file needs an executable stack.  This is primarily
5339    a GNU extension to ELF but could be used on other targets.  */
5340
5341 int trampolines_created;
5342
5343 void
5344 file_end_indicate_exec_stack (void)
5345 {
5346   unsigned int flags = SECTION_DEBUG;
5347   if (trampolines_created)
5348     flags |= SECTION_CODE;
5349
5350   named_section_flags (".note.GNU-stack", flags);
5351 }
5352
5353 #include "gt-varasm.h"