]>
Commit | Line | Data |
---|---|---|
bf6beae5 | 1 | /* Structure for saving state for a nested function. |
af841dbd | 2 | Copyright (C) 1989, 1992, 1993, 1994, 1995, 1996, 1997, 1998, |
fc3103e7 | 3 | 1999, 2000, 2003, 2004, 2005, 2006, 2007, 2008, 2009 |
135a171d | 4 | Free Software Foundation, Inc. |
bf6beae5 | 5 | |
1322177d | 6 | This file is part of GCC. |
bf6beae5 | 7 | |
1322177d LB |
8 | GCC is free software; you can redistribute it and/or modify it under |
9 | the terms of the GNU General Public License as published by the Free | |
9dcd6f09 | 10 | Software Foundation; either version 3, or (at your option) any later |
1322177d | 11 | version. |
bf6beae5 | 12 | |
1322177d LB |
13 | GCC is distributed in the hope that it will be useful, but WITHOUT ANY |
14 | WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
15 | FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
16 | for more details. | |
bf6beae5 CH |
17 | |
18 | You should have received a copy of the GNU General Public License | |
9dcd6f09 NC |
19 | along with GCC; see the file COPYING3. If not see |
20 | <http://www.gnu.org/licenses/>. */ | |
bf6beae5 | 21 | |
264fa2db ZL |
22 | #ifndef GCC_FUNCTION_H |
23 | #define GCC_FUNCTION_H | |
beb32b59 | 24 | |
90f90283 | 25 | #include "tree.h" |
33c9159e | 26 | #include "hashtab.h" |
69c32ec8 | 27 | #include "varray.h" |
90f90283 | 28 | |
bf6beae5 CH |
29 | /* Stack of pending (incomplete) sequences saved by `start_sequence'. |
30 | Each element describes one pending sequence. | |
31 | The main insn-chain is saved in the last element of the chain, | |
32 | unless the chain is empty. */ | |
33 | ||
d1b38208 | 34 | struct GTY(()) sequence_stack { |
bf6beae5 | 35 | /* First and last insns in the chain of the saved sequence. */ |
e2500fed GK |
36 | rtx first; |
37 | rtx last; | |
bf6beae5 CH |
38 | struct sequence_stack *next; |
39 | }; | |
bf6beae5 | 40 | \f |
d1b38208 | 41 | struct GTY(()) emit_status { |
49ad7cfa BS |
42 | /* This is reset to LAST_VIRTUAL_REGISTER + 1 at the start of each function. |
43 | After rtl generation, it is 1 plus the largest register number used. */ | |
44 | int x_reg_rtx_no; | |
45 | ||
46 | /* Lowest label number in current function. */ | |
47 | int x_first_label_num; | |
48 | ||
49 | /* The ends of the doubly-linked chain of rtl for the current function. | |
50 | Both are reset to null at the start of rtl generation for the function. | |
fa8db1f7 | 51 | |
4dfa0342 RH |
52 | start_sequence saves both of these on `sequence_stack' and then starts |
53 | a new, nested sequence of insns. */ | |
49ad7cfa BS |
54 | rtx x_first_insn; |
55 | rtx x_last_insn; | |
56 | ||
49ad7cfa BS |
57 | /* Stack of pending (incomplete) sequences saved by `start_sequence'. |
58 | Each element describes one pending sequence. | |
59 | The main insn-chain is saved in the last element of the chain, | |
60 | unless the chain is empty. */ | |
61 | struct sequence_stack *sequence_stack; | |
62 | ||
63 | /* INSN_UID for next insn emitted. | |
64 | Reset to 1 for each function compiled. */ | |
65 | int x_cur_insn_uid; | |
66 | ||
b5b8b0ac AO |
67 | /* INSN_UID for next debug insn emitted. Only used if |
68 | --param min-nondebug-insn-uid=<value> is given with nonzero value. */ | |
69 | int x_cur_debug_insn_uid; | |
70 | ||
fd3acbb3 | 71 | /* Location the last line-number NOTE emitted. |
49ad7cfa | 72 | This is used to avoid generating duplicates. */ |
fd3acbb3 | 73 | location_t x_last_location; |
49ad7cfa | 74 | |
0d4903b8 RK |
75 | /* The length of the regno_pointer_align, regno_decl, and x_regno_reg_rtx |
76 | vectors. Since these vectors are needed during the expansion phase when | |
77 | the total number of registers in the function is not yet known, the | |
78 | vectors are copied and made bigger when necessary. */ | |
3502dc9c | 79 | int regno_pointer_align_length; |
49ad7cfa BS |
80 | |
81 | /* Indexed by pseudo register number, if nonzero gives the known alignment | |
3502dc9c JDA |
82 | for that pseudo (if REG_POINTER is set in x_regno_reg_rtx). |
83 | Allocated in parallel with x_regno_reg_rtx. */ | |
bd60bab2 | 84 | unsigned char * GTY((skip)) regno_pointer_align; |
49ad7cfa BS |
85 | }; |
86 | ||
bd60bab2 JH |
87 | |
88 | /* Indexed by pseudo register number, gives the rtx for that pseudo. | |
89 | Allocated in parallel with regno_pointer_align. | |
90 | FIXME: We could put it into emit_status struct, but gengtype is not able to deal | |
91 | with length attribute nested in top level structures. */ | |
92 | ||
3e029763 | 93 | extern GTY ((length ("crtl->emit.x_reg_rtx_no"))) rtx * regno_reg_rtx; |
bd60bab2 | 94 | |
49ad7cfa | 95 | /* For backward compatibility... eventually these should all go away. */ |
3e029763 JH |
96 | #define reg_rtx_no (crtl->emit.x_reg_rtx_no) |
97 | #define seq_stack (crtl->emit.sequence_stack) | |
49ad7cfa | 98 | |
3e029763 | 99 | #define REGNO_POINTER_ALIGN(REGNO) (crtl->emit.regno_pointer_align[REGNO]) |
49ad7cfa | 100 | |
d1b38208 | 101 | struct GTY(()) expr_status { |
49ad7cfa BS |
102 | /* Number of units that we should eventually pop off the stack. |
103 | These are the arguments to function calls that have already returned. */ | |
104 | int x_pending_stack_adjust; | |
105 | ||
106 | /* Under some ABIs, it is the caller's responsibility to pop arguments | |
107 | pushed for function calls. A naive implementation would simply pop | |
108 | the arguments immediately after each call. However, if several | |
109 | function calls are made in a row, it is typically cheaper to pop | |
110 | all the arguments after all of the calls are complete since a | |
111 | single pop instruction can be used. Therefore, GCC attempts to | |
112 | defer popping the arguments until absolutely necessary. (For | |
113 | example, at the end of a conditional, the arguments must be popped, | |
114 | since code outside the conditional won't know whether or not the | |
115 | arguments need to be popped.) | |
116 | ||
cc2902df | 117 | When INHIBIT_DEFER_POP is nonzero, however, the compiler does not |
49ad7cfa BS |
118 | attempt to defer pops. Instead, the stack is popped immediately |
119 | after each call. Rather then setting this variable directly, use | |
120 | NO_DEFER_POP and OK_DEFER_POP. */ | |
121 | int x_inhibit_defer_pop; | |
122 | ||
1503a7ec | 123 | /* If PREFERRED_STACK_BOUNDARY and PUSH_ROUNDING are defined, the stack |
98ef4163 | 124 | boundary can be momentarily unaligned while pushing the arguments. |
1503a7ec JH |
125 | Record the delta since last aligned boundary here in order to get |
126 | stack alignment in the nested function calls working right. */ | |
127 | int x_stack_pointer_delta; | |
128 | ||
49ad7cfa BS |
129 | /* Nonzero means __builtin_saveregs has already been done in this function. |
130 | The value is the pseudoreg containing the value __builtin_saveregs | |
131 | returned. */ | |
132 | rtx x_saveregs_value; | |
133 | ||
134 | /* Similarly for __builtin_apply_args. */ | |
135 | rtx x_apply_args_value; | |
136 | ||
137 | /* List of labels that must never be deleted. */ | |
138 | rtx x_forced_labels; | |
49ad7cfa BS |
139 | }; |
140 | ||
7e5487a2 | 141 | typedef struct call_site_record_d *call_site_record; |
69c32ec8 JH |
142 | DEF_VEC_P(call_site_record); |
143 | DEF_VEC_ALLOC_P(call_site_record, gc); | |
144 | ||
145 | /* RTL representation of exception handling. */ | |
d1b38208 | 146 | struct GTY(()) rtl_eh { |
69c32ec8 JH |
147 | rtx filter; |
148 | rtx exc_ptr; | |
149 | ||
150 | int built_landing_pads; | |
151 | ||
152 | rtx ehr_stackadj; | |
153 | rtx ehr_handler; | |
154 | rtx ehr_label; | |
155 | ||
156 | rtx sjlj_fc; | |
157 | rtx sjlj_exit_after; | |
158 | ||
69c32ec8 JH |
159 | VEC(tree,gc) *ttype_data; |
160 | varray_type ehspec_data; | |
161 | varray_type action_record_data; | |
162 | ||
17f6e37d | 163 | VEC(call_site_record,gc) *call_site_record[2]; |
69c32ec8 JH |
164 | }; |
165 | ||
3e029763 JH |
166 | #define pending_stack_adjust (crtl->expr.x_pending_stack_adjust) |
167 | #define inhibit_defer_pop (crtl->expr.x_inhibit_defer_pop) | |
168 | #define saveregs_value (crtl->expr.x_saveregs_value) | |
169 | #define apply_args_value (crtl->expr.x_apply_args_value) | |
170 | #define forced_labels (crtl->expr.x_forced_labels) | |
171 | #define stack_pointer_delta (crtl->expr.x_stack_pointer_delta) | |
49ad7cfa | 172 | |
5cd4ec7f | 173 | struct gimple_df; |
6370682a KH |
174 | struct temp_slot; |
175 | typedef struct temp_slot *temp_slot_p; | |
7e5487a2 | 176 | struct call_site_record_d; |
6370682a KH |
177 | |
178 | DEF_VEC_P(temp_slot_p); | |
179 | DEF_VEC_ALLOC_P(temp_slot_p,gc); | |
7e5487a2 ILT |
180 | struct ipa_opt_pass_d; |
181 | typedef struct ipa_opt_pass_d *ipa_opt_pass; | |
17653c00 JH |
182 | |
183 | DEF_VEC_P(ipa_opt_pass); | |
184 | DEF_VEC_ALLOC_P(ipa_opt_pass,heap); | |
6370682a | 185 | |
55dea919 RG |
186 | enum function_frequency { |
187 | /* This function most likely won't be executed at all. | |
52bf96d2 | 188 | (set only when profile feedback is available or via function attribute). */ |
55dea919 RG |
189 | FUNCTION_FREQUENCY_UNLIKELY_EXECUTED, |
190 | /* The default value. */ | |
191 | FUNCTION_FREQUENCY_NORMAL, | |
192 | /* Optimize this function hard | |
52bf96d2 | 193 | (set only when profile feedback is available or via function attribute). */ |
55dea919 RG |
194 | FUNCTION_FREQUENCY_HOT |
195 | }; | |
196 | ||
d1b38208 | 197 | struct GTY(()) varasm_status { |
bd60bab2 JH |
198 | /* If we're using a per-function constant pool, this is it. */ |
199 | struct rtx_constant_pool *pool; | |
200 | ||
201 | /* Number of tree-constants deferred during the expansion of this | |
202 | function. */ | |
203 | unsigned int deferred_constants; | |
204 | }; | |
205 | ||
38173d38 | 206 | /* Information mainlined about RTL representation of incoming arguments. */ |
d1b38208 | 207 | struct GTY(()) incoming_args { |
38173d38 JH |
208 | /* Number of bytes of args popped by function being compiled on its return. |
209 | Zero if no bytes are to be popped. | |
210 | May affect compilation of return insn or of function epilogue. */ | |
211 | int pops_args; | |
212 | ||
213 | /* If function's args have a fixed size, this is that size, in bytes. | |
214 | Otherwise, it is -1. | |
215 | May affect compilation of return insn or of function epilogue. */ | |
216 | int size; | |
217 | ||
218 | /* # bytes the prologue should push and pretend that the caller pushed them. | |
219 | The prologue must do this, but only if parms can be passed in | |
220 | registers. */ | |
221 | int pretend_args_size; | |
222 | ||
223 | /* This is the offset from the arg pointer to the place where the first | |
224 | anonymous arg can be found, if there is one. */ | |
225 | rtx arg_offset_rtx; | |
226 | ||
227 | /* Quantities of various kinds of registers | |
228 | used for the current function's args. */ | |
229 | CUMULATIVE_ARGS info; | |
230 | ||
231 | /* The arg pointer hard register, or the pseudo into which it was copied. */ | |
232 | rtx internal_arg_pointer; | |
233 | }; | |
234 | ||
235 | /* Data for function partitioning. */ | |
d1b38208 | 236 | struct GTY(()) function_subsections { |
38173d38 JH |
237 | /* Assembly labels for the hot and cold text sections, to |
238 | be used by debugger functions for determining the size of text | |
239 | sections. */ | |
240 | ||
241 | const char *hot_section_label; | |
242 | const char *cold_section_label; | |
243 | const char *hot_section_end_label; | |
244 | const char *cold_section_end_label; | |
245 | ||
246 | /* String to be used for name of cold text sections, via | |
247 | targetm.asm_out.named_section. */ | |
248 | ||
249 | const char *unlikely_text_section_name; | |
250 | }; | |
251 | ||
bd60bab2 | 252 | /* Datastructures maintained for currently processed function in RTL form. */ |
d1b38208 | 253 | struct GTY(()) rtl_data { |
bd60bab2 JH |
254 | struct expr_status expr; |
255 | struct emit_status emit; | |
256 | struct varasm_status varasm; | |
38173d38 JH |
257 | struct incoming_args args; |
258 | struct function_subsections subsections; | |
69c32ec8 | 259 | struct rtl_eh eh; |
38173d38 JH |
260 | |
261 | /* For function.c */ | |
262 | ||
263 | /* # of bytes of outgoing arguments. If ACCUMULATE_OUTGOING_ARGS is | |
264 | defined, the needed space is pushed by the prologue. */ | |
265 | int outgoing_args_size; | |
266 | ||
267 | /* If nonzero, an RTL expression for the location at which the current | |
268 | function returns its result. If the current function returns its | |
269 | result in a register, current_function_return_rtx will always be | |
270 | the hard register containing the result. */ | |
271 | rtx return_rtx; | |
272 | ||
273 | /* Opaque pointer used by get_hard_reg_initial_val and | |
274 | has_hard_reg_initial_val (see integrate.[hc]). */ | |
275 | struct initial_value_struct *hard_reg_initial_vals; | |
bd60bab2 | 276 | |
cb91fab0 JH |
277 | /* A variable living at the top of the frame that holds a known value. |
278 | Used for detecting stack clobbers. */ | |
279 | tree stack_protect_guard; | |
280 | ||
bd60bab2 JH |
281 | /* List (chain of EXPR_LIST) of labels heading the current handlers for |
282 | nonlocal gotos. */ | |
283 | rtx x_nonlocal_goto_handler_labels; | |
284 | ||
285 | /* Label that will go on function epilogue. | |
286 | Jumping to this label serves as a "return" instruction | |
287 | on machines which require execution of the epilogue on all returns. */ | |
288 | rtx x_return_label; | |
289 | ||
290 | /* Label that will go on the end of function epilogue. | |
291 | Jumping to this label serves as a "naked return" instruction | |
292 | on machines which require execution of the epilogue on all returns. */ | |
293 | rtx x_naked_return_label; | |
294 | ||
295 | /* List (chain of EXPR_LISTs) of all stack slots in this function. | |
cb91fab0 | 296 | Made for the sake of unshare_all_rtl. */ |
bd60bab2 JH |
297 | rtx x_stack_slot_list; |
298 | ||
299 | /* Place after which to insert the tail_recursion_label if we need one. */ | |
300 | rtx x_stack_check_probe_note; | |
301 | ||
302 | /* Location at which to save the argument pointer if it will need to be | |
303 | referenced. There are two cases where this is done: if nonlocal gotos | |
304 | exist, or if vars stored at an offset from the argument pointer will be | |
305 | needed by inner routines. */ | |
306 | rtx x_arg_pointer_save_area; | |
307 | ||
2e3f842f L |
308 | /* Dynamic Realign Argument Pointer used for realigning stack. */ |
309 | rtx drap_reg; | |
310 | ||
bd60bab2 JH |
311 | /* Offset to end of allocated area of stack frame. |
312 | If stack grows down, this is the address of the last stack slot allocated. | |
313 | If stack grows up, this is the address for the next slot. */ | |
314 | HOST_WIDE_INT x_frame_offset; | |
315 | ||
316 | /* Insn after which register parms and SAVE_EXPRs are born, if nonopt. */ | |
317 | rtx x_parm_birth_insn; | |
318 | ||
319 | /* List of all used temporaries allocated, by level. */ | |
320 | VEC(temp_slot_p,gc) *x_used_temp_slots; | |
321 | ||
322 | /* List of available temp slots. */ | |
323 | struct temp_slot *x_avail_temp_slots; | |
324 | ||
325 | /* Current nesting level for temporaries. */ | |
326 | int x_temp_slot_level; | |
327 | ||
2e3f842f L |
328 | /* The largest alignment needed on the stack, including requirement |
329 | for outgoing stack alignment. */ | |
cb91fab0 JH |
330 | unsigned int stack_alignment_needed; |
331 | ||
2e3f842f L |
332 | /* Preferred alignment of the end of stack frame, which is preferred |
333 | to call other functions. */ | |
cb91fab0 JH |
334 | unsigned int preferred_stack_boundary; |
335 | ||
e94a448f L |
336 | /* The minimum alignment of parameter stack. */ |
337 | unsigned int parm_stack_boundary; | |
338 | ||
2e3f842f L |
339 | /* The largest alignment of slot allocated on the stack. */ |
340 | unsigned int max_used_stack_slot_alignment; | |
341 | ||
342 | /* The stack alignment estimated before reload, with consideration of | |
343 | following factors: | |
344 | 1. Alignment of local stack variables (max_used_stack_slot_alignment) | |
345 | 2. Alignment requirement to call other functions | |
346 | (preferred_stack_boundary) | |
347 | 3. Alignment of non-local stack variables but might be spilled in | |
348 | local stack. */ | |
349 | unsigned int stack_alignment_estimated; | |
350 | ||
cb91fab0 JH |
351 | /* For reorg. */ |
352 | ||
353 | /* If some insns can be deferred to the delay slots of the epilogue, the | |
354 | delay list for them is recorded here. */ | |
355 | rtx epilogue_delay_list; | |
e3b5732b JH |
356 | |
357 | /* Nonzero if function being compiled called builtin_return_addr or | |
358 | builtin_frame_address with nonzero count. */ | |
359 | bool accesses_prior_frames; | |
360 | ||
361 | /* Nonzero if the function calls __builtin_eh_return. */ | |
362 | bool calls_eh_return; | |
363 | ||
364 | /* Nonzero if function saves all registers, e.g. if it has a nonlocal | |
365 | label that can reach the exit block via non-exceptional paths. */ | |
366 | bool saves_all_registers; | |
367 | ||
368 | /* Nonzero if function being compiled has nonlocal gotos to parent | |
369 | function. */ | |
370 | bool has_nonlocal_goto; | |
371 | ||
372 | /* Nonzero if function being compiled has an asm statement. */ | |
373 | bool has_asm_statement; | |
374 | ||
e3b5732b JH |
375 | /* This bit is used by the exception handling logic. It is set if all |
376 | calls (if any) are sibling calls. Such functions do not have to | |
377 | have EH tables generated, as they cannot throw. A call to such a | |
378 | function, however, should be treated as throwing if any of its callees | |
379 | can throw. */ | |
380 | bool all_throwers_are_sibcalls; | |
381 | ||
382 | /* Nonzero if stack limit checking should be enabled in the current | |
383 | function. */ | |
384 | bool limit_stack; | |
385 | ||
386 | /* Nonzero if profiling code should be generated. */ | |
387 | bool profile; | |
388 | ||
389 | /* Nonzero if the current function uses the constant pool. */ | |
390 | bool uses_const_pool; | |
391 | ||
392 | /* Nonzero if the current function uses pic_offset_table_rtx. */ | |
393 | bool uses_pic_offset_table; | |
394 | ||
395 | /* Nonzero if the current function needs an lsda for exception handling. */ | |
396 | bool uses_eh_lsda; | |
397 | ||
398 | /* Set when the tail call has been produced. */ | |
399 | bool tail_call_emit; | |
400 | ||
401 | /* Nonzero if code to initialize arg_pointer_save_area has been emitted. */ | |
402 | bool arg_pointer_save_area_init; | |
3bffa195 | 403 | |
2e3f842f L |
404 | /* Nonzero if current function must be given a frame pointer. |
405 | Set in global.c if anything is allocated on the stack there. */ | |
3bffa195 | 406 | bool frame_pointer_needed; |
bf08ebeb JH |
407 | |
408 | /* When set, expand should optimize for speed. */ | |
409 | bool maybe_hot_insn_p; | |
2e3f842f | 410 | |
d2d93c32 L |
411 | /* Nonzero if function stack realignment is needed. This flag may be |
412 | set twice: before and after reload. It is set before reload wrt | |
413 | stack alignment estimation before reload. It will be changed after | |
414 | reload if by then criteria of stack realignment is different. | |
2e3f842f L |
415 | The value set after reload is the accurate one and is finalized. */ |
416 | bool stack_realign_needed; | |
417 | ||
d2d93c32 L |
418 | /* Nonzero if function stack realignment is tried. This flag is set |
419 | only once before reload. It affects register elimination. This | |
420 | is used to generate DWARF debug info for stack variables. */ | |
421 | bool stack_realign_tried; | |
422 | ||
2e3f842f L |
423 | /* Nonzero if function being compiled needs dynamic realigned |
424 | argument pointer (drap) if stack needs realigning. */ | |
425 | bool need_drap; | |
426 | ||
427 | /* Nonzero if function stack realignment estimation is done, namely | |
d2d93c32 L |
428 | stack_realign_needed flag has been set before reload wrt estimated |
429 | stack alignment info. */ | |
2e3f842f L |
430 | bool stack_realign_processed; |
431 | ||
432 | /* Nonzero if function stack realignment has been finalized, namely | |
433 | stack_realign_needed flag has been set and finalized after reload. */ | |
434 | bool stack_realign_finalized; | |
84b9b872 RS |
435 | |
436 | /* True if dbr_schedule has already been called for this function. */ | |
437 | bool dbr_scheduled_p; | |
fe89fbc5 JH |
438 | |
439 | /* True if current function can not throw. Unlike | |
440 | TREE_NOTHROW (current_function_decl) it is set even for overwritable | |
441 | function where currently compiled version of it is nothrow. */ | |
442 | bool nothrow; | |
bd60bab2 JH |
443 | }; |
444 | ||
3e029763 JH |
445 | #define return_label (crtl->x_return_label) |
446 | #define naked_return_label (crtl->x_naked_return_label) | |
447 | #define stack_slot_list (crtl->x_stack_slot_list) | |
448 | #define parm_birth_insn (crtl->x_parm_birth_insn) | |
449 | #define frame_offset (crtl->x_frame_offset) | |
450 | #define stack_check_probe_note (crtl->x_stack_check_probe_note) | |
451 | #define arg_pointer_save_area (crtl->x_arg_pointer_save_area) | |
452 | #define used_temp_slots (crtl->x_used_temp_slots) | |
453 | #define avail_temp_slots (crtl->x_avail_temp_slots) | |
454 | #define temp_slot_level (crtl->x_temp_slot_level) | |
455 | #define nonlocal_goto_handler_labels (crtl->x_nonlocal_goto_handler_labels) | |
3bffa195 | 456 | #define frame_pointer_needed (crtl->frame_pointer_needed) |
2e3f842f L |
457 | #define stack_realign_fp (crtl->stack_realign_needed && !crtl->need_drap) |
458 | #define stack_realign_drap (crtl->stack_realign_needed && crtl->need_drap) | |
3e029763 JH |
459 | |
460 | extern GTY(()) struct rtl_data x_rtl; | |
461 | ||
fa10beec | 462 | /* Accessor to RTL datastructures. We keep them statically allocated now since |
3e029763 | 463 | we never keep multiple functions. For threaded compiler we might however |
fa10beec | 464 | want to do differently. */ |
3e029763 | 465 | #define crtl (&x_rtl) |
bd60bab2 | 466 | |
bf6beae5 CH |
467 | /* This structure can save all the important global and static variables |
468 | describing the status of the current function. */ | |
469 | ||
d1b38208 | 470 | struct GTY(()) function { |
b384405b BS |
471 | struct eh_status *eh; |
472 | ||
997de8ed SB |
473 | /* The control flow graph for this function. */ |
474 | struct control_flow_graph *cfg; | |
726a989a RB |
475 | |
476 | /* GIMPLE body for this function. */ | |
477 | struct gimple_seq_d *gimple_body; | |
478 | ||
5cd4ec7f JH |
479 | /* SSA and dataflow information. */ |
480 | struct gimple_df *gimple_df; | |
997de8ed | 481 | |
598ec7bd | 482 | /* The loops in this function. */ |
9e2f83a5 | 483 | struct loops *x_current_loops; |
598ec7bd | 484 | |
6946b3f7 JH |
485 | /* Value histograms attached to particular statements. */ |
486 | htab_t GTY((skip)) value_histograms; | |
487 | ||
bf6beae5 | 488 | /* For function.c. */ |
49ad7cfa | 489 | |
19eb1ad7 | 490 | /* Points to the FUNCTION_DECL of this function. */ |
bf6beae5 | 491 | tree decl; |
49ad7cfa | 492 | |
1a837f77 | 493 | /* A PARM_DECL that should contain the static chain for this function. |
6de9cd9a DN |
494 | It will be initialized at the beginning of the function. */ |
495 | tree static_chain_decl; | |
49ad7cfa | 496 | |
6de9cd9a DN |
497 | /* An expression that contains the non-local goto save area. The first |
498 | word is the saved frame pointer and the second is the saved stack | |
499 | pointer. */ | |
500 | tree nonlocal_goto_save_area; | |
49ad7cfa | 501 | |
cb91fab0 JH |
502 | /* List of function local variables, functions, types and constants. */ |
503 | tree local_decls; | |
504 | ||
bf6beae5 | 505 | /* For md files. */ |
49ad7cfa | 506 | |
d6e1b011 | 507 | /* tm.h can use this to store whatever it likes. */ |
1431042e | 508 | struct machine_function * GTY ((maybe_undef)) machine; |
55dea919 | 509 | |
8c5666b4 | 510 | /* Language-specific code can use this to store whatever it likes. */ |
e2500fed | 511 | struct language_function * language; |
8c5666b4 | 512 | |
33c9159e AH |
513 | /* Used types hash table. */ |
514 | htab_t GTY ((param_is (union tree_node))) used_types_hash; | |
515 | ||
908ff6a3 KZ |
516 | /* Last statement uid. */ |
517 | int last_stmt_uid; | |
518 | ||
3691626c RG |
519 | /* Function sequence number for profiling, debugging, etc. */ |
520 | int funcdef_no; | |
521 | ||
1751ecd6 AH |
522 | /* Line number of the start of the function for debugging purposes. */ |
523 | location_t function_start_locus; | |
524 | ||
6de9cd9a DN |
525 | /* Line number of the end of the function. */ |
526 | location_t function_end_locus; | |
527 | ||
a5093353 JH |
528 | /* Properties used by the pass manager. */ |
529 | unsigned int curr_properties; | |
530 | unsigned int last_verified; | |
27dbd3ac | 531 | |
17653c00 JH |
532 | /* Interprocedural passes scheduled to have their transform functions |
533 | applied next time we execute local pass on them. We maintain it | |
534 | per-function in order to allow IPA passes to introduce new functions. */ | |
535 | VEC(ipa_opt_pass,heap) * GTY((skip)) ipa_transforms_to_apply; | |
a5093353 | 536 | |
27dbd3ac RH |
537 | /* Non-null if the function does something that would prevent it from |
538 | being copied; this applies to both versioning and inlining. Set to | |
539 | a string describing the reason for failure. */ | |
540 | const char * GTY((skip)) cannot_be_copied_reason; | |
541 | ||
89996b6e RH |
542 | /* Collected bit flags. */ |
543 | ||
ecaebb9e NS |
544 | /* Number of units of general registers that need saving in stdarg |
545 | function. What unit is depends on the backend, either it is number | |
546 | of bytes, or it can be number of registers. */ | |
547 | unsigned int va_list_gpr_size : 8; | |
548 | ||
549 | /* Number of units of floating point registers that need saving in stdarg | |
550 | function. */ | |
551 | unsigned int va_list_fpr_size : 8; | |
552 | ||
553 | /* How commonly executed the function is. Initialized during branch | |
554 | probabilities pass. */ | |
555 | ENUM_BITFIELD (function_frequency) function_frequency : 2; | |
556 | ||
89996b6e RH |
557 | /* Nonzero if function being compiled can call setjmp. */ |
558 | unsigned int calls_setjmp : 1; | |
559 | ||
89996b6e RH |
560 | /* Nonzero if function being compiled can call alloca, |
561 | either as a subroutine or builtin. */ | |
562 | unsigned int calls_alloca : 1; | |
563 | ||
564 | /* Nonzero if function being compiled receives nonlocal gotos | |
565 | from nested functions. */ | |
566 | unsigned int has_nonlocal_label : 1; | |
567 | ||
27dbd3ac RH |
568 | /* Nonzero if we've set cannot_be_copied_reason. I.e. if |
569 | (cannot_be_copied_set && !cannot_be_copied_reason), the function | |
570 | can in fact be copied. */ | |
571 | unsigned int cannot_be_copied_set : 1; | |
572 | ||
6c535c69 | 573 | /* Nonzero if current function uses stdarg.h or equivalent. */ |
89996b6e RH |
574 | unsigned int stdarg : 1; |
575 | ||
89996b6e RH |
576 | /* Nonzero if the back-end should not keep track of expressions that |
577 | determine the size of variable-sized objects. Normally, such | |
578 | expressions are saved away, and then expanded when the next | |
579 | function is started. For example, if a parameter has a | |
580 | variable-sized type, then the size of the parameter is computed | |
581 | when the function body is entered. However, some front-ends do | |
582 | not desire this behavior. */ | |
e3b5732b | 583 | unsigned int dont_save_pending_sizes_p : 1; |
9d30f3c1 | 584 | |
55dea919 | 585 | unsigned int after_inlining : 1; |
0889e9bc | 586 | unsigned int always_inline_functions_inlined : 1; |
55dea919 | 587 | |
182e0d71 AK |
588 | /* Fields below this point are not set for abstract functions; see |
589 | allocate_struct_function. */ | |
590 | ||
591 | /* Nonzero if function being compiled needs to be given an address | |
592 | where the value should be stored. */ | |
593 | unsigned int returns_struct : 1; | |
594 | ||
595 | /* Nonzero if function being compiled needs to | |
596 | return the address of where it has put a structure value. */ | |
597 | unsigned int returns_pcc_struct : 1; | |
135a171d JJ |
598 | |
599 | /* Nonzero if pass_tree_profile was run on this function. */ | |
600 | unsigned int after_tree_profile : 1; | |
fc3103e7 JJ |
601 | |
602 | /* Nonzero if this function has local DECL_HARD_REGISTER variables. | |
603 | In this case code motion has to be done more carefully. */ | |
604 | unsigned int has_local_explicit_reg_vars : 1; | |
3c072c6b JY |
605 | |
606 | /* Nonzero if the current function is a thunk, i.e., a lightweight | |
607 | function implemented by the output_mi_thunk hook) that just | |
608 | adjusts one of its arguments and forwards to another | |
609 | function. */ | |
610 | unsigned int is_thunk : 1; | |
bf6beae5 CH |
611 | }; |
612 | ||
9d30f3c1 JJ |
613 | /* If va_list_[gf]pr_size is set to this, it means we don't know how |
614 | many units need to be saved. */ | |
615 | #define VA_LIST_MAX_GPR_SIZE 255 | |
616 | #define VA_LIST_MAX_FPR_SIZE 255 | |
617 | ||
01d939e8 | 618 | /* The function currently being compiled. */ |
e2500fed | 619 | extern GTY(()) struct function *cfun; |
01d939e8 | 620 | |
5576d6f2 TT |
621 | /* In order to ensure that cfun is not set directly, we redefine it so |
622 | that it is not an lvalue. Rather than assign to cfun, use | |
623 | push_cfun or set_cfun. */ | |
624 | #define cfun (cfun + 0) | |
625 | ||
c39ada04 DD |
626 | /* Nonzero if we've already converted virtual regs to hard regs. */ |
627 | extern int virtuals_instantiated; | |
628 | ||
3edc56a9 JJ |
629 | /* Nonzero if at least one trampoline has been created. */ |
630 | extern int trampolines_created; | |
631 | ||
db2960f4 SL |
632 | /* cfun shouldn't be set directly; use one of these functions instead. */ |
633 | extern void set_cfun (struct function *new_cfun); | |
634 | extern void push_cfun (struct function *new_cfun); | |
635 | extern void pop_cfun (void); | |
e41b2a33 | 636 | extern void instantiate_decl_rtl (rtx x); |
db2960f4 | 637 | |
49ad7cfa | 638 | /* For backward compatibility... eventually these should all go away. */ |
df696a75 | 639 | #define current_function_funcdef_no (cfun->funcdef_no) |
01d939e8 | 640 | |
598ec7bd | 641 | #define current_loops (cfun->x_current_loops) |
8fee41c2 ZD |
642 | #define dom_computed (cfun->cfg->x_dom_computed) |
643 | #define n_bbs_in_dom_tree (cfun->cfg->x_n_bbs_in_dom_tree) | |
6946b3f7 | 644 | #define VALUE_HISTOGRAMS(fun) (fun)->value_histograms |
bf6beae5 | 645 | |
116eebd6 MM |
646 | /* Identify BLOCKs referenced by more than one NOTE_INSN_BLOCK_{BEG,END}, |
647 | and create duplicate blocks. */ | |
fa8db1f7 | 648 | extern void reorder_blocks (void); |
d6e1b011 | 649 | |
18c038b9 | 650 | /* Set BLOCK_NUMBER for all the blocks in FN. */ |
fa8db1f7 | 651 | extern void number_blocks (tree); |
18c038b9 | 652 | |
6de9cd9a DN |
653 | extern void clear_block_marks (tree); |
654 | extern tree blocks_nreverse (tree); | |
6de9cd9a | 655 | |
9a807d3a RK |
656 | /* Return size needed for stack frame based on slots so far allocated. |
657 | This size counts from zero. It is not rounded to STACK_BOUNDARY; | |
658 | the caller may have to do that. */ | |
fa8db1f7 | 659 | extern HOST_WIDE_INT get_frame_size (void); |
9a807d3a | 660 | |
9fb798d7 EB |
661 | /* Issue an error message and return TRUE if frame OFFSET overflows in |
662 | the signed target pointer arithmetics for function FUNC. Otherwise | |
663 | return FALSE. */ | |
664 | extern bool frame_offset_overflow (HOST_WIDE_INT, tree); | |
665 | ||
e2500fed GK |
666 | /* A pointer to a function to create target specific, per-function |
667 | data structures. */ | |
fa8db1f7 | 668 | extern struct machine_function * (*init_machine_status) (void); |
ba534a45 | 669 | |
154bba13 | 670 | /* Save and restore status information for a nested function. */ |
fa8db1f7 AJ |
671 | extern void free_after_parsing (struct function *); |
672 | extern void free_after_compilation (struct function *); | |
a00b8dfa | 673 | |
bd60bab2 | 674 | extern void init_varasm_status (void); |
fa51b01b | 675 | |
bd695e1e | 676 | #ifdef RTX_CODE |
fa8db1f7 AJ |
677 | extern void diddle_return_value (void (*)(rtx, void*), void*); |
678 | extern void clobber_return_register (void); | |
bd695e1e RH |
679 | #endif |
680 | ||
bd60bab2 | 681 | extern rtx get_arg_pointer_save_area (void); |
278ed218 | 682 | |
faed5cc3 SB |
683 | /* Returns the name of the current function. */ |
684 | extern const char *current_function_name (void); | |
685 | ||
902edd36 JH |
686 | extern void do_warn_unused_parameter (tree); |
687 | ||
0976078c RH |
688 | extern bool pass_by_reference (CUMULATIVE_ARGS *, enum machine_mode, |
689 | tree, bool); | |
6cdd5672 RH |
690 | extern bool reference_callee_copied (CUMULATIVE_ARGS *, enum machine_mode, |
691 | tree, bool); | |
0976078c | 692 | |
8d8d1a28 | 693 | extern void used_types_insert (tree); |
33c9159e | 694 | |
3e87758a | 695 | extern int get_next_funcdef_no (void); |
264fa2db | 696 | #endif /* GCC_FUNCTION_H */ |