gcc/config/rs6000/darwin.h

   1 /* Target definitions for PowerPC running Darwin (Mac OS X).
   2    Copyright (C) 1997-2019 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 3, 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 COPYING3.  If not see
  19    <http://www.gnu.org/licenses/>.  */
  20
  21 #undef DARWIN_PPC
  22 #define DARWIN_PPC 1
  23
  24 /* The "Darwin ABI" is mostly like AIX, but with some key differences.  */
  25
  26 #define DEFAULT_ABI ABI_DARWIN
  27
  28 #ifdef IN_LIBGCC2
  29 #undef TARGET_64BIT
  30 #ifdef __powerpc64__
  31 #define TARGET_64BIT 1
  32 #else
  33 #define TARGET_64BIT 0
  34 #endif
  35 #endif
  36
  37 /* The object file format is Mach-O.  */
  38
  39 #define TARGET_OBJECT_FORMAT OBJECT_MACHO
  40
  41 /* Size of the Obj-C jump buffer.  */
  42 #define OBJC_JBLEN ((TARGET_64BIT) ? (26*2 + 18*2 + 129 + 1) : (26 + 18*2 + 129 + 1))
  43
  44 /* We're not ever going to do TOCs.  */
  45
  46 #define TARGET_TOC 0
  47 #define TARGET_NO_TOC 1
  48
  49 /* Override the default rs6000 definition.  */
  50 #undef  PTRDIFF_TYPE
  51 #define PTRDIFF_TYPE (TARGET_64BIT ? "long int" : "int")
  52
  53 #define TARGET_OS_CPP_BUILTINS()                        \
  54   do                                                    \
  55     {                                                   \
  56       if (!TARGET_64BIT) builtin_define ("__ppc__");    \
  57       if (TARGET_64BIT) builtin_define ("__ppc64__");   \
  58       builtin_define ("__POWERPC__");                   \
  59       builtin_define ("__NATURAL_ALIGNMENT__");         \
  60       darwin_cpp_builtins (pfile);                      \
  61     }                                                   \
  62   while (0)
  63
  64 /* Generate branch islands stubs if this is true.  */
  65 extern int darwin_emit_branch_islands;
  66
  67 #define SUBTARGET_OVERRIDE_OPTIONS darwin_rs6000_override_options ()
  68
  69 #define C_COMMON_OVERRIDE_OPTIONS do {                                  \
  70   /* On powerpc, __cxa_get_exception_ptr is available starting in the   \
  71      10.4.6 libstdc++.dylib.  */                                        \
  72   if (strverscmp (darwin_macosx_version_min, "10.4.6") < 0              \
  73       && flag_use_cxa_get_exception_ptr == 2)                           \
  74     flag_use_cxa_get_exception_ptr = 0;                                 \
  75   if (flag_mkernel)                                                     \
  76     flag_no_builtin = 1;                                                \
  77   SUBTARGET_C_COMMON_OVERRIDE_OPTIONS;                                  \
  78 } while (0)
  79
  80 /* Darwin has 128-bit long double support in libc in 10.4 and later.
  81    Default to 128-bit long doubles even on earlier platforms for ABI
  82    consistency; arithmetic will work even if libc and libm support is
  83    not available.  */
  84
  85 #define RS6000_DEFAULT_LONG_DOUBLE_SIZE 128
  86
  87
  88 /* We want -fPIC by default, unless we're using -static to compile for
  89    the kernel or some such.  The "-faltivec" option should have been
  90    called "-maltivec" all along.  */
  91
  92 #define CC1_SPEC "\
  93   %(cc1_cpu) \
  94   %{g: %{!fno-eliminate-unused-debug-symbols: -feliminate-unused-debug-symbols }} \
  95   %{static: %{Zdynamic: %e conflicting code gen style switches are used}}\
  96   %{!mkernel:%{!static:%{!mdynamic-no-pic:-fPIC}}} \
  97   %{faltivec:-maltivec -include altivec.h} %{fno-altivec:-mno-altivec} \
  98   %<faltivec %<fno-altivec " \
  99   DARWIN_CC1_SPEC
 100
 101 #define DARWIN_ARCH_SPEC "%{m64:ppc64;:ppc}"
 102
 103 #define DARWIN_SUBARCH_SPEC "                   \
 104  %{m64: ppc64}                                  \
 105  %{!m64:                                        \
 106  %{mcpu=601:ppc601;                             \
 107    mcpu=603:ppc603;                             \
 108    mcpu=603e:ppc603;                            \
 109    mcpu=604:ppc604;                             \
 110    mcpu=604e:ppc604e;                           \
 111    mcpu=740:ppc750;                             \
 112    mcpu=750:ppc750;                             \
 113    mcpu=G3:ppc750;                              \
 114    mcpu=7400:ppc7400;                           \
 115    mcpu=G4:ppc7400;                             \
 116    mcpu=7450:ppc7450;                           \
 117    mcpu=970:ppc970;                             \
 118    mcpu=power4:ppc970;                          \
 119    mcpu=G5:ppc970;                              \
 120    :ppc}}"
 121
 122 /* We need to jam the crt to 10.5 for 10.6 (Rosetta) use.  */
 123 #undef DARWIN_CRT1_SPEC
 124 #define DARWIN_CRT1_SPEC                                                \
 125   "%:version-compare(!> 10.5 mmacosx-version-min= -lcrt1.o)             \
 126    %:version-compare(>< 10.5 10.7 mmacosx-version-min= -lcrt1.10.5.o)   \
 127    %{fgnu-tm: -lcrttms.o}"
 128
 129 /* crt2.o is at least partially required for 10.3.x and earlier.  */
 130 #define DARWIN_CRT2_SPEC \
 131   "%{!m64:%:version-compare(!> 10.4 mmacosx-version-min= crt2.o%s)}"
 132
 133 #undef SUBTARGET_EXTRA_SPECS
 134 #define SUBTARGET_EXTRA_SPECS                   \
 135   DARWIN_EXTRA_SPECS                            \
 136   { "darwin_arch", DARWIN_ARCH_SPEC },          \
 137   { "darwin_crt2", DARWIN_CRT2_SPEC },          \
 138   { "darwin_subarch", DARWIN_SUBARCH_SPEC },
 139
 140 /* We need to jam the dylib crt to 10.5 for 10.6 (Rosetta) use.  */
 141 #undef DARWIN_DYLIB1_SPEC
 142 #define DARWIN_DYLIB1_SPEC                                              \
 143   "%:version-compare(!> 10.5 mmacosx-version-min= -ldylib1.o)           \
 144    %:version-compare(>< 10.5 10.7 mmacosx-version-min= -ldylib1.10.5.o)"
 145
 146 /* Output a .machine directive.  */
 147 #undef TARGET_ASM_FILE_START
 148 #define TARGET_ASM_FILE_START rs6000_darwin_file_start
 149
 150 /* Make both r2 and r13 available for allocation.  */
 151 #define FIXED_R2 0
 152 #define FIXED_R13 0
 153
 154 /* Base register for access to local variables of the function.  */
 155
 156 #undef  HARD_FRAME_POINTER_REGNUM
 157 #define HARD_FRAME_POINTER_REGNUM 30
 158
 159 #undef  RS6000_PIC_OFFSET_TABLE_REGNUM
 160 #define RS6000_PIC_OFFSET_TABLE_REGNUM 31
 161
 162 /* Darwin's stack must remain 16-byte aligned for both 32 and 64 bit
 163    ABIs.  */
 164
 165 #undef  STACK_BOUNDARY
 166 #define STACK_BOUNDARY 128
 167
 168 /* Offset within stack frame to start allocating local variables at.
 169    For supported Darwin versions, FRAME_GROWS_DOWNWARD is true, therefore
 170    this value is the offset to the END of the first local allocated.
 171
 172    On the RS/6000, the frame pointer is the same as the stack pointer,
 173    except for dynamic allocations.  So we start after the fixed area and
 174    outgoing parameter area.
 175
 176    If the function uses dynamic stack space (CALLS_ALLOCA is set), that
 177    space needs to be aligned to STACK_BOUNDARY, i.e. the sum of the
 178    sizes of the fixed area and the parameter area must be a multiple of
 179    STACK_BOUNDARY.  */
 180
 181 #undef RS6000_STARTING_FRAME_OFFSET
 182 #define RS6000_STARTING_FRAME_OFFSET                                    \
 183   (cfun->calls_alloca                                                   \
 184    ? RS6000_ALIGN (crtl->outgoing_args_size + RS6000_SAVE_AREA, 16)     \
 185    : (RS6000_ALIGN (crtl->outgoing_args_size, 16) + RS6000_SAVE_AREA))
 186
 187 /* Offset from the stack pointer register to an item dynamically
 188    allocated on the stack, e.g., by `alloca'.
 189
 190    The default value for this macro is `STACK_POINTER_OFFSET' plus the
 191    length of the outgoing arguments.  The default is correct for most
 192    machines.  See `function.c' for details.
 193
 194    This value must be a multiple of STACK_BOUNDARY (hard coded in
 195    `emit-rtl.c').  */
 196
 197 #undef STACK_DYNAMIC_OFFSET
 198 #define STACK_DYNAMIC_OFFSET(FUNDECL)                                   \
 199   RS6000_ALIGN (crtl->outgoing_args_size.to_constant()                  \
 200                 + STACK_POINTER_OFFSET, 16)
 201
 202 /* Darwin uses a function call if everything needs to be saved/restored.  */
 203
 204 #undef WORLD_SAVE_P
 205 #define WORLD_SAVE_P(INFO) ((INFO)->world_save_p)
 206
 207 /* We don't use these on Darwin, they are just place-holders.  */
 208 #define SAVE_FP_PREFIX ""
 209 #define SAVE_FP_SUFFIX ""
 210 #define RESTORE_FP_PREFIX ""
 211 #define RESTORE_FP_SUFFIX ""
 212
 213 /* The assembler wants the alternate register names, but without
 214    leading percent sign.  */
 215 #undef REGISTER_NAMES
 216 #define REGISTER_NAMES                                                  \
 217 {                                                                       \
 218      "r0",  "r1",  "r2",  "r3",  "r4",  "r5",  "r6",  "r7",             \
 219      "r8",  "r9", "r10", "r11", "r12", "r13", "r14", "r15",             \
 220     "r16", "r17", "r18", "r19", "r20", "r21", "r22", "r23",             \
 221     "r24", "r25", "r26", "r27", "r28", "r29", "r30", "r31",             \
 222      "f0",  "f1",  "f2",  "f3",  "f4",  "f5",  "f6",  "f7",             \
 223      "f8",  "f9", "f10", "f11", "f12", "f13", "f14", "f15",             \
 224     "f16", "f17", "f18", "f19", "f20", "f21", "f22", "f23",             \
 225     "f24", "f25", "f26", "f27", "f28", "f29", "f30", "f31",             \
 226      "mq",  "lr", "ctr",  "ap",                                         \
 227     "cr0", "cr1", "cr2", "cr3", "cr4", "cr5", "cr6", "cr7",             \
 228     "xer",                                                              \
 229      "v0",  "v1",  "v2",  "v3",  "v4",  "v5",  "v6",  "v7",             \
 230      "v8",  "v9", "v10", "v11", "v12", "v13", "v14", "v15",             \
 231     "v16", "v17", "v18", "v19", "v20", "v21", "v22", "v23",             \
 232     "v24", "v25", "v26", "v27", "v28", "v29", "v30", "v31",             \
 233     "vrsave", "vscr",                                                   \
 234     "sfp",                                                              \
 235     "tfhar", "tfiar", "texasr"                                          \
 236 }
 237
 238 /* This outputs NAME to FILE.  */
 239
 240 #undef  RS6000_OUTPUT_BASENAME
 241 #define RS6000_OUTPUT_BASENAME(FILE, NAME)      \
 242     assemble_name (FILE, NAME)
 243
 244 /* Globalizing directive for a label.  */
 245 #undef GLOBAL_ASM_OP
 246 #define GLOBAL_ASM_OP "\t.globl "
 247 #undef TARGET_ASM_GLOBALIZE_LABEL
 248
 249 /* This is how to output an internal label prefix.  rs6000.c uses this
 250    when generating traceback tables.  */
 251 /* Not really used for Darwin?  */
 252
 253 #undef ASM_OUTPUT_INTERNAL_LABEL_PREFIX
 254 #define ASM_OUTPUT_INTERNAL_LABEL_PREFIX(FILE,PREFIX)   \
 255   fprintf (FILE, "%s", PREFIX)
 256
 257 /* Override the standard rs6000 definition.  */
 258
 259 #undef ASM_COMMENT_START
 260 #define ASM_COMMENT_START ";"
 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 #ifdef HAVE_GAS_MAX_SKIP_P2ALIGN
 278 /* This is supported in cctools 465 and later.  The macro test
 279    above prevents using it in earlier build environments.  */
 280 #define ASM_OUTPUT_MAX_SKIP_ALIGN(FILE,LOG,MAX_SKIP)          \
 281   if ((LOG) != 0)                                             \
 282     {                                                         \
 283       if ((MAX_SKIP) == 0)                                    \
 284         fprintf ((FILE), "\t.p2align %d\n", (LOG));           \
 285       else                                                    \
 286         fprintf ((FILE), "\t.p2align %d,,%d\n", (LOG), (MAX_SKIP)); \
 287     }
 288 #endif
 289
 290 /* Generate insns to call the profiler.  */
 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_MULTIPLE | MASK_PPC_GFXOPT)
 311
 312 /* Darwin always uses IBM long double, never IEEE long double.  */
 313 #undef  TARGET_IEEEQUAD
 314 #define TARGET_IEEEQUAD 0
 315
 316 #undef  TARGET_IEEEQUAD_DEFAULT
 317 #define TARGET_IEEEQUAD_DEFAULT 0
 318
 319 /* Since Darwin doesn't do TOCs, stub this out.  */
 320
 321 #define ASM_OUTPUT_SPECIAL_POOL_ENTRY_P(X, MODE)  ((void)X, (void)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 /* Compute field alignment.
 354    This implements the 'power' alignment rule by pegging the alignment of
 355    items (beyond the first aggregate field) to 32 bits.  The pegging is
 356    suppressed for vector and long double items (both 128 in size).
 357    There is a dummy use of the FIELD argument to avoid an unused variable
 358    warning (see PR59496).  */
 359 #define ADJUST_FIELD_ALIGN(FIELD, TYPE, COMPUTED)               \
 360   ((void) (FIELD),                                              \
 361     (TARGET_ALIGN_NATURAL                                       \
 362      ? (COMPUTED)                                               \
 363      : (COMPUTED) == 128                                        \
 364         ? 128                                                   \
 365         : MIN ((COMPUTED), 32)))
 366
 367 /* Darwin increases natural record alignment to doubleword if the first
 368    field is an FP double while the FP fields remain word aligned.  */
 369 #define ROUND_TYPE_ALIGN(STRUCT, COMPUTED, SPECIFIED)                     \
 370   ((TREE_CODE (STRUCT) == RECORD_TYPE                                     \
 371     || TREE_CODE (STRUCT) == UNION_TYPE                                   \
 372     || TREE_CODE (STRUCT) == QUAL_UNION_TYPE)                             \
 373    && TARGET_ALIGN_NATURAL == 0                                           \
 374    ? darwin_rs6000_special_round_type_align (STRUCT, COMPUTED, SPECIFIED) \
 375    : (TREE_CODE (STRUCT) == VECTOR_TYPE                                   \
 376       && ALTIVEC_VECTOR_MODE (TYPE_MODE (STRUCT)))                        \
 377    ? MAX (MAX ((COMPUTED), (SPECIFIED)), 128)                             \
 378    : MAX ((COMPUTED), (SPECIFIED)))
 379
 380 /* Specify padding for the last element of a block move between
 381    registers and memory.  FIRST is nonzero if this is the only
 382    element.  */
 383 #define BLOCK_REG_PADDING(MODE, TYPE, FIRST) \
 384   (!(FIRST) ? PAD_UPWARD : targetm.calls.function_arg_padding (MODE, TYPE))
 385
 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 /* True, iff we're generating fast turn around debugging code.  When
 407    true, we arrange for function prologues to start with 5 nops so
 408    that gdb may insert code to redirect them, and for data to be
 409    accessed indirectly.  The runtime uses this indirection to forward
 410    references for data to the original instance of that data.  */
 411
 412 #define TARGET_FIX_AND_CONTINUE (darwin_fix_and_continue)
 413
 414 /* This is the reserved direct dispatch address for Objective-C.  */
 415 #define OFFS_MSGSEND_FAST               0xFFFEFF00
 416
 417 /* This is the reserved ivar address Objective-C.  */
 418 #define OFFS_ASSIGNIVAR_FAST            0xFFFEFEC0
 419
 420 /* Old versions of Mac OS/Darwin don't have C99 functions available.  */
 421 #undef TARGET_LIBC_HAS_FUNCTION
 422 #define TARGET_LIBC_HAS_FUNCTION darwin_libc_has_function
 423
 424 /* When generating kernel code or kexts, we don't use Altivec by
 425    default, as kernel code doesn't save/restore those registers.  */
 426 #define OS_MISSING_ALTIVEC (flag_mkernel || flag_apple_kext)
 427
 428 /* Darwin has support for section anchors on powerpc*.
 429    It is disabled for any section containing a "zero-sized item" (because these
 430    are re-written as size=1 to be compatible with the OSX ld64).
 431    The re-writing would interfere with the computation of anchor offsets.
 432    Therefore, we place zero-sized items in their own sections and make such
 433    sections unavailable to section anchoring.  */
 434
 435 #undef TARGET_ASM_OUTPUT_ANCHOR
 436 #define TARGET_ASM_OUTPUT_ANCHOR darwin_asm_output_anchor
 437
 438 #undef TARGET_USE_ANCHORS_FOR_SYMBOL_P
 439 #define TARGET_USE_ANCHORS_FOR_SYMBOL_P darwin_use_anchors_for_symbol_p
 440
 441 #undef DARWIN_SECTION_ANCHORS
 442 #define DARWIN_SECTION_ANCHORS 1
 443
 444 /* PPC Darwin has to rename some of the long double builtins.  */
 445 #undef  SUBTARGET_INIT_BUILTINS
 446 #define SUBTARGET_INIT_BUILTINS                                         \
 447 do {                                                                    \
 448   darwin_patch_builtins ();                                             \
 449   rs6000_builtin_decls[(unsigned) (RS6000_BUILTIN_CFSTRING)]            \
 450     = darwin_init_cfstring_builtins ((unsigned) (RS6000_BUILTIN_CFSTRING)); \
 451 } while(0)
 452
 453 /* So far, there is no rs6000_fold_builtin, if one is introduced, then
 454    this will need to be modified similar to the x86 case.  */
 455 #define TARGET_FOLD_BUILTIN SUBTARGET_FOLD_BUILTIN
 456
 457 /* Use standard DWARF numbering for DWARF debugging information.  */
 458 #define RS6000_USE_DWARF_NUMBERING
 459