]> git.ipfire.org Git - thirdparty/gcc.git/blame - gcc/config/riscv/riscv-protos.h
Daily bump.
[thirdparty/gcc.git] / gcc / config / riscv / riscv-protos.h
CommitLineData
09cae750 1/* Definition of RISC-V target for GNU compiler.
83ffe9cd 2 Copyright (C) 2011-2023 Free Software Foundation, Inc.
09cae750
PD
3 Contributed by Andrew Waterman (andrew@sifive.com).
4 Based on MIPS target for GNU compiler.
5
6This file is part of GCC.
7
8GCC is free software; you can redistribute it and/or modify
9it under the terms of the GNU General Public License as published by
10the Free Software Foundation; either version 3, or (at your option)
11any later version.
12
13GCC is distributed in the hope that it will be useful,
14but WITHOUT ANY WARRANTY; without even the implied warranty of
15MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16GNU General Public License for more details.
17
18You should have received a copy of the GNU General Public License
19along with GCC; see the file COPYING3. If not see
20<http://www.gnu.org/licenses/>. */
21
22#ifndef GCC_RISCV_PROTOS_H
23#define GCC_RISCV_PROTOS_H
24
942ab49b
PN
25#include "memmodel.h"
26
09cae750
PD
27/* Symbol types we understand. The order of this list must match that of
28 the unspec enum in riscv.md, subsequent to UNSPEC_ADDRESS_FIRST. */
29enum riscv_symbol_type {
30 SYMBOL_ABSOLUTE,
31 SYMBOL_PCREL,
32 SYMBOL_GOT_DISP,
33 SYMBOL_TLS,
34 SYMBOL_TLS_LE,
35 SYMBOL_TLS_IE,
36 SYMBOL_TLS_GD
37};
38#define NUM_SYMBOL_TYPES (SYMBOL_TLS_GD + 1)
39
96ad6ab2
CM
40/* Classifies an address.
41
42 ADDRESS_REG
43 A natural register + offset address. The register satisfies
44 riscv_valid_base_register_p and the offset is a const_arith_operand.
45
46 ADDRESS_LO_SUM
47 A LO_SUM rtx. The first operand is a valid base register and
48 the second operand is a symbolic address.
49
50 ADDRESS_CONST_INT
51 A signed 16-bit constant address.
52
53 ADDRESS_SYMBOLIC:
54 A constant symbolic address. */
55enum riscv_address_type {
56 ADDRESS_REG,
57 ADDRESS_LO_SUM,
58 ADDRESS_CONST_INT,
59 ADDRESS_SYMBOLIC
60};
61
62/* Information about an address described by riscv_address_type.
63
64 ADDRESS_CONST_INT
65 No fields are used.
66
67 ADDRESS_REG
68 REG is the base register and OFFSET is the constant offset.
69
70 ADDRESS_LO_SUM
71 REG and OFFSET are the operands to the LO_SUM and SYMBOL_TYPE
72 is the type of symbol it references.
73
74 ADDRESS_SYMBOLIC
75 SYMBOL_TYPE is the type of symbol that the address references. */
76struct riscv_address_info {
77 enum riscv_address_type type;
78 rtx reg;
79 rtx offset;
80 enum riscv_symbol_type symbol_type;
81};
82
e53b6e56 83/* Routines implemented in riscv.cc. */
09cae750
PD
84extern enum riscv_symbol_type riscv_classify_symbolic_expression (rtx);
85extern bool riscv_symbolic_constant_p (rtx, enum riscv_symbol_type *);
30699b99 86extern int riscv_float_const_rtx_index_for_fli (rtx);
b8506a8a 87extern int riscv_regno_mode_ok_for_base_p (int, machine_mode, bool);
42360427
CM
88extern enum reg_class riscv_index_reg_class ();
89extern int riscv_regno_ok_for_index_p (int);
b8506a8a 90extern int riscv_address_insns (rtx, machine_mode, bool);
09cae750
PD
91extern int riscv_const_insns (rtx);
92extern int riscv_split_const_insns (rtx);
93extern int riscv_load_store_insns (rtx, rtx_insn *);
94extern rtx riscv_emit_move (rtx, rtx);
05302544 95extern bool riscv_split_symbol (rtx, rtx, machine_mode, rtx *);
09cae750
PD
96extern bool riscv_split_symbol_type (enum riscv_symbol_type);
97extern rtx riscv_unspec_address (rtx, enum riscv_symbol_type);
05302544 98extern void riscv_move_integer (rtx, rtx, HOST_WIDE_INT, machine_mode);
b8506a8a 99extern bool riscv_legitimize_move (machine_mode, rtx, rtx);
09cae750
PD
100extern rtx riscv_subword (rtx, bool);
101extern bool riscv_split_64bit_move_p (rtx, rtx);
102extern void riscv_split_doubleword_move (rtx, rtx);
103extern const char *riscv_output_move (rtx, rtx);
8cad5b14 104extern const char *riscv_output_return ();
4abcc500
LD
105extern void riscv_declare_function_name (FILE *, const char *, tree);
106extern void riscv_asm_output_alias (FILE *, const tree, const tree);
107extern void riscv_asm_output_external (FILE *, const tree, const char *);
3d1d3132
FG
108extern bool
109riscv_zcmp_valid_stack_adj_bytes_p (HOST_WIDE_INT, int);
02fcaf41 110
09cae750 111#ifdef RTX_CODE
8ae83274 112extern void riscv_expand_int_scc (rtx, enum rtx_code, rtx, rtx, bool *invert_ptr = 0);
09cae750
PD
113extern void riscv_expand_float_scc (rtx, enum rtx_code, rtx, rtx);
114extern void riscv_expand_conditional_branch (rtx, enum rtx_code, rtx, rtx);
99bfdb07 115extern rtx riscv_emit_binary (enum rtx_code code, rtx dest, rtx x, rtx y);
09cae750 116#endif
8e7ffe12 117extern bool riscv_expand_conditional_move (rtx, rtx, rtx, rtx);
09cae750
PD
118extern rtx riscv_legitimize_call_address (rtx);
119extern void riscv_set_return_address (rtx, rtx);
120extern bool riscv_expand_block_move (rtx, rtx, rtx);
121extern rtx riscv_return_addr (int, rtx);
3496ca4e 122extern poly_int64 riscv_initial_elimination_offset (int, int);
09cae750 123extern void riscv_expand_prologue (void);
fd1e52dc 124extern void riscv_expand_epilogue (int);
d0ebdd9f 125extern bool riscv_epilogue_uses (unsigned int);
09cae750 126extern bool riscv_can_use_return_insn (void);
6ed01e6b 127extern rtx riscv_function_value (const_tree, const_tree, enum machine_mode);
6ed01e6b 128extern bool riscv_expand_block_move (rtx, rtx, rtx);
88108b27 129extern bool riscv_store_data_bypass_p (rtx_insn *, rtx_insn *);
d0e0c130
KC
130extern rtx riscv_gen_gpr_save_insn (struct riscv_frame_info *);
131extern bool riscv_gpr_save_operation_p (rtx);
b4feb49c 132extern void riscv_reinit (void);
f556cd8b 133extern poly_uint64 riscv_regmode_natural_size (machine_mode);
7e924ba3 134extern bool riscv_v_ext_vector_mode_p (machine_mode);
12847288 135extern bool riscv_v_ext_tuple_mode_p (machine_mode);
33b153ff 136extern bool riscv_v_ext_vls_mode_p (machine_mode);
6ae5565e 137extern int riscv_get_v_regno_alignment (machine_mode);
787ac959 138extern bool riscv_shamt_matches_mask_p (int, HOST_WIDE_INT);
f797260a
PN
139extern void riscv_subword_address (rtx, rtx *, rtx *, rtx *, rtx *);
140extern void riscv_lshift_subword (machine_mode, rtx, rtx, rtx *);
942ab49b 141extern enum memmodel riscv_union_memmodels (enum memmodel, enum memmodel);
09cae750 142
e53b6e56 143/* Routines implemented in riscv-c.cc. */
09cae750 144void riscv_cpu_cpp_builtins (cpp_reader *);
7d935cdd 145void riscv_register_pragmas (void);
09cae750 146
e53b6e56 147/* Routines implemented in riscv-builtins.cc. */
09cae750 148extern void riscv_atomic_assign_expand_fenv (tree *, tree *, tree *);
60bd33bc 149extern bool riscv_gimple_fold_builtin (gimple_stmt_iterator *);
b8506a8a 150extern rtx riscv_expand_builtin (tree, rtx, rtx, machine_mode, int);
09cae750
PD
151extern tree riscv_builtin_decl (unsigned int, bool);
152extern void riscv_init_builtins (void);
153
e53b6e56 154/* Routines implemented in riscv-common.cc. */
f908b69c 155extern std::string riscv_arch_str (bool version_p = true);
b4feb49c 156extern void riscv_parse_arch_string (const char *, struct gcc_options *, location_t);
8e966210 157
e0a5b313
KC
158extern bool riscv_hard_regno_rename_ok (unsigned, unsigned);
159
de6320a8 160rtl_opt_pass * make_pass_shorten_memrefs (gcc::context *ctxt);
9243c3d1 161rtl_opt_pass * make_pass_vsetvl (gcc::context *ctxt);
de6320a8 162
72eb8335
KC
163/* Information about one CPU we know about. */
164struct riscv_cpu_info {
165 /* This CPU's canonical name. */
166 const char *name;
167
168 /* Default arch for this CPU, could be NULL if no default arch. */
169 const char *arch;
170
171 /* Which automaton to use for tuning. */
172 const char *tune;
173};
174
175extern const riscv_cpu_info *riscv_find_cpu (const char *);
176
b4feb49c 177/* Routines implemented in riscv-selftests.cc. */
178#if CHECKING_P
179namespace selftest {
3b6d44f4 180void riscv_run_selftests (void);
b4feb49c 181} // namespace selftest
182#endif
183
7d935cdd 184namespace riscv_vector {
fa144175 185#define RVV_VLMAX gen_rtx_REG (Pmode, X0_REGNUM)
272e119d 186#define RVV_VUNDEF(MODE) \
7caa1ae5
JZZ
187 gen_rtx_UNSPEC (MODE, gen_rtvec (1, gen_rtx_REG (SImode, X0_REGNUM)), \
188 UNSPEC_VUNDEF)
b3176bdc 189
79ab19bc
LD
190/* These flags describe how to pass the operands to a rvv insn pattern.
191 e.g.:
192 If a insn has this flags:
193 HAS_DEST_P | HAS_MASK_P | USE_VUNDEF_MERGE_P
194 | TU_POLICY_P | BINARY_OP_P | FRM_DYN_P
195 that means:
196 operands[0] is the dest operand
197 operands[1] is the mask operand
198 operands[2] is the merge operand
199 operands[3] and operands[4] is the two operand to do the operation.
200 operands[5] is the vl operand
201 operands[6] is the tail policy operand
202 operands[7] is the mask policy operands
203 operands[8] is the rounding mode operands
204
205 Then you can call `emit_vlmax_insn (flags, icode, ops)` to emit a insn.
206 and ops[0] is the dest operand (operands[0]), ops[1] is the mask
207 operand (operands[1]), ops[2] and ops[3] is the two
208 operands (operands[3], operands[4]) to do the operation. Other operands
209 will be created by emit_vlmax_insn according to the flags information.
210*/
211enum insn_flags : unsigned int
51fd69ec 212{
79ab19bc
LD
213 /* flags for dest, mask, merge operands. */
214 /* Means INSN has dest operand. False for STORE insn. */
215 HAS_DEST_P = 1 << 0,
216 /* Means INSN has mask operand. */
217 HAS_MASK_P = 1 << 1,
218 /* Means using ALL_TRUES for mask operand. */
219 USE_ALL_TRUES_MASK_P = 1 << 2,
220 /* Means using ONE_TRUE for mask operand. */
221 USE_ONE_TRUE_MASK_P = 1 << 3,
222 /* Means INSN has merge operand. */
223 HAS_MERGE_P = 1 << 4,
224 /* Means using VUNDEF for merge operand. */
225 USE_VUNDEF_MERGE_P = 1 << 5,
226
227 /* flags for tail policy and mask plicy operands. */
228 /* Means the tail policy is TAIL_UNDISTURBED. */
229 TU_POLICY_P = 1 << 6,
230 /* Means the tail policy is default (return by get_prefer_tail_policy). */
231 TDEFAULT_POLICY_P = 1 << 7,
232 /* Means the mask policy is MASK_UNDISTURBED. */
233 MU_POLICY_P = 1 << 8,
234 /* Means the mask policy is default (return by get_prefer_mask_policy). */
235 MDEFAULT_POLICY_P = 1 << 9,
236
237 /* flags for the number operands to do the operation. */
238 /* Means INSN need zero operand to do the operation. e.g. vid.v */
239 NULLARY_OP_P = 1 << 10,
240 /* Means INSN need one operand to do the operation. */
241 UNARY_OP_P = 1 << 11,
242 /* Means INSN need two operands to do the operation. */
243 BINARY_OP_P = 1 << 12,
244 /* Means INSN need two operands to do the operation. */
245 TERNARY_OP_P = 1 << 13,
246
dd6e5d29
LD
247 /* flags for get vtype mode from the index number. default from dest operand. */
248 VTYPE_MODE_FROM_OP1_P = 1 << 14,
79ab19bc
LD
249
250 /* flags for the floating-point rounding mode. */
251 /* Means INSN has FRM operand and the value is FRM_DYN. */
252 FRM_DYN_P = 1 << 15,
51fd69ec 253};
79ab19bc
LD
254
255enum insn_type : unsigned int
256{
257 /* some flags macros. */
258 /* For non-mask insn with tama. */
259 __NORMAL_OP = HAS_DEST_P | HAS_MASK_P | USE_ALL_TRUES_MASK_P | HAS_MERGE_P
260 | USE_VUNDEF_MERGE_P | TDEFAULT_POLICY_P | MDEFAULT_POLICY_P,
261 /* For non-mask insn with ta, without mask policy operand. */
262 __NORMAL_OP_TA = HAS_DEST_P | HAS_MASK_P | USE_ALL_TRUES_MASK_P | HAS_MERGE_P
263 | USE_VUNDEF_MERGE_P | TDEFAULT_POLICY_P,
264 /* For non-mask insn with ta, without mask operand and mask policy operand. */
265 __NORMAL_OP_TA2
266 = HAS_DEST_P | HAS_MERGE_P | USE_VUNDEF_MERGE_P | TDEFAULT_POLICY_P,
267 /* For non-mask insn with ma, without tail policy operand. */
268 __NORMAL_OP_MA = HAS_DEST_P | HAS_MASK_P | USE_ALL_TRUES_MASK_P | HAS_MERGE_P
269 | USE_VUNDEF_MERGE_P | MDEFAULT_POLICY_P,
270 /* For mask insn with tama. */
271 __MASK_OP_TAMA = HAS_DEST_P | HAS_MASK_P | HAS_MERGE_P | USE_VUNDEF_MERGE_P
272 | TDEFAULT_POLICY_P | MDEFAULT_POLICY_P,
273 /* For mask insn with tamu. */
274 __MASK_OP_TAMU
275 = HAS_DEST_P | HAS_MASK_P | HAS_MERGE_P | TDEFAULT_POLICY_P | MU_POLICY_P,
276 /* For mask insn with tuma. */
277 __MASK_OP_TUMA = HAS_DEST_P | HAS_MASK_P | USE_ALL_TRUES_MASK_P | HAS_MERGE_P
278 | TU_POLICY_P | MDEFAULT_POLICY_P,
279 /* For mask insn with mu. */
280 __MASK_OP_MU = HAS_DEST_P | HAS_MASK_P | HAS_MERGE_P | MU_POLICY_P,
281 /* For mask insn with ta, without mask policy operand. */
282 __MASK_OP_TA = HAS_DEST_P | HAS_MASK_P | HAS_MERGE_P | USE_VUNDEF_MERGE_P
283 | TDEFAULT_POLICY_P,
284
285 /* Nullary operator. e.g. vid.v */
286 NULLARY_OP = __NORMAL_OP | NULLARY_OP_P,
287
288 /* Unary operator. */
289 UNARY_OP = __NORMAL_OP | UNARY_OP_P,
290 UNARY_OP_TAMA = __MASK_OP_TAMA | UNARY_OP_P,
291 UNARY_OP_TAMU = __MASK_OP_TAMU | UNARY_OP_P,
292 UNARY_OP_FRM_DYN = UNARY_OP | FRM_DYN_P,
293
294 /* Binary operator. */
295 BINARY_OP = __NORMAL_OP | BINARY_OP_P,
296 BINARY_OP_TAMA = __MASK_OP_TAMA | BINARY_OP_P,
297 BINARY_OP_TAMU = __MASK_OP_TAMU | BINARY_OP_P,
298 BINARY_OP_TUMA = __MASK_OP_TUMA | BINARY_OP_P,
299 BINARY_OP_FRM_DYN = BINARY_OP | FRM_DYN_P,
300
301 /* Ternary operator. Always have real merge operand. */
302 TERNARY_OP = HAS_DEST_P | HAS_MASK_P | USE_ALL_TRUES_MASK_P | HAS_MERGE_P
303 | TDEFAULT_POLICY_P | MDEFAULT_POLICY_P | TERNARY_OP_P,
304 TERNARY_OP_FRM_DYN = TERNARY_OP | FRM_DYN_P,
305
306 /* For vwmacc, no merge operand. */
307 WIDEN_TERNARY_OP = HAS_DEST_P | HAS_MASK_P | USE_ALL_TRUES_MASK_P
308 | TDEFAULT_POLICY_P | MDEFAULT_POLICY_P | TERNARY_OP_P,
309 WIDEN_TERNARY_OP_FRM_DYN = WIDEN_TERNARY_OP | FRM_DYN_P,
310
311 /* For vmerge, no mask operand, no mask policy operand. */
312 MERGE_OP = __NORMAL_OP_TA2 | TERNARY_OP_P,
313
314 /* For vm<compare>, no tail policy operand. */
315 COMPARE_OP = __NORMAL_OP_MA | TERNARY_OP_P,
316 COMPARE_OP_MU = __MASK_OP_MU | TERNARY_OP_P,
317
318 /* For scatter insn: no dest operand, no merge operand, no tail and mask
319 policy operands. */
320 SCATTER_OP_M = HAS_MASK_P | TERNARY_OP_P,
321
322 /* For vcpop.m, no merge operand, no tail and mask policy operands. */
323 CPOP_OP = HAS_DEST_P | HAS_MASK_P | USE_ALL_TRUES_MASK_P | UNARY_OP_P
dd6e5d29 324 | VTYPE_MODE_FROM_OP1_P,
79ab19bc
LD
325
326 /* For mask instrunctions, no tail and mask policy operands. */
327 UNARY_MASK_OP = HAS_DEST_P | HAS_MASK_P | USE_ALL_TRUES_MASK_P | HAS_MERGE_P
328 | USE_VUNDEF_MERGE_P | UNARY_OP_P,
329 BINARY_MASK_OP = HAS_DEST_P | HAS_MASK_P | USE_ALL_TRUES_MASK_P | HAS_MERGE_P
330 | USE_VUNDEF_MERGE_P | BINARY_OP_P,
331
332 /* For vcompress.vm */
333 COMPRESS_OP = __NORMAL_OP_TA2 | BINARY_OP_P,
334 /* has merge operand but use ta. */
335 COMPRESS_OP_MERGE
336 = HAS_DEST_P | HAS_MERGE_P | TDEFAULT_POLICY_P | BINARY_OP_P,
337
338 /* For vreduce, no mask policy operand. */
dd6e5d29
LD
339 REDUCE_OP = __NORMAL_OP_TA | BINARY_OP_P | VTYPE_MODE_FROM_OP1_P,
340 REDUCE_OP_FRM_DYN = REDUCE_OP | FRM_DYN_P | VTYPE_MODE_FROM_OP1_P,
79ab19bc 341 REDUCE_OP_M_FRM_DYN
dd6e5d29 342 = __MASK_OP_TA | BINARY_OP_P | FRM_DYN_P | VTYPE_MODE_FROM_OP1_P,
79ab19bc
LD
343
344 /* For vmv.s.x/vfmv.s.f. */
345 SCALAR_MOVE_OP = HAS_DEST_P | HAS_MASK_P | USE_ONE_TRUE_MASK_P | HAS_MERGE_P
346 | USE_VUNDEF_MERGE_P | TDEFAULT_POLICY_P | MDEFAULT_POLICY_P
347 | UNARY_OP_P,
28f16f6d
PL
348
349 SCALAR_MOVE_MERGED_OP = HAS_DEST_P | HAS_MASK_P | USE_ONE_TRUE_MASK_P
350 | HAS_MERGE_P | TDEFAULT_POLICY_P | MDEFAULT_POLICY_P
351 | UNARY_OP_P,
79ab19bc
LD
352};
353
3b16afeb
JZZ
354enum vlmul_type
355{
356 LMUL_1 = 0,
357 LMUL_2 = 1,
358 LMUL_4 = 2,
359 LMUL_8 = 3,
360 LMUL_RESERVED = 4,
361 LMUL_F8 = 5,
362 LMUL_F4 = 6,
363 LMUL_F2 = 7,
ec99ffab 364 NUM_LMUL = 8
3b16afeb 365};
9243c3d1
JZZ
366
367enum avl_type
368{
369 NONVLMAX,
370 VLMAX,
371};
7d935cdd 372/* Routines implemented in riscv-vector-builtins.cc. */
3b6d44f4
JZZ
373void init_builtins (void);
374const char *mangle_builtin_type (const_tree);
509c10a6 375tree lookup_vector_type_attribute (const_tree);
94a4b932 376bool builtin_type_p (const_tree);
7d935cdd 377#ifdef GCC_TARGET_H
3b6d44f4 378bool verify_type_context (location_t, type_context_kind, const_tree, bool);
631e86b7
JZ
379bool expand_vec_perm_const (machine_mode, machine_mode, rtx, rtx, rtx,
380 const vec_perm_indices &);
7d935cdd 381#endif
3b6d44f4
JZZ
382void handle_pragma_vector (void);
383tree builtin_decl (unsigned, bool);
60bd33bc 384gimple *gimple_fold_builtin (unsigned int, gimple_stmt_iterator *, gcall *);
3b6d44f4 385rtx expand_builtin (unsigned int, tree, rtx);
7caa1ae5
JZZ
386bool check_builtin_call (location_t, vec<location_t>, unsigned int,
387 tree, unsigned int, tree *);
3b6d44f4 388bool const_vec_all_same_in_range_p (rtx, HOST_WIDE_INT, HOST_WIDE_INT);
51fd69ec 389bool legitimize_move (rtx, rtx);
cd0c433e 390void emit_vlmax_vsetvl (machine_mode, rtx);
40fc8e3d 391void emit_hard_vlmax_vsetvl (machine_mode, rtx);
79ab19bc
LD
392void emit_vlmax_insn (unsigned, unsigned, rtx *);
393void emit_nonvlmax_insn (unsigned, unsigned, rtx *, rtx);
394void emit_vlmax_insn_lra (unsigned, unsigned, rtx *, rtx);
3b6d44f4 395enum vlmul_type get_vlmul (machine_mode);
b3176bdc 396rtx get_vlmax_rtx (machine_mode);
3b6d44f4 397unsigned int get_ratio (machine_mode);
12847288
JZZ
398unsigned int get_nf (machine_mode);
399machine_mode get_subpart_mode (machine_mode);
3b6d44f4
JZZ
400int get_ta (rtx);
401int get_ma (rtx);
402int get_avl_type (rtx);
403unsigned int calculate_ratio (unsigned int, enum vlmul_type);
f556cd8b
JZZ
404enum tail_policy
405{
406 TAIL_UNDISTURBED = 0,
407 TAIL_AGNOSTIC = 1,
9243c3d1 408 TAIL_ANY = 2,
f556cd8b
JZZ
409};
410
411enum mask_policy
412{
413 MASK_UNDISTURBED = 0,
414 MASK_AGNOSTIC = 1,
9243c3d1 415 MASK_ANY = 2,
f556cd8b 416};
8390a2af 417
e69d050f
LD
418/* Return true if VALUE is agnostic or any policy. */
419#define IS_AGNOSTIC(VALUE) (bool) (VALUE & 0x1 || (VALUE >> 1 & 0x1))
420
9243c3d1
JZZ
421enum tail_policy get_prefer_tail_policy ();
422enum mask_policy get_prefer_mask_policy ();
a143c3f7 423rtx get_avl_type_rtx (enum avl_type);
6c9bcb6c 424opt_machine_mode get_vector_mode (scalar_mode, poly_uint64);
12847288 425opt_machine_mode get_tuple_mode (machine_mode, unsigned int);
3b6d44f4
JZZ
426bool simm5_p (rtx);
427bool neg_simm5_p (rtx);
a035d133 428#ifdef RTX_CODE
3b6d44f4 429bool has_vi_variant_p (rtx_code, rtx);
e0600a02
JZ
430void expand_vec_cmp (rtx, rtx_code, rtx, rtx);
431bool expand_vec_cmp_float (rtx, rtx_code, rtx, rtx, bool);
4d1c8b04
LD
432void expand_cond_len_unop (unsigned, rtx *);
433void expand_cond_len_binop (unsigned, rtx *);
e6413b5d 434void expand_reduction (unsigned, unsigned, rtx *, rtx);
a035d133 435#endif
51fd69ec 436bool sew64_scalar_helper (rtx *, rtx *, rtx, machine_mode,
3cb0fa12 437 bool, void (*)(rtx *, rtx));
ec99ffab 438rtx gen_scalar_move_mask (machine_mode);
1bff101b
JZZ
439
440/* RVV vector register sizes.
441 TODO: Currently, we only add RVV_32/RVV_64/RVV_128, we may need to
442 support other values in the future. */
443enum vlen_enum
444{
445 RVV_32 = 32,
446 RVV_64 = 64,
447 RVV_65536 = 65536
448};
449bool slide1_sew64_helper (int, machine_mode, machine_mode,
450 machine_mode, rtx *);
db4f7a9b 451rtx gen_avl_for_scalar_move (rtx);
51fd69ec 452void expand_tuple_move (rtx *);
2d76f2b4 453machine_mode preferred_simd_mode (scalar_mode);
1349f530 454machine_mode get_mask_mode (machine_mode);
003f388c 455void expand_vec_series (rtx, rtx, rtx);
1c1a9d8e 456void expand_vec_init (rtx, rtx);
2418cdfc 457void expand_vec_perm (rtx, rtx, rtx, rtx);
55dcf277 458void expand_select_vl (rtx *);
d42d199e 459void expand_load_store (rtx *, bool);
f048af2a 460void expand_gather_scatter (rtx *, bool);
0d2673e9 461void expand_cond_len_ternop (unsigned, rtx *);
95d2ce05 462void prepare_ternary_operands (rtx *);
fe578886 463void expand_lanes_load_store (rtx *, bool);
e7545cad 464void expand_fold_extract_last (rtx *);
47ffabaf 465
5ed88078 466/* Rounding mode bitfield for fixed point VXRM. */
47ffabaf 467enum fixed_point_rounding_mode
5ed88078
JZ
468{
469 VXRM_RNU,
470 VXRM_RNE,
471 VXRM_RDN,
472 VXRM_ROD
473};
47ffabaf 474
7f4644f8
PL
475/* Rounding mode bitfield for floating point FRM. The value of enum comes
476 from the below link.
477 https://github.com/riscv/riscv-isa-manual/blob/main/src/f-st-ext.adoc#floating-point-control-and-status-register
478 */
47ffabaf 479enum floating_point_rounding_mode
8cd140d3 480{
7f4644f8
PL
481 FRM_RNE = 0, /* Aka 0b000. */
482 FRM_RTZ = 1, /* Aka 0b001. */
483 FRM_RDN = 2, /* Aka 0b010. */
484 FRM_RUP = 3, /* Aka 0b011. */
485 FRM_RMM = 4, /* Aka 0b100. */
486 FRM_DYN = 7, /* Aka 0b111. */
4d1e97f5
PL
487 FRM_STATIC_MIN = FRM_RNE,
488 FRM_STATIC_MAX = FRM_RMM,
4cede0de
PL
489 FRM_DYN_EXIT = 8,
490 FRM_DYN_CALL = 9,
491 FRM_NONE = 10,
8cd140d3 492};
25907509 493
4cede0de 494enum floating_point_rounding_mode get_frm_mode (rtx);
25907509
RD
495opt_machine_mode vectorize_related_mode (machine_mode, scalar_mode,
496 poly_uint64);
497unsigned int autovectorize_vector_modes (vec<machine_mode> *, bool);
d05aac04
JZ
498bool cmp_lmul_le_one (machine_mode);
499bool cmp_lmul_gt_one (machine_mode);
7d935cdd
JZZ
500}
501
cbd50570
JZZ
502/* We classify builtin types into two classes:
503 1. General builtin class which is defined in riscv_builtins.
504 2. Vector builtin class which is a special builtin architecture
505 that implement intrinsic short into "pragma". */
506enum riscv_builtin_class
507{
508 RISCV_BUILTIN_GENERAL,
509 RISCV_BUILTIN_VECTOR
510};
511
512const unsigned int RISCV_BUILTIN_SHIFT = 1;
513
514/* Mask that selects the riscv_builtin_class part of a function code. */
515const unsigned int RISCV_BUILTIN_CLASS = (1 << RISCV_BUILTIN_SHIFT) - 1;
516
df48285b 517/* Routines implemented in riscv-string.cc. */
949f1ccf 518extern bool riscv_expand_strcmp (rtx, rtx, rtx, rtx, rtx);
df48285b
CM
519extern bool riscv_expand_strlen (rtx, rtx, rtx, rtx);
520
02fcaf41
CM
521/* Routines implemented in thead.cc. */
522extern bool th_mempair_operands_p (rtx[4], bool, machine_mode);
523extern void th_mempair_order_operands (rtx[4], bool, machine_mode);
524extern void th_mempair_prepare_save_restore_operands (rtx[4], bool,
525 machine_mode,
526 int, HOST_WIDE_INT,
527 int, HOST_WIDE_INT);
528extern void th_mempair_save_restore_regs (rtx[4], bool, machine_mode);
529#ifdef RTX_CODE
530extern const char*
531th_mempair_output_move (rtx[4], bool, machine_mode, RTX_CODE);
532#endif
533
065be0ff 534extern bool riscv_use_divmod_expander (void);
1d4d302a
YW
535void riscv_init_cumulative_args (CUMULATIVE_ARGS *, tree, rtx, tree, int);
536
09cae750 537#endif /* ! GCC_RISCV_PROTOS_H */