]>
Commit | Line | Data |
---|---|---|
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 | |
29 | extern void init_cumulative_args (CUMULATIVE_ARGS *, tree, rtx, int, int, int, | |
30 | tree, machine_mode); | |
31 | #endif /* TREE_CODE */ | |
32 | ||
33 | extern bool 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, int); | |
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_and_mask (rtx, machine_mode); | |
77 | extern bool rs6000_is_valid_shift_mask (rtx, rtx, machine_mode); | |
78 | extern bool rs6000_is_valid_insert_mask (rtx, rtx, machine_mode); | |
79 | extern const char *rs6000_insn_for_and_mask (machine_mode, rtx *, bool); | |
80 | extern const char *rs6000_insn_for_shift_mask (machine_mode, rtx *, bool); | |
81 | extern const char *rs6000_insn_for_insert_mask (machine_mode, rtx *, bool); | |
82 | extern bool rs6000_is_valid_2insn_and (rtx, machine_mode); | |
83 | extern void rs6000_emit_2insn_and (machine_mode, rtx *, bool, int); | |
84 | extern int registers_ok_for_quad_peep (rtx, rtx); | |
85 | extern int mems_ok_for_quad_peep (rtx, rtx); | |
86 | extern bool gpr_or_gpr_p (rtx, rtx); | |
87 | extern bool direct_move_p (rtx, rtx); | |
88 | extern bool quad_address_p (rtx, machine_mode, bool); | |
89 | extern bool quad_load_store_p (rtx, rtx); | |
90 | extern bool fusion_gpr_load_p (rtx, rtx, rtx, rtx); | |
91 | extern void expand_fusion_gpr_load (rtx *); | |
92 | extern void emit_fusion_addis (rtx, rtx); | |
93 | extern const char *emit_fusion_gpr_load (rtx, rtx); | |
94 | extern enum reg_class (*rs6000_preferred_reload_class_ptr) (rtx, | |
95 | enum reg_class); | |
96 | extern enum reg_class (*rs6000_secondary_reload_class_ptr) (enum reg_class, | |
97 | machine_mode, | |
98 | rtx); | |
99 | extern void rs6000_secondary_reload_inner (rtx, rtx, rtx, bool); | |
100 | extern void rs6000_secondary_reload_gpr (rtx, rtx, rtx, bool); | |
101 | ||
102 | ||
103 | extern int ccr_bit (rtx, int); | |
104 | extern void rs6000_output_function_entry (FILE *, const char *); | |
105 | extern void print_operand (FILE *, rtx, int); | |
106 | extern void print_operand_address (FILE *, rtx); | |
107 | extern const char *rs6000_call_template (rtx *, unsigned int); | |
108 | extern const char *rs6000_sibcall_template (rtx *, unsigned int); | |
109 | extern const char *rs6000_indirect_call_template (rtx *, unsigned int); | |
110 | extern const char *rs6000_indirect_sibcall_template (rtx *, unsigned int); | |
111 | extern const char *rs6000_pltseq_template (rtx *, int); | |
112 | extern enum rtx_code rs6000_reverse_condition (machine_mode, | |
113 | enum rtx_code); | |
114 | extern rtx rs6000_emit_eqne (machine_mode, rtx, rtx, rtx); | |
115 | extern rtx rs6000_emit_fp_cror (rtx_code, machine_mode, rtx); | |
116 | extern void rs6000_emit_sCOND (machine_mode, rtx[]); | |
117 | extern void rs6000_emit_cbranch (machine_mode, rtx[]); | |
118 | extern char * output_cbranch (rtx, const char *, int, rtx_insn *); | |
119 | extern const char * output_probe_stack_range (rtx, rtx, rtx); | |
120 | extern void rs6000_emit_dot_insn (rtx dst, rtx src, int dot, rtx ccreg); | |
121 | extern bool rs6000_emit_set_const (rtx, rtx); | |
122 | extern bool rs6000_emit_cmove (rtx, rtx, rtx, rtx); | |
123 | extern bool rs6000_emit_int_cmove (rtx, rtx, rtx, rtx); | |
124 | extern int rs6000_emit_vector_cond_expr (rtx, rtx, rtx, rtx, rtx, rtx); | |
125 | extern void rs6000_emit_minmax (rtx, enum rtx_code, rtx, rtx); | |
126 | extern void rs6000_expand_atomic_compare_and_swap (rtx op[]); | |
127 | extern rtx swap_endian_selector_for_mode (machine_mode mode); | |
128 | ||
129 | extern void rs6000_expand_atomic_exchange (rtx op[]); | |
130 | extern void rs6000_expand_atomic_op (enum rtx_code, rtx, rtx, rtx, rtx, rtx); | |
131 | extern void rs6000_emit_swdiv (rtx, rtx, rtx, bool); | |
132 | extern void rs6000_emit_swsqrt (rtx, rtx, bool); | |
133 | extern void output_toc (FILE *, rtx, int, machine_mode); | |
134 | extern void rs6000_fatal_bad_address (rtx); | |
135 | extern rtx create_TOC_reference (rtx, rtx); | |
136 | extern void rs6000_split_multireg_move (rtx, rtx); | |
137 | extern void rs6000_emit_le_vsx_permute (rtx, rtx, machine_mode); | |
138 | extern void rs6000_emit_le_vsx_move (rtx, rtx, machine_mode); | |
139 | extern bool valid_sf_si_move (rtx, rtx, machine_mode); | |
140 | extern void rs6000_emit_move (rtx, rtx, machine_mode); | |
141 | extern bool rs6000_legitimate_offset_address_p (machine_mode, rtx, | |
142 | bool, bool); | |
143 | extern rtx rs6000_find_base_term (rtx); | |
144 | extern rtx rs6000_return_addr (int, rtx); | |
145 | extern void rs6000_output_symbol_ref (FILE*, rtx); | |
146 | extern HOST_WIDE_INT rs6000_initial_elimination_offset (int, int); | |
147 | extern void rs6000_emit_popcount (rtx, rtx); | |
148 | extern void rs6000_emit_parity (rtx, rtx); | |
149 | ||
150 | extern rtx rs6000_machopic_legitimize_pic_address (rtx, machine_mode, | |
151 | rtx); | |
152 | extern rtx rs6000_allocate_stack_temp (machine_mode, bool, bool); | |
153 | extern align_flags rs6000_loop_align (rtx); | |
154 | extern void rs6000_split_logical (rtx [], enum rtx_code, bool, bool, bool); | |
155 | extern bool rs6000_pcrel_p (struct function *); | |
156 | extern 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 | ||
162 | enum 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 | ||
182 | enum 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 | ||
190 | extern enum insn_form address_to_insn_form (rtx, machine_mode, | |
191 | enum non_prefixed_form); | |
192 | extern bool prefixed_load_p (rtx_insn *); | |
193 | extern bool prefixed_store_p (rtx_insn *); | |
194 | extern bool prefixed_paddi_p (rtx_insn *); | |
195 | extern void rs6000_asm_output_opcode (FILE *); | |
196 | extern void rs6000_final_prescan_insn (rtx_insn *, rtx [], int); | |
197 | extern 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 | ||
209 | static inline bool | |
210 | address_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 | |
221 | extern unsigned int rs6000_data_alignment (tree, unsigned int, enum data_align); | |
222 | extern bool rs6000_special_adjust_field_align_p (tree, unsigned int); | |
223 | extern unsigned int rs6000_special_round_type_align (tree, unsigned int, | |
224 | unsigned int); | |
225 | extern unsigned int darwin_rs6000_special_round_type_align (tree, unsigned int, | |
226 | unsigned int); | |
227 | extern tree altivec_resolve_overloaded_builtin (location_t, tree, void *); | |
228 | extern rtx rs6000_libcall_value (machine_mode); | |
229 | extern rtx rs6000_va_arg (tree, tree); | |
230 | extern int function_ok_for_sibcall (tree); | |
231 | extern int rs6000_reg_parm_stack_space (tree, bool); | |
232 | extern void rs6000_asm_weaken_decl (FILE *, tree, const char *, const char *); | |
233 | extern void rs6000_xcoff_declare_function_name (FILE *, const char *, tree); | |
234 | extern void rs6000_xcoff_declare_object_name (FILE *, const char *, tree); | |
235 | extern void rs6000_xcoff_asm_output_aligned_decl_common (FILE *, tree, | |
236 | const char *, | |
237 | unsigned HOST_WIDE_INT, | |
238 | unsigned HOST_WIDE_INT); | |
239 | extern void rs6000_elf_declare_function_name (FILE *, const char *, tree); | |
240 | extern bool rs6000_elf_in_small_data_p (const_tree); | |
241 | ||
242 | #endif /* TREE_CODE */ | |
243 | ||
244 | extern int direct_return (void); | |
245 | extern int first_reg_to_save (void); | |
246 | extern int first_fp_reg_to_save (void); | |
247 | extern void output_ascii (FILE *, const char *, int); | |
248 | extern void rs6000_gen_section_name (char **, const char *, const char *); | |
249 | extern void output_function_profiler (FILE *, int); | |
250 | extern void output_profile_hook (int); | |
251 | extern int rs6000_trampoline_size (void); | |
252 | extern alias_set_type get_TOC_alias_set (void); | |
253 | extern void rs6000_emit_prologue (void); | |
254 | extern void rs6000_emit_load_toc_table (int); | |
255 | extern unsigned int rs6000_dbx_register_number (unsigned int, unsigned int); | |
256 | extern void rs6000_emit_epilogue (enum epilogue_type); | |
257 | extern void rs6000_expand_split_stack_prologue (void); | |
258 | extern void rs6000_split_stack_space_check (rtx, rtx); | |
259 | extern void rs6000_emit_eh_reg_restore (rtx, rtx); | |
260 | extern void rs6000_call_aix (rtx, rtx, rtx, rtx); | |
261 | extern void rs6000_sibcall_aix (rtx, rtx, rtx, rtx); | |
262 | extern void rs6000_call_sysv (rtx, rtx, rtx, rtx); | |
263 | extern void rs6000_sibcall_sysv (rtx, rtx, rtx, rtx); | |
264 | extern void rs6000_call_darwin (rtx, rtx, rtx, rtx); | |
265 | extern void rs6000_sibcall_darwin (rtx, rtx, rtx, rtx); | |
266 | extern void rs6000_aix_asm_output_dwarf_table_ref (char *); | |
267 | extern void get_ppc476_thunk_name (char name[32]); | |
268 | extern bool rs6000_overloaded_builtin_p (enum rs6000_builtins); | |
269 | extern bool rs6000_builtin_is_supported_p (enum rs6000_builtins); | |
270 | extern const char *rs6000_overloaded_builtin_name (enum rs6000_builtins); | |
271 | extern int rs6000_store_data_bypass_p (rtx_insn *, rtx_insn *); | |
272 | extern HOST_WIDE_INT rs6000_builtin_mask_calculate (void); | |
273 | extern void rs6000_asm_output_dwarf_pcrel (FILE *file, int size, | |
274 | const char *label); | |
275 | extern void rs6000_asm_output_dwarf_datarel (FILE *file, int size, | |
276 | const char *label); | |
277 | extern long long rs6000_const_f32_to_i32 (rtx operand); | |
278 | ||
279 | /* Declare functions in rs6000-c.c */ | |
280 | ||
281 | extern void rs6000_pragma_longcall (struct cpp_reader *); | |
282 | extern void rs6000_cpu_cpp_builtins (struct cpp_reader *); | |
283 | #ifdef TREE_CODE | |
284 | extern bool rs6000_pragma_target_parse (tree, tree); | |
285 | #endif | |
286 | extern void rs6000_activate_target_options (tree new_tree); | |
287 | extern void rs6000_target_modify_macros (bool, HOST_WIDE_INT, HOST_WIDE_INT); | |
288 | extern void (*rs6000_target_modify_macros_ptr) (bool, HOST_WIDE_INT, | |
289 | HOST_WIDE_INT); | |
290 | ||
291 | /* Declare functions in rs6000-d.c */ | |
292 | extern void rs6000_d_target_versions (void); | |
293 | ||
294 | #ifdef NO_DOLLAR_IN_LABEL | |
295 | const char * rs6000_xcoff_strip_dollar (const char *); | |
296 | #endif | |
297 | ||
298 | extern unsigned char rs6000_class_max_nregs[][LIM_REG_CLASSES]; | |
299 | extern unsigned char rs6000_hard_regno_nregs[][FIRST_PSEUDO_REGISTER]; | |
300 | ||
301 | extern bool rs6000_linux_float_exceptions_rounding_supported_p (void); | |
302 | ||
303 | /* Pass management. */ | |
304 | namespace gcc { class context; } | |
305 | class rtl_opt_pass; | |
306 | ||
307 | extern rtl_opt_pass *make_pass_analyze_swaps (gcc::context *); | |
308 | extern bool rs6000_sum_of_two_registers_p (const_rtx expr); | |
309 | extern bool rs6000_quadword_masked_address_p (const_rtx exp); | |
310 | extern rtx rs6000_gen_lvx (enum machine_mode, rtx, rtx); | |
311 | extern rtx rs6000_gen_stvx (enum machine_mode, rtx, rtx); | |
312 | ||
313 | extern void rs6000_emit_xxspltidp_v2df (rtx, long value); | |
314 | #endif /* rs6000-protos.h */ |