]>
Commit | Line | Data |
---|---|---|
86f22339 | 1 | /* Structure for saving state for a nested function. |
fbd26352 | 2 | Copyright (C) 1989-2019 Free Software Foundation, Inc. |
86f22339 | 3 | |
f12b58b3 | 4 | This file is part of GCC. |
86f22339 | 5 | |
f12b58b3 | 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 | |
8c4c00c1 | 8 | Software Foundation; either version 3, or (at your option) any later |
f12b58b3 | 9 | version. |
86f22339 | 10 | |
f12b58b3 | 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. | |
86f22339 | 15 | |
16 | You should have received a copy of the GNU General Public License | |
8c4c00c1 | 17 | along with GCC; see the file COPYING3. If not see |
18 | <http://www.gnu.org/licenses/>. */ | |
86f22339 | 19 | |
c17b85ea | 20 | #ifndef GCC_FUNCTION_H |
21 | #define GCC_FUNCTION_H | |
458cf334 | 22 | |
851395b6 | 23 | |
86f22339 | 24 | /* Stack of pending (incomplete) sequences saved by `start_sequence'. |
25 | Each element describes one pending sequence. | |
26 | The main insn-chain is saved in the last element of the chain, | |
27 | unless the chain is empty. */ | |
28 | ||
fb1e4f4a | 29 | struct GTY(()) sequence_stack { |
86f22339 | 30 | /* First and last insns in the chain of the saved sequence. */ |
b644802a | 31 | rtx_insn *first; |
32 | rtx_insn *last; | |
86f22339 | 33 | struct sequence_stack *next; |
34 | }; | |
86f22339 | 35 | \f |
fb1e4f4a | 36 | struct GTY(()) emit_status { |
cd769037 | 37 | void ensure_regno_capacity (); |
38 | ||
0a893c29 | 39 | /* This is reset to LAST_VIRTUAL_REGISTER + 1 at the start of each function. |
40 | After rtl generation, it is 1 plus the largest register number used. */ | |
41 | int x_reg_rtx_no; | |
42 | ||
43 | /* Lowest label number in current function. */ | |
44 | int x_first_label_num; | |
45 | ||
c36aa54b | 46 | /* seq.first and seq.last are the ends of the doubly-linked chain of |
47 | rtl for the current function. Both are reset to null at the | |
48 | start of rtl generation for the function. | |
de1b648b | 49 | |
c36aa54b | 50 | start_sequence saves both of these on seq.next and then starts |
51 | a new, nested sequence of insns. | |
0a893c29 | 52 | |
c36aa54b | 53 | seq.next is a stack of pending (incomplete) sequences saved by |
54 | start_sequence. Each element describes one pending sequence. | |
55 | The main insn-chain is the last element of the chain. */ | |
56 | struct sequence_stack seq; | |
0a893c29 | 57 | |
58 | /* INSN_UID for next insn emitted. | |
59 | Reset to 1 for each function compiled. */ | |
60 | int x_cur_insn_uid; | |
61 | ||
9845d120 | 62 | /* INSN_UID for next debug insn emitted. Only used if |
63 | --param min-nondebug-insn-uid=<value> is given with nonzero value. */ | |
64 | int x_cur_debug_insn_uid; | |
65 | ||
fcdc122e | 66 | /* The length of the regno_pointer_align, regno_decl, and x_regno_reg_rtx |
67 | vectors. Since these vectors are needed during the expansion phase when | |
68 | the total number of registers in the function is not yet known, the | |
69 | vectors are copied and made bigger when necessary. */ | |
e61a0a7f | 70 | int regno_pointer_align_length; |
0a893c29 | 71 | |
72 | /* Indexed by pseudo register number, if nonzero gives the known alignment | |
e61a0a7f | 73 | for that pseudo (if REG_POINTER is set in x_regno_reg_rtx). |
74 | Allocated in parallel with x_regno_reg_rtx. */ | |
b079a207 | 75 | unsigned char * GTY((skip)) regno_pointer_align; |
0a893c29 | 76 | }; |
77 | ||
b079a207 | 78 | |
e49cbd3a | 79 | /* Indexed by register number, gives an rtx for that register (and only |
80 | that register). For pseudo registers, it is the unique rtx for | |
81 | that pseudo. For hard registers, it is an rtx of the mode specified | |
82 | by reg_raw_mode. | |
83 | ||
84 | FIXME: We could put it into emit_status struct, but gengtype is not | |
85 | able to deal with length attribute nested in top level structures. */ | |
b079a207 | 86 | |
fd6ffb7c | 87 | extern GTY ((length ("crtl->emit.x_reg_rtx_no"))) rtx * regno_reg_rtx; |
b079a207 | 88 | |
0a893c29 | 89 | /* For backward compatibility... eventually these should all go away. */ |
fd6ffb7c | 90 | #define reg_rtx_no (crtl->emit.x_reg_rtx_no) |
0a893c29 | 91 | |
fd6ffb7c | 92 | #define REGNO_POINTER_ALIGN(REGNO) (crtl->emit.regno_pointer_align[REGNO]) |
0a893c29 | 93 | |
fb1e4f4a | 94 | struct GTY(()) expr_status { |
0a893c29 | 95 | /* Number of units that we should eventually pop off the stack. |
96 | These are the arguments to function calls that have already returned. */ | |
e0deb08c | 97 | poly_int64_pod x_pending_stack_adjust; |
0a893c29 | 98 | |
99 | /* Under some ABIs, it is the caller's responsibility to pop arguments | |
100 | pushed for function calls. A naive implementation would simply pop | |
101 | the arguments immediately after each call. However, if several | |
102 | function calls are made in a row, it is typically cheaper to pop | |
103 | all the arguments after all of the calls are complete since a | |
104 | single pop instruction can be used. Therefore, GCC attempts to | |
105 | defer popping the arguments until absolutely necessary. (For | |
106 | example, at the end of a conditional, the arguments must be popped, | |
107 | since code outside the conditional won't know whether or not the | |
108 | arguments need to be popped.) | |
109 | ||
6ef828f9 | 110 | When INHIBIT_DEFER_POP is nonzero, however, the compiler does not |
0a893c29 | 111 | attempt to defer pops. Instead, the stack is popped immediately |
112 | after each call. Rather then setting this variable directly, use | |
113 | NO_DEFER_POP and OK_DEFER_POP. */ | |
114 | int x_inhibit_defer_pop; | |
115 | ||
91b70175 | 116 | /* If PREFERRED_STACK_BOUNDARY and PUSH_ROUNDING are defined, the stack |
511fa697 | 117 | boundary can be momentarily unaligned while pushing the arguments. |
91b70175 | 118 | Record the delta since last aligned boundary here in order to get |
119 | stack alignment in the nested function calls working right. */ | |
e0deb08c | 120 | poly_int64_pod x_stack_pointer_delta; |
91b70175 | 121 | |
0a893c29 | 122 | /* Nonzero means __builtin_saveregs has already been done in this function. |
123 | The value is the pseudoreg containing the value __builtin_saveregs | |
124 | returned. */ | |
125 | rtx x_saveregs_value; | |
126 | ||
127 | /* Similarly for __builtin_apply_args. */ | |
128 | rtx x_apply_args_value; | |
129 | ||
130 | /* List of labels that must never be deleted. */ | |
de039705 | 131 | vec<rtx_insn *, va_gc> *x_forced_labels; |
0a893c29 | 132 | }; |
133 | ||
26dbec0a | 134 | typedef struct call_site_record_d *call_site_record; |
4dd3de56 | 135 | |
136 | /* RTL representation of exception handling. */ | |
fb1e4f4a | 137 | struct GTY(()) rtl_eh { |
4dd3de56 | 138 | rtx ehr_stackadj; |
139 | rtx ehr_handler; | |
013bb867 | 140 | rtx_code_label *ehr_label; |
4dd3de56 | 141 | |
142 | rtx sjlj_fc; | |
013bb867 | 143 | rtx_insn *sjlj_exit_after; |
4dd3de56 | 144 | |
f1f41a6c | 145 | vec<uchar, va_gc> *action_record_data; |
4dd3de56 | 146 | |
f1f41a6c | 147 | vec<call_site_record, va_gc> *call_site_record_v[2]; |
4dd3de56 | 148 | }; |
149 | ||
fd6ffb7c | 150 | #define pending_stack_adjust (crtl->expr.x_pending_stack_adjust) |
151 | #define inhibit_defer_pop (crtl->expr.x_inhibit_defer_pop) | |
152 | #define saveregs_value (crtl->expr.x_saveregs_value) | |
153 | #define apply_args_value (crtl->expr.x_apply_args_value) | |
154 | #define forced_labels (crtl->expr.x_forced_labels) | |
155 | #define stack_pointer_delta (crtl->expr.x_stack_pointer_delta) | |
0a893c29 | 156 | |
2d04fd8d | 157 | struct gimple_df; |
26dbec0a | 158 | struct call_site_record_d; |
b3e7c666 | 159 | struct dw_fde_node; |
84aacb40 | 160 | |
fb1e4f4a | 161 | struct GTY(()) varasm_status { |
b079a207 | 162 | /* If we're using a per-function constant pool, this is it. */ |
163 | struct rtx_constant_pool *pool; | |
164 | ||
165 | /* Number of tree-constants deferred during the expansion of this | |
166 | function. */ | |
167 | unsigned int deferred_constants; | |
168 | }; | |
169 | ||
abe32cce | 170 | |
171 | /* Data for function partitioning. */ | |
fb1e4f4a | 172 | struct GTY(()) function_subsections { |
abe32cce | 173 | /* Assembly labels for the hot and cold text sections, to |
174 | be used by debugger functions for determining the size of text | |
175 | sections. */ | |
176 | ||
177 | const char *hot_section_label; | |
178 | const char *cold_section_label; | |
179 | const char *hot_section_end_label; | |
180 | const char *cold_section_end_label; | |
abe32cce | 181 | }; |
182 | ||
43165fe4 | 183 | /* Describe an empty area of space in the stack frame. These can be chained |
184 | into a list; this is used to keep track of space wasted for alignment | |
185 | reasons. */ | |
251317e4 | 186 | class GTY(()) frame_space |
43165fe4 | 187 | { |
251317e4 | 188 | public: |
2e966e2a | 189 | class frame_space *next; |
43165fe4 | 190 | |
85aa2f28 | 191 | poly_int64 start; |
192 | poly_int64 length; | |
43165fe4 | 193 | }; |
194 | ||
251317e4 | 195 | class GTY(()) stack_usage |
990495a7 | 196 | { |
251317e4 | 197 | public: |
990495a7 | 198 | /* # of bytes of static stack space allocated by the function. */ |
199 | HOST_WIDE_INT static_stack_size; | |
200 | ||
201 | /* # of bytes of dynamic stack space allocated by the function. This is | |
202 | meaningful only if has_unbounded_dynamic_stack_size is zero. */ | |
203 | HOST_WIDE_INT dynamic_stack_size; | |
204 | ||
e0deb08c | 205 | /* Upper bound on the number of bytes pushed onto the stack after the |
206 | prologue. If !ACCUMULATE_OUTGOING_ARGS, it contains the outgoing | |
207 | arguments. */ | |
208 | poly_int64 pushed_stack_size; | |
990495a7 | 209 | |
990495a7 | 210 | /* Nonzero if the amount of stack space allocated dynamically cannot |
211 | be bounded at compile-time. */ | |
212 | unsigned int has_unbounded_dynamic_stack_size : 1; | |
213 | }; | |
214 | ||
215 | #define current_function_static_stack_size (cfun->su->static_stack_size) | |
216 | #define current_function_dynamic_stack_size (cfun->su->dynamic_stack_size) | |
217 | #define current_function_pushed_stack_size (cfun->su->pushed_stack_size) | |
990495a7 | 218 | #define current_function_has_unbounded_dynamic_stack_size \ |
219 | (cfun->su->has_unbounded_dynamic_stack_size) | |
220 | #define current_function_allocates_dynamic_stack_space \ | |
221 | (current_function_dynamic_stack_size != 0 \ | |
222 | || current_function_has_unbounded_dynamic_stack_size) | |
223 | ||
86f22339 | 224 | /* This structure can save all the important global and static variables |
225 | describing the status of the current function. */ | |
226 | ||
fb1e4f4a | 227 | struct GTY(()) function { |
304c5bf1 | 228 | struct eh_status *eh; |
229 | ||
7a22afab | 230 | /* The control flow graph for this function. */ |
231 | struct control_flow_graph *cfg; | |
75a70cf9 | 232 | |
233 | /* GIMPLE body for this function. */ | |
e3a19533 | 234 | gimple_seq gimple_body; |
75a70cf9 | 235 | |
2d04fd8d | 236 | /* SSA and dataflow information. */ |
237 | struct gimple_df *gimple_df; | |
7a22afab | 238 | |
88e6f696 | 239 | /* The loops in this function. */ |
ccae4f9f | 240 | struct loops *x_current_loops; |
88e6f696 | 241 | |
175e0d6b | 242 | /* Filled by the GIMPLE and RTL FEs, pass to start compilation with. */ |
b1f04d34 | 243 | char *pass_startwith; |
244 | ||
990495a7 | 245 | /* The stack usage of this function. */ |
2e966e2a | 246 | class stack_usage *su; |
990495a7 | 247 | |
4992f399 | 248 | /* Value histograms attached to particular statements. */ |
249 | htab_t GTY((skip)) value_histograms; | |
250 | ||
86f22339 | 251 | /* For function.c. */ |
0a893c29 | 252 | |
ab6d34f7 | 253 | /* Points to the FUNCTION_DECL of this function. */ |
86f22339 | 254 | tree decl; |
0a893c29 | 255 | |
ff6fba0d | 256 | /* A PARM_DECL that should contain the static chain for this function. |
4ee9c684 | 257 | It will be initialized at the beginning of the function. */ |
258 | tree static_chain_decl; | |
0a893c29 | 259 | |
4ee9c684 | 260 | /* An expression that contains the non-local goto save area. The first |
48e1416a | 261 | word is the saved frame pointer and the second is the saved stack |
4ee9c684 | 262 | pointer. */ |
263 | tree nonlocal_goto_save_area; | |
0a893c29 | 264 | |
2ab2ce89 | 265 | /* Vector of function local variables, functions, types and constants. */ |
f1f41a6c | 266 | vec<tree, va_gc> *local_decls; |
edb7afe8 | 267 | |
86f22339 | 268 | /* For md files. */ |
0a893c29 | 269 | |
09a69002 | 270 | /* tm.h can use this to store whatever it likes. */ |
7035b2ab | 271 | struct machine_function * GTY ((maybe_undef)) machine; |
ee5142f6 | 272 | |
1722f898 | 273 | /* Language-specific code can use this to store whatever it likes. */ |
1f3233d1 | 274 | struct language_function * language; |
1722f898 | 275 | |
f6e59711 | 276 | /* Used types hash table. */ |
8f359205 | 277 | hash_set<tree> *GTY (()) used_types_hash; |
f6e59711 | 278 | |
6033bf11 | 279 | /* Dwarf2 Frame Description Entry, containing the Call Frame Instructions |
280 | used for unwinding. Only set when either dwarf2 unwinding or dwarf2 | |
281 | debugging is enabled. */ | |
b3e7c666 | 282 | struct dw_fde_node *fde; |
6033bf11 | 283 | |
ec415c45 | 284 | /* Last statement uid. */ |
285 | int last_stmt_uid; | |
286 | ||
90567983 | 287 | /* Debug marker counter. Count begin stmt markers. We don't have |
288 | to keep it exact, it's more of a rough estimate to enable us to | |
289 | decide whether they are too many to copy during inlining, or when | |
290 | expanding to RTL. */ | |
291 | int debug_marker_count; | |
292 | ||
9fac1c66 | 293 | /* Function sequence number for profiling, debugging, etc. */ |
294 | int funcdef_no; | |
295 | ||
30099c0c | 296 | /* Line number of the start of the function for debugging purposes. */ |
297 | location_t function_start_locus; | |
298 | ||
4ee9c684 | 299 | /* Line number of the end of the function. */ |
300 | location_t function_end_locus; | |
301 | ||
80f94d49 | 302 | /* Properties used by the pass manager. */ |
303 | unsigned int curr_properties; | |
304 | unsigned int last_verified; | |
d747fdfb | 305 | |
d747fdfb | 306 | /* Non-null if the function does something that would prevent it from |
307 | being copied; this applies to both versioning and inlining. Set to | |
308 | a string describing the reason for failure. */ | |
309 | const char * GTY((skip)) cannot_be_copied_reason; | |
310 | ||
62b0a610 | 311 | /* Last assigned dependence info clique. */ |
312 | unsigned short last_clique; | |
313 | ||
1df0049e | 314 | /* Collected bit flags. */ |
315 | ||
29f09705 | 316 | /* Number of units of general registers that need saving in stdarg |
317 | function. What unit is depends on the backend, either it is number | |
318 | of bytes, or it can be number of registers. */ | |
319 | unsigned int va_list_gpr_size : 8; | |
320 | ||
321 | /* Number of units of floating point registers that need saving in stdarg | |
322 | function. */ | |
323 | unsigned int va_list_fpr_size : 8; | |
324 | ||
1df0049e | 325 | /* Nonzero if function being compiled can call setjmp. */ |
326 | unsigned int calls_setjmp : 1; | |
327 | ||
1df0049e | 328 | /* Nonzero if function being compiled can call alloca, |
329 | either as a subroutine or builtin. */ | |
330 | unsigned int calls_alloca : 1; | |
331 | ||
a9b358ce | 332 | /* Nonzero if function being compiled can call __builtin_eh_return. */ |
333 | unsigned int calls_eh_return : 1; | |
334 | ||
1df0049e | 335 | /* Nonzero if function being compiled receives nonlocal gotos |
336 | from nested functions. */ | |
337 | unsigned int has_nonlocal_label : 1; | |
338 | ||
37af779a | 339 | /* Nonzero if function being compiled has a forced label |
340 | placed into static storage. */ | |
341 | unsigned int has_forced_label_in_static : 1; | |
342 | ||
48e1416a | 343 | /* Nonzero if we've set cannot_be_copied_reason. I.e. if |
d747fdfb | 344 | (cannot_be_copied_set && !cannot_be_copied_reason), the function |
345 | can in fact be copied. */ | |
346 | unsigned int cannot_be_copied_set : 1; | |
347 | ||
7ccc713a | 348 | /* Nonzero if current function uses stdarg.h or equivalent. */ |
1df0049e | 349 | unsigned int stdarg : 1; |
350 | ||
ee5142f6 | 351 | unsigned int after_inlining : 1; |
198622c0 | 352 | unsigned int always_inline_functions_inlined : 1; |
ee5142f6 | 353 | |
cbeb677e | 354 | /* Nonzero if function being compiled can throw synchronous non-call |
355 | exceptions. */ | |
356 | unsigned int can_throw_non_call_exceptions : 1; | |
357 | ||
bc0dfc8d | 358 | /* Nonzero if instructions that may throw exceptions but don't otherwise |
359 | contribute to the execution of the program can be deleted. */ | |
360 | unsigned int can_delete_dead_exceptions : 1; | |
361 | ||
80f2ef47 | 362 | /* Fields below this point are not set for abstract functions; see |
363 | allocate_struct_function. */ | |
364 | ||
365 | /* Nonzero if function being compiled needs to be given an address | |
366 | where the value should be stored. */ | |
367 | unsigned int returns_struct : 1; | |
368 | ||
369 | /* Nonzero if function being compiled needs to | |
370 | return the address of where it has put a structure value. */ | |
371 | unsigned int returns_pcc_struct : 1; | |
b3a3ddec | 372 | |
e15deb4b | 373 | /* Nonzero if this function has local DECL_HARD_REGISTER variables. |
374 | In this case code motion has to be done more carefully. */ | |
375 | unsigned int has_local_explicit_reg_vars : 1; | |
9247818a | 376 | |
377 | /* Nonzero if the current function is a thunk, i.e., a lightweight | |
378 | function implemented by the output_mi_thunk hook) that just | |
379 | adjusts one of its arguments and forwards to another | |
380 | function. */ | |
381 | unsigned int is_thunk : 1; | |
3d483a94 | 382 | |
383 | /* Nonzero if the current function contains any loops with | |
4c73695b | 384 | loop->force_vectorize set. */ |
385 | unsigned int has_force_vectorize_loops : 1; | |
3d483a94 | 386 | |
387 | /* Nonzero if the current function contains any loops with | |
388 | nonzero value in loop->simduid. */ | |
389 | unsigned int has_simduid_loops : 1; | |
dc7cdd37 | 390 | |
2a09b28c | 391 | /* Nonzero when the tail call has been identified. */ |
dc7cdd37 | 392 | unsigned int tail_call_marked : 1; |
2a09b28c | 393 | |
394 | /* Nonzero if the current function contains a #pragma GCC unroll. */ | |
395 | unsigned int has_unroll : 1; | |
90567983 | 396 | |
397 | /* Set when the function was compiled with generation of debug | |
398 | (begin stmt, inline entry, ...) markers enabled. */ | |
399 | unsigned int debug_nonbind_markers : 1; | |
86f22339 | 400 | }; |
401 | ||
2ab2ce89 | 402 | /* Add the decl D to the local_decls list of FUN. */ |
403 | ||
bdb8985a | 404 | void add_local_decl (struct function *fun, tree d); |
2ab2ce89 | 405 | |
406 | #define FOR_EACH_LOCAL_DECL(FUN, I, D) \ | |
f1f41a6c | 407 | FOR_EACH_VEC_SAFE_ELT_REVERSE ((FUN)->local_decls, I, D) |
2ab2ce89 | 408 | |
a6c787e5 | 409 | /* If va_list_[gf]pr_size is set to this, it means we don't know how |
410 | many units need to be saved. */ | |
411 | #define VA_LIST_MAX_GPR_SIZE 255 | |
412 | #define VA_LIST_MAX_FPR_SIZE 255 | |
413 | ||
08513b52 | 414 | /* The function currently being compiled. */ |
1f3233d1 | 415 | extern GTY(()) struct function *cfun; |
08513b52 | 416 | |
c8a152f6 | 417 | /* In order to ensure that cfun is not set directly, we redefine it so |
418 | that it is not an lvalue. Rather than assign to cfun, use | |
419 | push_cfun or set_cfun. */ | |
420 | #define cfun (cfun + 0) | |
421 | ||
9c0a756f | 422 | /* Nonzero if we've already converted virtual regs to hard regs. */ |
423 | extern int virtuals_instantiated; | |
424 | ||
3fd62642 | 425 | /* Nonzero if at least one trampoline has been created. */ |
426 | extern int trampolines_created; | |
427 | ||
2ef51f0e | 428 | struct GTY((for_user)) types_used_by_vars_entry { |
1a4c44c5 | 429 | tree type; |
430 | tree var_decl; | |
431 | }; | |
432 | ||
b594087e | 433 | struct used_type_hasher : ggc_ptr_hash<types_used_by_vars_entry> |
2ef51f0e | 434 | { |
435 | static hashval_t hash (types_used_by_vars_entry *); | |
436 | static bool equal (types_used_by_vars_entry *, types_used_by_vars_entry *); | |
437 | }; | |
438 | ||
1a4c44c5 | 439 | /* Hash table making the relationship between a global variable |
440 | and the types it references in its initializer. The key of the | |
441 | entry is a referenced type, and the value is the DECL of the global | |
442 | variable. types_use_by_vars_do_hash and types_used_by_vars_eq below are | |
443 | the hash and equality functions to use for this hash table. */ | |
2ef51f0e | 444 | extern GTY(()) hash_table<used_type_hasher> *types_used_by_vars_hash; |
1a4c44c5 | 445 | |
1a4c44c5 | 446 | void types_used_by_var_decl_insert (tree type, tree var_decl); |
447 | ||
aef48c9a | 448 | /* During parsing of a global variable, this vector contains the types |
449 | referenced by the global variable. */ | |
f1f41a6c | 450 | extern GTY(()) vec<tree, va_gc> *types_used_by_cur_var_decl; |
1a4c44c5 | 451 | |
87d4aa85 | 452 | |
41f75a99 | 453 | /* Return the loop tree of FN. */ |
454 | ||
455 | inline struct loops * | |
456 | loops_for_fn (struct function *fn) | |
457 | { | |
458 | return fn->x_current_loops; | |
459 | } | |
460 | ||
461 | /* Set the loop tree of FN to LOOPS. */ | |
462 | ||
463 | inline void | |
464 | set_loops_for_fn (struct function *fn, struct loops *loops) | |
465 | { | |
466 | gcc_checking_assert (fn->x_current_loops == NULL || loops == NULL); | |
467 | fn->x_current_loops = loops; | |
468 | } | |
469 | ||
0a893c29 | 470 | /* For backward compatibility... eventually these should all go away. */ |
4781f9b9 | 471 | #define current_function_funcdef_no (cfun->funcdef_no) |
08513b52 | 472 | |
88e6f696 | 473 | #define current_loops (cfun->x_current_loops) |
edfe0dbf | 474 | #define dom_computed (cfun->cfg->x_dom_computed) |
475 | #define n_bbs_in_dom_tree (cfun->cfg->x_n_bbs_in_dom_tree) | |
4992f399 | 476 | #define VALUE_HISTOGRAMS(fun) (fun)->value_histograms |
86f22339 | 477 | |
a3020f2f | 478 | /* A pointer to a function to create target specific, per-function |
479 | data structures. */ | |
480 | extern struct machine_function * (*init_machine_status) (void); | |
09a69002 | 481 | |
a3020f2f | 482 | /* Structure to record the size of a sequence of arguments |
483 | as the sum of a tree-expression and a constant. This structure is | |
484 | also used to store offsets from the stack, which might be negative, | |
485 | so the variable part must be ssizetype, not sizetype. */ | |
486 | ||
487 | struct args_size | |
488 | { | |
e0deb08c | 489 | poly_int64_pod constant; |
a3020f2f | 490 | tree var; |
491 | }; | |
492 | ||
493 | /* Package up various arg related fields of struct args for | |
494 | locate_and_pad_parm. */ | |
495 | struct locate_and_pad_arg_data | |
496 | { | |
497 | /* Size of this argument on the stack, rounded up for any padding it | |
498 | gets. If REG_PARM_STACK_SPACE is defined, then register parms are | |
499 | counted here, otherwise they aren't. */ | |
500 | struct args_size size; | |
501 | /* Offset of this argument from beginning of stack-args. */ | |
502 | struct args_size offset; | |
503 | /* Offset to the start of the stack slot. Different from OFFSET | |
504 | if this arg pads downward. */ | |
505 | struct args_size slot_offset; | |
506 | /* The amount that the stack pointer needs to be adjusted to | |
507 | force alignment for the next argument. */ | |
508 | struct args_size alignment_pad; | |
509 | /* Which way we should pad this arg. */ | |
d7ab0e3d | 510 | pad_direction where_pad; |
a3020f2f | 511 | /* slot_offset is at least this aligned. */ |
512 | unsigned int boundary; | |
513 | }; | |
514 | ||
515 | /* Add the value of the tree INC to the `struct args_size' TO. */ | |
516 | ||
517 | #define ADD_PARM_SIZE(TO, INC) \ | |
518 | do { \ | |
519 | tree inc = (INC); \ | |
520 | if (tree_fits_shwi_p (inc)) \ | |
521 | (TO).constant += tree_to_shwi (inc); \ | |
522 | else if ((TO).var == 0) \ | |
523 | (TO).var = fold_convert (ssizetype, inc); \ | |
524 | else \ | |
525 | (TO).var = size_binop (PLUS_EXPR, (TO).var, \ | |
526 | fold_convert (ssizetype, inc)); \ | |
527 | } while (0) | |
528 | ||
529 | #define SUB_PARM_SIZE(TO, DEC) \ | |
530 | do { \ | |
531 | tree dec = (DEC); \ | |
532 | if (tree_fits_shwi_p (dec)) \ | |
533 | (TO).constant -= tree_to_shwi (dec); \ | |
534 | else if ((TO).var == 0) \ | |
535 | (TO).var = size_binop (MINUS_EXPR, ssize_int (0), \ | |
536 | fold_convert (ssizetype, dec)); \ | |
537 | else \ | |
538 | (TO).var = size_binop (MINUS_EXPR, (TO).var, \ | |
539 | fold_convert (ssizetype, dec)); \ | |
540 | } while (0) | |
541 | ||
542 | /* Convert the implicit sum in a `struct args_size' into a tree | |
543 | of type ssizetype. */ | |
544 | #define ARGS_SIZE_TREE(SIZE) \ | |
545 | ((SIZE).var == 0 ? ssize_int ((SIZE).constant) \ | |
546 | : size_binop (PLUS_EXPR, fold_convert (ssizetype, (SIZE).var), \ | |
547 | ssize_int ((SIZE).constant))) | |
548 | ||
549 | /* Convert the implicit sum in a `struct args_size' into an rtx. */ | |
550 | #define ARGS_SIZE_RTX(SIZE) \ | |
e0deb08c | 551 | ((SIZE).var == 0 ? gen_int_mode ((SIZE).constant, Pmode) \ |
a3020f2f | 552 | : expand_normal (ARGS_SIZE_TREE (SIZE))) |
553 | ||
554 | #define ASLK_REDUCE_ALIGN 1 | |
555 | #define ASLK_RECORD_PAD 2 | |
556 | ||
dda08454 | 557 | /* If pointers to member functions use the least significant bit to |
558 | indicate whether a function is virtual, ensure a pointer | |
559 | to this function will have that bit clear. */ | |
560 | #define MINIMUM_METHOD_BOUNDARY \ | |
561 | ((TARGET_PTRMEMFUNC_VBIT_LOCATION == ptrmemfunc_vbit_in_pfn) \ | |
562 | ? MAX (FUNCTION_BOUNDARY, 2 * BITS_PER_UNIT) : FUNCTION_BOUNDARY) | |
563 | ||
02a09d2c | 564 | enum stack_clash_probes { |
565 | NO_PROBE_NO_FRAME, | |
566 | NO_PROBE_SMALL_FRAME, | |
567 | PROBE_INLINE, | |
568 | PROBE_LOOP | |
569 | }; | |
570 | ||
571 | extern void dump_stack_clash_frame_info (enum stack_clash_probes, bool); | |
a3020f2f | 572 | \f |
573 | ||
574 | extern void push_function_context (void); | |
575 | extern void pop_function_context (void); | |
576 | ||
577 | /* Save and restore status information for a nested function. */ | |
578 | extern void free_after_parsing (struct function *); | |
579 | extern void free_after_compilation (struct function *); | |
4ee9c684 | 580 | |
924d43be | 581 | /* Return size needed for stack frame based on slots so far allocated. |
582 | This size counts from zero. It is not rounded to STACK_BOUNDARY; | |
583 | the caller may have to do that. */ | |
85aa2f28 | 584 | extern poly_int64 get_frame_size (void); |
924d43be | 585 | |
26d04e5f | 586 | /* Issue an error message and return TRUE if frame OFFSET overflows in |
587 | the signed target pointer arithmetics for function FUNC. Otherwise | |
588 | return FALSE. */ | |
85aa2f28 | 589 | extern bool frame_offset_overflow (poly_int64, tree); |
26d04e5f | 590 | |
c899a840 | 591 | extern unsigned int spill_slot_alignment (machine_mode); |
592 | ||
85aa2f28 | 593 | extern rtx assign_stack_local_1 (machine_mode, poly_int64, int, int); |
594 | extern rtx assign_stack_local (machine_mode, poly_int64, int); | |
595 | extern rtx assign_stack_temp_for_type (machine_mode, poly_int64, tree); | |
596 | extern rtx assign_stack_temp (machine_mode, poly_int64); | |
a3020f2f | 597 | extern rtx assign_temp (tree, int, int); |
598 | extern void update_temp_slot_address (rtx, rtx); | |
599 | extern void preserve_temp_slots (rtx); | |
600 | extern void free_temp_slots (void); | |
601 | extern void push_temp_slots (void); | |
602 | extern void pop_temp_slots (void); | |
603 | extern void init_temp_slots (void); | |
604 | extern rtx get_hard_reg_initial_reg (rtx); | |
3754d046 | 605 | extern rtx get_hard_reg_initial_val (machine_mode, unsigned int); |
606 | extern rtx has_hard_reg_initial_val (machine_mode, unsigned int); | |
329f8865 | 607 | |
a3020f2f | 608 | /* Called from gimple_expand_cfg. */ |
609 | extern unsigned int emit_initial_value_sets (void); | |
610 | ||
611 | extern bool initial_value_entry (int i, rtx *, rtx *); | |
612 | extern void instantiate_decl_rtl (rtx x); | |
613 | extern int aggregate_value_p (const_tree, const_tree); | |
614 | extern bool use_register_for_decl (const_tree); | |
9311b397 | 615 | extern gimple_seq gimplify_parameters (gimple_seq *); |
3754d046 | 616 | extern void locate_and_pad_parm (machine_mode, tree, int, int, int, |
a3020f2f | 617 | tree, struct args_size *, |
618 | struct locate_and_pad_arg_data *); | |
619 | extern void generate_setjmp_warnings (void); | |
620 | ||
621 | /* Identify BLOCKs referenced by more than one NOTE_INSN_BLOCK_{BEG,END}, | |
622 | and create duplicate blocks. */ | |
623 | extern void reorder_blocks (void); | |
624 | extern void clear_block_marks (tree); | |
625 | extern tree blocks_nreverse (tree); | |
626 | extern tree block_chainon (tree, tree); | |
41b59463 | 627 | |
a3020f2f | 628 | /* Set BLOCK_NUMBER for all the blocks in FN. */ |
629 | extern void number_blocks (tree); | |
630 | ||
631 | /* cfun shouldn't be set directly; use one of these functions instead. */ | |
67b5f619 | 632 | extern void set_cfun (struct function *new_cfun, bool force = false); |
a3020f2f | 633 | extern void push_cfun (struct function *new_cfun); |
634 | extern void pop_cfun (void); | |
635 | ||
636 | extern int get_next_funcdef_no (void); | |
637 | extern int get_last_funcdef_no (void); | |
638 | extern void allocate_struct_function (tree, bool); | |
639 | extern void push_struct_function (tree fndecl); | |
20dc3373 | 640 | extern void push_dummy_function (bool); |
641 | extern void pop_dummy_function (void); | |
a3020f2f | 642 | extern void init_dummy_function_start (void); |
643 | extern void init_function_start (tree); | |
644 | extern void stack_protect_epilogue (void); | |
645 | extern void expand_function_start (tree); | |
646 | extern void expand_dummy_function_end (void); | |
3c3bb268 | 647 | |
7ed9df76 | 648 | extern void thread_prologue_and_epilogue_insns (void); |
de1b648b | 649 | extern void diddle_return_value (void (*)(rtx, void*), void*); |
650 | extern void clobber_return_register (void); | |
a3020f2f | 651 | extern void expand_function_end (void); |
b079a207 | 652 | extern rtx get_arg_pointer_save_area (void); |
a3020f2f | 653 | extern void maybe_copy_prologue_epilogue_insn (rtx, rtx); |
e7ea1192 | 654 | extern int prologue_contains (const rtx_insn *); |
655 | extern int epilogue_contains (const rtx_insn *); | |
656 | extern int prologue_epilogue_contains (const rtx_insn *); | |
5a321af0 | 657 | extern void record_prologue_seq (rtx_insn *); |
658 | extern void record_epilogue_seq (rtx_insn *); | |
a3020f2f | 659 | extern void emit_return_into_block (bool simple_p, basic_block bb); |
a9634f6a | 660 | extern void set_return_jump_label (rtx_insn *); |
a3020f2f | 661 | extern bool active_insn_between (rtx_insn *head, rtx_insn *tail); |
662 | extern vec<edge> convert_jumps_to_returns (basic_block last_bb, bool simple_p, | |
663 | vec<edge> unconverted); | |
664 | extern basic_block emit_return_for_exit (edge exit_fallthru_edge, | |
665 | bool simple_p); | |
666 | extern void reposition_prologue_and_epilogue_notes (void); | |
05927e40 | 667 | |
35901471 | 668 | /* Returns the name of the current function. */ |
9631926a | 669 | extern const char *fndecl_name (tree); |
4a020a8c | 670 | extern const char *function_name (struct function *); |
35901471 | 671 | extern const char *current_function_name (void); |
672 | ||
35df6eb4 | 673 | extern void used_types_insert (tree); |
f6e59711 | 674 | |
c17b85ea | 675 | #endif /* GCC_FUNCTION_H */ |