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
3 Free Software Foundation, Inc.
4 Contributed by Apple Computer Inc.
6 This file is part of GCC.
8 GCC 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 GCC 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 GCC; see the file COPYING. If not, write to
20 the Free Software Foundation, 59 Temple Place - Suite 330,
21 Boston, MA 02111-1307, USA. */
25 #include "coretypes.h"
29 #include "hard-reg-set.h"
31 #include "insn-config.h"
32 #include "conditions.h"
33 #include "insn-flags.h"
35 #include "insn-attr.h"
42 #include "langhooks.h"
48 /* Darwin supports a feature called fix-and-continue, which is used
49 for rapid turn around debugging. When code is compiled with the
50 -mfix-and-continue flag, two changes are made to the generated code
51 that allow the system to do things that it would normally not be
52 able to do easily. These changes allow gdb to load in
53 recompilation of a translation unit that has been changed into a
54 running program and replace existing functions and methods of that
55 translation unit with with versions of those functions and methods
56 from the newly compiled translation unit. The new functions access
57 the existing static data from the old translation unit, if the data
58 existed in the unit to be replaced, and from the new translation
61 The changes are to insert 4 nops at the beginning of all functions
62 and to use indirection to get at static duration data. The 4 nops
63 are required by consumers of the generated code. Currently, gdb
64 uses this to patch in a jump to the overriding function, this
65 allows all uses of the old name to forward to the replacement,
66 including existing function pointers and virtual methods. See
67 rs6000_emit_prologue for the code that handles the nop insertions.
69 The added indirection allows gdb to redirect accesses to static
70 duration data from the newly loaded translation unit to the
71 existing data, if any. @code{static} data is special and is
72 handled by setting the second word in the .non_lazy_symbol_pointer
73 data structure to the address of the data. See indirect_data for
74 the code that handles the extra indirection, and
75 machopic_output_indirection and its use of MACHO_SYMBOL_STATIC for
76 the code that handles @code{static} data indirection. */
79 /* Nonzero if the user passes the -mone-byte-bool switch, which forces
80 sizeof(bool) to be 1. */
81 const char *darwin_one_byte_bool
= 0;
84 name_needs_quotes (const char *name
)
87 while ((c
= *name
++) != '\0')
88 if (! ISIDNUM (c
) && c
!= '.' && c
!= '$')
93 /* Return true if SYM_REF can be used without an indirection. */
95 machopic_symbol_defined_p (rtx sym_ref
)
97 if (SYMBOL_REF_FLAGS (sym_ref
) & MACHO_SYMBOL_FLAG_DEFINED
)
100 /* If a symbol references local and is not an extern to this
101 file, then the symbol might be able to declared as defined. */
102 if (SYMBOL_REF_LOCAL_P (sym_ref
) && ! SYMBOL_REF_EXTERNAL_P (sym_ref
))
104 /* If the symbol references a variable and the variable is a
105 common symbol, then this symbol is not defined. */
106 if (SYMBOL_REF_FLAGS (sym_ref
) & MACHO_SYMBOL_FLAG_VARIABLE
)
108 tree decl
= SYMBOL_REF_DECL (sym_ref
);
111 if (DECL_COMMON (decl
))
119 /* This module assumes that (const (symbol_ref "foo")) is a legal pic
120 reference, which will not be changed. */
122 enum machopic_addr_class
123 machopic_classify_symbol (rtx sym_ref
)
128 flags
= SYMBOL_REF_FLAGS (sym_ref
);
129 function_p
= SYMBOL_REF_FUNCTION_P (sym_ref
);
130 if (machopic_symbol_defined_p (sym_ref
))
132 ? MACHOPIC_DEFINED_FUNCTION
: MACHOPIC_DEFINED_DATA
);
135 ? MACHOPIC_UNDEFINED_FUNCTION
: MACHOPIC_UNDEFINED_DATA
);
138 #ifndef TARGET_FIX_AND_CONTINUE
139 #define TARGET_FIX_AND_CONTINUE 0
142 /* Indicate when fix-and-continue style code generation is being used
143 and when a reference to data should be indirected so that it can be
144 rebound in a new translation unit to refernce the original instance
145 of that data. Symbol names that are for code generation local to
146 the translation unit are bound to the new translation unit;
147 currently this means symbols that begin with L or _OBJC_;
148 otherwise, we indicate that an indirect reference should be made to
149 permit the runtime to rebind new instances of the translation unit
150 to the original instance of the data. */
153 indirect_data (rtx sym_ref
)
158 /* If we aren't generating fix-and-continue code, don't do anything special. */
159 if (TARGET_FIX_AND_CONTINUE
== 0)
162 /* Otherwise, all symbol except symbols that begin with L or _OBJC_
163 are indirected. Symbols that begin with L and _OBJC_ are always
164 bound to the current translation unit as they are used for
165 generated local data of the translation unit. */
167 name
= XSTR (sym_ref
, 0);
169 lprefix
= (((name
[0] == '*' || name
[0] == '&')
170 && (name
[1] == 'L' || (name
[1] == '"' && name
[2] == 'L')))
171 || (strncmp (name
, "_OBJC_", 6)));
178 machopic_data_defined_p (rtx sym_ref
)
180 if (indirect_data (sym_ref
))
183 switch (machopic_classify_symbol (sym_ref
))
185 case MACHOPIC_DEFINED_DATA
:
186 case MACHOPIC_DEFINED_FUNCTION
:
194 machopic_define_symbol (rtx mem
)
197 if (GET_CODE (mem
) != MEM
)
199 sym_ref
= XEXP (mem
, 0);
200 SYMBOL_REF_FLAGS (sym_ref
) |= MACHO_SYMBOL_FLAG_DEFINED
;
203 static GTY(()) char * function_base
;
206 machopic_function_base_name (void)
208 /* if dynamic-no-pic is on, we should not get here */
209 if (MACHO_DYNAMIC_NO_PIC_P
)
212 if (function_base
== NULL
)
214 (char *) ggc_alloc_string ("<pic base>", sizeof ("<pic base>"));
216 current_function_uses_pic_offset_table
= 1;
218 return function_base
;
221 /* Return a SYMBOL_REF for the PIC function base. */
224 machopic_function_base_sym (void)
228 sym_ref
= gen_rtx_SYMBOL_REF (Pmode
, machopic_function_base_name ());
229 SYMBOL_REF_FLAGS (sym_ref
)
230 |= (MACHO_SYMBOL_FLAG_VARIABLE
| MACHO_SYMBOL_FLAG_DEFINED
);
234 static GTY(()) const char * function_base_func_name
;
235 static GTY(()) int current_pic_label_num
;
238 machopic_output_function_base_name (FILE *file
)
240 const char *current_name
;
242 /* If dynamic-no-pic is on, we should not get here. */
243 if (MACHO_DYNAMIC_NO_PIC_P
)
246 IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (current_function_decl
));
247 if (function_base_func_name
!= current_name
)
249 ++current_pic_label_num
;
250 function_base_func_name
= current_name
;
252 fprintf (file
, "\"L%011d$pb\"", current_pic_label_num
);
255 /* The suffix attached to non-lazy pointer symbols. */
256 #define NON_LAZY_POINTER_SUFFIX "$non_lazy_ptr"
257 /* The suffix attached to stub symbols. */
258 #define STUB_SUFFIX "$stub"
260 typedef struct machopic_indirection
GTY (())
262 /* The SYMBOL_REF for the entity referenced. */
264 /* The name of the stub or non-lazy pointer. */
265 const char * ptr_name
;
266 /* True iff this entry is for a stub (as opposed to a non-lazy
269 /* True iff this stub or pointer pointer has been referenced. */
271 } machopic_indirection
;
273 /* A table mapping stub names and non-lazy pointer names to
274 SYMBOL_REFs for the stubbed-to and pointed-to entities. */
276 static GTY ((param_is (struct machopic_indirection
))) htab_t
277 machopic_indirections
;
279 /* Return a hash value for a SLOT in the indirections hash table. */
282 machopic_indirection_hash (const void *slot
)
284 const machopic_indirection
*p
= (const machopic_indirection
*) slot
;
285 return htab_hash_string (p
->ptr_name
);
288 /* Returns true if the KEY is the same as that associated with
292 machopic_indirection_eq (const void *slot
, const void *key
)
294 return strcmp (((const machopic_indirection
*) slot
)->ptr_name
, key
) == 0;
297 /* Return the name of the non-lazy pointer (if STUB_P is false) or
298 stub (if STUB_B is true) corresponding to the given name. */
301 machopic_indirection_name (rtx sym_ref
, bool stub_p
)
304 const char *name
= XSTR (sym_ref
, 0);
305 size_t namelen
= strlen (name
);
306 machopic_indirection
*p
;
309 /* Construct the name of the non-lazy pointer or stub. */
312 int needs_quotes
= name_needs_quotes (name
);
313 buffer
= alloca (strlen ("&L")
315 + strlen (STUB_SUFFIX
)
316 + 2 /* possible quotes */
322 sprintf (buffer
, "&\"L%s" STUB_SUFFIX
"\"", name
+ 1);
324 sprintf (buffer
, "&\"L%s%s" STUB_SUFFIX
"\"", user_label_prefix
,
327 else if (name
[0] == '*')
328 sprintf (buffer
, "&L%s" STUB_SUFFIX
, name
+ 1);
330 sprintf (buffer
, "&L%s%s" STUB_SUFFIX
, user_label_prefix
, name
);
334 buffer
= alloca (strlen ("&L")
335 + strlen (user_label_prefix
)
337 + strlen (NON_LAZY_POINTER_SUFFIX
)
340 sprintf (buffer
, "&L%s" NON_LAZY_POINTER_SUFFIX
, name
+ 1);
342 sprintf (buffer
, "&L%s%s" NON_LAZY_POINTER_SUFFIX
,
343 user_label_prefix
, name
);
346 if (!machopic_indirections
)
347 machopic_indirections
= htab_create_ggc (37,
348 machopic_indirection_hash
,
349 machopic_indirection_eq
,
352 slot
= htab_find_slot_with_hash (machopic_indirections
, buffer
,
353 htab_hash_string (buffer
), INSERT
);
356 p
= (machopic_indirection
*) *slot
;
360 p
= (machopic_indirection
*) ggc_alloc (sizeof (machopic_indirection
));
362 p
->ptr_name
= xstrdup (buffer
);
371 /* Return the name of the stub for the mcount function. */
374 machopic_mcount_stub_name (void)
376 rtx symbol
= gen_rtx_SYMBOL_REF (Pmode
, "*mcount");
377 return machopic_indirection_name (symbol
, /*stub_p=*/true);
380 /* If NAME is the name of a stub or a non-lazy pointer , mark the stub
381 or non-lazy pointer as used -- and mark the object to which the
382 pointer/stub refers as used as well, since the pointer/stub will
383 emit a reference to it. */
386 machopic_validate_stub_or_non_lazy_ptr (const char *name
)
388 machopic_indirection
*p
;
390 p
= ((machopic_indirection
*)
391 (htab_find_with_hash (machopic_indirections
, name
,
392 htab_hash_string (name
))));
395 const char *real_name
;
400 /* Do what output_addr_const will do when we actually call it. */
401 if (SYMBOL_REF_DECL (p
->symbol
))
402 mark_decl_referenced (SYMBOL_REF_DECL (p
->symbol
));
404 real_name
= targetm
.strip_name_encoding (XSTR (p
->symbol
, 0));
406 id
= maybe_get_identifier (real_name
);
408 mark_referenced (id
);
412 /* Transform ORIG, which may be any data source, to the corresponding
413 source using indirections. */
416 machopic_indirect_data_reference (rtx orig
, rtx reg
)
420 if (! MACHOPIC_INDIRECT
)
423 if (GET_CODE (orig
) == SYMBOL_REF
)
425 int defined
= machopic_data_defined_p (orig
);
427 if (defined
&& MACHO_DYNAMIC_NO_PIC_P
)
429 #if defined (TARGET_TOC)
430 emit_insn (gen_macho_high (reg
, orig
));
431 emit_insn (gen_macho_low (reg
, reg
, orig
));
433 /* some other cpu -- writeme! */
440 #if defined (TARGET_TOC) || defined (HAVE_lo_sum)
441 rtx pic_base
= machopic_function_base_sym ();
442 rtx offset
= gen_rtx_CONST (Pmode
,
443 gen_rtx_MINUS (Pmode
, orig
, pic_base
));
446 #if defined (TARGET_TOC) /* i.e., PowerPC */
447 rtx hi_sum_reg
= (no_new_pseudos
? reg
: gen_reg_rtx (Pmode
));
452 emit_insn (gen_rtx_SET (Pmode
, hi_sum_reg
,
453 gen_rtx_PLUS (Pmode
, pic_offset_table_rtx
,
454 gen_rtx_HIGH (Pmode
, offset
))));
455 emit_insn (gen_rtx_SET (Pmode
, reg
,
456 gen_rtx_LO_SUM (Pmode
, hi_sum_reg
, offset
)));
460 #if defined (HAVE_lo_sum)
461 if (reg
== 0) abort ();
463 emit_insn (gen_rtx_SET (VOIDmode
, reg
,
464 gen_rtx_HIGH (Pmode
, offset
)));
465 emit_insn (gen_rtx_SET (VOIDmode
, reg
,
466 gen_rtx_LO_SUM (Pmode
, reg
, offset
)));
467 emit_insn (gen_rtx_USE (VOIDmode
, pic_offset_table_rtx
));
469 orig
= gen_rtx_PLUS (Pmode
, pic_offset_table_rtx
, reg
);
475 ptr_ref
= (gen_rtx_SYMBOL_REF
477 machopic_indirection_name (orig
, /*stub_p=*/false)));
479 SYMBOL_REF_DECL (ptr_ref
) = SYMBOL_REF_DECL (orig
);
481 ptr_ref
= gen_const_mem (Pmode
, ptr_ref
);
482 machopic_define_symbol (ptr_ref
);
486 else if (GET_CODE (orig
) == CONST
)
490 /* legitimize both operands of the PLUS */
491 if (GET_CODE (XEXP (orig
, 0)) == PLUS
)
493 base
= machopic_indirect_data_reference (XEXP (XEXP (orig
, 0), 0),
495 orig
= machopic_indirect_data_reference (XEXP (XEXP (orig
, 0), 1),
496 (base
== reg
? 0 : reg
));
501 if (MACHOPIC_PURE
&& GET_CODE (orig
) == CONST_INT
)
502 result
= plus_constant (base
, INTVAL (orig
));
504 result
= gen_rtx_PLUS (Pmode
, base
, orig
);
506 if (MACHOPIC_JUST_INDIRECT
&& GET_CODE (base
) == MEM
)
510 emit_move_insn (reg
, result
);
515 result
= force_reg (GET_MODE (result
), result
);
522 else if (GET_CODE (orig
) == MEM
)
523 XEXP (ptr_ref
, 0) = machopic_indirect_data_reference (XEXP (orig
, 0), reg
);
524 /* When the target is i386, this code prevents crashes due to the
525 compiler's ignorance on how to move the PIC base register to
526 other registers. (The reload phase sometimes introduces such
528 else if (GET_CODE (orig
) == PLUS
529 && GET_CODE (XEXP (orig
, 0)) == REG
530 && REGNO (XEXP (orig
, 0)) == PIC_OFFSET_TABLE_REGNUM
532 /* Prevent the same register from being erroneously used
533 as both the base and index registers. */
534 && GET_CODE (XEXP (orig
, 1)) == CONST
538 emit_move_insn (reg
, XEXP (orig
, 0));
539 XEXP (ptr_ref
, 0) = reg
;
544 /* Transform TARGET (a MEM), which is a function call target, to the
545 corresponding symbol_stub if necessary. Return a new MEM. */
548 machopic_indirect_call_target (rtx target
)
550 if (GET_CODE (target
) != MEM
)
553 if (MACHOPIC_INDIRECT
554 && GET_CODE (XEXP (target
, 0)) == SYMBOL_REF
555 && !(SYMBOL_REF_FLAGS (XEXP (target
, 0))
556 & MACHO_SYMBOL_FLAG_DEFINED
))
558 rtx sym_ref
= XEXP (target
, 0);
559 const char *stub_name
= machopic_indirection_name (sym_ref
,
561 enum machine_mode mode
= GET_MODE (sym_ref
);
562 tree decl
= SYMBOL_REF_DECL (sym_ref
);
564 XEXP (target
, 0) = gen_rtx_SYMBOL_REF (mode
, stub_name
);
565 SYMBOL_REF_DECL (XEXP (target
, 0)) = decl
;
566 MEM_READONLY_P (target
) = 1;
567 MEM_NOTRAP_P (target
) = 1;
574 machopic_legitimize_pic_address (rtx orig
, enum machine_mode mode
, rtx reg
)
578 if (! MACHOPIC_INDIRECT
)
581 /* First handle a simple SYMBOL_REF or LABEL_REF */
582 if (GET_CODE (orig
) == LABEL_REF
583 || (GET_CODE (orig
) == SYMBOL_REF
586 /* addr(foo) = &func+(foo-func) */
589 orig
= machopic_indirect_data_reference (orig
, reg
);
591 if (GET_CODE (orig
) == PLUS
592 && GET_CODE (XEXP (orig
, 0)) == REG
)
595 return force_reg (mode
, orig
);
597 emit_move_insn (reg
, orig
);
601 /* if dynamic-no-pic then use 0 as the pic base */
602 if (MACHO_DYNAMIC_NO_PIC_P
)
603 pic_base
= CONST0_RTX (Pmode
);
605 pic_base
= machopic_function_base_sym ();
607 if (GET_CODE (orig
) == MEM
)
611 if (reload_in_progress
)
614 reg
= gen_reg_rtx (Pmode
);
618 if (MACHO_DYNAMIC_NO_PIC_P
619 && (GET_CODE (XEXP (orig
, 0)) == SYMBOL_REF
620 || GET_CODE (XEXP (orig
, 0)) == LABEL_REF
))
622 #if defined (TARGET_TOC) /* ppc */
623 rtx temp_reg
= (no_new_pseudos
) ? reg
: gen_reg_rtx (Pmode
);
624 rtx asym
= XEXP (orig
, 0);
627 emit_insn (gen_macho_high (temp_reg
, asym
));
628 mem
= gen_const_mem (GET_MODE (orig
),
629 gen_rtx_LO_SUM (Pmode
, temp_reg
, asym
));
630 emit_insn (gen_rtx_SET (VOIDmode
, reg
, mem
));
632 /* Some other CPU -- WriteMe! but right now there are no other platform that can use dynamic-no-pic */
638 if (GET_CODE (XEXP (orig
, 0)) == SYMBOL_REF
639 || GET_CODE (XEXP (orig
, 0)) == LABEL_REF
)
641 rtx offset
= gen_rtx_CONST (Pmode
,
642 gen_rtx_MINUS (Pmode
,
645 #if defined (TARGET_TOC) /* i.e., PowerPC */
646 /* Generating a new reg may expose opportunities for
647 common subexpression elimination. */
648 rtx hi_sum_reg
= no_new_pseudos
? reg
: gen_reg_rtx (Pmode
);
653 sum
= gen_rtx_HIGH (Pmode
, offset
);
654 if (! MACHO_DYNAMIC_NO_PIC_P
)
655 sum
= gen_rtx_PLUS (Pmode
, pic_offset_table_rtx
, sum
);
657 emit_insn (gen_rtx_SET (Pmode
, hi_sum_reg
, sum
));
659 mem
= gen_const_mem (GET_MODE (orig
),
660 gen_rtx_LO_SUM (Pmode
,
661 hi_sum_reg
, offset
));
662 insn
= emit_insn (gen_rtx_SET (VOIDmode
, reg
, mem
));
663 REG_NOTES (insn
) = gen_rtx_EXPR_LIST (REG_EQUAL
, pic_ref
,
668 emit_insn (gen_rtx_USE (VOIDmode
,
670 PIC_OFFSET_TABLE_REGNUM
)));
672 emit_insn (gen_rtx_SET (VOIDmode
, reg
,
674 gen_rtx_CONST (Pmode
,
676 emit_insn (gen_rtx_SET (VOIDmode
, reg
,
677 gen_rtx_LO_SUM (Pmode
, reg
,
678 gen_rtx_CONST (Pmode
, offset
))));
679 pic_ref
= gen_rtx_PLUS (Pmode
,
680 pic_offset_table_rtx
, reg
);
684 #endif /* HAVE_lo_sum */
686 rtx pic
= pic_offset_table_rtx
;
687 if (GET_CODE (pic
) != REG
)
689 emit_move_insn (reg
, pic
);
693 emit_insn (gen_rtx_USE (VOIDmode
,
695 PIC_OFFSET_TABLE_REGNUM
)));
698 pic_ref
= gen_rtx_PLUS (Pmode
,
700 gen_rtx_CONST (Pmode
,
701 gen_rtx_MINUS (Pmode
,
706 #if !defined (TARGET_TOC)
707 emit_move_insn (reg
, pic_ref
);
708 pic_ref
= gen_const_mem (GET_MODE (orig
), reg
);
715 if (GET_CODE (orig
) == SYMBOL_REF
716 || GET_CODE (orig
) == LABEL_REF
)
718 rtx offset
= gen_rtx_CONST (Pmode
,
719 gen_rtx_MINUS (Pmode
,
721 #if defined (TARGET_TOC) /* i.e., PowerPC */
726 if (reload_in_progress
)
729 reg
= gen_reg_rtx (Pmode
);
734 emit_insn (gen_rtx_SET (Pmode
, hi_sum_reg
,
735 (MACHO_DYNAMIC_NO_PIC_P
)
736 ? gen_rtx_HIGH (Pmode
, offset
)
737 : gen_rtx_PLUS (Pmode
,
738 pic_offset_table_rtx
,
741 emit_insn (gen_rtx_SET (VOIDmode
, reg
,
742 gen_rtx_LO_SUM (Pmode
,
743 hi_sum_reg
, offset
)));
746 emit_insn (gen_rtx_SET (VOIDmode
, reg
,
747 gen_rtx_HIGH (Pmode
, offset
)));
748 emit_insn (gen_rtx_SET (VOIDmode
, reg
,
749 gen_rtx_LO_SUM (Pmode
, reg
, offset
)));
750 pic_ref
= gen_rtx_PLUS (Pmode
,
751 pic_offset_table_rtx
, reg
);
755 #endif /* HAVE_lo_sum */
757 if (GET_CODE (orig
) == REG
)
763 rtx pic
= pic_offset_table_rtx
;
764 if (GET_CODE (pic
) != REG
)
766 emit_move_insn (reg
, pic
);
770 emit_insn (gen_rtx_USE (VOIDmode
,
771 pic_offset_table_rtx
));
773 pic_ref
= gen_rtx_PLUS (Pmode
,
775 gen_rtx_CONST (Pmode
,
776 gen_rtx_MINUS (Pmode
,
782 if (GET_CODE (pic_ref
) != REG
)
786 emit_move_insn (reg
, pic_ref
);
791 return force_reg (mode
, pic_ref
);
800 else if (GET_CODE (orig
) == SYMBOL_REF
)
803 else if (GET_CODE (orig
) == PLUS
804 && (GET_CODE (XEXP (orig
, 0)) == MEM
805 || GET_CODE (XEXP (orig
, 0)) == SYMBOL_REF
806 || GET_CODE (XEXP (orig
, 0)) == LABEL_REF
)
807 && XEXP (orig
, 0) != pic_offset_table_rtx
808 && GET_CODE (XEXP (orig
, 1)) != REG
)
812 int is_complex
= (GET_CODE (XEXP (orig
, 0)) == MEM
);
814 base
= machopic_legitimize_pic_address (XEXP (orig
, 0), Pmode
, reg
);
815 orig
= machopic_legitimize_pic_address (XEXP (orig
, 1),
816 Pmode
, (base
== reg
? 0 : reg
));
817 if (GET_CODE (orig
) == CONST_INT
)
819 pic_ref
= plus_constant (base
, INTVAL (orig
));
823 pic_ref
= gen_rtx_PLUS (Pmode
, base
, orig
);
825 if (reg
&& is_complex
)
827 emit_move_insn (reg
, pic_ref
);
830 /* Likewise, should we set special REG_NOTEs here? */
833 else if (GET_CODE (orig
) == CONST
)
835 return machopic_legitimize_pic_address (XEXP (orig
, 0), Pmode
, reg
);
838 else if (GET_CODE (orig
) == MEM
839 && GET_CODE (XEXP (orig
, 0)) == SYMBOL_REF
)
841 rtx addr
= machopic_legitimize_pic_address (XEXP (orig
, 0), Pmode
, reg
);
842 addr
= replace_equiv_address (orig
, addr
);
843 emit_move_insn (reg
, addr
);
850 /* Output the stub or non-lazy pointer in *SLOT, if it has been used.
851 DATA is the FILE* for assembly output. Called from
855 machopic_output_indirection (void **slot
, void *data
)
857 machopic_indirection
*p
= *((machopic_indirection
**) slot
);
858 FILE *asm_out_file
= (FILE *) data
;
860 const char *sym_name
;
861 const char *ptr_name
;
867 sym_name
= XSTR (symbol
, 0);
868 ptr_name
= p
->ptr_name
;
875 sym
= alloca (strlen (sym_name
) + 2);
876 if (sym_name
[0] == '*' || sym_name
[0] == '&')
877 strcpy (sym
, sym_name
+ 1);
878 else if (sym_name
[0] == '-' || sym_name
[0] == '+')
879 strcpy (sym
, sym_name
);
881 sprintf (sym
, "%s%s", user_label_prefix
, sym_name
);
883 stub
= alloca (strlen (ptr_name
) + 2);
884 if (ptr_name
[0] == '*' || ptr_name
[0] == '&')
885 strcpy (stub
, ptr_name
+ 1);
887 sprintf (stub
, "%s%s", user_label_prefix
, ptr_name
);
889 machopic_output_stub (asm_out_file
, sym
, stub
);
891 else if (! indirect_data (symbol
)
892 && (machopic_symbol_defined_p (symbol
)
893 || SYMBOL_REF_LOCAL_P (symbol
)))
896 assemble_align (GET_MODE_ALIGNMENT (Pmode
));
897 assemble_label (ptr_name
);
898 assemble_integer (gen_rtx_SYMBOL_REF (Pmode
, sym_name
),
899 GET_MODE_SIZE (Pmode
),
900 GET_MODE_ALIGNMENT (Pmode
), 1);
904 rtx init
= const0_rtx
;
906 machopic_nl_symbol_ptr_section ();
907 assemble_name (asm_out_file
, ptr_name
);
908 fprintf (asm_out_file
, ":\n");
910 fprintf (asm_out_file
, "\t.indirect_symbol ");
911 assemble_name (asm_out_file
, sym_name
);
912 fprintf (asm_out_file
, "\n");
914 /* Variables that are marked with MACHO_SYMBOL_STATIC need to
915 have their symbol name instead of 0 in the second entry of
916 the non-lazy symbol pointer data structure when they are
917 defined. This allows the runtime to rebind newer instances
918 of the translation unit with the original instance of the
921 if ((SYMBOL_REF_FLAGS (symbol
) & MACHO_SYMBOL_STATIC
)
922 && machopic_symbol_defined_p (symbol
))
923 init
= gen_rtx_SYMBOL_REF (Pmode
, sym_name
);
925 assemble_integer (init
, GET_MODE_SIZE (Pmode
),
926 GET_MODE_ALIGNMENT (Pmode
), 1);
933 machopic_finish (FILE *asm_out_file
)
935 if (machopic_indirections
)
936 htab_traverse_noresize (machopic_indirections
,
937 machopic_output_indirection
,
942 machopic_operand_p (rtx op
)
944 if (MACHOPIC_JUST_INDIRECT
)
946 while (GET_CODE (op
) == CONST
)
949 if (GET_CODE (op
) == SYMBOL_REF
)
950 return machopic_symbol_defined_p (op
);
955 while (GET_CODE (op
) == CONST
)
958 if (GET_CODE (op
) == MINUS
959 && GET_CODE (XEXP (op
, 0)) == SYMBOL_REF
960 && GET_CODE (XEXP (op
, 1)) == SYMBOL_REF
961 && machopic_symbol_defined_p (XEXP (op
, 0))
962 && machopic_symbol_defined_p (XEXP (op
, 1)))
968 /* This function records whether a given name corresponds to a defined
969 or undefined function or variable, for machopic_classify_ident to
973 darwin_encode_section_info (tree decl
, rtx rtl
, int first ATTRIBUTE_UNUSED
)
977 /* Do the standard encoding things first. */
978 default_encode_section_info (decl
, rtl
, first
);
980 if (TREE_CODE (decl
) != FUNCTION_DECL
&& TREE_CODE (decl
) != VAR_DECL
)
983 sym_ref
= XEXP (rtl
, 0);
984 if (TREE_CODE (decl
) == VAR_DECL
)
985 SYMBOL_REF_FLAGS (sym_ref
) |= MACHO_SYMBOL_FLAG_VARIABLE
;
987 if (!DECL_EXTERNAL (decl
)
988 && (!TREE_PUBLIC (decl
) || !DECL_WEAK (decl
))
989 && ((TREE_STATIC (decl
)
990 && (!DECL_COMMON (decl
) || !TREE_PUBLIC (decl
)))
991 || (!DECL_COMMON (decl
) && DECL_INITIAL (decl
)
992 && DECL_INITIAL (decl
) != error_mark_node
)))
993 SYMBOL_REF_FLAGS (sym_ref
) |= MACHO_SYMBOL_FLAG_DEFINED
;
995 if (TREE_CODE (decl
) == VAR_DECL
996 && indirect_data (sym_ref
)
997 && ! TREE_PUBLIC (decl
))
998 SYMBOL_REF_FLAGS (sym_ref
) |= MACHO_SYMBOL_STATIC
;
1002 darwin_mark_decl_preserved (const char *name
)
1004 fprintf (asm_out_file
, ".no_dead_strip ");
1005 assemble_name (asm_out_file
, name
);
1006 fputc ('\n', asm_out_file
);
1010 machopic_select_section (tree exp
, int reloc
,
1011 unsigned HOST_WIDE_INT align ATTRIBUTE_UNUSED
)
1013 void (*base_function
)(void);
1014 bool weak_p
= DECL_P (exp
) && DECL_WEAK (exp
);
1015 static void (* const base_funs
[][2])(void) = {
1016 { text_section
, text_coal_section
},
1017 { text_unlikely_section
, text_unlikely_coal_section
},
1018 { readonly_data_section
, const_coal_section
},
1019 { const_data_section
, const_data_coal_section
},
1020 { data_section
, data_coal_section
}
1023 if (TREE_CODE (exp
) == FUNCTION_DECL
)
1024 base_function
= base_funs
[reloc
][weak_p
];
1025 else if (decl_readonly_section_1 (exp
, reloc
, MACHOPIC_INDIRECT
))
1026 base_function
= base_funs
[2][weak_p
];
1027 else if (TREE_READONLY (exp
) || TREE_CONSTANT (exp
))
1028 base_function
= base_funs
[3][weak_p
];
1030 base_function
= base_funs
[4][weak_p
];
1032 if (TREE_CODE (exp
) == STRING_CST
1033 && ((size_t) TREE_STRING_LENGTH (exp
)
1034 == strlen (TREE_STRING_POINTER (exp
)) + 1))
1036 else if ((TREE_CODE (exp
) == INTEGER_CST
|| TREE_CODE (exp
) == REAL_CST
)
1037 && flag_merge_constants
)
1039 tree size
= TYPE_SIZE (TREE_TYPE (exp
));
1041 if (TREE_CODE (size
) == INTEGER_CST
&&
1042 TREE_INT_CST_LOW (size
) == 4 &&
1043 TREE_INT_CST_HIGH (size
) == 0)
1044 literal4_section ();
1045 else if (TREE_CODE (size
) == INTEGER_CST
&&
1046 TREE_INT_CST_LOW (size
) == 8 &&
1047 TREE_INT_CST_HIGH (size
) == 0)
1048 literal8_section ();
1052 else if (TREE_CODE (exp
) == CONSTRUCTOR
1054 && TREE_CODE (TREE_TYPE (exp
)) == RECORD_TYPE
1055 && TYPE_NAME (TREE_TYPE (exp
)))
1057 tree name
= TYPE_NAME (TREE_TYPE (exp
));
1058 if (TREE_CODE (name
) == TYPE_DECL
)
1059 name
= DECL_NAME (name
);
1060 if (!strcmp (IDENTIFIER_POINTER (name
), "NSConstantString"))
1061 objc_constant_string_object_section ();
1062 else if (!strcmp (IDENTIFIER_POINTER (name
), "NXConstantString"))
1063 objc_string_object_section ();
1067 else if (TREE_CODE (exp
) == VAR_DECL
&&
1069 TREE_CODE (DECL_NAME (exp
)) == IDENTIFIER_NODE
&&
1070 IDENTIFIER_POINTER (DECL_NAME (exp
)) &&
1071 !strncmp (IDENTIFIER_POINTER (DECL_NAME (exp
)), "_OBJC_", 6))
1073 const char *name
= IDENTIFIER_POINTER (DECL_NAME (exp
));
1075 if (!strncmp (name
, "_OBJC_CLASS_METHODS_", 20))
1076 objc_cls_meth_section ();
1077 else if (!strncmp (name
, "_OBJC_INSTANCE_METHODS_", 23))
1078 objc_inst_meth_section ();
1079 else if (!strncmp (name
, "_OBJC_CATEGORY_CLASS_METHODS_", 20))
1080 objc_cat_cls_meth_section ();
1081 else if (!strncmp (name
, "_OBJC_CATEGORY_INSTANCE_METHODS_", 23))
1082 objc_cat_inst_meth_section ();
1083 else if (!strncmp (name
, "_OBJC_CLASS_VARIABLES_", 22))
1084 objc_class_vars_section ();
1085 else if (!strncmp (name
, "_OBJC_INSTANCE_VARIABLES_", 25))
1086 objc_instance_vars_section ();
1087 else if (!strncmp (name
, "_OBJC_CLASS_PROTOCOLS_", 22))
1088 objc_cat_cls_meth_section ();
1089 else if (!strncmp (name
, "_OBJC_CLASS_NAME_", 17))
1090 objc_class_names_section ();
1091 else if (!strncmp (name
, "_OBJC_METH_VAR_NAME_", 20))
1092 objc_meth_var_names_section ();
1093 else if (!strncmp (name
, "_OBJC_METH_VAR_TYPE_", 20))
1094 objc_meth_var_types_section ();
1095 else if (!strncmp (name
, "_OBJC_CLASS_REFERENCES", 22))
1096 objc_cls_refs_section ();
1097 else if (!strncmp (name
, "_OBJC_CLASS_", 12))
1098 objc_class_section ();
1099 else if (!strncmp (name
, "_OBJC_METACLASS_", 16))
1100 objc_meta_class_section ();
1101 else if (!strncmp (name
, "_OBJC_CATEGORY_", 15))
1102 objc_category_section ();
1103 else if (!strncmp (name
, "_OBJC_SELECTOR_REFERENCES", 25))
1104 objc_selector_refs_section ();
1105 else if (!strncmp (name
, "_OBJC_SELECTOR_FIXUP", 20))
1106 objc_selector_fixup_section ();
1107 else if (!strncmp (name
, "_OBJC_SYMBOLS", 13))
1108 objc_symbols_section ();
1109 else if (!strncmp (name
, "_OBJC_MODULES", 13))
1110 objc_module_info_section ();
1111 else if (!strncmp (name
, "_OBJC_IMAGE_INFO", 16))
1112 objc_image_info_section ();
1113 else if (!strncmp (name
, "_OBJC_PROTOCOL_INSTANCE_METHODS_", 32))
1114 objc_cat_inst_meth_section ();
1115 else if (!strncmp (name
, "_OBJC_PROTOCOL_CLASS_METHODS_", 29))
1116 objc_cat_cls_meth_section ();
1117 else if (!strncmp (name
, "_OBJC_PROTOCOL_REFS_", 20))
1118 objc_cat_cls_meth_section ();
1119 else if (!strncmp (name
, "_OBJC_PROTOCOL_", 15))
1120 objc_protocol_section ();
1124 /* ::operator new and ::operator delete must be coalesced, even
1125 if not weak. There are 8 variants that we look for. */
1126 else if (TREE_CODE (exp
) == FUNCTION_DECL
1127 && ! DECL_ONE_ONLY (exp
))
1129 const char * name
= IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (exp
));
1130 if (name
[0] == '_' && name
[1] == 'Z'
1131 && ((name
[2] == 'n' && (name
[3] == 'a' || name
[3] == 'w')
1133 || (name
[2] == 'd' && (name
[3] == 'a' || name
[3] == 'l')
1134 && name
[4] == 'P' && name
[5] == 'v')))
1136 bool delete_p
= name
[2] == 'd';
1137 if (name
[5 + delete_p
] == 0
1138 || strcmp (name
+ 5 + delete_p
, "KSt9nothrow_t") == 0)
1139 base_funs
[reloc
][1] ();
1150 /* This can be called with address expressions as "rtx".
1151 They must go in "const". */
1154 machopic_select_rtx_section (enum machine_mode mode
, rtx x
,
1155 unsigned HOST_WIDE_INT align ATTRIBUTE_UNUSED
)
1157 if (GET_MODE_SIZE (mode
) == 8)
1158 literal8_section ();
1159 else if (GET_MODE_SIZE (mode
) == 4
1160 && (GET_CODE (x
) == CONST_INT
1161 || GET_CODE (x
) == CONST_DOUBLE
))
1162 literal4_section ();
1163 else if (MACHOPIC_INDIRECT
1164 && (GET_CODE (x
) == SYMBOL_REF
1165 || GET_CODE (x
) == CONST
1166 || GET_CODE (x
) == LABEL_REF
))
1167 const_data_section ();
1173 machopic_asm_out_constructor (rtx symbol
, int priority ATTRIBUTE_UNUSED
)
1175 if (MACHOPIC_INDIRECT
)
1176 mod_init_section ();
1178 constructor_section ();
1179 assemble_align (POINTER_SIZE
);
1180 assemble_integer (symbol
, POINTER_SIZE
/ BITS_PER_UNIT
, POINTER_SIZE
, 1);
1182 if (! MACHOPIC_INDIRECT
)
1183 fprintf (asm_out_file
, ".reference .constructors_used\n");
1187 machopic_asm_out_destructor (rtx symbol
, int priority ATTRIBUTE_UNUSED
)
1189 if (MACHOPIC_INDIRECT
)
1190 mod_term_section ();
1192 destructor_section ();
1193 assemble_align (POINTER_SIZE
);
1194 assemble_integer (symbol
, POINTER_SIZE
/ BITS_PER_UNIT
, POINTER_SIZE
, 1);
1196 if (! MACHOPIC_INDIRECT
)
1197 fprintf (asm_out_file
, ".reference .destructors_used\n");
1201 darwin_globalize_label (FILE *stream
, const char *name
)
1203 if (!!strncmp (name
, "_OBJC_", 6))
1204 default_globalize_label (stream
, name
);
1208 darwin_asm_named_section (const char *name
,
1209 unsigned int flags ATTRIBUTE_UNUSED
,
1210 tree decl ATTRIBUTE_UNUSED
)
1212 fprintf (asm_out_file
, "\t.section %s\n", name
);
1216 darwin_unique_section (tree decl ATTRIBUTE_UNUSED
, int reloc ATTRIBUTE_UNUSED
)
1218 /* Darwin does not use unique sections. */
1221 /* Handle a "weak_import" attribute; arguments as in
1222 struct attribute_spec.handler. */
1225 darwin_handle_weak_import_attribute (tree
*node
, tree name
,
1226 tree
ARG_UNUSED (args
),
1227 int ARG_UNUSED (flags
),
1228 bool * no_add_attrs
)
1230 if (TREE_CODE (*node
) != FUNCTION_DECL
)
1232 warning ("%qs attribute ignored", IDENTIFIER_POINTER (name
));
1233 *no_add_attrs
= true;
1236 declare_weak (*node
);
1242 no_dead_strip (FILE *file
, const char *lab
)
1244 fprintf (file
, ".no_dead_strip %s\n", lab
);
1247 /* Emit a label for an FDE, making it global and/or weak if appropriate.
1248 The third parameter is nonzero if this is for exception handling.
1249 The fourth parameter is nonzero if this is just a placeholder for an
1250 FDE that we are omitting. */
1253 darwin_emit_unwind_label (FILE *file
, tree decl
, int for_eh
, int empty
)
1255 tree id
= DECL_ASSEMBLER_NAME (decl
)
1256 ? DECL_ASSEMBLER_NAME (decl
)
1259 const char *prefix
= "_";
1260 const int prefix_len
= 1;
1262 const char *base
= IDENTIFIER_POINTER (id
);
1263 unsigned int base_len
= IDENTIFIER_LENGTH (id
);
1265 const char *suffix
= ".eh";
1267 int need_quotes
= name_needs_quotes (base
);
1268 int quotes_len
= need_quotes
? 2 : 0;
1274 lab
= xmalloc (prefix_len
+ base_len
+ strlen (suffix
) + quotes_len
+ 1);
1279 strcat(lab
, prefix
);
1281 strcat(lab
, suffix
);
1285 if (TREE_PUBLIC (decl
))
1286 fprintf (file
, "\t%s %s\n",
1287 (DECL_VISIBILITY (decl
) != VISIBILITY_HIDDEN
1289 : ".private_extern"),
1292 if (DECL_WEAK (decl
))
1293 fprintf (file
, "\t.weak_definition %s\n", lab
);
1297 fprintf (file
, "%s = 0\n", lab
);
1299 /* Mark the absolute .eh and .eh1 style labels as needed to
1300 ensure that we don't dead code strip them and keep such
1301 labels from another instantiation point until we can fix this
1302 properly with group comdat support. */
1303 no_dead_strip (file
, lab
);
1306 fprintf (file
, "%s:\n", lab
);
1311 /* Generate a PC-relative reference to a Mach-O non-lazy-symbol. */
1314 darwin_non_lazy_pcrel (FILE *file
, rtx addr
)
1316 const char *nlp_name
;
1318 if (GET_CODE (addr
) != SYMBOL_REF
)
1321 nlp_name
= machopic_indirection_name (addr
, /*stub_p=*/false);
1322 fputs ("\t.long\t", file
);
1323 ASM_OUTPUT_LABELREF (file
, nlp_name
);
1327 /* Emit an assembler directive to set visibility for a symbol. The
1328 only supported visibilities are VISIBILITY_DEFAULT and
1329 VISIBILITY_HIDDEN; the latter corresponds to Darwin's "private
1330 extern". There is no MACH-O equivalent of ELF's
1331 VISIBILITY_INTERNAL or VISIBILITY_PROTECTED. */
1334 darwin_assemble_visibility (tree decl
, int vis
)
1336 if (vis
== VISIBILITY_DEFAULT
)
1338 else if (vis
== VISIBILITY_HIDDEN
)
1340 fputs ("\t.private_extern ", asm_out_file
);
1341 assemble_name (asm_out_file
,
1342 (IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl
))));
1343 fputs ("\n", asm_out_file
);
1346 warning ("internal and protected visibility attributes not supported "
1347 "in this configuration; ignored");
1350 /* Output a difference of two labels that will be an assembly time
1351 constant if the two labels are local. (.long lab1-lab2 will be
1352 very different if lab1 is at the boundary between two sections; it
1353 will be relocated according to the second section, not the first,
1354 so one ends up with a difference between labels in different
1355 sections, which is bad in the dwarf2 eh context for instance.) */
1357 static int darwin_dwarf_label_counter
;
1360 darwin_asm_output_dwarf_delta (FILE *file
, int size ATTRIBUTE_UNUSED
,
1361 const char *lab1
, const char *lab2
)
1363 int islocaldiff
= (lab1
[0] == '*' && lab1
[1] == 'L'
1364 && lab2
[0] == '*' && lab2
[1] == 'L');
1367 fprintf (file
, "\t.set L$set$%d,", darwin_dwarf_label_counter
);
1369 fprintf (file
, "\t%s\t", ".long");
1370 assemble_name_raw (file
, lab1
);
1371 fprintf (file
, "-");
1372 assemble_name_raw (file
, lab2
);
1374 fprintf (file
, "\n\t.long L$set$%d", darwin_dwarf_label_counter
++);
1378 darwin_file_end (void)
1380 machopic_finish (asm_out_file
);
1381 if (strcmp (lang_hooks
.name
, "GNU C++") == 0)
1383 constructor_section ();
1384 destructor_section ();
1385 ASM_OUTPUT_ALIGN (asm_out_file
, 1);
1387 fprintf (asm_out_file
, "\t.subsections_via_symbols\n");
1390 /* True, iff we're generating fast turn around debugging code. When
1391 true, we arrange for function prologues to start with 4 nops so
1392 that gdb may insert code to redirect them, and for data to accessed
1393 indirectly. The runtime uses this indirection to forward
1394 references for data to the original instance of that data. */
1396 int darwin_fix_and_continue
;
1397 const char *darwin_fix_and_continue_switch
;
1399 #include "gt-darwin.h"