| /* Declarations and data types for RTL call insn generation. |
| Copyright (C) 2013-2020 Free Software Foundation, Inc. |
| |
| This file is part of GCC. |
| |
| GCC is free software; you can redistribute it and/or modify it under |
| the terms of the GNU General Public License as published by the Free |
| Software Foundation; either version 3, or (at your option) any later |
| version. |
| |
| GCC is distributed in the hope that it will be useful, but WITHOUT ANY |
| WARRANTY; without even the implied warranty of MERCHANTABILITY or |
| FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License |
| for more details. |
| |
| You should have received a copy of the GNU General Public License |
| along with GCC; see the file COPYING3. If not see |
| <http://www.gnu.org/licenses/>. */ |
| |
| #ifndef GCC_CALLS_H |
| #define GCC_CALLS_H |
| |
| /* Describes a function argument. |
| |
| Each argument conceptually has a gimple-level type. Usually this type |
| is available directly as a tree via the TYPE field, but when calling |
| libgcc support functions it might instead be inferred from a mode, |
| in which case the type isn't available directly. |
| |
| This gimple-level type might go through promotion before being passed to |
| the target function. Depending on the context, the MODE field is either |
| the mode of the gimple-level type (whether explicitly given or not) |
| or the mode after promotion has been performed. */ |
| class function_arg_info |
| { |
| public: |
| function_arg_info () |
| : type (NULL_TREE), mode (VOIDmode), named (false), |
| pass_by_reference (false) |
| {} |
| |
| /* Initialize an argument of mode MODE, either before or after promotion. */ |
| function_arg_info (machine_mode mode, bool named) |
| : type (NULL_TREE), mode (mode), named (named), pass_by_reference (false) |
| {} |
| |
| /* Initialize an unpromoted argument of type TYPE. */ |
| function_arg_info (tree type, bool named) |
| : type (type), mode (TYPE_MODE (type)), named (named), |
| pass_by_reference (false) |
| {} |
| |
| /* Initialize an argument with explicit properties. */ |
| function_arg_info (tree type, machine_mode mode, bool named) |
| : type (type), mode (mode), named (named), pass_by_reference (false) |
| {} |
| |
| /* Return true if the gimple-level type is an aggregate. */ |
| bool aggregate_type_p () const { return type && AGGREGATE_TYPE_P (type); } |
| |
| /* Return the size of the gimple-level type, or -1 if the size is |
| variable or otherwise not representable as a poly_int64. |
| |
| Use this function when MODE is the mode of the type before promotion, |
| or in any context if the target never promotes function arguments. */ |
| poly_int64 type_size_in_bytes () const |
| { |
| if (type) |
| return int_size_in_bytes (type); |
| return GET_MODE_SIZE (mode); |
| } |
| |
| /* Return the size of the argument after promotion, or -1 if the size |
| is variable or otherwise not representable as a poly_int64. |
| |
| Use this function when MODE is the mode of the type after promotion. */ |
| poly_int64 promoted_size_in_bytes () const |
| { |
| if (mode == BLKmode) |
| return int_size_in_bytes (type); |
| return GET_MODE_SIZE (mode); |
| } |
| |
| /* True if the argument represents the end of the argument list, |
| as returned by end_marker (). */ |
| bool end_marker_p () const { return mode == VOIDmode; } |
| |
| /* Return a function_arg_info that represents the end of the |
| argument list. */ |
| static function_arg_info end_marker () |
| { |
| return function_arg_info (void_type_node, /*named=*/true); |
| } |
| |
| /* The type of the argument, or null if not known (which is true for |
| libgcc support functions). */ |
| tree type; |
| |
| /* The mode of the argument. Depending on context, this might be |
| the mode of the argument type or the mode after promotion. */ |
| machine_mode mode; |
| |
| /* True if the argument is treated as a named argument, false if it is |
| treated as an unnamed variadic argument (i.e. one passed through |
| "..."). See also TARGET_STRICT_ARGUMENT_NAMING. */ |
| unsigned int named : 1; |
| |
| /* True if we have decided to pass the argument by reference, in which case |
| the function_arg_info describes a pointer to the original argument. */ |
| unsigned int pass_by_reference : 1; |
| }; |
| |
| extern int flags_from_decl_or_type (const_tree); |
| extern int call_expr_flags (const_tree); |
| extern int setjmp_call_p (const_tree); |
| extern bool gimple_maybe_alloca_call_p (const gimple *); |
| extern bool gimple_alloca_call_p (const gimple *); |
| extern bool alloca_call_p (const_tree); |
| extern bool must_pass_in_stack_var_size (const function_arg_info &); |
| extern bool must_pass_in_stack_var_size_or_pad (const function_arg_info &); |
| extern bool must_pass_va_arg_in_stack (tree); |
| extern rtx prepare_call_address (tree, rtx, rtx, rtx *, int, int); |
| extern bool shift_return_value (machine_mode, bool, rtx); |
| extern rtx expand_call (tree, rtx, int); |
| extern void fixup_tail_calls (void); |
| |
| extern bool pass_by_reference (CUMULATIVE_ARGS *, function_arg_info); |
| extern bool pass_va_arg_by_reference (tree); |
| extern bool apply_pass_by_reference_rules (CUMULATIVE_ARGS *, |
| function_arg_info &); |
| extern bool reference_callee_copied (CUMULATIVE_ARGS *, |
| const function_arg_info &); |
| extern void maybe_warn_alloc_args_overflow (tree, tree, tree[2], int[2]); |
| extern tree get_attr_nonstring_decl (tree, tree * = NULL); |
| extern void maybe_warn_nonstring_arg (tree, tree); |
| extern bool get_size_range (tree, tree[2], bool = false); |
| extern rtx rtx_for_static_chain (const_tree, bool); |
| extern bool cxx17_empty_base_field_p (const_tree); |
| |
| #endif // GCC_CALLS_H |