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