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