gcc/config/rs6000/darwin.h

   1 /* Target definitions for PowerPC running Darwin (Mac OS X).
   2    Copyright (C) 1997, 2000, 2001, 2003, 2004, 2005, 2006, 2007, 2008, 2010,
   3    2011 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 3, 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 COPYING3.  If not see
  20    <http://www.gnu.org/licenses/>.  */
  21
  22 #undef DARWIN_PPC
  23 #define DARWIN_PPC 1
  24
  25 /* The "Darwin ABI" is mostly like AIX, but with some key differences.  */
  26
  27 #define DEFAULT_ABI ABI_DARWIN
  28
  29 #ifdef IN_LIBGCC2
  30 #undef TARGET_64BIT
  31 #ifdef __powerpc64__
  32 #define TARGET_64BIT 1
  33 #else
  34 #define TARGET_64BIT 0
  35 #endif
  36 #endif
  37
  38 /* The object file format is Mach-O.  */
  39
  40 #define TARGET_OBJECT_FORMAT OBJECT_MACHO
  41
  42 /* Size of the Obj-C jump buffer.  */
  43 #define OBJC_JBLEN ((TARGET_64BIT) ? (26*2 + 18*2 + 129 + 1) : (26 + 18*2 + 129 + 1))
  44
  45 /* We're not ever going to do TOCs.  */
  46
  47 #define TARGET_TOC 0
  48 #define TARGET_NO_TOC 1
  49
  50 /* Override the default rs6000 definition.  */
  51 #undef  PTRDIFF_TYPE
  52 #define PTRDIFF_TYPE (TARGET_64BIT ? "long int" : "int")
  53
  54 #define TARGET_OS_CPP_BUILTINS()                        \
  55   do                                                    \
  56     {                                                   \
  57       if (!TARGET_64BIT) builtin_define ("__ppc__");    \
  58       if (TARGET_64BIT) builtin_define ("__ppc64__");   \
  59       builtin_define ("__POWERPC__");                   \
  60       builtin_define ("__NATURAL_ALIGNMENT__");         \
  61       darwin_cpp_builtins (pfile);                      \
  62     }                                                   \
  63   while (0)
  64
  65 /* Generate branch islands stubs if this is true.  */
  66 extern int darwin_emit_branch_islands;
  67
  68 #define SUBTARGET_OVERRIDE_OPTIONS darwin_rs6000_override_options ()
  69
  70 #define C_COMMON_OVERRIDE_OPTIONS do {                                  \
  71   /* On powerpc, __cxa_get_exception_ptr is available starting in the   \
  72      10.4.6 libstdc++.dylib.  */                                        \
  73   if (strverscmp (darwin_macosx_version_min, "10.4.6") < 0              \
  74       && flag_use_cxa_get_exception_ptr == 2)                           \
  75     flag_use_cxa_get_exception_ptr = 0;                                 \
  76   if (flag_mkernel)                                                     \
  77     flag_no_builtin = 1;                                                \
  78   SUBTARGET_C_COMMON_OVERRIDE_OPTIONS;                                  \
  79 } while (0)
  80
  81 /* Darwin has 128-bit long double support in libc in 10.4 and later.
  82    Default to 128-bit long doubles even on earlier platforms for ABI
  83    consistency; arithmetic will work even if libc and libm support is
  84    not available.  */
  85
  86 #define RS6000_DEFAULT_LONG_DOUBLE_SIZE 128
  87
  88
  89 /* We want -fPIC by default, unless we're using -static to compile for
  90    the kernel or some such.  The "-faltivec" option should have been
  91    called "-maltivec" all along.  */
  92
  93 #define CC1_SPEC "\
  94   %(cc1_cpu) \
  95   %{g: %{!fno-eliminate-unused-debug-symbols: -feliminate-unused-debug-symbols }} \
  96   %{static: %{Zdynamic: %e conflicting code gen style switches are used}}\
  97   %{!mmacosx-version-min=*:-mmacosx-version-min=%(darwin_minversion)} \
  98   %{!mkernel:%{!static:%{!mdynamic-no-pic:-fPIC}}} \
  99   %{faltivec:-maltivec -include altivec.h} %{fno-altivec:-mno-altivec} \
 100   %<faltivec %<fno-altivec " \
 101   DARWIN_CC1_SPEC
 102
 103 #define DARWIN_ARCH_SPEC "%{m64:ppc64;:ppc}"
 104
 105 #define DARWIN_SUBARCH_SPEC "                   \
 106  %{m64: ppc64}                                  \
 107  %{!m64:                                        \
 108  %{mcpu=601:ppc601;                             \
 109    mcpu=603:ppc603;                             \
 110    mcpu=603e:ppc603;                            \
 111    mcpu=604:ppc604;                             \
 112    mcpu=604e:ppc604e;                           \
 113    mcpu=740:ppc750;                             \
 114    mcpu=750:ppc750;                             \
 115    mcpu=G3:ppc750;                              \
 116    mcpu=7400:ppc7400;                           \
 117    mcpu=G4:ppc7400;                             \
 118    mcpu=7450:ppc7450;                           \
 119    mcpu=970:ppc970;                             \
 120    mcpu=power4:ppc970;                          \
 121    mcpu=G5:ppc970;                              \
 122    :ppc}}"
 123
 124 /* crt2.o is at least partially required for 10.3.x and earlier.  */
 125 #define DARWIN_CRT2_SPEC \
 126   "%{!m64:%:version-compare(!> 10.4 mmacosx-version-min= crt2.o%s)}"
 127
 128 /* Determine a minimum version based on compiler options.  */
 129 #define DARWIN_MINVERSION_SPEC                                  \
 130   "%{m64:%{fgnu-runtime:10.4;                                   \
 131            ,objective-c|,objc-cpp-output:10.5;                  \
 132            ,objective-c-header:10.5;                            \
 133            ,objective-c++|,objective-c++-cpp-output:10.5;       \
 134            ,objective-c++-header|,objc++-cpp-output:10.5;       \
 135            :10.4};                                              \
 136      shared-libgcc:10.3;                                        \
 137      :10.1}"
 138
 139 #undef SUBTARGET_EXTRA_SPECS
 140 #define SUBTARGET_EXTRA_SPECS                   \
 141   DARWIN_EXTRA_SPECS                            \
 142   { "darwin_arch", DARWIN_ARCH_SPEC },          \
 143   { "darwin_crt2", DARWIN_CRT2_SPEC },          \
 144   { "darwin_subarch", DARWIN_SUBARCH_SPEC },
 145
 146 /* Output a .machine directive.  */
 147 #undef TARGET_ASM_FILE_START
 148 #define TARGET_ASM_FILE_START rs6000_darwin_file_start
 149
 150 /* Make both r2 and r13 available for allocation.  */
 151 #define FIXED_R2 0
 152 #define FIXED_R13 0
 153
 154 /* Base register for access to local variables of the function.  */
 155
 156 #undef  HARD_FRAME_POINTER_REGNUM
 157 #define HARD_FRAME_POINTER_REGNUM 30
 158
 159 #undef  RS6000_PIC_OFFSET_TABLE_REGNUM
 160 #define RS6000_PIC_OFFSET_TABLE_REGNUM 31
 161
 162 /* Pad the outgoing args area to 16 bytes instead of the usual 8.  */
 163
 164 #undef STARTING_FRAME_OFFSET
 165 #define STARTING_FRAME_OFFSET                                           \
 166   (FRAME_GROWS_DOWNWARD                                                 \
 167    ? 0                                                                  \
 168    : (RS6000_ALIGN (crtl->outgoing_args_size, 16)               \
 169       + RS6000_SAVE_AREA))
 170
 171 #undef STACK_DYNAMIC_OFFSET
 172 #define STACK_DYNAMIC_OFFSET(FUNDECL)                                   \
 173   (RS6000_ALIGN (crtl->outgoing_args_size, 16)          \
 174    + (STACK_POINTER_OFFSET))
 175
 176 /* Define cutoff for using external functions to save floating point.
 177    Currently on Darwin, always use inline stores.  */
 178
 179 #undef  FP_SAVE_INLINE
 180 #define FP_SAVE_INLINE(FIRST_REG) ((FIRST_REG) < 64)
 181 #undef GP_SAVE_INLINE
 182 #define GP_SAVE_INLINE(FIRST_REG) ((FIRST_REG) < 32)
 183
 184 /* Darwin uses a function call if everything needs to be saved/restored.  */
 185 #undef WORLD_SAVE_P
 186 #define WORLD_SAVE_P(INFO) ((INFO)->world_save_p)
 187
 188 /* The assembler wants the alternate register names, but without
 189    leading percent sign.  */
 190 #undef REGISTER_NAMES
 191 #define REGISTER_NAMES                                                  \
 192 {                                                                       \
 193      "r0",  "r1",  "r2",  "r3",  "r4",  "r5",  "r6",  "r7",             \
 194      "r8",  "r9", "r10", "r11", "r12", "r13", "r14", "r15",             \
 195     "r16", "r17", "r18", "r19", "r20", "r21", "r22", "r23",             \
 196     "r24", "r25", "r26", "r27", "r28", "r29", "r30", "r31",             \
 197      "f0",  "f1",  "f2",  "f3",  "f4",  "f5",  "f6",  "f7",             \
 198      "f8",  "f9", "f10", "f11", "f12", "f13", "f14", "f15",             \
 199     "f16", "f17", "f18", "f19", "f20", "f21", "f22", "f23",             \
 200     "f24", "f25", "f26", "f27", "f28", "f29", "f30", "f31",             \
 201      "mq",  "lr", "ctr",  "ap",                                         \
 202     "cr0", "cr1", "cr2", "cr3", "cr4", "cr5", "cr6", "cr7",             \
 203     "xer",                                                              \
 204      "v0",  "v1",  "v2",  "v3",  "v4",  "v5",  "v6",  "v7",             \
 205      "v8",  "v9", "v10", "v11", "v12", "v13", "v14", "v15",             \
 206     "v16", "v17", "v18", "v19", "v20", "v21", "v22", "v23",             \
 207     "v24", "v25", "v26", "v27", "v28", "v29", "v30", "v31",             \
 208     "vrsave", "vscr",                                                   \
 209     "spe_acc", "spefscr",                                               \
 210     "sfp"                                                               \
 211 }
 212
 213 /* This outputs NAME to FILE.  */
 214
 215 #undef  RS6000_OUTPUT_BASENAME
 216 #define RS6000_OUTPUT_BASENAME(FILE, NAME)      \
 217     assemble_name (FILE, NAME)
 218
 219 /* Globalizing directive for a label.  */
 220 #undef GLOBAL_ASM_OP
 221 #define GLOBAL_ASM_OP "\t.globl "
 222 #undef TARGET_ASM_GLOBALIZE_LABEL
 223
 224 /* This is how to output an internal label prefix.  rs6000.c uses this
 225    when generating traceback tables.  */
 226 /* Not really used for Darwin?  */
 227
 228 #undef ASM_OUTPUT_INTERNAL_LABEL_PREFIX
 229 #define ASM_OUTPUT_INTERNAL_LABEL_PREFIX(FILE,PREFIX)   \
 230   fprintf (FILE, "%s", PREFIX)
 231
 232 /* Override the standard rs6000 definition.  */
 233
 234 #undef ASM_COMMENT_START
 235 #define ASM_COMMENT_START ";"
 236
 237 /* FP save and restore routines.  */
 238 #define SAVE_FP_PREFIX "._savef"
 239 #define SAVE_FP_SUFFIX ""
 240 #define RESTORE_FP_PREFIX "._restf"
 241 #define RESTORE_FP_SUFFIX ""
 242
 243 /* This is how to output an assembler line that says to advance
 244    the location counter to a multiple of 2**LOG bytes using the
 245    "nop" instruction as padding.  */
 246
 247 #define ASM_OUTPUT_ALIGN_WITH_NOP(FILE,LOG)                   \
 248   do                                                          \
 249     {                                                         \
 250       if ((LOG) < 3)                                          \
 251         {                                                     \
 252           ASM_OUTPUT_ALIGN (FILE,LOG);                        \
 253         }                                                     \
 254       else /* nop == ori r0,r0,0 */                           \
 255         fprintf (FILE, "\t.align32 %d,0x60000000\n", (LOG));  \
 256     } while (0)
 257
 258 #ifdef HAVE_GAS_MAX_SKIP_P2ALIGN
 259 /* This is supported in cctools 465 and later.  The macro test
 260    above prevents using it in earlier build environments.  */
 261 #define ASM_OUTPUT_MAX_SKIP_ALIGN(FILE,LOG,MAX_SKIP)          \
 262   if ((LOG) != 0)                                             \
 263     {                                                         \
 264       if ((MAX_SKIP) == 0)                                    \
 265         fprintf ((FILE), "\t.p2align %d\n", (LOG));           \
 266       else                                                    \
 267         fprintf ((FILE), "\t.p2align %d,,%d\n", (LOG), (MAX_SKIP)); \
 268     }
 269 #endif
 270
 271 /* Generate insns to call the profiler.  */
 272
 273 #define PROFILE_HOOK(LABEL)   output_profile_hook (LABEL)
 274
 275 /* Function name to call to do profiling.  */
 276
 277 #define RS6000_MCOUNT "*mcount"
 278
 279 /* Default processor: G4, and G5 for 64-bit.  */
 280
 281 #undef PROCESSOR_DEFAULT
 282 #define PROCESSOR_DEFAULT  PROCESSOR_PPC7400
 283 #undef PROCESSOR_DEFAULT64
 284 #define PROCESSOR_DEFAULT64  PROCESSOR_POWER4
 285
 286 /* Default target flag settings.  Despite the fact that STMW/LMW
 287    serializes, it's still a big code size win to use them.  Use FSEL by
 288    default as well.  */
 289
 290 #undef  TARGET_DEFAULT
 291 #define TARGET_DEFAULT (MASK_POWERPC | MASK_MULTIPLE | MASK_NEW_MNEMONICS \
 292                       | MASK_PPC_GFXOPT)
 293
 294 /* Darwin only runs on PowerPC, so short-circuit POWER patterns.  */
 295 #undef  TARGET_POWER
 296 #define TARGET_POWER 0
 297 #undef  TARGET_IEEEQUAD
 298 #define TARGET_IEEEQUAD 0
 299
 300 /* Since Darwin doesn't do TOCs, stub this out.  */
 301
 302 #define ASM_OUTPUT_SPECIAL_POOL_ENTRY_P(X, MODE)  ((void)X, (void)MODE, 0)
 303
 304 /* Unlike most other PowerPC targets, chars are signed, for
 305    consistency with other Darwin architectures.  */
 306
 307 #undef DEFAULT_SIGNED_CHAR
 308 #define DEFAULT_SIGNED_CHAR (1)
 309
 310 /* Given an rtx X being reloaded into a reg required to be
 311    in class CLASS, return the class of reg to actually use.
 312    In general this is just CLASS; but on some machines
 313    in some cases it is preferable to use a more restrictive class.
 314
 315    On the RS/6000, we have to return NO_REGS when we want to reload a
 316    floating-point CONST_DOUBLE to force it to be copied to memory.
 317
 318    Don't allow R0 when loading the address of, or otherwise furtling with,
 319    a SYMBOL_REF.  */
 320
 321 #undef PREFERRED_RELOAD_CLASS
 322 #define PREFERRED_RELOAD_CLASS(X,CLASS)                         \
 323   ((CONSTANT_P (X)                                              \
 324     && reg_classes_intersect_p ((CLASS), FLOAT_REGS))           \
 325    ? NO_REGS                                                    \
 326    : ((GET_CODE (X) == SYMBOL_REF || GET_CODE (X) == HIGH)      \
 327       && reg_class_subset_p (BASE_REGS, (CLASS)))               \
 328    ? BASE_REGS                                                  \
 329    : (GET_MODE_CLASS (GET_MODE (X)) == MODE_INT                 \
 330       && (CLASS) == NON_SPECIAL_REGS)                           \
 331    ? GENERAL_REGS                                               \
 332    : (CLASS))
 333
 334 /* Compute field alignment.  This is similar to the version of the
 335    macro in the Apple version of GCC, except that version supports
 336    'mac68k' alignment, and that version uses the computed alignment
 337    always for the first field of a structure.  The first-field
 338    behavior is dealt with by
 339    darwin_rs6000_special_round_type_align.  */
 340 #define ADJUST_FIELD_ALIGN(FIELD, COMPUTED)     \
 341   (TARGET_ALIGN_NATURAL ? (COMPUTED)            \
 342    : (COMPUTED) == 128 ? 128                    \
 343    : MIN ((COMPUTED), 32))
 344
 345 /* Darwin increases natural record alignment to doubleword if the first
 346    field is an FP double while the FP fields remain word aligned.  */
 347 #define ROUND_TYPE_ALIGN(STRUCT, COMPUTED, SPECIFIED)                     \
 348   ((TREE_CODE (STRUCT) == RECORD_TYPE                                     \
 349     || TREE_CODE (STRUCT) == UNION_TYPE                                   \
 350     || TREE_CODE (STRUCT) == QUAL_UNION_TYPE)                             \
 351    && TARGET_ALIGN_NATURAL == 0                                           \
 352    ? darwin_rs6000_special_round_type_align (STRUCT, COMPUTED, SPECIFIED) \
 353    : (TREE_CODE (STRUCT) == VECTOR_TYPE                                   \
 354       && ALTIVEC_VECTOR_MODE (TYPE_MODE (STRUCT)))                        \
 355    ? MAX (MAX ((COMPUTED), (SPECIFIED)), 128)                             \
 356    : MAX ((COMPUTED), (SPECIFIED)))
 357
 358 /* Specify padding for the last element of a block move between
 359    registers and memory.  FIRST is nonzero if this is the only
 360    element.  */
 361 #define BLOCK_REG_PADDING(MODE, TYPE, FIRST) \
 362   (!(FIRST) ? upward : FUNCTION_ARG_PADDING (MODE, TYPE))
 363
 364 #define DOUBLE_INT_ASM_OP "\t.quad\t"
 365
 366 /* For binary compatibility with 2.95; Darwin C APIs use bool from
 367    stdbool.h, which was an int-sized enum in 2.95.  Users can explicitly
 368    choose to have sizeof(bool)==1 with the -mone-byte-bool switch. */
 369 #define BOOL_TYPE_SIZE (darwin_one_byte_bool ? CHAR_TYPE_SIZE : INT_TYPE_SIZE)
 370
 371 #undef REGISTER_TARGET_PRAGMAS
 372 #define REGISTER_TARGET_PRAGMAS() \
 373   do \
 374     { \
 375       DARWIN_REGISTER_TARGET_PRAGMAS(); \
 376       targetm.resolve_overloaded_builtin = altivec_resolve_overloaded_builtin; \
 377     } \
 378   while (0)
 379
 380 #ifdef IN_LIBGCC2
 381 #include <stdbool.h>
 382 #endif
 383
 384 /* True, iff we're generating fast turn around debugging code.  When
 385    true, we arrange for function prologues to start with 5 nops so
 386    that gdb may insert code to redirect them, and for data to be
 387    accessed indirectly.  The runtime uses this indirection to forward
 388    references for data to the original instance of that data.  */
 389
 390 #define TARGET_FIX_AND_CONTINUE (darwin_fix_and_continue)
 391
 392 /* This is the reserved direct dispatch address for Objective-C.  */
 393 #define OFFS_MSGSEND_FAST               0xFFFEFF00
 394
 395 /* This is the reserved ivar address Objective-C.  */
 396 #define OFFS_ASSIGNIVAR_FAST            0xFFFEFEC0
 397
 398 /* Old versions of Mac OS/Darwin don't have C99 functions available.  */
 399 #undef TARGET_C99_FUNCTIONS
 400 #define TARGET_C99_FUNCTIONS                                    \
 401   (TARGET_64BIT                                                 \
 402    || strverscmp (darwin_macosx_version_min, "10.3") >= 0)
 403
 404 /* When generating kernel code or kexts, we don't use Altivec by
 405    default, as kernel code doesn't save/restore those registers.  */
 406 #define OS_MISSING_ALTIVEC (flag_mkernel || flag_apple_kext)
 407
 408 /* Darwin has support for section anchors on powerpc*.
 409    It is disabled for any section containing a "zero-sized item" (because these
 410    are re-written as size=1 to be compatible with the OSX ld64).
 411    The re-writing would interfere with the computation of anchor offsets.
 412    Therefore, we place zero-sized items in their own sections and make such
 413    sections unavailable to section anchoring.  */
 414
 415 #undef TARGET_ASM_OUTPUT_ANCHOR
 416 #define TARGET_ASM_OUTPUT_ANCHOR darwin_asm_output_anchor
 417
 418 #undef TARGET_USE_ANCHORS_FOR_SYMBOL_P
 419 #define TARGET_USE_ANCHORS_FOR_SYMBOL_P darwin_use_anchors_for_symbol_p
 420
 421 #undef DARWIN_SECTION_ANCHORS
 422 #define DARWIN_SECTION_ANCHORS 1
 423
 424 /* PPC Darwin has to rename some of the long double builtins.  */
 425 #undef  SUBTARGET_INIT_BUILTINS
 426 #define SUBTARGET_INIT_BUILTINS                                         \
 427 do {                                                                    \
 428   darwin_patch_builtins ();                                             \
 429   rs6000_builtin_decls[(unsigned) (RS6000_BUILTIN_CFSTRING)]            \
 430     = darwin_init_cfstring_builtins ((unsigned) (RS6000_BUILTIN_CFSTRING)); \
 431 } while(0)