OSDN Git Service

* rtl.h (MEM_READONLY_P): Replace RTX_UNCHANGING_P.
[pf3gnuchains/gcc-fork.git] / gcc / config / darwin.c
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.
5
6 This file is part of GCC.
7
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)
11 any later version.
12
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.
17
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.  */
22
23 #include "config.h"
24 #include "system.h"
25 #include "coretypes.h"
26 #include "tm.h"
27 #include "rtl.h"
28 #include "regs.h"
29 #include "hard-reg-set.h"
30 #include "real.h"
31 #include "insn-config.h"
32 #include "conditions.h"
33 #include "insn-flags.h"
34 #include "output.h"
35 #include "insn-attr.h"
36 #include "flags.h"
37 #include "tree.h"
38 #include "expr.h"
39 #include "reload.h"
40 #include "function.h"
41 #include "ggc.h"
42 #include "langhooks.h"
43 #include "tm_p.h"
44 #include "errors.h"
45 #include "hashtab.h"
46
47 /* Nonzero if the user passes the -mone-byte-bool switch, which forces
48    sizeof(bool) to be 1. */
49 const char *darwin_one_byte_bool = 0;
50
51 int
52 name_needs_quotes (const char *name)
53 {
54   int c;
55   while ((c = *name++) != '\0')
56     if (! ISIDNUM (c) && c != '.' && c != '$')
57       return 1;
58   return 0;
59 }
60
61 /*
62  * flag_pic = 1 ... generate only indirections
63  * flag_pic = 2 ... generate indirections and pure code
64  */
65
66 static int
67 machopic_symbol_defined_p (rtx sym_ref)
68 {
69   return ((SYMBOL_REF_FLAGS (sym_ref) & MACHO_SYMBOL_FLAG_DEFINED)
70           /* Local symbols must always be defined.  */
71           || SYMBOL_REF_LOCAL_P (sym_ref));
72 }
73
74 /* This module assumes that (const (symbol_ref "foo")) is a legal pic
75    reference, which will not be changed.  */
76
77 enum machopic_addr_class
78 machopic_classify_symbol (rtx sym_ref)
79 {
80   int flags;
81   bool function_p;
82
83   flags = SYMBOL_REF_FLAGS (sym_ref);
84   function_p = SYMBOL_REF_FUNCTION_P (sym_ref);
85   if (machopic_symbol_defined_p (sym_ref))
86     return (function_p 
87             ? MACHOPIC_DEFINED_FUNCTION : MACHOPIC_DEFINED_DATA);
88   else
89     return (function_p 
90             ? MACHOPIC_UNDEFINED_FUNCTION : MACHOPIC_UNDEFINED_DATA);
91 }
92
93 static int
94 machopic_data_defined_p (rtx sym_ref)
95 {
96   switch (machopic_classify_symbol (sym_ref))
97     {
98     case MACHOPIC_DEFINED_DATA:
99       return 1;
100     default:
101       return 0;
102     }
103 }
104
105 void
106 machopic_define_symbol (rtx mem)
107 {
108   rtx sym_ref;
109   if (GET_CODE (mem) != MEM)
110     abort ();
111   sym_ref = XEXP (mem, 0);
112   SYMBOL_REF_FLAGS (sym_ref) |= MACHO_SYMBOL_FLAG_DEFINED;
113 }
114
115 static GTY(()) char * function_base;
116
117 const char *
118 machopic_function_base_name (void)
119 {
120   /* if dynamic-no-pic is on, we should not get here */
121   if (MACHO_DYNAMIC_NO_PIC_P)
122     abort ();
123
124   if (function_base == NULL)
125     function_base =
126       (char *) ggc_alloc_string ("<pic base>", sizeof ("<pic base>"));
127
128   current_function_uses_pic_offset_table = 1;
129
130   return function_base;
131 }
132
133 /* Return a SYMBOL_REF for the PIC function base.  */
134
135 rtx
136 machopic_function_base_sym (void)
137 {
138   rtx sym_ref;
139
140   sym_ref = gen_rtx_SYMBOL_REF (Pmode, machopic_function_base_name ());
141   SYMBOL_REF_FLAGS (sym_ref) 
142     |= (MACHO_SYMBOL_FLAG_VARIABLE | MACHO_SYMBOL_FLAG_DEFINED);
143   return sym_ref;
144 }
145
146 static GTY(()) const char * function_base_func_name;
147 static GTY(()) int current_pic_label_num;
148
149 void
150 machopic_output_function_base_name (FILE *file)
151 {
152   const char *current_name;
153
154   /* If dynamic-no-pic is on, we should not get here.  */
155   if (MACHO_DYNAMIC_NO_PIC_P)
156     abort ();
157   current_name =
158     IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (current_function_decl));
159   if (function_base_func_name != current_name)
160     {
161       ++current_pic_label_num;
162       function_base_func_name = current_name;
163     }
164   fprintf (file, "\"L%011d$pb\"", current_pic_label_num);
165 }
166
167 /* The suffix attached to non-lazy pointer symbols.  */
168 #define NON_LAZY_POINTER_SUFFIX "$non_lazy_ptr"
169 /* The suffix attached to stub symbols.  */
170 #define STUB_SUFFIX "$stub"
171
172 typedef struct machopic_indirection GTY (())
173 {
174   /* The SYMBOL_REF for the entity referenced.  */
175   rtx symbol;
176   /* The IDENTIFIER_NODE giving the name of the stub or non-lazy
177      pointer.  */
178   tree ptr_name;
179   /* True iff this entry is for a stub (as opposed to a non-lazy
180      pointer).  */
181   bool stub_p;
182   /* True iff this stub or pointer pointer has been referenced.  */
183   bool used;
184 } machopic_indirection;
185
186 /* A table mapping stub names and non-lazy pointer names to
187    SYMBOL_REFs for the stubbed-to and pointed-to entities.  */
188
189 static GTY ((param_is (struct machopic_indirection))) htab_t 
190   machopic_indirections;
191
192 /* Return a hash value for a SLOT in the indirections hash table.  */
193
194 static hashval_t
195 machopic_indirection_hash (const void *slot)
196 {
197   const machopic_indirection *p = (const machopic_indirection *) slot;
198   return IDENTIFIER_HASH_VALUE (p->ptr_name);
199 }
200
201 /* Returns true if the KEY is the same as that associated with
202    SLOT.  */
203
204 static int
205 machopic_indirection_eq (const void *slot, const void *key)
206 {
207   return ((const machopic_indirection *) slot)->ptr_name == (tree) key;
208 }
209
210 /* Return the name of the non-lazy pointer (if STUB_P is false) or
211    stub (if STUB_B is true) corresponding to the given name.  */
212
213 const char *
214 machopic_indirection_name (rtx sym_ref, bool stub_p)
215 {
216   char *buffer;
217   const char *name = XSTR (sym_ref, 0);
218   int namelen = strlen (name);
219   tree ptr_name;
220   machopic_indirection *p;
221   
222   /* Construct the name of the non-lazy pointer or stub.  */
223   if (stub_p)
224     {
225       int needs_quotes = name_needs_quotes (name);
226       buffer = alloca (strlen ("&L")
227                        + namelen
228                        + strlen (STUB_SUFFIX)
229                        + 2 /* possible quotes */
230                        + 1 /* '\0' */);
231
232       if (needs_quotes)
233         {
234           if (name[0] == '*')
235             sprintf (buffer, "&\"L%s" STUB_SUFFIX "\"", name + 1);
236           else
237             sprintf (buffer, "&\"L%s%s" STUB_SUFFIX "\"", user_label_prefix, 
238                      name);
239         }
240       else if (name[0] == '*')
241         sprintf (buffer, "&L%s" STUB_SUFFIX, name + 1);
242       else
243         sprintf (buffer, "&L%s%s" STUB_SUFFIX, user_label_prefix, name);
244     }
245   else
246     {
247       buffer = alloca (strlen ("&L")
248                        + strlen (user_label_prefix)
249                        + namelen
250                        + strlen (NON_LAZY_POINTER_SUFFIX)
251                        + 1 /* '\0' */);
252       if (name[0] == '*')
253         sprintf (buffer, "&L%s" NON_LAZY_POINTER_SUFFIX, name + 1);
254       else
255         sprintf (buffer, "&L%s%s" NON_LAZY_POINTER_SUFFIX, 
256                  user_label_prefix, name);
257     }
258
259   /* See if we already have it.  */
260   ptr_name = maybe_get_identifier (buffer);
261   /* If not, create a mapping from the non-lazy pointer to the
262      SYMBOL_REF.  */
263   if (!ptr_name)
264     {
265       void **slot;
266       ptr_name = get_identifier (buffer);
267       p = (machopic_indirection *) ggc_alloc (sizeof (machopic_indirection));
268       p->symbol = sym_ref;
269       p->ptr_name = ptr_name;
270       p->stub_p = stub_p;
271       p->used = 0;
272       if (!machopic_indirections)
273         machopic_indirections 
274           = htab_create_ggc (37, 
275                              machopic_indirection_hash,
276                              machopic_indirection_eq,
277                              /*htab_del=*/NULL);
278       slot = htab_find_slot_with_hash (machopic_indirections, ptr_name,
279                                        IDENTIFIER_HASH_VALUE (ptr_name),
280                                        INSERT);
281       *((machopic_indirection **) slot) = p;
282     }
283   
284   return IDENTIFIER_POINTER (ptr_name);
285 }
286
287 /* Return the name of the stub for the mcount function.  */
288
289 const char*
290 machopic_mcount_stub_name (void)
291 {
292   return "&L*mcount$stub";
293 }
294
295 /* If NAME is the name of a stub or a non-lazy pointer , mark the stub
296    or non-lazy pointer as used -- and mark the object to which the
297    pointer/stub refers as used as well, since the pointer/stub will
298    emit a reference to it.  */
299
300 void
301 machopic_validate_stub_or_non_lazy_ptr (const char *name)
302 {
303   tree ident = get_identifier (name);
304
305   machopic_indirection *p;
306   
307   p = ((machopic_indirection *) 
308        (htab_find_with_hash (machopic_indirections, ident,
309                              IDENTIFIER_HASH_VALUE (ident))));
310   if (p)
311     {
312       p->used = 1;
313       mark_referenced (ident);
314       mark_referenced (get_identifier (XSTR (p->symbol, 0)));
315     }
316 }
317
318 /* Transform ORIG, which may be any data source, to the corresponding
319    source using indirections.  */
320
321 rtx
322 machopic_indirect_data_reference (rtx orig, rtx reg)
323 {
324   rtx ptr_ref = orig;
325
326   if (! MACHOPIC_INDIRECT)
327     return orig;
328
329   if (GET_CODE (orig) == SYMBOL_REF)
330     {
331       int defined = machopic_data_defined_p (orig);
332
333       if (defined && MACHO_DYNAMIC_NO_PIC_P)
334         {
335 #if defined (TARGET_TOC)
336           emit_insn (gen_macho_high (reg, orig));
337           emit_insn (gen_macho_low (reg, reg, orig));
338 #else
339            /* some other cpu -- writeme!  */
340            abort ();
341 #endif
342            return reg;
343         }
344       else if (defined)
345         {
346 #if defined (TARGET_TOC) || defined (HAVE_lo_sum)
347           rtx pic_base = machopic_function_base_sym ();
348           rtx offset = gen_rtx_CONST (Pmode,
349                                       gen_rtx_MINUS (Pmode, orig, pic_base));
350 #endif
351
352 #if defined (TARGET_TOC) /* i.e., PowerPC */
353           rtx hi_sum_reg = (no_new_pseudos ? reg : gen_reg_rtx (Pmode));
354
355           if (reg == NULL)
356             abort ();
357
358           emit_insn (gen_rtx_SET (Pmode, hi_sum_reg,
359                               gen_rtx_PLUS (Pmode, pic_offset_table_rtx,
360                                        gen_rtx_HIGH (Pmode, offset))));
361           emit_insn (gen_rtx_SET (Pmode, reg,
362                                   gen_rtx_LO_SUM (Pmode, hi_sum_reg, offset)));
363
364           orig = reg;
365 #else
366 #if defined (HAVE_lo_sum)
367           if (reg == 0) abort ();
368
369           emit_insn (gen_rtx_SET (VOIDmode, reg,
370                                   gen_rtx_HIGH (Pmode, offset)));
371           emit_insn (gen_rtx_SET (VOIDmode, reg,
372                                   gen_rtx_LO_SUM (Pmode, reg, offset)));
373           emit_insn (gen_rtx_USE (VOIDmode, pic_offset_table_rtx));
374
375           orig = gen_rtx_PLUS (Pmode, pic_offset_table_rtx, reg);
376 #endif
377 #endif
378           return orig;
379         }
380
381       ptr_ref = (gen_rtx_SYMBOL_REF 
382                  (Pmode, 
383                   machopic_indirection_name (orig, /*stub_p=*/false)));
384
385      SYMBOL_REF_DECL (ptr_ref) = SYMBOL_REF_DECL (orig);
386
387       ptr_ref = gen_rtx_MEM (Pmode, ptr_ref);
388       MEM_READONLY_P (ptr_ref) = 1;
389
390       return ptr_ref;
391     }
392   else if (GET_CODE (orig) == CONST)
393     {
394       rtx base, result;
395
396       /* legitimize both operands of the PLUS */
397       if (GET_CODE (XEXP (orig, 0)) == PLUS)
398         {
399           base = machopic_indirect_data_reference (XEXP (XEXP (orig, 0), 0),
400                                                    reg);
401           orig = machopic_indirect_data_reference (XEXP (XEXP (orig, 0), 1),
402                                                    (base == reg ? 0 : reg));
403         }
404       else
405         return orig;
406
407       if (MACHOPIC_PURE && GET_CODE (orig) == CONST_INT)
408         result = plus_constant (base, INTVAL (orig));
409       else
410         result = gen_rtx_PLUS (Pmode, base, orig);
411
412       if (MACHOPIC_JUST_INDIRECT && GET_CODE (base) == MEM)
413         {
414           if (reg)
415             {
416               emit_move_insn (reg, result);
417               result = reg;
418             }
419           else
420             {
421               result = force_reg (GET_MODE (result), result);
422             }
423         }
424
425       return result;
426
427     }
428   else if (GET_CODE (orig) == MEM)
429     XEXP (ptr_ref, 0) = machopic_indirect_data_reference (XEXP (orig, 0), reg);
430   /* When the target is i386, this code prevents crashes due to the
431      compiler's ignorance on how to move the PIC base register to
432      other registers.  (The reload phase sometimes introduces such
433      insns.)  */
434   else if (GET_CODE (orig) == PLUS
435            && GET_CODE (XEXP (orig, 0)) == REG
436            && REGNO (XEXP (orig, 0)) == PIC_OFFSET_TABLE_REGNUM
437 #ifdef I386
438            /* Prevent the same register from being erroneously used
439               as both the base and index registers.  */
440            && GET_CODE (XEXP (orig, 1)) == CONST
441 #endif
442            && reg)
443     {
444       emit_move_insn (reg, XEXP (orig, 0));
445       XEXP (ptr_ref, 0) = reg;
446     }
447   return ptr_ref;
448 }
449
450 /* Transform TARGET (a MEM), which is a function call target, to the
451    corresponding symbol_stub if necessary.  Return a new MEM.  */
452
453 rtx
454 machopic_indirect_call_target (rtx target)
455 {
456   if (GET_CODE (target) != MEM)
457     return target;
458
459   if (MACHOPIC_INDIRECT 
460       && GET_CODE (XEXP (target, 0)) == SYMBOL_REF
461       && !(SYMBOL_REF_FLAGS (XEXP (target, 0))
462            & MACHO_SYMBOL_FLAG_DEFINED))
463     {
464       rtx sym_ref = XEXP (target, 0);
465       const char *stub_name = machopic_indirection_name (sym_ref, 
466                                                          /*stub_p=*/true);
467       enum machine_mode mode = GET_MODE (sym_ref);
468       tree decl = SYMBOL_REF_DECL (sym_ref);
469       
470       XEXP (target, 0) = gen_rtx_SYMBOL_REF (mode, stub_name);
471       SYMBOL_REF_DECL (XEXP (target, 0)) = decl;
472       MEM_READONLY_P (target) = 1;
473     }
474
475   return target;
476 }
477
478 rtx
479 machopic_legitimize_pic_address (rtx orig, enum machine_mode mode, rtx reg)
480 {
481   rtx pic_ref = orig;
482
483   if (! MACHOPIC_INDIRECT)
484     return orig;
485
486   /* First handle a simple SYMBOL_REF or LABEL_REF */
487   if (GET_CODE (orig) == LABEL_REF
488       || (GET_CODE (orig) == SYMBOL_REF
489           ))
490     {
491       /* addr(foo) = &func+(foo-func) */
492       rtx pic_base;
493
494       orig = machopic_indirect_data_reference (orig, reg);
495
496       if (GET_CODE (orig) == PLUS
497           && GET_CODE (XEXP (orig, 0)) == REG)
498         {
499           if (reg == 0)
500             return force_reg (mode, orig);
501
502           emit_move_insn (reg, orig);
503           return reg;
504         }
505
506       /* if dynamic-no-pic then use 0 as the pic base  */
507       if (MACHO_DYNAMIC_NO_PIC_P)
508         pic_base = CONST0_RTX (Pmode);
509       else
510         pic_base = machopic_function_base_sym ();
511
512       if (GET_CODE (orig) == MEM)
513         {
514           if (reg == 0)
515             {
516               if (reload_in_progress)
517                 abort ();
518               else
519                 reg = gen_reg_rtx (Pmode);
520             }
521
522 #ifdef HAVE_lo_sum
523           if (MACHO_DYNAMIC_NO_PIC_P
524               && (GET_CODE (XEXP (orig, 0)) == SYMBOL_REF
525                   || GET_CODE (XEXP (orig, 0)) == LABEL_REF))
526             {
527 #if defined (TARGET_TOC)        /* ppc  */
528               rtx temp_reg = (no_new_pseudos) ? reg : gen_reg_rtx (Pmode);
529               rtx asym = XEXP (orig, 0);
530               rtx mem;
531
532               emit_insn (gen_macho_high (temp_reg, asym));
533               mem = gen_rtx_MEM (GET_MODE (orig),
534                                  gen_rtx_LO_SUM (Pmode, temp_reg, asym));
535               MEM_READONLY_P (mem) = 1;
536               emit_insn (gen_rtx_SET (VOIDmode, reg, mem));
537 #else
538               /* Some other CPU -- WriteMe! but right now there are no other platform that can use dynamic-no-pic  */
539               abort ();
540 #endif
541               pic_ref = reg;
542             }
543           else
544           if (GET_CODE (XEXP (orig, 0)) == SYMBOL_REF
545               || GET_CODE (XEXP (orig, 0)) == LABEL_REF)
546             {
547               rtx offset = gen_rtx_CONST (Pmode,
548                                           gen_rtx_MINUS (Pmode,
549                                                          XEXP (orig, 0),
550                                                          pic_base));
551 #if defined (TARGET_TOC) /* i.e., PowerPC */
552               /* Generating a new reg may expose opportunities for
553                  common subexpression elimination.  */
554               rtx hi_sum_reg = no_new_pseudos ? reg : gen_reg_rtx (Pmode);
555               rtx mem;
556               rtx insn;
557               rtx sum;
558               
559               sum = gen_rtx_HIGH (Pmode, offset);
560               if (! MACHO_DYNAMIC_NO_PIC_P)
561                 sum = gen_rtx_PLUS (Pmode, pic_offset_table_rtx, sum);
562
563               emit_insn (gen_rtx_SET (Pmode, hi_sum_reg, sum));
564
565               mem = gen_rtx_MEM (GET_MODE (orig),
566                                  gen_rtx_LO_SUM (Pmode, 
567                                                  hi_sum_reg, offset));
568               MEM_READONLY_P (mem) = 1;
569               insn = emit_insn (gen_rtx_SET (VOIDmode, reg, mem));
570               REG_NOTES (insn) = gen_rtx_EXPR_LIST (REG_EQUAL, pic_ref, 
571                                                     REG_NOTES (insn));
572
573               pic_ref = reg;
574 #else
575               emit_insn (gen_rtx_USE (VOIDmode,
576                                       gen_rtx_REG (Pmode, 
577                                                    PIC_OFFSET_TABLE_REGNUM)));
578
579               emit_insn (gen_rtx_SET (VOIDmode, reg,
580                                       gen_rtx_HIGH (Pmode,
581                                                     gen_rtx_CONST (Pmode, 
582                                                                    offset))));
583               emit_insn (gen_rtx_SET (VOIDmode, reg,
584                                   gen_rtx_LO_SUM (Pmode, reg,
585                                            gen_rtx_CONST (Pmode, offset))));
586               pic_ref = gen_rtx_PLUS (Pmode,
587                                       pic_offset_table_rtx, reg);
588 #endif
589             }
590           else
591 #endif  /* HAVE_lo_sum */
592             {
593               rtx pic = pic_offset_table_rtx;
594               if (GET_CODE (pic) != REG)
595                 {
596                   emit_move_insn (reg, pic);
597                   pic = reg;
598                 }
599 #if 0
600               emit_insn (gen_rtx_USE (VOIDmode,
601                                       gen_rtx_REG (Pmode, 
602                                                    PIC_OFFSET_TABLE_REGNUM)));
603 #endif
604
605               pic_ref = gen_rtx_PLUS (Pmode,
606                                       pic,
607                                       gen_rtx_CONST (Pmode,
608                                           gen_rtx_MINUS (Pmode,
609                                                          XEXP (orig, 0),
610                                                          pic_base)));
611             }
612
613 #if !defined (TARGET_TOC)
614           emit_move_insn (reg, pic_ref);
615           pic_ref = gen_rtx_MEM (GET_MODE (orig), reg);
616 #endif
617           MEM_READONLY_P (pic_ref) = 1;
618         }
619       else
620         {
621
622 #ifdef HAVE_lo_sum
623           if (GET_CODE (orig) == SYMBOL_REF
624               || GET_CODE (orig) == LABEL_REF)
625             {
626               rtx offset = gen_rtx_CONST (Pmode,
627                                           gen_rtx_MINUS (Pmode, 
628                                                          orig, pic_base));
629 #if defined (TARGET_TOC) /* i.e., PowerPC */
630               rtx hi_sum_reg;
631
632               if (reg == 0)
633                 {
634                   if (reload_in_progress)
635                     abort ();
636                   else
637                     reg = gen_reg_rtx (Pmode);
638                 }
639
640               hi_sum_reg = reg;
641
642               emit_insn (gen_rtx_SET (Pmode, hi_sum_reg,
643                                       (MACHO_DYNAMIC_NO_PIC_P)
644                                       ? gen_rtx_HIGH (Pmode, offset)
645                                       : gen_rtx_PLUS (Pmode,
646                                                       pic_offset_table_rtx,
647                                                       gen_rtx_HIGH (Pmode, 
648                                                                     offset))));
649               emit_insn (gen_rtx_SET (VOIDmode, reg,
650                                       gen_rtx_LO_SUM (Pmode,
651                                                       hi_sum_reg, offset)));
652               pic_ref = reg;
653 #else
654               emit_insn (gen_rtx_SET (VOIDmode, reg,
655                                       gen_rtx_HIGH (Pmode, offset)));
656               emit_insn (gen_rtx_SET (VOIDmode, reg,
657                                       gen_rtx_LO_SUM (Pmode, reg, offset)));
658               pic_ref = gen_rtx_PLUS (Pmode,
659                                       pic_offset_table_rtx, reg);
660 #endif
661             }
662           else
663 #endif  /*  HAVE_lo_sum  */
664             {
665               if (GET_CODE (orig) == REG)
666                 {
667                   return orig;
668                 }
669               else
670                 {
671                   rtx pic = pic_offset_table_rtx;
672                   if (GET_CODE (pic) != REG)
673                     {
674                       emit_move_insn (reg, pic);
675                       pic = reg;
676                     }
677 #if 0
678                   emit_insn (gen_rtx_USE (VOIDmode,
679                                           pic_offset_table_rtx));
680 #endif
681                   pic_ref = gen_rtx_PLUS (Pmode,
682                                           pic,
683                                           gen_rtx_CONST (Pmode,
684                                               gen_rtx_MINUS (Pmode,
685                                                              orig, pic_base)));
686                 }
687             }
688         }
689
690       if (GET_CODE (pic_ref) != REG)
691         {
692           if (reg != 0)
693             {
694               emit_move_insn (reg, pic_ref);
695               return reg;
696             }
697           else
698             {
699               return force_reg (mode, pic_ref);
700             }
701         }
702       else
703         {
704           return pic_ref;
705         }
706     }
707
708   else if (GET_CODE (orig) == SYMBOL_REF)
709     return orig;
710
711   else if (GET_CODE (orig) == PLUS
712            && (GET_CODE (XEXP (orig, 0)) == MEM
713                || GET_CODE (XEXP (orig, 0)) == SYMBOL_REF
714                || GET_CODE (XEXP (orig, 0)) == LABEL_REF)
715            && XEXP (orig, 0) != pic_offset_table_rtx
716            && GET_CODE (XEXP (orig, 1)) != REG)
717
718     {
719       rtx base;
720       int is_complex = (GET_CODE (XEXP (orig, 0)) == MEM);
721
722       base = machopic_legitimize_pic_address (XEXP (orig, 0), Pmode, reg);
723       orig = machopic_legitimize_pic_address (XEXP (orig, 1),
724                                               Pmode, (base == reg ? 0 : reg));
725       if (GET_CODE (orig) == CONST_INT)
726         {
727           pic_ref = plus_constant (base, INTVAL (orig));
728           is_complex = 1;
729         }
730       else
731         pic_ref = gen_rtx_PLUS (Pmode, base, orig);
732
733       if (reg && is_complex)
734         {
735           emit_move_insn (reg, pic_ref);
736           pic_ref = reg;
737         }
738       /* Likewise, should we set special REG_NOTEs here?  */
739     }
740
741   else if (GET_CODE (orig) == CONST)
742     {
743       return machopic_legitimize_pic_address (XEXP (orig, 0), Pmode, reg);
744     }
745
746   else if (GET_CODE (orig) == MEM
747            && GET_CODE (XEXP (orig, 0)) == SYMBOL_REF)
748     {
749       rtx addr = machopic_legitimize_pic_address (XEXP (orig, 0), Pmode, reg);
750       addr = replace_equiv_address (orig, addr);
751       emit_move_insn (reg, addr);
752       pic_ref = reg;
753     }
754
755   return pic_ref;
756 }
757
758 /* Output the stub or non-lazy pointer in *SLOT, if it has been used.
759    DATA is the FILE* for assembly output.  Called from
760    htab_traverse.  */
761
762 static int
763 machopic_output_indirection (void **slot, void *data)
764 {
765   machopic_indirection *p = *((machopic_indirection **) slot);
766   FILE *asm_out_file = (FILE *) data;
767   rtx symbol;
768   const char *sym_name;
769   const char *ptr_name;
770   
771   if (!p->used)
772     return 1;
773
774   symbol = p->symbol;
775   sym_name = XSTR (symbol, 0);
776   ptr_name = IDENTIFIER_POINTER (p->ptr_name);
777   
778   if (p->stub_p)
779     {
780       char *sym;
781       char *stub;
782
783       sym = alloca (strlen (sym_name) + 2);
784       if (sym_name[0] == '*' || sym_name[0] == '&')
785         strcpy (sym, sym_name + 1);
786       else if (sym_name[0] == '-' || sym_name[0] == '+')
787         strcpy (sym, sym_name);
788       else
789         sprintf (sym, "%s%s", user_label_prefix, sym_name);
790
791       stub = alloca (strlen (ptr_name) + 2);
792       if (ptr_name[0] == '*' || ptr_name[0] == '&')
793         strcpy (stub, ptr_name + 1);
794       else
795         sprintf (stub, "%s%s", user_label_prefix, ptr_name);
796
797       machopic_output_stub (asm_out_file, sym, stub);    
798     }
799   else if (machopic_symbol_defined_p (symbol))
800     {
801       data_section ();
802       assemble_align (GET_MODE_ALIGNMENT (Pmode));
803       assemble_label (ptr_name);
804       assemble_integer (gen_rtx_SYMBOL_REF (Pmode, sym_name),
805                         GET_MODE_SIZE (Pmode),
806                         GET_MODE_ALIGNMENT (Pmode), 1);
807     }
808   else
809     {
810       machopic_nl_symbol_ptr_section ();
811       assemble_name (asm_out_file, ptr_name);
812       fprintf (asm_out_file, ":\n");
813       
814       fprintf (asm_out_file, "\t.indirect_symbol ");
815       assemble_name (asm_out_file, sym_name);
816       fprintf (asm_out_file, "\n");
817       
818       assemble_integer (const0_rtx, GET_MODE_SIZE (Pmode),
819                         GET_MODE_ALIGNMENT (Pmode), 1);
820     }
821   
822   return 1;
823 }
824
825 void
826 machopic_finish (FILE *asm_out_file)
827 {
828   if (machopic_indirections)
829     htab_traverse_noresize (machopic_indirections, 
830                             machopic_output_indirection,
831                             asm_out_file);
832 }
833
834 int
835 machopic_operand_p (rtx op)
836 {
837   if (MACHOPIC_JUST_INDIRECT)
838     {
839       while (GET_CODE (op) == CONST)
840         op = XEXP (op, 0);
841
842       if (GET_CODE (op) == SYMBOL_REF)
843         return machopic_symbol_defined_p (op);
844       else
845         return 0;
846     }
847
848   while (GET_CODE (op) == CONST)
849     op = XEXP (op, 0);
850
851   if (GET_CODE (op) == MINUS
852       && GET_CODE (XEXP (op, 0)) == SYMBOL_REF
853       && GET_CODE (XEXP (op, 1)) == SYMBOL_REF
854       && machopic_symbol_defined_p (XEXP (op, 0))
855       && machopic_symbol_defined_p (XEXP (op, 1)))
856       return 1;
857
858   return 0;
859 }
860
861 /* This function records whether a given name corresponds to a defined
862    or undefined function or variable, for machopic_classify_ident to
863    use later.  */
864
865 void
866 darwin_encode_section_info (tree decl, rtx rtl, int first ATTRIBUTE_UNUSED)
867 {
868   rtx sym_ref;
869
870   /* Do the standard encoding things first.  */
871   default_encode_section_info (decl, rtl, first);
872
873   if (TREE_CODE (decl) != FUNCTION_DECL && TREE_CODE (decl) != VAR_DECL)
874     return;
875
876   sym_ref = XEXP (rtl, 0);
877   if (TREE_CODE (decl) == VAR_DECL)
878     SYMBOL_REF_FLAGS (sym_ref) |= MACHO_SYMBOL_FLAG_VARIABLE;
879
880   if (!DECL_EXTERNAL (decl)
881       && (!TREE_PUBLIC (decl) || (!DECL_ONE_ONLY (decl) && !DECL_WEAK (decl)))
882       && ((TREE_STATIC (decl)
883            && (!DECL_COMMON (decl) || !TREE_PUBLIC (decl)))
884           || (!DECL_COMMON (decl) && DECL_INITIAL (decl)
885               && DECL_INITIAL (decl) != error_mark_node)))
886     SYMBOL_REF_FLAGS (sym_ref) |= MACHO_SYMBOL_FLAG_DEFINED;
887 }
888
889 void
890 darwin_make_decl_one_only (tree decl)
891 {
892   static const char *text_section = "__TEXT,__textcoal_nt,coalesced,no_toc";
893   static const char *data_section = "__DATA,__datacoal_nt,coalesced,no_toc";
894
895   const char *sec = TREE_CODE (decl) == FUNCTION_DECL
896     ? text_section
897     : data_section;
898   TREE_PUBLIC (decl) = 1;
899   DECL_ONE_ONLY (decl) = 1;
900   DECL_SECTION_NAME (decl) = build_string (strlen (sec), sec);
901 }
902
903 void
904 darwin_mark_decl_preserved (const char *name)
905 {
906   fprintf (asm_out_file, ".no_dead_strip ");
907   assemble_name (asm_out_file, name);
908   fputc ('\n', asm_out_file);
909 }
910
911 void
912 machopic_select_section (tree exp, int reloc,
913                          unsigned HOST_WIDE_INT align ATTRIBUTE_UNUSED)
914 {
915   void (*base_function)(void);
916
917   if (decl_readonly_section_1 (exp, reloc, MACHOPIC_INDIRECT))
918     base_function = readonly_data_section;
919   else if (TREE_READONLY (exp) || TREE_CONSTANT (exp))
920     base_function = const_data_section;
921   else
922     base_function = data_section;
923
924   if (TREE_CODE (exp) == STRING_CST
925       && ((size_t) TREE_STRING_LENGTH (exp)
926           == strlen (TREE_STRING_POINTER (exp)) + 1))
927     cstring_section ();
928   else if ((TREE_CODE (exp) == INTEGER_CST || TREE_CODE (exp) == REAL_CST)
929            && flag_merge_constants)
930     {
931       tree size = TYPE_SIZE (TREE_TYPE (exp));
932
933       if (TREE_CODE (size) == INTEGER_CST &&
934           TREE_INT_CST_LOW (size) == 4 &&
935           TREE_INT_CST_HIGH (size) == 0)
936         literal4_section ();
937       else if (TREE_CODE (size) == INTEGER_CST &&
938                TREE_INT_CST_LOW (size) == 8 &&
939                TREE_INT_CST_HIGH (size) == 0)
940         literal8_section ();
941       else
942         base_function ();
943     }
944   else if (TREE_CODE (exp) == CONSTRUCTOR
945            && TREE_TYPE (exp)
946            && TREE_CODE (TREE_TYPE (exp)) == RECORD_TYPE
947            && TYPE_NAME (TREE_TYPE (exp)))
948     {
949       tree name = TYPE_NAME (TREE_TYPE (exp));
950       if (TREE_CODE (name) == TYPE_DECL)
951         name = DECL_NAME (name);
952       if (!strcmp (IDENTIFIER_POINTER (name), "NSConstantString"))
953         objc_constant_string_object_section ();
954       else if (!strcmp (IDENTIFIER_POINTER (name), "NXConstantString"))
955         objc_string_object_section ();
956       else
957         base_function ();
958     }
959   else if (TREE_CODE (exp) == VAR_DECL &&
960            DECL_NAME (exp) &&
961            TREE_CODE (DECL_NAME (exp)) == IDENTIFIER_NODE &&
962            IDENTIFIER_POINTER (DECL_NAME (exp)) &&
963            !strncmp (IDENTIFIER_POINTER (DECL_NAME (exp)), "_OBJC_", 6))
964     {
965       const char *name = IDENTIFIER_POINTER (DECL_NAME (exp));
966
967       if (!strncmp (name, "_OBJC_CLASS_METHODS_", 20))
968         objc_cls_meth_section ();
969       else if (!strncmp (name, "_OBJC_INSTANCE_METHODS_", 23))
970         objc_inst_meth_section ();
971       else if (!strncmp (name, "_OBJC_CATEGORY_CLASS_METHODS_", 20))
972         objc_cat_cls_meth_section ();
973       else if (!strncmp (name, "_OBJC_CATEGORY_INSTANCE_METHODS_", 23))
974         objc_cat_inst_meth_section ();
975       else if (!strncmp (name, "_OBJC_CLASS_VARIABLES_", 22))
976         objc_class_vars_section ();
977       else if (!strncmp (name, "_OBJC_INSTANCE_VARIABLES_", 25))
978         objc_instance_vars_section ();
979       else if (!strncmp (name, "_OBJC_CLASS_PROTOCOLS_", 22))
980         objc_cat_cls_meth_section ();
981       else if (!strncmp (name, "_OBJC_CLASS_NAME_", 17))
982         objc_class_names_section ();
983       else if (!strncmp (name, "_OBJC_METH_VAR_NAME_", 20))
984         objc_meth_var_names_section ();
985       else if (!strncmp (name, "_OBJC_METH_VAR_TYPE_", 20))
986         objc_meth_var_types_section ();
987       else if (!strncmp (name, "_OBJC_CLASS_REFERENCES", 22))
988         objc_cls_refs_section ();
989       else if (!strncmp (name, "_OBJC_CLASS_", 12))
990         objc_class_section ();
991       else if (!strncmp (name, "_OBJC_METACLASS_", 16))
992         objc_meta_class_section ();
993       else if (!strncmp (name, "_OBJC_CATEGORY_", 15))
994         objc_category_section ();
995       else if (!strncmp (name, "_OBJC_SELECTOR_REFERENCES", 25))
996         objc_selector_refs_section ();
997       else if (!strncmp (name, "_OBJC_SELECTOR_FIXUP", 20))
998         objc_selector_fixup_section ();
999       else if (!strncmp (name, "_OBJC_SYMBOLS", 13))
1000         objc_symbols_section ();
1001       else if (!strncmp (name, "_OBJC_MODULES", 13))
1002         objc_module_info_section ();
1003       else if (!strncmp (name, "_OBJC_IMAGE_INFO", 16))
1004         objc_image_info_section ();
1005       else if (!strncmp (name, "_OBJC_PROTOCOL_INSTANCE_METHODS_", 32))
1006         objc_cat_inst_meth_section ();
1007       else if (!strncmp (name, "_OBJC_PROTOCOL_CLASS_METHODS_", 29))
1008         objc_cat_cls_meth_section ();
1009       else if (!strncmp (name, "_OBJC_PROTOCOL_REFS_", 20))
1010         objc_cat_cls_meth_section ();
1011       else if (!strncmp (name, "_OBJC_PROTOCOL_", 15))
1012         objc_protocol_section ();
1013       else
1014         base_function ();
1015     }
1016   else
1017     base_function ();
1018 }
1019
1020 /* This can be called with address expressions as "rtx".
1021    They must go in "const".  */
1022
1023 void
1024 machopic_select_rtx_section (enum machine_mode mode, rtx x,
1025                              unsigned HOST_WIDE_INT align ATTRIBUTE_UNUSED)
1026 {
1027   if (GET_MODE_SIZE (mode) == 8)
1028     literal8_section ();
1029   else if (GET_MODE_SIZE (mode) == 4
1030            && (GET_CODE (x) == CONST_INT
1031                || GET_CODE (x) == CONST_DOUBLE))
1032     literal4_section ();
1033   else if (MACHOPIC_INDIRECT
1034            && (GET_CODE (x) == SYMBOL_REF
1035                || GET_CODE (x) == CONST
1036                || GET_CODE (x) == LABEL_REF))
1037     const_data_section ();
1038   else
1039     const_section ();
1040 }
1041
1042 void
1043 machopic_asm_out_constructor (rtx symbol, int priority ATTRIBUTE_UNUSED)
1044 {
1045   if (MACHOPIC_INDIRECT)
1046     mod_init_section ();
1047   else
1048     constructor_section ();
1049   assemble_align (POINTER_SIZE);
1050   assemble_integer (symbol, POINTER_SIZE / BITS_PER_UNIT, POINTER_SIZE, 1);
1051
1052   if (! MACHOPIC_INDIRECT)
1053     fprintf (asm_out_file, ".reference .constructors_used\n");
1054 }
1055
1056 void
1057 machopic_asm_out_destructor (rtx symbol, int priority ATTRIBUTE_UNUSED)
1058 {
1059   if (MACHOPIC_INDIRECT)
1060     mod_term_section ();
1061   else
1062     destructor_section ();
1063   assemble_align (POINTER_SIZE);
1064   assemble_integer (symbol, POINTER_SIZE / BITS_PER_UNIT, POINTER_SIZE, 1);
1065
1066   if (! MACHOPIC_INDIRECT)
1067     fprintf (asm_out_file, ".reference .destructors_used\n");
1068 }
1069
1070 void
1071 darwin_globalize_label (FILE *stream, const char *name)
1072 {
1073   if (!!strncmp (name, "_OBJC_", 6))
1074     default_globalize_label (stream, name);
1075 }
1076
1077 void
1078 darwin_asm_named_section (const char *name, unsigned int flags ATTRIBUTE_UNUSED)
1079 {
1080   if (flag_reorder_blocks_and_partition)
1081     fprintf (asm_out_file, SECTION_FORMAT_STRING, name);
1082   else
1083     fprintf (asm_out_file, ".section %s\n", name);
1084 }
1085
1086 unsigned int
1087 darwin_section_type_flags (tree decl, const char *name, int reloc)
1088 {
1089   unsigned int flags = default_section_type_flags (decl, name, reloc);
1090  
1091   /* Weak or linkonce variables live in a writable section.  */
1092   if (decl != 0 && TREE_CODE (decl) != FUNCTION_DECL
1093       && (DECL_WEAK (decl) || DECL_ONE_ONLY (decl)))
1094     flags |= SECTION_WRITE;
1095   
1096   return flags;
1097 }              
1098
1099 void 
1100 darwin_unique_section (tree decl, int reloc ATTRIBUTE_UNUSED)
1101 {
1102   /* Darwin does not use unique sections.  However, the target's
1103      unique_section hook is called for linkonce symbols.  We need
1104      to set an appropriate section for such symbols. */
1105   if (DECL_ONE_ONLY (decl) && !DECL_SECTION_NAME (decl))
1106     darwin_make_decl_one_only (decl);
1107 }
1108
1109 #define HAVE_DEAD_STRIP 0
1110
1111 static void
1112 no_dead_strip (FILE *file, const char *lab)
1113 {
1114   if (HAVE_DEAD_STRIP)
1115     fprintf (file, ".no_dead_strip %s\n", lab);
1116 }
1117
1118 /* Emit a label for an FDE, making it global and/or weak if appropriate. 
1119    The third parameter is nonzero if this is for exception handling.
1120    The fourth parameter is nonzero if this is just a placeholder for an
1121    FDE that we are omitting. */
1122
1123 void 
1124 darwin_emit_unwind_label (FILE *file, tree decl, int for_eh, int empty)
1125 {
1126   tree id = DECL_ASSEMBLER_NAME (decl)
1127     ? DECL_ASSEMBLER_NAME (decl)
1128     : DECL_NAME (decl);
1129
1130   const char *prefix = "_";
1131   const int prefix_len = 1;
1132
1133   const char *base = IDENTIFIER_POINTER (id);
1134   unsigned int base_len = IDENTIFIER_LENGTH (id);
1135
1136   const char *suffix = ".eh";
1137
1138   int need_quotes = name_needs_quotes (base);
1139   int quotes_len = need_quotes ? 2 : 0;
1140   char *lab;
1141
1142   if (! for_eh)
1143     suffix = ".eh1";
1144
1145   lab = xmalloc (prefix_len + base_len + strlen (suffix) + quotes_len + 1);
1146   lab[0] = '\0';
1147
1148   if (need_quotes)
1149     strcat(lab, "\"");
1150   strcat(lab, prefix);
1151   strcat(lab, base);
1152   strcat(lab, suffix);
1153   if (need_quotes)
1154     strcat(lab, "\"");
1155
1156   if (TREE_PUBLIC (decl))
1157     fprintf (file, "%s %s\n",
1158              (DECL_VISIBILITY (decl) != VISIBILITY_HIDDEN
1159               ? ".globl"
1160               : ".private_extern"),
1161              lab);
1162
1163   if (DECL_ONE_ONLY (decl) && TREE_PUBLIC (decl))
1164     fprintf (file, ".weak_definition %s\n", lab);
1165
1166   if (empty)
1167     {
1168       fprintf (file, "%s = 0\n", lab);
1169
1170       /* Mark the absolute .eh and .eh1 style labels as needed to
1171          ensure that we don't dead code strip them and keep such
1172          labels from another instantiation point until we can fix this
1173          properly with group comdat support.  */
1174       no_dead_strip (file, lab);
1175     }
1176   else
1177     fprintf (file, "%s:\n", lab);
1178
1179   free (lab);
1180 }
1181
1182 /* Generate a PC-relative reference to a Mach-O non-lazy-symbol.  */ 
1183
1184 void
1185 darwin_non_lazy_pcrel (FILE *file, rtx addr)
1186 {
1187   const char *nlp_name;
1188
1189   if (GET_CODE (addr) != SYMBOL_REF)
1190     abort ();
1191
1192   nlp_name = machopic_indirection_name (addr, /*stub_p=*/false);
1193   fputs ("\t.long\t", file);
1194   ASM_OUTPUT_LABELREF (file, nlp_name);
1195   fputs ("-.", file);
1196 }
1197
1198 /* Emit an assembler directive to set visibility for a symbol.  The
1199    only supported visibilities are VISIBILITY_DEFAULT and
1200    VISIBILITY_HIDDEN; the latter corresponds to Darwin's "private
1201    extern".  There is no MACH-O equivalent of ELF's
1202    VISIBILITY_INTERNAL or VISIBILITY_PROTECTED. */
1203
1204 void 
1205 darwin_assemble_visibility (tree decl, int vis)
1206 {
1207   if (vis == VISIBILITY_DEFAULT)
1208     ;
1209   else if (vis == VISIBILITY_HIDDEN)
1210     {
1211       fputs ("\t.private_extern ", asm_out_file);
1212       assemble_name (asm_out_file,
1213                      (IDENTIFIER_POINTER (DECL_ASSEMBLER_NAME (decl))));
1214       fputs ("\n", asm_out_file);
1215     }
1216   else
1217     warning ("internal and protected visibility attributes not supported"
1218              "in this configuration; ignored");
1219 }
1220
1221 /* Output a difference of two labels that will be an assembly time
1222    constant if the two labels are local.  (.long lab1-lab2 will be
1223    very different if lab1 is at the boundary between two sections; it
1224    will be relocated according to the second section, not the first,
1225    so one ends up with a difference between labels in different
1226    sections, which is bad in the dwarf2 eh context for instance.)  */
1227
1228 static int darwin_dwarf_label_counter;
1229
1230 void
1231 darwin_asm_output_dwarf_delta (FILE *file, int size ATTRIBUTE_UNUSED,
1232                                const char *lab1, const char *lab2)
1233 {
1234   int islocaldiff = (lab1[0] == '*' && lab1[1] == 'L'
1235                      && lab2[0] == '*' && lab2[1] == 'L');
1236
1237   if (islocaldiff)
1238     fprintf (file, "\t.set L$set$%d,", darwin_dwarf_label_counter);
1239   else
1240     fprintf (file, "\t%s\t", ".long");
1241   assemble_name (file, lab1);
1242   fprintf (file, "-");
1243   assemble_name (file, lab2);
1244   if (islocaldiff)
1245     fprintf (file, "\n\t.long L$set$%d", darwin_dwarf_label_counter++);
1246 }
1247
1248 void
1249 darwin_file_end (void)
1250 {
1251   machopic_finish (asm_out_file);
1252   if (strcmp (lang_hooks.name, "GNU C++") == 0)
1253     {
1254       constructor_section ();
1255       destructor_section ();
1256       ASM_OUTPUT_ALIGN (asm_out_file, 1);
1257     }
1258 }
1259
1260 #include "gt-darwin.h"