1 /* Declarations and data types for RTL call insn generation. 2 Copyright (C) 2013-2021 Free Software Foundation, Inc. 3 4 This file is part of GCC. 5 6 GCC is free software; you can redistribute it and/or modify it under 7 the terms of the GNU General Public License as published by the Free 8 Software Foundation; either version 3, or (at your option) any later 9 version. 10 11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY 12 WARRANTY; without even the implied warranty of MERCHANTABILITY or 13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License 14 for more details. 15 16 You should have received a copy of the GNU General Public License 17 along with GCC; see the file COPYING3. If not see 18 <http://www.gnu.org/licenses/>. */ 19 20 #ifndef GCC_CALLS_H 21 #define GCC_CALLS_H 22 23 /* Describes a function argument. 24 25 Each argument conceptually has a gimple-level type. Usually this type 26 is available directly as a tree via the TYPE field, but when calling 27 libgcc support functions it might instead be inferred from a mode, 28 in which case the type isn't available directly. 29 30 This gimple-level type might go through promotion before being passed to 31 the target function. Depending on the context, the MODE field is either 32 the mode of the gimple-level type (whether explicitly given or not) 33 or the mode after promotion has been performed. */ 34 class function_arg_info 35 { 36 public: function_arg_info()37 function_arg_info () 38 : type (NULL_TREE), mode (VOIDmode), named (false), 39 pass_by_reference (false) 40 {} 41 42 /* Initialize an argument of mode MODE, either before or after promotion. */ function_arg_info(machine_mode mode,bool named)43 function_arg_info (machine_mode mode, bool named) 44 : type (NULL_TREE), mode (mode), named (named), pass_by_reference (false) 45 {} 46 47 /* Initialize an unpromoted argument of type TYPE. */ function_arg_info(tree type,bool named)48 function_arg_info (tree type, bool named) 49 : type (type), mode (TYPE_MODE (type)), named (named), 50 pass_by_reference (false) 51 {} 52 53 /* Initialize an argument with explicit properties. */ function_arg_info(tree type,machine_mode mode,bool named)54 function_arg_info (tree type, machine_mode mode, bool named) 55 : type (type), mode (mode), named (named), pass_by_reference (false) 56 {} 57 58 /* Return true if the gimple-level type is an aggregate. */ aggregate_type_p()59 bool aggregate_type_p () const { return type && AGGREGATE_TYPE_P (type); } 60 61 /* Return the size of the gimple-level type, or -1 if the size is 62 variable or otherwise not representable as a poly_int64. 63 64 Use this function when MODE is the mode of the type before promotion, 65 or in any context if the target never promotes function arguments. */ type_size_in_bytes()66 poly_int64 type_size_in_bytes () const 67 { 68 if (type) 69 return int_size_in_bytes (type); 70 return GET_MODE_SIZE (mode); 71 } 72 73 /* Return the size of the argument after promotion, or -1 if the size 74 is variable or otherwise not representable as a poly_int64. 75 76 Use this function when MODE is the mode of the type after promotion. */ promoted_size_in_bytes()77 poly_int64 promoted_size_in_bytes () const 78 { 79 if (mode == BLKmode) 80 return int_size_in_bytes (type); 81 return GET_MODE_SIZE (mode); 82 } 83 84 /* True if the argument represents the end of the argument list, 85 as returned by end_marker (). */ end_marker_p()86 bool end_marker_p () const { return mode == VOIDmode; } 87 88 /* Return a function_arg_info that represents the end of the 89 argument list. */ end_marker()90 static function_arg_info end_marker () 91 { 92 return function_arg_info (void_type_node, /*named=*/true); 93 } 94 95 /* The type of the argument, or null if not known (which is true for 96 libgcc support functions). */ 97 tree type; 98 99 /* The mode of the argument. Depending on context, this might be 100 the mode of the argument type or the mode after promotion. */ 101 machine_mode mode; 102 103 /* True if the argument is treated as a named argument, false if it is 104 treated as an unnamed variadic argument (i.e. one passed through 105 "..."). See also TARGET_STRICT_ARGUMENT_NAMING. */ 106 unsigned int named : 1; 107 108 /* True if we have decided to pass the argument by reference, in which case 109 the function_arg_info describes a pointer to the original argument. */ 110 unsigned int pass_by_reference : 1; 111 }; 112 113 extern int flags_from_decl_or_type (const_tree); 114 extern int call_expr_flags (const_tree); 115 extern int setjmp_call_p (const_tree); 116 extern bool gimple_maybe_alloca_call_p (const gimple *); 117 extern bool gimple_alloca_call_p (const gimple *); 118 extern bool alloca_call_p (const_tree); 119 extern bool must_pass_in_stack_var_size (const function_arg_info &); 120 extern bool must_pass_in_stack_var_size_or_pad (const function_arg_info &); 121 extern bool must_pass_va_arg_in_stack (tree); 122 extern rtx prepare_call_address (tree, rtx, rtx, rtx *, int, int); 123 extern bool shift_return_value (machine_mode, bool, rtx); 124 extern rtx expand_call (tree, rtx, int); 125 extern void fixup_tail_calls (void); 126 127 extern bool pass_by_reference (CUMULATIVE_ARGS *, function_arg_info); 128 extern bool pass_va_arg_by_reference (tree); 129 extern bool apply_pass_by_reference_rules (CUMULATIVE_ARGS *, 130 function_arg_info &); 131 extern bool reference_callee_copied (CUMULATIVE_ARGS *, 132 const function_arg_info &); 133 extern void maybe_warn_alloc_args_overflow (tree, tree, tree[2], int[2]); 134 extern tree get_attr_nonstring_decl (tree, tree * = NULL); 135 extern bool maybe_warn_nonstring_arg (tree, tree); 136 extern void maybe_complain_about_tail_call (tree, const char *); 137 enum size_range_flags 138 { 139 /* Set to consider zero a valid range. */ 140 SR_ALLOW_ZERO = 1, 141 /* Set to use the largest subrange of a set of ranges as opposed 142 to the smallest. */ 143 SR_USE_LARGEST = 2 144 }; 145 extern bool get_size_range (tree, tree[2], int = 0); 146 extern bool get_size_range (class range_query *, tree, gimple *, 147 tree[2], int = 0); 148 extern rtx rtx_for_static_chain (const_tree, bool); 149 extern bool cxx17_empty_base_field_p (const_tree); 150 151 #endif // GCC_CALLS_H 152