darwin.h revision 146895
1/* Target definitions for PowerPC running Darwin (Mac OS X).
2   Copyright (C) 1997, 2000, 2001, 2003, 2004 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 2, 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 COPYING.  If not, write to the
19   Free Software Foundation, 59 Temple Place - Suite 330, Boston,
20   MA 02111-1307, USA.  */
21
22#undef  TARGET_VERSION
23#define TARGET_VERSION fprintf (stderr, " (Darwin/PowerPC)");
24
25/* The "Darwin ABI" is mostly like AIX, but with some key differences.  */
26
27#define DEFAULT_ABI ABI_DARWIN
28
29/* The object file format is Mach-O.  */
30
31#define TARGET_OBJECT_FORMAT OBJECT_MACHO
32
33/* We're not ever going to do TOCs.  */
34
35#define TARGET_TOC 0
36#define TARGET_NO_TOC 1
37
38/* Darwin switches.  */
39/* Use dynamic-no-pic codegen (no picbase reg; not suitable for shlibs.)  */
40#define MASK_MACHO_DYNAMIC_NO_PIC 0x00800000
41
42#define TARGET_DYNAMIC_NO_PIC	(target_flags & MASK_MACHO_DYNAMIC_NO_PIC)
43
44/* Handle #pragma weak and #pragma pack.  */
45#define HANDLE_SYSV_PRAGMA 1
46
47
48#define TARGET_OS_CPP_BUILTINS()                \
49  do                                            \
50    {                                           \
51      builtin_define ("__ppc__");               \
52      builtin_define ("__POWERPC__");           \
53      builtin_define ("__NATURAL_ALIGNMENT__"); \
54      builtin_define ("__MACH__");              \
55      builtin_define ("__APPLE__");             \
56    }                                           \
57  while (0)
58
59
60/*  */
61#undef	SUBTARGET_SWITCHES
62#define SUBTARGET_SWITCHES						\
63  {"dynamic-no-pic",	MASK_MACHO_DYNAMIC_NO_PIC,			\
64      N_("Generate code suitable for executables (NOT shared libs)")},	\
65  {"no-dynamic-no-pic",	-MASK_MACHO_DYNAMIC_NO_PIC, ""},
66
67
68/* The Darwin ABI always includes AltiVec, can't be (validly) turned
69   off.  */
70
71#define SUBTARGET_OVERRIDE_OPTIONS				  	\
72do {									\
73  rs6000_altivec_abi = 1;						\
74  rs6000_altivec_vrsave = 1;						\
75  if (DEFAULT_ABI == ABI_DARWIN)					\
76  {									\
77    if (MACHO_DYNAMIC_NO_PIC_P)						\
78      {									\
79        if (flag_pic)							\
80            warning ("-mdynamic-no-pic overrides -fpic or -fPIC");	\
81        flag_pic = 0;							\
82      }									\
83    else if (flag_pic == 1)						\
84      {									\
85        /* Darwin doesn't support -fpic.  */				\
86        warning ("-fpic is not supported; -fPIC assumed");		\
87        flag_pic = 2;							\
88      }									\
89  }									\
90}while(0)
91
92/* We want -fPIC by default, unless we're using -static to compile for
93   the kernel or some such.  */
94
95
96#define CC1_SPEC "\
97%{gused: -feliminate-unused-debug-symbols %<gused }\
98%{static: %{Zdynamic: %e conflicting code gen style switches are used}}\
99%{!static:%{!mdynamic-no-pic:-fPIC}}"
100
101/* It's virtually impossible to predict all the possible combinations
102   of -mcpu and -maltivec and whatnot, so just supply
103   -force_cpusubtype_ALL if any are seen.  Radar 3492132 against the
104   assembler is asking for a .machine directive so we could get this
105   really right.  */
106#define ASM_SPEC "-arch ppc \
107  %{Zforce_cpusubtype_ALL:-force_cpusubtype_ALL} \
108  %{!Zforce_cpusubtype_ALL:%{maltivec|mcpu=*|mpowerpc64:-force_cpusubtype_ALL}}"
109
110#undef SUBTARGET_EXTRA_SPECS
111#define SUBTARGET_EXTRA_SPECS			\
112  { "darwin_arch", "ppc" },
113
114/* The "-faltivec" option should have been called "-maltivec" all along.  */
115#define SUBTARGET_OPTION_TRANSLATE_TABLE                               \
116  { "-faltivec", "-maltivec -include altivec.h" },     \
117  { "-fno-altivec", "-mno-altivec" },  \
118  { "-Waltivec-long-deprecated",       "-mwarn-altivec-long" }, \
119  { "-Wno-altivec-long-deprecated", "-mno-warn-altivec-long" }
120
121/* Make both r2 and r3 available for allocation.  */
122#define FIXED_R2 0
123#define FIXED_R13 0
124
125/* Base register for access to local variables of the function.  */
126
127#undef  FRAME_POINTER_REGNUM
128#define FRAME_POINTER_REGNUM 30
129
130#undef  RS6000_PIC_OFFSET_TABLE_REGNUM
131#define RS6000_PIC_OFFSET_TABLE_REGNUM 31
132
133/* Pad the outgoing args area to 16 bytes instead of the usual 8.  */
134
135#undef STARTING_FRAME_OFFSET
136#define STARTING_FRAME_OFFSET						\
137  (RS6000_ALIGN (current_function_outgoing_args_size, 16)		\
138   + RS6000_VARARGS_AREA						\
139   + RS6000_SAVE_AREA)
140
141#undef STACK_DYNAMIC_OFFSET
142#define STACK_DYNAMIC_OFFSET(FUNDECL)					\
143  (RS6000_ALIGN (current_function_outgoing_args_size, 16)		\
144   + (STACK_POINTER_OFFSET))
145
146/* These are used by -fbranch-probabilities */
147#define HOT_TEXT_SECTION_NAME "__TEXT,__text,regular,pure_instructions"
148#define UNLIKELY_EXECUTED_TEXT_SECTION_NAME \
149                              "__TEXT,__text2,regular,pure_instructions"
150
151/* Define cutoff for using external functions to save floating point.
152   Currently on Darwin, always use inline stores.  */
153
154#undef	FP_SAVE_INLINE
155#define FP_SAVE_INLINE(FIRST_REG) ((FIRST_REG) < 64)
156
157/* The assembler wants the alternate register names, but without
158   leading percent sign.  */
159#undef REGISTER_NAMES
160#define REGISTER_NAMES							\
161{									\
162     "r0",  "r1",  "r2",  "r3",  "r4",  "r5",  "r6",  "r7",		\
163     "r8",  "r9", "r10", "r11", "r12", "r13", "r14", "r15",		\
164    "r16", "r17", "r18", "r19", "r20", "r21", "r22", "r23",		\
165    "r24", "r25", "r26", "r27", "r28", "r29", "r30", "r31",		\
166     "f0",  "f1",  "f2",  "f3",  "f4",  "f5",  "f6",  "f7",		\
167     "f8",  "f9", "f10", "f11", "f12", "f13", "f14", "f15",		\
168    "f16", "f17", "f18", "f19", "f20", "f21", "f22", "f23",		\
169    "f24", "f25", "f26", "f27", "f28", "f29", "f30", "f31",		\
170     "mq",  "lr", "ctr",  "ap",						\
171    "cr0", "cr1", "cr2", "cr3", "cr4", "cr5", "cr6", "cr7",		\
172    "xer",								\
173     "v0",  "v1",  "v2",  "v3",  "v4",  "v5",  "v6",  "v7",             \
174     "v8",  "v9", "v10", "v11", "v12", "v13", "v14", "v15",             \
175    "v16", "v17", "v18", "v19", "v20", "v21", "v22", "v23",             \
176    "v24", "v25", "v26", "v27", "v28", "v29", "v30", "v31",             \
177    "vrsave", "vscr",							\
178    "spe_acc", "spefscr"                                                \
179}
180
181/* This outputs NAME to FILE.  */
182
183#undef  RS6000_OUTPUT_BASENAME
184#define RS6000_OUTPUT_BASENAME(FILE, NAME)	\
185    assemble_name (FILE, NAME)
186
187/* Globalizing directive for a label.  */
188#undef GLOBAL_ASM_OP
189#define GLOBAL_ASM_OP "\t.globl "
190#undef TARGET_ASM_GLOBALIZE_LABEL
191
192/* This is how to output an internal label prefix.  rs6000.c uses this
193   when generating traceback tables.  */
194/* Not really used for Darwin?  */
195
196#undef ASM_OUTPUT_INTERNAL_LABEL_PREFIX
197#define ASM_OUTPUT_INTERNAL_LABEL_PREFIX(FILE,PREFIX)	\
198  fprintf (FILE, "%s", PREFIX)
199
200/* This says how to output an assembler line to define a global common
201   symbol.  */
202/* ? */
203#undef  ASM_OUTPUT_ALIGNED_COMMON
204#define ASM_OUTPUT_COMMON(FILE, NAME, SIZE, ROUNDED)	\
205  do { fputs (".comm ", (FILE));			\
206       RS6000_OUTPUT_BASENAME ((FILE), (NAME));		\
207       fprintf ((FILE), ","HOST_WIDE_INT_PRINT_UNSIGNED"\n",\
208		(SIZE)); } while (0)
209
210/* Override the standard rs6000 definition.  */
211
212#undef ASM_COMMENT_START
213#define ASM_COMMENT_START ";"
214
215/* FP save and restore routines.  */
216#define	SAVE_FP_PREFIX "._savef"
217#define SAVE_FP_SUFFIX ""
218#define	RESTORE_FP_PREFIX "._restf"
219#define RESTORE_FP_SUFFIX ""
220
221/* This is how to output an assembler line that says to advance
222   the location counter to a multiple of 2**LOG bytes using the
223   "nop" instruction as padding.  */
224
225#define ASM_OUTPUT_ALIGN_WITH_NOP(FILE,LOG)                   \
226  do                                                          \
227    {                                                         \
228      if ((LOG) < 3)                                          \
229        {                                                     \
230          ASM_OUTPUT_ALIGN (FILE,LOG);                        \
231        }                                                     \
232      else /* nop == ori r0,r0,0 */                           \
233        fprintf (FILE, "\t.align32 %d,0x60000000\n", (LOG));  \
234    } while (0)
235
236/* Generate insns to call the profiler.  */
237
238#define PROFILE_HOOK(LABEL)   output_profile_hook (LABEL)
239
240/* Function name to call to do profiling.  */
241
242#define RS6000_MCOUNT "*mcount"
243
244/* Default processor: a G4.  */
245
246#undef PROCESSOR_DEFAULT
247#define PROCESSOR_DEFAULT  PROCESSOR_PPC7400
248
249/* Default target flag settings.  Despite the fact that STMW/LMW
250   serializes, it's still a big code size win to use them.  Use FSEL by
251   default as well.  */
252
253#undef  TARGET_DEFAULT
254#define TARGET_DEFAULT (MASK_POWERPC | MASK_MULTIPLE | MASK_NEW_MNEMONICS \
255                      | MASK_PPC_GFXOPT)
256
257/* Since Darwin doesn't do TOCs, stub this out.  */
258
259#define ASM_OUTPUT_SPECIAL_POOL_ENTRY_P(X, MODE)  0
260
261/* Unlike most other PowerPC targets, chars are signed, for
262   consistency with other Darwin architectures.  */
263
264#undef DEFAULT_SIGNED_CHAR
265#define DEFAULT_SIGNED_CHAR (1)
266
267/* Given an rtx X being reloaded into a reg required to be
268   in class CLASS, return the class of reg to actually use.
269   In general this is just CLASS; but on some machines
270   in some cases it is preferable to use a more restrictive class.
271
272   On the RS/6000, we have to return NO_REGS when we want to reload a
273   floating-point CONST_DOUBLE to force it to be copied to memory.
274
275   Don't allow R0 when loading the address of, or otherwise furtling with,
276   a SYMBOL_REF.  */
277
278#undef PREFERRED_RELOAD_CLASS
279#define PREFERRED_RELOAD_CLASS(X,CLASS)				\
280  ((GET_CODE (X) == CONST_DOUBLE				\
281    && GET_MODE_CLASS (GET_MODE (X)) == MODE_FLOAT)		\
282   ? NO_REGS							\
283   : ((GET_CODE (X) == SYMBOL_REF || GET_CODE (X) == HIGH)	\
284      && reg_class_subset_p (BASE_REGS, (CLASS)))		\
285   ? BASE_REGS							\
286   : (GET_MODE_CLASS (GET_MODE (X)) == MODE_INT			\
287      && (CLASS) == NON_SPECIAL_REGS)				\
288   ? GENERAL_REGS						\
289   : (CLASS))
290
291/* Fix for emit_group_load (): force large constants to be pushed via regs.  */
292#define ALWAYS_PUSH_CONSTS_USING_REGS_P		1
293
294/* This now supports a natural alignment mode */
295/* Darwin word-aligns FP doubles but doubleword-aligns 64-bit ints.  */
296#define ADJUST_FIELD_ALIGN(FIELD, COMPUTED) \
297  (TARGET_ALIGN_NATURAL ? (COMPUTED) : \
298  (TYPE_MODE (TREE_CODE (TREE_TYPE (FIELD)) == ARRAY_TYPE \
299	      ? get_inner_array_type (FIELD) \
300	      : TREE_TYPE (FIELD)) == DFmode \
301   ? MIN ((COMPUTED), 32) : (COMPUTED)))
302
303/* Darwin increases natural record alignment to doubleword if the first
304   field is an FP double while the FP fields remain word aligned.  */
305#define ROUND_TYPE_ALIGN(STRUCT, COMPUTED, SPECIFIED)			\
306  ((TREE_CODE (STRUCT) == RECORD_TYPE					\
307    || TREE_CODE (STRUCT) == UNION_TYPE					\
308    || TREE_CODE (STRUCT) == QUAL_UNION_TYPE)				\
309   && TARGET_ALIGN_NATURAL == 0                         		\
310   ? rs6000_special_round_type_align (STRUCT, COMPUTED, SPECIFIED)	\
311   : (TARGET_ALTIVEC && TREE_CODE (STRUCT) == VECTOR_TYPE) 		\
312   ? MAX (MAX ((COMPUTED), (SPECIFIED)), 128)          			 \
313   : MAX ((COMPUTED), (SPECIFIED)))
314
315/* XXX: Darwin supports neither .quad, or .llong, but it also doesn't
316   support 64 bit PowerPC either, so this just keeps things happy.  */
317#define DOUBLE_INT_ASM_OP "\t.quad\t"
318
319/* Get HOST_WIDE_INT and CONST_INT to be 32 bits, for compile time
320   space/speed.  */
321#undef MAX_LONG_TYPE_SIZE
322#define MAX_LONG_TYPE_SIZE 32
323
324/* For binary compatibility with 2.95; Darwin C APIs use bool from
325   stdbool.h, which was an int-sized enum in 2.95.  */
326#define BOOL_TYPE_SIZE INT_TYPE_SIZE
327
328#undef REGISTER_TARGET_PRAGMAS
329#define REGISTER_TARGET_PRAGMAS DARWIN_REGISTER_TARGET_PRAGMAS
330
331