OSDN Git Service

2006-09-19 Eric Christopher <echristo@apple.com>
[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         /* Darwin doesn't support -fpic.  */                            \
87         flag_pic = 2;                                                   \
88       }                                                                 \
89   }                                                                     \
90   if (TARGET_64BIT && ! TARGET_POWERPC64)                               \
91     {                                                                   \
92       target_flags |= MASK_POWERPC64;                                   \
93       warning (0, "-m64 requires PowerPC64 architecture, enabling");    \
94     }                                                                   \
95 } while(0)
96
97 #define C_COMMON_OVERRIDE_OPTIONS do {                                  \
98   /* On powerpc, __cxa_get_exception_ptr is available starting in the   \
99      10.4.6 libstdc++.dylib.  */                                        \
100   if ((! darwin_macosx_version_min                                      \
101        || strverscmp (darwin_macosx_version_min, "10.4.6") < 0)         \
102       && flag_use_cxa_get_exception_ptr == 2)                           \
103     flag_use_cxa_get_exception_ptr = 0;                                 \
104 } while (0)
105
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
109    not available.  */
110
111 #define RS6000_DEFAULT_LONG_DOUBLE_SIZE 128
112
113
114 /* We want -fPIC by default, unless we're using -static to compile for
115    the kernel or some such.  */
116
117 #define CC1_SPEC "\
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}}"
121
122 #define DARWIN_SUBARCH_SPEC "                   \
123  %{m64: ppc64}                                  \
124  %{!m64:                                        \
125  %{mcpu=601:ppc601;                             \
126    mcpu=603:ppc603;                             \
127    mcpu=603e:ppc603;                            \
128    mcpu=604:ppc604;                             \
129    mcpu=604e:ppc604e;                           \
130    mcpu=740:ppc750;                             \
131    mcpu=750:ppc750;                             \
132    mcpu=G3:ppc750;                              \
133    mcpu=7400:ppc7400;                           \
134    mcpu=G4:ppc7400;                             \
135    mcpu=7450:ppc7450;                           \
136    mcpu=970:ppc970;                             \
137    mcpu=power4:ppc970;                          \
138    mcpu=G5:ppc970;                              \
139    :ppc}}"
140
141 /* crt2.o is at least partially required for 10.3.x and earlier.  */
142 #define DARWIN_CRT2_SPEC \
143   "%{!m64:%:version-compare(!> 10.4 mmacosx-version-min= crt2.o%s)}"
144
145 #undef SUBTARGET_EXTRA_SPECS
146 #define SUBTARGET_EXTRA_SPECS                   \
147   { "darwin_arch", "%{m64:ppc64;:ppc}" },       \
148   { "darwin_crt2", DARWIN_CRT2_SPEC },          \
149   { "darwin_subarch", DARWIN_SUBARCH_SPEC },
150
151 /* Output a .machine directive.  */
152 #undef TARGET_ASM_FILE_START
153 #define TARGET_ASM_FILE_START rs6000_darwin_file_start
154
155 /* The "-faltivec" option should have been called "-maltivec" all
156    along.  -ffix-and-continue and -findirect-data is for compatibility
157    for old compilers.  */
158
159 #define SUBTARGET_OPTION_TRANSLATE_TABLE                                \
160   { "-ffix-and-continue", "-mfix-and-continue" },                       \
161   { "-findirect-data", "-mfix-and-continue" },                          \
162   { "-faltivec", "-maltivec -include altivec.h" },                      \
163   { "-fno-altivec", "-mno-altivec" },                                   \
164   { "-Waltivec-long-deprecated",        "-mwarn-altivec-long" },        \
165   { "-Wno-altivec-long-deprecated", "-mno-warn-altivec-long" }
166
167 /* Make both r2 and r13 available for allocation.  */
168 #define FIXED_R2 0
169 #define FIXED_R13 0
170
171 /* Base register for access to local variables of the function.  */
172
173 #undef  HARD_FRAME_POINTER_REGNUM
174 #define HARD_FRAME_POINTER_REGNUM 30
175
176 #undef  RS6000_PIC_OFFSET_TABLE_REGNUM
177 #define RS6000_PIC_OFFSET_TABLE_REGNUM 31
178
179 /* Pad the outgoing args area to 16 bytes instead of the usual 8.  */
180
181 #undef STARTING_FRAME_OFFSET
182 #define STARTING_FRAME_OFFSET                                           \
183   (FRAME_GROWS_DOWNWARD                                                 \
184    ? 0                                                                  \
185    : (RS6000_ALIGN (current_function_outgoing_args_size, 16)            \
186       + RS6000_SAVE_AREA))
187
188 #undef STACK_DYNAMIC_OFFSET
189 #define STACK_DYNAMIC_OFFSET(FUNDECL)                                   \
190   (RS6000_ALIGN (current_function_outgoing_args_size, 16)               \
191    + (STACK_POINTER_OFFSET))
192
193 /* These are used by -fbranch-probabilities */
194 #define HOT_TEXT_SECTION_NAME "__TEXT,__text,regular,pure_instructions"
195 #define UNLIKELY_EXECUTED_TEXT_SECTION_NAME \
196                               "__TEXT,__unlikely,regular,pure_instructions"
197
198 /* Define cutoff for using external functions to save floating point.
199    Currently on Darwin, always use inline stores.  */
200
201 #undef  FP_SAVE_INLINE
202 #define FP_SAVE_INLINE(FIRST_REG) ((FIRST_REG) < 64)
203
204 /* Darwin uses a function call if everything needs to be saved/restored.  */
205 #undef WORLD_SAVE_P
206 #define WORLD_SAVE_P(INFO) ((INFO)->world_save_p)
207
208 /* The assembler wants the alternate register names, but without
209    leading percent sign.  */
210 #undef REGISTER_NAMES
211 #define REGISTER_NAMES                                                  \
212 {                                                                       \
213      "r0",  "r1",  "r2",  "r3",  "r4",  "r5",  "r6",  "r7",             \
214      "r8",  "r9", "r10", "r11", "r12", "r13", "r14", "r15",             \
215     "r16", "r17", "r18", "r19", "r20", "r21", "r22", "r23",             \
216     "r24", "r25", "r26", "r27", "r28", "r29", "r30", "r31",             \
217      "f0",  "f1",  "f2",  "f3",  "f4",  "f5",  "f6",  "f7",             \
218      "f8",  "f9", "f10", "f11", "f12", "f13", "f14", "f15",             \
219     "f16", "f17", "f18", "f19", "f20", "f21", "f22", "f23",             \
220     "f24", "f25", "f26", "f27", "f28", "f29", "f30", "f31",             \
221      "mq",  "lr", "ctr",  "ap",                                         \
222     "cr0", "cr1", "cr2", "cr3", "cr4", "cr5", "cr6", "cr7",             \
223     "xer",                                                              \
224      "v0",  "v1",  "v2",  "v3",  "v4",  "v5",  "v6",  "v7",             \
225      "v8",  "v9", "v10", "v11", "v12", "v13", "v14", "v15",             \
226     "v16", "v17", "v18", "v19", "v20", "v21", "v22", "v23",             \
227     "v24", "v25", "v26", "v27", "v28", "v29", "v30", "v31",             \
228     "vrsave", "vscr",                                                   \
229     "spe_acc", "spefscr",                                               \
230     "sfp"                                                               \
231 }
232
233 /* This outputs NAME to FILE.  */
234
235 #undef  RS6000_OUTPUT_BASENAME
236 #define RS6000_OUTPUT_BASENAME(FILE, NAME)      \
237     assemble_name (FILE, NAME)
238
239 /* Globalizing directive for a label.  */
240 #undef GLOBAL_ASM_OP
241 #define GLOBAL_ASM_OP "\t.globl "
242 #undef TARGET_ASM_GLOBALIZE_LABEL
243
244 /* This is how to output an internal label prefix.  rs6000.c uses this
245    when generating traceback tables.  */
246 /* Not really used for Darwin?  */
247
248 #undef ASM_OUTPUT_INTERNAL_LABEL_PREFIX
249 #define ASM_OUTPUT_INTERNAL_LABEL_PREFIX(FILE,PREFIX)   \
250   fprintf (FILE, "%s", PREFIX)
251
252 /* This says how to output an assembler line to define a global common
253    symbol.  */
254 /* ? */
255 #undef  ASM_OUTPUT_ALIGNED_COMMON
256 #define ASM_OUTPUT_COMMON(FILE, NAME, SIZE, ROUNDED)                    \
257   do {                                                                  \
258     unsigned HOST_WIDE_INT _new_size = SIZE;                            \
259     fputs (".comm ", (FILE));                                           \
260     RS6000_OUTPUT_BASENAME ((FILE), (NAME));                            \
261     if (_new_size == 0) _new_size = 1;                                  \
262     fprintf ((FILE), ","HOST_WIDE_INT_PRINT_UNSIGNED"\n", _new_size);   \
263   } while (0)
264
265 /* Override the standard rs6000 definition.  */
266
267 #undef ASM_COMMENT_START
268 #define ASM_COMMENT_START ";"
269
270 /* FP save and restore routines.  */
271 #define SAVE_FP_PREFIX "._savef"
272 #define SAVE_FP_SUFFIX ""
273 #define RESTORE_FP_PREFIX "._restf"
274 #define RESTORE_FP_SUFFIX ""
275
276 /* This is how to output an assembler line that says to advance
277    the location counter to a multiple of 2**LOG bytes using the
278    "nop" instruction as padding.  */
279
280 #define ASM_OUTPUT_ALIGN_WITH_NOP(FILE,LOG)                   \
281   do                                                          \
282     {                                                         \
283       if ((LOG) < 3)                                          \
284         {                                                     \
285           ASM_OUTPUT_ALIGN (FILE,LOG);                        \
286         }                                                     \
287       else /* nop == ori r0,r0,0 */                           \
288         fprintf (FILE, "\t.align32 %d,0x60000000\n", (LOG));  \
289     } while (0)
290
291 /* Generate insns to call the profiler.  */
292
293 #ifdef HAVE_GAS_MAX_SKIP_P2ALIGN
294 /* This is supported in cctools 465 and later.  The macro test
295    above prevents using it in earlier build environments.  */
296 #define ASM_OUTPUT_MAX_SKIP_ALIGN(FILE,LOG,MAX_SKIP)          \
297   if ((LOG) != 0)                                             \
298     {                                                         \
299       if ((MAX_SKIP) == 0)                                    \
300         fprintf ((FILE), "\t.p2align %d\n", (LOG));           \
301       else                                                    \
302         fprintf ((FILE), "\t.p2align %d,,%d\n", (LOG), (MAX_SKIP)); \
303     }
304 #endif
305
306 #define PROFILE_HOOK(LABEL)   output_profile_hook (LABEL)
307
308 /* Function name to call to do profiling.  */
309
310 #define RS6000_MCOUNT "*mcount"
311
312 /* Default processor: G4, and G5 for 64-bit.  */
313
314 #undef PROCESSOR_DEFAULT
315 #define PROCESSOR_DEFAULT  PROCESSOR_PPC7400
316 #undef PROCESSOR_DEFAULT64
317 #define PROCESSOR_DEFAULT64  PROCESSOR_POWER4
318
319 /* Default target flag settings.  Despite the fact that STMW/LMW
320    serializes, it's still a big code size win to use them.  Use FSEL by
321    default as well.  */
322
323 #undef  TARGET_DEFAULT
324 #define TARGET_DEFAULT (MASK_POWERPC | MASK_MULTIPLE | MASK_NEW_MNEMONICS \
325                       | MASK_PPC_GFXOPT)
326
327 /* Darwin only runs on PowerPC, so short-circuit POWER patterns.  */
328 #undef  TARGET_POWER
329 #define TARGET_POWER 0
330 #undef  TARGET_IEEEQUAD
331 #define TARGET_IEEEQUAD 0
332
333 /* Since Darwin doesn't do TOCs, stub this out.  */
334
335 #define ASM_OUTPUT_SPECIAL_POOL_ENTRY_P(X, MODE)  ((void)X, (void)MODE, 0)
336
337 /* Unlike most other PowerPC targets, chars are signed, for
338    consistency with other Darwin architectures.  */
339
340 #undef DEFAULT_SIGNED_CHAR
341 #define DEFAULT_SIGNED_CHAR (1)
342
343 /* Given an rtx X being reloaded into a reg required to be
344    in class CLASS, return the class of reg to actually use.
345    In general this is just CLASS; but on some machines
346    in some cases it is preferable to use a more restrictive class.
347
348    On the RS/6000, we have to return NO_REGS when we want to reload a
349    floating-point CONST_DOUBLE to force it to be copied to memory.
350
351    Don't allow R0 when loading the address of, or otherwise furtling with,
352    a SYMBOL_REF.  */
353
354 #undef PREFERRED_RELOAD_CLASS
355 #define PREFERRED_RELOAD_CLASS(X,CLASS)                         \
356   ((CONSTANT_P (X)                                              \
357     && reg_classes_intersect_p ((CLASS), FLOAT_REGS))           \
358    ? NO_REGS                                                    \
359    : ((GET_CODE (X) == SYMBOL_REF || GET_CODE (X) == HIGH)      \
360       && reg_class_subset_p (BASE_REGS, (CLASS)))               \
361    ? BASE_REGS                                                  \
362    : (GET_MODE_CLASS (GET_MODE (X)) == MODE_INT                 \
363       && (CLASS) == NON_SPECIAL_REGS)                           \
364    ? GENERAL_REGS                                               \
365    : (CLASS))
366
367 /* Fix for emit_group_load (): force large constants to be pushed via regs.  */
368 #define ALWAYS_PUSH_CONSTS_USING_REGS_P         1
369
370 /* This now supports a natural alignment mode */
371 /* Darwin word-aligns FP doubles but doubleword-aligns 64-bit ints.  */
372 #define ADJUST_FIELD_ALIGN(FIELD, COMPUTED) \
373   (TARGET_ALIGN_NATURAL ? (COMPUTED) : \
374   (TYPE_MODE (TREE_CODE (TREE_TYPE (FIELD)) == ARRAY_TYPE \
375               ? get_inner_array_type (FIELD) \
376               : TREE_TYPE (FIELD)) == DFmode \
377    ? MIN ((COMPUTED), 32) : (COMPUTED)))
378
379 /* Darwin increases natural record alignment to doubleword if the first
380    field is an FP double while the FP fields remain word aligned.  */
381 #define ROUND_TYPE_ALIGN(STRUCT, COMPUTED, SPECIFIED)                   \
382   ((TREE_CODE (STRUCT) == RECORD_TYPE                                   \
383     || TREE_CODE (STRUCT) == UNION_TYPE                                 \
384     || TREE_CODE (STRUCT) == QUAL_UNION_TYPE)                           \
385    && TARGET_ALIGN_NATURAL == 0                                         \
386    ? rs6000_special_round_type_align (STRUCT, COMPUTED, SPECIFIED)      \
387    : (TREE_CODE (STRUCT) == VECTOR_TYPE                                 \
388       && ALTIVEC_VECTOR_MODE (TYPE_MODE (STRUCT)))                      \
389    ? MAX (MAX ((COMPUTED), (SPECIFIED)), 128)                            \
390    : MAX ((COMPUTED), (SPECIFIED)))
391
392 /* Specify padding for the last element of a block move between
393    registers and memory.  FIRST is nonzero if this is the only
394    element.  */
395 #define BLOCK_REG_PADDING(MODE, TYPE, FIRST) \
396   (!(FIRST) ? upward : FUNCTION_ARG_PADDING (MODE, TYPE))
397
398 /* XXX: Darwin supports neither .quad, or .llong, but it also doesn't
399    support 64 bit PowerPC either, so this just keeps things happy.  */
400 #define DOUBLE_INT_ASM_OP "\t.quad\t"
401
402 /* For binary compatibility with 2.95; Darwin C APIs use bool from
403    stdbool.h, which was an int-sized enum in 2.95.  Users can explicitly
404    choose to have sizeof(bool)==1 with the -mone-byte-bool switch. */
405 #define BOOL_TYPE_SIZE (darwin_one_byte_bool ? CHAR_TYPE_SIZE : INT_TYPE_SIZE)
406
407 #undef REGISTER_TARGET_PRAGMAS
408 #define REGISTER_TARGET_PRAGMAS() \
409   do \
410     { \
411       DARWIN_REGISTER_TARGET_PRAGMAS(); \
412       targetm.resolve_overloaded_builtin = altivec_resolve_overloaded_builtin; \
413     } \
414   while (0)
415
416 #ifdef IN_LIBGCC2
417 #include <stdbool.h>
418 #endif
419
420 #define MD_UNWIND_SUPPORT "config/rs6000/darwin-unwind.h"
421
422 #define HAS_MD_FALLBACK_FRAME_STATE_FOR 1
423
424 /* True, iff we're generating fast turn around debugging code.  When
425    true, we arrange for function prologues to start with 5 nops so
426    that gdb may insert code to redirect them, and for data to be
427    accessed indirectly.  The runtime uses this indirection to forward
428    references for data to the original instance of that data.  */
429
430 #define TARGET_FIX_AND_CONTINUE (darwin_fix_and_continue)
431
432 /* This is the reserved direct dispatch address for Objective-C.  */
433 #define OFFS_MSGSEND_FAST               0xFFFEFF00
434
435 /* This is the reserved ivar address Objective-C.  */
436 #define OFFS_ASSIGNIVAR_FAST            0xFFFEFEC0
437
438 /* Old versions of Mac OS/Darwin don't have C99 functions available.  */
439 #undef TARGET_C99_FUNCTIONS
440 #define TARGET_C99_FUNCTIONS                                    \
441   (TARGET_64BIT                                                 \
442    || (darwin_macosx_version_min                                \
443        && strverscmp (darwin_macosx_version_min, "10.3") >= 0))
444
445 /* Attempt to turn on execute permission for the stack.  This may be
446     used by INITIALIZE_TRAMPOLINE of the target needs it (that is,
447     if the target machine can change execute permissions on a page).
448
449     There is no way to query the execute permission of the stack, so
450     we always issue the mprotect() call.
451
452     Note that we go out of our way to use namespace-non-invasive calls
453     here.  Unfortunately, there is no libc-internal name for mprotect().
454
455     Also note that no errors should be emitted by this code; it is
456     considered dangerous for library calls to send messages to
457     stdout/stderr.  */
458
459 #define ENABLE_EXECUTE_STACK                                            \
460 extern void __enable_execute_stack (void *);                            \
461 void                                                                    \
462 __enable_execute_stack (void *addr)                                     \
463 {                                                                       \
464    extern int mprotect (void *, size_t, int);                           \
465    extern int __sysctl (int *, unsigned int, void *, size_t *,          \
466                        void *, size_t);                                 \
467                                                                         \
468    static int size;                                                     \
469    static long mask;                                                    \
470                                                                         \
471    char *page, *end;                                                    \
472                                                                         \
473    if (size == 0)                                                       \
474      {                                                                  \
475        int mib[2];                                                      \
476        size_t len;                                                      \
477                                                                         \
478        mib[0] = 6; /* CTL_HW */                                         \
479        mib[1] = 7; /* HW_PAGESIZE */                                    \
480        len = sizeof (size);                                             \
481        (void) __sysctl (mib, 2, &size, &len, NULL, 0);                  \
482        mask = ~((long) size - 1);                                       \
483      }                                                                  \
484                                                                         \
485    page = (char *) (((long) addr) & mask);                              \
486    end  = (char *) ((((long) (addr + (TARGET_64BIT ? 48 : 40))) & mask) + size); \
487                                                                         \
488    /* 7 == PROT_READ | PROT_WRITE | PROT_EXEC */                        \
489    (void) mprotect (page, end - page, 7);                               \
490 }