Home | History | Annotate | Line # | Download | only in rs6000
xcoff.h revision 1.3
      1 /* Definitions of target machine for GNU compiler,
      2    for some generic XCOFF file format
      3    Copyright (C) 2001-2014 Free Software Foundation, Inc.
      4 
      5    This file is part of GCC.
      6 
      7    GCC is free software; you can redistribute it and/or modify it
      8    under the terms of the GNU General Public License as published
      9    by the Free Software Foundation; either version 3, or (at your
     10    option) any later version.
     11 
     12    GCC is distributed in the hope that it will be useful, but WITHOUT
     13    ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
     14    or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
     15    License for more details.
     16 
     17    You should have received a copy of the GNU General Public License
     18    along with GCC; see the file COPYING3.  If not see
     19    <http://www.gnu.org/licenses/>.  */
     20 
     21 #define TARGET_OBJECT_FORMAT OBJECT_XCOFF
     22 
     23 /* The RS/6000 uses the XCOFF format.  */
     24 #define XCOFF_DEBUGGING_INFO 1
     25 
     26 /* Define if the object format being used is COFF or a superset.  */
     27 #define OBJECT_FORMAT_COFF
     28 
     29 /* Define the magic numbers that we recognize as COFF.
     30 
     31     AIX 4.3 adds U803XTOCMAGIC (0757) for 64-bit objects and AIX V5 adds
     32     U64_TOCMAGIC (0767), but collect2.c does not include files in the
     33     correct order to conditionally define the symbolic name in this macro.
     34 
     35     The AIX linker accepts import/export files as object files,
     36     so accept "#!" (0x2321) magic number.  */
     37 #define MY_ISCOFF(magic) \
     38   ((magic) == U802WRMAGIC || (magic) == U802ROMAGIC \
     39    || (magic) == U802TOCMAGIC || (magic) == 0757 || (magic) == 0767 \
     40    || (magic) == 0x2321)
     41 
     42 /* We don't have GAS for the RS/6000 yet, so don't write out special
     43     .stabs in cc1plus.  */
     44 
     45 #define FASCIST_ASSEMBLER
     46 
     47 /* We define this to prevent the name mangler from putting dollar signs into
     48    function names.  */
     49 
     50 #define NO_DOLLAR_IN_LABEL
     51 
     52 /* We define this to 0 so that gcc will never accept a dollar sign in a
     53    variable name.  This is needed because the AIX assembler will not accept
     54    dollar signs.  */
     55 
     56 #define DOLLARS_IN_IDENTIFIERS 0
     57 
     58 /* AIX .align pseudo-op accept value from 0 to 12, corresponding to
     59    log base 2 of the alignment in bytes; 12 = 4096 bytes = 32768 bits.  */
     60 
     61 #define MAX_OFILE_ALIGNMENT 32768
     62 
     63 /* Default alignment factor for csect directives, chosen to honor
     64    BIGGEST_ALIGNMENT.  */
     65 #define XCOFF_CSECT_DEFAULT_ALIGNMENT_STR "4"
     66 
     67 /* Return nonzero if this entry is to be written into the constant
     68    pool in a special way.  We do so if this is a SYMBOL_REF, LABEL_REF
     69    or a CONST containing one of them.  If -mfp-in-toc (the default),
     70    we also do this for floating-point constants.  We actually can only
     71    do this if the FP formats of the target and host machines are the
     72    same, but we can't check that since not every file that uses these
     73    target macros includes real.h.  We also do this when we can write the
     74    entry into the TOC and the entry is not larger than a TOC entry.  */
     75 
     76 #define ASM_OUTPUT_SPECIAL_POOL_ENTRY_P(X, MODE)			\
     77   (TARGET_TOC								\
     78    && (GET_CODE (X) == SYMBOL_REF					\
     79        || (GET_CODE (X) == CONST && GET_CODE (XEXP (X, 0)) == PLUS	\
     80 	   && GET_CODE (XEXP (XEXP (X, 0), 0)) == SYMBOL_REF)		\
     81        || GET_CODE (X) == LABEL_REF					\
     82        || (GET_CODE (X) == CONST_INT 					\
     83 	   && GET_MODE_BITSIZE (MODE) <= GET_MODE_BITSIZE (Pmode))	\
     84        || (GET_CODE (X) == CONST_DOUBLE					\
     85 	   && (TARGET_MINIMAL_TOC					\
     86 	       || (SCALAR_FLOAT_MODE_P (GET_MODE (X))			\
     87 		   && ! TARGET_NO_FP_IN_TOC)))))
     88 
     89 #define TARGET_ASM_OUTPUT_ANCHOR  rs6000_xcoff_asm_output_anchor
     90 #define TARGET_ASM_GLOBALIZE_LABEL  rs6000_xcoff_asm_globalize_label
     91 #define TARGET_ASM_INIT_SECTIONS  rs6000_xcoff_asm_init_sections
     92 #define TARGET_ASM_RELOC_RW_MASK  rs6000_xcoff_reloc_rw_mask
     93 #define TARGET_ASM_NAMED_SECTION  rs6000_xcoff_asm_named_section
     94 #define TARGET_ASM_SELECT_SECTION  rs6000_xcoff_select_section
     95 #define TARGET_ASM_SELECT_RTX_SECTION  rs6000_xcoff_select_rtx_section
     96 #define TARGET_ASM_UNIQUE_SECTION  rs6000_xcoff_unique_section
     97 #define TARGET_ASM_FUNCTION_RODATA_SECTION default_no_function_rodata_section
     98 #define TARGET_STRIP_NAME_ENCODING  rs6000_xcoff_strip_name_encoding
     99 #define TARGET_SECTION_TYPE_FLAGS  rs6000_xcoff_section_type_flags
    100 #ifdef HAVE_AS_TLS
    101 #define TARGET_ENCODE_SECTION_INFO rs6000_xcoff_encode_section_info
    102 #endif
    103 
    104 /* FP save and restore routines.  */
    105 #define	SAVE_FP_PREFIX "._savef"
    106 #define SAVE_FP_SUFFIX ""
    107 #define	RESTORE_FP_PREFIX "._restf"
    108 #define RESTORE_FP_SUFFIX ""
    109 
    110 /* Function name to call to do profiling.  */
    111 #undef  RS6000_MCOUNT
    112 #define RS6000_MCOUNT ".__mcount"
    113 
    114 /* This outputs NAME to FILE up to the first null or '['.  */
    115 
    116 #define RS6000_OUTPUT_BASENAME(FILE, NAME) \
    117   assemble_name ((FILE), (*targetm.strip_name_encoding) (NAME))
    118 
    119 /* This is how to output the definition of a user-level label named NAME,
    120    such as the label on a static function or variable NAME.  */
    121 
    122 #define ASM_OUTPUT_LABEL(FILE,NAME)	\
    123   do { RS6000_OUTPUT_BASENAME (FILE, NAME); fputs (":\n", FILE); } while (0)
    124 
    125 /* This is how to output a command to make the user-level label named NAME
    126    defined for reference from other files.  */
    127 
    128 /* Globalizing directive for a label.  */
    129 #define GLOBAL_ASM_OP "\t.globl "
    130 
    131 #undef TARGET_ASM_FILE_START
    132 #define TARGET_ASM_FILE_START rs6000_xcoff_file_start
    133 #define TARGET_ASM_FILE_END rs6000_xcoff_file_end
    134 #undef TARGET_ASM_FILE_START_FILE_DIRECTIVE
    135 #define TARGET_ASM_FILE_START_FILE_DIRECTIVE false
    136 
    137 /* This macro produces the initial definition of a function name.
    138    On the RS/6000, we need to place an extra '.' in the function name and
    139    output the function descriptor.
    140    Dollar signs are converted to underscores.
    141 
    142    The csect for the function will have already been created when
    143    text_section was selected.  We do have to go back to that csect, however.
    144 
    145    The third and fourth parameters to the .function pseudo-op (16 and 044)
    146    are placeholders which no longer have any use.  */
    147 
    148 #define ASM_DECLARE_FUNCTION_NAME(FILE,NAME,DECL)		\
    149 { char *buffer = (char *) alloca (strlen (NAME) + 1);		\
    150   char *p;							\
    151   int dollar_inside = 0;					\
    152   strcpy (buffer, NAME);					\
    153   p = strchr (buffer, '$');					\
    154   while (p) {							\
    155     *p = '_';							\
    156     dollar_inside++;						\
    157     p = strchr (p + 1, '$');					\
    158   }								\
    159   if (TREE_PUBLIC (DECL))					\
    160     {								\
    161       if (!RS6000_WEAK || !DECL_WEAK (decl))			\
    162 	{							\
    163           if (dollar_inside) {					\
    164               fprintf(FILE, "\t.rename .%s,\".%s\"\n", buffer, NAME);	\
    165               fprintf(FILE, "\t.rename %s,\"%s\"\n", buffer, NAME);	\
    166 	    }							\
    167 	  fputs ("\t.globl .", FILE);				\
    168 	  RS6000_OUTPUT_BASENAME (FILE, buffer);		\
    169 	  putc ('\n', FILE);					\
    170 	}							\
    171     }								\
    172   else								\
    173     {								\
    174       if (dollar_inside) {					\
    175           fprintf(FILE, "\t.rename .%s,\".%s\"\n", buffer, NAME);	\
    176           fprintf(FILE, "\t.rename %s,\"%s\"\n", buffer, NAME);	\
    177 	}							\
    178       fputs ("\t.lglobl .", FILE);				\
    179       RS6000_OUTPUT_BASENAME (FILE, buffer);			\
    180       putc ('\n', FILE);					\
    181     }								\
    182   fputs ("\t.csect ", FILE);					\
    183   RS6000_OUTPUT_BASENAME (FILE, buffer);			\
    184   fputs (TARGET_32BIT ? "[DS]\n" : "[DS],3\n", FILE);		\
    185   RS6000_OUTPUT_BASENAME (FILE, buffer);			\
    186   fputs (":\n", FILE);						\
    187   fputs (TARGET_32BIT ? "\t.long ." : "\t.llong .", FILE);	\
    188   RS6000_OUTPUT_BASENAME (FILE, buffer);			\
    189   fputs (", TOC[tc0], 0\n", FILE);				\
    190   in_section = NULL;						\
    191   switch_to_section (function_section (DECL));			\
    192   putc ('.', FILE);						\
    193   RS6000_OUTPUT_BASENAME (FILE, buffer);			\
    194   fputs (":\n", FILE);						\
    195   if (write_symbols != NO_DEBUG && !DECL_IGNORED_P (DECL))	\
    196     xcoffout_declare_function (FILE, DECL, buffer);		\
    197 }
    198 
    199 /* Output a reference to SYM on FILE.  */
    200 
    201 #define ASM_OUTPUT_SYMBOL_REF(FILE, SYM) \
    202   rs6000_output_symbol_ref (FILE, SYM)
    203 
    204 /* This says how to output an external.
    205    Dollar signs are converted to underscores.  */
    206 
    207 #undef  ASM_OUTPUT_EXTERNAL
    208 #define ASM_OUTPUT_EXTERNAL(FILE, DECL, NAME)				\
    209 { char *buffer = (char *) alloca (strlen (NAME) + 1);			\
    210   char *p;								\
    211   rtx _symref = XEXP (DECL_RTL (DECL), 0);				\
    212   int dollar_inside = 0;						\
    213   strcpy (buffer, NAME);						\
    214   p = strchr (buffer, '$');						\
    215   while (p) {								\
    216     *p = '_';								\
    217     dollar_inside++;							\
    218     p = strchr (p + 1, '$');						\
    219   }									\
    220   if (dollar_inside) {							\
    221       fputs ("\t.extern .", FILE);					\
    222       RS6000_OUTPUT_BASENAME (FILE, buffer);				\
    223       putc ('\n', FILE);						\
    224       fprintf(FILE, "\t.rename .%s,\".%s\"\n", buffer, NAME);		\
    225     }									\
    226   if ((TREE_CODE (DECL) == VAR_DECL					\
    227        || TREE_CODE (DECL) == FUNCTION_DECL)				\
    228       && (NAME)[strlen (NAME) - 1] != ']')				\
    229     {									\
    230       XSTR (_symref, 0) = concat (XSTR (_symref, 0),			\
    231 				  (TREE_CODE (DECL) == FUNCTION_DECL	\
    232 				   ? "[DS]" : "[RW]"),			\
    233 				  NULL);				\
    234     }									\
    235 }
    236 
    237 /* This is how to output a reference to a user-level label named NAME.
    238    `assemble_name' uses this.  */
    239 
    240 #define ASM_OUTPUT_LABELREF(FILE,NAME)	\
    241   asm_fprintf ((FILE), "%U%s", rs6000_xcoff_strip_dollar (NAME));
    242 
    243 /* This is how to output an internal label prefix.  rs6000.c uses this
    244    when generating traceback tables.  */
    245 
    246 #define ASM_OUTPUT_INTERNAL_LABEL_PREFIX(FILE,PREFIX)   \
    247   fprintf (FILE, "%s..", PREFIX)
    248 
    249 /* This is how to output a label for a jump table.  Arguments are the same as
    250    for (*targetm.asm_out.internal_label), except the insn for the jump table is
    251    passed.  */
    252 
    253 #define ASM_OUTPUT_CASE_LABEL(FILE,PREFIX,NUM,TABLEINSN)	\
    254 { ASM_OUTPUT_ALIGN (FILE, 2); (*targetm.asm_out.internal_label) (FILE, PREFIX, NUM); }
    255 
    256 /* This is how to store into the string LABEL
    257    the symbol_ref name of an internal numbered label where
    258    PREFIX is the class of label and NUM is the number within the class.
    259    This is suitable for output with `assemble_name'.  */
    260 
    261 #define ASM_GENERATE_INTERNAL_LABEL(LABEL,PREFIX,NUM)	\
    262   sprintf (LABEL, "*%s..%u", rs6000_xcoff_strip_dollar (PREFIX), (unsigned) (NUM))
    263 
    264 /* This is how to output an assembler line to define N characters starting
    265    at P to FILE.  */
    266 
    267 #define ASM_OUTPUT_ASCII(FILE, P, N)  output_ascii ((FILE), (P), (N))
    268 
    269 /* This is how to advance the location counter by SIZE bytes.  */
    270 
    271 #define SKIP_ASM_OP "\t.space "
    272 
    273 #define ASM_OUTPUT_SKIP(FILE,SIZE)  \
    274   fprintf (FILE, "%s"HOST_WIDE_INT_PRINT_UNSIGNED"\n", SKIP_ASM_OP, (SIZE))
    275 
    276 /* This says how to output an assembler line
    277    to define a global common symbol.  */
    278 
    279 #define COMMON_ASM_OP "\t.comm "
    280 
    281 #define ASM_OUTPUT_ALIGNED_COMMON(FILE, NAME, SIZE, ALIGN)	\
    282   do { fputs (COMMON_ASM_OP, (FILE));			\
    283        RS6000_OUTPUT_BASENAME ((FILE), (NAME));		\
    284        if ((ALIGN) > 32)				\
    285 	 fprintf ((FILE), ","HOST_WIDE_INT_PRINT_UNSIGNED",%u\n", (SIZE), \
    286 		  floor_log2 ((ALIGN) / BITS_PER_UNIT)); \
    287        else if ((SIZE) > 4)				\
    288          fprintf ((FILE), ","HOST_WIDE_INT_PRINT_UNSIGNED",3\n", (SIZE)); \
    289        else						\
    290 	 fprintf ((FILE), ","HOST_WIDE_INT_PRINT_UNSIGNED"\n", (SIZE)); \
    291   } while (0)
    292 
    293 /* This says how to output an assembler line
    294    to define a local common symbol.
    295    The assembler in AIX 6.1 and later supports an alignment argument.
    296    For earlier releases of AIX, we try to maintain
    297    alignment after preceding TOC section if it was aligned
    298    for 64-bit mode.  */
    299 
    300 #define LOCAL_COMMON_ASM_OP "\t.lcomm "
    301 
    302 #if TARGET_AIX_VERSION >= 61
    303 #define ASM_OUTPUT_ALIGNED_LOCAL(FILE, NAME, SIZE, ALIGN)	\
    304   do { fputs (LOCAL_COMMON_ASM_OP, (FILE));			\
    305        RS6000_OUTPUT_BASENAME ((FILE), (NAME));			\
    306        if ((ALIGN) > 32)					\
    307 	 fprintf ((FILE), ","HOST_WIDE_INT_PRINT_UNSIGNED",%s%u_,%u\n",	\
    308 		  (SIZE), xcoff_bss_section_name,			\
    309 		  floor_log2 ((ALIGN) / BITS_PER_UNIT),			\
    310 		  floor_log2 ((ALIGN) / BITS_PER_UNIT));		\
    311        else if ((SIZE) > 4)					\
    312 	 fprintf ((FILE), ","HOST_WIDE_INT_PRINT_UNSIGNED",%s3_,3\n",	\
    313 		  (SIZE), xcoff_bss_section_name);		\
    314        else							\
    315 	 fprintf ((FILE), ","HOST_WIDE_INT_PRINT_UNSIGNED",%s,2\n",	\
    316 		  (SIZE), xcoff_bss_section_name);		\
    317      } while (0)
    318 #endif
    319 
    320 #define ASM_OUTPUT_LOCAL(FILE, NAME, SIZE, ROUNDED)	\
    321   do { fputs (LOCAL_COMMON_ASM_OP, (FILE));		\
    322        RS6000_OUTPUT_BASENAME ((FILE), (NAME));		\
    323        fprintf ((FILE), ","HOST_WIDE_INT_PRINT_UNSIGNED",%s\n", \
    324 		(TARGET_32BIT ? (SIZE) : (ROUNDED)),	\
    325 		xcoff_bss_section_name);		\
    326      } while (0)
    327 
    328 #ifdef HAVE_AS_TLS
    329 #define ASM_OUTPUT_TLS_COMMON(FILE, DECL, NAME, SIZE)	\
    330   do { fputs(COMMON_ASM_OP, (FILE));			\
    331        RS6000_OUTPUT_BASENAME ((FILE), (NAME));		\
    332        fprintf ((FILE), "[UL],"HOST_WIDE_INT_PRINT_UNSIGNED"\n", \
    333        (SIZE));						\
    334   } while (0)
    335 #endif
    336 
    337 /* This is how we tell the assembler that two symbols have the same value.  */
    338 #define SET_ASM_OP "\t.set "
    339 
    340 /* This is how we tell the assembler to equate two values.  */
    341 #define ASM_OUTPUT_DEF(FILE,LABEL1,LABEL2)				\
    342  do {	fprintf ((FILE), "%s", SET_ASM_OP);				\
    343 	RS6000_OUTPUT_BASENAME (FILE, LABEL1);				\
    344 	fprintf (FILE, ",");						\
    345 	RS6000_OUTPUT_BASENAME (FILE, LABEL2);				\
    346 	fprintf (FILE, "\n");						\
    347   } while (0)
    348 
    349 /* Used by rs6000_assemble_integer, among others.  */
    350 #define DOUBLE_INT_ASM_OP "\t.llong\t"
    351 
    352 /* Output before instructions.  */
    353 #define TEXT_SECTION_ASM_OP "\t.csect .text[PR]"
    354 
    355 /* Output before writable data.  */
    356 #define DATA_SECTION_ASM_OP \
    357   "\t.csect .data[RW]," XCOFF_CSECT_DEFAULT_ALIGNMENT_STR
    358 
    359 
    360 /* Define to prevent DWARF2 unwind info in the data section rather
    361    than in the .eh_frame section.  We do this because the AIX linker
    362    would otherwise garbage collect these sections.  */
    363 #define EH_FRAME_IN_DATA_SECTION 1
    364