Mercurial > hg > CbC > CbC_gcc
annotate gcc/function.h @ 158:494b0b89df80 default tip
...
| author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Mon, 25 May 2020 18:13:55 +0900 |
| parents | 1830386684a0 |
| children |
| rev | line source |
|---|---|
| 0 | 1 /* Structure for saving state for a nested function. |
| 145 | 2 Copyright (C) 1989-2020 Free Software Foundation, Inc. |
| 0 | 3 |
| 4 This file is part of GCC. | |
| 5 | |
| 6 GCC is free software; you can redistribute it and/or modify it under | |
| 7 the terms of the GNU General Public License as published by the Free | |
| 8 Software Foundation; either version 3, or (at your option) any later | |
| 9 version. | |
| 10 | |
| 11 GCC is distributed in the hope that it will be useful, but WITHOUT ANY | |
| 12 WARRANTY; without even the implied warranty of MERCHANTABILITY or | |
| 13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License | |
| 14 for more details. | |
| 15 | |
| 16 You should have received a copy of the GNU General Public License | |
| 17 along with GCC; see the file COPYING3. If not see | |
| 18 <http://www.gnu.org/licenses/>. */ | |
| 19 | |
| 20 #ifndef GCC_FUNCTION_H | |
| 21 #define GCC_FUNCTION_H | |
| 22 | |
| 23 | |
| 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 | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
36
diff
changeset
|
29 struct GTY(()) sequence_stack { |
| 0 | 30 /* First and last insns in the chain of the saved sequence. */ |
| 111 | 31 rtx_insn *first; |
| 32 rtx_insn *last; | |
| 0 | 33 struct sequence_stack *next; |
| 34 }; | |
| 35 | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
36
diff
changeset
|
36 struct GTY(()) emit_status { |
| 111 | 37 void ensure_regno_capacity (); |
| 38 | |
| 0 | 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 | |
| 111 | 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. | |
| 0 | 49 |
| 111 | 50 start_sequence saves both of these on seq.next and then starts |
| 51 a new, nested sequence of insns. | |
| 0 | 52 |
| 111 | 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; | |
| 0 | 57 |
| 58 /* INSN_UID for next insn emitted. | |
| 59 Reset to 1 for each function compiled. */ | |
| 60 int x_cur_insn_uid; | |
| 61 | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
36
diff
changeset
|
62 /* INSN_UID for next debug insn emitted. Only used if |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
36
diff
changeset
|
63 --param min-nondebug-insn-uid=<value> is given with nonzero value. */ |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
36
diff
changeset
|
64 int x_cur_debug_insn_uid; |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
36
diff
changeset
|
65 |
| 0 | 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. */ | |
| 70 int regno_pointer_align_length; | |
| 71 | |
| 72 /* Indexed by pseudo register number, if nonzero gives the known alignment | |
| 73 for that pseudo (if REG_POINTER is set in x_regno_reg_rtx). | |
| 74 Allocated in parallel with x_regno_reg_rtx. */ | |
| 75 unsigned char * GTY((skip)) regno_pointer_align; | |
| 76 }; | |
| 77 | |
| 78 | |
| 111 | 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. */ | |
| 0 | 86 |
| 87 extern GTY ((length ("crtl->emit.x_reg_rtx_no"))) rtx * regno_reg_rtx; | |
| 88 | |
| 89 /* For backward compatibility... eventually these should all go away. */ | |
| 90 #define reg_rtx_no (crtl->emit.x_reg_rtx_no) | |
| 91 | |
| 92 #define REGNO_POINTER_ALIGN(REGNO) (crtl->emit.regno_pointer_align[REGNO]) | |
| 93 | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
36
diff
changeset
|
94 struct GTY(()) expr_status { |
| 0 | 95 /* Number of units that we should eventually pop off the stack. |
| 96 These are the arguments to function calls that have already returned. */ | |
| 131 | 97 poly_int64_pod x_pending_stack_adjust; |
| 0 | 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 | |
| 110 When INHIBIT_DEFER_POP is nonzero, however, the compiler does not | |
| 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 | |
| 116 /* If PREFERRED_STACK_BOUNDARY and PUSH_ROUNDING are defined, the stack | |
| 117 boundary can be momentarily unaligned while pushing the arguments. | |
| 118 Record the delta since last aligned boundary here in order to get | |
| 119 stack alignment in the nested function calls working right. */ | |
| 131 | 120 poly_int64_pod x_stack_pointer_delta; |
| 0 | 121 |
| 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. */ | |
| 111 | 131 vec<rtx_insn *, va_gc> *x_forced_labels; |
| 0 | 132 }; |
| 133 | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
36
diff
changeset
|
134 typedef struct call_site_record_d *call_site_record; |
| 0 | 135 |
| 136 /* RTL representation of exception handling. */ | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
36
diff
changeset
|
137 struct GTY(()) rtl_eh { |
| 0 | 138 rtx ehr_stackadj; |
| 139 rtx ehr_handler; | |
| 111 | 140 rtx_code_label *ehr_label; |
| 0 | 141 |
| 142 rtx sjlj_fc; | |
| 111 | 143 rtx_insn *sjlj_exit_after; |
| 0 | 144 |
| 111 | 145 vec<uchar, va_gc> *action_record_data; |
| 0 | 146 |
| 111 | 147 vec<call_site_record, va_gc> *call_site_record_v[2]; |
| 0 | 148 }; |
| 149 | |
| 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) | |
| 156 | |
| 157 struct gimple_df; | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
36
diff
changeset
|
158 struct call_site_record_d; |
| 111 | 159 struct dw_fde_node; |
| 0 | 160 |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
36
diff
changeset
|
161 struct GTY(()) varasm_status { |
| 0 | 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 | |
| 170 | |
| 171 /* Data for function partitioning. */ | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
36
diff
changeset
|
172 struct GTY(()) function_subsections { |
| 0 | 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; | |
| 181 }; | |
| 182 | |
|
63
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
183 /* Describe an empty area of space in the stack frame. These can be chained |
|
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
184 into a list; this is used to keep track of space wasted for alignment |
|
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
185 reasons. */ |
| 145 | 186 class GTY(()) frame_space |
|
63
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
187 { |
| 145 | 188 public: |
| 189 class frame_space *next; | |
|
63
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
190 |
| 131 | 191 poly_int64 start; |
| 192 poly_int64 length; | |
|
63
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
193 }; |
|
b7f97abdc517
update gcc from gcc-4.5.0 to gcc-4.6
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
55
diff
changeset
|
194 |
| 145 | 195 /* Describe emitted calls for -fcallgraph-info. */ |
| 196 struct GTY(()) callinfo_callee | |
|
67
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
197 { |
| 145 | 198 location_t location; |
| 199 tree decl; | |
| 200 }; | |
| 201 | |
| 202 /* Describe dynamic allocation for -fcallgraph-info=da. */ | |
| 203 struct GTY(()) callinfo_dalloc | |
| 204 { | |
| 205 location_t location; | |
| 206 char const *name; | |
| 207 }; | |
| 208 | |
| 209 class GTY(()) stack_usage | |
| 210 { | |
| 211 public: | |
|
67
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
212 /* # of bytes of static stack space allocated by the function. */ |
|
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
213 HOST_WIDE_INT static_stack_size; |
|
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
214 |
|
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
215 /* # of bytes of dynamic stack space allocated by the function. This is |
|
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
216 meaningful only if has_unbounded_dynamic_stack_size is zero. */ |
|
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
217 HOST_WIDE_INT dynamic_stack_size; |
|
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
218 |
| 131 | 219 /* Upper bound on the number of bytes pushed onto the stack after the |
| 220 prologue. If !ACCUMULATE_OUTGOING_ARGS, it contains the outgoing | |
| 221 arguments. */ | |
| 222 poly_int64 pushed_stack_size; | |
|
67
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
223 |
|
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
224 /* Nonzero if the amount of stack space allocated dynamically cannot |
|
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
225 be bounded at compile-time. */ |
|
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
226 unsigned int has_unbounded_dynamic_stack_size : 1; |
| 145 | 227 |
| 228 /* Functions called within the function, if callgraph is enabled. */ | |
| 229 vec<callinfo_callee, va_gc> *callees; | |
| 230 | |
| 231 /* Dynamic allocations encountered within the function, if callgraph | |
| 232 da is enabled. */ | |
| 233 vec<callinfo_dalloc, va_gc> *dallocs; | |
|
67
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
234 }; |
|
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
235 |
|
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
236 #define current_function_static_stack_size (cfun->su->static_stack_size) |
|
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
237 #define current_function_dynamic_stack_size (cfun->su->dynamic_stack_size) |
|
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
238 #define current_function_pushed_stack_size (cfun->su->pushed_stack_size) |
|
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
239 #define current_function_has_unbounded_dynamic_stack_size \ |
|
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
240 (cfun->su->has_unbounded_dynamic_stack_size) |
|
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
241 #define current_function_allocates_dynamic_stack_space \ |
|
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
242 (current_function_dynamic_stack_size != 0 \ |
|
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
243 || current_function_has_unbounded_dynamic_stack_size) |
|
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
244 |
| 0 | 245 /* This structure can save all the important global and static variables |
| 246 describing the status of the current function. */ | |
| 247 | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
36
diff
changeset
|
248 struct GTY(()) function { |
| 0 | 249 struct eh_status *eh; |
| 250 | |
| 251 /* The control flow graph for this function. */ | |
| 252 struct control_flow_graph *cfg; | |
| 253 | |
| 254 /* GIMPLE body for this function. */ | |
| 111 | 255 gimple_seq gimple_body; |
| 0 | 256 |
| 257 /* SSA and dataflow information. */ | |
| 258 struct gimple_df *gimple_df; | |
| 259 | |
| 260 /* The loops in this function. */ | |
| 261 struct loops *x_current_loops; | |
| 262 | |
| 111 | 263 /* Filled by the GIMPLE and RTL FEs, pass to start compilation with. */ |
| 264 char *pass_startwith; | |
| 265 | |
|
67
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
266 /* The stack usage of this function. */ |
| 145 | 267 class stack_usage *su; |
|
67
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
268 |
| 0 | 269 /* Value histograms attached to particular statements. */ |
| 270 htab_t GTY((skip)) value_histograms; | |
| 271 | |
| 272 /* For function.c. */ | |
| 273 | |
| 274 /* Points to the FUNCTION_DECL of this function. */ | |
| 275 tree decl; | |
| 276 | |
| 277 /* A PARM_DECL that should contain the static chain for this function. | |
| 278 It will be initialized at the beginning of the function. */ | |
| 279 tree static_chain_decl; | |
| 280 | |
| 281 /* An expression that contains the non-local goto save area. The first | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
36
diff
changeset
|
282 word is the saved frame pointer and the second is the saved stack |
| 0 | 283 pointer. */ |
| 284 tree nonlocal_goto_save_area; | |
| 285 | |
|
67
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
286 /* Vector of function local variables, functions, types and constants. */ |
| 111 | 287 vec<tree, va_gc> *local_decls; |
| 288 | |
| 0 | 289 /* For md files. */ |
| 290 | |
| 291 /* tm.h can use this to store whatever it likes. */ | |
| 292 struct machine_function * GTY ((maybe_undef)) machine; | |
| 293 | |
| 294 /* Language-specific code can use this to store whatever it likes. */ | |
| 295 struct language_function * language; | |
| 296 | |
| 297 /* Used types hash table. */ | |
| 111 | 298 hash_set<tree> *GTY (()) used_types_hash; |
| 299 | |
| 300 /* Dwarf2 Frame Description Entry, containing the Call Frame Instructions | |
| 301 used for unwinding. Only set when either dwarf2 unwinding or dwarf2 | |
| 302 debugging is enabled. */ | |
| 303 struct dw_fde_node *fde; | |
| 0 | 304 |
| 305 /* Last statement uid. */ | |
| 306 int last_stmt_uid; | |
| 307 | |
| 131 | 308 /* Debug marker counter. Count begin stmt markers. We don't have |
| 309 to keep it exact, it's more of a rough estimate to enable us to | |
| 310 decide whether they are too many to copy during inlining, or when | |
| 311 expanding to RTL. */ | |
| 312 int debug_marker_count; | |
| 313 | |
| 0 | 314 /* Function sequence number for profiling, debugging, etc. */ |
| 315 int funcdef_no; | |
| 316 | |
| 317 /* Line number of the start of the function for debugging purposes. */ | |
| 318 location_t function_start_locus; | |
| 319 | |
| 320 /* Line number of the end of the function. */ | |
| 321 location_t function_end_locus; | |
| 322 | |
| 323 /* Properties used by the pass manager. */ | |
| 324 unsigned int curr_properties; | |
| 325 unsigned int last_verified; | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
36
diff
changeset
|
326 |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
36
diff
changeset
|
327 /* Non-null if the function does something that would prevent it from |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
36
diff
changeset
|
328 being copied; this applies to both versioning and inlining. Set to |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
36
diff
changeset
|
329 a string describing the reason for failure. */ |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
36
diff
changeset
|
330 const char * GTY((skip)) cannot_be_copied_reason; |
| 0 | 331 |
| 111 | 332 /* Last assigned dependence info clique. */ |
| 333 unsigned short last_clique; | |
| 334 | |
| 0 | 335 /* Collected bit flags. */ |
| 336 | |
| 337 /* Number of units of general registers that need saving in stdarg | |
| 338 function. What unit is depends on the backend, either it is number | |
| 339 of bytes, or it can be number of registers. */ | |
| 340 unsigned int va_list_gpr_size : 8; | |
| 341 | |
| 342 /* Number of units of floating point registers that need saving in stdarg | |
| 343 function. */ | |
| 344 unsigned int va_list_fpr_size : 8; | |
| 345 | |
| 346 /* Nonzero if function being compiled can call setjmp. */ | |
| 347 unsigned int calls_setjmp : 1; | |
| 348 | |
| 349 /* Nonzero if function being compiled can call alloca, | |
| 350 either as a subroutine or builtin. */ | |
| 351 unsigned int calls_alloca : 1; | |
| 352 | |
| 145 | 353 /* Nonzero if function being compiled can call __builtin_eh_return. */ |
| 354 unsigned int calls_eh_return : 1; | |
| 355 | |
| 0 | 356 /* Nonzero if function being compiled receives nonlocal gotos |
| 357 from nested functions. */ | |
| 358 unsigned int has_nonlocal_label : 1; | |
| 359 | |
| 111 | 360 /* Nonzero if function being compiled has a forced label |
| 361 placed into static storage. */ | |
| 362 unsigned int has_forced_label_in_static : 1; | |
| 363 | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
36
diff
changeset
|
364 /* Nonzero if we've set cannot_be_copied_reason. I.e. if |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
36
diff
changeset
|
365 (cannot_be_copied_set && !cannot_be_copied_reason), the function |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
36
diff
changeset
|
366 can in fact be copied. */ |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
36
diff
changeset
|
367 unsigned int cannot_be_copied_set : 1; |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
36
diff
changeset
|
368 |
| 0 | 369 /* Nonzero if current function uses stdarg.h or equivalent. */ |
| 370 unsigned int stdarg : 1; | |
| 371 | |
| 372 unsigned int after_inlining : 1; | |
| 373 unsigned int always_inline_functions_inlined : 1; | |
| 374 | |
|
67
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
375 /* Nonzero if function being compiled can throw synchronous non-call |
|
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
376 exceptions. */ |
|
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
377 unsigned int can_throw_non_call_exceptions : 1; |
|
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
378 |
| 111 | 379 /* Nonzero if instructions that may throw exceptions but don't otherwise |
| 380 contribute to the execution of the program can be deleted. */ | |
| 381 unsigned int can_delete_dead_exceptions : 1; | |
| 382 | |
| 0 | 383 /* Fields below this point are not set for abstract functions; see |
| 384 allocate_struct_function. */ | |
| 385 | |
| 386 /* Nonzero if function being compiled needs to be given an address | |
| 387 where the value should be stored. */ | |
| 388 unsigned int returns_struct : 1; | |
| 389 | |
| 390 /* Nonzero if function being compiled needs to | |
| 391 return the address of where it has put a structure value. */ | |
| 392 unsigned int returns_pcc_struct : 1; | |
| 393 | |
| 394 /* Nonzero if this function has local DECL_HARD_REGISTER variables. | |
| 395 In this case code motion has to be done more carefully. */ | |
| 396 unsigned int has_local_explicit_reg_vars : 1; | |
| 397 | |
| 398 /* Nonzero if the current function is a thunk, i.e., a lightweight | |
| 399 function implemented by the output_mi_thunk hook) that just | |
| 400 adjusts one of its arguments and forwards to another | |
| 401 function. */ | |
| 402 unsigned int is_thunk : 1; | |
| 111 | 403 |
| 404 /* Nonzero if the current function contains any loops with | |
| 405 loop->force_vectorize set. */ | |
| 406 unsigned int has_force_vectorize_loops : 1; | |
| 407 | |
| 408 /* Nonzero if the current function contains any loops with | |
| 409 nonzero value in loop->simduid. */ | |
| 410 unsigned int has_simduid_loops : 1; | |
| 411 | |
| 131 | 412 /* Nonzero when the tail call has been identified. */ |
| 111 | 413 unsigned int tail_call_marked : 1; |
| 131 | 414 |
| 415 /* Nonzero if the current function contains a #pragma GCC unroll. */ | |
| 416 unsigned int has_unroll : 1; | |
| 417 | |
| 418 /* Set when the function was compiled with generation of debug | |
| 419 (begin stmt, inline entry, ...) markers enabled. */ | |
| 420 unsigned int debug_nonbind_markers : 1; | |
| 145 | 421 |
| 422 /* Set if this is a coroutine-related function. */ | |
| 423 unsigned int coroutine_component : 1; | |
| 0 | 424 }; |
| 425 | |
|
67
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
426 /* Add the decl D to the local_decls list of FUN. */ |
|
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
427 |
| 111 | 428 void add_local_decl (struct function *fun, tree d); |
|
67
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
429 |
|
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
430 #define FOR_EACH_LOCAL_DECL(FUN, I, D) \ |
| 111 | 431 FOR_EACH_VEC_SAFE_ELT_REVERSE ((FUN)->local_decls, I, D) |
|
67
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
432 |
| 145 | 433 /* Record a final call to CALLEE at LOCATION. */ |
| 434 void record_final_call (tree callee, location_t location); | |
| 435 | |
| 436 /* Record a dynamic allocation made for DECL_OR_EXP. */ | |
| 437 void record_dynamic_alloc (tree decl_or_exp); | |
| 438 | |
| 0 | 439 /* If va_list_[gf]pr_size is set to this, it means we don't know how |
| 440 many units need to be saved. */ | |
| 441 #define VA_LIST_MAX_GPR_SIZE 255 | |
| 442 #define VA_LIST_MAX_FPR_SIZE 255 | |
| 443 | |
| 444 /* The function currently being compiled. */ | |
| 445 extern GTY(()) struct function *cfun; | |
| 446 | |
| 447 /* In order to ensure that cfun is not set directly, we redefine it so | |
| 448 that it is not an lvalue. Rather than assign to cfun, use | |
| 449 push_cfun or set_cfun. */ | |
| 450 #define cfun (cfun + 0) | |
| 451 | |
| 452 /* Nonzero if we've already converted virtual regs to hard regs. */ | |
| 453 extern int virtuals_instantiated; | |
| 454 | |
| 455 /* Nonzero if at least one trampoline has been created. */ | |
| 456 extern int trampolines_created; | |
| 457 | |
| 111 | 458 struct GTY((for_user)) types_used_by_vars_entry { |
| 36 | 459 tree type; |
| 460 tree var_decl; | |
| 461 }; | |
| 462 | |
| 111 | 463 struct used_type_hasher : ggc_ptr_hash<types_used_by_vars_entry> |
| 464 { | |
| 465 static hashval_t hash (types_used_by_vars_entry *); | |
| 466 static bool equal (types_used_by_vars_entry *, types_used_by_vars_entry *); | |
| 467 }; | |
| 468 | |
| 36 | 469 /* Hash table making the relationship between a global variable |
| 470 and the types it references in its initializer. The key of the | |
| 471 entry is a referenced type, and the value is the DECL of the global | |
| 472 variable. types_use_by_vars_do_hash and types_used_by_vars_eq below are | |
| 473 the hash and equality functions to use for this hash table. */ | |
| 111 | 474 extern GTY(()) hash_table<used_type_hasher> *types_used_by_vars_hash; |
| 36 | 475 |
| 476 void types_used_by_var_decl_insert (tree type, tree var_decl); | |
| 477 | |
|
67
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
478 /* During parsing of a global variable, this vector contains the types |
|
f6334be47118
update gcc from gcc-4.6-20100522 to gcc-4.6-20110318
nobuyasu <dimolto@cr.ie.u-ryukyu.ac.jp>
parents:
63
diff
changeset
|
479 referenced by the global variable. */ |
| 111 | 480 extern GTY(()) vec<tree, va_gc> *types_used_by_cur_var_decl; |
| 36 | 481 |
| 482 | |
| 111 | 483 /* Return the loop tree of FN. */ |
| 484 | |
| 485 inline struct loops * | |
| 486 loops_for_fn (struct function *fn) | |
| 487 { | |
| 488 return fn->x_current_loops; | |
| 489 } | |
| 490 | |
| 491 /* Set the loop tree of FN to LOOPS. */ | |
| 492 | |
| 493 inline void | |
| 494 set_loops_for_fn (struct function *fn, struct loops *loops) | |
| 495 { | |
| 496 gcc_checking_assert (fn->x_current_loops == NULL || loops == NULL); | |
| 497 fn->x_current_loops = loops; | |
| 498 } | |
| 0 | 499 |
| 500 /* For backward compatibility... eventually these should all go away. */ | |
| 501 #define current_function_funcdef_no (cfun->funcdef_no) | |
| 502 | |
| 503 #define current_loops (cfun->x_current_loops) | |
| 504 #define dom_computed (cfun->cfg->x_dom_computed) | |
| 505 #define n_bbs_in_dom_tree (cfun->cfg->x_n_bbs_in_dom_tree) | |
| 506 #define VALUE_HISTOGRAMS(fun) (fun)->value_histograms | |
| 507 | |
| 111 | 508 /* A pointer to a function to create target specific, per-function |
| 509 data structures. */ | |
| 510 extern struct machine_function * (*init_machine_status) (void); | |
| 511 | |
| 512 /* Structure to record the size of a sequence of arguments | |
| 513 as the sum of a tree-expression and a constant. This structure is | |
| 514 also used to store offsets from the stack, which might be negative, | |
| 515 so the variable part must be ssizetype, not sizetype. */ | |
| 516 | |
| 517 struct args_size | |
| 518 { | |
| 131 | 519 poly_int64_pod constant; |
| 111 | 520 tree var; |
| 521 }; | |
| 522 | |
| 523 /* Package up various arg related fields of struct args for | |
| 524 locate_and_pad_parm. */ | |
| 525 struct locate_and_pad_arg_data | |
| 526 { | |
| 527 /* Size of this argument on the stack, rounded up for any padding it | |
| 528 gets. If REG_PARM_STACK_SPACE is defined, then register parms are | |
| 529 counted here, otherwise they aren't. */ | |
| 530 struct args_size size; | |
| 531 /* Offset of this argument from beginning of stack-args. */ | |
| 532 struct args_size offset; | |
| 533 /* Offset to the start of the stack slot. Different from OFFSET | |
| 534 if this arg pads downward. */ | |
| 535 struct args_size slot_offset; | |
| 536 /* The amount that the stack pointer needs to be adjusted to | |
| 537 force alignment for the next argument. */ | |
| 538 struct args_size alignment_pad; | |
| 539 /* Which way we should pad this arg. */ | |
| 540 pad_direction where_pad; | |
| 541 /* slot_offset is at least this aligned. */ | |
| 542 unsigned int boundary; | |
| 543 }; | |
| 544 | |
| 545 /* Add the value of the tree INC to the `struct args_size' TO. */ | |
| 546 | |
| 547 #define ADD_PARM_SIZE(TO, INC) \ | |
| 548 do { \ | |
| 549 tree inc = (INC); \ | |
| 550 if (tree_fits_shwi_p (inc)) \ | |
| 551 (TO).constant += tree_to_shwi (inc); \ | |
| 552 else if ((TO).var == 0) \ | |
| 553 (TO).var = fold_convert (ssizetype, inc); \ | |
| 554 else \ | |
| 555 (TO).var = size_binop (PLUS_EXPR, (TO).var, \ | |
| 556 fold_convert (ssizetype, inc)); \ | |
| 557 } while (0) | |
| 0 | 558 |
| 111 | 559 #define SUB_PARM_SIZE(TO, DEC) \ |
| 560 do { \ | |
| 561 tree dec = (DEC); \ | |
| 562 if (tree_fits_shwi_p (dec)) \ | |
| 563 (TO).constant -= tree_to_shwi (dec); \ | |
| 564 else if ((TO).var == 0) \ | |
| 565 (TO).var = size_binop (MINUS_EXPR, ssize_int (0), \ | |
| 566 fold_convert (ssizetype, dec)); \ | |
| 567 else \ | |
| 568 (TO).var = size_binop (MINUS_EXPR, (TO).var, \ | |
| 569 fold_convert (ssizetype, dec)); \ | |
| 570 } while (0) | |
| 571 | |
| 572 /* Convert the implicit sum in a `struct args_size' into a tree | |
| 573 of type ssizetype. */ | |
| 574 #define ARGS_SIZE_TREE(SIZE) \ | |
| 575 ((SIZE).var == 0 ? ssize_int ((SIZE).constant) \ | |
| 576 : size_binop (PLUS_EXPR, fold_convert (ssizetype, (SIZE).var), \ | |
| 577 ssize_int ((SIZE).constant))) | |
| 578 | |
| 579 /* Convert the implicit sum in a `struct args_size' into an rtx. */ | |
| 580 #define ARGS_SIZE_RTX(SIZE) \ | |
| 131 | 581 ((SIZE).var == 0 ? gen_int_mode ((SIZE).constant, Pmode) \ |
| 111 | 582 : expand_normal (ARGS_SIZE_TREE (SIZE))) |
| 0 | 583 |
| 111 | 584 #define ASLK_REDUCE_ALIGN 1 |
| 585 #define ASLK_RECORD_PAD 2 | |
| 586 | |
| 587 /* If pointers to member functions use the least significant bit to | |
| 588 indicate whether a function is virtual, ensure a pointer | |
| 589 to this function will have that bit clear. */ | |
| 590 #define MINIMUM_METHOD_BOUNDARY \ | |
| 591 ((TARGET_PTRMEMFUNC_VBIT_LOCATION == ptrmemfunc_vbit_in_pfn) \ | |
| 592 ? MAX (FUNCTION_BOUNDARY, 2 * BITS_PER_UNIT) : FUNCTION_BOUNDARY) | |
| 593 | |
| 594 enum stack_clash_probes { | |
| 595 NO_PROBE_NO_FRAME, | |
| 596 NO_PROBE_SMALL_FRAME, | |
| 597 PROBE_INLINE, | |
| 598 PROBE_LOOP | |
| 599 }; | |
| 600 | |
| 601 extern void dump_stack_clash_frame_info (enum stack_clash_probes, bool); | |
| 602 | |
| 603 | |
| 604 extern void push_function_context (void); | |
| 605 extern void pop_function_context (void); | |
| 606 | |
| 607 /* Save and restore status information for a nested function. */ | |
| 608 extern void free_after_parsing (struct function *); | |
| 609 extern void free_after_compilation (struct function *); | |
| 0 | 610 |
| 611 /* Return size needed for stack frame based on slots so far allocated. | |
| 612 This size counts from zero. It is not rounded to STACK_BOUNDARY; | |
| 613 the caller may have to do that. */ | |
| 131 | 614 extern poly_int64 get_frame_size (void); |
| 0 | 615 |
| 616 /* Issue an error message and return TRUE if frame OFFSET overflows in | |
| 617 the signed target pointer arithmetics for function FUNC. Otherwise | |
| 618 return FALSE. */ | |
| 131 | 619 extern bool frame_offset_overflow (poly_int64, tree); |
| 0 | 620 |
| 111 | 621 extern unsigned int spill_slot_alignment (machine_mode); |
| 622 | |
| 131 | 623 extern rtx assign_stack_local_1 (machine_mode, poly_int64, int, int); |
| 624 extern rtx assign_stack_local (machine_mode, poly_int64, int); | |
| 625 extern rtx assign_stack_temp_for_type (machine_mode, poly_int64, tree); | |
| 626 extern rtx assign_stack_temp (machine_mode, poly_int64); | |
| 111 | 627 extern rtx assign_temp (tree, int, int); |
| 628 extern void update_temp_slot_address (rtx, rtx); | |
| 629 extern void preserve_temp_slots (rtx); | |
| 630 extern void free_temp_slots (void); | |
| 631 extern void push_temp_slots (void); | |
| 632 extern void pop_temp_slots (void); | |
| 633 extern void init_temp_slots (void); | |
| 634 extern rtx get_hard_reg_initial_reg (rtx); | |
| 635 extern rtx get_hard_reg_initial_val (machine_mode, unsigned int); | |
| 636 extern rtx has_hard_reg_initial_val (machine_mode, unsigned int); | |
| 637 | |
| 638 /* Called from gimple_expand_cfg. */ | |
| 639 extern unsigned int emit_initial_value_sets (void); | |
| 0 | 640 |
| 111 | 641 extern bool initial_value_entry (int i, rtx *, rtx *); |
| 642 extern void instantiate_decl_rtl (rtx x); | |
| 643 extern int aggregate_value_p (const_tree, const_tree); | |
| 644 extern bool use_register_for_decl (const_tree); | |
| 131 | 645 extern gimple_seq gimplify_parameters (gimple_seq *); |
| 111 | 646 extern void locate_and_pad_parm (machine_mode, tree, int, int, int, |
| 647 tree, struct args_size *, | |
| 648 struct locate_and_pad_arg_data *); | |
| 649 extern void generate_setjmp_warnings (void); | |
| 650 | |
| 651 /* Identify BLOCKs referenced by more than one NOTE_INSN_BLOCK_{BEG,END}, | |
| 652 and create duplicate blocks. */ | |
| 653 extern void reorder_blocks (void); | |
| 654 extern void clear_block_marks (tree); | |
| 655 extern tree blocks_nreverse (tree); | |
| 656 extern tree block_chainon (tree, tree); | |
| 0 | 657 |
| 111 | 658 /* Set BLOCK_NUMBER for all the blocks in FN. */ |
| 659 extern void number_blocks (tree); | |
| 660 | |
| 661 /* cfun shouldn't be set directly; use one of these functions instead. */ | |
| 662 extern void set_cfun (struct function *new_cfun, bool force = false); | |
| 663 extern void push_cfun (struct function *new_cfun); | |
| 664 extern void pop_cfun (void); | |
| 0 | 665 |
| 111 | 666 extern int get_next_funcdef_no (void); |
| 667 extern int get_last_funcdef_no (void); | |
| 668 extern void allocate_struct_function (tree, bool); | |
| 669 extern void push_struct_function (tree fndecl); | |
| 670 extern void push_dummy_function (bool); | |
| 671 extern void pop_dummy_function (void); | |
| 672 extern void init_dummy_function_start (void); | |
| 673 extern void init_function_start (tree); | |
| 674 extern void stack_protect_epilogue (void); | |
| 675 extern void expand_function_start (tree); | |
| 676 extern void expand_dummy_function_end (void); | |
| 677 | |
| 678 extern void thread_prologue_and_epilogue_insns (void); | |
| 0 | 679 extern void diddle_return_value (void (*)(rtx, void*), void*); |
| 680 extern void clobber_return_register (void); | |
| 111 | 681 extern void expand_function_end (void); |
| 0 | 682 extern rtx get_arg_pointer_save_area (void); |
| 111 | 683 extern void maybe_copy_prologue_epilogue_insn (rtx, rtx); |
| 684 extern int prologue_contains (const rtx_insn *); | |
| 685 extern int epilogue_contains (const rtx_insn *); | |
| 686 extern int prologue_epilogue_contains (const rtx_insn *); | |
| 687 extern void record_prologue_seq (rtx_insn *); | |
| 688 extern void record_epilogue_seq (rtx_insn *); | |
| 689 extern void emit_return_into_block (bool simple_p, basic_block bb); | |
| 690 extern void set_return_jump_label (rtx_insn *); | |
| 691 extern bool active_insn_between (rtx_insn *head, rtx_insn *tail); | |
| 692 extern vec<edge> convert_jumps_to_returns (basic_block last_bb, bool simple_p, | |
| 693 vec<edge> unconverted); | |
| 694 extern basic_block emit_return_for_exit (edge exit_fallthru_edge, | |
| 695 bool simple_p); | |
| 696 extern void reposition_prologue_and_epilogue_notes (void); | |
| 0 | 697 |
| 698 /* Returns the name of the current function. */ | |
| 111 | 699 extern const char *fndecl_name (tree); |
| 700 extern const char *function_name (struct function *); | |
| 0 | 701 extern const char *current_function_name (void); |
| 702 | |
| 703 extern void used_types_insert (tree); | |
| 704 | |
| 705 #endif /* GCC_FUNCTION_H */ |