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.
5 This file is part of GCC.
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.
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.
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. */
23 #define TARGET_VERSION fprintf (stderr, " (Darwin/PowerPC)");
25 /* The "Darwin ABI" is mostly like AIX, but with some key differences. */
27 #define DEFAULT_ABI ABI_DARWIN
29 /* The object file format is Mach-O. */
31 #define TARGET_OBJECT_FORMAT OBJECT_MACHO
33 /* We're not ever going to do TOCs. */
36 #define TARGET_NO_TOC 1
38 /* Override the default rs6000 definition. */
40 #define PTRDIFF_TYPE (TARGET_64BIT ? "long int" : "int")
42 /* Darwin switches. */
43 /* Use dynamic-no-pic codegen (no picbase reg; not suitable for shlibs.) */
44 #define MASK_MACHO_DYNAMIC_NO_PIC 0x00800000
46 #define TARGET_DYNAMIC_NO_PIC (target_flags & MASK_MACHO_DYNAMIC_NO_PIC)
48 /* Handle #pragma weak and #pragma pack. */
49 #define HANDLE_SYSV_PRAGMA 1
52 #define TARGET_OS_CPP_BUILTINS() \
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__"); \
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, ""},
77 /* The Darwin ABI always includes AltiVec, can't be (validly) turned
80 #define SUBTARGET_OVERRIDE_OPTIONS \
82 rs6000_altivec_abi = 1; \
83 rs6000_altivec_vrsave = 1; \
84 if (DEFAULT_ABI == ABI_DARWIN) \
86 if (MACHO_DYNAMIC_NO_PIC_P) \
89 warning (0, "-mdynamic-no-pic overrides -fpic or -fPIC"); \
92 else if (flag_pic == 1) \
94 /* Darwin doesn't support -fpic. */ \
95 warning (0, "-fpic is not supported; -fPIC assumed"); \
99 if (TARGET_64BIT && ! TARGET_POWERPC64) \
101 target_flags |= MASK_POWERPC64; \
102 warning (0, "-m64 requires PowerPC64 architecture, enabling"); \
106 /* Darwin has 128-bit long double support in libc in 10.4 and later.
107 Default to 128-bit long doubles even on earlier platforms for ABI
108 consistency; arithmetic will work even if libc and libm support is
111 #define RS6000_DEFAULT_LONG_DOUBLE_SIZE 128
114 /* We want -fPIC by default, unless we're using -static to compile for
115 the kernel or some such. */
118 %{g: %{!fno-eliminate-unused-debug-symbols: -feliminate-unused-debug-symbols }} \
119 %{static: %{Zdynamic: %e conflicting code gen style switches are used}}\
120 %{!static:%{!mdynamic-no-pic:-fPIC}}"
122 #define DARWIN_SUBARCH_SPEC " \
137 mcpu=power4:ppc970; \
141 #undef SUBTARGET_EXTRA_SPECS
142 #define SUBTARGET_EXTRA_SPECS \
143 { "darwin_arch", "%{m64:ppc64;:ppc}" }, \
144 { "darwin_subarch", DARWIN_SUBARCH_SPEC },
146 /* Output a .machine directive. */
147 #undef TARGET_ASM_FILE_START
148 #define TARGET_ASM_FILE_START rs6000_darwin_file_start
150 /* The "-faltivec" option should have been called "-maltivec" all
151 along. -ffix-and-continue and -findirect-data is for compatibility
152 for old compilers. */
154 #define SUBTARGET_OPTION_TRANSLATE_TABLE \
155 { "-ffix-and-continue", "-mfix-and-continue" }, \
156 { "-findirect-data", "-mfix-and-continue" }, \
157 { "-faltivec", "-maltivec -include altivec.h" }, \
158 { "-fno-altivec", "-mno-altivec" }, \
159 { "-Waltivec-long-deprecated", "-mwarn-altivec-long" }, \
160 { "-Wno-altivec-long-deprecated", "-mno-warn-altivec-long" }
162 /* Make both r2 and r13 available for allocation. */
166 /* Base register for access to local variables of the function. */
168 #undef FRAME_POINTER_REGNUM
169 #define FRAME_POINTER_REGNUM 30
171 #undef RS6000_PIC_OFFSET_TABLE_REGNUM
172 #define RS6000_PIC_OFFSET_TABLE_REGNUM 31
174 /* Pad the outgoing args area to 16 bytes instead of the usual 8. */
176 #undef STARTING_FRAME_OFFSET
177 #define STARTING_FRAME_OFFSET \
178 (RS6000_ALIGN (current_function_outgoing_args_size, 16) \
179 + RS6000_VARARGS_AREA \
182 #undef STACK_DYNAMIC_OFFSET
183 #define STACK_DYNAMIC_OFFSET(FUNDECL) \
184 (RS6000_ALIGN (current_function_outgoing_args_size, 16) \
185 + (STACK_POINTER_OFFSET))
187 /* These are used by -fbranch-probabilities */
188 #define HOT_TEXT_SECTION_NAME "__TEXT,__text,regular,pure_instructions"
189 #define UNLIKELY_EXECUTED_TEXT_SECTION_NAME \
190 "__TEXT,__unlikely,regular,pure_instructions"
192 /* Define cutoff for using external functions to save floating point.
193 Currently on Darwin, always use inline stores. */
195 #undef FP_SAVE_INLINE
196 #define FP_SAVE_INLINE(FIRST_REG) ((FIRST_REG) < 64)
198 /* Darwin uses a function call if everything needs to be saved/restored. */
200 #define WORLD_SAVE_P(INFO) ((INFO)->world_save_p)
202 /* The assembler wants the alternate register names, but without
203 leading percent sign. */
204 #undef REGISTER_NAMES
205 #define REGISTER_NAMES \
207 "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7", \
208 "r8", "r9", "r10", "r11", "r12", "r13", "r14", "r15", \
209 "r16", "r17", "r18", "r19", "r20", "r21", "r22", "r23", \
210 "r24", "r25", "r26", "r27", "r28", "r29", "r30", "r31", \
211 "f0", "f1", "f2", "f3", "f4", "f5", "f6", "f7", \
212 "f8", "f9", "f10", "f11", "f12", "f13", "f14", "f15", \
213 "f16", "f17", "f18", "f19", "f20", "f21", "f22", "f23", \
214 "f24", "f25", "f26", "f27", "f28", "f29", "f30", "f31", \
215 "mq", "lr", "ctr", "ap", \
216 "cr0", "cr1", "cr2", "cr3", "cr4", "cr5", "cr6", "cr7", \
218 "v0", "v1", "v2", "v3", "v4", "v5", "v6", "v7", \
219 "v8", "v9", "v10", "v11", "v12", "v13", "v14", "v15", \
220 "v16", "v17", "v18", "v19", "v20", "v21", "v22", "v23", \
221 "v24", "v25", "v26", "v27", "v28", "v29", "v30", "v31", \
223 "spe_acc", "spefscr" \
226 /* This outputs NAME to FILE. */
228 #undef RS6000_OUTPUT_BASENAME
229 #define RS6000_OUTPUT_BASENAME(FILE, NAME) \
230 assemble_name (FILE, NAME)
232 /* Globalizing directive for a label. */
234 #define GLOBAL_ASM_OP "\t.globl "
235 #undef TARGET_ASM_GLOBALIZE_LABEL
237 /* This is how to output an internal label prefix. rs6000.c uses this
238 when generating traceback tables. */
239 /* Not really used for Darwin? */
241 #undef ASM_OUTPUT_INTERNAL_LABEL_PREFIX
242 #define ASM_OUTPUT_INTERNAL_LABEL_PREFIX(FILE,PREFIX) \
243 fprintf (FILE, "%s", PREFIX)
245 /* This says how to output an assembler line to define a global common
248 #undef ASM_OUTPUT_ALIGNED_COMMON
249 #define ASM_OUTPUT_COMMON(FILE, NAME, SIZE, ROUNDED) \
251 unsigned HOST_WIDE_INT _new_size = SIZE; \
252 fputs (".comm ", (FILE)); \
253 RS6000_OUTPUT_BASENAME ((FILE), (NAME)); \
254 if (_new_size == 0) _new_size = 1; \
255 fprintf ((FILE), ","HOST_WIDE_INT_PRINT_UNSIGNED"\n", _new_size); \
258 /* Override the standard rs6000 definition. */
260 #undef ASM_COMMENT_START
261 #define ASM_COMMENT_START ";"
263 /* FP save and restore routines. */
264 #define SAVE_FP_PREFIX "._savef"
265 #define SAVE_FP_SUFFIX ""
266 #define RESTORE_FP_PREFIX "._restf"
267 #define RESTORE_FP_SUFFIX ""
269 /* This is how to output an assembler line that says to advance
270 the location counter to a multiple of 2**LOG bytes using the
271 "nop" instruction as padding. */
273 #define ASM_OUTPUT_ALIGN_WITH_NOP(FILE,LOG) \
278 ASM_OUTPUT_ALIGN (FILE,LOG); \
280 else /* nop == ori r0,r0,0 */ \
281 fprintf (FILE, "\t.align32 %d,0x60000000\n", (LOG)); \
284 /* Generate insns to call the profiler. */
286 #ifdef HAVE_GAS_MAX_SKIP_P2ALIGN
287 /* This is supported in cctools 465 and later. The macro test
288 above prevents using it in earlier build environments. */
289 #define ASM_OUTPUT_MAX_SKIP_ALIGN(FILE,LOG,MAX_SKIP) \
292 if ((MAX_SKIP) == 0) \
293 fprintf ((FILE), "\t.p2align %d\n", (LOG)); \
295 fprintf ((FILE), "\t.p2align %d,,%d\n", (LOG), (MAX_SKIP)); \
299 #define PROFILE_HOOK(LABEL) output_profile_hook (LABEL)
301 /* Function name to call to do profiling. */
303 #define RS6000_MCOUNT "*mcount"
305 /* Default processor: G4, and G5 for 64-bit. */
307 #undef PROCESSOR_DEFAULT
308 #define PROCESSOR_DEFAULT PROCESSOR_PPC7400
309 #undef PROCESSOR_DEFAULT64
310 #define PROCESSOR_DEFAULT64 PROCESSOR_POWER4
312 /* Default target flag settings. Despite the fact that STMW/LMW
313 serializes, it's still a big code size win to use them. Use FSEL by
316 #undef TARGET_DEFAULT
317 #define TARGET_DEFAULT (MASK_POWERPC | MASK_MULTIPLE | MASK_NEW_MNEMONICS \
320 /* Darwin only runs on PowerPC, so short-circuit POWER patterns. */
322 #define TARGET_POWER 0
324 /* Since Darwin doesn't do TOCs, stub this out. */
326 #define ASM_OUTPUT_SPECIAL_POOL_ENTRY_P(X, MODE) 0
328 /* Unlike most other PowerPC targets, chars are signed, for
329 consistency with other Darwin architectures. */
331 #undef DEFAULT_SIGNED_CHAR
332 #define DEFAULT_SIGNED_CHAR (1)
334 /* Given an rtx X being reloaded into a reg required to be
335 in class CLASS, return the class of reg to actually use.
336 In general this is just CLASS; but on some machines
337 in some cases it is preferable to use a more restrictive class.
339 On the RS/6000, we have to return NO_REGS when we want to reload a
340 floating-point CONST_DOUBLE to force it to be copied to memory.
342 Don't allow R0 when loading the address of, or otherwise furtling with,
345 #undef PREFERRED_RELOAD_CLASS
346 #define PREFERRED_RELOAD_CLASS(X,CLASS) \
348 && reg_classes_intersect_p ((CLASS), FLOAT_REGS)) \
350 : ((GET_CODE (X) == SYMBOL_REF || GET_CODE (X) == HIGH) \
351 && reg_class_subset_p (BASE_REGS, (CLASS))) \
353 : (GET_MODE_CLASS (GET_MODE (X)) == MODE_INT \
354 && (CLASS) == NON_SPECIAL_REGS) \
358 /* Fix for emit_group_load (): force large constants to be pushed via regs. */
359 #define ALWAYS_PUSH_CONSTS_USING_REGS_P 1
361 /* This now supports a natural alignment mode */
362 /* Darwin word-aligns FP doubles but doubleword-aligns 64-bit ints. */
363 #define ADJUST_FIELD_ALIGN(FIELD, COMPUTED) \
364 (TARGET_ALIGN_NATURAL ? (COMPUTED) : \
365 (TYPE_MODE (TREE_CODE (TREE_TYPE (FIELD)) == ARRAY_TYPE \
366 ? get_inner_array_type (FIELD) \
367 : TREE_TYPE (FIELD)) == DFmode \
368 ? MIN ((COMPUTED), 32) : (COMPUTED)))
370 /* Darwin increases natural record alignment to doubleword if the first
371 field is an FP double while the FP fields remain word aligned. */
372 #define ROUND_TYPE_ALIGN(STRUCT, COMPUTED, SPECIFIED) \
373 ((TREE_CODE (STRUCT) == RECORD_TYPE \
374 || TREE_CODE (STRUCT) == UNION_TYPE \
375 || TREE_CODE (STRUCT) == QUAL_UNION_TYPE) \
376 && TARGET_ALIGN_NATURAL == 0 \
377 ? rs6000_special_round_type_align (STRUCT, COMPUTED, SPECIFIED) \
378 : (TREE_CODE (STRUCT) == VECTOR_TYPE \
379 && ALTIVEC_VECTOR_MODE (TYPE_MODE (STRUCT))) \
380 ? MAX (MAX ((COMPUTED), (SPECIFIED)), 128) \
381 : MAX ((COMPUTED), (SPECIFIED)))
383 /* Specify padding for the last element of a block move between
384 registers and memory. FIRST is nonzero if this is the only
386 #define BLOCK_REG_PADDING(MODE, TYPE, FIRST) \
387 (!(FIRST) ? upward : FUNCTION_ARG_PADDING (MODE, TYPE))
389 /* XXX: Darwin supports neither .quad, or .llong, but it also doesn't
390 support 64 bit PowerPC either, so this just keeps things happy. */
391 #define DOUBLE_INT_ASM_OP "\t.quad\t"
393 /* For binary compatibility with 2.95; Darwin C APIs use bool from
394 stdbool.h, which was an int-sized enum in 2.95. Users can explicitly
395 choose to have sizeof(bool)==1 with the -mone-byte-bool switch. */
396 #define BOOL_TYPE_SIZE (darwin_one_byte_bool ? CHAR_TYPE_SIZE : INT_TYPE_SIZE)
398 #undef REGISTER_TARGET_PRAGMAS
399 #define REGISTER_TARGET_PRAGMAS DARWIN_REGISTER_TARGET_PRAGMAS
401 /* Just like config/darwin.h's REAL_LIBGCC_SPEC, but use -lgcc_s_ppc64 for
403 #undef REAL_LIBGCC_SPEC
404 #define REAL_LIBGCC_SPEC \
405 "%{static|static-libgcc:-lgcc -lgcc_eh; \
406 :%{shared-libgcc|Zdynamiclib:%{m64:-lgcc_s_ppc64;:-lgcc_s} -lgcc; \
413 #define MD_UNWIND_SUPPORT "config/rs6000/darwin-unwind.h"
415 #define HAS_MD_FALLBACK_FRAME_STATE_FOR 1
417 /* True, iff we're generating fast turn around debugging code. When
418 true, we arrange for function prologues to start with 5 nops so
419 that gdb may insert code to redirect them, and for data to be
420 accessed indirectly. The runtime uses this indirection to forward
421 references for data to the original instance of that data. */
423 #define TARGET_FIX_AND_CONTINUE (darwin_fix_and_continue)