gcc/config/i386/darwin.h

   1 /* Target definitions for x86 running Darwin.
   2    Copyright (C) 2001-2021 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
   8 it under the terms of the GNU General Public License as published by
   9 the Free Software Foundation; either version 3, or (at your option)
  10 any later version.
  11
  12 GCC is distributed in the hope that it will be useful,
  13 but WITHOUT ANY WARRANTY; without even the implied warranty of
  14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15 GNU General Public 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 /* Enable Mach-O bits in generic x86 code.  */
  22 #undef TARGET_MACHO
  23 #define TARGET_MACHO 1
  24
  25 #undef DARWIN_X86
  26 #define DARWIN_X86 1
  27
  28 #undef TARGET_64BIT
  29 #define TARGET_64BIT TARGET_ISA_64BIT
  30 #undef TARGET_64BIT_P
  31 #define TARGET_64BIT_P(x) TARGET_ISA_64BIT_P(x)
  32
  33 #ifdef IN_LIBGCC2
  34 #undef TARGET_64BIT
  35 #ifdef __x86_64__
  36 #define TARGET_64BIT 1
  37 #else
  38 #define TARGET_64BIT 0
  39 #endif
  40 #endif
  41
  42 /* WORKAROUND pr80556:
  43    For x86_64 Darwin10 and later, the unwinder is in libunwind (redirected
  44    from libSystem).  This doesn't use the keymgr (see keymgr.c) and therefore
  45    the calls that libgcc makes to obtain the KEYMGR_GCC3_DW2_OBJ_LIST are not
  46    updated to include new images, and might not even be valid for a single
  47    image.
  48    Therefore, for 64b exes at least, we must use the libunwind implementation,
  49    even when static-libgcc is specified.  We put libSystem first so that
  50    unwinder symbols are satisfied from there.
  51    We default to 64b for single-arch builds, so apply this unconditionally. */
  52 #undef REAL_LIBGCC_SPEC
  53 #define REAL_LIBGCC_SPEC                                                   \
  54    "%{static-libgcc|static:                                                \
  55        %:version-compare(>= 10.6 mmacosx-version-min= -lSystem)            \
  56        -lgcc_eh -lgcc;                                                     \
  57       shared-libgcc|fexceptions|fgnu-runtime:                              \
  58        %:version-compare(!> 10.5 mmacosx-version-min= -lgcc_s.10.4)        \
  59        %:version-compare(>< 10.5 10.6 mmacosx-version-min= -lgcc_s.10.5)   \
  60        %:version-compare(!> 10.5 mmacosx-version-min= -lgcc_ext.10.4)      \
  61        %:version-compare(>= 10.5 mmacosx-version-min= -lgcc_ext.10.5)      \
  62        -lgcc ;                                                             \
  63       :%:version-compare(>< 10.3.9 10.5 mmacosx-version-min= -lgcc_s.10.4) \
  64        %:version-compare(>< 10.5 10.6 mmacosx-version-min= -lgcc_s.10.5)   \
  65        %:version-compare(!> 10.5 mmacosx-version-min= -lgcc_ext.10.4)      \
  66        %:version-compare(>= 10.5 mmacosx-version-min= -lgcc_ext.10.5)      \
  67        -lgcc }"
  68
  69 /* Size of the Obj-C jump buffer.  */
  70 #define OBJC_JBLEN ((TARGET_64BIT) ? ((9 * 2) + 3 + 16) : (18))
  71
  72 #undef TARGET_FPMATH_DEFAULT
  73 #define TARGET_FPMATH_DEFAULT (TARGET_SSE ? FPMATH_SSE : FPMATH_387)
  74 #undef TARGET_FPMATH_DEFAULT_P
  75 #define TARGET_FPMATH_DEFAULT_P(x) \
  76   (TARGET_SSE_P(x) ? FPMATH_SSE : FPMATH_387)
  77
  78 #define TARGET_OS_CPP_BUILTINS()                \
  79   do {                                          \
  80     builtin_define ("__LITTLE_ENDIAN__");       \
  81     darwin_cpp_builtins (pfile);                \
  82   } while (0)
  83
  84 #undef PTRDIFF_TYPE
  85 #define PTRDIFF_TYPE (TARGET_64BIT ? "long int" : "int")
  86
  87 #undef WCHAR_TYPE
  88 #define WCHAR_TYPE "int"
  89
  90 #undef WCHAR_TYPE_SIZE
  91 #define WCHAR_TYPE_SIZE 32
  92
  93 /* Generate pic symbol indirection stubs if this is true.  */
  94 #undef TARGET_MACHO_SYMBOL_STUBS
  95 #define TARGET_MACHO_SYMBOL_STUBS (darwin_symbol_stubs)
  96
  97 /* For compatibility with OSX system tools, use the new style of pic stub
  98    if this is set (default).  */
  99 #undef  MACHOPIC_ATT_STUB
 100 #define MACHOPIC_ATT_STUB (darwin_macho_att_stub)
 101
 102 #undef MAX_BITS_PER_WORD
 103 #define MAX_BITS_PER_WORD 64
 104
 105 #undef FORCE_PREFERRED_STACK_BOUNDARY_IN_MAIN
 106 #define FORCE_PREFERRED_STACK_BOUNDARY_IN_MAIN (0)
 107
 108 #undef TARGET_KEEPS_VECTOR_ALIGNED_STACK
 109 #define TARGET_KEEPS_VECTOR_ALIGNED_STACK 1
 110
 111 /* On Darwin, the stack is 128-bit aligned at the point of every call.
 112    Failure to ensure this will lead to a crash in the system libraries
 113    or dynamic loader.  */
 114
 115 #undef MAIN_STACK_BOUNDARY
 116 #define MAIN_STACK_BOUNDARY 128
 117
 118 /* Since we'll never want a stack boundary less aligned than 128 bits
 119    we need the extra work here otherwise bits of gcc get very grumpy
 120    when we ask for lower alignment.  We could just reject values less
 121    than 128 bits for Darwin, but it's easier to up the alignment if
 122    it's below the minimum.  */
 123 #undef PREFERRED_STACK_BOUNDARY
 124 #define PREFERRED_STACK_BOUNDARY \
 125   MAX (128, ix86_preferred_stack_boundary)
 126
 127 /* We want -fPIC by default, unless we're using -static to compile for
 128    the kernel or some such.  */
 129
 130 #undef CC1_SPEC
 131 #define CC1_SPEC "%(cc1_cpu) \
 132   %{!mkernel:%{!static:%{!mdynamic-no-pic:-fPIC}}} \
 133   %{g: %{!fno-eliminate-unused-debug-symbols: -feliminate-unused-debug-symbols }} \
 134   %{mx32:%eDarwin is not an mx32 platform} \
 135   %{mfentry*:%eDarwin does not support -mfentry or associated options}" \
 136   DARWIN_CC1_SPEC
 137
 138 #undef ASM_SPEC
 139 #define ASM_SPEC "-arch %(darwin_arch) \
 140   " ASM_OPTIONS " -force_cpusubtype_ALL \
 141   %{static}" ASM_MMACOSX_VERSION_MIN_SPEC
 142
 143 #undef ENDFILE_SPEC
 144 #define ENDFILE_SPEC \
 145   "%{Ofast|ffast-math|funsafe-math-optimizations:crtfastmath.o%s} \
 146    %{mpc32:crtprec32.o%s} \
 147    %{mpc64:crtprec64.o%s} \
 148    %{mpc80:crtprec80.o%s}" TM_DESTRUCTOR
 149
 150 /* We default to x86_64 for single-arch builds, bi-arch overrides.  */
 151 #define DARWIN_ARCH_SPEC "x86_64"
 152
 153 #undef SUBTARGET_EXTRA_SPECS
 154 #define SUBTARGET_EXTRA_SPECS                                   \
 155   DARWIN_EXTRA_SPECS                                            \
 156   { "darwin_arch", DARWIN_ARCH_SPEC },                          \
 157   { "darwin_crt2", "" },                                        \
 158   { "darwin_subarch", DARWIN_ARCH_SPEC },
 159
 160 /* The Darwin assembler mostly follows AT&T syntax.  */
 161 #undef ASSEMBLER_DIALECT
 162 #define ASSEMBLER_DIALECT ASM_ATT
 163
 164 /* Define macro used to output shift-double opcodes when the shift
 165    count is in %cl.  Some assemblers require %cl as an argument;
 166    some don't.  This macro controls what to do: by default, don't
 167    print %cl.  */
 168
 169 #define SHIFT_DOUBLE_OMITS_COUNT 0
 170
 171 #undef TARGET_ASM_FILE_END
 172 #define TARGET_ASM_FILE_END darwin_file_end
 173
 174 /* Define the syntax of pseudo-ops, labels and comments.  */
 175
 176 /* String containing the assembler's comment-starter.  */
 177
 178 #define ASM_COMMENT_START "#"
 179
 180 /* By default, target has a 80387, uses IEEE compatible arithmetic,
 181    and returns float values in the 387.  */
 182
 183 #undef TARGET_SUBTARGET_DEFAULT
 184 #define TARGET_SUBTARGET_DEFAULT \
 185   (MASK_80387 | MASK_IEEE_FP | MASK_FLOAT_RETURNS | MASK_128BIT_LONG_DOUBLE)
 186
 187 /* For darwin we want to target specific processor features as a minimum,
 188    but these unfortunately don't correspond to a specific processor.  */
 189 #undef TARGET_SUBTARGET32_ISA_DEFAULT
 190 #define TARGET_SUBTARGET32_ISA_DEFAULT                  \
 191   (OPTION_MASK_ISA_MMX | OPTION_MASK_ISA_SSE            \
 192    | OPTION_MASK_ISA_SSE2 | OPTION_MASK_ISA_SSE3)
 193
 194 #undef TARGET_SUBTARGET64_ISA_DEFAULT
 195 #define TARGET_SUBTARGET64_ISA_DEFAULT TARGET_SUBTARGET32_ISA_DEFAULT
 196
 197 #undef GOT_SYMBOL_NAME
 198 #define GOT_SYMBOL_NAME MACHOPIC_FUNCTION_BASE_NAME
 199
 200 /* Define the syntax of pseudo-ops, labels and comments.  */
 201
 202 #define LPREFIX "L"
 203
 204 /* Assembler pseudos to introduce constants of various size.  */
 205
 206 #define ASM_BYTE "\t.byte\t"
 207 #define ASM_SHORT "\t.word\t"
 208 #define ASM_LONG "\t.long\t"
 209 #define ASM_QUAD "\t.quad\t"
 210
 211 #define SUBTARGET_ENCODE_SECTION_INFO  darwin_encode_section_info
 212
 213 #undef ASM_OUTPUT_ALIGN
 214 #define ASM_OUTPUT_ALIGN(FILE,LOG)                                 \
 215   do {                                                             \
 216     if ((LOG) != 0)                                                \
 217       {                                                            \
 218         if (in_section == text_section)                            \
 219           fprintf (FILE, "\t%s %d,0x90\n", ALIGN_ASM_OP, (LOG));   \
 220         else                                                       \
 221           fprintf (FILE, "\t%s %d\n", ALIGN_ASM_OP, (LOG));        \
 222       }                                                            \
 223   } while (0)
 224
 225 #ifdef HAVE_GAS_MAX_SKIP_P2ALIGN
 226 #define ASM_OUTPUT_MAX_SKIP_ALIGN(FILE,LOG,MAX_SKIP)                    \
 227   do {                                                                  \
 228     if ((LOG) != 0) {                                                   \
 229       if ((MAX_SKIP) == 0 || (MAX_SKIP) >= (1 << (LOG)) - 1)            \
 230         fprintf ((FILE), "\t.p2align %d\n", (LOG));                     \
 231       else                                                              \
 232         fprintf ((FILE), "\t.p2align %d,,%d\n", (LOG), (MAX_SKIP));     \
 233     }                                                                   \
 234   } while (0)
 235 #endif
 236
 237 /* Darwin x86 assemblers support the .ident directive.  */
 238
 239 #undef TARGET_ASM_OUTPUT_IDENT
 240 #define TARGET_ASM_OUTPUT_IDENT default_asm_output_ident_directive
 241
 242 /* We always want jump tables in the text section:
 243    * for PIC code, we need the subtracted symbol to be defined at
 244      assembly-time.
 245    * for mdynamic-no-pic, we cannot support jump tables in the .const
 246      section for weak functions, this looks to ld64 like direct access
 247      to the weak symbol from an anonymous atom.  */
 248
 249 #undef JUMP_TABLES_IN_TEXT_SECTION
 250 #define JUMP_TABLES_IN_TEXT_SECTION 1
 251
 252 /* Darwin profiling -- call mcount.
 253    If we need a stub, then we unconditionally mark it as used.  */
 254 #undef FUNCTION_PROFILER
 255 #define FUNCTION_PROFILER(FILE, LABELNO)                                \
 256   do {                                                                  \
 257     if (TARGET_MACHO_SYMBOL_STUBS                                       \
 258         && MACHOPIC_INDIRECT && !TARGET_64BIT)                          \
 259       {                                                                 \
 260         const char *name = machopic_mcount_stub_name ();                \
 261         fprintf (FILE, "\tcall %s\n", name+1);  /*  skip '&'  */        \
 262       }                                                                 \
 263     else fprintf (FILE, "\tcall mcount\n");                             \
 264   } while (0)
 265
 266 #define C_COMMON_OVERRIDE_OPTIONS                                       \
 267   do {                                                                  \
 268     SUBTARGET_C_COMMON_OVERRIDE_OPTIONS;                                \
 269   } while (0)
 270
 271 #undef SUBTARGET_OVERRIDE_OPTIONS
 272 #define SUBTARGET_OVERRIDE_OPTIONS                                      \
 273   do {                                                                  \
 274     if (TARGET_64BIT && MACHO_DYNAMIC_NO_PIC_P)                         \
 275       target_flags &= ~MASK_MACHO_DYNAMIC_NO_PIC;                       \
 276   } while (0)
 277
 278 /* Darwin on x86_64 uses dwarf-2 by default.  Pre-darwin9 32-bit
 279    compiles default to stabs+.  darwin9+ defaults to dwarf-2.  */
 280 #ifndef DARWIN_PREFER_DWARF
 281 #undef PREFERRED_DEBUGGING_TYPE
 282 #ifdef HAVE_AS_STABS_DIRECTIVE
 283 #define PREFERRED_DEBUGGING_TYPE (TARGET_64BIT ? DWARF2_DEBUG : DBX_DEBUG)
 284 #else
 285 #define PREFERRED_DEBUGGING_TYPE DWARF2_DEBUG
 286 #endif
 287 #endif
 288
 289 /* Darwin uses the standard DWARF register numbers but the default
 290    register numbers for STABS.  Fortunately for 64-bit code the
 291    default and the standard are the same.  */
 292 #undef DBX_REGISTER_NUMBER
 293 #define DBX_REGISTER_NUMBER(n)                                  \
 294   (TARGET_64BIT ? dbx64_register_map[n]                         \
 295    : write_symbols == DWARF2_DEBUG ? svr4_dbx_register_map[n]   \
 296    : dbx_register_map[n])
 297
 298 /* Unfortunately, the 32-bit EH information also doesn't use the standard
 299    DWARF register numbers.  */
 300 #define DWARF2_FRAME_REG_OUT(n, for_eh)                                 \
 301   (! (for_eh) || write_symbols != DWARF2_DEBUG || TARGET_64BIT ? (n)    \
 302    : (n) == 5 ? 4                                                       \
 303    : (n) == 4 ? 5                                                       \
 304    : (n) >= 11 && (n) <= 18 ? (n) + 1                                   \
 305    : (n))
 306
 307 #undef REGISTER_SUBTARGET_PRAGMAS
 308 #define REGISTER_SUBTARGET_PRAGMAS() DARWIN_REGISTER_TARGET_PRAGMAS()
 309
 310 #undef TARGET_SET_DEFAULT_TYPE_ATTRIBUTES
 311 #define TARGET_SET_DEFAULT_TYPE_ATTRIBUTES darwin_set_default_type_attributes
 312
 313 /* For 64-bit, we need to add 4 because @GOTPCREL is relative to the
 314    end of the instruction, but without the 4 we'd only have the right
 315    address for the start of the instruction.  */
 316 #undef ASM_MAYBE_OUTPUT_ENCODED_ADDR_RTX
 317 #define ASM_MAYBE_OUTPUT_ENCODED_ADDR_RTX(FILE, ENCODING, SIZE, ADDR, DONE) \
 318   if (TARGET_64BIT)                                                     \
 319     {                                                                   \
 320       if ((SIZE) == 4 && ((ENCODING) & 0x70) == DW_EH_PE_pcrel)         \
 321         {                                                               \
 322           fputs (ASM_LONG, FILE);                                       \
 323           assemble_name (FILE, XSTR (ADDR, 0));                         \
 324           fputs ("+4@GOTPCREL", FILE);                                  \
 325           goto DONE;                                                    \
 326         }                                                               \
 327     }                                                                   \
 328   else                                                                  \
 329     {                                                                   \
 330       if (ENCODING == ASM_PREFERRED_EH_DATA_FORMAT (2, 1))              \
 331         {                                                               \
 332           darwin_non_lazy_pcrel (FILE, ADDR);                           \
 333           goto DONE;                                                    \
 334         }                                                               \
 335     }
 336
 337 /* First available SYMBOL flag bit for use by subtargets.  */
 338 #define SYMBOL_FLAG_SUBT_DEP (SYMBOL_FLAG_MACH_DEP << 5)
 339
 340 #undef MACHOPIC_NL_SYMBOL_PTR_SECTION
 341 #define MACHOPIC_NL_SYMBOL_PTR_SECTION \
 342                 ".section __IMPORT,__pointers,non_lazy_symbol_pointers"
 343
 344 #define SUBTARGET32_DEFAULT_CPU "i686"
 345
 346 #undef  SUBTARGET_INIT_BUILTINS
 347 #define SUBTARGET_INIT_BUILTINS                                         \
 348   do {                                                                  \
 349     ix86_builtins[(int) IX86_BUILTIN_CFSTRING]                          \
 350       = darwin_init_cfstring_builtins ((unsigned) (IX86_BUILTIN_CFSTRING)); \
 351     darwin_rename_builtins ();                                          \
 352   } while(0)
 353
 354 /* Define the shadow offset for asan.  */
 355 #undef SUBTARGET_SHADOW_OFFSET
 356 #define SUBTARGET_SHADOW_OFFSET \
 357   (TARGET_LP64 ? HOST_WIDE_INT_1 << 44 : HOST_WIDE_INT_1 << 29)