gnu/dist/gcc4/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
   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))