/* Definitions for code generation pass of GNU compiler.
- Copyright (C) 2001-2014 Free Software Foundation, Inc.
+ Copyright (C) 2001-2024 Free Software Foundation, Inc.
This file is part of GCC.
#ifndef GCC_OPTABS_H
#define GCC_OPTABS_H
-#include "insn-codes.h"
-#include "insn-opinit.h"
-
-typedef enum optab_tag optab;
-typedef enum optab_tag convert_optab;
-typedef enum optab_tag direct_optab;
-
-struct optab_libcall_d
-{
- char libcall_suffix;
- const char *libcall_basename;
- void (*libcall_gen) (optab, const char *name,
- char suffix, enum machine_mode);
-};
-
-struct convert_optab_libcall_d
-{
- const char *libcall_basename;
- void (*libcall_gen) (convert_optab, const char *name,
- enum machine_mode, enum machine_mode);
-};
-
-/* Given an enum insn_code, access the function to construct
- the body of that kind of insn. */
-#define GEN_FCN(CODE) (insn_data[CODE].genfun)
-
-/* Contains the optab used for each rtx code, and vice-versa. */
-extern const optab code_to_optab_[NUM_RTX_CODE];
-extern const enum rtx_code optab_to_code_[NUM_OPTABS];
-
-static inline optab
-code_to_optab (enum rtx_code code)
-{
- return code_to_optab_[code];
-}
-
-static inline enum rtx_code
-optab_to_code (optab op)
-{
- return optab_to_code_[op];
-}
-
-extern const struct convert_optab_libcall_d convlib_def[NUM_CONVLIB_OPTABS];
-extern const struct optab_libcall_d normlib_def[NUM_NORMLIB_OPTABS];
-
-/* Returns the active icode for the given (encoded) optab. */
-extern enum insn_code raw_optab_handler (unsigned);
-extern bool swap_optab_enable (optab, enum machine_mode, bool);
-
-/* Target-dependent globals. */
-struct target_optabs {
- /* Patterns that are used by optabs that are enabled for this target. */
- bool pat_enable[NUM_OPTAB_PATTERNS];
-};
-
-extern struct target_optabs default_target_optabs;
-extern struct target_optabs *this_fn_optabs;
-#if SWITCHABLE_TARGET
-extern struct target_optabs *this_target_optabs;
-#else
-#define this_target_optabs (&default_target_optabs)
-#endif
-\f
-/* Define functions given in optabs.c. */
-
-extern rtx expand_widen_pattern_expr (sepops ops, rtx op0, rtx op1, rtx wide_op,
- rtx target, int unsignedp);
-
-extern rtx expand_ternary_op (enum machine_mode mode, optab ternary_optab,
- rtx op0, rtx op1, rtx op2, rtx target,
- int unsignedp);
-
-/* Expand a binary operation given optab and rtx operands. */
-extern rtx expand_binop (enum machine_mode, optab, rtx, rtx, rtx, int,
- enum optab_methods);
-
-extern rtx simplify_expand_binop (enum machine_mode mode, optab binoptab,
- rtx op0, rtx op1, rtx target, int unsignedp,
- enum optab_methods methods);
-
-extern bool force_expand_binop (enum machine_mode, optab, rtx, rtx, rtx, int,
- enum optab_methods);
-
-/* Expand a binary operation with both signed and unsigned forms. */
-extern rtx sign_expand_binop (enum machine_mode, optab, optab, rtx, rtx,
- rtx, int, enum optab_methods);
-
-/* Generate code to perform an operation on one operand with two results. */
-extern int expand_twoval_unop (optab, rtx, rtx, rtx, int);
-
-/* Generate code to perform an operation on two operands with two results. */
-extern int expand_twoval_binop (optab, rtx, rtx, rtx, rtx, int);
-
-/* Generate code to perform an operation on two operands with two
- results, using a library function. */
-extern bool expand_twoval_binop_libfunc (optab, rtx, rtx, rtx, rtx,
- enum rtx_code);
-
-/* Expand a unary arithmetic operation given optab rtx operand. */
-extern rtx expand_unop (enum machine_mode, optab, rtx, rtx, int);
-
-/* Expand the absolute value operation. */
-extern rtx expand_abs_nojump (enum machine_mode, rtx, rtx, int);
-extern rtx expand_abs (enum machine_mode, rtx, rtx, int, int);
-
-/* Expand the one's complement absolute value operation. */
-extern rtx expand_one_cmpl_abs_nojump (enum machine_mode, rtx, rtx);
-
-/* Expand the copysign operation. */
-extern rtx expand_copysign (rtx, rtx, rtx);
-
-/* Generate an instruction with a given INSN_CODE with an output and
- an input. */
-extern void emit_unop_insn (enum insn_code, rtx, rtx, enum rtx_code);
-extern bool maybe_emit_unop_insn (enum insn_code, rtx, rtx, enum rtx_code);
-
-/* Find a widening optab even if it doesn't widen as much as we want. */
-#define find_widening_optab_handler(A,B,C,D) \
- find_widening_optab_handler_and_mode (A, B, C, D, NULL)
-extern enum insn_code find_widening_optab_handler_and_mode (optab,
- enum machine_mode,
- enum machine_mode,
- int,
- enum machine_mode *);
-extern enum insn_code widening_optab_handler (optab, enum machine_mode,
- enum machine_mode);
-
-/* An extra flag to control optab_for_tree_code's behavior. This is needed to
- distinguish between machines with a vector shift that takes a scalar for the
- shift amount vs. machines that take a vector for the shift amount. */
-enum optab_subtype
-{
- optab_default,
- optab_scalar,
- optab_vector
-};
-
-/* Return the optab used for computing the given operation on the type given by
- the second argument. The third argument distinguishes between the types of
- vector shifts and rotates */
-extern optab optab_for_tree_code (enum tree_code, const_tree, enum optab_subtype);
-
-/* Given an optab that reduces a vector to a scalar, find instead the old
- optab that produces a vector with the reduction result in one element,
- for a tree with the specified type. */
-extern optab scalar_reduc_to_vector (optab, const_tree type);
-
-/* The various uses that a comparison can have; used by can_compare_p:
- jumps, conditional moves, store flag operations. */
-enum can_compare_purpose
-{
- ccp_jump,
- ccp_cmov,
- ccp_store_flag
-};
-
-/* Nonzero if a compare of mode MODE can be done straightforwardly
- (without splitting it into pieces). */
-extern int can_compare_p (enum rtx_code, enum machine_mode,
- enum can_compare_purpose);
-
-/* Return the INSN_CODE to use for an extend operation. */
-extern enum insn_code can_extend_p (enum machine_mode, enum machine_mode, int);
-
-/* Generate the body of an insn to extend Y (with mode MFROM)
- into X (with mode MTO). Do zero-extension if UNSIGNEDP is nonzero. */
-extern rtx gen_extend_insn (rtx, rtx, enum machine_mode,
- enum machine_mode, int);
-
-/* Call this to reset the function entry for one optab. */
-extern void set_optab_libfunc (optab, enum machine_mode, const char *);
-extern void set_conv_libfunc (convert_optab, enum machine_mode,
- enum machine_mode, const char *);
-
-/* Call this to install all of the __sync libcalls up to size MAX. */
-extern void init_sync_libfuncs (int max);
-
-/* Generate code for a FIXED_CONVERT_EXPR. */
-extern void expand_fixed_convert (rtx, rtx, int, int);
-
-/* Generate code for a FLOAT_EXPR. */
-extern void expand_float (rtx, rtx, int);
-
-/* Return the insn_code for a FLOAT_EXPR. */
-enum insn_code can_float_p (enum machine_mode, enum machine_mode, int);
-
-/* Return true if there is an inline compare and swap pattern. */
-extern bool can_compare_and_swap_p (enum machine_mode, bool);
-
-/* Return true if there is an inline atomic exchange pattern. */
-extern bool can_atomic_exchange_p (enum machine_mode, bool);
-
-/* Generate code for a compare and swap. */
-extern bool expand_atomic_compare_and_swap (rtx *, rtx *, rtx, rtx, rtx, bool,
- enum memmodel, enum memmodel);
-
-/* Generate memory barriers. */
-extern void expand_mem_thread_fence (enum memmodel);
-extern void expand_mem_signal_fence (enum memmodel);
-
-/* Check whether an operation represented by the code CODE is a
- convert operation that is supported by the target platform in
- vector form */
-bool supportable_convert_operation (enum tree_code, tree, tree, tree *,
- enum tree_code *);
-
-/* Generate code for a FIX_EXPR. */
-extern void expand_fix (rtx, rtx, int);
-
-/* Generate code for float to integral conversion. */
-extern bool expand_sfix_optab (rtx, rtx, convert_optab);
+#include "optabs-query.h"
+#include "optabs-libfuncs.h"
+#include "vec-perm-indices.h"
/* Generate code for a widening multiply. */
-extern rtx expand_widening_mult (enum machine_mode, rtx, rtx, rtx, int, optab);
-
-/* Return tree if target supports vector operations for COND_EXPR. */
-bool expand_vec_cond_expr_p (tree, tree);
-
-/* Generate code for VEC_COND_EXPR. */
-extern rtx expand_vec_cond_expr (tree, tree, tree, tree, rtx);
-/* Generate code for VEC_LSHIFT_EXPR and VEC_RSHIFT_EXPR. */
-extern rtx expand_vec_shift_expr (sepops, rtx);
-
-/* Return true if target supports vector operations for VEC_PERM_EXPR. */
-extern bool can_vec_perm_p (enum machine_mode, bool, const unsigned char *);
-
-/* Generate code for VEC_PERM_EXPR. */
-extern rtx expand_vec_perm (enum machine_mode, rtx, rtx, rtx, rtx);
-
-/* Return non-zero if target supports a given highpart multiplication. */
-extern int can_mult_highpart_p (enum machine_mode, bool);
-
-/* Generate code for MULT_HIGHPART_EXPR. */
-extern rtx expand_mult_highpart (enum machine_mode, rtx, rtx, rtx, bool);
-
-/* Return true if target supports vector masked load/store for mode. */
-extern bool can_vec_mask_load_store_p (enum machine_mode, bool);
-
-/* Return the insn used to implement mode MODE of OP, or CODE_FOR_nothing
- if the target does not have such an insn. */
-
-static inline enum insn_code
-optab_handler (optab op, enum machine_mode mode)
-{
- unsigned scode = (op << 16) | mode;
- gcc_assert (op > LAST_CONV_OPTAB);
- return raw_optab_handler (scode);
-}
-
-/* Return the insn used to perform conversion OP from mode FROM_MODE
- to mode TO_MODE; return CODE_FOR_nothing if the target does not have
- such an insn. */
-
-static inline enum insn_code
-convert_optab_handler (convert_optab op, enum machine_mode to_mode,
- enum machine_mode from_mode)
-{
- unsigned scode = (op << 16) | (from_mode << 8) | to_mode;
- gcc_assert (op > unknown_optab && op <= LAST_CONV_OPTAB);
- return raw_optab_handler (scode);
-}
-
-/* Return the insn used to implement mode MODE of OP, or CODE_FOR_nothing
- if the target does not have such an insn. */
-
-static inline enum insn_code
-direct_optab_handler (direct_optab op, enum machine_mode mode)
-{
- return optab_handler (op, mode);
-}
-
-/* Return true if UNOPTAB is for a trapping-on-overflow operation. */
-
-static inline bool
-trapv_unoptab_p (optab unoptab)
-{
- return (unoptab == negv_optab
- || unoptab == absv_optab);
-}
-
-/* Return true if BINOPTAB is for a trapping-on-overflow operation. */
-
-static inline bool
-trapv_binoptab_p (optab binoptab)
-{
- return (binoptab == addv_optab
- || binoptab == subv_optab
- || binoptab == smulv_optab);
-}
-
-extern rtx optab_libfunc (optab optab, enum machine_mode mode);
-extern rtx convert_optab_libfunc (convert_optab optab, enum machine_mode mode1,
- enum machine_mode mode2);
-
-/* Describes an instruction that inserts or extracts a bitfield. */
-struct extraction_insn
-{
- /* The code of the instruction. */
- enum insn_code icode;
-
- /* The mode that the structure operand should have. This is byte_mode
- when using the legacy insv, extv and extzv patterns to access memory. */
- enum machine_mode struct_mode;
-
- /* The mode of the field to be inserted or extracted, and by extension
- the mode of the insertion or extraction itself. */
- enum machine_mode field_mode;
-
- /* The mode of the field's bit position. This is only important
- when the position is variable rather than constant. */
- enum machine_mode pos_mode;
-};
-
-/* Enumerates the possible extraction_insn operations. */
-enum extraction_pattern { EP_insv, EP_extv, EP_extzv };
-
-extern bool get_best_reg_extraction_insn (extraction_insn *,
- enum extraction_pattern,
- unsigned HOST_WIDE_INT,
- enum machine_mode);
-
-extern bool get_best_mem_extraction_insn (extraction_insn *,
- enum extraction_pattern,
- HOST_WIDE_INT, HOST_WIDE_INT,
- enum machine_mode);
-
-extern bool insn_operand_matches (enum insn_code icode, unsigned int opno,
- rtx operand);
+extern rtx expand_widening_mult (machine_mode, rtx, rtx, rtx, int, optab);
/* Describes the type of an expand_operand. Each value is associated
with a create_*_operand function; see the comments above those
EXPAND_CONVERT_TO,
EXPAND_CONVERT_FROM,
EXPAND_ADDRESS,
- EXPAND_INTEGER
+ EXPAND_INTEGER,
+ EXPAND_UNDEFINED_INPUT
};
/* Information about an operand for instruction expansion. */
-struct expand_operand {
+class expand_operand {
+public:
/* The type of operand. */
ENUM_BITFIELD (expand_operand_type) type : 8;
rather than signed. Only meaningful for certain types. */
unsigned int unsigned_p : 1;
+ /* Is the target operand. */
+ unsigned int target : 1;
+
/* Unused; available for future use. */
- unsigned int unused : 7;
+ unsigned int unused : 6;
/* The mode passed to the convert_*_operand function. It has a
type-dependent meaning. */
/* The value of the operand. */
rtx value;
+
+ /* The value of an EXPAND_INTEGER operand. */
+ poly_int64 int_value;
};
/* Initialize OP with the given fields. Initialise the other fields
to their default values. */
-static inline void
-create_expand_operand (struct expand_operand *op,
+inline void
+create_expand_operand (class expand_operand *op,
enum expand_operand_type type,
- rtx value, enum machine_mode mode,
- bool unsigned_p)
+ rtx value, machine_mode mode,
+ bool unsigned_p, poly_int64 int_value = 0)
{
op->type = type;
op->unsigned_p = unsigned_p;
+ op->target = 0;
op->unused = 0;
op->mode = mode;
op->value = value;
+ op->int_value = int_value;
}
/* Make OP describe an operand that must use rtx X, even if X is volatile. */
-static inline void
-create_fixed_operand (struct expand_operand *op, rtx x)
+inline void
+create_fixed_operand (class expand_operand *op, rtx x)
{
create_expand_operand (op, EXPAND_FIXED, x, VOIDmode, false);
}
It is OK for VALUE to be inconsistent with MODE, although it will just
be ignored in that case. */
-static inline void
-create_output_operand (struct expand_operand *op, rtx x,
- enum machine_mode mode)
+inline void
+create_output_operand (class expand_operand *op, rtx x,
+ machine_mode mode)
{
create_expand_operand (op, EXPAND_OUTPUT, x, mode, false);
}
VALUE be copied into a different kind of rtx before being passed
as an operand. */
-static inline void
-create_input_operand (struct expand_operand *op, rtx value,
- enum machine_mode mode)
+inline void
+create_input_operand (class expand_operand *op, rtx value,
+ machine_mode mode)
{
create_expand_operand (op, EXPAND_INPUT, value, mode, false);
}
+/* Make OP describe an undefined input operand of mode MODE. MODE cannot
+ be null. */
+
+inline void
+create_undefined_input_operand (class expand_operand *op, machine_mode mode)
+{
+ create_expand_operand (op, EXPAND_UNDEFINED_INPUT, gen_rtx_SCRATCH (mode),
+ mode, false);
+}
+
/* Like create_input_operand, except that VALUE must first be converted
to mode MODE. UNSIGNED_P says whether VALUE is unsigned. */
-static inline void
-create_convert_operand_to (struct expand_operand *op, rtx value,
- enum machine_mode mode, bool unsigned_p)
+inline void
+create_convert_operand_to (class expand_operand *op, rtx value,
+ machine_mode mode, bool unsigned_p)
{
create_expand_operand (op, EXPAND_CONVERT_TO, value, mode, unsigned_p);
}
/* Make OP describe an input operand that should have the same value
as VALUE, after any mode conversion that the backend might request.
If VALUE is a CONST_INT, it should be treated as having mode MODE.
- UNSIGNED_P says whether VALUE is unsigned. */
+ UNSIGNED_P says whether VALUE is unsigned.
+
+ The conversion of VALUE can include a combination of numerical
+ conversion (as for convert_modes) and duplicating a scalar to fill
+ a vector (if VALUE is a scalar but the operand is a vector). */
-static inline void
-create_convert_operand_from (struct expand_operand *op, rtx value,
- enum machine_mode mode, bool unsigned_p)
+inline void
+create_convert_operand_from (class expand_operand *op, rtx value,
+ machine_mode mode, bool unsigned_p)
{
create_expand_operand (op, EXPAND_CONVERT_FROM, value, mode, unsigned_p);
}
-extern void create_convert_operand_from_type (struct expand_operand *op,
- rtx value, tree type);
/* Make OP describe an input Pmode address operand. VALUE is the value
of the address, but it may need to be converted to Pmode first. */
-static inline void
-create_address_operand (struct expand_operand *op, rtx value)
+inline void
+create_address_operand (class expand_operand *op, rtx value)
{
create_expand_operand (op, EXPAND_ADDRESS, value, Pmode, false);
}
-/* Make OP describe an input operand that has value INTVAL and that has
- no inherent mode. This function should only be used for operands that
- are always expand-time constants. The backend may request that INTVAL
- be copied into a different kind of rtx, but it must specify the mode
- of that rtx if so. */
+extern void create_integer_operand (class expand_operand *, poly_int64);
+
+/* Passed to expand_simple_binop and expand_binop to say which options
+ to try to use if the requested operation can't be open-coded on the
+ requisite mode. Either OPTAB_LIB or OPTAB_LIB_WIDEN says try using
+ a library call. Either OPTAB_WIDEN or OPTAB_LIB_WIDEN says try
+ using a wider mode. OPTAB_MUST_WIDEN says try widening and don't
+ try anything else. */
-static inline void
-create_integer_operand (struct expand_operand *op, HOST_WIDE_INT intval)
+enum optab_methods
{
- create_expand_operand (op, EXPAND_INTEGER, GEN_INT (intval), VOIDmode, false);
-}
+ OPTAB_DIRECT,
+ OPTAB_LIB,
+ OPTAB_WIDEN,
+ OPTAB_LIB_WIDEN,
+ OPTAB_MUST_WIDEN
+};
-extern bool valid_multiword_target_p (rtx);
+extern rtx expand_widen_pattern_expr (struct separate_ops *, rtx , rtx , rtx,
+ rtx, int);
+extern rtx expand_ternary_op (machine_mode mode, optab ternary_optab,
+ rtx op0, rtx op1, rtx op2, rtx target,
+ int unsignedp);
+extern rtx simplify_expand_binop (machine_mode mode, optab binoptab,
+ rtx op0, rtx op1, rtx target, int unsignedp,
+ enum optab_methods methods);
+extern bool force_expand_binop (machine_mode, optab, rtx, rtx, rtx, int,
+ enum optab_methods);
+extern rtx expand_vector_broadcast (machine_mode, rtx);
+
+extern rtx expand_doubleword_divmod (machine_mode, rtx, rtx, rtx *, bool);
+
+/* Generate code for a simple binary or unary operation. "Simple" in
+ this case means "can be unambiguously described by a (mode, code)
+ pair and mapped to a single optab." */
+extern rtx expand_simple_binop (machine_mode, enum rtx_code, rtx,
+ rtx, rtx, int, enum optab_methods);
+
+/* Expand a binary operation given optab and rtx operands. */
+extern rtx expand_binop (machine_mode, optab, rtx, rtx, rtx, int,
+ enum optab_methods);
+
+/* Expand a binary operation with both signed and unsigned forms. */
+extern rtx sign_expand_binop (machine_mode, optab, optab, rtx, rtx,
+ rtx, int, enum optab_methods);
+
+/* Generate code to perform an operation on one operand with two results. */
+extern bool expand_twoval_unop (optab, rtx, rtx, rtx, int);
+
+/* Generate code to perform an operation on two operands with two results. */
+extern bool expand_twoval_binop (optab, rtx, rtx, rtx, rtx, int);
+
+/* Generate code to perform an operation on two operands with two
+ results, using a library function. */
+extern bool expand_twoval_binop_libfunc (optab, rtx, rtx, rtx, rtx,
+ enum rtx_code);
+extern rtx expand_simple_unop (machine_mode, enum rtx_code, rtx, rtx,
+ int);
+
+/* Expand a unary arithmetic operation given optab rtx operand. */
+extern rtx expand_unop (machine_mode, optab, rtx, rtx, int);
+
+/* Expand the absolute value operation. */
+extern rtx expand_abs_nojump (machine_mode, rtx, rtx, int);
+extern rtx expand_abs (machine_mode, rtx, rtx, int, int);
+/* Expand the one's complement absolute value operation. */
+extern rtx expand_one_cmpl_abs_nojump (machine_mode, rtx, rtx);
+
+/* Expand the copysign operation. */
+extern rtx expand_copysign (rtx, rtx, rtx);
+/* Generate an instruction with a given INSN_CODE with an output and
+ an input. */
+extern bool maybe_emit_unop_insn (enum insn_code, rtx, rtx, enum rtx_code);
+extern void emit_unop_insn (enum insn_code, rtx, rtx, enum rtx_code);
+
+/* Emit code to make a call to a constant function or a library call. */
+extern void emit_libcall_block (rtx_insn *, rtx, rtx, rtx);
+
+/* The various uses that a comparison can have; used by can_compare_p:
+ jumps, conditional moves, store flag operations. */
+enum can_compare_purpose
+{
+ ccp_jump,
+ ccp_cmov,
+ ccp_store_flag
+};
+
+/* Nonzero if a compare of mode MODE can be done straightforwardly
+ (without splitting it into pieces). */
+extern bool can_compare_p (enum rtx_code, machine_mode,
+ enum can_compare_purpose);
+
+/* Return whether the backend can emit a vector comparison (vec_cmp/vec_cmpu)
+ for code CODE, comparing operands of mode VALUE_MODE and producing a result
+ with MASK_MODE. */
+extern bool can_vec_cmp_compare_p (enum rtx_code, machine_mode, machine_mode);
+
+/* Return whether the backend can emit a vector comparison (vcond/vcondu) for
+ code CODE, comparing operands of mode CMP_OP_MODE and producing a result
+ with VALUE_MODE. */
+extern bool can_vcond_compare_p (enum rtx_code, machine_mode, machine_mode);
+
+/* Return whether the backend can emit vector set instructions for inserting
+ element into vector at variable index position. */
+extern bool can_vec_set_var_idx_p (machine_mode);
+extern bool can_vec_extract_var_idx_p (machine_mode, machine_mode);
+
+extern rtx prepare_operand (enum insn_code, rtx, int, machine_mode,
+ machine_mode, int);
+/* Emit a pair of rtl insns to compare two rtx's and to jump
+ to a label if the comparison is true. */
+extern void emit_cmp_and_jump_insns (rtx, rtx, enum rtx_code, rtx,
+ machine_mode, int, rtx,
+ profile_probability prob
+ = profile_probability::uninitialized ());
+extern void emit_cmp_and_jump_insns (rtx, rtx, enum rtx_code, rtx,
+ machine_mode, int, tree, rtx,
+ profile_probability prob
+ = profile_probability::uninitialized ());
+
+/* Generate code to indirectly jump to a location given in the rtx LOC. */
+extern void emit_indirect_jump (rtx);
+
+#include "insn-config.h"
+
+#ifndef GCC_INSN_CONFIG_H
+#error "insn-config.h must be included before optabs.h"
+#endif
+
+/* Emit a conditional move operation. */
+rtx emit_conditional_move (rtx, rtx_comparison, rtx, rtx, machine_mode, int);
+rtx emit_conditional_move (rtx, rtx, rtx, rtx, rtx, machine_mode);
+
+/* Emit a conditional negate or bitwise complement operation. */
+rtx emit_conditional_neg_or_complement (rtx, rtx_code, machine_mode, rtx,
+ rtx, rtx);
+
+rtx emit_conditional_add (rtx, enum rtx_code, rtx, rtx, machine_mode,
+ rtx, rtx, machine_mode, int);
+
+/* Create but don't emit one rtl instruction to perform certain operations.
+ Modes must match; operands must meet the operation's predicates.
+ Likewise for subtraction and for just copying. */
+extern rtx_insn *gen_add2_insn (rtx, rtx);
+extern rtx_insn *gen_add3_insn (rtx, rtx, rtx);
+extern bool have_add2_insn (rtx, rtx);
+extern rtx_insn *gen_addptr3_insn (rtx, rtx, rtx);
+extern bool have_addptr3_insn (rtx, rtx, rtx);
+extern rtx_insn *gen_sub2_insn (rtx, rtx);
+extern rtx_insn *gen_sub3_insn (rtx, rtx, rtx);
+extern bool have_sub2_insn (rtx, rtx);
+
+/* Generate the body of an insn to extend Y (with mode MFROM)
+ into X (with mode MTO). Do zero-extension if UNSIGNEDP is nonzero. */
+extern rtx_insn *gen_extend_insn (rtx, rtx, machine_mode, machine_mode, int);
+
+/* Generate code for a FLOAT_EXPR. */
+extern void expand_float (rtx, rtx, int);
+
+/* Generate code for a FIX_EXPR. */
+extern void expand_fix (rtx, rtx, int);
+
+/* Generate code for a FIXED_CONVERT_EXPR. */
+extern void expand_fixed_convert (rtx, rtx, int, int);
+
+/* Generate code for float to integral conversion. */
+extern bool expand_sfix_optab (rtx, rtx, convert_optab);
+
+/* Report whether the machine description contains an insn which can
+ perform the operation described by CODE and MODE. */
+extern bool have_insn_for (enum rtx_code, machine_mode);
+
+/* Generate a conditional trap instruction. */
+extern rtx_insn *gen_cond_trap (enum rtx_code, rtx, rtx, rtx);
+
+/* Generate code for VEC_PERM_EXPR. */
+extern rtx expand_vec_perm_var (machine_mode, rtx, rtx, rtx, rtx);
+extern rtx expand_vec_perm_const (machine_mode, rtx, rtx,
+ const vec_perm_builder &, machine_mode, rtx);
+
+/* Generate code for vector comparison. */
+extern rtx expand_vec_cmp_expr (tree, tree, rtx);
+
+/* Generate code for VEC_SERIES_EXPR. */
+extern rtx expand_vec_series_expr (machine_mode, rtx, rtx, rtx);
+
+/* Generate code for MULT_HIGHPART_EXPR. */
+extern rtx expand_mult_highpart (machine_mode, rtx, rtx, rtx, bool);
+
+extern rtx expand_sync_lock_test_and_set (rtx, rtx, rtx);
+extern rtx expand_atomic_test_and_set (rtx, rtx, enum memmodel);
+extern rtx expand_atomic_exchange (rtx, rtx, rtx, enum memmodel);
+extern bool expand_atomic_compare_and_swap (rtx *, rtx *, rtx, rtx, rtx, bool,
+ enum memmodel, enum memmodel);
+/* Generate memory barriers. */
+extern void expand_mem_thread_fence (enum memmodel);
+extern void expand_mem_signal_fence (enum memmodel);
+
+rtx expand_atomic_load (rtx, rtx, enum memmodel);
+rtx expand_atomic_store (rtx, rtx, enum memmodel, bool);
+rtx expand_atomic_fetch_op (rtx, rtx, rtx, enum rtx_code, enum memmodel,
+ bool);
+
+extern void expand_asm_reg_clobber_mem_blockage (HARD_REG_SET);
+
+extern bool insn_operand_matches (enum insn_code icode, unsigned int opno,
+ rtx operand);
+extern bool valid_multiword_target_p (rtx);
+extern void create_convert_operand_from_type (class expand_operand *op,
+ rtx value, tree type);
extern bool maybe_legitimize_operands (enum insn_code icode,
unsigned int opno, unsigned int nops,
- struct expand_operand *ops);
-extern rtx maybe_gen_insn (enum insn_code icode, unsigned int nops,
- struct expand_operand *ops);
+ class expand_operand *ops);
+extern rtx_insn *maybe_gen_insn (enum insn_code icode, unsigned int nops,
+ class expand_operand *ops);
extern bool maybe_expand_insn (enum insn_code icode, unsigned int nops,
- struct expand_operand *ops);
+ class expand_operand *ops);
extern bool maybe_expand_jump_insn (enum insn_code icode, unsigned int nops,
- struct expand_operand *ops);
+ class expand_operand *ops);
extern void expand_insn (enum insn_code icode, unsigned int nops,
- struct expand_operand *ops);
+ class expand_operand *ops);
extern void expand_jump_insn (enum insn_code icode, unsigned int nops,
- struct expand_operand *ops);
-
-extern rtx prepare_operand (enum insn_code, rtx, int, enum machine_mode,
- enum machine_mode, int);
-
-extern void gen_int_libfunc (optab, const char *, char, enum machine_mode);
-extern void gen_fp_libfunc (optab, const char *, char, enum machine_mode);
-extern void gen_fixed_libfunc (optab, const char *, char, enum machine_mode);
-extern void gen_signed_fixed_libfunc (optab, const char *, char,
- enum machine_mode);
-extern void gen_unsigned_fixed_libfunc (optab, const char *, char,
- enum machine_mode);
-extern void gen_int_fp_libfunc (optab, const char *, char, enum machine_mode);
-extern void gen_intv_fp_libfunc (optab, const char *, char, enum machine_mode);
-extern void gen_int_fp_fixed_libfunc (optab, const char *, char,
- enum machine_mode);
-extern void gen_int_fp_signed_fixed_libfunc (optab, const char *, char,
- enum machine_mode);
-extern void gen_int_fixed_libfunc (optab, const char *, char,
- enum machine_mode);
-extern void gen_int_signed_fixed_libfunc (optab, const char *, char,
- enum machine_mode);
-extern void gen_int_unsigned_fixed_libfunc (optab, const char *, char,
- enum machine_mode);
-
-extern void gen_interclass_conv_libfunc (convert_optab, const char *,
- enum machine_mode, enum machine_mode);
-extern void gen_int_to_fp_conv_libfunc (convert_optab, const char *,
- enum machine_mode, enum machine_mode);
-extern void gen_ufloat_conv_libfunc (convert_optab, const char *,
- enum machine_mode, enum machine_mode);
-extern void gen_int_to_fp_nondecimal_conv_libfunc (convert_optab,
- const char *,
- enum machine_mode,
- enum machine_mode);
-extern void gen_fp_to_int_conv_libfunc (convert_optab, const char *,
- enum machine_mode, enum machine_mode);
-extern void gen_intraclass_conv_libfunc (convert_optab, const char *,
- enum machine_mode, enum machine_mode);
-extern void gen_trunc_conv_libfunc (convert_optab, const char *,
- enum machine_mode, enum machine_mode);
-extern void gen_extend_conv_libfunc (convert_optab, const char *,
- enum machine_mode, enum machine_mode);
-extern void gen_fract_conv_libfunc (convert_optab, const char *,
- enum machine_mode, enum machine_mode);
-extern void gen_fractuns_conv_libfunc (convert_optab, const char *,
- enum machine_mode, enum machine_mode);
-extern void gen_satfract_conv_libfunc (convert_optab, const char *,
- enum machine_mode, enum machine_mode);
-extern void gen_satfractuns_conv_libfunc (convert_optab, const char *,
- enum machine_mode,
- enum machine_mode);
-extern void init_tree_optimization_optabs (tree);
-extern bool lshift_cheap_p (bool);
+ class expand_operand *ops);
+
+extern enum rtx_code get_rtx_code_1 (enum tree_code tcode, bool unsignedp);
+extern enum rtx_code get_rtx_code (enum tree_code tcode, bool unsignedp);
+extern rtx vector_compare_rtx (machine_mode cmp_mode, enum tree_code tcode,
+ tree t_op0, tree t_op1, bool unsignedp,
+ enum insn_code icode, unsigned int opno);
+
#endif /* GCC_OPTABS_H */
projects / thirdparty / gcc.git / blobdiff