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