1 /* Dwarf2 assembler output helper routines.
2 Copyright (C) 2001 Free Software Foundation, Inc.
4 This file is part of GNU CC.
6 GNU CC is free software; you can redistribute it and/or modify
7 it under the terms of the GNU General Public License as published by
8 the Free Software Foundation; either version 2, or (at your option)
11 GNU CC is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
14 GNU General Public License for more details.
16 You should have received a copy of the GNU General Public License
17 along with GNU CC; see the file COPYING. If not, write to
18 the Free Software Foundation, 59 Temple Place - Suite 330,
19 Boston, MA 02111-1307, USA. */
28 #include "dwarf2asm.h"
30 #include "splay-tree.h"
35 /* How to start an assembler comment. */
36 #ifndef ASM_COMMENT_START
37 #define ASM_COMMENT_START ";#"
40 /* Definitions of defaults for assembler-dependent names of various
41 pseudo-ops and section names. These may be overridden in the tm.h
42 file (if necessary) for a particular assembler. */
44 #ifdef OBJECT_FORMAT_ELF
45 #ifndef UNALIGNED_SHORT_ASM_OP
46 #define UNALIGNED_SHORT_ASM_OP "\t.2byte\t"
48 #ifndef UNALIGNED_INT_ASM_OP
49 #define UNALIGNED_INT_ASM_OP "\t.4byte\t"
51 #ifndef UNALIGNED_DOUBLE_INT_ASM_OP
52 #define UNALIGNED_DOUBLE_INT_ASM_OP "\t.8byte\t"
54 #endif /* OBJECT_FORMAT_ELF */
57 #define ASM_BYTE_OP "\t.byte\t"
60 /* We don't have unaligned support, let's hope the normal output works for
61 .debug_frame. But we know it won't work for .debug_info. */
62 #if !defined(UNALIGNED_INT_ASM_OP) && defined(DWARF2_DEBUGGING_INFO)
63 #error DWARF2_DEBUGGING_INFO requires UNALIGNED_INT_ASM_OP.
67 #ifdef UNALIGNED_INT_ASM_OP
68 static const char * unaligned_integer_asm_op
PARAMS ((int));
70 static inline const char *
71 unaligned_integer_asm_op (size
)
81 op
= UNALIGNED_SHORT_ASM_OP
;
84 op
= UNALIGNED_INT_ASM_OP
;
87 #ifdef UNALIGNED_DOUBLE_INT_ASM_OP
88 op
= UNALIGNED_DOUBLE_INT_ASM_OP
;
96 #endif /* UNALIGNED_INT_ASM_OP */
98 /* Output an immediate constant in a given size. */
101 dw2_asm_output_data
VPARAMS ((int size
, unsigned HOST_WIDE_INT value
,
102 const char *comment
, ...))
104 #ifndef ANSI_PROTOTYPES
106 unsigned HOST_WIDE_INT value
;
111 VA_START (ap
, comment
);
113 #ifndef ANSI_PROTOTYPES
114 size
= va_arg (ap
, int);
115 value
= va_arg (ap
, unsigned HOST_WIDE_INT
);
116 comment
= va_arg (ap
, const char *);
119 if (size
* 8 < HOST_BITS_PER_WIDE_INT
)
120 value
&= ~(~(unsigned HOST_WIDE_INT
)0 << (size
* 8));
122 #ifdef UNALIGNED_INT_ASM_OP
123 fputs (unaligned_integer_asm_op (size
), asm_out_file
);
124 fprintf (asm_out_file
, HOST_WIDE_INT_PRINT_HEX
, value
);
126 assemble_integer (GEN_INT (value
), size
, 1);
129 if (flag_debug_asm
&& comment
)
131 fprintf (asm_out_file
, "\t%s ", ASM_COMMENT_START
);
132 vfprintf (asm_out_file
, comment
, ap
);
134 fputc ('\n', asm_out_file
);
139 /* Output the difference between two symbols in a given size. */
140 /* ??? There appear to be assemblers that do not like such
141 subtraction, but do support ASM_SET_OP. It's unfortunately
142 impossible to do here, since the ASM_SET_OP for the difference
143 symbol must appear after both symbols are defined. */
146 dw2_asm_output_delta
VPARAMS ((int size
, const char *lab1
, const char *lab2
,
147 const char *comment
, ...))
149 #ifndef ANSI_PROTOTYPES
151 const char *lab1
, *lab2
;
156 VA_START (ap
, comment
);
158 #ifndef ANSI_PROTOTYPES
159 size
= va_arg (ap
, int);
160 lab1
= va_arg (ap
, const char *);
161 lab2
= va_arg (ap
, const char *);
162 comment
= va_arg (ap
, const char *);
165 #ifdef UNALIGNED_INT_ASM_OP
166 fputs (unaligned_integer_asm_op (size
), asm_out_file
);
167 assemble_name (asm_out_file
, lab1
);
168 fputc ('-', asm_out_file
);
169 assemble_name (asm_out_file
, lab2
);
171 assemble_integer (gen_rtx_MINUS (smallest_mode_for_size (size
, MODE_INT
),
172 gen_rtx_SYMBOL_REF (Pmode
, lab1
),
173 gen_rtx_SYMBOL_REF (Pmode
, lab2
)),
177 if (flag_debug_asm
&& comment
)
179 fprintf (asm_out_file
, "\t%s ", ASM_COMMENT_START
);
180 vfprintf (asm_out_file
, comment
, ap
);
182 fputc ('\n', asm_out_file
);
187 /* Output a section-relative reference to a label. In general this
188 can only be done for debugging symbols. E.g. on most targets with
189 the GNU linker, this is accomplished with a direct reference and
190 the knowledge that the debugging section will be placed at VMA 0.
191 Some targets have special relocations for this that we must use. */
194 dw2_asm_output_offset
VPARAMS ((int size
, const char *label
,
195 const char *comment
, ...))
197 #ifndef ANSI_PROTOTYPES
204 VA_START (ap
, comment
);
206 #ifndef ANSI_PROTOTYPES
207 size
= va_arg (ap
, int);
208 label
= va_arg (ap
, const char *);
209 comment
= va_arg (ap
, const char *);
212 #ifdef ASM_OUTPUT_DWARF_OFFSET
213 ASM_OUTPUT_DWARF_OFFSET (asm_out_file
, size
, label
);
215 #ifdef UNALIGNED_INT_ASM_OP
216 fputs (unaligned_integer_asm_op (size
), asm_out_file
);
217 assemble_name (asm_out_file
, label
);
219 assemble_integer (gen_rtx_SYMBOL_REF (Pmode
, label
), size
, 1);
223 if (flag_debug_asm
&& comment
)
225 fprintf (asm_out_file
, "\t%s ", ASM_COMMENT_START
);
226 vfprintf (asm_out_file
, comment
, ap
);
228 fputc ('\n', asm_out_file
);
233 /* Output a self-relative reference to a label, possibly in a
234 different section or object file. */
237 dw2_asm_output_pcrel
VPARAMS ((int size
, const char *label
,
238 const char *comment
, ...))
240 #ifndef ANSI_PROTOTYPES
247 VA_START (ap
, comment
);
249 #ifndef ANSI_PROTOTYPES
250 size
= va_arg (ap
, int);
251 label
= va_arg (ap
, const char *);
252 comment
= va_arg (ap
, const char *);
255 #ifdef ASM_OUTPUT_DWARF_PCREL
256 ASM_OUTPUT_DWARF_PCREL (asm_out_file
, size
, label
);
258 #ifdef UNALIGNED_INT_ASM_OP
259 fputs (unaligned_integer_asm_op (size
), asm_out_file
);
260 assemble_name (asm_out_file
, label
);
261 fputc ('-', asm_out_file
);
262 fputc ('.', asm_out_file
);
268 if (flag_debug_asm
&& comment
)
270 fprintf (asm_out_file
, "\t%s ", ASM_COMMENT_START
);
271 vfprintf (asm_out_file
, comment
, ap
);
273 fputc ('\n', asm_out_file
);
278 /* Output an absolute reference to a label. */
281 dw2_asm_output_addr
VPARAMS ((int size
, const char *label
,
282 const char *comment
, ...))
284 #ifndef ANSI_PROTOTYPES
291 VA_START (ap
, comment
);
293 #ifndef ANSI_PROTOTYPES
294 size
= va_arg (ap
, int);
295 label
= va_arg (ap
, const char *);
296 comment
= va_arg (ap
, const char *);
299 #ifdef UNALIGNED_INT_ASM_OP
300 fputs (unaligned_integer_asm_op (size
), asm_out_file
);
301 assemble_name (asm_out_file
, label
);
303 assemble_integer (gen_rtx_SYMBOL_REF (Pmode
, label
), size
, 1);
306 if (flag_debug_asm
&& comment
)
308 fprintf (asm_out_file
, "\t%s ", ASM_COMMENT_START
);
309 vfprintf (asm_out_file
, comment
, ap
);
311 fputc ('\n', asm_out_file
);
316 /* Similar, but use an RTX expression instead of a text label. */
319 dw2_asm_output_addr_rtx
VPARAMS ((int size
, rtx addr
,
320 const char *comment
, ...))
322 #ifndef ANSI_PROTOTYPES
329 VA_START (ap
, comment
);
331 #ifndef ANSI_PROTOTYPES
332 size
= va_arg (ap
, int);
333 addr
= va_arg (ap
, rtx
);
334 comment
= va_arg (ap
, const char *);
337 #ifdef UNALIGNED_INT_ASM_OP
338 fputs (unaligned_integer_asm_op (size
), asm_out_file
);
339 output_addr_const (asm_out_file
, addr
);
341 assemble_integer (addr
, size
, 1);
344 if (flag_debug_asm
&& comment
)
346 fprintf (asm_out_file
, "\t%s ", ASM_COMMENT_START
);
347 vfprintf (asm_out_file
, comment
, ap
);
349 fputc ('\n', asm_out_file
);
355 dw2_asm_output_nstring
VPARAMS ((const char *str
, size_t orig_len
,
356 const char *comment
, ...))
358 #ifndef ANSI_PROTOTYPES
364 size_t i
, len
= orig_len
;
366 VA_START (ap
, comment
);
368 #ifndef ANSI_PROTOTYPES
369 str
= va_arg (ap
, const char *);
370 len
= va_arg (ap
, size_t);
371 comment
= va_arg (ap
, const char *);
374 if (len
== (size_t) -1)
377 if (flag_debug_asm
&& comment
)
379 fputs ("\t.ascii \"", asm_out_file
);
380 for (i
= 0; i
< len
; i
++)
383 if (c
== '\"' || c
== '\\')
384 fputc ('\\', asm_out_file
);
386 fputc (c
, asm_out_file
);
388 fprintf (asm_out_file
, "\\%o", c
);
390 fprintf (asm_out_file
, "\\0\"\t%s ", ASM_COMMENT_START
);
391 vfprintf (asm_out_file
, comment
, ap
);
392 fputc ('\n', asm_out_file
);
396 /* If an explicit length was given, we can't assume there
397 is a null termination in the string buffer. */
398 if (orig_len
== (size_t) -1)
400 ASM_OUTPUT_ASCII (asm_out_file
, str
, len
);
401 if (orig_len
!= (size_t) -1)
402 fprintf (asm_out_file
, "%s0\n", ASM_BYTE_OP
);
409 /* Return the size of an unsigned LEB128 quantity. */
412 size_of_uleb128 (value
)
413 unsigned HOST_WIDE_INT value
;
419 byte
= (value
& 0x7f);
428 /* Return the size of a signed LEB128 quantity. */
431 size_of_sleb128 (value
)
438 byte
= (value
& 0x7f);
442 while (!((value
== 0 && (byte
& 0x40) == 0)
443 || (value
== -1 && (byte
& 0x40) != 0)));
448 /* Given an encoding, return the number of bytes the format occupies.
449 This is only defined for fixed-size encodings, and so does not
453 size_of_encoded_value (encoding
)
456 if (encoding
== DW_EH_PE_omit
)
459 switch (encoding
& 0x07)
461 case DW_EH_PE_absptr
:
462 return POINTER_SIZE
/ BITS_PER_UNIT
;
463 case DW_EH_PE_udata2
:
465 case DW_EH_PE_udata4
:
467 case DW_EH_PE_udata8
:
473 /* Output an unsigned LEB128 quantity. */
476 dw2_asm_output_data_uleb128
VPARAMS ((unsigned HOST_WIDE_INT value
,
477 const char *comment
, ...))
479 #ifndef ANSI_PROTOTYPES
480 unsigned HOST_WIDE_INT value
;
485 VA_START (ap
, comment
);
487 #ifndef ANSI_PROTOTYPES
488 value
= va_arg (ap
, unsigned HOST_WIDE_INT
);
489 comment
= va_arg (ap
, const char *);
492 #ifdef HAVE_AS_LEB128
493 fputs ("\t.uleb128 ", asm_out_file
);
494 fprintf (asm_out_file
, HOST_WIDE_INT_PRINT_HEX
, value
);
496 if (flag_debug_asm
&& comment
)
498 fprintf (asm_out_file
, "\t%s ", ASM_COMMENT_START
);
499 vfprintf (asm_out_file
, comment
, ap
);
503 unsigned HOST_WIDE_INT work
= value
;
505 fputs (ASM_BYTE_OP
, asm_out_file
);
508 int byte
= (work
& 0x7f);
511 /* More bytes to follow. */
514 fprintf (asm_out_file
, "0x%x", byte
);
516 fputc (',', asm_out_file
);
522 fprintf (asm_out_file
, "\t%s uleb128 ", ASM_COMMENT_START
);
523 fprintf (asm_out_file
, HOST_WIDE_INT_PRINT_HEX
, value
);
526 fputs ("; ", asm_out_file
);
527 vfprintf (asm_out_file
, comment
, ap
);
532 fputc ('\n', asm_out_file
);
537 /* Output an signed LEB128 quantity. */
540 dw2_asm_output_data_sleb128
VPARAMS ((HOST_WIDE_INT value
,
541 const char *comment
, ...))
543 #ifndef ANSI_PROTOTYPES
549 VA_START (ap
, comment
);
551 #ifndef ANSI_PROTOTYPES
552 value
= va_arg (ap
, HOST_WIDE_INT
);
553 comment
= va_arg (ap
, const char *);
556 #ifdef HAVE_AS_LEB128
557 fputs ("\t.sleb128 ", asm_out_file
);
558 fprintf (asm_out_file
, HOST_WIDE_INT_PRINT_DEC
, value
);
560 if (flag_debug_asm
&& comment
)
562 fprintf (asm_out_file
, "\t%s ", ASM_COMMENT_START
);
563 vfprintf (asm_out_file
, comment
, ap
);
567 HOST_WIDE_INT work
= value
;
570 fputs (ASM_BYTE_OP
, asm_out_file
);
573 byte
= (work
& 0x7f);
574 /* arithmetic shift */
576 more
= !((work
== 0 && (byte
& 0x40) == 0)
577 || (work
== -1 && (byte
& 0x40) != 0));
581 fprintf (asm_out_file
, "0x%x", byte
);
583 fputc (',', asm_out_file
);
589 fprintf (asm_out_file
, "\t%s sleb128 ", ASM_COMMENT_START
);
590 fprintf (asm_out_file
, HOST_WIDE_INT_PRINT_DEC
, value
);
593 fputs ("; ", asm_out_file
);
594 vfprintf (asm_out_file
, comment
, ap
);
599 fputc ('\n', asm_out_file
);
605 dw2_asm_output_delta_uleb128
VPARAMS ((const char *lab1 ATTRIBUTE_UNUSED
,
606 const char *lab2 ATTRIBUTE_UNUSED
,
607 const char *comment
, ...))
609 #ifndef ANSI_PROTOTYPES
610 const char *lab1
, *lab2
;
615 VA_START (ap
, comment
);
617 #ifndef ANSI_PROTOTYPES
618 lab1
= va_arg (ap
, const char *);
619 lab2
= va_arg (ap
, const char *);
620 comment
= va_arg (ap
, const char *);
623 #ifdef HAVE_AS_LEB128
624 fputs ("\t.uleb128 ", asm_out_file
);
625 assemble_name (asm_out_file
, lab1
);
626 fputc ('-', asm_out_file
);
627 assemble_name (asm_out_file
, lab2
);
632 if (flag_debug_asm
&& comment
)
634 fprintf (asm_out_file
, "\t%s ", ASM_COMMENT_START
);
635 vfprintf (asm_out_file
, comment
, ap
);
637 fputc ('\n', asm_out_file
);
643 dw2_asm_output_delta_sleb128
VPARAMS ((const char *lab1 ATTRIBUTE_UNUSED
,
644 const char *lab2 ATTRIBUTE_UNUSED
,
645 const char *comment
, ...))
647 #ifndef ANSI_PROTOTYPES
648 const char *lab1
, *lab2
;
653 VA_START (ap
, comment
);
655 #ifndef ANSI_PROTOTYPES
656 lab1
= va_arg (ap
, const char *);
657 lab2
= va_arg (ap
, const char *);
658 comment
= va_arg (ap
, const char *);
661 #ifdef HAVE_AS_LEB128
662 fputs ("\t.sleb128 ", asm_out_file
);
663 assemble_name (asm_out_file
, lab1
);
664 fputc ('-', asm_out_file
);
665 assemble_name (asm_out_file
, lab2
);
670 if (flag_debug_asm
&& comment
)
672 fprintf (asm_out_file
, "\t%s ", ASM_COMMENT_START
);
673 vfprintf (asm_out_file
, comment
, ap
);
675 fputc ('\n', asm_out_file
);
680 static rtx dw2_force_const_mem
PARAMS ((rtx
));
681 static int dw2_output_indirect_constant_1
PARAMS ((splay_tree_node
, void *));
683 static splay_tree indirect_pool
;
686 dw2_force_const_mem (x
)
689 splay_tree_node node
;
690 const char *const_sym
;
693 indirect_pool
= splay_tree_new (splay_tree_compare_pointers
, NULL
, NULL
);
695 if (GET_CODE (x
) != SYMBOL_REF
)
697 node
= splay_tree_lookup (indirect_pool
, (splay_tree_key
) XSTR (x
, 0));
699 const_sym
= (const char *) node
->value
;
702 extern int const_labelno
;
706 ASM_GENERATE_INTERNAL_LABEL (label
, "LC", const_labelno
);
708 const_sym
= ggc_strdup (label
);
710 id
= maybe_get_identifier (XSTR (x
, 0));
712 TREE_SYMBOL_REFERENCED (id
) = 1;
714 splay_tree_insert (indirect_pool
, (splay_tree_key
) XSTR (x
, 0),
715 (splay_tree_value
) const_sym
);
718 return gen_rtx_SYMBOL_REF (Pmode
, const_sym
);
722 dw2_output_indirect_constant_1 (node
, data
)
723 splay_tree_node node
;
724 void* data ATTRIBUTE_UNUSED
;
726 const char *label
, *sym
;
729 label
= (const char *) node
->value
;
730 sym
= (const char *) node
->key
;
731 sym_ref
= gen_rtx_SYMBOL_REF (Pmode
, sym
);
733 ASM_OUTPUT_LABEL (asm_out_file
, label
);
734 assemble_integer (sym_ref
, POINTER_SIZE
/ BITS_PER_UNIT
, 1);
740 dw2_output_indirect_constants ()
745 /* Assume that the whole reason we're emitting these symbol references
746 indirectly is that they contain dynamic relocations, and are thus
747 read-write. If there was no possibility of a dynamic relocation, we
748 might as well have used a direct relocation. */
751 /* Everything we're emitting is a pointer. Align appropriately. */
752 assemble_align (POINTER_SIZE
);
754 splay_tree_foreach (indirect_pool
, dw2_output_indirect_constant_1
, NULL
);
758 dw2_asm_output_encoded_addr_rtx (encoding
, addr
)
764 switch (encoding
& 0x07)
766 case DW_EH_PE_absptr
:
767 size
= POINTER_SIZE
/ BITS_PER_UNIT
;
769 case DW_EH_PE_udata2
:
772 case DW_EH_PE_udata4
:
775 case DW_EH_PE_udata8
:
782 /* NULL is _always_ represented as a plain zero. */
783 if (addr
== const0_rtx
)
785 assemble_integer (addr
, size
, 1);
791 /* Allow the target first crack at emitting this. Some of the
792 special relocations require special directives instead of
793 just ".4byte" or whatever. */
794 #ifdef ASM_MAYBE_OUTPUT_ENCODED_ADDR_RTX
795 ASM_MAYBE_OUTPUT_ENCODED_ADDR_RTX(asm_out_file
, encoding
, size
, addr
, done
);
798 /* Indirection is used to get dynamic relocations out of a read-only
800 if (encoding
& DW_EH_PE_indirect
)
802 /* It is very tempting to use force_const_mem so that we share data
803 with the normal constant pool. However, we've already emitted
804 the constant pool for this function. Moreover, we'd like to share
805 these constants across the entire unit of translation, or better,
806 across the entire application (or DSO). */
807 addr
= dw2_force_const_mem (addr
);
808 encoding
&= ~DW_EH_PE_indirect
;
812 switch (encoding
& 0xF0)
814 case DW_EH_PE_absptr
:
815 #ifdef UNALIGNED_INT_ASM_OP
816 fputs (unaligned_integer_asm_op (size
), asm_out_file
);
817 output_addr_const (asm_out_file
, addr
);
819 assemble_integer (addr
, size
, 1);
824 if (GET_CODE (addr
) != SYMBOL_REF
)
826 #ifdef ASM_OUTPUT_DWARF_PCREL
827 ASM_OUTPUT_DWARF_PCREL (asm_out_file
, size
, XSTR (addr
, 0));
829 #ifdef UNALIGNED_INT_ASM_OP
830 fputs (unaligned_integer_asm_op (size
), asm_out_file
);
831 assemble_name (asm_out_file
, XSTR (addr
, 0));
832 fputc ('-', asm_out_file
);
833 fputc ('.', asm_out_file
);
841 /* Other encodings should have been handled by
842 ASM_MAYBE_OUTPUT_ENCODED_ADDR_RTX. */
846 #ifdef ASM_MAYBE_OUTPUT_ENCODED_ADDR_RTX
849 fputc ('\n', asm_out_file
);