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