xcoff.h revision 1.3 1 /* Definitions of target machine for GNU compiler,
2 for some generic XCOFF file format
3 Copyright (C) 2001-2014 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 && (GET_CODE (X) == SYMBOL_REF \
79 || (GET_CODE (X) == CONST && GET_CODE (XEXP (X, 0)) == PLUS \
80 && GET_CODE (XEXP (XEXP (X, 0), 0)) == SYMBOL_REF) \
81 || GET_CODE (X) == LABEL_REF \
82 || (GET_CODE (X) == CONST_INT \
83 && GET_MODE_BITSIZE (MODE) <= GET_MODE_BITSIZE (Pmode)) \
84 || (GET_CODE (X) == CONST_DOUBLE \
85 && (TARGET_MINIMAL_TOC \
86 || (SCALAR_FLOAT_MODE_P (GET_MODE (X)) \
87 && ! TARGET_NO_FP_IN_TOC)))))
88
89 #define TARGET_ASM_OUTPUT_ANCHOR rs6000_xcoff_asm_output_anchor
90 #define TARGET_ASM_GLOBALIZE_LABEL rs6000_xcoff_asm_globalize_label
91 #define TARGET_ASM_INIT_SECTIONS rs6000_xcoff_asm_init_sections
92 #define TARGET_ASM_RELOC_RW_MASK rs6000_xcoff_reloc_rw_mask
93 #define TARGET_ASM_NAMED_SECTION rs6000_xcoff_asm_named_section
94 #define TARGET_ASM_SELECT_SECTION rs6000_xcoff_select_section
95 #define TARGET_ASM_SELECT_RTX_SECTION rs6000_xcoff_select_rtx_section
96 #define TARGET_ASM_UNIQUE_SECTION rs6000_xcoff_unique_section
97 #define TARGET_ASM_FUNCTION_RODATA_SECTION default_no_function_rodata_section
98 #define TARGET_STRIP_NAME_ENCODING rs6000_xcoff_strip_name_encoding
99 #define TARGET_SECTION_TYPE_FLAGS rs6000_xcoff_section_type_flags
100 #ifdef HAVE_AS_TLS
101 #define TARGET_ENCODE_SECTION_INFO rs6000_xcoff_encode_section_info
102 #endif
103
104 /* FP save and restore routines. */
105 #define SAVE_FP_PREFIX "._savef"
106 #define SAVE_FP_SUFFIX ""
107 #define RESTORE_FP_PREFIX "._restf"
108 #define RESTORE_FP_SUFFIX ""
109
110 /* Function name to call to do profiling. */
111 #undef RS6000_MCOUNT
112 #define RS6000_MCOUNT ".__mcount"
113
114 /* This outputs NAME to FILE up to the first null or '['. */
115
116 #define RS6000_OUTPUT_BASENAME(FILE, NAME) \
117 assemble_name ((FILE), (*targetm.strip_name_encoding) (NAME))
118
119 /* This is how to output the definition of a user-level label named NAME,
120 such as the label on a static function or variable NAME. */
121
122 #define ASM_OUTPUT_LABEL(FILE,NAME) \
123 do { RS6000_OUTPUT_BASENAME (FILE, NAME); fputs (":\n", FILE); } while (0)
124
125 /* This is how to output a command to make the user-level label named NAME
126 defined for reference from other files. */
127
128 /* Globalizing directive for a label. */
129 #define GLOBAL_ASM_OP "\t.globl "
130
131 #undef TARGET_ASM_FILE_START
132 #define TARGET_ASM_FILE_START rs6000_xcoff_file_start
133 #define TARGET_ASM_FILE_END rs6000_xcoff_file_end
134 #undef TARGET_ASM_FILE_START_FILE_DIRECTIVE
135 #define TARGET_ASM_FILE_START_FILE_DIRECTIVE false
136
137 /* This macro produces the initial definition of a function name.
138 On the RS/6000, we need to place an extra '.' in the function name and
139 output the function descriptor.
140 Dollar signs are converted to underscores.
141
142 The csect for the function will have already been created when
143 text_section was selected. We do have to go back to that csect, however.
144
145 The third and fourth parameters to the .function pseudo-op (16 and 044)
146 are placeholders which no longer have any use. */
147
148 #define ASM_DECLARE_FUNCTION_NAME(FILE,NAME,DECL) \
149 { char *buffer = (char *) alloca (strlen (NAME) + 1); \
150 char *p; \
151 int dollar_inside = 0; \
152 strcpy (buffer, NAME); \
153 p = strchr (buffer, '$'); \
154 while (p) { \
155 *p = '_'; \
156 dollar_inside++; \
157 p = strchr (p + 1, '$'); \
158 } \
159 if (TREE_PUBLIC (DECL)) \
160 { \
161 if (!RS6000_WEAK || !DECL_WEAK (decl)) \
162 { \
163 if (dollar_inside) { \
164 fprintf(FILE, "\t.rename .%s,\".%s\"\n", buffer, NAME); \
165 fprintf(FILE, "\t.rename %s,\"%s\"\n", buffer, NAME); \
166 } \
167 fputs ("\t.globl .", FILE); \
168 RS6000_OUTPUT_BASENAME (FILE, buffer); \
169 putc ('\n', FILE); \
170 } \
171 } \
172 else \
173 { \
174 if (dollar_inside) { \
175 fprintf(FILE, "\t.rename .%s,\".%s\"\n", buffer, NAME); \
176 fprintf(FILE, "\t.rename %s,\"%s\"\n", buffer, NAME); \
177 } \
178 fputs ("\t.lglobl .", FILE); \
179 RS6000_OUTPUT_BASENAME (FILE, buffer); \
180 putc ('\n', FILE); \
181 } \
182 fputs ("\t.csect ", FILE); \
183 RS6000_OUTPUT_BASENAME (FILE, buffer); \
184 fputs (TARGET_32BIT ? "[DS]\n" : "[DS],3\n", FILE); \
185 RS6000_OUTPUT_BASENAME (FILE, buffer); \
186 fputs (":\n", FILE); \
187 fputs (TARGET_32BIT ? "\t.long ." : "\t.llong .", FILE); \
188 RS6000_OUTPUT_BASENAME (FILE, buffer); \
189 fputs (", TOC[tc0], 0\n", FILE); \
190 in_section = NULL; \
191 switch_to_section (function_section (DECL)); \
192 putc ('.', FILE); \
193 RS6000_OUTPUT_BASENAME (FILE, buffer); \
194 fputs (":\n", FILE); \
195 if (write_symbols != NO_DEBUG && !DECL_IGNORED_P (DECL)) \
196 xcoffout_declare_function (FILE, DECL, buffer); \
197 }
198
199 /* Output a reference to SYM on FILE. */
200
201 #define ASM_OUTPUT_SYMBOL_REF(FILE, SYM) \
202 rs6000_output_symbol_ref (FILE, SYM)
203
204 /* This says how to output an external.
205 Dollar signs are converted to underscores. */
206
207 #undef ASM_OUTPUT_EXTERNAL
208 #define ASM_OUTPUT_EXTERNAL(FILE, DECL, NAME) \
209 { char *buffer = (char *) alloca (strlen (NAME) + 1); \
210 char *p; \
211 rtx _symref = XEXP (DECL_RTL (DECL), 0); \
212 int dollar_inside = 0; \
213 strcpy (buffer, NAME); \
214 p = strchr (buffer, '$'); \
215 while (p) { \
216 *p = '_'; \
217 dollar_inside++; \
218 p = strchr (p + 1, '$'); \
219 } \
220 if (dollar_inside) { \
221 fputs ("\t.extern .", FILE); \
222 RS6000_OUTPUT_BASENAME (FILE, buffer); \
223 putc ('\n', FILE); \
224 fprintf(FILE, "\t.rename .%s,\".%s\"\n", buffer, NAME); \
225 } \
226 if ((TREE_CODE (DECL) == VAR_DECL \
227 || TREE_CODE (DECL) == FUNCTION_DECL) \
228 && (NAME)[strlen (NAME) - 1] != ']') \
229 { \
230 XSTR (_symref, 0) = concat (XSTR (_symref, 0), \
231 (TREE_CODE (DECL) == FUNCTION_DECL \
232 ? "[DS]" : "[RW]"), \
233 NULL); \
234 } \
235 }
236
237 /* This is how to output a reference to a user-level label named NAME.
238 `assemble_name' uses this. */
239
240 #define ASM_OUTPUT_LABELREF(FILE,NAME) \
241 asm_fprintf ((FILE), "%U%s", rs6000_xcoff_strip_dollar (NAME));
242
243 /* This is how to output an internal label prefix. rs6000.c uses this
244 when generating traceback tables. */
245
246 #define ASM_OUTPUT_INTERNAL_LABEL_PREFIX(FILE,PREFIX) \
247 fprintf (FILE, "%s..", PREFIX)
248
249 /* This is how to output a label for a jump table. Arguments are the same as
250 for (*targetm.asm_out.internal_label), except the insn for the jump table is
251 passed. */
252
253 #define ASM_OUTPUT_CASE_LABEL(FILE,PREFIX,NUM,TABLEINSN) \
254 { ASM_OUTPUT_ALIGN (FILE, 2); (*targetm.asm_out.internal_label) (FILE, PREFIX, NUM); }
255
256 /* This is how to store into the string LABEL
257 the symbol_ref name of an internal numbered label where
258 PREFIX is the class of label and NUM is the number within the class.
259 This is suitable for output with `assemble_name'. */
260
261 #define ASM_GENERATE_INTERNAL_LABEL(LABEL,PREFIX,NUM) \
262 sprintf (LABEL, "*%s..%u", rs6000_xcoff_strip_dollar (PREFIX), (unsigned) (NUM))
263
264 /* This is how to output an assembler line to define N characters starting
265 at P to FILE. */
266
267 #define ASM_OUTPUT_ASCII(FILE, P, N) output_ascii ((FILE), (P), (N))
268
269 /* This is how to advance the location counter by SIZE bytes. */
270
271 #define SKIP_ASM_OP "\t.space "
272
273 #define ASM_OUTPUT_SKIP(FILE,SIZE) \
274 fprintf (FILE, "%s"HOST_WIDE_INT_PRINT_UNSIGNED"\n", SKIP_ASM_OP, (SIZE))
275
276 /* This says how to output an assembler line
277 to define a global common symbol. */
278
279 #define COMMON_ASM_OP "\t.comm "
280
281 #define ASM_OUTPUT_ALIGNED_COMMON(FILE, NAME, SIZE, ALIGN) \
282 do { fputs (COMMON_ASM_OP, (FILE)); \
283 RS6000_OUTPUT_BASENAME ((FILE), (NAME)); \
284 if ((ALIGN) > 32) \
285 fprintf ((FILE), ","HOST_WIDE_INT_PRINT_UNSIGNED",%u\n", (SIZE), \
286 floor_log2 ((ALIGN) / BITS_PER_UNIT)); \
287 else if ((SIZE) > 4) \
288 fprintf ((FILE), ","HOST_WIDE_INT_PRINT_UNSIGNED",3\n", (SIZE)); \
289 else \
290 fprintf ((FILE), ","HOST_WIDE_INT_PRINT_UNSIGNED"\n", (SIZE)); \
291 } while (0)
292
293 /* This says how to output an assembler line
294 to define a local common symbol.
295 The assembler in AIX 6.1 and later supports an alignment argument.
296 For earlier releases of AIX, we try to maintain
297 alignment after preceding TOC section if it was aligned
298 for 64-bit mode. */
299
300 #define LOCAL_COMMON_ASM_OP "\t.lcomm "
301
302 #if TARGET_AIX_VERSION >= 61
303 #define ASM_OUTPUT_ALIGNED_LOCAL(FILE, NAME, SIZE, ALIGN) \
304 do { fputs (LOCAL_COMMON_ASM_OP, (FILE)); \
305 RS6000_OUTPUT_BASENAME ((FILE), (NAME)); \
306 if ((ALIGN) > 32) \
307 fprintf ((FILE), ","HOST_WIDE_INT_PRINT_UNSIGNED",%s%u_,%u\n", \
308 (SIZE), xcoff_bss_section_name, \
309 floor_log2 ((ALIGN) / BITS_PER_UNIT), \
310 floor_log2 ((ALIGN) / BITS_PER_UNIT)); \
311 else if ((SIZE) > 4) \
312 fprintf ((FILE), ","HOST_WIDE_INT_PRINT_UNSIGNED",%s3_,3\n", \
313 (SIZE), xcoff_bss_section_name); \
314 else \
315 fprintf ((FILE), ","HOST_WIDE_INT_PRINT_UNSIGNED",%s,2\n", \
316 (SIZE), xcoff_bss_section_name); \
317 } while (0)
318 #endif
319
320 #define ASM_OUTPUT_LOCAL(FILE, NAME, SIZE, ROUNDED) \
321 do { fputs (LOCAL_COMMON_ASM_OP, (FILE)); \
322 RS6000_OUTPUT_BASENAME ((FILE), (NAME)); \
323 fprintf ((FILE), ","HOST_WIDE_INT_PRINT_UNSIGNED",%s\n", \
324 (TARGET_32BIT ? (SIZE) : (ROUNDED)), \
325 xcoff_bss_section_name); \
326 } while (0)
327
328 #ifdef HAVE_AS_TLS
329 #define ASM_OUTPUT_TLS_COMMON(FILE, DECL, NAME, SIZE) \
330 do { fputs(COMMON_ASM_OP, (FILE)); \
331 RS6000_OUTPUT_BASENAME ((FILE), (NAME)); \
332 fprintf ((FILE), "[UL],"HOST_WIDE_INT_PRINT_UNSIGNED"\n", \
333 (SIZE)); \
334 } while (0)
335 #endif
336
337 /* This is how we tell the assembler that two symbols have the same value. */
338 #define SET_ASM_OP "\t.set "
339
340 /* This is how we tell the assembler to equate two values. */
341 #define ASM_OUTPUT_DEF(FILE,LABEL1,LABEL2) \
342 do { fprintf ((FILE), "%s", SET_ASM_OP); \
343 RS6000_OUTPUT_BASENAME (FILE, LABEL1); \
344 fprintf (FILE, ","); \
345 RS6000_OUTPUT_BASENAME (FILE, LABEL2); \
346 fprintf (FILE, "\n"); \
347 } while (0)
348
349 /* Used by rs6000_assemble_integer, among others. */
350 #define DOUBLE_INT_ASM_OP "\t.llong\t"
351
352 /* Output before instructions. */
353 #define TEXT_SECTION_ASM_OP "\t.csect .text[PR]"
354
355 /* Output before writable data. */
356 #define DATA_SECTION_ASM_OP \
357 "\t.csect .data[RW]," XCOFF_CSECT_DEFAULT_ALIGNMENT_STR
358
359
360 /* Define to prevent DWARF2 unwind info in the data section rather
361 than in the .eh_frame section. We do this because the AIX linker
362 would otherwise garbage collect these sections. */
363 #define EH_FRAME_IN_DATA_SECTION 1
364