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 ("-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 ("-fpic is not supported; -fPIC assumed");              \
  96         flag_pic = 2;                                                   \
  97       }                                                                 \
  98                                                                         \
  99     /* Handle -mfix-and-continue.  */                                   \
 100     if (darwin_fix_and_continue_switch)                                 \
 101       {                                                                 \
 102         const char *base = darwin_fix_and_continue_switch;              \
 103         while (base[-1] != 'm') base--;                                 \
 104                                                                         \
 105         if (*darwin_fix_and_continue_switch != '\0')                    \
 106           error ("invalid option `%s'", base);                          \
 107         darwin_fix_and_continue = (base[0] != 'n');                     \
 108       }                                                                 \
 109   }                                                                     \
 110   if (TARGET_64BIT && ! TARGET_POWERPC64)                               \
 111     {                                                                   \
 112       target_flags |= MASK_POWERPC64;                                   \
 113       warning ("-m64 requires PowerPC64 architecture, enabling");       \
 114     }                                                                   \
 115 } while(0)
 116
 117 /* Darwin has 128-bit long double support in libc in 10.4 and later.
 118    Default to 128-bit long doubles even on earlier platforms for ABI
 119    consistency; arithmetic will work even if libc and libm support is
 120    not available.  */
 121
 122 #define RS6000_DEFAULT_LONG_DOUBLE_SIZE 128
 123
 124
 125 /* We want -fPIC by default, unless we're using -static to compile for
 126    the kernel or some such.  */
 127
 128 #define CC1_SPEC "\
 129 %{gused: -g -feliminate-unused-debug-symbols %<gused }\
 130 %{gfull: -g -fno-eliminate-unused-debug-symbols %<gfull }\
 131 %{g: %{!gfull: -feliminate-unused-debug-symbols %<gfull }}\
 132 %{static: %{Zdynamic: %e conflicting code gen style switches are used}}\
 133 %{!static:%{!mdynamic-no-pic:-fPIC}}"
 134
 135 #undef SUBTARGET_EXTRA_SPECS
 136 #define SUBTARGET_EXTRA_SPECS                   \
 137   { "darwin_arch", "%{m64:ppc64} %{!m64:ppc}" },
 138
 139 /* Output a .machine directive.  */
 140 #undef TARGET_ASM_FILE_START
 141 #define TARGET_ASM_FILE_START rs6000_darwin_file_start
 142
 143 /* The "-faltivec" option should have been called "-maltivec" all
 144    along.  -ffix-and-continue and -findirect-data is for compatibility
 145    for old compilers.  */
 146
 147 #define SUBTARGET_OPTION_TRANSLATE_TABLE                                \
 148   { "-ffix-and-continue", "-mfix-and-continue" },                       \
 149   { "-findirect-data", "-mfix-and-continue" },                          \
 150   { "-faltivec", "-maltivec -include altivec.h" },                      \
 151   { "-fno-altivec", "-mno-altivec" },                                   \
 152   { "-Waltivec-long-deprecated",        "-mwarn-altivec-long" },        \
 153   { "-Wno-altivec-long-deprecated", "-mno-warn-altivec-long" }
 154
 155 /* Make both r2 and r3 available for allocation.  */
 156 #define FIXED_R2 0
 157 #define FIXED_R13 0
 158
 159 /* Base register for access to local variables of the function.  */
 160
 161 #undef  FRAME_POINTER_REGNUM
 162 #define FRAME_POINTER_REGNUM 30
 163
 164 #undef  RS6000_PIC_OFFSET_TABLE_REGNUM
 165 #define RS6000_PIC_OFFSET_TABLE_REGNUM 31
 166
 167 /* Pad the outgoing args area to 16 bytes instead of the usual 8.  */
 168
 169 #undef STARTING_FRAME_OFFSET
 170 #define STARTING_FRAME_OFFSET                                           \
 171   (RS6000_ALIGN (current_function_outgoing_args_size, 16)               \
 172    + RS6000_VARARGS_AREA                                                \
 173    + RS6000_SAVE_AREA)
 174
 175 #undef STACK_DYNAMIC_OFFSET
 176 #define STACK_DYNAMIC_OFFSET(FUNDECL)                                   \
 177   (RS6000_ALIGN (current_function_outgoing_args_size, 16)               \
 178    + (STACK_POINTER_OFFSET))
 179
 180 /* These are used by -fbranch-probabilities */
 181 #define HOT_TEXT_SECTION_NAME "__TEXT,__text,regular,pure_instructions"
 182 #define UNLIKELY_EXECUTED_TEXT_SECTION_NAME \
 183                               "__TEXT,__unlikely,regular,pure_instructions"
 184
 185 /* Define cutoff for using external functions to save floating point.
 186    Currently on Darwin, always use inline stores.  */
 187
 188 #undef  FP_SAVE_INLINE
 189 #define FP_SAVE_INLINE(FIRST_REG) ((FIRST_REG) < 64)
 190
 191 /* The assembler wants the alternate register names, but without
 192    leading percent sign.  */
 193 #undef REGISTER_NAMES
 194 #define REGISTER_NAMES                                                  \
 195 {                                                                       \
 196      "r0",  "r1",  "r2",  "r3",  "r4",  "r5",  "r6",  "r7",             \
 197      "r8",  "r9", "r10", "r11", "r12", "r13", "r14", "r15",             \
 198     "r16", "r17", "r18", "r19", "r20", "r21", "r22", "r23",             \
 199     "r24", "r25", "r26", "r27", "r28", "r29", "r30", "r31",             \
 200      "f0",  "f1",  "f2",  "f3",  "f4",  "f5",  "f6",  "f7",             \
 201      "f8",  "f9", "f10", "f11", "f12", "f13", "f14", "f15",             \
 202     "f16", "f17", "f18", "f19", "f20", "f21", "f22", "f23",             \
 203     "f24", "f25", "f26", "f27", "f28", "f29", "f30", "f31",             \
 204      "mq",  "lr", "ctr",  "ap",                                         \
 205     "cr0", "cr1", "cr2", "cr3", "cr4", "cr5", "cr6", "cr7",             \
 206     "xer",                                                              \
 207      "v0",  "v1",  "v2",  "v3",  "v4",  "v5",  "v6",  "v7",             \
 208      "v8",  "v9", "v10", "v11", "v12", "v13", "v14", "v15",             \
 209     "v16", "v17", "v18", "v19", "v20", "v21", "v22", "v23",             \
 210     "v24", "v25", "v26", "v27", "v28", "v29", "v30", "v31",             \
 211     "vrsave", "vscr",                                                   \
 212     "spe_acc", "spefscr"                                                \
 213 }
 214
 215 /* This outputs NAME to FILE.  */
 216
 217 #undef  RS6000_OUTPUT_BASENAME
 218 #define RS6000_OUTPUT_BASENAME(FILE, NAME)      \
 219     assemble_name (FILE, NAME)
 220
 221 /* Globalizing directive for a label.  */
 222 #undef GLOBAL_ASM_OP
 223 #define GLOBAL_ASM_OP "\t.globl "
 224 #undef TARGET_ASM_GLOBALIZE_LABEL
 225
 226 /* This is how to output an internal label prefix.  rs6000.c uses this
 227    when generating traceback tables.  */
 228 /* Not really used for Darwin?  */
 229
 230 #undef ASM_OUTPUT_INTERNAL_LABEL_PREFIX
 231 #define ASM_OUTPUT_INTERNAL_LABEL_PREFIX(FILE,PREFIX)   \
 232   fprintf (FILE, "%s", PREFIX)
 233
 234 /* This says how to output an assembler line to define a global common
 235    symbol.  */
 236 /* ? */
 237 #undef  ASM_OUTPUT_ALIGNED_COMMON
 238 #define ASM_OUTPUT_COMMON(FILE, NAME, SIZE, ROUNDED)                    \
 239   do {                                                                  \
 240     unsigned HOST_WIDE_INT _new_size = SIZE;                            \
 241     fputs (".comm ", (FILE));                                           \
 242     RS6000_OUTPUT_BASENAME ((FILE), (NAME));                            \
 243     if (_new_size == 0) _new_size = 1;                                  \
 244     fprintf ((FILE), ","HOST_WIDE_INT_PRINT_UNSIGNED"\n", _new_size);   \
 245   } while (0)
 246
 247 /* Override the standard rs6000 definition.  */
 248
 249 #undef ASM_COMMENT_START
 250 #define ASM_COMMENT_START ";"
 251
 252 /* FP save and restore routines.  */
 253 #define SAVE_FP_PREFIX "._savef"
 254 #define SAVE_FP_SUFFIX ""
 255 #define RESTORE_FP_PREFIX "._restf"
 256 #define RESTORE_FP_SUFFIX ""
 257
 258 /* This is how to output an assembler line that says to advance
 259    the location counter to a multiple of 2**LOG bytes using the
 260    "nop" instruction as padding.  */
 261
 262 #define ASM_OUTPUT_ALIGN_WITH_NOP(FILE,LOG)                   \
 263   do                                                          \
 264     {                                                         \
 265       if ((LOG) < 3)                                          \
 266         {                                                     \
 267           ASM_OUTPUT_ALIGN (FILE,LOG);                        \
 268         }                                                     \
 269       else /* nop == ori r0,r0,0 */                           \
 270         fprintf (FILE, "\t.align32 %d,0x60000000\n", (LOG));  \
 271     } while (0)
 272
 273 /* Generate insns to call the profiler.  */
 274
 275 #define PROFILE_HOOK(LABEL)   output_profile_hook (LABEL)
 276
 277 /* Function name to call to do profiling.  */
 278
 279 #define RS6000_MCOUNT "*mcount"
 280
 281 /* Default processor: G4, and G5 for 64-bit.  */
 282
 283 #undef PROCESSOR_DEFAULT
 284 #define PROCESSOR_DEFAULT  PROCESSOR_PPC7400
 285 #undef PROCESSOR_DEFAULT64
 286 #define PROCESSOR_DEFAULT64  PROCESSOR_POWER4
 287
 288 /* Default target flag settings.  Despite the fact that STMW/LMW
 289    serializes, it's still a big code size win to use them.  Use FSEL by
 290    default as well.  */
 291
 292 #undef  TARGET_DEFAULT
 293 #define TARGET_DEFAULT (MASK_POWERPC | MASK_MULTIPLE | MASK_NEW_MNEMONICS \
 294                       | MASK_PPC_GFXOPT)
 295
 296 /* Darwin only runs on PowerPC, so short-circuit POWER patterns.  */
 297 #undef  TARGET_POWER
 298 #define TARGET_POWER 0
 299
 300 /* Since Darwin doesn't do TOCs, stub this out.  */
 301
 302 #define ASM_OUTPUT_SPECIAL_POOL_ENTRY_P(X, 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   ((GET_CODE (X) == CONST_DOUBLE                                \
 324     && GET_MODE_CLASS (GET_MODE (X)) == MODE_FLOAT)             \
 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 /* Fix for emit_group_load (): force large constants to be pushed via regs.  */
 335 #define ALWAYS_PUSH_CONSTS_USING_REGS_P         1
 336
 337 /* This now supports a natural alignment mode */
 338 /* Darwin word-aligns FP doubles but doubleword-aligns 64-bit ints.  */
 339 #define ADJUST_FIELD_ALIGN(FIELD, COMPUTED) \
 340   (TARGET_ALIGN_NATURAL ? (COMPUTED) : \
 341   (TYPE_MODE (TREE_CODE (TREE_TYPE (FIELD)) == ARRAY_TYPE \
 342               ? get_inner_array_type (FIELD) \
 343               : TREE_TYPE (FIELD)) == DFmode \
 344    ? MIN ((COMPUTED), 32) : (COMPUTED)))
 345
 346 /* Darwin increases natural record alignment to doubleword if the first
 347    field is an FP double while the FP fields remain word aligned.  */
 348 #define ROUND_TYPE_ALIGN(STRUCT, COMPUTED, SPECIFIED)                   \
 349   ((TREE_CODE (STRUCT) == RECORD_TYPE                                   \
 350     || TREE_CODE (STRUCT) == UNION_TYPE                                 \
 351     || TREE_CODE (STRUCT) == QUAL_UNION_TYPE)                           \
 352    && TARGET_ALIGN_NATURAL == 0                                         \
 353    ? rs6000_special_round_type_align (STRUCT, COMPUTED, SPECIFIED)      \
 354    : (TREE_CODE (STRUCT) == VECTOR_TYPE                                 \
 355       && ALTIVEC_VECTOR_MODE (TYPE_MODE (STRUCT)))                      \
 356    ? MAX (MAX ((COMPUTED), (SPECIFIED)), 128)                            \
 357    : MAX ((COMPUTED), (SPECIFIED)))
 358
 359 /* Specify padding for the last element of a block move between
 360    registers and memory.  FIRST is nonzero if this is the only
 361    element.  */
 362 #define BLOCK_REG_PADDING(MODE, TYPE, FIRST) \
 363   (!(FIRST) ? upward : FUNCTION_ARG_PADDING (MODE, TYPE))
 364
 365 /* XXX: Darwin supports neither .quad, or .llong, but it also doesn't
 366    support 64 bit PowerPC either, so this just keeps things happy.  */
 367 #define DOUBLE_INT_ASM_OP "\t.quad\t"
 368
 369 /* For binary compatibility with 2.95; Darwin C APIs use bool from
 370    stdbool.h, which was an int-sized enum in 2.95.  Users can explicitly
 371    choose to have sizeof(bool)==1 with the -mone-byte-bool switch. */
 372 extern const char *darwin_one_byte_bool;
 373 #define BOOL_TYPE_SIZE (darwin_one_byte_bool ? CHAR_TYPE_SIZE : INT_TYPE_SIZE)
 374
 375 #undef REGISTER_TARGET_PRAGMAS
 376 #define REGISTER_TARGET_PRAGMAS DARWIN_REGISTER_TARGET_PRAGMAS
 377
 378 #ifdef IN_LIBGCC2
 379 #include <stdbool.h>
 380 #endif
 381
 382 #define MD_UNWIND_SUPPORT "config/rs6000/darwin-unwind.h"
 383
 384 #define HAS_MD_FALLBACK_FRAME_STATE_FOR 1
 385
 386 /* True, iff we're generating fast turn around debugging code.  When
 387    true, we arrange for function prologues to start with 4 nops so
 388    that gdb may insert code to redirect them, and for data to accessed
 389    indirectly.  The runtime uses this indirection to forward
 390    references for data to the original instance of that data.  */
 391
 392 #define TARGET_FIX_AND_CONTINUE (darwin_fix_and_continue)