Mercurial > hg > CbC > CbC_gcc
annotate gcc/tree-inline.h @ 55:77e2b8dfacca gcc-4.4.5
update it from 4.4.3 to 4.5.0
| author | ryoma <e075725@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Fri, 12 Feb 2010 23:39:51 +0900 |
| parents | a06113de4d67 |
| children | b7f97abdc517 |
| rev | line source |
|---|---|
| 0 | 1 /* Tree inlining hooks and declarations. |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
2 Copyright 2001, 2003, 2004, 2005, 2007, 2008, 2009 |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
3 Free Software Foundation, Inc. |
| 0 | 4 Contributed by Alexandre Oliva <aoliva@redhat.com> |
| 5 | |
| 6 This file is part of GCC. | |
| 7 | |
| 8 GCC is free software; you can redistribute it and/or modify | |
| 9 it under the terms of the GNU General Public License as published by | |
| 10 the Free Software Foundation; either version 3, or (at your option) | |
| 11 any later version. | |
| 12 | |
| 13 GCC is distributed in the hope that it will be useful, | |
| 14 but WITHOUT ANY WARRANTY; without even the implied warranty of | |
| 15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
| 16 GNU General Public License for more details. | |
| 17 | |
| 18 You should have received a copy of the GNU General Public License | |
| 19 along with GCC; see the file COPYING3. If not see | |
| 20 <http://www.gnu.org/licenses/>. */ | |
| 21 | |
| 22 #ifndef GCC_TREE_INLINE_H | |
| 23 #define GCC_TREE_INLINE_H | |
| 24 | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
25 #include "gimple.h" |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
26 |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
27 struct cgraph_edge; |
| 0 | 28 |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
29 /* Indicate the desired behavior wrt call graph edges. We can either |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
30 duplicate the edge (inlining, cloning), move the edge (versioning, |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
31 parallelization), or move the edges of the clones (saving). */ |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
32 |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
33 enum copy_body_cge_which |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
34 { |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
35 CB_CGE_DUPLICATE, |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
36 CB_CGE_MOVE, |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
37 CB_CGE_MOVE_CLONES |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
38 }; |
| 0 | 39 |
| 40 /* Data required for function body duplication. */ | |
| 41 | |
| 42 typedef struct copy_body_data | |
| 43 { | |
| 44 /* FUNCTION_DECL for function being inlined, or in general the | |
| 45 source function providing the original trees. */ | |
| 46 tree src_fn; | |
| 47 | |
| 48 /* FUNCTION_DECL for function being inlined into, or in general | |
| 49 the destination function receiving the new trees. */ | |
| 50 tree dst_fn; | |
| 51 | |
| 52 /* Callgraph node of the source function. */ | |
| 53 struct cgraph_node *src_node; | |
| 54 | |
| 55 /* Callgraph node of the destination function. */ | |
| 56 struct cgraph_node *dst_node; | |
| 57 | |
| 58 /* struct function for function being inlined. Usually this is the same | |
| 59 as DECL_STRUCT_FUNCTION (src_fn), but can be different if saved_cfg | |
| 60 and saved_eh are in use. */ | |
| 61 struct function *src_cfun; | |
| 62 | |
| 63 /* The VAR_DECL for the return value. */ | |
| 64 tree retvar; | |
| 65 | |
| 66 /* The map from local declarations in the inlined function to | |
| 67 equivalents in the function into which it is being inlined. */ | |
| 68 struct pointer_map_t *decl_map; | |
| 69 | |
| 70 /* Create a new decl to replace DECL in the destination function. */ | |
| 71 tree (*copy_decl) (tree, struct copy_body_data *); | |
| 72 | |
| 73 /* Current BLOCK. */ | |
| 74 tree block; | |
| 75 | |
| 76 /* GIMPLE_CALL if va arg parameter packs should be expanded or NULL | |
| 77 is not. */ | |
| 78 gimple gimple_call; | |
| 79 | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
80 /* Exception landing pad the inlined call lies in. */ |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
81 int eh_lp_nr; |
| 0 | 82 |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
83 /* Maps region and landing pad structures from the function being copied |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
84 to duplicates created within the function we inline into. */ |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
85 struct pointer_map_t *eh_map; |
| 0 | 86 |
| 87 /* We use the same mechanism do all sorts of different things. Rather | |
| 88 than enumerating the different cases, we categorize the behavior | |
| 89 in the various situations. */ | |
| 90 | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
91 /* What to do with call graph edges. */ |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
92 enum copy_body_cge_which transform_call_graph_edges; |
| 0 | 93 |
| 94 /* True if a new CFG should be created. False for inlining, true for | |
| 95 everything else. */ | |
| 96 bool transform_new_cfg; | |
| 97 | |
| 98 /* True if RETURN_EXPRs should be transformed to just the contained | |
| 99 MODIFY_EXPR. The branch semantics of the return will be handled | |
| 100 by manipulating the CFG rather than a statement. */ | |
| 101 bool transform_return_to_modify; | |
| 102 | |
| 103 /* True if this statement will need to be regimplified. */ | |
| 104 bool regimplify; | |
| 105 | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
106 /* True if trees should not be unshared. */ |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
107 bool do_not_unshare; |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
108 |
| 0 | 109 /* > 0 if we are remapping a type currently. */ |
| 110 int remapping_type_depth; | |
| 111 | |
| 112 /* A function to be called when duplicating BLOCK nodes. */ | |
| 113 void (*transform_lang_insert_block) (tree); | |
| 114 | |
| 115 /* Statements that might be possibly folded. */ | |
| 116 struct pointer_set_t *statements_to_fold; | |
| 117 | |
| 118 /* Entry basic block to currently copied body. */ | |
| 119 struct basic_block_def *entry_bb; | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
120 |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
121 /* Debug statements that need processing. */ |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
122 VEC(gimple,heap) *debug_stmts; |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
123 |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
124 /* A map from local declarations in the inlined function to |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
125 equivalents in the function into which it is being inlined, where |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
126 the originals have been mapped to a value rather than to a |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
127 variable. */ |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
128 struct pointer_map_t *debug_map; |
| 0 | 129 } copy_body_data; |
| 130 | |
| 131 /* Weights of constructions for estimate_num_insns. */ | |
| 132 | |
| 133 typedef struct eni_weights_d | |
| 134 { | |
| 135 /* Cost per call. */ | |
| 136 unsigned call_cost; | |
| 137 | |
| 138 /* Cost per call to a target specific builtin */ | |
| 139 unsigned target_builtin_call_cost; | |
| 140 | |
| 141 /* Cost of "expensive" div and mod operations. */ | |
| 142 unsigned div_mod_cost; | |
| 143 | |
| 144 /* Cost for omp construct. */ | |
| 145 unsigned omp_cost; | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
146 |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
147 /* True when time of statemnt should be estimated. Thus i.e |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
148 cost of switch statement is logarithmic rather than linear in number |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
149 of cases. */ |
|
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
150 bool time_based; |
| 0 | 151 } eni_weights; |
| 152 | |
| 153 /* Weights that estimate_num_insns uses for heuristics in inlining. */ | |
| 154 | |
| 155 extern eni_weights eni_inlining_weights; | |
| 156 | |
| 157 /* Weights that estimate_num_insns uses to estimate the size of the | |
| 158 produced code. */ | |
| 159 | |
| 160 extern eni_weights eni_size_weights; | |
| 161 | |
| 162 /* Weights that estimate_num_insns uses to estimate the time necessary | |
| 163 to execute the produced code. */ | |
| 164 | |
| 165 extern eni_weights eni_time_weights; | |
| 166 | |
| 167 /* Function prototypes. */ | |
| 168 | |
| 169 extern tree copy_tree_body_r (tree *, int *, void *); | |
| 170 extern void insert_decl_map (copy_body_data *, tree, tree); | |
| 171 | |
| 172 unsigned int optimize_inline_calls (tree); | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
173 tree maybe_inline_call_in_expr (tree); |
| 0 | 174 bool tree_inlinable_function_p (tree); |
| 175 tree copy_tree_r (tree *, int *, void *); | |
| 176 tree copy_decl_no_change (tree decl, copy_body_data *id); | |
| 177 void save_body (tree, tree *, tree *); | |
| 178 int estimate_move_cost (tree type); | |
| 179 int estimate_num_insns (gimple, eni_weights *); | |
| 180 int estimate_num_insns_fn (tree, eni_weights *); | |
| 181 int count_insns_seq (gimple_seq, eni_weights *); | |
| 182 bool tree_versionable_function_p (tree); | |
|
55
77e2b8dfacca
update it from 4.4.3 to 4.5.0
ryoma <e075725@ie.u-ryukyu.ac.jp>
parents:
0
diff
changeset
|
183 bool tree_can_inline_p (struct cgraph_edge *e); |
| 0 | 184 |
| 185 extern gimple_seq remap_gimple_seq (gimple_seq, copy_body_data *); | |
| 186 extern tree remap_decl (tree decl, copy_body_data *id); | |
| 187 extern tree remap_type (tree type, copy_body_data *id); | |
| 188 extern gimple_seq copy_gimple_seq_and_replace_locals (gimple_seq seq); | |
| 189 | |
| 190 extern HOST_WIDE_INT estimated_stack_frame_size (void); | |
| 191 | |
| 192 #endif /* GCC_TREE_INLINE_H */ |