1 /* Target definitions for PowerPC running Darwin (Mac OS X). 2 Copyright (C) 1997, 2000, 2001, 2003, 2004, 2005, 2006 3 Free Software Foundation, Inc. 4 Contributed by Apple Computer Inc. 5 6 This file is part of GCC. 7 8 GCC is free software; you can redistribute it and/or modify it 9 under the terms of the GNU General Public License as published 10 by the Free Software Foundation; either version 2, or (at your 11 option) any later version. 12 13 GCC is distributed in the hope that it will be useful, but WITHOUT 14 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY 15 or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public 16 License for more details. 17 18 You should have received a copy of the GNU General Public License 19 along with GCC; see the file COPYING. If not, write to the 20 Free Software Foundation, 51 Franklin Street, Fifth Floor, Boston, 21 MA 02110-1301, USA. */ 22 23 #undef TARGET_VERSION 24 #define TARGET_VERSION fprintf (stderr, " (Darwin/PowerPC)"); 25 26 /* The "Darwin ABI" is mostly like AIX, but with some key differences. */ 27 28 #define DEFAULT_ABI ABI_DARWIN 29 30 /* The object file format is Mach-O. */ 31 32 #define TARGET_OBJECT_FORMAT OBJECT_MACHO 33 34 /* We're not ever going to do TOCs. */ 35 36 #define TARGET_TOC 0 37 #define TARGET_NO_TOC 1 38 39 /* Override the default rs6000 definition. */ 40 #undef PTRDIFF_TYPE 41 #define PTRDIFF_TYPE (TARGET_64BIT ? "long int" : "int") 42 43 /* Translate config/rs6000/darwin.opt to config/darwin.h. */ 44 #define TARGET_DYNAMIC_NO_PIC (TARGET_MACHO_DYNAMIC_NO_PIC) 45 46 /* Handle #pragma weak and #pragma pack. */ 47 #define HANDLE_SYSV_PRAGMA 1 48 49 50 #define TARGET_OS_CPP_BUILTINS() \ 51 do \ 52 { \ 53 if (!TARGET_64BIT) builtin_define ("__ppc__"); \ 54 if (TARGET_64BIT) builtin_define ("__ppc64__"); \ 55 builtin_define ("__POWERPC__"); \ 56 builtin_define ("__NATURAL_ALIGNMENT__"); \ 57 darwin_cpp_builtins (pfile); \ 58 SUBTARGET_OS_CPP_BUILTINS (); \ 59 } \ 60 while (0) 61 62 63 /* The Darwin ABI always includes AltiVec, can't be (validly) turned 64 off. */ 65 66 #define SUBTARGET_OVERRIDE_OPTIONS \ 67 do { \ 68 rs6000_altivec_abi = 1; \ 69 TARGET_ALTIVEC_VRSAVE = 1; \ 70 if (DEFAULT_ABI == ABI_DARWIN) \ 71 { \ 72 if (MACHO_DYNAMIC_NO_PIC_P) \ 73 { \ 74 if (flag_pic) \ 75 warning (0, "-mdynamic-no-pic overrides -fpic or -fPIC"); \ 76 flag_pic = 0; \ 77 } \ 78 else if (flag_pic == 1) \ 79 { \ 80 /* Darwin doesn't support -fpic. */ \ 81 warning (0, "-fpic is not supported; -fPIC assumed"); \ 82 flag_pic = 2; \ 83 } \ 84 } \ 85 if (TARGET_64BIT && ! TARGET_POWERPC64) \ 86 { \ 87 target_flags |= MASK_POWERPC64; \ 88 warning (0, "-m64 requires PowerPC64 architecture, enabling"); \ 89 } \ 90 } while(0) 91 92 /* Darwin has 128-bit long double support in libc in 10.4 and later. 93 Default to 128-bit long doubles even on earlier platforms for ABI 94 consistency; arithmetic will work even if libc and libm support is 95 not available. */ 96 97 #define RS6000_DEFAULT_LONG_DOUBLE_SIZE 128 98 99 100 /* We want -fPIC by default, unless we're using -static to compile for 101 the kernel or some such. */ 102 103 #define CC1_SPEC "\ 104 %{g: %{!fno-eliminate-unused-debug-symbols: -feliminate-unused-debug-symbols }} \ 105 %{static: %{Zdynamic: %e conflicting code gen style switches are used}}\ 106 %{!static:%{!mdynamic-no-pic:-fPIC}}" 107 108 #define DARWIN_SUBARCH_SPEC " \ 109 %{m64: ppc64} \ 110 %{!m64: \ 111 %{mcpu=601:ppc601; \ 112 mcpu=603:ppc603; \ 113 mcpu=603e:ppc603; \ 114 mcpu=604:ppc604; \ 115 mcpu=604e:ppc604e; \ 116 mcpu=740:ppc750; \ 117 mcpu=750:ppc750; \ 118 mcpu=G3:ppc750; \ 119 mcpu=7400:ppc7400; \ 120 mcpu=G4:ppc7400; \ 121 mcpu=7450:ppc7450; \ 122 mcpu=970:ppc970; \ 123 mcpu=power4:ppc970; \ 124 mcpu=G5:ppc970; \ 125 :ppc}}" 126 127 /* crt2.o is at least partially required for 10.3.x and earlier. */ 128 #define DARWIN_CRT2_SPEC \ 129 "%{!m64:%:version-compare(!> 10.4 mmacosx-version-min= crt2.o%s)}" 130 131 #undef SUBTARGET_EXTRA_SPECS 132 #define SUBTARGET_EXTRA_SPECS \ 133 { "darwin_arch", "%{m64:ppc64;:ppc}" }, \ 134 { "darwin_crt2", DARWIN_CRT2_SPEC }, \ 135 { "darwin_subarch", DARWIN_SUBARCH_SPEC }, 136 137 /* Output a .machine directive. */ 138 #undef TARGET_ASM_FILE_START 139 #define TARGET_ASM_FILE_START rs6000_darwin_file_start 140 141 /* The "-faltivec" option should have been called "-maltivec" all 142 along. -ffix-and-continue and -findirect-data is for compatibility 143 for old compilers. */ 144 145 #define SUBTARGET_OPTION_TRANSLATE_TABLE \ 146 { "-ffix-and-continue", "-mfix-and-continue" }, \ 147 { "-findirect-data", "-mfix-and-continue" }, \ 148 { "-faltivec", "-maltivec -include altivec.h" }, \ 149 { "-fno-altivec", "-mno-altivec" }, \ 150 { "-Waltivec-long-deprecated", "-mwarn-altivec-long" }, \ 151 { "-Wno-altivec-long-deprecated", "-mno-warn-altivec-long" } 152 153 /* Make both r2 and r13 available for allocation. */ 154 #define FIXED_R2 0 155 #define FIXED_R13 0 156 157 /* Base register for access to local variables of the function. */ 158 159 #undef HARD_FRAME_POINTER_REGNUM 160 #define HARD_FRAME_POINTER_REGNUM 30 161 162 #undef RS6000_PIC_OFFSET_TABLE_REGNUM 163 #define RS6000_PIC_OFFSET_TABLE_REGNUM 31 164 165 /* Pad the outgoing args area to 16 bytes instead of the usual 8. */ 166 167 #undef STARTING_FRAME_OFFSET 168 #define STARTING_FRAME_OFFSET \ 169 (FRAME_GROWS_DOWNWARD \ 170 ? 0 \ 171 : (RS6000_ALIGN (current_function_outgoing_args_size, 16) \ 172 + RS6000_SAVE_AREA)) 173 174 #undef STACK_DYNAMIC_OFFSET 175 #define STACK_DYNAMIC_OFFSET(FUNDECL) \ 176 (RS6000_ALIGN (current_function_outgoing_args_size, 16) \ 177 + (STACK_POINTER_OFFSET)) 178 179 /* These are used by -fbranch-probabilities */ 180 #define HOT_TEXT_SECTION_NAME "__TEXT,__text,regular,pure_instructions" 181 #define UNLIKELY_EXECUTED_TEXT_SECTION_NAME \ 182 "__TEXT,__unlikely,regular,pure_instructions" 183 184 /* Define cutoff for using external functions to save floating point. 185 Currently on Darwin, always use inline stores. */ 186 187 #undef FP_SAVE_INLINE 188 #define FP_SAVE_INLINE(FIRST_REG) ((FIRST_REG) < 64) 189 190 /* Darwin uses a function call if everything needs to be saved/restored. */ 191 #undef WORLD_SAVE_P 192 #define WORLD_SAVE_P(INFO) ((INFO)->world_save_p) 193 194 /* The assembler wants the alternate register names, but without 195 leading percent sign. */ 196 #undef REGISTER_NAMES 197 #define REGISTER_NAMES \ 198 { \ 199 "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7", \ 200 "r8", "r9", "r10", "r11", "r12", "r13", "r14", "r15", \ 201 "r16", "r17", "r18", "r19", "r20", "r21", "r22", "r23", \ 202 "r24", "r25", "r26", "r27", "r28", "r29", "r30", "r31", \ 203 "f0", "f1", "f2", "f3", "f4", "f5", "f6", "f7", \ 204 "f8", "f9", "f10", "f11", "f12", "f13", "f14", "f15", \ 205 "f16", "f17", "f18", "f19", "f20", "f21", "f22", "f23", \ 206 "f24", "f25", "f26", "f27", "f28", "f29", "f30", "f31", \ 207 "mq", "lr", "ctr", "ap", \ 208 "cr0", "cr1", "cr2", "cr3", "cr4", "cr5", "cr6", "cr7", \ 209 "xer", \ 210 "v0", "v1", "v2", "v3", "v4", "v5", "v6", "v7", \ 211 "v8", "v9", "v10", "v11", "v12", "v13", "v14", "v15", \ 212 "v16", "v17", "v18", "v19", "v20", "v21", "v22", "v23", \ 213 "v24", "v25", "v26", "v27", "v28", "v29", "v30", "v31", \ 214 "vrsave", "vscr", \ 215 "spe_acc", "spefscr", \ 216 "sfp" \ 217 } 218 219 /* This outputs NAME to FILE. */ 220 221 #undef RS6000_OUTPUT_BASENAME 222 #define RS6000_OUTPUT_BASENAME(FILE, NAME) \ 223 assemble_name (FILE, NAME) 224 225 /* Globalizing directive for a label. */ 226 #undef GLOBAL_ASM_OP 227 #define GLOBAL_ASM_OP "\t.globl " 228 #undef TARGET_ASM_GLOBALIZE_LABEL 229 230 /* This is how to output an internal label prefix. rs6000.c uses this 231 when generating traceback tables. */ 232 /* Not really used for Darwin? */ 233 234 #undef ASM_OUTPUT_INTERNAL_LABEL_PREFIX 235 #define ASM_OUTPUT_INTERNAL_LABEL_PREFIX(FILE,PREFIX) \ 236 fprintf (FILE, "%s", PREFIX) 237 238 /* This says how to output an assembler line to define a global common 239 symbol. */ 240 /* ? */ 241 #undef ASM_OUTPUT_ALIGNED_COMMON 242 #define ASM_OUTPUT_COMMON(FILE, NAME, SIZE, ROUNDED) \ 243 do { \ 244 unsigned HOST_WIDE_INT _new_size = SIZE; \ 245 fputs (".comm ", (FILE)); \ 246 RS6000_OUTPUT_BASENAME ((FILE), (NAME)); \ 247 if (_new_size == 0) _new_size = 1; \ 248 fprintf ((FILE), ","HOST_WIDE_INT_PRINT_UNSIGNED"\n", _new_size); \ 249 } while (0) 250 251 /* Override the standard rs6000 definition. */ 252 253 #undef ASM_COMMENT_START 254 #define ASM_COMMENT_START ";" 255 256 /* FP save and restore routines. */ 257 #define SAVE_FP_PREFIX "._savef" 258 #define SAVE_FP_SUFFIX "" 259 #define RESTORE_FP_PREFIX "._restf" 260 #define RESTORE_FP_SUFFIX "" 261 262 /* This is how to output an assembler line that says to advance 263 the location counter to a multiple of 2**LOG bytes using the 264 "nop" instruction as padding. */ 265 266 #define ASM_OUTPUT_ALIGN_WITH_NOP(FILE,LOG) \ 267 do \ 268 { \ 269 if ((LOG) < 3) \ 270 { \ 271 ASM_OUTPUT_ALIGN (FILE,LOG); \ 272 } \ 273 else /* nop == ori r0,r0,0 */ \ 274 fprintf (FILE, "\t.align32 %d,0x60000000\n", (LOG)); \ 275 } while (0) 276 277 /* Generate insns to call the profiler. */ 278 279 #ifdef HAVE_GAS_MAX_SKIP_P2ALIGN 280 /* This is supported in cctools 465 and later. The macro test 281 above prevents using it in earlier build environments. */ 282 #define ASM_OUTPUT_MAX_SKIP_ALIGN(FILE,LOG,MAX_SKIP) \ 283 if ((LOG) != 0) \ 284 { \ 285 if ((MAX_SKIP) == 0) \ 286 fprintf ((FILE), "\t.p2align %d\n", (LOG)); \ 287 else \ 288 fprintf ((FILE), "\t.p2align %d,,%d\n", (LOG), (MAX_SKIP)); \ 289 } 290 #endif 291 292 #define PROFILE_HOOK(LABEL) output_profile_hook (LABEL) 293 294 /* Function name to call to do profiling. */ 295 296 #define RS6000_MCOUNT "*mcount" 297 298 /* Default processor: G4, and G5 for 64-bit. */ 299 300 #undef PROCESSOR_DEFAULT 301 #define PROCESSOR_DEFAULT PROCESSOR_PPC7400 302 #undef PROCESSOR_DEFAULT64 303 #define PROCESSOR_DEFAULT64 PROCESSOR_POWER4 304 305 /* Default target flag settings. Despite the fact that STMW/LMW 306 serializes, it's still a big code size win to use them. Use FSEL by 307 default as well. */ 308 309 #undef TARGET_DEFAULT 310 #define TARGET_DEFAULT (MASK_POWERPC | MASK_MULTIPLE | MASK_NEW_MNEMONICS \ 311 | MASK_PPC_GFXOPT) 312 313 /* Darwin only runs on PowerPC, so short-circuit POWER patterns. */ 314 #undef TARGET_POWER 315 #define TARGET_POWER 0 316 #undef TARGET_IEEEQUAD 317 #define TARGET_IEEEQUAD 0 318 319 /* Since Darwin doesn't do TOCs, stub this out. */ 320 321 #define ASM_OUTPUT_SPECIAL_POOL_ENTRY_P(X, MODE) 0 322 323 /* Unlike most other PowerPC targets, chars are signed, for 324 consistency with other Darwin architectures. */ 325 326 #undef DEFAULT_SIGNED_CHAR 327 #define DEFAULT_SIGNED_CHAR (1) 328 329 /* Given an rtx X being reloaded into a reg required to be 330 in class CLASS, return the class of reg to actually use. 331 In general this is just CLASS; but on some machines 332 in some cases it is preferable to use a more restrictive class. 333 334 On the RS/6000, we have to return NO_REGS when we want to reload a 335 floating-point CONST_DOUBLE to force it to be copied to memory. 336 337 Don't allow R0 when loading the address of, or otherwise furtling with, 338 a SYMBOL_REF. */ 339 340 #undef PREFERRED_RELOAD_CLASS 341 #define PREFERRED_RELOAD_CLASS(X,CLASS) \ 342 ((CONSTANT_P (X) \ 343 && reg_classes_intersect_p ((CLASS), FLOAT_REGS)) \ 344 ? NO_REGS \ 345 : ((GET_CODE (X) == SYMBOL_REF || GET_CODE (X) == HIGH) \ 346 && reg_class_subset_p (BASE_REGS, (CLASS))) \ 347 ? BASE_REGS \ 348 : (GET_MODE_CLASS (GET_MODE (X)) == MODE_INT \ 349 && (CLASS) == NON_SPECIAL_REGS) \ 350 ? GENERAL_REGS \ 351 : (CLASS)) 352 353 /* Fix for emit_group_load (): force large constants to be pushed via regs. */ 354 #define ALWAYS_PUSH_CONSTS_USING_REGS_P 1 355 356 /* This now supports a natural alignment mode */ 357 /* Darwin word-aligns FP doubles but doubleword-aligns 64-bit ints. */ 358 #define ADJUST_FIELD_ALIGN(FIELD, COMPUTED) \ 359 (TARGET_ALIGN_NATURAL ? (COMPUTED) : \ 360 (TYPE_MODE (TREE_CODE (TREE_TYPE (FIELD)) == ARRAY_TYPE \ 361 ? get_inner_array_type (FIELD) \ 362 : TREE_TYPE (FIELD)) == DFmode \ 363 ? MIN ((COMPUTED), 32) : (COMPUTED))) 364 365 /* Darwin increases natural record alignment to doubleword if the first 366 field is an FP double while the FP fields remain word aligned. */ 367 #define ROUND_TYPE_ALIGN(STRUCT, COMPUTED, SPECIFIED) \ 368 ((TREE_CODE (STRUCT) == RECORD_TYPE \ 369 || TREE_CODE (STRUCT) == UNION_TYPE \ 370 || TREE_CODE (STRUCT) == QUAL_UNION_TYPE) \ 371 && TARGET_ALIGN_NATURAL == 0 \ 372 ? rs6000_special_round_type_align (STRUCT, COMPUTED, SPECIFIED) \ 373 : (TREE_CODE (STRUCT) == VECTOR_TYPE \ 374 && ALTIVEC_VECTOR_MODE (TYPE_MODE (STRUCT))) \ 375 ? MAX (MAX ((COMPUTED), (SPECIFIED)), 128) \ 376 : MAX ((COMPUTED), (SPECIFIED))) 377 378 /* Specify padding for the last element of a block move between 379 registers and memory. FIRST is nonzero if this is the only 380 element. */ 381 #define BLOCK_REG_PADDING(MODE, TYPE, FIRST) \ 382 (!(FIRST) ? upward : FUNCTION_ARG_PADDING (MODE, TYPE)) 383 384 /* XXX: Darwin supports neither .quad, or .llong, but it also doesn't 385 support 64 bit PowerPC either, so this just keeps things happy. */ 386 #define DOUBLE_INT_ASM_OP "\t.quad\t" 387 388 /* For binary compatibility with 2.95; Darwin C APIs use bool from 389 stdbool.h, which was an int-sized enum in 2.95. Users can explicitly 390 choose to have sizeof(bool)==1 with the -mone-byte-bool switch. */ 391 #define BOOL_TYPE_SIZE (darwin_one_byte_bool ? CHAR_TYPE_SIZE : INT_TYPE_SIZE) 392 393 #undef REGISTER_TARGET_PRAGMAS 394 #define REGISTER_TARGET_PRAGMAS() \ 395 do \ 396 { \ 397 DARWIN_REGISTER_TARGET_PRAGMAS(); \ 398 targetm.resolve_overloaded_builtin = altivec_resolve_overloaded_builtin; \ 399 } \ 400 while (0) 401 402 #ifdef IN_LIBGCC2 403 #include <stdbool.h> 404 #endif 405 406 #define MD_UNWIND_SUPPORT "config/rs6000/darwin-unwind.h" 407 408 #define HAS_MD_FALLBACK_FRAME_STATE_FOR 1 409 410 /* True, iff we're generating fast turn around debugging code. When 411 true, we arrange for function prologues to start with 5 nops so 412 that gdb may insert code to redirect them, and for data to be 413 accessed indirectly. The runtime uses this indirection to forward 414 references for data to the original instance of that data. */ 415 416 #define TARGET_FIX_AND_CONTINUE (darwin_fix_and_continue) 417 418 /* This is the reserved direct dispatch address for Objective-C. */ 419 #define OFFS_MSGSEND_FAST 0xFFFEFF00 420 421 /* This is the reserved ivar address Objective-C. */ 422 #define OFFS_ASSIGNIVAR_FAST 0xFFFEFEC0 423 424 /* Old versions of Mac OS/Darwin don't have C99 functions available. */ 425 #undef TARGET_C99_FUNCTIONS 426 #define TARGET_C99_FUNCTIONS \ 427 (TARGET_64BIT \ 428 || (darwin_macosx_version_min \ 429 && strverscmp (darwin_macosx_version_min, "10.3") >= 0)) 430