gcc/config/rs6000/rs6000-protos.h

   1 /* Definitions of target machine for GNU compiler, for IBM RS/6000.
   2    Copyright (C) 2000-2022 Free Software Foundation, Inc.
   3    Contributed by Richard Kenner (kenner@vlsi1.ultra.nyu.edu)
   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 #ifndef GCC_RS6000_PROTOS_H
  22 #define GCC_RS6000_PROTOS_H
  23
  24 /* Declare functions in rs6000.cc */
  25
  26 #ifdef RTX_CODE
  27
  28 #ifdef TREE_CODE
  29 extern void init_cumulative_args (CUMULATIVE_ARGS *, tree, rtx, int, int, int,
  30                                   tree, machine_mode);
  31 #endif /* TREE_CODE */
  32
  33 extern int easy_altivec_constant (rtx, machine_mode);
  34 extern bool xxspltib_constant_p (rtx, machine_mode, int *, int *);
  35 extern int vspltis_shifted (rtx);
  36 extern HOST_WIDE_INT const_vector_elt_as_int (rtx, unsigned int);
  37 extern bool macho_lo_sum_memory_operand (rtx, machine_mode);
  38 extern int num_insns_constant (rtx, machine_mode);
  39 extern int small_data_operand (rtx, machine_mode);
  40 extern bool mem_operand_gpr (rtx, machine_mode);
  41 extern bool mem_operand_ds_form (rtx, machine_mode);
  42 extern bool toc_relative_expr_p (const_rtx, bool, const_rtx *, const_rtx *);
  43 extern void validate_condition_mode (enum rtx_code, machine_mode);
  44 extern bool legitimate_constant_pool_address_p (const_rtx, machine_mode,
  45                                                 bool);
  46 extern bool legitimate_indirect_address_p (rtx, int);
  47 extern bool legitimate_indexed_address_p (rtx, int);
  48 extern bool avoiding_indexed_address_p (machine_mode);
  49 extern rtx rs6000_force_indexed_or_indirect_mem (rtx x);
  50
  51 extern rtx rs6000_got_register (rtx);
  52 extern rtx find_addr_reg (rtx);
  53 extern rtx gen_easy_altivec_constant (rtx);
  54 extern const char *output_vec_const_move (rtx *);
  55 extern const char *rs6000_output_move_128bit (rtx *);
  56 extern bool rs6000_move_128bit_ok_p (rtx []);
  57 extern bool rs6000_split_128bit_ok_p (rtx []);
  58 extern void rs6000_expand_float128_convert (rtx, rtx, bool);
  59 extern void rs6000_expand_vector_init (rtx, rtx);
  60 extern void rs6000_expand_vector_set (rtx, rtx, rtx);
  61 extern void rs6000_expand_vector_extract (rtx, rtx, rtx);
  62 extern void rs6000_split_vec_extract_var (rtx, rtx, rtx, rtx, rtx);
  63 extern rtx rs6000_adjust_vec_address (rtx, rtx, rtx, rtx, machine_mode);
  64 extern void altivec_expand_vec_perm_le (rtx op[4]);
  65 extern void rs6000_expand_extract_even (rtx, rtx, rtx);
  66 extern void rs6000_expand_interleave (rtx, rtx, rtx, bool);
  67 extern void rs6000_scale_v2df (rtx, rtx, int);
  68 extern void rs6000_generate_float2_code (bool, rtx, rtx, rtx);
  69 extern void rs6000_generate_float2_double_code (rtx, rtx, rtx);
  70 extern void rs6000_generate_vsigned2_code (bool, rtx, rtx, rtx);
  71 extern int expand_block_clear (rtx[]);
  72 extern int expand_block_move (rtx[], bool);
  73 extern bool expand_block_compare (rtx[]);
  74 extern bool expand_strn_compare (rtx[], int);
  75 extern bool rs6000_is_valid_mask (rtx, int *, int *, machine_mode);
  76 extern bool rs6000_is_valid_rotate_dot_mask (rtx mask, machine_mode mode);
  77 extern bool rs6000_is_valid_and_mask (rtx, machine_mode);
  78 extern bool rs6000_is_valid_shift_mask (rtx, rtx, machine_mode);
  79 extern bool rs6000_is_valid_insert_mask (rtx, rtx, machine_mode);
  80 extern const char *rs6000_insn_for_and_mask (machine_mode, rtx *, bool);
  81 extern const char *rs6000_insn_for_shift_mask (machine_mode, rtx *, bool);
  82 extern const char *rs6000_insn_for_insert_mask (machine_mode, rtx *, bool);
  83 extern bool rs6000_is_valid_2insn_and (rtx, machine_mode);
  84 extern void rs6000_emit_2insn_and (machine_mode, rtx *, bool, int);
  85 extern int registers_ok_for_quad_peep (rtx, rtx);
  86 extern int mems_ok_for_quad_peep (rtx, rtx);
  87 extern bool gpr_or_gpr_p (rtx, rtx);
  88 extern bool direct_move_p (rtx, rtx);
  89 extern bool quad_address_p (rtx, machine_mode, bool);
  90 extern bool quad_load_store_p (rtx, rtx);
  91 extern bool fusion_gpr_load_p (rtx, rtx, rtx, rtx);
  92 extern void expand_fusion_gpr_load (rtx *);
  93 extern void emit_fusion_addis (rtx, rtx);
  94 extern const char *emit_fusion_gpr_load (rtx, rtx);
  95 extern enum reg_class (*rs6000_preferred_reload_class_ptr) (rtx,
  96                                                             enum reg_class);
  97 extern enum reg_class (*rs6000_secondary_reload_class_ptr) (enum reg_class,
  98                                                             machine_mode,
  99                                                             rtx);
 100 extern void rs6000_secondary_reload_inner (rtx, rtx, rtx, bool);
 101 extern void rs6000_secondary_reload_gpr (rtx, rtx, rtx, bool);
 102
 103
 104 extern int ccr_bit (rtx, int);
 105 extern void rs6000_output_function_entry (FILE *, const char *);
 106 extern void print_operand (FILE *, rtx, int);
 107 extern void print_operand_address (FILE *, rtx);
 108 extern const char *rs6000_call_template (rtx *, unsigned int);
 109 extern const char *rs6000_sibcall_template (rtx *, unsigned int);
 110 extern const char *rs6000_indirect_call_template (rtx *, unsigned int);
 111 extern const char *rs6000_indirect_sibcall_template (rtx *, unsigned int);
 112 extern const char *rs6000_pltseq_template (rtx *, int);
 113 extern enum rtx_code rs6000_reverse_condition (machine_mode,
 114                                                enum rtx_code);
 115 extern rtx rs6000_emit_eqne (machine_mode, rtx, rtx, rtx);
 116 extern rtx rs6000_emit_fp_cror (rtx_code, machine_mode, rtx);
 117 extern void rs6000_emit_sCOND (machine_mode, rtx[]);
 118 extern void rs6000_emit_cbranch (machine_mode, rtx[]);
 119 extern char * output_cbranch (rtx, const char *, int, rtx_insn *);
 120 extern const char * output_probe_stack_range (rtx, rtx, rtx);
 121 extern void rs6000_emit_dot_insn (rtx dst, rtx src, int dot, rtx ccreg);
 122 extern bool rs6000_emit_set_const (rtx, rtx);
 123 extern bool rs6000_emit_cmove (rtx, rtx, rtx, rtx);
 124 extern bool rs6000_emit_int_cmove (rtx, rtx, rtx, rtx);
 125 extern int rs6000_emit_vector_cond_expr (rtx, rtx, rtx, rtx, rtx, rtx);
 126 extern void rs6000_emit_minmax (rtx, enum rtx_code, rtx, rtx);
 127 extern void rs6000_expand_atomic_compare_and_swap (rtx op[]);
 128 extern rtx swap_endian_selector_for_mode (machine_mode mode);
 129
 130 extern void rs6000_expand_atomic_exchange (rtx op[]);
 131 extern void rs6000_expand_atomic_op (enum rtx_code, rtx, rtx, rtx, rtx, rtx);
 132 extern void rs6000_emit_swdiv (rtx, rtx, rtx, bool);
 133 extern void rs6000_emit_swsqrt (rtx, rtx, bool);
 134 extern void output_toc (FILE *, rtx, int, machine_mode);
 135 extern void rs6000_fatal_bad_address (rtx);
 136 extern rtx create_TOC_reference (rtx, rtx);
 137 extern void rs6000_split_multireg_move (rtx, rtx);
 138 extern void rs6000_emit_le_vsx_permute (rtx, rtx, machine_mode);
 139 extern void rs6000_emit_le_vsx_move (rtx, rtx, machine_mode);
 140 extern bool valid_sf_si_move (rtx, rtx, machine_mode);
 141 extern void rs6000_emit_move (rtx, rtx, machine_mode);
 142 extern bool rs6000_legitimate_offset_address_p (machine_mode, rtx,
 143                                                 bool, bool);
 144 extern rtx rs6000_find_base_term (rtx);
 145 extern rtx rs6000_return_addr (int, rtx);
 146 extern void rs6000_output_symbol_ref (FILE*, rtx);
 147 extern HOST_WIDE_INT rs6000_initial_elimination_offset (int, int);
 148 extern void rs6000_emit_popcount (rtx, rtx);
 149 extern void rs6000_emit_parity (rtx, rtx);
 150
 151 extern rtx rs6000_machopic_legitimize_pic_address (rtx, machine_mode,
 152                                                    rtx);
 153 extern rtx rs6000_allocate_stack_temp (machine_mode, bool, bool);
 154 extern align_flags rs6000_loop_align (rtx);
 155 extern void rs6000_split_logical (rtx [], enum rtx_code, bool, bool, bool);
 156 extern bool rs6000_function_pcrel_p (struct function *);
 157 extern bool rs6000_pcrel_p (void);
 158 extern bool rs6000_fndecl_pcrel_p (const_tree);
 159 extern void rs6000_output_addr_vec_elt (FILE *, int);
 160
 161 /* Different PowerPC instruction formats that are used by GCC.  There are
 162    various other instruction formats used by the PowerPC hardware, but these
 163    formats are not currently used by GCC.  */
 164
 165 enum insn_form {
 166   INSN_FORM_BAD,                /* Bad instruction format.  */
 167   INSN_FORM_BASE_REG,           /* Base register only.  */
 168   INSN_FORM_D,                  /* Reg + 16-bit numeric offset.  */
 169   INSN_FORM_DS,                 /* Reg + offset, bottom 2 bits must be 0.  */
 170   INSN_FORM_DQ,                 /* Reg + offset, bottom 4 bits must be 0.  */
 171   INSN_FORM_X,                  /* Base register + index register.  */
 172   INSN_FORM_UPDATE,             /* Address updates base register.  */
 173   INSN_FORM_LO_SUM,             /* Reg + offset using symbol.  */
 174   INSN_FORM_PREFIXED_NUMERIC,   /* Reg + 34 bit numeric offset.  */
 175   INSN_FORM_PCREL_LOCAL,        /* PC-relative local symbol.  */
 176   INSN_FORM_PCREL_EXTERNAL      /* PC-relative external symbol.  */
 177 };
 178
 179 /* Instruction format for the non-prefixed version of a load or store.  This is
 180    used to determine if a 16-bit offset is valid to be used with a non-prefixed
 181    (traditional) instruction or if the bottom bits of the offset cannot be used
 182    with a DS or DQ instruction format, and GCC has to use a prefixed
 183    instruction for the load or store.  */
 184
 185 enum non_prefixed_form {
 186   NON_PREFIXED_DEFAULT,         /* Use the default.  */
 187   NON_PREFIXED_D,               /* All 16-bits are valid.  */
 188   NON_PREFIXED_DS,              /* Bottom 2 bits must be 0.  */
 189   NON_PREFIXED_DQ,              /* Bottom 4 bits must be 0.  */
 190   NON_PREFIXED_X                /* No offset memory form exists.  */
 191 };
 192
 193 extern enum insn_form address_to_insn_form (rtx, machine_mode,
 194                                             enum non_prefixed_form);
 195 extern bool address_is_non_pfx_d_or_x (rtx addr, machine_mode mode,
 196                                        enum non_prefixed_form non_prefix_format);
 197 extern bool pcrel_opt_valid_mem_p (rtx, machine_mode, rtx);
 198 enum non_prefixed_form reg_to_non_prefixed (rtx reg, machine_mode mode);
 199 extern bool prefixed_load_p (rtx_insn *);
 200 extern bool prefixed_store_p (rtx_insn *);
 201 extern bool prefixed_paddi_p (rtx_insn *);
 202 extern void rs6000_asm_output_opcode (FILE *);
 203 extern void output_pcrel_opt_reloc (rtx);
 204 extern void rs6000_final_prescan_insn (rtx_insn *, rtx [], int);
 205 extern int rs6000_adjust_insn_length (rtx_insn *, int);
 206
 207 /* Return true if the address can be used for a prefixed load, store, or add
 208    immediate instructions that cannot be used with a non-prefixed instruction.
 209    For example, using a numeric offset that is not valid for the non-prefixed
 210    instruction or a PC-relative reference to a local symbol would return true,
 211    but an address with an offset of 64 would not return true.
 212
 213    References to external PC-relative symbols aren't allowed, because GCC has
 214    to load the address into a register and then issue a separate load or
 215    store.  */
 216
 217 static inline bool
 218 address_is_prefixed (rtx addr,
 219                      machine_mode mode,
 220                      enum non_prefixed_form non_prefixed)
 221 {
 222   enum insn_form iform = address_to_insn_form (addr, mode, non_prefixed);
 223   return (iform == INSN_FORM_PREFIXED_NUMERIC
 224           || iform == INSN_FORM_PCREL_LOCAL);
 225 }
 226
 227 /* Functions and data structures relating to 128-bit constants that are
 228    converted to byte, half-word, word, and double-word values.  All fields are
 229    kept in big endian order.  We also convert scalar values to 128-bits if they
 230    are going to be loaded into vector registers.  */
 231 #define VECTOR_128BIT_BITS              128
 232 #define VECTOR_128BIT_BYTES             (128 / 8)
 233 #define VECTOR_128BIT_HALF_WORDS        (128 / 16)
 234 #define VECTOR_128BIT_WORDS             (128 / 32)
 235 #define VECTOR_128BIT_DOUBLE_WORDS      (128 / 64)
 236
 237 typedef struct {
 238   /* Constant as various sized items.  */
 239   unsigned HOST_WIDE_INT double_words[VECTOR_128BIT_DOUBLE_WORDS];
 240   unsigned int words[VECTOR_128BIT_WORDS];
 241   unsigned short half_words[VECTOR_128BIT_HALF_WORDS];
 242   unsigned char bytes[VECTOR_128BIT_BYTES];
 243
 244   unsigned original_size;               /* Constant size before splat.  */
 245   bool fp_constant_p;                   /* Is the constant floating point?  */
 246   bool all_double_words_same;           /* Are the double words all equal?  */
 247   bool all_words_same;                  /* Are the words all equal?  */
 248   bool all_half_words_same;             /* Are the half words all equal?  */
 249   bool all_bytes_same;                  /* Are the bytes all equal?  */
 250 } vec_const_128bit_type;
 251
 252 extern bool vec_const_128bit_to_bytes (rtx, machine_mode,
 253                                        vec_const_128bit_type *);
 254 extern unsigned constant_generates_lxvkq (vec_const_128bit_type *);
 255 extern unsigned constant_generates_xxspltiw (vec_const_128bit_type *);
 256 extern unsigned constant_generates_xxspltidp (vec_const_128bit_type *);
 257 #endif /* RTX_CODE */
 258
 259 #ifdef TREE_CODE
 260 extern unsigned int rs6000_data_alignment (tree, unsigned int, enum data_align);
 261 extern unsigned int rs6000_special_adjust_field_align (tree, unsigned int);
 262 extern unsigned int rs6000_special_round_type_align (tree, unsigned int,
 263                                                      unsigned int);
 264 extern unsigned int darwin_rs6000_special_round_type_align (tree, unsigned int,
 265                                                             unsigned int);
 266 extern tree altivec_resolve_overloaded_builtin (location_t, tree, void *);
 267 extern rtx rs6000_libcall_value (machine_mode);
 268 extern rtx rs6000_va_arg (tree, tree);
 269 extern int function_ok_for_sibcall (tree);
 270 extern int rs6000_reg_parm_stack_space (tree, bool);
 271 extern void rs6000_asm_weaken_decl (FILE *, tree, const char *, const char *);
 272 extern void rs6000_xcoff_declare_function_name (FILE *, const char *, tree);
 273 extern void rs6000_xcoff_declare_object_name (FILE *, const char *, tree);
 274 extern void rs6000_xcoff_asm_output_aligned_decl_common (FILE *, tree,
 275                                                          const char *,
 276                                                          unsigned HOST_WIDE_INT,
 277                                                          unsigned int);
 278 extern void rs6000_elf_declare_function_name (FILE *, const char *, tree);
 279 extern bool rs6000_elf_in_small_data_p (const_tree);
 280
 281 #endif /* TREE_CODE */
 282
 283 extern int direct_return (void);
 284 extern int first_reg_to_save (void);
 285 extern int first_fp_reg_to_save (void);
 286 extern void output_ascii (FILE *, const char *, int);
 287 extern void rs6000_gen_section_name (char **, const char *, const char *);
 288 extern void output_function_profiler (FILE *, int);
 289 extern void output_profile_hook  (int);
 290 extern int rs6000_trampoline_size (void);
 291 extern alias_set_type get_TOC_alias_set (void);
 292 extern void rs6000_emit_prologue (void);
 293 extern void rs6000_emit_load_toc_table (int);
 294 extern unsigned int rs6000_dbx_register_number (unsigned int, unsigned int);
 295 extern void rs6000_emit_epilogue (enum epilogue_type);
 296 extern void rs6000_expand_split_stack_prologue (void);
 297 extern void rs6000_split_stack_space_check (rtx, rtx);
 298 extern void rs6000_emit_eh_reg_restore (rtx, rtx);
 299 extern void rs6000_call_aix (rtx, rtx, rtx, rtx);
 300 extern void rs6000_sibcall_aix (rtx, rtx, rtx, rtx);
 301 extern void rs6000_call_sysv (rtx, rtx, rtx, rtx);
 302 extern void rs6000_sibcall_sysv (rtx, rtx, rtx, rtx);
 303 extern void rs6000_call_darwin (rtx, rtx, rtx, rtx);
 304 extern void rs6000_sibcall_darwin (rtx, rtx, rtx, rtx);
 305 extern void rs6000_aix_asm_output_dwarf_table_ref (char *);
 306 extern void get_ppc476_thunk_name (char name[32]);
 307 extern int rs6000_store_data_bypass_p (rtx_insn *, rtx_insn *);
 308 extern HOST_WIDE_INT rs6000_builtin_mask_calculate (void);
 309 extern void rs6000_asm_output_dwarf_pcrel (FILE *file, int size,
 310                                            const char *label);
 311 extern void rs6000_asm_output_dwarf_datarel (FILE *file, int size,
 312                                              const char *label);
 313 extern long rs6000_const_f32_to_i32 (rtx operand);
 314
 315 /* Declare functions in rs6000-c.cc */
 316
 317 extern void rs6000_pragma_longcall (struct cpp_reader *);
 318 extern void rs6000_cpu_cpp_builtins (struct cpp_reader *);
 319 #ifdef TREE_CODE
 320 extern bool rs6000_pragma_target_parse (tree, tree);
 321 #endif
 322 extern void rs6000_activate_target_options (tree new_tree);
 323 extern void rs6000_target_modify_macros (bool, HOST_WIDE_INT);
 324 extern void (*rs6000_target_modify_macros_ptr) (bool, HOST_WIDE_INT);
 325
 326 #ifdef NO_DOLLAR_IN_LABEL
 327 const char * rs6000_xcoff_strip_dollar (const char *);
 328 #endif
 329
 330 extern unsigned char rs6000_class_max_nregs[][LIM_REG_CLASSES];
 331 extern unsigned char rs6000_hard_regno_nregs[][FIRST_PSEUDO_REGISTER];
 332
 333 extern bool rs6000_linux_float_exceptions_rounding_supported_p (void);
 334
 335 /* Pass management.  */
 336 namespace gcc { class context; }
 337 class rtl_opt_pass;
 338
 339 extern rtl_opt_pass *make_pass_analyze_swaps (gcc::context *);
 340 extern rtl_opt_pass *make_pass_pcrel_opt (gcc::context *);
 341 extern bool rs6000_sum_of_two_registers_p (const_rtx expr);
 342 extern bool rs6000_quadword_masked_address_p (const_rtx exp);
 343 extern rtx rs6000_gen_lvx (enum machine_mode, rtx, rtx);
 344 extern rtx rs6000_gen_stvx (enum machine_mode, rtx, rtx);
 345
 346 extern void rs6000_emit_xxspltidp_v2df (rtx, long value);
 347 #endif  /* rs6000-protos.h */