]>
git.ipfire.org Git - thirdparty/gcc.git/blob - gcc/calls.h
1 /* Declarations and data types for RTL call insn generation.
2 Copyright (C) 2013-2019 Free Software Foundation, Inc.
4 This file is part of GCC.
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
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
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/>. */
23 /* Describes a function argument.
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.
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
37 function_arg_info () : type (NULL_TREE
), mode (VOIDmode
), named (false) {}
39 /* Initialize an argument of mode MODE, either before or after promotion. */
40 function_arg_info (machine_mode mode
, bool named
)
41 : type (NULL_TREE
), mode (mode
), named (named
)
44 /* Initialize an unpromoted argument of type TYPE. */
45 function_arg_info (tree type
, bool named
)
46 : type (type
), mode (TYPE_MODE (type
)), named (named
)
49 /* Initialize an argument with explicit properties. */
50 function_arg_info (tree type
, machine_mode mode
, bool named
)
51 : type (type
), mode (mode
), named (named
)
54 /* Return true if the gimple-level type is an aggregate. */
55 bool aggregate_type_p () const { return type
&& AGGREGATE_TYPE_P (type
); }
57 /* Return the size of the gimple-level type, or -1 if the size is
58 variable or otherwise not representable as a poly_int64.
60 Use this function when MODE is the mode of the type before promotion,
61 or in any context if the target never promotes function arguments. */
62 poly_int64
type_size_in_bytes () const
65 return int_size_in_bytes (type
);
66 return GET_MODE_SIZE (mode
);
69 /* Return the size of the argument after promotion, or -1 if the size
70 is variable or otherwise not representable as a poly_int64.
72 Use this function when MODE is the mode of the type after promotion. */
73 poly_int64
promoted_size_in_bytes () const
76 return int_size_in_bytes (type
);
77 return GET_MODE_SIZE (mode
);
80 /* True if the argument represents the end of the argument list,
81 as returned by end_marker (). */
82 bool end_marker_p () const { return mode
== VOIDmode
; }
84 /* Return a function_arg_info that represents the end of the
86 static function_arg_info
end_marker ()
88 return function_arg_info (void_type_node
, /*named=*/true);
91 /* The type of the argument, or null if not known (which is true for
92 libgcc support functions). */
95 /* The mode of the argument. Depending on context, this might be
96 the mode of the argument type or the mode after promotion. */
99 /* True if the argument is treated as a named argument, false if it is
100 treated as an unnamed variadic argument (i.e. one passed through
101 "..."). See also TARGET_STRICT_ARGUMENT_NAMING. */
102 unsigned int named
: 1;
105 extern int flags_from_decl_or_type (const_tree
);
106 extern int call_expr_flags (const_tree
);
107 extern int setjmp_call_p (const_tree
);
108 extern bool gimple_maybe_alloca_call_p (const gimple
*);
109 extern bool gimple_alloca_call_p (const gimple
*);
110 extern bool alloca_call_p (const_tree
);
111 extern bool must_pass_in_stack_var_size (machine_mode
, const_tree
);
112 extern bool must_pass_in_stack_var_size_or_pad (machine_mode
, const_tree
);
113 extern bool must_pass_va_arg_in_stack (tree
);
114 extern rtx
prepare_call_address (tree
, rtx
, rtx
, rtx
*, int, int);
115 extern bool shift_return_value (machine_mode
, bool, rtx
);
116 extern rtx
expand_call (tree
, rtx
, int);
117 extern void fixup_tail_calls (void);
119 extern bool pass_by_reference (CUMULATIVE_ARGS
*, function_arg_info
);
120 extern bool pass_va_arg_by_reference (tree
);
121 extern bool reference_callee_copied (CUMULATIVE_ARGS
*, machine_mode
,
123 extern void maybe_warn_alloc_args_overflow (tree
, tree
, tree
[2], int[2]);
124 extern tree
get_attr_nonstring_decl (tree
, tree
* = NULL
);
125 extern void maybe_warn_nonstring_arg (tree
, tree
);
126 extern bool get_size_range (tree
, tree
[2], bool = false);
127 extern rtx
rtx_for_static_chain (const_tree
, bool);
129 #endif // GCC_CALLS_H