xref: /netbsd-src/external/gpl3/gcc.old/dist/gcc/config/rs6000/xcoff.h (revision 8feb0f0b7eaff0608f8350bbfa3098827b4bb91b)
1 /* Definitions of target machine for GNU compiler,
2    for some generic XCOFF file format
3    Copyright (C) 2001-2020 Free Software Foundation, Inc.
4 
5    This file is part of GCC.
6 
7    GCC is free software; you can redistribute it and/or modify it
8    under the terms of the GNU General Public License as published
9    by the Free Software Foundation; either version 3, or (at your
10    option) any later version.
11 
12    GCC is distributed in the hope that it will be useful, but WITHOUT
13    ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
14    or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
15    License for more details.
16 
17    You should have received a copy of the GNU General Public License
18    along with GCC; see the file COPYING3.  If not see
19    <http://www.gnu.org/licenses/>.  */
20 
21 #define TARGET_OBJECT_FORMAT OBJECT_XCOFF
22 
23 /* The RS/6000 uses the XCOFF format.  */
24 #define XCOFF_DEBUGGING_INFO 1
25 
26 /* Define if the object format being used is COFF or a superset.  */
27 #define OBJECT_FORMAT_COFF
28 
29 /* Define the magic numbers that we recognize as COFF.
30 
31     AIX 4.3 adds U803XTOCMAGIC (0757) for 64-bit objects and AIX V5 adds
32     U64_TOCMAGIC (0767), but collect2.c does not include files in the
33     correct order to conditionally define the symbolic name in this macro.
34 
35     The AIX linker accepts import/export files as object files,
36     so accept "#!" (0x2321) magic number.  */
37 #define MY_ISCOFF(magic) \
38   ((magic) == U802WRMAGIC || (magic) == U802ROMAGIC \
39    || (magic) == U802TOCMAGIC || (magic) == 0757 || (magic) == 0767 \
40    || (magic) == 0x2321)
41 
42 /* We don't have GAS for the RS/6000 yet, so don't write out special
43     .stabs in cc1plus.  */
44 
45 #define FASCIST_ASSEMBLER
46 
47 /* We define this to prevent the name mangler from putting dollar signs into
48    function names.  */
49 
50 #define NO_DOLLAR_IN_LABEL
51 
52 /* We define this to 0 so that gcc will never accept a dollar sign in a
53    variable name.  This is needed because the AIX assembler will not accept
54    dollar signs.  */
55 
56 #define DOLLARS_IN_IDENTIFIERS 0
57 
58 /* AIX .align pseudo-op accept value from 0 to 12, corresponding to
59    log base 2 of the alignment in bytes; 12 = 4096 bytes = 32768 bits.  */
60 
61 #define MAX_OFILE_ALIGNMENT 32768
62 
63 /* Default alignment factor for csect directives, chosen to honor
64    BIGGEST_ALIGNMENT.  */
65 #define XCOFF_CSECT_DEFAULT_ALIGNMENT_STR "4"
66 
67 /* Return nonzero if this entry is to be written into the constant
68    pool in a special way.  We do so if this is a SYMBOL_REF, LABEL_REF
69    or a CONST containing one of them.  If -mfp-in-toc (the default),
70    we also do this for floating-point constants.  We actually can only
71    do this if the FP formats of the target and host machines are the
72    same, but we can't check that since not every file that uses these
73    target macros includes real.h.  We also do this when we can write the
74    entry into the TOC and the entry is not larger than a TOC entry.  */
75 
76 #define ASM_OUTPUT_SPECIAL_POOL_ENTRY_P(X, MODE)			\
77   (TARGET_TOC								\
78    && (SYMBOL_REF_P (X)							\
79        || (GET_CODE (X) == CONST && GET_CODE (XEXP (X, 0)) == PLUS	\
80 	   && SYMBOL_REF_P (XEXP (XEXP (X, 0), 0)))			\
81        || GET_CODE (X) == LABEL_REF					\
82        || (CONST_INT_P (X)						\
83 	   && GET_MODE_BITSIZE (MODE) <= GET_MODE_BITSIZE (Pmode))	\
84        || (CONST_DOUBLE_P (X)						\
85 	   && (TARGET_MINIMAL_TOC					\
86 	       || (SCALAR_FLOAT_MODE_P (GET_MODE (X))			\
87 		   && ! TARGET_NO_FP_IN_TOC)))))
88 
89 #undef TARGET_DEBUG_UNWIND_INFO
90 #define TARGET_DEBUG_UNWIND_INFO  rs6000_xcoff_debug_unwind_info
91 #define TARGET_ASM_OUTPUT_ANCHOR  rs6000_xcoff_asm_output_anchor
92 #define TARGET_ASM_GLOBALIZE_DECL_NAME  rs6000_xcoff_asm_globalize_decl_name
93 #define TARGET_ASM_GLOBALIZE_LABEL  rs6000_xcoff_asm_globalize_label
94 #define TARGET_ASM_INIT_SECTIONS  rs6000_xcoff_asm_init_sections
95 #define TARGET_ASM_RELOC_RW_MASK  rs6000_xcoff_reloc_rw_mask
96 #define TARGET_ASM_NAMED_SECTION  rs6000_xcoff_asm_named_section
97 #define TARGET_ASM_SELECT_SECTION  rs6000_xcoff_select_section
98 #define TARGET_ASM_SELECT_RTX_SECTION  rs6000_xcoff_select_rtx_section
99 #define TARGET_ASM_UNIQUE_SECTION  rs6000_xcoff_unique_section
100 #define TARGET_ASM_FUNCTION_RODATA_SECTION default_no_function_rodata_section
101 #define TARGET_STRIP_NAME_ENCODING  rs6000_xcoff_strip_name_encoding
102 #define TARGET_SECTION_TYPE_FLAGS  rs6000_xcoff_section_type_flags
103 #ifdef HAVE_AS_TLS
104 #define TARGET_ENCODE_SECTION_INFO rs6000_xcoff_encode_section_info
105 #endif
106 #define ASM_OUTPUT_ALIGNED_DECL_COMMON  rs6000_xcoff_asm_output_aligned_decl_common
107 
108 /* FP save and restore routines.  */
109 #define	SAVE_FP_PREFIX "._savef"
110 #define SAVE_FP_SUFFIX ""
111 #define	RESTORE_FP_PREFIX "._restf"
112 #define RESTORE_FP_SUFFIX ""
113 
114 /* Function name to call to do profiling.  */
115 #undef  RS6000_MCOUNT
116 #define RS6000_MCOUNT ".__mcount"
117 
118 /* This outputs NAME to FILE up to the first null or '['.  */
119 
120 #define RS6000_OUTPUT_BASENAME(FILE, NAME) \
121   assemble_name ((FILE), (*targetm.strip_name_encoding) (NAME))
122 
123 /* This is how to output the definition of a user-level label named NAME,
124    such as the label on a static function or variable NAME.  */
125 
126 #define ASM_OUTPUT_LABEL(FILE,NAME)	\
127   do { RS6000_OUTPUT_BASENAME (FILE, NAME); fputs (":\n", FILE); } while (0)
128 
129 /* This is how to output a command to make the user-level label named NAME
130    defined for reference from other files.  */
131 
132 /* Globalizing directive for a label.  */
133 #define GLOBAL_ASM_OP "\t.globl "
134 
135 #undef TARGET_ASM_FILE_START
136 #define TARGET_ASM_FILE_START rs6000_xcoff_file_start
137 #define TARGET_ASM_FILE_END rs6000_xcoff_file_end
138 #undef TARGET_ASM_FILE_START_FILE_DIRECTIVE
139 #define TARGET_ASM_FILE_START_FILE_DIRECTIVE false
140 
141 /* This macro produces the initial definition of a function name.  */
142 
143 #undef ASM_DECLARE_FUNCTION_NAME
144 #define ASM_DECLARE_FUNCTION_NAME(FILE, NAME, DECL)			\
145   rs6000_xcoff_declare_function_name ((FILE), (NAME), (DECL))
146 #undef ASM_DECLARE_OBJECT_NAME
147 #define ASM_DECLARE_OBJECT_NAME(FILE, NAME, DECL)			\
148   rs6000_xcoff_declare_object_name ((FILE), (NAME), (DECL))
149 
150 /* Output a reference to SYM on FILE.  */
151 
152 #define ASM_OUTPUT_SYMBOL_REF(FILE, SYM) \
153   rs6000_output_symbol_ref (FILE, SYM)
154 
155 /* This says how to output an external.
156    Dollar signs are converted to underscores.  */
157 
158 #undef  ASM_OUTPUT_EXTERNAL
159 #define ASM_OUTPUT_EXTERNAL(FILE, DECL, NAME)				\
160 { char *buffer = (char *) alloca (strlen (NAME) + 1);			\
161   char *p;								\
162   int dollar_inside = 0;						\
163   strcpy (buffer, NAME);						\
164   p = strchr (buffer, '$');						\
165   while (p) {								\
166     *p = '_';								\
167     dollar_inside++;							\
168     p = strchr (p + 1, '$');						\
169   }									\
170   if (dollar_inside) {							\
171       fputs ("\t.extern .", FILE);					\
172       RS6000_OUTPUT_BASENAME (FILE, buffer);				\
173       putc ('\n', FILE);						\
174       fprintf (FILE, "\t.rename .%s,\".%s\"\n", buffer, NAME);		\
175     }									\
176 }
177 
178 /* This is how to output a reference to a user-level label named NAME.
179    `assemble_name' uses this.  */
180 
181 #define ASM_OUTPUT_LABELREF(FILE,NAME)	\
182   asm_fprintf ((FILE), "%U%s", rs6000_xcoff_strip_dollar (NAME))
183 
184 /* This is how to output an internal label prefix.  rs6000.c uses this
185    when generating traceback tables.  */
186 
187 #define ASM_OUTPUT_INTERNAL_LABEL_PREFIX(FILE,PREFIX)   \
188   fprintf (FILE, "%s..", PREFIX)
189 
190 /* This is how to output a label for a jump table.  Arguments are the same as
191    for (*targetm.asm_out.internal_label), except the insn for the jump table is
192    passed.  */
193 
194 #define ASM_OUTPUT_CASE_LABEL(FILE,PREFIX,NUM,TABLEINSN)	\
195 { ASM_OUTPUT_ALIGN (FILE, 2); (*targetm.asm_out.internal_label) (FILE, PREFIX, NUM); }
196 
197 /* This is how to store into the string LABEL
198    the symbol_ref name of an internal numbered label where
199    PREFIX is the class of label and NUM is the number within the class.
200    This is suitable for output with `assemble_name'.  */
201 
202 #define ASM_GENERATE_INTERNAL_LABEL(LABEL,PREFIX,NUM)	\
203   sprintf (LABEL, "*%s..%u", rs6000_xcoff_strip_dollar (PREFIX), (unsigned) (NUM))
204 
205 /* This is how to output an assembler line to define N characters starting
206    at P to FILE.  */
207 
208 #define ASM_OUTPUT_ASCII(FILE, P, N)  output_ascii ((FILE), (P), (N))
209 
210 /* This is how to advance the location counter by SIZE bytes.  */
211 
212 #define SKIP_ASM_OP "\t.space "
213 
214 #define ASM_OUTPUT_SKIP(FILE,SIZE)  \
215   fprintf (FILE, "%s" HOST_WIDE_INT_PRINT_UNSIGNED"\n", SKIP_ASM_OP, (SIZE))
216 
217 /* This says how to output an assembler line
218    to define a global common symbol.  */
219 
220 #define COMMON_ASM_OP "\t.comm "
221 
222 /* This says how to output an assembler line
223    to define a local common symbol.
224    The assembler in AIX 6.1 and later supports an alignment argument.
225    For earlier releases of AIX, we try to maintain
226    alignment after preceding TOC section if it was aligned
227    for 64-bit mode.  */
228 
229 #define LOCAL_COMMON_ASM_OP "\t.lcomm "
230 
231 #if TARGET_AIX_VERSION >= 61
232 #define ASM_OUTPUT_ALIGNED_LOCAL(FILE, NAME, SIZE, ALIGN)	\
233   do { fputs (LOCAL_COMMON_ASM_OP, (FILE));			\
234        RS6000_OUTPUT_BASENAME ((FILE), (NAME));			\
235        if ((ALIGN) > 32)					\
236 	 fprintf ((FILE), "," HOST_WIDE_INT_PRINT_UNSIGNED",%s%u_,%u\n",	\
237 		  (SIZE), xcoff_bss_section_name,			\
238 		  floor_log2 ((ALIGN) / BITS_PER_UNIT),			\
239 		  floor_log2 ((ALIGN) / BITS_PER_UNIT));		\
240        else if ((SIZE) > 4)					\
241 	 fprintf ((FILE), "," HOST_WIDE_INT_PRINT_UNSIGNED",%s3_,3\n",	\
242 		  (SIZE), xcoff_bss_section_name);		\
243        else							\
244 	 fprintf ((FILE), "," HOST_WIDE_INT_PRINT_UNSIGNED",%s,2\n",	\
245 		  (SIZE), xcoff_bss_section_name);		\
246      } while (0)
247 #endif
248 
249 #define ASM_OUTPUT_LOCAL(FILE, NAME, SIZE, ROUNDED)	\
250   do { fputs (LOCAL_COMMON_ASM_OP, (FILE));		\
251        RS6000_OUTPUT_BASENAME ((FILE), (NAME));		\
252        fprintf ((FILE), "," HOST_WIDE_INT_PRINT_UNSIGNED",%s\n", \
253 		(TARGET_32BIT ? (SIZE) : (ROUNDED)),	\
254 		xcoff_bss_section_name);		\
255      } while (0)
256 
257 #ifdef HAVE_AS_TLS
258 #define ASM_OUTPUT_TLS_COMMON(FILE, DECL, NAME, SIZE)	\
259   do { fputs (COMMON_ASM_OP, (FILE));			\
260        RS6000_OUTPUT_BASENAME ((FILE), (NAME));		\
261        fprintf ((FILE), "[UL]," HOST_WIDE_INT_PRINT_UNSIGNED"\n", \
262        (SIZE));						\
263   } while (0)
264 #endif
265 
266 /* This is how we tell the assembler that two symbols have the same value.  */
267 #define SET_ASM_OP "\t.set "
268 
269 /* This is how we tell the assembler to equate two values.
270    The semantic of AIX assembler's .set do not correspond to middle-end expectations.
271    We output aliases as alternative symbols in the front of the definition
272    via DECLARE_FUNCTION_NAME and DECLARE_OBJECT_NAME.
273    We still need to define this macro to let middle-end know that aliases are
274    supported.
275  */
276 #define ASM_OUTPUT_DEF(FILE,LABEL1,LABEL2) do { } while (0)
277 
278 /* Used by rs6000_assemble_integer, among others.  */
279 
280 /* Used by rs6000_assemble_integer, among others.  */
281 #define DOUBLE_INT_ASM_OP "\t.llong\t"
282 
283 /* Output before instructions.  */
284 #define TEXT_SECTION_ASM_OP "\t.csect .text[PR]"
285 
286 /* Output before writable data.  */
287 #define DATA_SECTION_ASM_OP \
288   "\t.csect .data[RW]," XCOFF_CSECT_DEFAULT_ALIGNMENT_STR
289 
290 
291 /* The eh_frames are put in the read-only text segment.
292    Local code labels/function will also be in the local text segment so use
293    PC relative addressing.
294    Global symbols must be in the data segment to allow loader relocations.
295    So use DW_EH_PE_indirect to allocate a slot in the local data segment.
296    There is no constant offset to this data segment from the text segment,
297    so use addressing relative to the data segment.
298  */
299 #define ASM_PREFERRED_EH_DATA_FORMAT(CODE,GLOBAL) \
300   (((GLOBAL) ? DW_EH_PE_indirect | DW_EH_PE_datarel : DW_EH_PE_pcrel) \
301    | (TARGET_64BIT ? DW_EH_PE_sdata8 : DW_EH_PE_sdata4))
302 
303 #define EH_FRAME_THROUGH_COLLECT2 1
304 #define EH_TABLES_CAN_BE_READ_ONLY 1
305 
306 /* AIX Assembler implicitly assumes DWARF 64 bit extension in 64 bit mode.  */
307 #define DWARF_OFFSET_SIZE PTR_SIZE
308 
309 #define ASM_OUTPUT_DWARF_PCREL(FILE,SIZE,LABEL) \
310   rs6000_asm_output_dwarf_pcrel ((FILE), (SIZE), (LABEL));
311 
312 #define ASM_OUTPUT_DWARF_DATAREL(FILE,SIZE,LABEL) \
313   rs6000_asm_output_dwarf_datarel ((FILE), (SIZE), (LABEL));
314 
315 #define MAKE_DECL_ONE_ONLY(DECL) (DECL_WEAK (DECL) = 1)
316 
317