111
|
1 /* Target definitions for PowerPC running Darwin (Mac OS X).
|
|
2 Copyright (C) 1997-2017 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 /* crt2.o is at least partially required for 10.3.x and earlier. */
|
|
123 #define DARWIN_CRT2_SPEC \
|
|
124 "%{!m64:%:version-compare(!> 10.4 mmacosx-version-min= crt2.o%s)}"
|
|
125
|
|
126 #undef SUBTARGET_EXTRA_SPECS
|
|
127 #define SUBTARGET_EXTRA_SPECS \
|
|
128 DARWIN_EXTRA_SPECS \
|
|
129 { "darwin_arch", DARWIN_ARCH_SPEC }, \
|
|
130 { "darwin_crt2", DARWIN_CRT2_SPEC }, \
|
|
131 { "darwin_subarch", DARWIN_SUBARCH_SPEC },
|
|
132
|
|
133 /* Output a .machine directive. */
|
|
134 #undef TARGET_ASM_FILE_START
|
|
135 #define TARGET_ASM_FILE_START rs6000_darwin_file_start
|
|
136
|
|
137 /* Make both r2 and r13 available for allocation. */
|
|
138 #define FIXED_R2 0
|
|
139 #define FIXED_R13 0
|
|
140
|
|
141 /* Base register for access to local variables of the function. */
|
|
142
|
|
143 #undef HARD_FRAME_POINTER_REGNUM
|
|
144 #define HARD_FRAME_POINTER_REGNUM 30
|
|
145
|
|
146 #undef RS6000_PIC_OFFSET_TABLE_REGNUM
|
|
147 #define RS6000_PIC_OFFSET_TABLE_REGNUM 31
|
|
148
|
|
149 /* Pad the outgoing args area to 16 bytes instead of the usual 8. */
|
|
150
|
|
151 #undef RS6000_STARTING_FRAME_OFFSET
|
|
152 #define RS6000_STARTING_FRAME_OFFSET \
|
|
153 (RS6000_ALIGN (crtl->outgoing_args_size, 16) \
|
|
154 + RS6000_SAVE_AREA)
|
|
155
|
|
156 #undef STACK_DYNAMIC_OFFSET
|
|
157 #define STACK_DYNAMIC_OFFSET(FUNDECL) \
|
|
158 (RS6000_ALIGN (crtl->outgoing_args_size, 16) \
|
|
159 + (STACK_POINTER_OFFSET))
|
|
160
|
|
161 /* Darwin uses a function call if everything needs to be saved/restored. */
|
|
162
|
|
163 #undef WORLD_SAVE_P
|
|
164 #define WORLD_SAVE_P(INFO) ((INFO)->world_save_p)
|
|
165
|
|
166 /* We don't use these on Darwin, they are just place-holders. */
|
|
167 #define SAVE_FP_PREFIX ""
|
|
168 #define SAVE_FP_SUFFIX ""
|
|
169 #define RESTORE_FP_PREFIX ""
|
|
170 #define RESTORE_FP_SUFFIX ""
|
|
171
|
|
172 /* The assembler wants the alternate register names, but without
|
|
173 leading percent sign. */
|
|
174 #undef REGISTER_NAMES
|
|
175 #define REGISTER_NAMES \
|
|
176 { \
|
|
177 "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7", \
|
|
178 "r8", "r9", "r10", "r11", "r12", "r13", "r14", "r15", \
|
|
179 "r16", "r17", "r18", "r19", "r20", "r21", "r22", "r23", \
|
|
180 "r24", "r25", "r26", "r27", "r28", "r29", "r30", "r31", \
|
|
181 "f0", "f1", "f2", "f3", "f4", "f5", "f6", "f7", \
|
|
182 "f8", "f9", "f10", "f11", "f12", "f13", "f14", "f15", \
|
|
183 "f16", "f17", "f18", "f19", "f20", "f21", "f22", "f23", \
|
|
184 "f24", "f25", "f26", "f27", "f28", "f29", "f30", "f31", \
|
|
185 "mq", "lr", "ctr", "ap", \
|
|
186 "cr0", "cr1", "cr2", "cr3", "cr4", "cr5", "cr6", "cr7", \
|
|
187 "xer", \
|
|
188 "v0", "v1", "v2", "v3", "v4", "v5", "v6", "v7", \
|
|
189 "v8", "v9", "v10", "v11", "v12", "v13", "v14", "v15", \
|
|
190 "v16", "v17", "v18", "v19", "v20", "v21", "v22", "v23", \
|
|
191 "v24", "v25", "v26", "v27", "v28", "v29", "v30", "v31", \
|
|
192 "vrsave", "vscr", \
|
|
193 "spe_acc", "spefscr", \
|
|
194 "sfp", \
|
|
195 "tfhar", "tfiar", "texasr", \
|
|
196 "rh0", "rh1", "rh2", "rh3", "rh4", "rh5", "rh6", "rh7", \
|
|
197 "rh8", "rh9", "rh10", "rh11", "rh12", "rh13", "rh14", "rh15", \
|
|
198 "rh16", "rh17", "rh18", "rh19", "rh20", "rh21", "rh22", "rh23", \
|
|
199 "rh24", "rh25", "rh26", "rh27", "rh28", "rh29", "rh30", "rh31" \
|
|
200 }
|
|
201
|
|
202 /* This outputs NAME to FILE. */
|
|
203
|
|
204 #undef RS6000_OUTPUT_BASENAME
|
|
205 #define RS6000_OUTPUT_BASENAME(FILE, NAME) \
|
|
206 assemble_name (FILE, NAME)
|
|
207
|
|
208 /* Globalizing directive for a label. */
|
|
209 #undef GLOBAL_ASM_OP
|
|
210 #define GLOBAL_ASM_OP "\t.globl "
|
|
211 #undef TARGET_ASM_GLOBALIZE_LABEL
|
|
212
|
|
213 /* This is how to output an internal label prefix. rs6000.c uses this
|
|
214 when generating traceback tables. */
|
|
215 /* Not really used for Darwin? */
|
|
216
|
|
217 #undef ASM_OUTPUT_INTERNAL_LABEL_PREFIX
|
|
218 #define ASM_OUTPUT_INTERNAL_LABEL_PREFIX(FILE,PREFIX) \
|
|
219 fprintf (FILE, "%s", PREFIX)
|
|
220
|
|
221 /* Override the standard rs6000 definition. */
|
|
222
|
|
223 #undef ASM_COMMENT_START
|
|
224 #define ASM_COMMENT_START ";"
|
|
225
|
|
226 /* This is how to output an assembler line that says to advance
|
|
227 the location counter to a multiple of 2**LOG bytes using the
|
|
228 "nop" instruction as padding. */
|
|
229
|
|
230 #define ASM_OUTPUT_ALIGN_WITH_NOP(FILE,LOG) \
|
|
231 do \
|
|
232 { \
|
|
233 if ((LOG) < 3) \
|
|
234 { \
|
|
235 ASM_OUTPUT_ALIGN (FILE,LOG); \
|
|
236 } \
|
|
237 else /* nop == ori r0,r0,0 */ \
|
|
238 fprintf (FILE, "\t.align32 %d,0x60000000\n", (LOG)); \
|
|
239 } while (0)
|
|
240
|
|
241 #ifdef HAVE_GAS_MAX_SKIP_P2ALIGN
|
|
242 /* This is supported in cctools 465 and later. The macro test
|
|
243 above prevents using it in earlier build environments. */
|
|
244 #define ASM_OUTPUT_MAX_SKIP_ALIGN(FILE,LOG,MAX_SKIP) \
|
|
245 if ((LOG) != 0) \
|
|
246 { \
|
|
247 if ((MAX_SKIP) == 0) \
|
|
248 fprintf ((FILE), "\t.p2align %d\n", (LOG)); \
|
|
249 else \
|
|
250 fprintf ((FILE), "\t.p2align %d,,%d\n", (LOG), (MAX_SKIP)); \
|
|
251 }
|
|
252 #endif
|
|
253
|
|
254 /* Generate insns to call the profiler. */
|
|
255
|
|
256 #define PROFILE_HOOK(LABEL) output_profile_hook (LABEL)
|
|
257
|
|
258 /* Function name to call to do profiling. */
|
|
259
|
|
260 #define RS6000_MCOUNT "*mcount"
|
|
261
|
|
262 /* Default processor: G4, and G5 for 64-bit. */
|
|
263
|
|
264 #undef PROCESSOR_DEFAULT
|
|
265 #define PROCESSOR_DEFAULT PROCESSOR_PPC7400
|
|
266 #undef PROCESSOR_DEFAULT64
|
|
267 #define PROCESSOR_DEFAULT64 PROCESSOR_POWER4
|
|
268
|
|
269 /* Default target flag settings. Despite the fact that STMW/LMW
|
|
270 serializes, it's still a big code size win to use them. Use FSEL by
|
|
271 default as well. */
|
|
272
|
|
273 #undef TARGET_DEFAULT
|
|
274 #define TARGET_DEFAULT (MASK_MULTIPLE | MASK_PPC_GFXOPT)
|
|
275
|
|
276 /* Darwin always uses IBM long double, never IEEE long double. */
|
|
277 #undef TARGET_IEEEQUAD
|
|
278 #define TARGET_IEEEQUAD 0
|
|
279
|
|
280 /* Since Darwin doesn't do TOCs, stub this out. */
|
|
281
|
|
282 #define ASM_OUTPUT_SPECIAL_POOL_ENTRY_P(X, MODE) ((void)X, (void)MODE, 0)
|
|
283
|
|
284 /* Unlike most other PowerPC targets, chars are signed, for
|
|
285 consistency with other Darwin architectures. */
|
|
286
|
|
287 #undef DEFAULT_SIGNED_CHAR
|
|
288 #define DEFAULT_SIGNED_CHAR (1)
|
|
289
|
|
290 /* Given an rtx X being reloaded into a reg required to be
|
|
291 in class CLASS, return the class of reg to actually use.
|
|
292 In general this is just CLASS; but on some machines
|
|
293 in some cases it is preferable to use a more restrictive class.
|
|
294
|
|
295 On the RS/6000, we have to return NO_REGS when we want to reload a
|
|
296 floating-point CONST_DOUBLE to force it to be copied to memory.
|
|
297
|
|
298 Don't allow R0 when loading the address of, or otherwise furtling with,
|
|
299 a SYMBOL_REF. */
|
|
300
|
|
301 #undef PREFERRED_RELOAD_CLASS
|
|
302 #define PREFERRED_RELOAD_CLASS(X,CLASS) \
|
|
303 ((CONSTANT_P (X) \
|
|
304 && reg_classes_intersect_p ((CLASS), FLOAT_REGS)) \
|
|
305 ? NO_REGS \
|
|
306 : ((GET_CODE (X) == SYMBOL_REF || GET_CODE (X) == HIGH) \
|
|
307 && reg_class_subset_p (BASE_REGS, (CLASS))) \
|
|
308 ? BASE_REGS \
|
|
309 : (GET_MODE_CLASS (GET_MODE (X)) == MODE_INT \
|
|
310 && (CLASS) == NON_SPECIAL_REGS) \
|
|
311 ? GENERAL_REGS \
|
|
312 : (CLASS))
|
|
313
|
|
314 /* Compute field alignment.
|
|
315 This implements the 'power' alignment rule by pegging the alignment of
|
|
316 items (beyond the first aggregate field) to 32 bits. The pegging is
|
|
317 suppressed for vector and long double items (both 128 in size).
|
|
318 There is a dummy use of the FIELD argument to avoid an unused variable
|
|
319 warning (see PR59496). */
|
|
320 #define ADJUST_FIELD_ALIGN(FIELD, TYPE, COMPUTED) \
|
|
321 ((void) (FIELD), \
|
|
322 (TARGET_ALIGN_NATURAL \
|
|
323 ? (COMPUTED) \
|
|
324 : (COMPUTED) == 128 \
|
|
325 ? 128 \
|
|
326 : MIN ((COMPUTED), 32)))
|
|
327
|
|
328 /* Darwin increases natural record alignment to doubleword if the first
|
|
329 field is an FP double while the FP fields remain word aligned. */
|
|
330 #define ROUND_TYPE_ALIGN(STRUCT, COMPUTED, SPECIFIED) \
|
|
331 ((TREE_CODE (STRUCT) == RECORD_TYPE \
|
|
332 || TREE_CODE (STRUCT) == UNION_TYPE \
|
|
333 || TREE_CODE (STRUCT) == QUAL_UNION_TYPE) \
|
|
334 && TARGET_ALIGN_NATURAL == 0 \
|
|
335 ? darwin_rs6000_special_round_type_align (STRUCT, COMPUTED, SPECIFIED) \
|
|
336 : (TREE_CODE (STRUCT) == VECTOR_TYPE \
|
|
337 && ALTIVEC_VECTOR_MODE (TYPE_MODE (STRUCT))) \
|
|
338 ? MAX (MAX ((COMPUTED), (SPECIFIED)), 128) \
|
|
339 : MAX ((COMPUTED), (SPECIFIED)))
|
|
340
|
|
341 /* Specify padding for the last element of a block move between
|
|
342 registers and memory. FIRST is nonzero if this is the only
|
|
343 element. */
|
|
344 #define BLOCK_REG_PADDING(MODE, TYPE, FIRST) \
|
|
345 (!(FIRST) ? PAD_UPWARD : targetm.calls.function_arg_padding (MODE, TYPE))
|
|
346
|
|
347 #define DOUBLE_INT_ASM_OP "\t.quad\t"
|
|
348
|
|
349 /* For binary compatibility with 2.95; Darwin C APIs use bool from
|
|
350 stdbool.h, which was an int-sized enum in 2.95. Users can explicitly
|
|
351 choose to have sizeof(bool)==1 with the -mone-byte-bool switch. */
|
|
352 #define BOOL_TYPE_SIZE (darwin_one_byte_bool ? CHAR_TYPE_SIZE : INT_TYPE_SIZE)
|
|
353
|
|
354 #undef REGISTER_TARGET_PRAGMAS
|
|
355 #define REGISTER_TARGET_PRAGMAS() \
|
|
356 do \
|
|
357 { \
|
|
358 DARWIN_REGISTER_TARGET_PRAGMAS(); \
|
|
359 targetm.resolve_overloaded_builtin = altivec_resolve_overloaded_builtin; \
|
|
360 } \
|
|
361 while (0)
|
|
362
|
|
363 #ifdef IN_LIBGCC2
|
|
364 #include <stdbool.h>
|
|
365 #endif
|
|
366
|
|
367 /* True, iff we're generating fast turn around debugging code. When
|
|
368 true, we arrange for function prologues to start with 5 nops so
|
|
369 that gdb may insert code to redirect them, and for data to be
|
|
370 accessed indirectly. The runtime uses this indirection to forward
|
|
371 references for data to the original instance of that data. */
|
|
372
|
|
373 #define TARGET_FIX_AND_CONTINUE (darwin_fix_and_continue)
|
|
374
|
|
375 /* This is the reserved direct dispatch address for Objective-C. */
|
|
376 #define OFFS_MSGSEND_FAST 0xFFFEFF00
|
|
377
|
|
378 /* This is the reserved ivar address Objective-C. */
|
|
379 #define OFFS_ASSIGNIVAR_FAST 0xFFFEFEC0
|
|
380
|
|
381 /* Old versions of Mac OS/Darwin don't have C99 functions available. */
|
|
382 #undef TARGET_LIBC_HAS_FUNCTION
|
|
383 #define TARGET_LIBC_HAS_FUNCTION darwin_libc_has_function
|
|
384
|
|
385 /* When generating kernel code or kexts, we don't use Altivec by
|
|
386 default, as kernel code doesn't save/restore those registers. */
|
|
387 #define OS_MISSING_ALTIVEC (flag_mkernel || flag_apple_kext)
|
|
388
|
|
389 /* Darwin has support for section anchors on powerpc*.
|
|
390 It is disabled for any section containing a "zero-sized item" (because these
|
|
391 are re-written as size=1 to be compatible with the OSX ld64).
|
|
392 The re-writing would interfere with the computation of anchor offsets.
|
|
393 Therefore, we place zero-sized items in their own sections and make such
|
|
394 sections unavailable to section anchoring. */
|
|
395
|
|
396 #undef TARGET_ASM_OUTPUT_ANCHOR
|
|
397 #define TARGET_ASM_OUTPUT_ANCHOR darwin_asm_output_anchor
|
|
398
|
|
399 #undef TARGET_USE_ANCHORS_FOR_SYMBOL_P
|
|
400 #define TARGET_USE_ANCHORS_FOR_SYMBOL_P darwin_use_anchors_for_symbol_p
|
|
401
|
|
402 #undef DARWIN_SECTION_ANCHORS
|
|
403 #define DARWIN_SECTION_ANCHORS 1
|
|
404
|
|
405 /* PPC Darwin has to rename some of the long double builtins. */
|
|
406 #undef SUBTARGET_INIT_BUILTINS
|
|
407 #define SUBTARGET_INIT_BUILTINS \
|
|
408 do { \
|
|
409 darwin_patch_builtins (); \
|
|
410 rs6000_builtin_decls[(unsigned) (RS6000_BUILTIN_CFSTRING)] \
|
|
411 = darwin_init_cfstring_builtins ((unsigned) (RS6000_BUILTIN_CFSTRING)); \
|
|
412 } while(0)
|
|
413
|
|
414 /* So far, there is no rs6000_fold_builtin, if one is introduced, then
|
|
415 this will need to be modified similar to the x86 case. */
|
|
416 #define TARGET_FOLD_BUILTIN SUBTARGET_FOLD_BUILTIN
|
|
417
|
|
418 /* Use standard DWARF numbering for DWARF debugging information. */
|
|
419 #define RS6000_USE_DWARF_NUMBERING
|
|
420
|