1 /* Target definitions for Darwin (Mac OS X) systems.
2 Copyright (C) 1989, 1990, 1991, 1992, 1993, 2000, 2001, 2002
3 Free Software Foundation, Inc.
4 Contributed by Apple Computer Inc.
6 This file is part of GNU CC.
8 GNU CC is free software; you can redistribute it and/or modify
9 it under the terms of the GNU General Public License as published by
10 the Free Software Foundation; either version 2, or (at your option)
13 GNU CC is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with GNU CC; see the file COPYING. If not, write to
20 the Free Software Foundation, 59 Temple Place - Suite 330,
21 Boston, MA 02111-1307, USA. */
23 /* The definitions in this file are common to all processor types
24 running Darwin, which is the kernel for Mac OS X. Darwin is
25 basically a BSD user layer laid over a Mach kernel, then evolved
26 for many years (at NeXT) in parallel with other Unix systems. So
27 while the runtime is a somewhat idiosyncratic Mach-based thing,
28 other definitions look like they would for a BSD variant. */
30 /* Although NeXT ran on many different architectures, as of Jan 2001
31 the only supported Darwin targets are PowerPC and x86. */
33 /* Technically, STANDARD_EXEC_PREFIX should be /usr/libexec/, but in
34 practice this makes it hard to install new compilers elsewhere, so
35 leave it undefined and expect system builders to set configure args
38 /* Suppress g++ attempt to link in the math library automatically.
39 (Some Darwin versions have a libm, but they seem to cause problems
40 for C++ executables.) */
42 #define MATH_LIBRARY ""
48 /* Define an empty body for the function do_global_dtors() in libgcc2.c. */
50 #define DO_GLOBAL_DTORS_BODY
52 /* The string value for __SIZE_TYPE__. */
55 #define SIZE_TYPE "long unsigned int"
58 /* Type used for ptrdiff_t, as a string used in a declaration. */
61 #define PTRDIFF_TYPE "int"
66 #define WCHAR_TYPE "int"
67 #undef WCHAR_TYPE_SIZE
68 #define WCHAR_TYPE_SIZE 32
70 /* Default to using the NeXT-style runtime, since that's what is
71 pre-installed on Darwin systems. */
73 #define NEXT_OBJC_RUNTIME
75 /* Don't default to pcc-struct-return, because gcc is the only compiler, and
76 we want to retain compatibility with older gcc versions. */
78 #undef DEFAULT_PCC_STRUCT_RETURN
79 #define DEFAULT_PCC_STRUCT_RETURN 0
81 /* Don't warn about MacOS-style 'APPL' four-char-constants. */
83 #undef WARN_FOUR_CHAR_CONSTANTS
84 #define WARN_FOUR_CHAR_CONSTANTS 0
86 /* Machine dependent cpp options. */
88 /* The sequence here allows us to get a more specific version number
89 glued into __APPLE_CC__. Normally this number would be updated as
90 part of submitting to a release engineering organization. */
96 #define STRINGIFY_THIS(x) # x
97 #define REALLY_STRINGIFY(x) STRINGIFY_THIS(x)
100 #define CPP_SPEC "-D__APPLE_CC__=" REALLY_STRINGIFY(APPLE_CC) " \
101 %{static:-D__STATIC__}%{!static:-D__DYNAMIC__}"
103 /* Machine dependent libraries. */
106 #define LIB_SPEC "%{!static:-lSystem}"
108 /* We specify crt0.o as -lcrt0.o so that ld will search the library path. */
110 #undef STARTFILE_SPEC
111 #define STARTFILE_SPEC \
112 "%{pg:%{static:-lgcrt0.o}%{!static:-lgcrt1.o}} \
113 %{!pg:%{static:-lcrt0.o}%{!static:-lcrt1.o}}"
115 #undef DOLLARS_IN_IDENTIFIERS
116 #define DOLLARS_IN_IDENTIFIERS 2
118 /* Allow #sccs (but don't do anything). */
120 #define SCCS_DIRECTIVE
122 /* We use Dbx symbol format. */
124 #define DBX_DEBUGGING_INFO
126 /* Also enable Dwarf 2 as an option. */
128 #define DWARF2_DEBUGGING_INFO
130 #define PREFERRED_DEBUGGING_TYPE DBX_DEBUG
132 /* When generating stabs debugging, use N_BINCL entries. */
134 #define DBX_USE_BINCL
136 /* There is no limit to the length of stabs strings. */
138 #define DBX_CONTIN_LENGTH 0
140 /* gdb needs a null N_SO at the end of each file for scattered loading. */
142 #undef DBX_OUTPUT_MAIN_SOURCE_FILE_END
143 #define DBX_OUTPUT_MAIN_SOURCE_FILE_END(FILE, FILENAME) \
144 do { text_section (); \
146 "\t.stabs \"%s\",%d,0,0,Letext\nLetext:\n", "" , N_SO); \
149 /* Our profiling scheme doesn't LP labels and counter words. */
151 #define NO_PROFILE_COUNTERS
153 #undef INIT_SECTION_ASM_OP
154 #define INIT_SECTION_ASM_OP
158 #define TARGET_ASM_CONSTRUCTOR machopic_asm_out_constructor
159 #define TARGET_ASM_DESTRUCTOR machopic_asm_out_destructor
162 /* Don't output a .file directive. That is only used by the assembler for
165 #undef ASM_FILE_START
166 #define ASM_FILE_START(FILE)
169 #define ASM_FILE_END(FILE) \
171 machopic_finish (asm_out_file); \
172 if (strcmp (lang_hooks.name, "GNU C++") == 0) \
174 constructor_section (); \
175 destructor_section (); \
176 ASM_OUTPUT_ALIGN (FILE, 1); \
180 /* Give ObjcC methods pretty symbol names. */
182 #undef OBJC_GEN_METHOD_LABEL
183 #define OBJC_GEN_METHOD_LABEL(BUF,IS_INST,CLASS_NAME,CAT_NAME,SEL_NAME,NUM) \
185 sprintf (BUF, "%c[%s(%s) %s]", (IS_INST) ? '-' : '+', \
186 (CLASS_NAME), (CAT_NAME), (SEL_NAME)); \
188 sprintf (BUF, "%c[%s %s]", (IS_INST) ? '-' : '+', \
189 (CLASS_NAME), (SEL_NAME)); \
192 /* The RTTI data (e.g., __ti4name) is common and public (and static),
193 but it does need to be referenced via indirect PIC data pointers.
194 The machopic_define_name calls are telling the machopic subsystem
195 that the name *is* defined in this module, so it doesn't need to
196 make them indirect. */
198 #undef ASM_DECLARE_OBJECT_NAME
199 #define ASM_DECLARE_OBJECT_NAME(FILE, NAME, DECL) \
201 const char *xname = NAME; \
202 if (GET_CODE (XEXP (DECL_RTL (DECL), 0)) != SYMBOL_REF) \
203 xname = IDENTIFIER_POINTER (DECL_NAME (DECL)); \
204 if ((TREE_STATIC (DECL) \
205 && (!DECL_COMMON (DECL) || !TREE_PUBLIC (DECL))) \
206 || DECL_INITIAL (DECL)) \
207 machopic_define_name (xname); \
208 if ((TREE_STATIC (DECL) \
209 && (!DECL_COMMON (DECL) || !TREE_PUBLIC (DECL))) \
210 || DECL_INITIAL (DECL)) \
211 (* targetm.encode_section_info) (DECL, false); \
212 ASM_OUTPUT_LABEL (FILE, xname); \
215 #define ASM_DECLARE_FUNCTION_NAME(FILE, NAME, DECL) \
217 const char *xname = NAME; \
218 if (GET_CODE (XEXP (DECL_RTL (DECL), 0)) != SYMBOL_REF) \
219 xname = IDENTIFIER_POINTER (DECL_NAME (DECL)); \
220 if ((TREE_STATIC (DECL) \
221 && (!DECL_COMMON (DECL) || !TREE_PUBLIC (DECL))) \
222 || DECL_INITIAL (DECL)) \
223 machopic_define_name (xname); \
224 if ((TREE_STATIC (DECL) \
225 && (!DECL_COMMON (DECL) || !TREE_PUBLIC (DECL))) \
226 || DECL_INITIAL (DECL)) \
227 (* targetm.encode_section_info) (DECL, false); \
228 ASM_OUTPUT_LABEL (FILE, xname); \
229 /* Avoid generating stubs for functions we've just defined by \
230 outputting any required stub name label now. */ \
231 machopic_output_possible_stub_label (FILE, xname); \
234 /* Wrap new method names in quotes so the assembler doesn't gag.
235 Make Objective-C internal symbols local. */
237 #undef ASM_OUTPUT_LABELREF
238 #define ASM_OUTPUT_LABELREF(FILE,NAME) \
240 const char *xname = darwin_strip_name_encoding (NAME); \
241 if (xname[0] == '&' || xname[0] == '*') \
243 int len = strlen (xname); \
244 if (len > 6 && !strcmp ("$stub", xname + len - 5)) \
245 machopic_validate_stub_or_non_lazy_ptr (xname, 1); \
246 else if (len > 7 && !strcmp ("$stub\"", xname + len - 6)) \
247 machopic_validate_stub_or_non_lazy_ptr (xname, 1); \
248 else if (len > 14 && !strcmp ("$non_lazy_ptr", xname + len - 13)) \
249 machopic_validate_stub_or_non_lazy_ptr (xname, 0); \
250 fputs (&xname[1], FILE); \
252 else if (xname[0] == '+' || xname[0] == '-') \
253 fprintf (FILE, "\"%s\"", xname); \
254 else if (!strncmp (xname, "_OBJC_", 6)) \
255 fprintf (FILE, "L%s", xname); \
256 else if (!strncmp (xname, ".objc_class_name_", 17)) \
257 fprintf (FILE, "%s", xname); \
259 fprintf (FILE, "_%s", xname); \
263 #define ALIGN_ASM_OP ".align"
265 #undef ASM_OUTPUT_ALIGN
266 #define ASM_OUTPUT_ALIGN(FILE,LOG) \
268 fprintf (FILE, "\t%s %d\n", ALIGN_ASM_OP, (LOG))
270 /* Ensure correct alignment of bss data. */
272 #undef ASM_OUTPUT_ALIGNED_DECL_LOCAL
273 #define ASM_OUTPUT_ALIGNED_DECL_LOCAL(FILE, DECL, NAME, SIZE, ALIGN) \
275 fputs (".lcomm ", (FILE)); \
276 assemble_name ((FILE), (NAME)); \
277 fprintf ((FILE), ",%u,%u\n", (SIZE), \
278 floor_log2 ((ALIGN) / BITS_PER_UNIT)); \
279 if ((DECL) && ((TREE_STATIC (DECL) \
280 && (!DECL_COMMON (DECL) || !TREE_PUBLIC (DECL))) \
281 || DECL_INITIAL (DECL))) \
282 (* targetm.encode_section_info) (DECL, false); \
283 if ((DECL) && ((TREE_STATIC (DECL) \
284 && (!DECL_COMMON (DECL) || !TREE_PUBLIC (DECL))) \
285 || DECL_INITIAL (DECL))) \
286 machopic_define_name (NAME); \
289 /* Output nothing for #ident. */
291 #undef ASM_OUTPUT_IDENT
292 #define ASM_OUTPUT_IDENT(FILE, NAME)
294 /* The maximum alignment which the object file format can support.
295 For Mach-O, this is 2^15. */
297 #undef MAX_OFILE_ALIGNMENT
298 #define MAX_OFILE_ALIGNMENT 0x8000
300 /* Create new Mach-O sections. */
302 #undef SECTION_FUNCTION
303 #define SECTION_FUNCTION(FUNCTION, SECTION, DIRECTIVE, OBJC) \
304 extern void FUNCTION PARAMS ((void)); \
308 if (in_section != SECTION) \
311 objc_section_init (); \
314 fprintf (asm_out_file, "%s\n", DIRECTIVE); \
315 in_section = SECTION; \
319 /* Darwin uses many types of special sections. */
321 #undef EXTRA_SECTIONS
322 #define EXTRA_SECTIONS \
323 in_const, in_const_data, in_cstring, in_literal4, in_literal8, \
324 in_constructor, in_destructor, in_mod_init, in_mod_term, \
325 in_objc_class, in_objc_meta_class, in_objc_category, \
326 in_objc_class_vars, in_objc_instance_vars, \
327 in_objc_cls_meth, in_objc_inst_meth, \
328 in_objc_cat_cls_meth, in_objc_cat_inst_meth, \
329 in_objc_selector_refs, \
330 in_objc_selector_fixup, \
331 in_objc_symbols, in_objc_module_info, \
332 in_objc_protocol, in_objc_string_object, \
333 in_objc_constant_string_object, \
334 in_objc_class_names, in_objc_meth_var_names, \
335 in_objc_meth_var_types, in_objc_cls_refs, \
336 in_machopic_nl_symbol_ptr, \
337 in_machopic_lazy_symbol_ptr, \
338 in_machopic_symbol_stub, \
339 in_machopic_picsymbol_stub, \
340 in_darwin_exception, in_darwin_eh_frame, \
343 #undef EXTRA_SECTION_FUNCTIONS
344 #define EXTRA_SECTION_FUNCTIONS \
345 static void objc_section_init PARAMS ((void)); \
346 SECTION_FUNCTION (const_section, \
349 SECTION_FUNCTION (const_data_section, \
352 SECTION_FUNCTION (cstring_section, \
355 SECTION_FUNCTION (literal4_section, \
358 SECTION_FUNCTION (literal8_section, \
361 SECTION_FUNCTION (constructor_section, \
364 SECTION_FUNCTION (mod_init_section, \
366 ".mod_init_func", 0) \
367 SECTION_FUNCTION (mod_term_section, \
369 ".mod_term_func", 0) \
370 SECTION_FUNCTION (destructor_section, \
373 SECTION_FUNCTION (objc_class_section, \
376 SECTION_FUNCTION (objc_meta_class_section, \
377 in_objc_meta_class, \
378 ".objc_meta_class", 1) \
379 SECTION_FUNCTION (objc_category_section, \
381 ".objc_category", 1) \
382 SECTION_FUNCTION (objc_class_vars_section, \
383 in_objc_class_vars, \
384 ".objc_class_vars", 1) \
385 SECTION_FUNCTION (objc_instance_vars_section, \
386 in_objc_instance_vars, \
387 ".objc_instance_vars", 1) \
388 SECTION_FUNCTION (objc_cls_meth_section, \
390 ".objc_cls_meth", 1) \
391 SECTION_FUNCTION (objc_inst_meth_section, \
393 ".objc_inst_meth", 1) \
394 SECTION_FUNCTION (objc_cat_cls_meth_section, \
395 in_objc_cat_cls_meth, \
396 ".objc_cat_cls_meth", 1) \
397 SECTION_FUNCTION (objc_cat_inst_meth_section, \
398 in_objc_cat_inst_meth, \
399 ".objc_cat_inst_meth", 1) \
400 SECTION_FUNCTION (objc_selector_refs_section, \
401 in_objc_selector_refs, \
402 ".objc_message_refs", 1) \
403 SECTION_FUNCTION (objc_selector_fixup_section, \
404 in_objc_selector_fixup, \
405 ".section __OBJC, __sel_fixup", 1) \
406 SECTION_FUNCTION (objc_symbols_section, \
408 ".objc_symbols", 1) \
409 SECTION_FUNCTION (objc_module_info_section, \
410 in_objc_module_info, \
411 ".objc_module_info", 1) \
412 SECTION_FUNCTION (objc_protocol_section, \
414 ".objc_protocol", 1) \
415 SECTION_FUNCTION (objc_string_object_section, \
416 in_objc_string_object, \
417 ".objc_string_object", 1) \
418 SECTION_FUNCTION (objc_constant_string_object_section, \
419 in_objc_constant_string_object, \
420 ".section __OBJC, __cstring_object", 1) \
421 SECTION_FUNCTION (objc_class_names_section, \
422 in_objc_class_names, \
423 ".objc_class_names", 1) \
424 SECTION_FUNCTION (objc_meth_var_names_section, \
425 in_objc_meth_var_names, \
426 ".objc_meth_var_names", 1) \
427 SECTION_FUNCTION (objc_meth_var_types_section, \
428 in_objc_meth_var_types, \
429 ".objc_meth_var_types", 1) \
430 SECTION_FUNCTION (objc_cls_refs_section, \
432 ".objc_cls_refs", 1) \
434 SECTION_FUNCTION (machopic_lazy_symbol_ptr_section, \
435 in_machopic_lazy_symbol_ptr, \
436 ".lazy_symbol_pointer", 0) \
437 SECTION_FUNCTION (machopic_nl_symbol_ptr_section, \
438 in_machopic_nl_symbol_ptr, \
439 ".non_lazy_symbol_pointer", 0) \
440 SECTION_FUNCTION (machopic_symbol_stub_section, \
441 in_machopic_symbol_stub, \
443 SECTION_FUNCTION (machopic_picsymbol_stub_section, \
444 in_machopic_picsymbol_stub, \
445 ".picsymbol_stub", 0) \
446 SECTION_FUNCTION (darwin_exception_section, \
447 in_darwin_exception, \
448 ".section __TEXT,__gcc_except_tab", 0) \
449 SECTION_FUNCTION (darwin_eh_frame_section, \
450 in_darwin_eh_frame, \
451 ".section __TEXT,__eh_frame", 0) \
454 objc_section_init () \
456 static int been_here = 0; \
458 if (been_here == 0) \
461 /* written, cold -> hot */ \
462 objc_cat_cls_meth_section (); \
463 objc_cat_inst_meth_section (); \
464 objc_string_object_section (); \
465 objc_constant_string_object_section (); \
466 objc_selector_refs_section (); \
467 objc_selector_fixup_section (); \
468 objc_cls_refs_section (); \
469 objc_class_section (); \
470 objc_meta_class_section (); \
471 /* shared, hot -> cold */ \
472 objc_cls_meth_section (); \
473 objc_inst_meth_section (); \
474 objc_protocol_section (); \
475 objc_class_names_section (); \
476 objc_meth_var_types_section (); \
477 objc_meth_var_names_section (); \
478 objc_category_section (); \
479 objc_class_vars_section (); \
480 objc_instance_vars_section (); \
481 objc_module_info_section (); \
482 objc_symbols_section (); \
486 #define READONLY_DATA_SECTION const_section
488 #undef TARGET_ASM_SELECT_SECTION
489 #define TARGET_ASM_SELECT_SECTION machopic_select_section
490 #undef TARGET_ASM_SELECT_RTX_SECTION
491 #define TARGET_ASM_SELECT_RTX_SECTION machopic_select_rtx_section
493 #define ASM_DECLARE_UNRESOLVED_REFERENCE(FILE,NAME) \
497 fprintf (FILE, "\t.lazy_reference "); \
499 fprintf (FILE, "\t.reference "); \
500 assemble_name (FILE, NAME); \
501 fprintf (FILE, "\n"); \
505 #define ASM_DECLARE_CLASS_REFERENCE(FILE,NAME) \
508 fprintf (FILE, "\t"); \
509 assemble_name (FILE, NAME); \
510 fprintf (FILE, "=0\n"); \
511 assemble_global (NAME); \
515 #undef ASM_GLOBALIZE_LABEL
516 #define ASM_GLOBALIZE_LABEL(FILE,NAME) \
517 do { const char *const _x = (NAME); if (!!strncmp (_x, "_OBJC_", 6)) { \
518 (fputs (".globl ", FILE), assemble_name (FILE, _x), fputs ("\n", FILE)); \
521 #undef ASM_GENERATE_INTERNAL_LABEL
522 #define ASM_GENERATE_INTERNAL_LABEL(LABEL,PREFIX,NUM) \
523 sprintf (LABEL, "*%s%ld", PREFIX, (long)(NUM))
525 /* This is how to output an internal numbered label where PREFIX is
526 the class of label and NUM is the number within the class. */
528 #undef ASM_OUTPUT_INTERNAL_LABEL
529 #define ASM_OUTPUT_INTERNAL_LABEL(FILE,PREFIX,NUM) \
530 fprintf (FILE, "%s%d:\n", PREFIX, NUM)
532 /* Since we have a separate readonly data section, define this so that
533 jump tables end up in text rather than data. */
535 #ifndef JUMP_TABLES_IN_TEXT_SECTION
536 #define JUMP_TABLES_IN_TEXT_SECTION 1
539 /* Symbolic names for various things we might know about a symbol. */
541 enum machopic_addr_class
{
543 MACHOPIC_DEFINED_DATA
,
544 MACHOPIC_UNDEFINED_DATA
,
545 MACHOPIC_DEFINED_FUNCTION
,
546 MACHOPIC_UNDEFINED_FUNCTION
549 /* Macros defining the various PIC cases. */
551 #define MACHOPIC_INDIRECT (flag_pic)
552 #define MACHOPIC_JUST_INDIRECT (flag_pic == 1)
553 #define MACHOPIC_PURE (flag_pic == 2)
555 #define TARGET_ENCODE_SECTION_INFO darwin_encode_section_info
556 #define TARGET_STRIP_NAME_ENCODING darwin_strip_name_encoding
558 #define GEN_BINDER_NAME_FOR_STUB(BUF,STUB,STUB_LENGTH) \
560 const char *const stub_ = (STUB); \
561 char *buffer_ = (BUF); \
562 strcpy (buffer_, stub_); \
563 if (stub_[0] == '"') \
565 strcpy (buffer_ + (STUB_LENGTH) - 1, "_binder\""); \
569 strcpy (buffer_ + (STUB_LENGTH), "_binder"); \
573 #define GEN_SYMBOL_NAME_FOR_SYMBOL(BUF,SYMBOL,SYMBOL_LENGTH) \
575 const char *const symbol_ = (SYMBOL); \
576 char *buffer_ = (BUF); \
577 if (name_needs_quotes (symbol_) && symbol_[0] != '"') \
579 sprintf (buffer_, "\"%s\"", symbol_); \
583 strcpy (buffer_, symbol_); \
587 /* Given a symbol name string, create the lazy pointer version
588 of the symbol name. */
590 #define GEN_LAZY_PTR_NAME_FOR_SYMBOL(BUF,SYMBOL,SYMBOL_LENGTH) \
592 const char *symbol_ = darwin_strip_name_encoding (SYMBOL); \
593 char *buffer_ = (BUF); \
594 if (symbol_[0] == '"') \
596 strcpy (buffer_, "\"L"); \
597 strcpy (buffer_ + 2, symbol_ + 1); \
598 strcpy (buffer_ + (SYMBOL_LENGTH), "$lazy_ptr\""); \
600 else if (name_needs_quotes (symbol_)) \
602 strcpy (buffer_, "\"L"); \
603 strcpy (buffer_ + 2, symbol_); \
604 strcpy (buffer_ + (SYMBOL_LENGTH) + 2, "$lazy_ptr\""); \
608 strcpy (buffer_, "L"); \
609 strcpy (buffer_ + 1, symbol_); \
610 strcpy (buffer_ + (SYMBOL_LENGTH) + 1, "$lazy_ptr"); \
614 #define TARGET_ASM_EXCEPTION_SECTION darwin_exception_section
616 #define TARGET_ASM_EH_FRAME_SECTION darwin_eh_frame_section
618 #define ASM_PREFERRED_EH_DATA_FORMAT(CODE,GLOBAL) \
619 (((CODE) == 1 || (GLOBAL) == 0) ? DW_EH_PE_pcrel : DW_EH_PE_absptr)
621 #define DARWIN_REGISTER_TARGET_PRAGMAS(PFILE) \
623 cpp_register_pragma (PFILE, 0, "mark", darwin_pragma_ignore); \
624 cpp_register_pragma (PFILE, 0, "options", darwin_pragma_options); \
625 cpp_register_pragma (PFILE, 0, "segment", darwin_pragma_ignore); \
626 cpp_register_pragma (PFILE, 0, "unused", darwin_pragma_unused); \