1/* Definitions of target machine for GNU compiler,
2   for some generic XCOFF file format
3   Copyright (C) 2001, 2002, 2003, 2004, 2007 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 2, 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 COPYING.  If not, write to the
19   Free Software Foundation, 51 Franklin Street, Fifth Floor, Boston,
20   MA 02110-1301, USA.  */
21
22#define TARGET_OBJECT_FORMAT OBJECT_XCOFF
23
24/* The RS/6000 uses the XCOFF format.  */
25#define XCOFF_DEBUGGING_INFO 1
26
27/* Define if the object format being used is COFF or a superset.  */
28#define OBJECT_FORMAT_COFF
29
30/* Define the magic numbers that we recognize as COFF.
31
32    AIX 4.3 adds U803XTOCMAGIC (0757) for 64-bit objects and AIX V5 adds
33    U64_TOCMAGIC (0767), but collect2.c does not include files in the
34    correct order to conditionally define the symbolic name in this macro.
35
36    The AIX linker accepts import/export files as object files,
37    so accept "#!" (0x2321) magic number.  */
38#define MY_ISCOFF(magic) \
39  ((magic) == U802WRMAGIC || (magic) == U802ROMAGIC \
40   || (magic) == U802TOCMAGIC || (magic) == 0757 || (magic) == 0767 \
41   || (magic) == 0x2321)
42
43/* We don't have GAS for the RS/6000 yet, so don't write out special
44    .stabs in cc1plus.  */
45
46#define FASCIST_ASSEMBLER
47
48/* We define this to prevent the name mangler from putting dollar signs into
49   function names.  */
50
51#define NO_DOLLAR_IN_LABEL
52
53/* We define this to 0 so that gcc will never accept a dollar sign in a
54   variable name.  This is needed because the AIX assembler will not accept
55   dollar signs.  */
56
57#define DOLLARS_IN_IDENTIFIERS 0
58
59/* AIX .align pseudo-op accept value from 0 to 12, corresponding to
60   log base 2 of the alignment in bytes; 12 = 4096 bytes = 32768 bits.  */
61
62#define MAX_OFILE_ALIGNMENT 32768
63
64/* Return nonzero if this entry is to be written into the constant
65   pool in a special way.  We do so if this is a SYMBOL_REF, LABEL_REF
66   or a CONST containing one of them.  If -mfp-in-toc (the default),
67   we also do this for floating-point constants.  We actually can only
68   do this if the FP formats of the target and host machines are the
69   same, but we can't check that since not every file that uses
70   GO_IF_LEGITIMATE_ADDRESS_P includes real.h.  We also do this when
71   we can write the entry into the TOC and the entry is not larger
72   than a TOC entry.  */
73
74#define ASM_OUTPUT_SPECIAL_POOL_ENTRY_P(X, MODE)			\
75  (TARGET_TOC								\
76   && (GET_CODE (X) == SYMBOL_REF					\
77       || (GET_CODE (X) == CONST && GET_CODE (XEXP (X, 0)) == PLUS	\
78	   && GET_CODE (XEXP (XEXP (X, 0), 0)) == SYMBOL_REF)		\
79       || GET_CODE (X) == LABEL_REF					\
80       || (GET_CODE (X) == CONST_INT 					\
81	   && GET_MODE_BITSIZE (MODE) <= GET_MODE_BITSIZE (Pmode))	\
82       || (GET_CODE (X) == CONST_DOUBLE					\
83	   && (TARGET_POWERPC64						\
84	       || TARGET_MINIMAL_TOC					\
85	       || (SCALAR_FLOAT_MODE_P (GET_MODE (X))			\
86		   && ! TARGET_NO_FP_IN_TOC)))))
87
88#define TARGET_ASM_OUTPUT_ANCHOR  rs6000_xcoff_asm_output_anchor
89#define TARGET_ASM_GLOBALIZE_LABEL  rs6000_xcoff_asm_globalize_label
90#define TARGET_ASM_INIT_SECTIONS  rs6000_xcoff_asm_init_sections
91#define TARGET_ASM_RELOC_RW_MASK  rs6000_xcoff_reloc_rw_mask
92#define TARGET_ASM_NAMED_SECTION  rs6000_xcoff_asm_named_section
93#define TARGET_ASM_SELECT_SECTION  rs6000_xcoff_select_section
94#define TARGET_ASM_SELECT_RTX_SECTION  rs6000_xcoff_select_rtx_section
95#define TARGET_ASM_UNIQUE_SECTION  rs6000_xcoff_unique_section
96#define TARGET_ASM_FUNCTION_RODATA_SECTION default_no_function_rodata_section
97#define TARGET_STRIP_NAME_ENCODING  rs6000_xcoff_strip_name_encoding
98#define TARGET_SECTION_TYPE_FLAGS  rs6000_xcoff_section_type_flags
99
100/* FP save and restore routines.  */
101#define	SAVE_FP_PREFIX "._savef"
102#define SAVE_FP_SUFFIX ""
103#define	RESTORE_FP_PREFIX "._restf"
104#define RESTORE_FP_SUFFIX ""
105
106/* Function name to call to do profiling.  */
107#undef  RS6000_MCOUNT
108#define RS6000_MCOUNT ".__mcount"
109
110/* This outputs NAME to FILE up to the first null or '['.  */
111
112#define RS6000_OUTPUT_BASENAME(FILE, NAME) \
113  assemble_name ((FILE), (*targetm.strip_name_encoding) (NAME))
114
115/* This is how to output the definition of a user-level label named NAME,
116   such as the label on a static function or variable NAME.  */
117
118#define ASM_OUTPUT_LABEL(FILE,NAME)	\
119  do { RS6000_OUTPUT_BASENAME (FILE, NAME); fputs (":\n", FILE); } while (0)
120
121/* This is how to output a command to make the user-level label named NAME
122   defined for reference from other files.  */
123
124/* Globalizing directive for a label.  */
125#define GLOBAL_ASM_OP "\t.globl "
126
127#undef TARGET_ASM_FILE_START
128#define TARGET_ASM_FILE_START rs6000_xcoff_file_start
129#define TARGET_ASM_FILE_END rs6000_xcoff_file_end
130#undef TARGET_ASM_FILE_START_FILE_DIRECTIVE
131#define TARGET_ASM_FILE_START_FILE_DIRECTIVE false
132
133/* This macro produces the initial definition of a function name.
134   On the RS/6000, we need to place an extra '.' in the function name and
135   output the function descriptor.
136
137   The csect for the function will have already been created when
138   text_section was selected.  We do have to go back to that csect, however.
139
140   The third and fourth parameters to the .function pseudo-op (16 and 044)
141   are placeholders which no longer have any use.  */
142
143#define ASM_DECLARE_FUNCTION_NAME(FILE,NAME,DECL)		\
144{ if (TREE_PUBLIC (DECL))					\
145    {								\
146      if (!RS6000_WEAK || !DECL_WEAK (decl))			\
147	{							\
148	  fputs ("\t.globl .", FILE);				\
149	  RS6000_OUTPUT_BASENAME (FILE, NAME);			\
150	  putc ('\n', FILE);					\
151	}							\
152    }								\
153  else								\
154    {								\
155      fputs ("\t.lglobl .", FILE);				\
156      RS6000_OUTPUT_BASENAME (FILE, NAME);			\
157      putc ('\n', FILE);					\
158    }								\
159  fputs ("\t.csect ", FILE);					\
160  RS6000_OUTPUT_BASENAME (FILE, NAME);				\
161  fputs (TARGET_32BIT ? "[DS]\n" : "[DS],3\n", FILE);		\
162  RS6000_OUTPUT_BASENAME (FILE, NAME);				\
163  fputs (":\n", FILE);						\
164  fputs (TARGET_32BIT ? "\t.long ." : "\t.llong .", FILE);	\
165  RS6000_OUTPUT_BASENAME (FILE, NAME);				\
166  fputs (", TOC[tc0], 0\n", FILE);				\
167  in_section = NULL;						\
168  switch_to_section (function_section (DECL));			\
169  putc ('.', FILE);						\
170  RS6000_OUTPUT_BASENAME (FILE, NAME);				\
171  fputs (":\n", FILE);						\
172  if (write_symbols != NO_DEBUG)				\
173    xcoffout_declare_function (FILE, DECL, NAME);		\
174}
175
176/* Output a reference to SYM on FILE.  */
177
178#define ASM_OUTPUT_SYMBOL_REF(FILE, SYM) \
179  rs6000_output_symbol_ref (FILE, SYM)
180
181/* This says how to output an external.  */
182
183#undef  ASM_OUTPUT_EXTERNAL
184#define ASM_OUTPUT_EXTERNAL(FILE, DECL, NAME)				\
185{ rtx _symref = XEXP (DECL_RTL (DECL), 0);				\
186  if ((TREE_CODE (DECL) == VAR_DECL					\
187       || TREE_CODE (DECL) == FUNCTION_DECL)				\
188      && (NAME)[strlen (NAME) - 1] != ']')				\
189    {									\
190      XSTR (_symref, 0) = concat (XSTR (_symref, 0),			\
191				  (TREE_CODE (DECL) == FUNCTION_DECL	\
192				   ? "[DS]" : "[RW]"),			\
193				  NULL);				\
194    }									\
195}
196
197/* This is how to output an internal label prefix.  rs6000.c uses this
198   when generating traceback tables.  */
199
200#define ASM_OUTPUT_INTERNAL_LABEL_PREFIX(FILE,PREFIX)   \
201  fprintf (FILE, "%s..", PREFIX)
202
203/* This is how to output a label for a jump table.  Arguments are the same as
204   for (*targetm.asm_out.internal_label), except the insn for the jump table is
205   passed.  */
206
207#define ASM_OUTPUT_CASE_LABEL(FILE,PREFIX,NUM,TABLEINSN)	\
208{ ASM_OUTPUT_ALIGN (FILE, 2); (*targetm.asm_out.internal_label) (FILE, PREFIX, NUM); }
209
210/* This is how to store into the string LABEL
211   the symbol_ref name of an internal numbered label where
212   PREFIX is the class of label and NUM is the number within the class.
213   This is suitable for output with `assemble_name'.  */
214
215#define ASM_GENERATE_INTERNAL_LABEL(LABEL,PREFIX,NUM)	\
216  sprintf (LABEL, "*%s..%u", (PREFIX), (unsigned) (NUM))
217
218/* This is how to output an assembler line to define N characters starting
219   at P to FILE.  */
220
221#define ASM_OUTPUT_ASCII(FILE, P, N)  output_ascii ((FILE), (P), (N))
222
223/* This is how to advance the location counter by SIZE bytes.  */
224
225#define SKIP_ASM_OP "\t.space "
226
227#define ASM_OUTPUT_SKIP(FILE,SIZE)  \
228  fprintf (FILE, "%s"HOST_WIDE_INT_PRINT_UNSIGNED"\n", SKIP_ASM_OP, (SIZE))
229
230/* This says how to output an assembler line
231   to define a global common symbol.  */
232
233#define COMMON_ASM_OP "\t.comm "
234
235#define ASM_OUTPUT_ALIGNED_COMMON(FILE, NAME, SIZE, ALIGN)	\
236  do { fputs (COMMON_ASM_OP, (FILE));			\
237       RS6000_OUTPUT_BASENAME ((FILE), (NAME));		\
238       if ((ALIGN) > 32)				\
239	 fprintf ((FILE), ","HOST_WIDE_INT_PRINT_UNSIGNED",%u\n", (SIZE), \
240		  exact_log2 ((ALIGN) / BITS_PER_UNIT)); \
241       else if ((SIZE) > 4)				\
242         fprintf ((FILE), ","HOST_WIDE_INT_PRINT_UNSIGNED",3\n", (SIZE)); \
243       else						\
244	 fprintf ((FILE), ","HOST_WIDE_INT_PRINT_UNSIGNED"\n", (SIZE)); \
245  } while (0)
246
247/* This says how to output an assembler line
248   to define a local common symbol.
249   Alignment cannot be specified, but we can try to maintain
250   alignment after preceding TOC section if it was aligned
251   for 64-bit mode.  */
252
253#define LOCAL_COMMON_ASM_OP "\t.lcomm "
254
255#define ASM_OUTPUT_LOCAL(FILE, NAME, SIZE, ROUNDED)	\
256  do { fputs (LOCAL_COMMON_ASM_OP, (FILE));		\
257       RS6000_OUTPUT_BASENAME ((FILE), (NAME));		\
258       fprintf ((FILE), ","HOST_WIDE_INT_PRINT_UNSIGNED",%s\n", \
259		(TARGET_32BIT ? (SIZE) : (ROUNDED)),	\
260		xcoff_bss_section_name);		\
261     } while (0)
262
263/* This is how we tell the assembler that two symbols have the same value.  */
264#define SET_ASM_OP "\t.set "
265
266/* This is how we tell the assembler to equate two values.  */
267#define ASM_OUTPUT_DEF(FILE,LABEL1,LABEL2)				\
268 do {	fprintf ((FILE), "%s", SET_ASM_OP);				\
269	RS6000_OUTPUT_BASENAME (FILE, LABEL1);				\
270	fprintf (FILE, ",");						\
271	RS6000_OUTPUT_BASENAME (FILE, LABEL2);				\
272	fprintf (FILE, "\n");						\
273  } while (0)
274
275/* Used by rs6000_assemble_integer, among others.  */
276#define DOUBLE_INT_ASM_OP "\t.llong\t"
277
278/* Output before instructions.  */
279#define TEXT_SECTION_ASM_OP "\t.csect .text[PR]"
280
281/* Output before writable data.
282   Align entire section to BIGGEST_ALIGNMENT.  */
283#define DATA_SECTION_ASM_OP "\t.csect .data[RW],3"
284
285/* Define to prevent DWARF2 unwind info in the data section rather
286   than in the .eh_frame section.  We do this because the AIX linker
287   would otherwise garbage collect these sections.  */
288#define EH_FRAME_IN_DATA_SECTION 1
289