re PR target/19690 (ICE with -O3 -march=athlon-xp -mfpmath=sse -mno-80387)
[gcc.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"