1 /* Functions for generic Darwin as target machine for GNU C compiler.
2 Copyright (C) 1989, 1990, 1991, 1992, 1993, 2000, 2001, 2002, 2003, 2004,
4 Free Software Foundation, Inc.
5 Contributed by Apple Computer Inc.
7 This file is part of GCC.
9 GCC is free software; you can redistribute it and/or modify
10 it under the terms of the GNU General Public License as published by
11 the Free Software Foundation; either version 2, or (at your option)
14 GCC is distributed in the hope that it will be useful,
15 but WITHOUT ANY WARRANTY; without even the implied warranty of
16 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
17 GNU General Public License for more details.
19 You should have received a copy of the GNU General Public License
20 along with GCC; see the file COPYING. If not, write to
21 the Free Software Foundation, 59 Temple Place - Suite 330,
22 Boston, MA 02111-1307, USA. */
26 #include "coretypes.h"
30 #include "hard-reg-set.h"
32 #include "insn-config.h"
33 #include "conditions.h"
34 #include "insn-flags.h"
36 #include "insn-attr.h"
43 #include "langhooks.h"
49 /* Darwin supports a feature called fix-and-continue, which is used
50 for rapid turn around debugging. When code is compiled with the
51 -mfix-and-continue flag, two changes are made to the generated code
52 that allow the system to do things that it would normally not be
53 able to do easily. These changes allow gdb to load in
54 recompilation of a translation unit that has been changed into a
55 running program and replace existing functions and methods of that
56 translation unit with with versions of those functions and methods
57 from the newly compiled translation unit. The new functions access
58 the existing static data from the old translation unit, if the data
59 existed in the unit to be replaced, and from the new translation
62 The changes are to insert 4 nops at the beginning of all functions
63 and to use indirection to get at static duration data. The 4 nops
64 are required by consumers of the generated code. Currently, gdb
65 uses this to patch in a jump to the overriding function, this
66 allows all uses of the old name to forward to the replacement,
67 including existing function pointers and virtual methods. See
68 rs6000_emit_prologue for the code that handles the nop insertions.
70 The added indirection allows gdb to redirect accesses to static
71 duration data from the newly loaded translation unit to the
72 existing data, if any. @code{static} data is special and is
73 handled by setting the second word in the .non_lazy_symbol_pointer
74 data structure to the address of the data. See indirect_data for
75 the code that handles the extra indirection, and
76 machopic_output_indirection and its use of MACHO_SYMBOL_STATIC for
77 the code that handles @code{static} data indirection. */
80 /* Nonzero if the user passes the -mone-byte-bool switch, which forces
81 sizeof(bool) to be 1. */
82 const char *darwin_one_byte_bool
= 0;
85 name_needs_quotes (const char *name
)
88 while ((c
= *name
++) != '\0')
89 if (! ISIDNUM (c
) && c
!= '.' && c
!= '$')
94 /* Return true if SYM_REF can be used without an indirection. */
96 machopic_symbol_defined_p (rtx sym_ref
)
98 if (SYMBOL_REF_FLAGS (sym_ref
) & MACHO_SYMBOL_FLAG_DEFINED
)
101 /* If a symbol references local and is not an extern to this
102 file, then the symbol might be able to declared as defined. */
103 if (SYMBOL_REF_LOCAL_P (sym_ref
) && ! SYMBOL_REF_EXTERNAL_P (sym_ref
))
105 /* If the symbol references a variable and the variable is a
106 common symbol, then this symbol is not defined. */
107 if (SYMBOL_REF_FLAGS (sym_ref
) & MACHO_SYMBOL_FLAG_VARIABLE
)
109 tree decl
= SYMBOL_REF_DECL (sym_ref
);
112 if (DECL_COMMON (decl
))
120 /* This module assumes that (const (symbol_ref "foo")) is a legal pic
121 reference, which will not be changed. */
123 enum machopic_addr_class
124 machopic_classify_symbol (rtx sym_ref
)
129 flags
= SYMBOL_REF_FLAGS (sym_ref
);
130 function_p
= SYMBOL_REF_FUNCTION_P (sym_ref
);
131 if (machopic_symbol_defined_p (sym_ref
))
133 ? MACHOPIC_DEFINED_FUNCTION
: MACHOPIC_DEFINED_DATA
);
136 ? MACHOPIC_UNDEFINED_FUNCTION
: MACHOPIC_UNDEFINED_DATA
);
139 #ifndef TARGET_FIX_AND_CONTINUE
140 #define TARGET_FIX_AND_CONTINUE 0
143 /* Indicate when fix-and-continue style code generation is being used
144 and when a reference to data should be indirected so that it can be
145 rebound in a new translation unit to reference the original instance
146 of that data. Symbol names that are for code generation local to
147 the translation unit are bound to the new translation unit;
148 currently this means symbols that begin with L or _OBJC_;
149 otherwise, we indicate that an indirect reference should be made to
150 permit the runtime to rebind new instances of the translation unit
151 to the original instance of the data. */
154 indirect_data (rtx sym_ref
)
159 /* If we aren't generating fix-and-continue code, don't do anything special. */
160 if (TARGET_FIX_AND_CONTINUE
== 0)
163 /* Otherwise, all symbol except symbols that begin with L or _OBJC_
164 are indirected. Symbols that begin with L and _OBJC_ are always
165 bound to the current translation unit as they are used for
166 generated local data of the translation unit. */
168 name
= XSTR (sym_ref
, 0);
170 lprefix
= (((name
[0] == '*' || name
[0] == '&')
171 && (name
[1] == 'L' || (name
[1] == '"' && name
[2] == 'L')))
172 || (strncmp (name
, "_OBJC_", 6)));
179 machopic_data_defined_p (rtx sym_ref
)
181 if (indirect_data (sym_ref
))
184 switch (machopic_classify_symbol (sym_ref
))
186 case MACHOPIC_DEFINED_DATA
:
187 case MACHOPIC_DEFINED_FUNCTION
:
195 machopic_define_symbol (rtx mem
)
198 if (GET_CODE (mem
) != MEM
)
200 sym_ref
= XEXP (mem
, 0);
201 SYMBOL_REF_FLAGS (sym_ref
) |= MACHO_SYMBOL_FLAG_DEFINED
;
204 static GTY(()) char * function_base
;
207 machopic_function_base_name (void)
209 /* if dynamic-no-pic is on, we should not get here */
210 if (MACHO_DYNAMIC_NO_PIC_P
)
213 if (function_base
== NULL
)
215 (char *) ggc_alloc_string ("<pic base>", sizeof ("<pic base>"));
217 current_function_uses_pic_offset_table
= 1;
219 return function_base
;
222 /* Return a SYMBOL_REF for the PIC function base. */
225 machopic_function_base_sym (void)
229 sym_ref
= gen_rtx_SYMBOL_REF (Pmode
, machopic_function_base_name ());
230 SYMBOL_REF_FLAGS (sym_ref
)
231 |= (MACHO_SYMBOL_FLAG_VARIABLE
| MACHO_SYMBOL_FLAG_DEFINED
);
235 static GTY(()) const char * function_base_func_name
;
236 static GTY(()) int current_pic_label_num
;
239 machopic_output_function_base_name (FILE *file
)
241 const char *current_name
;
243 /* If dynamic-no-pic is on, we should not get here. */
244 if (MACHO_DYNAMIC_NO_PIC_P
)
247 IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (current_function_decl
));
248 if (function_base_func_name
!= current_name
)
250 ++current_pic_label_num
;
251 function_base_func_name
= current_name
;
253 fprintf (file
, "\"L%011d$pb\"", current_pic_label_num
);
256 /* The suffix attached to non-lazy pointer symbols. */
257 #define NON_LAZY_POINTER_SUFFIX "$non_lazy_ptr"
258 /* The suffix attached to stub symbols. */
259 #define STUB_SUFFIX "$stub"
261 typedef struct machopic_indirection
GTY (())
263 /* The SYMBOL_REF for the entity referenced. */
265 /* The name of the stub or non-lazy pointer. */
266 const char * ptr_name
;
267 /* True iff this entry is for a stub (as opposed to a non-lazy
270 /* True iff this stub or pointer pointer has been referenced. */
272 } machopic_indirection
;
274 /* A table mapping stub names and non-lazy pointer names to
275 SYMBOL_REFs for the stubbed-to and pointed-to entities. */
277 static GTY ((param_is (struct machopic_indirection
))) htab_t
278 machopic_indirections
;
280 /* Return a hash value for a SLOT in the indirections hash table. */
283 machopic_indirection_hash (const void *slot
)
285 const machopic_indirection
*p
= (const machopic_indirection
*) slot
;
286 return htab_hash_string (p
->ptr_name
);
289 /* Returns true if the KEY is the same as that associated with
293 machopic_indirection_eq (const void *slot
, const void *key
)
295 return strcmp (((const machopic_indirection
*) slot
)->ptr_name
, key
) == 0;
298 /* Return the name of the non-lazy pointer (if STUB_P is false) or
299 stub (if STUB_B is true) corresponding to the given name. */
302 machopic_indirection_name (rtx sym_ref
, bool stub_p
)
305 const char *name
= XSTR (sym_ref
, 0);
306 size_t namelen
= strlen (name
);
307 machopic_indirection
*p
;
310 /* Construct the name of the non-lazy pointer or stub. */
313 int needs_quotes
= name_needs_quotes (name
);
314 buffer
= alloca (strlen ("&L")
316 + strlen (STUB_SUFFIX
)
317 + 2 /* possible quotes */
323 sprintf (buffer
, "&\"L%s" STUB_SUFFIX
"\"", name
+ 1);
325 sprintf (buffer
, "&\"L%s%s" STUB_SUFFIX
"\"", user_label_prefix
,
328 else if (name
[0] == '*')
329 sprintf (buffer
, "&L%s" STUB_SUFFIX
, name
+ 1);
331 sprintf (buffer
, "&L%s%s" STUB_SUFFIX
, user_label_prefix
, name
);
335 buffer
= alloca (strlen ("&L")
336 + strlen (user_label_prefix
)
338 + strlen (NON_LAZY_POINTER_SUFFIX
)
341 sprintf (buffer
, "&L%s" NON_LAZY_POINTER_SUFFIX
, name
+ 1);
343 sprintf (buffer
, "&L%s%s" NON_LAZY_POINTER_SUFFIX
,
344 user_label_prefix
, name
);
347 if (!machopic_indirections
)
348 machopic_indirections
= htab_create_ggc (37,
349 machopic_indirection_hash
,
350 machopic_indirection_eq
,
353 slot
= htab_find_slot_with_hash (machopic_indirections
, buffer
,
354 htab_hash_string (buffer
), INSERT
);
357 p
= (machopic_indirection
*) *slot
;
361 p
= (machopic_indirection
*) ggc_alloc (sizeof (machopic_indirection
));
363 p
->ptr_name
= xstrdup (buffer
);
372 /* Return the name of the stub for the mcount function. */
375 machopic_mcount_stub_name (void)
377 rtx symbol
= gen_rtx_SYMBOL_REF (Pmode
, "*mcount");
378 return machopic_indirection_name (symbol
, /*stub_p=*/true);
381 /* If NAME is the name of a stub or a non-lazy pointer , mark the stub
382 or non-lazy pointer as used -- and mark the object to which the
383 pointer/stub refers as used as well, since the pointer/stub will
384 emit a reference to it. */
387 machopic_validate_stub_or_non_lazy_ptr (const char *name
)
389 machopic_indirection
*p
;
391 p
= ((machopic_indirection
*)
392 (htab_find_with_hash (machopic_indirections
, name
,
393 htab_hash_string (name
))));
396 const char *real_name
;
401 /* Do what output_addr_const will do when we actually call it. */
402 if (SYMBOL_REF_DECL (p
->symbol
))
403 mark_decl_referenced (SYMBOL_REF_DECL (p
->symbol
));
405 real_name
= targetm
.strip_name_encoding (XSTR (p
->symbol
, 0));
407 id
= maybe_get_identifier (real_name
);
409 mark_referenced (id
);
413 /* Transform ORIG, which may be any data source, to the corresponding
414 source using indirections. */
417 machopic_indirect_data_reference (rtx orig
, rtx reg
)
421 if (! MACHOPIC_INDIRECT
)
424 if (GET_CODE (orig
) == SYMBOL_REF
)
426 int defined
= machopic_data_defined_p (orig
);
428 if (defined
&& MACHO_DYNAMIC_NO_PIC_P
)
430 #if defined (TARGET_TOC)
431 emit_insn (gen_macho_high (reg
, orig
));
432 emit_insn (gen_macho_low (reg
, reg
, orig
));
434 /* some other cpu -- writeme! */
441 #if defined (TARGET_TOC) || defined (HAVE_lo_sum)
442 rtx pic_base
= machopic_function_base_sym ();
443 rtx offset
= gen_rtx_CONST (Pmode
,
444 gen_rtx_MINUS (Pmode
, orig
, pic_base
));
447 #if defined (TARGET_TOC) /* i.e., PowerPC */
448 rtx hi_sum_reg
= (no_new_pseudos
? reg
: gen_reg_rtx (Pmode
));
453 emit_insn (gen_rtx_SET (Pmode
, hi_sum_reg
,
454 gen_rtx_PLUS (Pmode
, pic_offset_table_rtx
,
455 gen_rtx_HIGH (Pmode
, offset
))));
456 emit_insn (gen_rtx_SET (Pmode
, reg
,
457 gen_rtx_LO_SUM (Pmode
, hi_sum_reg
, offset
)));
461 #if defined (HAVE_lo_sum)
462 if (reg
== 0) abort ();
464 emit_insn (gen_rtx_SET (VOIDmode
, reg
,
465 gen_rtx_HIGH (Pmode
, offset
)));
466 emit_insn (gen_rtx_SET (VOIDmode
, reg
,
467 gen_rtx_LO_SUM (Pmode
, reg
, offset
)));
468 emit_insn (gen_rtx_USE (VOIDmode
, pic_offset_table_rtx
));
470 orig
= gen_rtx_PLUS (Pmode
, pic_offset_table_rtx
, reg
);
476 ptr_ref
= (gen_rtx_SYMBOL_REF
478 machopic_indirection_name (orig
, /*stub_p=*/false)));
480 SYMBOL_REF_DECL (ptr_ref
) = SYMBOL_REF_DECL (orig
);
482 ptr_ref
= gen_const_mem (Pmode
, ptr_ref
);
483 machopic_define_symbol (ptr_ref
);
487 else if (GET_CODE (orig
) == CONST
)
491 /* legitimize both operands of the PLUS */
492 if (GET_CODE (XEXP (orig
, 0)) == PLUS
)
494 base
= machopic_indirect_data_reference (XEXP (XEXP (orig
, 0), 0),
496 orig
= machopic_indirect_data_reference (XEXP (XEXP (orig
, 0), 1),
497 (base
== reg
? 0 : reg
));
502 if (MACHOPIC_PURE
&& GET_CODE (orig
) == CONST_INT
)
503 result
= plus_constant (base
, INTVAL (orig
));
505 result
= gen_rtx_PLUS (Pmode
, base
, orig
);
507 if (MACHOPIC_JUST_INDIRECT
&& GET_CODE (base
) == MEM
)
511 emit_move_insn (reg
, result
);
516 result
= force_reg (GET_MODE (result
), result
);
523 else if (GET_CODE (orig
) == MEM
)
524 XEXP (ptr_ref
, 0) = machopic_indirect_data_reference (XEXP (orig
, 0), reg
);
525 /* When the target is i386, this code prevents crashes due to the
526 compiler's ignorance on how to move the PIC base register to
527 other registers. (The reload phase sometimes introduces such
529 else if (GET_CODE (orig
) == PLUS
530 && GET_CODE (XEXP (orig
, 0)) == REG
531 && REGNO (XEXP (orig
, 0)) == PIC_OFFSET_TABLE_REGNUM
533 /* Prevent the same register from being erroneously used
534 as both the base and index registers. */
535 && GET_CODE (XEXP (orig
, 1)) == CONST
539 emit_move_insn (reg
, XEXP (orig
, 0));
540 XEXP (ptr_ref
, 0) = reg
;
545 /* Transform TARGET (a MEM), which is a function call target, to the
546 corresponding symbol_stub if necessary. Return a new MEM. */
549 machopic_indirect_call_target (rtx target
)
551 if (GET_CODE (target
) != MEM
)
554 if (MACHOPIC_INDIRECT
555 && GET_CODE (XEXP (target
, 0)) == SYMBOL_REF
556 && !(SYMBOL_REF_FLAGS (XEXP (target
, 0))
557 & MACHO_SYMBOL_FLAG_DEFINED
))
559 rtx sym_ref
= XEXP (target
, 0);
560 const char *stub_name
= machopic_indirection_name (sym_ref
,
562 enum machine_mode mode
= GET_MODE (sym_ref
);
563 tree decl
= SYMBOL_REF_DECL (sym_ref
);
565 XEXP (target
, 0) = gen_rtx_SYMBOL_REF (mode
, stub_name
);
566 SYMBOL_REF_DECL (XEXP (target
, 0)) = decl
;
567 MEM_READONLY_P (target
) = 1;
568 MEM_NOTRAP_P (target
) = 1;
575 machopic_legitimize_pic_address (rtx orig
, enum machine_mode mode
, rtx reg
)
579 if (! MACHOPIC_INDIRECT
)
582 /* First handle a simple SYMBOL_REF or LABEL_REF */
583 if (GET_CODE (orig
) == LABEL_REF
584 || (GET_CODE (orig
) == SYMBOL_REF
587 /* addr(foo) = &func+(foo-func) */
590 orig
= machopic_indirect_data_reference (orig
, reg
);
592 if (GET_CODE (orig
) == PLUS
593 && GET_CODE (XEXP (orig
, 0)) == REG
)
596 return force_reg (mode
, orig
);
598 emit_move_insn (reg
, orig
);
602 /* if dynamic-no-pic then use 0 as the pic base */
603 if (MACHO_DYNAMIC_NO_PIC_P
)
604 pic_base
= CONST0_RTX (Pmode
);
606 pic_base
= machopic_function_base_sym ();
608 if (GET_CODE (orig
) == MEM
)
612 if (reload_in_progress
)
615 reg
= gen_reg_rtx (Pmode
);
619 if (MACHO_DYNAMIC_NO_PIC_P
620 && (GET_CODE (XEXP (orig
, 0)) == SYMBOL_REF
621 || GET_CODE (XEXP (orig
, 0)) == LABEL_REF
))
623 #if defined (TARGET_TOC) /* ppc */
624 rtx temp_reg
= (no_new_pseudos
) ? reg
: gen_reg_rtx (Pmode
);
625 rtx asym
= XEXP (orig
, 0);
628 emit_insn (gen_macho_high (temp_reg
, asym
));
629 mem
= gen_const_mem (GET_MODE (orig
),
630 gen_rtx_LO_SUM (Pmode
, temp_reg
, asym
));
631 emit_insn (gen_rtx_SET (VOIDmode
, reg
, mem
));
633 /* Some other CPU -- WriteMe! but right now there are no other platform that can use dynamic-no-pic */
639 if (GET_CODE (XEXP (orig
, 0)) == SYMBOL_REF
640 || GET_CODE (XEXP (orig
, 0)) == LABEL_REF
)
642 rtx offset
= gen_rtx_CONST (Pmode
,
643 gen_rtx_MINUS (Pmode
,
646 #if defined (TARGET_TOC) /* i.e., PowerPC */
647 /* Generating a new reg may expose opportunities for
648 common subexpression elimination. */
649 rtx hi_sum_reg
= no_new_pseudos
? reg
: gen_reg_rtx (Pmode
);
654 sum
= gen_rtx_HIGH (Pmode
, offset
);
655 if (! MACHO_DYNAMIC_NO_PIC_P
)
656 sum
= gen_rtx_PLUS (Pmode
, pic_offset_table_rtx
, sum
);
658 emit_insn (gen_rtx_SET (Pmode
, hi_sum_reg
, sum
));
660 mem
= gen_const_mem (GET_MODE (orig
),
661 gen_rtx_LO_SUM (Pmode
,
662 hi_sum_reg
, offset
));
663 insn
= emit_insn (gen_rtx_SET (VOIDmode
, reg
, mem
));
664 REG_NOTES (insn
) = gen_rtx_EXPR_LIST (REG_EQUAL
, pic_ref
,
669 emit_insn (gen_rtx_USE (VOIDmode
,
671 PIC_OFFSET_TABLE_REGNUM
)));
673 emit_insn (gen_rtx_SET (VOIDmode
, reg
,
675 gen_rtx_CONST (Pmode
,
677 emit_insn (gen_rtx_SET (VOIDmode
, reg
,
678 gen_rtx_LO_SUM (Pmode
, reg
,
679 gen_rtx_CONST (Pmode
, offset
))));
680 pic_ref
= gen_rtx_PLUS (Pmode
,
681 pic_offset_table_rtx
, reg
);
685 #endif /* HAVE_lo_sum */
687 rtx pic
= pic_offset_table_rtx
;
688 if (GET_CODE (pic
) != REG
)
690 emit_move_insn (reg
, pic
);
694 emit_insn (gen_rtx_USE (VOIDmode
,
696 PIC_OFFSET_TABLE_REGNUM
)));
699 pic_ref
= gen_rtx_PLUS (Pmode
,
701 gen_rtx_CONST (Pmode
,
702 gen_rtx_MINUS (Pmode
,
707 #if !defined (TARGET_TOC)
708 emit_move_insn (reg
, pic_ref
);
709 pic_ref
= gen_const_mem (GET_MODE (orig
), reg
);
716 if (GET_CODE (orig
) == SYMBOL_REF
717 || GET_CODE (orig
) == LABEL_REF
)
719 rtx offset
= gen_rtx_CONST (Pmode
,
720 gen_rtx_MINUS (Pmode
,
722 #if defined (TARGET_TOC) /* i.e., PowerPC */
727 if (reload_in_progress
)
730 reg
= gen_reg_rtx (Pmode
);
735 emit_insn (gen_rtx_SET (Pmode
, hi_sum_reg
,
736 (MACHO_DYNAMIC_NO_PIC_P
)
737 ? gen_rtx_HIGH (Pmode
, offset
)
738 : gen_rtx_PLUS (Pmode
,
739 pic_offset_table_rtx
,
742 emit_insn (gen_rtx_SET (VOIDmode
, reg
,
743 gen_rtx_LO_SUM (Pmode
,
744 hi_sum_reg
, offset
)));
747 emit_insn (gen_rtx_SET (VOIDmode
, reg
,
748 gen_rtx_HIGH (Pmode
, offset
)));
749 emit_insn (gen_rtx_SET (VOIDmode
, reg
,
750 gen_rtx_LO_SUM (Pmode
, reg
, offset
)));
751 pic_ref
= gen_rtx_PLUS (Pmode
,
752 pic_offset_table_rtx
, reg
);
756 #endif /* HAVE_lo_sum */
759 || GET_CODE (orig
) == SUBREG
)
765 rtx pic
= pic_offset_table_rtx
;
766 if (GET_CODE (pic
) != REG
)
768 emit_move_insn (reg
, pic
);
772 emit_insn (gen_rtx_USE (VOIDmode
,
773 pic_offset_table_rtx
));
775 pic_ref
= gen_rtx_PLUS (Pmode
,
777 gen_rtx_CONST (Pmode
,
778 gen_rtx_MINUS (Pmode
,
784 if (GET_CODE (pic_ref
) != REG
)
788 emit_move_insn (reg
, pic_ref
);
793 return force_reg (mode
, pic_ref
);
802 else if (GET_CODE (orig
) == SYMBOL_REF
)
805 else if (GET_CODE (orig
) == PLUS
806 && (GET_CODE (XEXP (orig
, 0)) == MEM
807 || GET_CODE (XEXP (orig
, 0)) == SYMBOL_REF
808 || GET_CODE (XEXP (orig
, 0)) == LABEL_REF
)
809 && XEXP (orig
, 0) != pic_offset_table_rtx
810 && GET_CODE (XEXP (orig
, 1)) != REG
)
814 int is_complex
= (GET_CODE (XEXP (orig
, 0)) == MEM
);
816 base
= machopic_legitimize_pic_address (XEXP (orig
, 0), Pmode
, reg
);
817 orig
= machopic_legitimize_pic_address (XEXP (orig
, 1),
818 Pmode
, (base
== reg
? 0 : reg
));
819 if (GET_CODE (orig
) == CONST_INT
)
821 pic_ref
= plus_constant (base
, INTVAL (orig
));
825 pic_ref
= gen_rtx_PLUS (Pmode
, base
, orig
);
827 if (reg
&& is_complex
)
829 emit_move_insn (reg
, pic_ref
);
832 /* Likewise, should we set special REG_NOTEs here? */
835 else if (GET_CODE (orig
) == CONST
)
837 return machopic_legitimize_pic_address (XEXP (orig
, 0), Pmode
, reg
);
840 else if (GET_CODE (orig
) == MEM
841 && GET_CODE (XEXP (orig
, 0)) == SYMBOL_REF
)
843 rtx addr
= machopic_legitimize_pic_address (XEXP (orig
, 0), Pmode
, reg
);
844 addr
= replace_equiv_address (orig
, addr
);
845 emit_move_insn (reg
, addr
);
852 /* Output the stub or non-lazy pointer in *SLOT, if it has been used.
853 DATA is the FILE* for assembly output. Called from
857 machopic_output_indirection (void **slot
, void *data
)
859 machopic_indirection
*p
= *((machopic_indirection
**) slot
);
860 FILE *asm_out_file
= (FILE *) data
;
862 const char *sym_name
;
863 const char *ptr_name
;
869 sym_name
= XSTR (symbol
, 0);
870 ptr_name
= p
->ptr_name
;
877 sym
= alloca (strlen (sym_name
) + 2);
878 if (sym_name
[0] == '*' || sym_name
[0] == '&')
879 strcpy (sym
, sym_name
+ 1);
880 else if (sym_name
[0] == '-' || sym_name
[0] == '+')
881 strcpy (sym
, sym_name
);
883 sprintf (sym
, "%s%s", user_label_prefix
, sym_name
);
885 stub
= alloca (strlen (ptr_name
) + 2);
886 if (ptr_name
[0] == '*' || ptr_name
[0] == '&')
887 strcpy (stub
, ptr_name
+ 1);
889 sprintf (stub
, "%s%s", user_label_prefix
, ptr_name
);
891 machopic_output_stub (asm_out_file
, sym
, stub
);
893 else if (! indirect_data (symbol
)
894 && (machopic_symbol_defined_p (symbol
)
895 || SYMBOL_REF_LOCAL_P (symbol
)))
898 assemble_align (GET_MODE_ALIGNMENT (Pmode
));
899 assemble_label (ptr_name
);
900 assemble_integer (gen_rtx_SYMBOL_REF (Pmode
, sym_name
),
901 GET_MODE_SIZE (Pmode
),
902 GET_MODE_ALIGNMENT (Pmode
), 1);
906 rtx init
= const0_rtx
;
908 machopic_nl_symbol_ptr_section ();
909 assemble_name (asm_out_file
, ptr_name
);
910 fprintf (asm_out_file
, ":\n");
912 fprintf (asm_out_file
, "\t.indirect_symbol ");
913 assemble_name (asm_out_file
, sym_name
);
914 fprintf (asm_out_file
, "\n");
916 /* Variables that are marked with MACHO_SYMBOL_STATIC need to
917 have their symbol name instead of 0 in the second entry of
918 the non-lazy symbol pointer data structure when they are
919 defined. This allows the runtime to rebind newer instances
920 of the translation unit with the original instance of the
923 if ((SYMBOL_REF_FLAGS (symbol
) & MACHO_SYMBOL_STATIC
)
924 && machopic_symbol_defined_p (symbol
))
925 init
= gen_rtx_SYMBOL_REF (Pmode
, sym_name
);
927 assemble_integer (init
, GET_MODE_SIZE (Pmode
),
928 GET_MODE_ALIGNMENT (Pmode
), 1);
935 machopic_finish (FILE *asm_out_file
)
937 if (machopic_indirections
)
938 htab_traverse_noresize (machopic_indirections
,
939 machopic_output_indirection
,
944 machopic_operand_p (rtx op
)
946 if (MACHOPIC_JUST_INDIRECT
)
948 while (GET_CODE (op
) == CONST
)
951 if (GET_CODE (op
) == SYMBOL_REF
)
952 return machopic_symbol_defined_p (op
);
957 while (GET_CODE (op
) == CONST
)
960 if (GET_CODE (op
) == MINUS
961 && GET_CODE (XEXP (op
, 0)) == SYMBOL_REF
962 && GET_CODE (XEXP (op
, 1)) == SYMBOL_REF
963 && machopic_symbol_defined_p (XEXP (op
, 0))
964 && machopic_symbol_defined_p (XEXP (op
, 1)))
970 /* This function records whether a given name corresponds to a defined
971 or undefined function or variable, for machopic_classify_ident to
975 darwin_encode_section_info (tree decl
, rtx rtl
, int first ATTRIBUTE_UNUSED
)
979 /* Do the standard encoding things first. */
980 default_encode_section_info (decl
, rtl
, first
);
982 if (TREE_CODE (decl
) != FUNCTION_DECL
&& TREE_CODE (decl
) != VAR_DECL
)
985 sym_ref
= XEXP (rtl
, 0);
986 if (TREE_CODE (decl
) == VAR_DECL
)
987 SYMBOL_REF_FLAGS (sym_ref
) |= MACHO_SYMBOL_FLAG_VARIABLE
;
989 if (!DECL_EXTERNAL (decl
)
990 && (!TREE_PUBLIC (decl
) || !DECL_WEAK (decl
))
991 && ((TREE_STATIC (decl
)
992 && (!DECL_COMMON (decl
) || !TREE_PUBLIC (decl
)))
993 || (!DECL_COMMON (decl
) && DECL_INITIAL (decl
)
994 && DECL_INITIAL (decl
) != error_mark_node
)))
995 SYMBOL_REF_FLAGS (sym_ref
) |= MACHO_SYMBOL_FLAG_DEFINED
;
997 if (TREE_CODE (decl
) == VAR_DECL
998 && indirect_data (sym_ref
)
999 && ! TREE_PUBLIC (decl
))
1000 SYMBOL_REF_FLAGS (sym_ref
) |= MACHO_SYMBOL_STATIC
;
1004 darwin_mark_decl_preserved (const char *name
)
1006 fprintf (asm_out_file
, ".no_dead_strip ");
1007 assemble_name (asm_out_file
, name
);
1008 fputc ('\n', asm_out_file
);
1012 machopic_select_section (tree exp
, int reloc
,
1013 unsigned HOST_WIDE_INT align ATTRIBUTE_UNUSED
)
1015 void (*base_function
)(void);
1016 bool weak_p
= DECL_P (exp
) && DECL_WEAK (exp
);
1017 static void (* const base_funs
[][2])(void) = {
1018 { text_section
, text_coal_section
},
1019 { text_unlikely_section
, text_unlikely_coal_section
},
1020 { readonly_data_section
, const_coal_section
},
1021 { const_data_section
, const_data_coal_section
},
1022 { data_section
, data_coal_section
}
1025 if (TREE_CODE (exp
) == FUNCTION_DECL
)
1026 base_function
= base_funs
[reloc
][weak_p
];
1027 else if (decl_readonly_section_1 (exp
, reloc
, MACHOPIC_INDIRECT
))
1028 base_function
= base_funs
[2][weak_p
];
1029 else if (TREE_READONLY (exp
) || TREE_CONSTANT (exp
))
1030 base_function
= base_funs
[3][weak_p
];
1032 base_function
= base_funs
[4][weak_p
];
1034 if (TREE_CODE (exp
) == STRING_CST
1035 && ((size_t) TREE_STRING_LENGTH (exp
)
1036 == strlen (TREE_STRING_POINTER (exp
)) + 1))
1038 else if ((TREE_CODE (exp
) == INTEGER_CST
|| TREE_CODE (exp
) == REAL_CST
)
1039 && flag_merge_constants
)
1041 tree size
= TYPE_SIZE_UNIT (TREE_TYPE (exp
));
1043 if (TREE_CODE (size
) == INTEGER_CST
&&
1044 TREE_INT_CST_LOW (size
) == 4 &&
1045 TREE_INT_CST_HIGH (size
) == 0)
1046 literal4_section ();
1047 else if (TREE_CODE (size
) == INTEGER_CST
&&
1048 TREE_INT_CST_LOW (size
) == 8 &&
1049 TREE_INT_CST_HIGH (size
) == 0)
1050 literal8_section ();
1054 else if (TREE_CODE (exp
) == CONSTRUCTOR
1056 && TREE_CODE (TREE_TYPE (exp
)) == RECORD_TYPE
1057 && TYPE_NAME (TREE_TYPE (exp
)))
1059 tree name
= TYPE_NAME (TREE_TYPE (exp
));
1060 if (TREE_CODE (name
) == TYPE_DECL
)
1061 name
= DECL_NAME (name
);
1062 if (!strcmp (IDENTIFIER_POINTER (name
), "NSConstantString"))
1063 objc_constant_string_object_section ();
1064 else if (!strcmp (IDENTIFIER_POINTER (name
), "NXConstantString"))
1065 objc_string_object_section ();
1069 else if (TREE_CODE (exp
) == VAR_DECL
&&
1071 TREE_CODE (DECL_NAME (exp
)) == IDENTIFIER_NODE
&&
1072 IDENTIFIER_POINTER (DECL_NAME (exp
)) &&
1073 !strncmp (IDENTIFIER_POINTER (DECL_NAME (exp
)), "_OBJC_", 6))
1075 const char *name
= IDENTIFIER_POINTER (DECL_NAME (exp
));
1077 if (!strncmp (name
, "_OBJC_CLASS_METHODS_", 20))
1078 objc_cls_meth_section ();
1079 else if (!strncmp (name
, "_OBJC_INSTANCE_METHODS_", 23))
1080 objc_inst_meth_section ();
1081 else if (!strncmp (name
, "_OBJC_CATEGORY_CLASS_METHODS_", 20))
1082 objc_cat_cls_meth_section ();
1083 else if (!strncmp (name
, "_OBJC_CATEGORY_INSTANCE_METHODS_", 23))
1084 objc_cat_inst_meth_section ();
1085 else if (!strncmp (name
, "_OBJC_CLASS_VARIABLES_", 22))
1086 objc_class_vars_section ();
1087 else if (!strncmp (name
, "_OBJC_INSTANCE_VARIABLES_", 25))
1088 objc_instance_vars_section ();
1089 else if (!strncmp (name
, "_OBJC_CLASS_PROTOCOLS_", 22))
1090 objc_cat_cls_meth_section ();
1091 else if (!strncmp (name
, "_OBJC_CLASS_NAME_", 17))
1092 objc_class_names_section ();
1093 else if (!strncmp (name
, "_OBJC_METH_VAR_NAME_", 20))
1094 objc_meth_var_names_section ();
1095 else if (!strncmp (name
, "_OBJC_METH_VAR_TYPE_", 20))
1096 objc_meth_var_types_section ();
1097 else if (!strncmp (name
, "_OBJC_CLASS_REFERENCES", 22))
1098 objc_cls_refs_section ();
1099 else if (!strncmp (name
, "_OBJC_CLASS_", 12))
1100 objc_class_section ();
1101 else if (!strncmp (name
, "_OBJC_METACLASS_", 16))
1102 objc_meta_class_section ();
1103 else if (!strncmp (name
, "_OBJC_CATEGORY_", 15))
1104 objc_category_section ();
1105 else if (!strncmp (name
, "_OBJC_SELECTOR_REFERENCES", 25))
1106 objc_selector_refs_section ();
1107 else if (!strncmp (name
, "_OBJC_SELECTOR_FIXUP", 20))
1108 objc_selector_fixup_section ();
1109 else if (!strncmp (name
, "_OBJC_SYMBOLS", 13))
1110 objc_symbols_section ();
1111 else if (!strncmp (name
, "_OBJC_MODULES", 13))
1112 objc_module_info_section ();
1113 else if (!strncmp (name
, "_OBJC_IMAGE_INFO", 16))
1114 objc_image_info_section ();
1115 else if (!strncmp (name
, "_OBJC_PROTOCOL_INSTANCE_METHODS_", 32))
1116 objc_cat_inst_meth_section ();
1117 else if (!strncmp (name
, "_OBJC_PROTOCOL_CLASS_METHODS_", 29))
1118 objc_cat_cls_meth_section ();
1119 else if (!strncmp (name
, "_OBJC_PROTOCOL_REFS_", 20))
1120 objc_cat_cls_meth_section ();
1121 else if (!strncmp (name
, "_OBJC_PROTOCOL_", 15))
1122 objc_protocol_section ();
1126 /* ::operator new and ::operator delete must be coalesced, even
1127 if not weak. There are 8 variants that we look for. */
1128 else if (TREE_CODE (exp
) == FUNCTION_DECL
1129 && ! DECL_ONE_ONLY (exp
))
1131 const char * name
= IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (exp
));
1132 if (name
[0] == '_' && name
[1] == 'Z'
1133 && ((name
[2] == 'n' && (name
[3] == 'a' || name
[3] == 'w')
1135 || (name
[2] == 'd' && (name
[3] == 'a' || name
[3] == 'l')
1136 && name
[4] == 'P' && name
[5] == 'v')))
1138 bool delete_p
= name
[2] == 'd';
1139 if (name
[5 + delete_p
] == 0
1140 || strcmp (name
+ 5 + delete_p
, "KSt9nothrow_t") == 0)
1141 base_funs
[reloc
][1] ();
1152 /* This can be called with address expressions as "rtx".
1153 They must go in "const". */
1156 machopic_select_rtx_section (enum machine_mode mode
, rtx x
,
1157 unsigned HOST_WIDE_INT align ATTRIBUTE_UNUSED
)
1159 if (GET_MODE_SIZE (mode
) == 8)
1160 literal8_section ();
1161 else if (GET_MODE_SIZE (mode
) == 4
1162 && (GET_CODE (x
) == CONST_INT
1163 || GET_CODE (x
) == CONST_DOUBLE
))
1164 literal4_section ();
1165 else if (MACHOPIC_INDIRECT
1166 && (GET_CODE (x
) == SYMBOL_REF
1167 || GET_CODE (x
) == CONST
1168 || GET_CODE (x
) == LABEL_REF
))
1169 const_data_section ();
1175 machopic_asm_out_constructor (rtx symbol
, int priority ATTRIBUTE_UNUSED
)
1177 if (MACHOPIC_INDIRECT
)
1178 mod_init_section ();
1180 constructor_section ();
1181 assemble_align (POINTER_SIZE
);
1182 assemble_integer (symbol
, POINTER_SIZE
/ BITS_PER_UNIT
, POINTER_SIZE
, 1);
1184 if (! MACHOPIC_INDIRECT
)
1185 fprintf (asm_out_file
, ".reference .constructors_used\n");
1189 machopic_asm_out_destructor (rtx symbol
, int priority ATTRIBUTE_UNUSED
)
1191 if (MACHOPIC_INDIRECT
)
1192 mod_term_section ();
1194 destructor_section ();
1195 assemble_align (POINTER_SIZE
);
1196 assemble_integer (symbol
, POINTER_SIZE
/ BITS_PER_UNIT
, POINTER_SIZE
, 1);
1198 if (! MACHOPIC_INDIRECT
)
1199 fprintf (asm_out_file
, ".reference .destructors_used\n");
1203 darwin_globalize_label (FILE *stream
, const char *name
)
1205 if (!!strncmp (name
, "_OBJC_", 6))
1206 default_globalize_label (stream
, name
);
1210 darwin_asm_named_section (const char *name
,
1211 unsigned int flags ATTRIBUTE_UNUSED
,
1212 tree decl ATTRIBUTE_UNUSED
)
1214 fprintf (asm_out_file
, "\t.section %s\n", name
);
1218 darwin_unique_section (tree decl ATTRIBUTE_UNUSED
, int reloc ATTRIBUTE_UNUSED
)
1220 /* Darwin does not use unique sections. */
1223 /* Handle a "weak_import" attribute; arguments as in
1224 struct attribute_spec.handler. */
1227 darwin_handle_weak_import_attribute (tree
*node
, tree name
,
1228 tree
ARG_UNUSED (args
),
1229 int ARG_UNUSED (flags
),
1230 bool * no_add_attrs
)
1232 if (TREE_CODE (*node
) != FUNCTION_DECL
&& TREE_CODE (*node
) != VAR_DECL
)
1234 warning ("%qs attribute ignored", IDENTIFIER_POINTER (name
));
1235 *no_add_attrs
= true;
1238 declare_weak (*node
);
1244 no_dead_strip (FILE *file
, const char *lab
)
1246 fprintf (file
, ".no_dead_strip %s\n", lab
);
1249 /* Emit a label for an FDE, making it global and/or weak if appropriate.
1250 The third parameter is nonzero if this is for exception handling.
1251 The fourth parameter is nonzero if this is just a placeholder for an
1252 FDE that we are omitting. */
1255 darwin_emit_unwind_label (FILE *file
, tree decl
, int for_eh
, int empty
)
1257 tree id
= DECL_ASSEMBLER_NAME (decl
)
1258 ? DECL_ASSEMBLER_NAME (decl
)
1261 const char *prefix
= "_";
1262 const int prefix_len
= 1;
1264 const char *base
= IDENTIFIER_POINTER (id
);
1265 unsigned int base_len
= IDENTIFIER_LENGTH (id
);
1267 const char *suffix
= ".eh";
1269 int need_quotes
= name_needs_quotes (base
);
1270 int quotes_len
= need_quotes
? 2 : 0;
1276 lab
= xmalloc (prefix_len
+ base_len
+ strlen (suffix
) + quotes_len
+ 1);
1281 strcat(lab
, prefix
);
1283 strcat(lab
, suffix
);
1287 if (TREE_PUBLIC (decl
))
1288 fprintf (file
, "\t%s %s\n",
1289 (DECL_VISIBILITY (decl
) != VISIBILITY_HIDDEN
1291 : ".private_extern"),
1294 if (DECL_WEAK (decl
))
1295 fprintf (file
, "\t.weak_definition %s\n", lab
);
1299 fprintf (file
, "%s = 0\n", lab
);
1301 /* Mark the absolute .eh and .eh1 style labels as needed to
1302 ensure that we don't dead code strip them and keep such
1303 labels from another instantiation point until we can fix this
1304 properly with group comdat support. */
1305 no_dead_strip (file
, lab
);
1308 fprintf (file
, "%s:\n", lab
);
1313 /* Generate a PC-relative reference to a Mach-O non-lazy-symbol. */
1316 darwin_non_lazy_pcrel (FILE *file
, rtx addr
)
1318 const char *nlp_name
;
1320 if (GET_CODE (addr
) != SYMBOL_REF
)
1323 nlp_name
= machopic_indirection_name (addr
, /*stub_p=*/false);
1324 fputs ("\t.long\t", file
);
1325 ASM_OUTPUT_LABELREF (file
, nlp_name
);
1329 /* Emit an assembler directive to set visibility for a symbol. The
1330 only supported visibilities are VISIBILITY_DEFAULT and
1331 VISIBILITY_HIDDEN; the latter corresponds to Darwin's "private
1332 extern". There is no MACH-O equivalent of ELF's
1333 VISIBILITY_INTERNAL or VISIBILITY_PROTECTED. */
1336 darwin_assemble_visibility (tree decl
, int vis
)
1338 if (vis
== VISIBILITY_DEFAULT
)
1340 else if (vis
== VISIBILITY_HIDDEN
)
1342 fputs ("\t.private_extern ", asm_out_file
);
1343 assemble_name (asm_out_file
,
1344 (IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl
))));
1345 fputs ("\n", asm_out_file
);
1348 warning ("internal and protected visibility attributes not supported "
1349 "in this configuration; ignored");
1352 /* Output a difference of two labels that will be an assembly time
1353 constant if the two labels are local. (.long lab1-lab2 will be
1354 very different if lab1 is at the boundary between two sections; it
1355 will be relocated according to the second section, not the first,
1356 so one ends up with a difference between labels in different
1357 sections, which is bad in the dwarf2 eh context for instance.) */
1359 static int darwin_dwarf_label_counter
;
1362 darwin_asm_output_dwarf_delta (FILE *file
, int size
,
1363 const char *lab1
, const char *lab2
)
1365 int islocaldiff
= (lab1
[0] == '*' && lab1
[1] == 'L'
1366 && lab2
[0] == '*' && lab2
[1] == 'L');
1367 const char *directive
= (size
== 8 ? ".quad" : ".long");
1370 fprintf (file
, "\t.set L$set$%d,", darwin_dwarf_label_counter
);
1372 fprintf (file
, "\t%s\t", directive
);
1373 assemble_name_raw (file
, lab1
);
1374 fprintf (file
, "-");
1375 assemble_name_raw (file
, lab2
);
1377 fprintf (file
, "\n\t%s L$set$%d", directive
, darwin_dwarf_label_counter
++);
1381 darwin_file_end (void)
1383 machopic_finish (asm_out_file
);
1384 if (strcmp (lang_hooks
.name
, "GNU C++") == 0)
1386 constructor_section ();
1387 destructor_section ();
1388 ASM_OUTPUT_ALIGN (asm_out_file
, 1);
1390 fprintf (asm_out_file
, "\t.subsections_via_symbols\n");
1393 /* True, iff we're generating fast turn around debugging code. When
1394 true, we arrange for function prologues to start with 4 nops so
1395 that gdb may insert code to redirect them, and for data to accessed
1396 indirectly. The runtime uses this indirection to forward
1397 references for data to the original instance of that data. */
1399 int darwin_fix_and_continue
;
1400 const char *darwin_fix_and_continue_switch
;
1402 #include "gt-darwin.h"