]>
Commit | Line | Data |
---|---|---|
3250221d | 1 | /* Function integration definitions for GNU C-Compiler |
c826ae21 | 2 | Copyright (C) 1990, 1995, 1998, 1999, 2000, 2001 Free Software Foundation, Inc. |
3250221d | 3 | |
1322177d | 4 | This file is part of GCC. |
3250221d | 5 | |
1322177d LB |
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 2, or (at your option) any later | |
9 | version. | |
3250221d | 10 | |
1322177d LB |
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. | |
3250221d RS |
15 | |
16 | You should have received a copy of the GNU General Public License | |
1322177d LB |
17 | along with GCC; see the file COPYING. If not, write to the Free |
18 | Software Foundation, 59 Temple Place - Suite 330, Boston, MA | |
19 | 02111-1307, USA. */ | |
3250221d | 20 | |
c68da89c KR |
21 | #include "varray.h" |
22 | ||
3250221d RS |
23 | /* This structure is used to remap objects in the function being inlined to |
24 | those belonging to the calling function. It is passed by | |
25 | expand_inline_function to its children. | |
26 | ||
27 | This structure is also used when unrolling loops and otherwise | |
28 | replicating code, although not all fields are needed in this case; | |
29 | only those fields needed by copy_rtx_and_substitute() and its children | |
30 | are used. | |
31 | ||
32 | This structure is used instead of static variables because | |
33 | expand_inline_function may be called recursively via expand_expr. */ | |
34 | ||
35 | struct inline_remap | |
36 | { | |
11d1f673 JW |
37 | /* True if we are doing function integration, false otherwise. |
38 | Used to control whether RTX_UNCHANGING bits are copied by | |
19eb1ad7 | 39 | copy_rtx_and_substitute. */ |
11d1f673 | 40 | int integrating; |
3250221d RS |
41 | /* Definition of function be inlined. */ |
42 | union tree_node *fndecl; | |
43 | /* Place to put insns needed at start of function. */ | |
44 | rtx insns_at_start; | |
a97901e6 MM |
45 | /* Mapping from old BLOCKs to new BLOCKs. */ |
46 | varray_type block_map; | |
3250221d RS |
47 | /* Mapping from old registers to new registers. |
48 | It is allocated and deallocated in `expand_inline_function' */ | |
49 | rtx *reg_map; | |
c826ae21 MM |
50 | #if defined (LEAF_REGISTERS) && defined (LEAF_REG_REMAP) |
51 | /* Mapping from old leaf registers to new leaf registers. */ | |
52 | rtx leaf_reg_map[FIRST_PSEUDO_REGISTER][NUM_MACHINE_MODES]; | |
53 | #endif | |
3250221d RS |
54 | /* Mapping from old code-labels to new code-labels. |
55 | The first element of this map is label_map[min_labelno]. */ | |
56 | rtx *label_map; | |
57 | /* Mapping from old insn uid's to copied insns. The first element | |
58 | of this map is insn_map[min_insnno]; the last element is | |
59 | insn_map[max_insnno]. We keep the bounds here for when the map | |
60 | only covers a partial range of insns (such as loop unrolling or | |
61 | code replication). */ | |
62 | rtx *insn_map; | |
63 | int min_insnno, max_insnno; | |
64 | ||
65 | /* Map pseudo reg number in calling function to equivalent constant. We | |
66 | cannot in general substitute constants into parameter pseudo registers, | |
67 | since some machine descriptions (many RISCs) won't always handle | |
68 | the resulting insns. So if an incoming parameter has a constant | |
69 | equivalent, we record it here, and if the resulting insn is | |
70 | recognizable, we go with it. | |
71 | ||
72 | We also use this mechanism to convert references to incoming arguments | |
73 | and stacked variables. copy_rtx_and_substitute will replace the virtual | |
74 | incoming argument and virtual stacked variables registers with new | |
75 | pseudos that contain pointers into the replacement area allocated for | |
76 | this inline instance. These pseudos are then marked as being equivalent | |
77 | to the appropriate address and substituted if valid. */ | |
c68da89c | 78 | varray_type const_equiv_varray; |
3250221d | 79 | /* This is incremented for each new basic block. |
c68da89c KR |
80 | It is used to store in the age field to record the domain of validity |
81 | of each entry in const_equiv_varray. | |
3250221d RS |
82 | A value of -1 indicates an entry for a reg which is a parm. |
83 | All other values are "positive". */ | |
84 | #define CONST_AGE_PARM (-1) | |
85 | unsigned int const_age; | |
c68da89c | 86 | |
3250221d RS |
87 | /* Target of the inline function being expanded, or NULL if none. */ |
88 | rtx inline_target; | |
89 | /* When an insn is being copied by copy_rtx_and_substitute, | |
90 | this is nonzero if we have copied an ASM_OPERANDS. | |
91 | In that case, it is the original input-operand vector. */ | |
92 | rtvec orig_asm_operands_vector; | |
93 | /* When an insn is being copied by copy_rtx_and_substitute, | |
94 | this is nonzero if we have copied an ASM_OPERANDS. | |
95 | In that case, it is the copied input-operand vector. */ | |
96 | rtvec copy_asm_operands_vector; | |
97 | /* Likewise, this is the copied constraints vector. */ | |
98 | rtvec copy_asm_constraints_vector; | |
99 | ||
464186fb RH |
100 | /* Target of a return insn, if needed and inlining. */ |
101 | rtx local_return_label; | |
102 | ||
3051365e | 103 | /* Indications for regs being pointers and their alignment. */ |
f9e158c3 | 104 | unsigned char *regno_pointer_align; |
3502dc9c | 105 | rtx *x_regno_reg_rtx; |
3051365e | 106 | |
3250221d RS |
107 | /* The next few fields are used for subst_constants to record the SETs |
108 | that it saw. */ | |
109 | int num_sets; | |
110 | struct equiv_table | |
111 | { | |
112 | rtx dest; | |
113 | rtx equiv; | |
114 | } equiv_sets[MAX_RECOG_OPERANDS]; | |
115 | /* Record the last thing assigned to pc. This is used for folded | |
116 | conditional branch insns. */ | |
117 | rtx last_pc_value; | |
118 | #ifdef HAVE_cc0 | |
119 | /* Record the last thing assigned to cc0. */ | |
120 | rtx last_cc0_value; | |
121 | #endif | |
96e60f0c JJ |
122 | /* Note mode of COMPARE if the mode would be otherwise lost (comparing of |
123 | two VOIDmode constants. */ | |
124 | rtx compare_src; | |
125 | enum machine_mode compare_mode; | |
3250221d RS |
126 | }; |
127 | ||
128 | /* Return a copy of an rtx (as needed), substituting pseudo-register, | |
129 | labels, and frame-pointer offsets as necessary. */ | |
3fe41456 | 130 | extern rtx copy_rtx_and_substitute PARAMS ((rtx, struct inline_remap *, int)); |
3250221d | 131 | |
c0e7830f DD |
132 | /* Return a pseudo that corresponds to the value in the specified hard |
133 | reg as of the start of the function (for inlined functions, the | |
134 | value at the start of the parent function). */ | |
135 | extern rtx get_hard_reg_initial_val PARAMS ((enum machine_mode, int)); | |
136 | /* Likewise, but for a different than the current function, or | |
137 | arbitrary expression. */ | |
138 | extern rtx get_func_hard_reg_initial_val PARAMS ((struct function *, rtx)); | |
139 | /* Likewise, but iff someone else has caused it to become allocated. */ | |
140 | extern rtx has_func_hard_reg_initial_val PARAMS ((struct function *, rtx)); | |
141 | /* Likewise, but for common cases. */ | |
142 | extern rtx has_hard_reg_initial_val PARAMS ((enum machine_mode, int)); | |
902197eb DD |
143 | /* If a pseudo represents an initial hard reg (or expression), return |
144 | it, else return NULL_RTX. */ | |
145 | extern rtx get_hard_reg_initial_reg PARAMS ((struct function *, rtx)); | |
c0e7830f DD |
146 | /* This is for GC. */ |
147 | extern void mark_hard_reg_initial_vals PARAMS ((struct function *)); | |
148 | /* Called from rest_of_compilation. */ | |
149 | extern void emit_initial_value_sets PARAMS ((void)); | |
385b6e2d | 150 | extern void allocate_initial_values PARAMS ((rtx *)); |
c0e7830f | 151 | |
94755d92 MM |
152 | /* Copy a declaration when one function is substituted inline into |
153 | another. */ | |
3fe41456 | 154 | extern union tree_node *copy_decl_for_inlining PARAMS ((union tree_node *, |
94755d92 MM |
155 | union tree_node *, |
156 | union tree_node *)); | |
157 | ||
588d3ade AO |
158 | /* Check whether there's any attribute in a function declaration that |
159 | makes the function uninlinable. Returns false if it finds any, | |
160 | true otherwise. */ | |
161 | extern bool function_attribute_inlinable_p PARAMS ((union tree_node *)); | |
162 | ||
3fe41456 | 163 | extern void try_constants PARAMS ((rtx, struct inline_remap *)); |
3250221d | 164 | |
1f3d3a31 | 165 | /* Return the label indicated. */ |
3fe41456 | 166 | extern rtx get_label_from_map PARAMS ((struct inline_remap *, int)); |
1f3d3a31 JL |
167 | |
168 | /* Set the label indicated. */ | |
e5e809f4 | 169 | #define set_label_in_map(MAP, I, X) ((MAP)->label_map[I] = (X)) |
1f3d3a31 | 170 | |
c68da89c KR |
171 | /* Unfortunately, we need a global copy of const_equiv varray for |
172 | communication with a function called from note_stores. Be *very* | |
173 | careful that this is used properly in the presence of recursion. */ | |
174 | ||
175 | extern varray_type global_const_equiv_varray; | |
176 | ||
177 | #define MAYBE_EXTEND_CONST_EQUIV_VARRAY(MAP,MAX) \ | |
178 | { \ | |
6a651371 | 179 | if ((size_t)(MAX) >= VARRAY_SIZE ((MAP)->const_equiv_varray)) \ |
c68da89c KR |
180 | { \ |
181 | int is_global = (global_const_equiv_varray \ | |
182 | == (MAP)->const_equiv_varray); \ | |
183 | VARRAY_GROW ((MAP)->const_equiv_varray, (MAX)+1); \ | |
184 | if (is_global) \ | |
185 | global_const_equiv_varray = (MAP)->const_equiv_varray; \ | |
186 | } \ | |
187 | } | |
188 | ||
189 | #define SET_CONST_EQUIV_DATA(MAP,REG,RTX,AGE) \ | |
190 | { \ | |
191 | struct const_equiv_data *p; \ | |
192 | MAYBE_EXTEND_CONST_EQUIV_VARRAY ((MAP), REGNO (REG)); \ | |
193 | p = &VARRAY_CONST_EQUIV ((MAP)->const_equiv_varray, REGNO (REG)); \ | |
194 | p->rtx = (RTX); \ | |
195 | p->age = (AGE); \ | |
196 | } |