OSDN Git Service

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