gcc/config/rs6000/xcoff.h

   1 /* Definitions of target machine for GNU compiler,
   2    for some generic XCOFF file format
   3    Copyright (C) 2001, 2002, 2003 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 2, 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 COPYING.  If not, write to the
  19    Free Software Foundation, 59 Temple Place - Suite 330, Boston,
  20    MA 02111-1307, USA.  */
  21
  22 #define TARGET_OBJECT_FORMAT OBJECT_XCOFF
  23
  24 /* The RS/6000 uses the XCOFF format.  */
  25 #define XCOFF_DEBUGGING_INFO 1
  26
  27 /* Define if the object format being used is COFF or a superset.  */
  28 #define OBJECT_FORMAT_COFF
  29
  30 /* Define the magic numbers that we recognize as COFF.
  31
  32     AIX 4.3 adds U803XTOCMAGIC (0757) for 64-bit objects and AIX V5 adds
  33     U64_TOCMAGIC (0767), but collect2.c does not include files in the
  34     correct order to conditionally define the symbolic name in this macro.
  35
  36     The AIX linker accepts import/export files as object files,
  37     so accept "#!" (0x2321) magic number.  */
  38 #define MY_ISCOFF(magic) \
  39   ((magic) == U802WRMAGIC || (magic) == U802ROMAGIC \
  40    || (magic) == U802TOCMAGIC || (magic) == 0757 || (magic) == 0767 \
  41    || (magic) == 0x2321)
  42
  43 /* We don't have GAS for the RS/6000 yet, so don't write out special
  44     .stabs in cc1plus.  */
  45
  46 #define FASCIST_ASSEMBLER
  47
  48 /* We define this to prevent the name mangler from putting dollar signs into
  49    function names.  */
  50
  51 #define NO_DOLLAR_IN_LABEL
  52
  53 /* We define this to 0 so that gcc will never accept a dollar sign in a
  54    variable name.  This is needed because the AIX assembler will not accept
  55    dollar signs.  */
  56
  57 #define DOLLARS_IN_IDENTIFIERS 0
  58
  59 /* Define the extra sections we need.  We define three: one is the read-only
  60    data section which is used for constants.  This is a csect whose name is
  61    derived from the name of the input file.  The second is for initialized
  62    global variables.  This is a csect whose name is that of the variable.
  63    The third is the TOC.  */
  64
  65 #define EXTRA_SECTIONS \
  66    read_only_data, private_data, read_only_private_data, toc, bss
  67
  68 /* Define the routines to implement these extra sections.
  69    BIGGEST_ALIGNMENT is 64, so align the sections that much.  */
  70
  71 #define EXTRA_SECTION_FUNCTIONS                         \
  72                                                         \
  73 void                                                    \
  74 read_only_data_section ()                               \
  75 {                                                       \
  76   if (in_section != read_only_data)                     \
  77     {                                                   \
  78       fprintf (asm_out_file, "\t.csect %s[RO],3\n",     \
  79                xcoff_read_only_section_name);           \
  80       in_section = read_only_data;                      \
  81     }                                                   \
  82 }                                                       \
  83                                                         \
  84 void                                                    \
  85 private_data_section ()                                 \
  86 {                                                       \
  87   if (in_section != private_data)                       \
  88     {                                                   \
  89       fprintf (asm_out_file, "\t.csect %s[RW],3\n",     \
  90                xcoff_private_data_section_name);        \
  91       in_section = private_data;                        \
  92     }                                                   \
  93 }                                                       \
  94                                                         \
  95 void                                                    \
  96 read_only_private_data_section ()                       \
  97 {                                                       \
  98   if (in_section != read_only_private_data)             \
  99     {                                                   \
 100       fprintf (asm_out_file, "\t.csect %s[RO],3\n",     \
 101                xcoff_private_data_section_name);        \
 102       in_section = read_only_private_data;              \
 103     }                                                   \
 104 }                                                       \
 105                                                         \
 106 void                                                    \
 107 toc_section ()                                          \
 108 {                                                       \
 109   if (TARGET_MINIMAL_TOC)                               \
 110     {                                                   \
 111       /* toc_section is always called at least once     \
 112          from rs6000_xcoff_file_start, so this is       \
 113          guaranteed to always be defined once and       \
 114          only once in each file.  */                    \
 115       if (! toc_initialized)                            \
 116         {                                               \
 117           fputs ("\t.toc\nLCTOC..1:\n", asm_out_file);  \
 118           fputs ("\t.tc toc_table[TC],toc_table[RW]\n", asm_out_file); \
 119           toc_initialized = 1;                          \
 120         }                                               \
 121                                                         \
 122       if (in_section != toc)                            \
 123         fprintf (asm_out_file, "\t.csect toc_table[RW]%s\n",    \
 124                  (TARGET_32BIT ? "" : ",3"));           \
 125     }                                                   \
 126   else                                                  \
 127     {                                                   \
 128       if (in_section != toc)                            \
 129         fputs ("\t.toc\n", asm_out_file);               \
 130     }                                                   \
 131   in_section = toc;                                     \
 132 }
 133
 134 /* Define the name of our readonly data section.  */
 135
 136 #define READONLY_DATA_SECTION read_only_data_section
 137
 138 /* Return nonzero if this entry is to be written into the constant
 139    pool in a special way.  We do so if this is a SYMBOL_REF, LABEL_REF
 140    or a CONST containing one of them.  If -mfp-in-toc (the default),
 141    we also do this for floating-point constants.  We actually can only
 142    do this if the FP formats of the target and host machines are the
 143    same, but we can't check that since not every file that uses
 144    GO_IF_LEGITIMATE_ADDRESS_P includes real.h.  We also do this when
 145    we can write the entry into the TOC and the entry is not larger
 146    than a TOC entry.  */
 147
 148 #define ASM_OUTPUT_SPECIAL_POOL_ENTRY_P(X, MODE)                        \
 149   (TARGET_TOC                                                           \
 150    && (GET_CODE (X) == SYMBOL_REF                                       \
 151        || (GET_CODE (X) == CONST && GET_CODE (XEXP (X, 0)) == PLUS      \
 152            && GET_CODE (XEXP (XEXP (X, 0), 0)) == SYMBOL_REF)           \
 153        || GET_CODE (X) == LABEL_REF                                     \
 154        || (GET_CODE (X) == CONST_INT                                    \
 155            && GET_MODE_BITSIZE (MODE) <= GET_MODE_BITSIZE (Pmode))      \
 156        || (GET_CODE (X) == CONST_DOUBLE                                 \
 157            && (TARGET_POWERPC64                                         \
 158                || TARGET_MINIMAL_TOC                                    \
 159                || (GET_MODE_CLASS (GET_MODE (X)) == MODE_FLOAT          \
 160                    && ! TARGET_NO_FP_IN_TOC)))))
 161
 162 #define TARGET_ASM_GLOBALIZE_LABEL  rs6000_xcoff_asm_globalize_label
 163 #define TARGET_ASM_NAMED_SECTION  rs6000_xcoff_asm_named_section
 164 #define TARGET_ASM_SELECT_SECTION  rs6000_xcoff_select_section
 165 #define TARGET_ASM_SELECT_RTX_SECTION  rs6000_xcoff_select_rtx_section
 166 #define TARGET_ASM_UNIQUE_SECTION  rs6000_xcoff_unique_section
 167 #define TARGET_STRIP_NAME_ENCODING  rs6000_xcoff_strip_name_encoding
 168 #define TARGET_SECTION_TYPE_FLAGS  rs6000_xcoff_section_type_flags
 169
 170 /* FP save and restore routines.  */
 171 #define SAVE_FP_PREFIX "._savef"
 172 #define SAVE_FP_SUFFIX ""
 173 #define RESTORE_FP_PREFIX "._restf"
 174 #define RESTORE_FP_SUFFIX ""
 175
 176 /* Function name to call to do profiling.  */
 177 #undef  RS6000_MCOUNT
 178 #define RS6000_MCOUNT ".__mcount"
 179
 180 /* Function names to call to do floating point truncation.  */
 181
 182 #undef  RS6000_ITRUNC
 183 #define RS6000_ITRUNC "__itrunc"
 184 #undef  RS6000_UITRUNC
 185 #define RS6000_UITRUNC "__uitrunc"
 186
 187 /* This outputs NAME to FILE up to the first null or '['.  */
 188
 189 #define RS6000_OUTPUT_BASENAME(FILE, NAME) \
 190   assemble_name ((FILE), (*targetm.strip_name_encoding) (NAME))
 191
 192 /* This is how to output the definition of a user-level label named NAME,
 193    such as the label on a static function or variable NAME.  */
 194
 195 #define ASM_OUTPUT_LABEL(FILE,NAME)     \
 196   do { RS6000_OUTPUT_BASENAME (FILE, NAME); fputs (":\n", FILE); } while (0)
 197
 198 /* This is how to output a command to make the user-level label named NAME
 199    defined for reference from other files.  */
 200
 201 /* Globalizing directive for a label.  */
 202 #define GLOBAL_ASM_OP "\t.globl "
 203
 204 #undef TARGET_ASM_FILE_START
 205 #define TARGET_ASM_FILE_START rs6000_xcoff_file_start
 206 #define TARGET_ASM_FILE_END rs6000_xcoff_file_end
 207 #undef TARGET_ASM_FILE_START_FILE_DIRECTIVE
 208 #define TARGET_ASM_FILE_START_FILE_DIRECTIVE false
 209
 210 /* This macro produces the initial definition of a function name.
 211    On the RS/6000, we need to place an extra '.' in the function name and
 212    output the function descriptor.
 213
 214    The csect for the function will have already been created by the
 215    `text_section' call previously done.  We do have to go back to that
 216    csect, however.
 217
 218    The third and fourth parameters to the .function pseudo-op (16 and 044)
 219    are placeholders which no longer have any use.  */
 220
 221 #define ASM_DECLARE_FUNCTION_NAME(FILE,NAME,DECL)               \
 222 { if (TREE_PUBLIC (DECL))                                       \
 223     {                                                           \
 224       if (!RS6000_WEAK || !DECL_WEAK (decl))                    \
 225         {                                                       \
 226           fputs ("\t.globl .", FILE);                           \
 227           RS6000_OUTPUT_BASENAME (FILE, NAME);                  \
 228           putc ('\n', FILE);                                    \
 229         }                                                       \
 230     }                                                           \
 231   else                                                          \
 232     {                                                           \
 233       fputs ("\t.lglobl .", FILE);                              \
 234       RS6000_OUTPUT_BASENAME (FILE, NAME);                      \
 235       putc ('\n', FILE);                                        \
 236     }                                                           \
 237   fputs ("\t.csect ", FILE);                                    \
 238   RS6000_OUTPUT_BASENAME (FILE, NAME);                          \
 239   fputs (TARGET_32BIT ? "[DS]\n" : "[DS],3\n", FILE);           \
 240   RS6000_OUTPUT_BASENAME (FILE, NAME);                          \
 241   fputs (":\n", FILE);                                          \
 242   fputs (TARGET_32BIT ? "\t.long ." : "\t.llong .", FILE);      \
 243   RS6000_OUTPUT_BASENAME (FILE, NAME);                          \
 244   fputs (", TOC[tc0], 0\n", FILE);                              \
 245   in_section = no_section;                                      \
 246   function_section(DECL);                                       \
 247   putc ('.', FILE);                                             \
 248   RS6000_OUTPUT_BASENAME (FILE, NAME);                          \
 249   fputs (":\n", FILE);                                          \
 250   if (write_symbols != NO_DEBUG)                                \
 251     xcoffout_declare_function (FILE, DECL, NAME);               \
 252 }
 253
 254 /* Output a reference to SYM on FILE.  */
 255
 256 #define ASM_OUTPUT_SYMBOL_REF(FILE, SYM) \
 257   rs6000_output_symbol_ref (FILE, SYM)
 258
 259 /* This says how to output an external.  */
 260
 261 #undef  ASM_OUTPUT_EXTERNAL
 262 #define ASM_OUTPUT_EXTERNAL(FILE, DECL, NAME)                           \
 263 { rtx _symref = XEXP (DECL_RTL (DECL), 0);                              \
 264   if ((TREE_CODE (DECL) == VAR_DECL                                     \
 265        || TREE_CODE (DECL) == FUNCTION_DECL)                            \
 266       && (NAME)[strlen (NAME) - 1] != ']')                              \
 267     {                                                                   \
 268       XSTR (_symref, 0) = concat (XSTR (_symref, 0),                    \
 269                                   (TREE_CODE (DECL) == FUNCTION_DECL    \
 270                                    ? "[DS]" : "[RW]"),                  \
 271                                   NULL);                                \
 272     }                                                                   \
 273 }
 274
 275 /* This is how to output an internal label prefix.  rs6000.c uses this
 276    when generating traceback tables.  */
 277
 278 #define ASM_OUTPUT_INTERNAL_LABEL_PREFIX(FILE,PREFIX)   \
 279   fprintf (FILE, "%s..", PREFIX)
 280
 281 /* This is how to output a label for a jump table.  Arguments are the same as
 282    for (*targetm.asm_out.internal_label), except the insn for the jump table is
 283    passed.  */
 284
 285 #define ASM_OUTPUT_CASE_LABEL(FILE,PREFIX,NUM,TABLEINSN)        \
 286 { ASM_OUTPUT_ALIGN (FILE, 2); (*targetm.asm_out.internal_label) (FILE, PREFIX, NUM); }
 287
 288 /* This is how to store into the string LABEL
 289    the symbol_ref name of an internal numbered label where
 290    PREFIX is the class of label and NUM is the number within the class.
 291    This is suitable for output with `assemble_name'.  */
 292
 293 #define ASM_GENERATE_INTERNAL_LABEL(LABEL,PREFIX,NUM)   \
 294   sprintf (LABEL, "*%s..%u", (PREFIX), (unsigned) (NUM))
 295
 296 /* This is how to output an assembler line to define N characters starting
 297    at P to FILE.  */
 298
 299 #define ASM_OUTPUT_ASCII(FILE, P, N)  output_ascii ((FILE), (P), (N))
 300
 301 /* This is how to advance the location counter by SIZE bytes.  */
 302
 303 #define SKIP_ASM_OP "\t.space "
 304
 305 #define ASM_OUTPUT_SKIP(FILE,SIZE)  \
 306   fprintf (FILE, "%s"HOST_WIDE_INT_PRINT_UNSIGNED"\n", SKIP_ASM_OP, (SIZE))
 307
 308 /* This says how to output an assembler line
 309    to define a global common symbol.  */
 310
 311 #define COMMON_ASM_OP "\t.comm "
 312
 313 #define ASM_OUTPUT_ALIGNED_COMMON(FILE, NAME, SIZE, ALIGN)      \
 314   do { fputs (COMMON_ASM_OP, (FILE));                   \
 315        RS6000_OUTPUT_BASENAME ((FILE), (NAME));         \
 316        if ((ALIGN) > 32)                                \
 317          fprintf ((FILE), ","HOST_WIDE_INT_PRINT_UNSIGNED",%u\n", (SIZE), \
 318                   exact_log2 ((ALIGN) / BITS_PER_UNIT)); \
 319        else if ((SIZE) > 4)                             \
 320          fprintf ((FILE), ","HOST_WIDE_INT_PRINT_UNSIGNED",3\n", (SIZE)); \
 321        else                                             \
 322          fprintf ((FILE), ","HOST_WIDE_INT_PRINT_UNSIGNED"\n", (SIZE)); \
 323   } while (0)
 324
 325 /* This says how to output an assembler line
 326    to define a local common symbol.
 327    Alignment cannot be specified, but we can try to maintain
 328    alignment after preceding TOC section if it was aligned
 329    for 64-bit mode.  */
 330
 331 #define LOCAL_COMMON_ASM_OP "\t.lcomm "
 332
 333 #define ASM_OUTPUT_LOCAL(FILE, NAME, SIZE, ROUNDED)     \
 334   do { fputs (LOCAL_COMMON_ASM_OP, (FILE));             \
 335        RS6000_OUTPUT_BASENAME ((FILE), (NAME));         \
 336        fprintf ((FILE), ","HOST_WIDE_INT_PRINT_UNSIGNED",%s\n", \
 337                 (TARGET_32BIT ? (SIZE) : (ROUNDED)),    \
 338                 xcoff_bss_section_name);                \
 339      } while (0)
 340
 341 /* This is how we tell the assembler that two symbols have the same value.  */
 342 #define SET_ASM_OP "\t.set "
 343
 344 /* This is how we tell the assembler to equate two values.  */
 345 #define ASM_OUTPUT_DEF(FILE,LABEL1,LABEL2)                              \
 346  do {   fprintf ((FILE), "%s", SET_ASM_OP);                             \
 347         RS6000_OUTPUT_BASENAME (FILE, LABEL1);                          \
 348         fprintf (FILE, ",");                                            \
 349         RS6000_OUTPUT_BASENAME (FILE, LABEL2);                          \
 350         fprintf (FILE, "\n");                                           \
 351   } while (0)
 352
 353 /* Used by rs6000_assemble_integer, among others.  */
 354 #define DOUBLE_INT_ASM_OP "\t.llong\t"
 355
 356 /* Output before instructions.  */
 357 #define TEXT_SECTION_ASM_OP "\t.csect .text[PR]"
 358
 359 /* Output before writable data.
 360    Align entire section to BIGGEST_ALIGNMENT.  */
 361 #define DATA_SECTION_ASM_OP "\t.csect .data[RW],3"
 362
 363 /* Define the name of the section to use for the EH language specific
 364    data areas (.gcc_except_table on most other systems).  */
 365 #define TARGET_ASM_EXCEPTION_SECTION data_section
 366
 367 /* Define to prevent DWARF2 unwind info in the data section rather
 368    than in the .eh_frame section.  We do this because the AIX linker
 369    would otherwise garbage collect these sections.  */
 370 #define EH_FRAME_IN_DATA_SECTION 1