Home | History | Annotate | Line # | Download | only in rs6000
      1  1.12  mrg // SPDX-License-Identifier: GPL-3.0-or-later
      2   1.1  mrg /* Definitions of target machine for GNU compiler,
      3   1.1  mrg    for some generic XCOFF file format
      4  1.12  mrg    Copyright (C) 2001-2022 Free Software Foundation, Inc.
      5   1.1  mrg 
      6   1.1  mrg    This file is part of GCC.
      7   1.1  mrg 
      8   1.1  mrg    GCC is free software; you can redistribute it and/or modify it
      9   1.1  mrg    under the terms of the GNU General Public License as published
     10   1.1  mrg    by the Free Software Foundation; either version 3, or (at your
     11   1.1  mrg    option) any later version.
     12   1.1  mrg 
     13   1.1  mrg    GCC is distributed in the hope that it will be useful, but WITHOUT
     14   1.1  mrg    ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
     15   1.1  mrg    or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
     16   1.1  mrg    License for more details.
     17   1.1  mrg 
     18   1.1  mrg    You should have received a copy of the GNU General Public License
     19   1.1  mrg    along with GCC; see the file COPYING3.  If not see
     20   1.1  mrg    <http://www.gnu.org/licenses/>.  */
     21   1.1  mrg 
     22   1.1  mrg #define TARGET_OBJECT_FORMAT OBJECT_XCOFF
     23   1.1  mrg 
     24   1.1  mrg /* The RS/6000 uses the XCOFF format.  */
     25   1.1  mrg #define XCOFF_DEBUGGING_INFO 1
     26   1.1  mrg 
     27   1.1  mrg /* Define if the object format being used is COFF or a superset.  */
     28   1.1  mrg #define OBJECT_FORMAT_COFF
     29   1.1  mrg 
     30   1.1  mrg /* Define the magic numbers that we recognize as COFF.
     31   1.1  mrg 
     32   1.1  mrg     AIX 4.3 adds U803XTOCMAGIC (0757) for 64-bit objects and AIX V5 adds
     33  1.12  mrg     U64_TOCMAGIC (0767), but collect2.cc does not include files in the
     34   1.1  mrg     correct order to conditionally define the symbolic name in this macro.
     35   1.1  mrg 
     36   1.1  mrg     The AIX linker accepts import/export files as object files,
     37   1.1  mrg     so accept "#!" (0x2321) magic number.  */
     38   1.1  mrg #define MY_ISCOFF(magic) \
     39   1.1  mrg   ((magic) == U802WRMAGIC || (magic) == U802ROMAGIC \
     40   1.1  mrg    || (magic) == U802TOCMAGIC || (magic) == 0757 || (magic) == 0767 \
     41   1.1  mrg    || (magic) == 0x2321)
     42   1.1  mrg 
     43   1.1  mrg /* We don't have GAS for the RS/6000 yet, so don't write out special
     44   1.1  mrg     .stabs in cc1plus.  */
     45   1.1  mrg 
     46   1.1  mrg #define FASCIST_ASSEMBLER
     47   1.1  mrg 
     48   1.1  mrg /* We define this to prevent the name mangler from putting dollar signs into
     49   1.1  mrg    function names.  */
     50   1.1  mrg 
     51   1.1  mrg #define NO_DOLLAR_IN_LABEL
     52   1.1  mrg 
     53   1.1  mrg /* We define this to 0 so that gcc will never accept a dollar sign in a
     54   1.1  mrg    variable name.  This is needed because the AIX assembler will not accept
     55   1.1  mrg    dollar signs.  */
     56   1.1  mrg 
     57   1.1  mrg #define DOLLARS_IN_IDENTIFIERS 0
     58   1.1  mrg 
     59   1.1  mrg /* AIX .align pseudo-op accept value from 0 to 12, corresponding to
     60   1.1  mrg    log base 2 of the alignment in bytes; 12 = 4096 bytes = 32768 bits.  */
     61   1.1  mrg 
     62   1.1  mrg #define MAX_OFILE_ALIGNMENT 32768
     63   1.1  mrg 
     64   1.1  mrg /* Default alignment factor for csect directives, chosen to honor
     65   1.1  mrg    BIGGEST_ALIGNMENT.  */
     66   1.1  mrg #define XCOFF_CSECT_DEFAULT_ALIGNMENT_STR "4"
     67   1.1  mrg 
     68   1.1  mrg /* Return nonzero if this entry is to be written into the constant
     69   1.1  mrg    pool in a special way.  We do so if this is a SYMBOL_REF, LABEL_REF
     70   1.1  mrg    or a CONST containing one of them.  If -mfp-in-toc (the default),
     71   1.1  mrg    we also do this for floating-point constants.  We actually can only
     72   1.1  mrg    do this if the FP formats of the target and host machines are the
     73   1.1  mrg    same, but we can't check that since not every file that uses these
     74   1.1  mrg    target macros includes real.h.  We also do this when we can write the
     75   1.1  mrg    entry into the TOC and the entry is not larger than a TOC entry.  */
     76   1.1  mrg 
     77   1.1  mrg #define ASM_OUTPUT_SPECIAL_POOL_ENTRY_P(X, MODE)			\
     78   1.1  mrg   (TARGET_TOC								\
     79  1.10  mrg    && (SYMBOL_REF_P (X)							\
     80   1.1  mrg        || (GET_CODE (X) == CONST && GET_CODE (XEXP (X, 0)) == PLUS	\
     81  1.10  mrg 	   && SYMBOL_REF_P (XEXP (XEXP (X, 0), 0)))			\
     82   1.1  mrg        || GET_CODE (X) == LABEL_REF					\
     83  1.10  mrg        || (CONST_INT_P (X)						\
     84   1.1  mrg 	   && GET_MODE_BITSIZE (MODE) <= GET_MODE_BITSIZE (Pmode))	\
     85  1.10  mrg        || (CONST_DOUBLE_P (X)						\
     86   1.1  mrg 	   && (TARGET_MINIMAL_TOC					\
     87   1.1  mrg 	       || (SCALAR_FLOAT_MODE_P (GET_MODE (X))			\
     88   1.1  mrg 		   && ! TARGET_NO_FP_IN_TOC)))))
     89   1.1  mrg 
     90   1.6  mrg #undef TARGET_DEBUG_UNWIND_INFO
     91   1.6  mrg #define TARGET_DEBUG_UNWIND_INFO  rs6000_xcoff_debug_unwind_info
     92   1.1  mrg #define TARGET_ASM_OUTPUT_ANCHOR  rs6000_xcoff_asm_output_anchor
     93   1.8  mrg #define TARGET_ASM_GLOBALIZE_DECL_NAME  rs6000_xcoff_asm_globalize_decl_name
     94   1.1  mrg #define TARGET_ASM_GLOBALIZE_LABEL  rs6000_xcoff_asm_globalize_label
     95   1.1  mrg #define TARGET_ASM_INIT_SECTIONS  rs6000_xcoff_asm_init_sections
     96   1.1  mrg #define TARGET_ASM_RELOC_RW_MASK  rs6000_xcoff_reloc_rw_mask
     97   1.1  mrg #define TARGET_ASM_NAMED_SECTION  rs6000_xcoff_asm_named_section
     98   1.1  mrg #define TARGET_ASM_SELECT_SECTION  rs6000_xcoff_select_section
     99   1.1  mrg #define TARGET_ASM_SELECT_RTX_SECTION  rs6000_xcoff_select_rtx_section
    100   1.1  mrg #define TARGET_ASM_UNIQUE_SECTION  rs6000_xcoff_unique_section
    101   1.1  mrg #define TARGET_ASM_FUNCTION_RODATA_SECTION default_no_function_rodata_section
    102   1.1  mrg #define TARGET_STRIP_NAME_ENCODING  rs6000_xcoff_strip_name_encoding
    103   1.1  mrg #define TARGET_SECTION_TYPE_FLAGS  rs6000_xcoff_section_type_flags
    104   1.3  mrg #ifdef HAVE_AS_TLS
    105   1.3  mrg #define TARGET_ENCODE_SECTION_INFO rs6000_xcoff_encode_section_info
    106   1.3  mrg #endif
    107   1.8  mrg #define ASM_OUTPUT_ALIGNED_DECL_COMMON  rs6000_xcoff_asm_output_aligned_decl_common
    108  1.12  mrg #define ASM_OUTPUT_ALIGNED_DECL_LOCAL  rs6000_xcoff_asm_output_aligned_decl_common
    109  1.12  mrg #define ASM_OUTPUT_ALIGNED_BSS  rs6000_xcoff_asm_output_aligned_decl_common
    110   1.1  mrg 
    111   1.1  mrg /* FP save and restore routines.  */
    112   1.1  mrg #define	SAVE_FP_PREFIX "._savef"
    113   1.1  mrg #define SAVE_FP_SUFFIX ""
    114   1.1  mrg #define	RESTORE_FP_PREFIX "._restf"
    115   1.1  mrg #define RESTORE_FP_SUFFIX ""
    116   1.1  mrg 
    117   1.1  mrg /* Function name to call to do profiling.  */
    118   1.1  mrg #undef  RS6000_MCOUNT
    119   1.1  mrg #define RS6000_MCOUNT ".__mcount"
    120   1.1  mrg 
    121   1.1  mrg /* This outputs NAME to FILE up to the first null or '['.  */
    122   1.1  mrg 
    123   1.1  mrg #define RS6000_OUTPUT_BASENAME(FILE, NAME) \
    124   1.1  mrg   assemble_name ((FILE), (*targetm.strip_name_encoding) (NAME))
    125   1.1  mrg 
    126   1.1  mrg /* This is how to output the definition of a user-level label named NAME,
    127   1.1  mrg    such as the label on a static function or variable NAME.  */
    128   1.1  mrg 
    129   1.1  mrg #define ASM_OUTPUT_LABEL(FILE,NAME)	\
    130   1.1  mrg   do { RS6000_OUTPUT_BASENAME (FILE, NAME); fputs (":\n", FILE); } while (0)
    131   1.1  mrg 
    132   1.1  mrg /* This is how to output a command to make the user-level label named NAME
    133   1.1  mrg    defined for reference from other files.  */
    134   1.1  mrg 
    135   1.1  mrg /* Globalizing directive for a label.  */
    136   1.1  mrg #define GLOBAL_ASM_OP "\t.globl "
    137   1.1  mrg 
    138   1.1  mrg #undef TARGET_ASM_FILE_START
    139   1.1  mrg #define TARGET_ASM_FILE_START rs6000_xcoff_file_start
    140   1.1  mrg #define TARGET_ASM_FILE_END rs6000_xcoff_file_end
    141   1.1  mrg #undef TARGET_ASM_FILE_START_FILE_DIRECTIVE
    142   1.1  mrg #define TARGET_ASM_FILE_START_FILE_DIRECTIVE false
    143   1.1  mrg 
    144   1.5  mrg /* This macro produces the initial definition of a function name.  */
    145   1.5  mrg 
    146   1.5  mrg #undef ASM_DECLARE_FUNCTION_NAME
    147   1.5  mrg #define ASM_DECLARE_FUNCTION_NAME(FILE, NAME, DECL)			\
    148   1.5  mrg   rs6000_xcoff_declare_function_name ((FILE), (NAME), (DECL))
    149   1.5  mrg #undef ASM_DECLARE_OBJECT_NAME
    150   1.5  mrg #define ASM_DECLARE_OBJECT_NAME(FILE, NAME, DECL)			\
    151   1.5  mrg   rs6000_xcoff_declare_object_name ((FILE), (NAME), (DECL))
    152   1.1  mrg 
    153   1.1  mrg /* Output a reference to SYM on FILE.  */
    154   1.1  mrg 
    155   1.1  mrg #define ASM_OUTPUT_SYMBOL_REF(FILE, SYM) \
    156   1.1  mrg   rs6000_output_symbol_ref (FILE, SYM)
    157   1.1  mrg 
    158   1.1  mrg /* This says how to output an external.
    159   1.1  mrg    Dollar signs are converted to underscores.  */
    160   1.1  mrg 
    161   1.1  mrg #undef  ASM_OUTPUT_EXTERNAL
    162   1.1  mrg #define ASM_OUTPUT_EXTERNAL(FILE, DECL, NAME)				\
    163   1.1  mrg { char *buffer = (char *) alloca (strlen (NAME) + 1);			\
    164   1.1  mrg   char *p;								\
    165   1.1  mrg   int dollar_inside = 0;						\
    166   1.1  mrg   strcpy (buffer, NAME);						\
    167   1.1  mrg   p = strchr (buffer, '$');						\
    168   1.1  mrg   while (p) {								\
    169   1.1  mrg     *p = '_';								\
    170   1.1  mrg     dollar_inside++;							\
    171   1.1  mrg     p = strchr (p + 1, '$');						\
    172   1.1  mrg   }									\
    173   1.1  mrg   if (dollar_inside) {							\
    174   1.1  mrg       fputs ("\t.extern .", FILE);					\
    175   1.1  mrg       RS6000_OUTPUT_BASENAME (FILE, buffer);				\
    176   1.1  mrg       putc ('\n', FILE);						\
    177   1.8  mrg       fprintf (FILE, "\t.rename .%s,\".%s\"\n", buffer, NAME);		\
    178   1.1  mrg     }									\
    179   1.1  mrg }
    180   1.1  mrg 
    181   1.1  mrg /* This is how to output a reference to a user-level label named NAME.
    182   1.1  mrg    `assemble_name' uses this.  */
    183   1.1  mrg 
    184   1.1  mrg #define ASM_OUTPUT_LABELREF(FILE,NAME)	\
    185   1.9  mrg   asm_fprintf ((FILE), "%U%s", rs6000_xcoff_strip_dollar (NAME))
    186   1.1  mrg 
    187  1.12  mrg /* This is how to output an internal label prefix.  rs6000.cc uses this
    188   1.1  mrg    when generating traceback tables.  */
    189   1.1  mrg 
    190   1.1  mrg #define ASM_OUTPUT_INTERNAL_LABEL_PREFIX(FILE,PREFIX)   \
    191   1.1  mrg   fprintf (FILE, "%s..", PREFIX)
    192   1.1  mrg 
    193   1.1  mrg /* This is how to output a label for a jump table.  Arguments are the same as
    194   1.1  mrg    for (*targetm.asm_out.internal_label), except the insn for the jump table is
    195   1.1  mrg    passed.  */
    196   1.1  mrg 
    197   1.1  mrg #define ASM_OUTPUT_CASE_LABEL(FILE,PREFIX,NUM,TABLEINSN)	\
    198   1.1  mrg { ASM_OUTPUT_ALIGN (FILE, 2); (*targetm.asm_out.internal_label) (FILE, PREFIX, NUM); }
    199   1.1  mrg 
    200   1.1  mrg /* This is how to store into the string LABEL
    201   1.1  mrg    the symbol_ref name of an internal numbered label where
    202   1.1  mrg    PREFIX is the class of label and NUM is the number within the class.
    203   1.1  mrg    This is suitable for output with `assemble_name'.  */
    204   1.1  mrg 
    205   1.1  mrg #define ASM_GENERATE_INTERNAL_LABEL(LABEL,PREFIX,NUM)	\
    206   1.1  mrg   sprintf (LABEL, "*%s..%u", rs6000_xcoff_strip_dollar (PREFIX), (unsigned) (NUM))
    207   1.1  mrg 
    208   1.1  mrg /* This is how to output an assembler line to define N characters starting
    209   1.1  mrg    at P to FILE.  */
    210   1.1  mrg 
    211   1.1  mrg #define ASM_OUTPUT_ASCII(FILE, P, N)  output_ascii ((FILE), (P), (N))
    212   1.1  mrg 
    213   1.1  mrg /* This is how to advance the location counter by SIZE bytes.  */
    214   1.1  mrg 
    215   1.1  mrg #define SKIP_ASM_OP "\t.space "
    216   1.1  mrg 
    217   1.1  mrg #define ASM_OUTPUT_SKIP(FILE,SIZE)  \
    218   1.6  mrg   fprintf (FILE, "%s" HOST_WIDE_INT_PRINT_UNSIGNED"\n", SKIP_ASM_OP, (SIZE))
    219   1.1  mrg 
    220   1.1  mrg /* This says how to output an assembler line
    221   1.1  mrg    to define a global common symbol.  */
    222   1.1  mrg 
    223   1.1  mrg #define COMMON_ASM_OP "\t.comm "
    224   1.1  mrg #define LOCAL_COMMON_ASM_OP "\t.lcomm "
    225   1.1  mrg 
    226   1.3  mrg #ifdef HAVE_AS_TLS
    227  1.12  mrg #define ASM_OUTPUT_TLS_COMMON(FILE, DECL, NAME, SIZE)   \
    228  1.12  mrg   do { \
    229  1.12  mrg        rs6000_xcoff_asm_output_aligned_decl_common ((FILE), (DECL), (NAME), (SIZE), 0); \
    230   1.3  mrg   } while (0)
    231   1.3  mrg #endif
    232   1.3  mrg 
    233   1.1  mrg /* This is how we tell the assembler that two symbols have the same value.  */
    234   1.1  mrg #define SET_ASM_OP "\t.set "
    235   1.1  mrg 
    236   1.5  mrg /* This is how we tell the assembler to equate two values.
    237   1.5  mrg    The semantic of AIX assembler's .set do not correspond to middle-end expectations.
    238   1.5  mrg    We output aliases as alternative symbols in the front of the definition
    239   1.5  mrg    via DECLARE_FUNCTION_NAME and DECLARE_OBJECT_NAME.
    240   1.5  mrg    We still need to define this macro to let middle-end know that aliases are
    241   1.5  mrg    supported.
    242   1.5  mrg  */
    243  1.12  mrg #define ASM_OUTPUT_DEF(FILE,LABEL1,LABEL2) do { (void) (FILE);	\
    244  1.12  mrg 						(void) (LABEL1); \
    245  1.12  mrg 						(void) (LABEL2); } while (0)
    246   1.5  mrg 
    247   1.5  mrg /* Used by rs6000_assemble_integer, among others.  */
    248   1.1  mrg 
    249   1.1  mrg /* Used by rs6000_assemble_integer, among others.  */
    250   1.1  mrg #define DOUBLE_INT_ASM_OP "\t.llong\t"
    251   1.1  mrg 
    252   1.1  mrg /* Output before instructions.  */
    253  1.12  mrg #define TEXT_SECTION_ASM_OP "\t.csect .text[PR],5"
    254   1.1  mrg 
    255   1.1  mrg /* Output before writable data.  */
    256   1.1  mrg #define DATA_SECTION_ASM_OP \
    257   1.1  mrg   "\t.csect .data[RW]," XCOFF_CSECT_DEFAULT_ALIGNMENT_STR
    258   1.1  mrg 
    259   1.1  mrg 
    260   1.6  mrg /* The eh_frames are put in the read-only text segment.
    261   1.6  mrg    Local code labels/function will also be in the local text segment so use
    262   1.6  mrg    PC relative addressing.
    263   1.6  mrg    Global symbols must be in the data segment to allow loader relocations.
    264   1.6  mrg    So use DW_EH_PE_indirect to allocate a slot in the local data segment.
    265   1.6  mrg    There is no constant offset to this data segment from the text segment,
    266   1.6  mrg    so use addressing relative to the data segment.
    267   1.6  mrg  */
    268   1.6  mrg #define ASM_PREFERRED_EH_DATA_FORMAT(CODE,GLOBAL) \
    269   1.6  mrg   (((GLOBAL) ? DW_EH_PE_indirect | DW_EH_PE_datarel : DW_EH_PE_pcrel) \
    270   1.6  mrg    | (TARGET_64BIT ? DW_EH_PE_sdata8 : DW_EH_PE_sdata4))
    271   1.6  mrg 
    272   1.6  mrg #define EH_FRAME_THROUGH_COLLECT2 1
    273   1.6  mrg #define EH_TABLES_CAN_BE_READ_ONLY 1
    274   1.6  mrg 
    275   1.6  mrg /* AIX Assembler implicitly assumes DWARF 64 bit extension in 64 bit mode.  */
    276   1.6  mrg #define DWARF_OFFSET_SIZE PTR_SIZE
    277   1.6  mrg 
    278   1.6  mrg #define ASM_OUTPUT_DWARF_PCREL(FILE,SIZE,LABEL) \
    279   1.6  mrg   rs6000_asm_output_dwarf_pcrel ((FILE), (SIZE), (LABEL));
    280   1.6  mrg 
    281   1.6  mrg #define ASM_OUTPUT_DWARF_DATAREL(FILE,SIZE,LABEL) \
    282   1.6  mrg   rs6000_asm_output_dwarf_datarel ((FILE), (SIZE), (LABEL));
    283   1.5  mrg 
    284   1.5  mrg #define MAKE_DECL_ONE_ONLY(DECL) (DECL_WEAK (DECL) = 1)
    285   1.5  mrg 
    286