OSDN Git Service

760ab4f45cb5975a65c1fcf0c57105740eb54cdd
[pf3gnuchains/gcc-fork.git] / gcc / config / rs6000 / darwin.h
1 /* Target definitions for PowerPC running Darwin (Mac OS X).
2    Copyright (C) 1997, 2000, 2001, 2003, 2004, 2005, 2006
3    Free Software Foundation, Inc.
4    Contributed by Apple Computer Inc.
5
6    This file is part of GCC.
7
8    GCC is free software; you can redistribute it and/or modify it
9    under the terms of the GNU General Public License as published
10    by the Free Software Foundation; either version 2, or (at your
11    option) any later version.
12
13    GCC is distributed in the hope that it will be useful, but WITHOUT
14    ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
15    or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
16    License for more details.
17
18    You should have received a copy of the GNU General Public License
19    along with GCC; see the file COPYING.  If not, write to the
20    Free Software Foundation, 51 Franklin Street, Fifth Floor, Boston,
21    MA 02110-1301, USA.  */
22
23 #undef  TARGET_VERSION
24 #define TARGET_VERSION fprintf (stderr, " (Darwin/PowerPC)");
25
26 /* The "Darwin ABI" is mostly like AIX, but with some key differences.  */
27
28 #define DEFAULT_ABI ABI_DARWIN
29
30 #ifdef IN_LIBGCC2
31 #undef TARGET_64BIT
32 #ifdef __powerpc64__
33 #define TARGET_64BIT 1
34 #else
35 #define TARGET_64BIT 0
36 #endif
37 #endif
38
39 /* The object file format is Mach-O.  */
40
41 #define TARGET_OBJECT_FORMAT OBJECT_MACHO
42
43 /* Size of the Obj-C jump buffer.  */
44 #define OBJC_JBLEN ((TARGET_64BIT) ? (26*2 + 18*2 + 129 + 1) : (26 + 18*2 + 129 + 1))
45
46 /* We're not ever going to do TOCs.  */
47
48 #define TARGET_TOC 0
49 #define TARGET_NO_TOC 1
50
51 /* Override the default rs6000 definition.  */
52 #undef  PTRDIFF_TYPE
53 #define PTRDIFF_TYPE (TARGET_64BIT ? "long int" : "int")
54
55 /* Translate config/rs6000/darwin.opt to config/darwin.h.  */
56 #define TARGET_DYNAMIC_NO_PIC (TARGET_MACHO_DYNAMIC_NO_PIC)
57
58 #define TARGET_OS_CPP_BUILTINS()                \
59   do                                            \
60     {                                           \
61       if (!TARGET_64BIT) builtin_define ("__ppc__");   \
62       if (TARGET_64BIT) builtin_define ("__ppc64__");  \
63       builtin_define ("__POWERPC__");           \
64       builtin_define ("__NATURAL_ALIGNMENT__"); \
65       darwin_cpp_builtins (pfile);              \
66     }                                           \
67   while (0)
68
69
70 #define SUBTARGET_OVERRIDE_OPTIONS                                      \
71 do {                                                                    \
72   /* The Darwin ABI always includes AltiVec, can't be (validly) turned  \
73      off.  */                                                           \
74   rs6000_altivec_abi = 1;                                               \
75   TARGET_ALTIVEC_VRSAVE = 1;                                            \
76   if (DEFAULT_ABI == ABI_DARWIN)                                        \
77   {                                                                     \
78     if (MACHO_DYNAMIC_NO_PIC_P)                                         \
79       {                                                                 \
80         if (flag_pic)                                                   \
81             warning (0, "-mdynamic-no-pic overrides -fpic or -fPIC");   \
82         flag_pic = 0;                                                   \
83       }                                                                 \
84     else if (flag_pic == 1)                                             \
85       {                                                                 \
86         flag_pic = 2;                                                   \
87       }                                                                 \
88   }                                                                     \
89   if (TARGET_64BIT && ! TARGET_POWERPC64)                               \
90     {                                                                   \
91       target_flags |= MASK_POWERPC64;                                   \
92       warning (0, "-m64 requires PowerPC64 architecture, enabling");    \
93     }                                                                   \
94   if (flag_mkernel)                                                     \
95     {                                                                   \
96       rs6000_default_long_calls = 1;                                    \
97       target_flags |= MASK_SOFT_FLOAT;                                  \
98     }                                                                   \
99 } while(0)
100
101 #define C_COMMON_OVERRIDE_OPTIONS do {                                  \
102   /* On powerpc, __cxa_get_exception_ptr is available starting in the   \
103      10.4.6 libstdc++.dylib.  */                                        \
104   if ((! darwin_macosx_version_min                                      \
105        || strverscmp (darwin_macosx_version_min, "10.4.6") < 0)         \
106       && flag_use_cxa_get_exception_ptr == 2)                           \
107     flag_use_cxa_get_exception_ptr = 0;                                 \
108   if (flag_mkernel)                                                     \
109     flag_no_builtin = 1;                                                \
110   SUBTARGET_C_COMMON_OVERRIDE_OPTIONS;                                  \
111 } while (0)
112
113 /* Darwin has 128-bit long double support in libc in 10.4 and later.
114    Default to 128-bit long doubles even on earlier platforms for ABI
115    consistency; arithmetic will work even if libc and libm support is
116    not available.  */
117
118 #define RS6000_DEFAULT_LONG_DOUBLE_SIZE 128
119
120
121 /* We want -fPIC by default, unless we're using -static to compile for
122    the kernel or some such.  */
123
124 #define CC1_SPEC "\
125   %{g: %{!fno-eliminate-unused-debug-symbols: -feliminate-unused-debug-symbols }} \
126   %{static: %{Zdynamic: %e conflicting code gen style switches are used}}\
127   %{!mkernel:%{!static:%{!mdynamic-no-pic:-fPIC}}}"
128
129 #define DARWIN_ARCH_SPEC "%{m64:ppc64;:ppc}"
130
131 #define DARWIN_SUBARCH_SPEC "                   \
132  %{m64: ppc64}                                  \
133  %{!m64:                                        \
134  %{mcpu=601:ppc601;                             \
135    mcpu=603:ppc603;                             \
136    mcpu=603e:ppc603;                            \
137    mcpu=604:ppc604;                             \
138    mcpu=604e:ppc604e;                           \
139    mcpu=740:ppc750;                             \
140    mcpu=750:ppc750;                             \
141    mcpu=G3:ppc750;                              \
142    mcpu=7400:ppc7400;                           \
143    mcpu=G4:ppc7400;                             \
144    mcpu=7450:ppc7450;                           \
145    mcpu=970:ppc970;                             \
146    mcpu=power4:ppc970;                          \
147    mcpu=G5:ppc970;                              \
148    :ppc}}"
149
150 /* crt2.o is at least partially required for 10.3.x and earlier.  */
151 #define DARWIN_CRT2_SPEC \
152   "%{!m64:%:version-compare(!> 10.4 mmacosx-version-min= crt2.o%s)}"
153
154 #undef SUBTARGET_EXTRA_SPECS
155 #define SUBTARGET_EXTRA_SPECS                   \
156   DARWIN_EXTRA_SPECS                            \
157   { "darwin_arch", DARWIN_ARCH_SPEC },          \
158   { "darwin_crt2", DARWIN_CRT2_SPEC },          \
159   { "darwin_subarch", DARWIN_SUBARCH_SPEC },
160
161 /* Output a .machine directive.  */
162 #undef TARGET_ASM_FILE_START
163 #define TARGET_ASM_FILE_START rs6000_darwin_file_start
164
165 /* The "-faltivec" option should have been called "-maltivec" all
166    along.  -ffix-and-continue and -findirect-data is for compatibility
167    for old compilers.  */
168
169 #define SUBTARGET_OPTION_TRANSLATE_TABLE                                \
170   { "-ffix-and-continue", "-mfix-and-continue" },                       \
171   { "-findirect-data", "-mfix-and-continue" },                          \
172   { "-faltivec", "-maltivec -include altivec.h" },                      \
173   { "-fno-altivec", "-mno-altivec" },                                   \
174   { "-Waltivec-long-deprecated",        "-mwarn-altivec-long" },        \
175   { "-Wno-altivec-long-deprecated", "-mno-warn-altivec-long" }
176
177 /* Make both r2 and r13 available for allocation.  */
178 #define FIXED_R2 0
179 #define FIXED_R13 0
180
181 /* Base register for access to local variables of the function.  */
182
183 #undef  HARD_FRAME_POINTER_REGNUM
184 #define HARD_FRAME_POINTER_REGNUM 30
185
186 #undef  RS6000_PIC_OFFSET_TABLE_REGNUM
187 #define RS6000_PIC_OFFSET_TABLE_REGNUM 31
188
189 /* Pad the outgoing args area to 16 bytes instead of the usual 8.  */
190
191 #undef STARTING_FRAME_OFFSET
192 #define STARTING_FRAME_OFFSET                                           \
193   (FRAME_GROWS_DOWNWARD                                                 \
194    ? 0                                                                  \
195    : (RS6000_ALIGN (current_function_outgoing_args_size, 16)            \
196       + RS6000_SAVE_AREA))
197
198 #undef STACK_DYNAMIC_OFFSET
199 #define STACK_DYNAMIC_OFFSET(FUNDECL)                                   \
200   (RS6000_ALIGN (current_function_outgoing_args_size, 16)               \
201    + (STACK_POINTER_OFFSET))
202
203 /* These are used by -fbranch-probabilities */
204 #define HOT_TEXT_SECTION_NAME "__TEXT,__text,regular,pure_instructions"
205 #define UNLIKELY_EXECUTED_TEXT_SECTION_NAME \
206                               "__TEXT,__unlikely,regular,pure_instructions"
207
208 /* Define cutoff for using external functions to save floating point.
209    Currently on Darwin, always use inline stores.  */
210
211 #undef  FP_SAVE_INLINE
212 #define FP_SAVE_INLINE(FIRST_REG) ((FIRST_REG) < 64)
213
214 /* Darwin uses a function call if everything needs to be saved/restored.  */
215 #undef WORLD_SAVE_P
216 #define WORLD_SAVE_P(INFO) ((INFO)->world_save_p)
217
218 /* The assembler wants the alternate register names, but without
219    leading percent sign.  */
220 #undef REGISTER_NAMES
221 #define REGISTER_NAMES                                                  \
222 {                                                                       \
223      "r0",  "r1",  "r2",  "r3",  "r4",  "r5",  "r6",  "r7",             \
224      "r8",  "r9", "r10", "r11", "r12", "r13", "r14", "r15",             \
225     "r16", "r17", "r18", "r19", "r20", "r21", "r22", "r23",             \
226     "r24", "r25", "r26", "r27", "r28", "r29", "r30", "r31",             \
227      "f0",  "f1",  "f2",  "f3",  "f4",  "f5",  "f6",  "f7",             \
228      "f8",  "f9", "f10", "f11", "f12", "f13", "f14", "f15",             \
229     "f16", "f17", "f18", "f19", "f20", "f21", "f22", "f23",             \
230     "f24", "f25", "f26", "f27", "f28", "f29", "f30", "f31",             \
231      "mq",  "lr", "ctr",  "ap",                                         \
232     "cr0", "cr1", "cr2", "cr3", "cr4", "cr5", "cr6", "cr7",             \
233     "xer",                                                              \
234      "v0",  "v1",  "v2",  "v3",  "v4",  "v5",  "v6",  "v7",             \
235      "v8",  "v9", "v10", "v11", "v12", "v13", "v14", "v15",             \
236     "v16", "v17", "v18", "v19", "v20", "v21", "v22", "v23",             \
237     "v24", "v25", "v26", "v27", "v28", "v29", "v30", "v31",             \
238     "vrsave", "vscr",                                                   \
239     "spe_acc", "spefscr",                                               \
240     "sfp"                                                               \
241 }
242
243 /* This outputs NAME to FILE.  */
244
245 #undef  RS6000_OUTPUT_BASENAME
246 #define RS6000_OUTPUT_BASENAME(FILE, NAME)      \
247     assemble_name (FILE, NAME)
248
249 /* Globalizing directive for a label.  */
250 #undef GLOBAL_ASM_OP
251 #define GLOBAL_ASM_OP "\t.globl "
252 #undef TARGET_ASM_GLOBALIZE_LABEL
253
254 /* This is how to output an internal label prefix.  rs6000.c uses this
255    when generating traceback tables.  */
256 /* Not really used for Darwin?  */
257
258 #undef ASM_OUTPUT_INTERNAL_LABEL_PREFIX
259 #define ASM_OUTPUT_INTERNAL_LABEL_PREFIX(FILE,PREFIX)   \
260   fprintf (FILE, "%s", PREFIX)
261
262 /* This says how to output an assembler line to define a global common
263    symbol.  */
264 /* ? */
265 #undef  ASM_OUTPUT_ALIGNED_COMMON
266 #define ASM_OUTPUT_COMMON(FILE, NAME, SIZE, ROUNDED)                    \
267   do {                                                                  \
268     unsigned HOST_WIDE_INT _new_size = SIZE;                            \
269     fputs (".comm ", (FILE));                                           \
270     RS6000_OUTPUT_BASENAME ((FILE), (NAME));                            \
271     if (_new_size == 0) _new_size = 1;                                  \
272     fprintf ((FILE), ","HOST_WIDE_INT_PRINT_UNSIGNED"\n", _new_size);   \
273   } while (0)
274
275 /* Override the standard rs6000 definition.  */
276
277 #undef ASM_COMMENT_START
278 #define ASM_COMMENT_START ";"
279
280 /* FP save and restore routines.  */
281 #define SAVE_FP_PREFIX "._savef"
282 #define SAVE_FP_SUFFIX ""
283 #define RESTORE_FP_PREFIX "._restf"
284 #define RESTORE_FP_SUFFIX ""
285
286 /* This is how to output an assembler line that says to advance
287    the location counter to a multiple of 2**LOG bytes using the
288    "nop" instruction as padding.  */
289
290 #define ASM_OUTPUT_ALIGN_WITH_NOP(FILE,LOG)                   \
291   do                                                          \
292     {                                                         \
293       if ((LOG) < 3)                                          \
294         {                                                     \
295           ASM_OUTPUT_ALIGN (FILE,LOG);                        \
296         }                                                     \
297       else /* nop == ori r0,r0,0 */                           \
298         fprintf (FILE, "\t.align32 %d,0x60000000\n", (LOG));  \
299     } while (0)
300
301 #ifdef HAVE_GAS_MAX_SKIP_P2ALIGN
302 /* This is supported in cctools 465 and later.  The macro test
303    above prevents using it in earlier build environments.  */
304 #define ASM_OUTPUT_MAX_SKIP_ALIGN(FILE,LOG,MAX_SKIP)          \
305   if ((LOG) != 0)                                             \
306     {                                                         \
307       if ((MAX_SKIP) == 0)                                    \
308         fprintf ((FILE), "\t.p2align %d\n", (LOG));           \
309       else                                                    \
310         fprintf ((FILE), "\t.p2align %d,,%d\n", (LOG), (MAX_SKIP)); \
311     }
312 #endif
313
314 /* Generate insns to call the profiler.  */
315
316 #define PROFILE_HOOK(LABEL)   output_profile_hook (LABEL)
317
318 /* Function name to call to do profiling.  */
319
320 #define RS6000_MCOUNT "*mcount"
321
322 /* Default processor: G4, and G5 for 64-bit.  */
323
324 #undef PROCESSOR_DEFAULT
325 #define PROCESSOR_DEFAULT  PROCESSOR_PPC7400
326 #undef PROCESSOR_DEFAULT64
327 #define PROCESSOR_DEFAULT64  PROCESSOR_POWER4
328
329 /* Default target flag settings.  Despite the fact that STMW/LMW
330    serializes, it's still a big code size win to use them.  Use FSEL by
331    default as well.  */
332
333 #undef  TARGET_DEFAULT
334 #define TARGET_DEFAULT (MASK_POWERPC | MASK_MULTIPLE | MASK_NEW_MNEMONICS \
335                       | MASK_PPC_GFXOPT)
336
337 /* Darwin only runs on PowerPC, so short-circuit POWER patterns.  */
338 #undef  TARGET_POWER
339 #define TARGET_POWER 0
340 #undef  TARGET_IEEEQUAD
341 #define TARGET_IEEEQUAD 0
342
343 /* Since Darwin doesn't do TOCs, stub this out.  */
344
345 #define ASM_OUTPUT_SPECIAL_POOL_ENTRY_P(X, MODE)  ((void)X, (void)MODE, 0)
346
347 /* Unlike most other PowerPC targets, chars are signed, for
348    consistency with other Darwin architectures.  */
349
350 #undef DEFAULT_SIGNED_CHAR
351 #define DEFAULT_SIGNED_CHAR (1)
352
353 /* Given an rtx X being reloaded into a reg required to be
354    in class CLASS, return the class of reg to actually use.
355    In general this is just CLASS; but on some machines
356    in some cases it is preferable to use a more restrictive class.
357
358    On the RS/6000, we have to return NO_REGS when we want to reload a
359    floating-point CONST_DOUBLE to force it to be copied to memory.
360
361    Don't allow R0 when loading the address of, or otherwise furtling with,
362    a SYMBOL_REF.  */
363
364 #undef PREFERRED_RELOAD_CLASS
365 #define PREFERRED_RELOAD_CLASS(X,CLASS)                         \
366   ((CONSTANT_P (X)                                              \
367     && reg_classes_intersect_p ((CLASS), FLOAT_REGS))           \
368    ? NO_REGS                                                    \
369    : ((GET_CODE (X) == SYMBOL_REF || GET_CODE (X) == HIGH)      \
370       && reg_class_subset_p (BASE_REGS, (CLASS)))               \
371    ? BASE_REGS                                                  \
372    : (GET_MODE_CLASS (GET_MODE (X)) == MODE_INT                 \
373       && (CLASS) == NON_SPECIAL_REGS)                           \
374    ? GENERAL_REGS                                               \
375    : (CLASS))
376
377 /* Fix for emit_group_load (): force large constants to be pushed via regs.  */
378 #define ALWAYS_PUSH_CONSTS_USING_REGS_P         1
379
380 /* Compute field alignment.  This is similar to the version of the
381    macro in the Apple version of GCC, except that version supports
382    'mac68k' alignment, and that version uses the computed alignment
383    always for the first field of a structure.  The first-field
384    behaviour is dealt with by
385    darwin_rs6000_special_round_type_align.  */
386 #define ADJUST_FIELD_ALIGN(FIELD, COMPUTED)     \
387   (TARGET_ALIGN_NATURAL ? (COMPUTED)            \
388    : (COMPUTED) == 128 ? 128                    \
389    : MIN ((COMPUTED), 32))
390
391 /* Darwin increases natural record alignment to doubleword if the first
392    field is an FP double while the FP fields remain word aligned.  */
393 #define ROUND_TYPE_ALIGN(STRUCT, COMPUTED, SPECIFIED)                     \
394   ((TREE_CODE (STRUCT) == RECORD_TYPE                                     \
395     || TREE_CODE (STRUCT) == UNION_TYPE                                   \
396     || TREE_CODE (STRUCT) == QUAL_UNION_TYPE)                             \
397    && TARGET_ALIGN_NATURAL == 0                                           \
398    ? darwin_rs6000_special_round_type_align (STRUCT, COMPUTED, SPECIFIED) \
399    : (TREE_CODE (STRUCT) == VECTOR_TYPE                                   \
400       && ALTIVEC_VECTOR_MODE (TYPE_MODE (STRUCT)))                        \
401    ? MAX (MAX ((COMPUTED), (SPECIFIED)), 128)                             \
402    : MAX ((COMPUTED), (SPECIFIED)))
403
404 /* Specify padding for the last element of a block move between
405    registers and memory.  FIRST is nonzero if this is the only
406    element.  */
407 #define BLOCK_REG_PADDING(MODE, TYPE, FIRST) \
408   (!(FIRST) ? upward : FUNCTION_ARG_PADDING (MODE, TYPE))
409
410 /* XXX: Darwin supports neither .quad, or .llong, but it also doesn't
411    support 64 bit PowerPC either, so this just keeps things happy.  */
412 #define DOUBLE_INT_ASM_OP "\t.quad\t"
413
414 /* For binary compatibility with 2.95; Darwin C APIs use bool from
415    stdbool.h, which was an int-sized enum in 2.95.  Users can explicitly
416    choose to have sizeof(bool)==1 with the -mone-byte-bool switch. */
417 #define BOOL_TYPE_SIZE (darwin_one_byte_bool ? CHAR_TYPE_SIZE : INT_TYPE_SIZE)
418
419 #undef REGISTER_TARGET_PRAGMAS
420 #define REGISTER_TARGET_PRAGMAS() \
421   do \
422     { \
423       DARWIN_REGISTER_TARGET_PRAGMAS(); \
424       targetm.resolve_overloaded_builtin = altivec_resolve_overloaded_builtin; \
425     } \
426   while (0)
427
428 #ifdef IN_LIBGCC2
429 #include <stdbool.h>
430 #endif
431
432 #define MD_UNWIND_SUPPORT "config/rs6000/darwin-unwind.h"
433
434 #define HAS_MD_FALLBACK_FRAME_STATE_FOR 1
435
436 /* True, iff we're generating fast turn around debugging code.  When
437    true, we arrange for function prologues to start with 5 nops so
438    that gdb may insert code to redirect them, and for data to be
439    accessed indirectly.  The runtime uses this indirection to forward
440    references for data to the original instance of that data.  */
441
442 #define TARGET_FIX_AND_CONTINUE (darwin_fix_and_continue)
443
444 /* This is the reserved direct dispatch address for Objective-C.  */
445 #define OFFS_MSGSEND_FAST               0xFFFEFF00
446
447 /* This is the reserved ivar address Objective-C.  */
448 #define OFFS_ASSIGNIVAR_FAST            0xFFFEFEC0
449
450 /* Old versions of Mac OS/Darwin don't have C99 functions available.  */
451 #undef TARGET_C99_FUNCTIONS
452 #define TARGET_C99_FUNCTIONS                                    \
453   (TARGET_64BIT                                                 \
454    || (darwin_macosx_version_min                                \
455        && strverscmp (darwin_macosx_version_min, "10.3") >= 0))
456
457 /* When generating kernel code or kexts, we don't use Altivec by
458    default, as kernel code doesn't save/restore those registers.  */
459 #define OS_MISSING_ALTIVEC (flag_mkernel || flag_apple_kext)