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