1 /* Target definitions for x86 running Darwin.
2    Copyright (C) 2001-2020 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