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