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