gcc/config/rs6000/darwin.h

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