OSDN Git Service

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