1 |
684 |
jeremybenn |
/* Scanning of rtl for dataflow analysis.
|
2 |
|
|
Copyright (C) 2007, 2008, 2009, 2010
|
3 |
|
|
Free Software Foundation, Inc.
|
4 |
|
|
Contributed by Kenneth Zadeck (zadeck@naturalbridge.com).
|
5 |
|
|
|
6 |
|
|
This file is part of GCC.
|
7 |
|
|
|
8 |
|
|
GCC is free software; you can redistribute it and/or modify it under
|
9 |
|
|
the terms of the GNU General Public License as published by the Free
|
10 |
|
|
Software Foundation; either version 3, or (at your option) any later
|
11 |
|
|
version.
|
12 |
|
|
|
13 |
|
|
GCC is distributed in the hope that it will be useful, but WITHOUT ANY
|
14 |
|
|
WARRANTY; without even the implied warranty of MERCHANTABILITY or
|
15 |
|
|
FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
|
16 |
|
|
for more details.
|
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 |
|
|
|
23 |
|
|
#include "config.h"
|
24 |
|
|
#include "system.h"
|
25 |
|
|
#include "coretypes.h"
|
26 |
|
|
#include "tm.h"
|
27 |
|
|
#include "rtl.h"
|
28 |
|
|
#include "tm_p.h"
|
29 |
|
|
#include "flags.h"
|
30 |
|
|
#include "regs.h"
|
31 |
|
|
#include "output.h"
|
32 |
|
|
#include "except.h"
|
33 |
|
|
#include "hard-reg-set.h"
|
34 |
|
|
#include "basic-block.h"
|
35 |
|
|
#include "timevar.h"
|
36 |
|
|
#include "df.h"
|
37 |
|
|
|
38 |
|
|
|
39 |
|
|
struct regstat_n_sets_and_refs_t *regstat_n_sets_and_refs;
|
40 |
|
|
|
41 |
|
|
/*----------------------------------------------------------------------------
|
42 |
|
|
REG_N_SETS and REG_N_REFS.
|
43 |
|
|
----------------------------------------------------------------------------*/
|
44 |
|
|
|
45 |
|
|
/* If a pass need to change these values in some magical way or the
|
46 |
|
|
pass needs to have accurate values for these and is not using
|
47 |
|
|
incremental df scanning, then it should use REG_N_SETS and
|
48 |
|
|
REG_N_USES. If the pass is doing incremental scanning then it
|
49 |
|
|
should be getting the info from DF_REG_DEF_COUNT and
|
50 |
|
|
DF_REG_USE_COUNT. */
|
51 |
|
|
|
52 |
|
|
void
|
53 |
|
|
regstat_init_n_sets_and_refs (void)
|
54 |
|
|
{
|
55 |
|
|
unsigned int i;
|
56 |
|
|
unsigned int max_regno = max_reg_num ();
|
57 |
|
|
|
58 |
|
|
timevar_push (TV_REG_STATS);
|
59 |
|
|
df_grow_reg_info ();
|
60 |
|
|
gcc_assert (!regstat_n_sets_and_refs);
|
61 |
|
|
|
62 |
|
|
regstat_n_sets_and_refs = XNEWVEC (struct regstat_n_sets_and_refs_t, max_regno);
|
63 |
|
|
|
64 |
|
|
if (MAY_HAVE_DEBUG_INSNS)
|
65 |
|
|
for (i = 0; i < max_regno; i++)
|
66 |
|
|
{
|
67 |
|
|
int use_count;
|
68 |
|
|
df_ref use;
|
69 |
|
|
|
70 |
|
|
use_count = DF_REG_USE_COUNT (i);
|
71 |
|
|
for (use = DF_REG_USE_CHAIN (i); use; use = DF_REF_NEXT_REG (use))
|
72 |
|
|
if (DF_REF_INSN_INFO (use) && DEBUG_INSN_P (DF_REF_INSN (use)))
|
73 |
|
|
use_count--;
|
74 |
|
|
|
75 |
|
|
|
76 |
|
|
SET_REG_N_SETS (i, DF_REG_DEF_COUNT (i));
|
77 |
|
|
SET_REG_N_REFS (i, use_count + REG_N_SETS (i));
|
78 |
|
|
}
|
79 |
|
|
else
|
80 |
|
|
for (i = 0; i < max_regno; i++)
|
81 |
|
|
{
|
82 |
|
|
SET_REG_N_SETS (i, DF_REG_DEF_COUNT (i));
|
83 |
|
|
SET_REG_N_REFS (i, DF_REG_USE_COUNT (i) + REG_N_SETS (i));
|
84 |
|
|
}
|
85 |
|
|
timevar_pop (TV_REG_STATS);
|
86 |
|
|
|
87 |
|
|
}
|
88 |
|
|
|
89 |
|
|
|
90 |
|
|
/* Free the array that holds the REG_N_SETS and REG_N_REFS. */
|
91 |
|
|
|
92 |
|
|
void
|
93 |
|
|
regstat_free_n_sets_and_refs (void)
|
94 |
|
|
{
|
95 |
|
|
gcc_assert (regstat_n_sets_and_refs);
|
96 |
|
|
free (regstat_n_sets_and_refs);
|
97 |
|
|
regstat_n_sets_and_refs = NULL;
|
98 |
|
|
}
|
99 |
|
|
|
100 |
|
|
|
101 |
|
|
/*----------------------------------------------------------------------------
|
102 |
|
|
REGISTER INFORMATION
|
103 |
|
|
|
104 |
|
|
Process REG_N_DEATHS, REG_LIVE_LENGTH, REG_N_CALLS_CROSSED,
|
105 |
|
|
REG_N_THROWING_CALLS_CROSSED and REG_BASIC_BLOCK.
|
106 |
|
|
|
107 |
|
|
----------------------------------------------------------------------------*/
|
108 |
|
|
|
109 |
|
|
static bitmap setjmp_crosses;
|
110 |
|
|
struct reg_info_t *reg_info_p;
|
111 |
|
|
|
112 |
|
|
/* The number allocated elements of reg_info_p. */
|
113 |
|
|
size_t reg_info_p_size;
|
114 |
|
|
|
115 |
|
|
/* Compute register info: lifetime, bb, and number of defs and uses
|
116 |
|
|
for basic block BB. The three bitvectors are scratch regs used
|
117 |
|
|
here. */
|
118 |
|
|
|
119 |
|
|
static void
|
120 |
|
|
regstat_bb_compute_ri (unsigned int bb_index,
|
121 |
|
|
bitmap live, bitmap do_not_gen, bitmap artificial_uses,
|
122 |
|
|
bitmap local_live, bitmap local_processed)
|
123 |
|
|
{
|
124 |
|
|
basic_block bb = BASIC_BLOCK (bb_index);
|
125 |
|
|
rtx insn;
|
126 |
|
|
df_ref *def_rec;
|
127 |
|
|
df_ref *use_rec;
|
128 |
|
|
int luid = 0;
|
129 |
|
|
bitmap_iterator bi;
|
130 |
|
|
unsigned int regno;
|
131 |
|
|
|
132 |
|
|
bitmap_copy (live, df_get_live_out (bb));
|
133 |
|
|
bitmap_clear (artificial_uses);
|
134 |
|
|
|
135 |
|
|
/* Process the regs live at the end of the block. Mark them as
|
136 |
|
|
not local to any one basic block. */
|
137 |
|
|
EXECUTE_IF_SET_IN_BITMAP (live, 0, regno, bi)
|
138 |
|
|
REG_BASIC_BLOCK (regno) = REG_BLOCK_GLOBAL;
|
139 |
|
|
|
140 |
|
|
/* Process the artificial defs and uses at the bottom of the block
|
141 |
|
|
to begin processing. */
|
142 |
|
|
for (def_rec = df_get_artificial_defs (bb_index); *def_rec; def_rec++)
|
143 |
|
|
{
|
144 |
|
|
df_ref def = *def_rec;
|
145 |
|
|
if ((DF_REF_FLAGS (def) & DF_REF_AT_TOP) == 0)
|
146 |
|
|
bitmap_clear_bit (live, DF_REF_REGNO (def));
|
147 |
|
|
}
|
148 |
|
|
|
149 |
|
|
for (use_rec = df_get_artificial_uses (bb_index); *use_rec; use_rec++)
|
150 |
|
|
{
|
151 |
|
|
df_ref use = *use_rec;
|
152 |
|
|
if ((DF_REF_FLAGS (use) & DF_REF_AT_TOP) == 0)
|
153 |
|
|
{
|
154 |
|
|
regno = DF_REF_REGNO (use);
|
155 |
|
|
bitmap_set_bit (live, regno);
|
156 |
|
|
bitmap_set_bit (artificial_uses, regno);
|
157 |
|
|
}
|
158 |
|
|
}
|
159 |
|
|
|
160 |
|
|
FOR_BB_INSNS_REVERSE (bb, insn)
|
161 |
|
|
{
|
162 |
|
|
unsigned int uid = INSN_UID (insn);
|
163 |
|
|
unsigned int regno;
|
164 |
|
|
bitmap_iterator bi;
|
165 |
|
|
struct df_mw_hardreg **mws_rec;
|
166 |
|
|
rtx link;
|
167 |
|
|
|
168 |
|
|
if (!NONDEBUG_INSN_P (insn))
|
169 |
|
|
continue;
|
170 |
|
|
|
171 |
|
|
/* Increment the live_length for all of the registers that
|
172 |
|
|
are are referenced in this block and live at this
|
173 |
|
|
particular point. */
|
174 |
|
|
EXECUTE_IF_SET_IN_BITMAP (local_live, 0, regno, bi)
|
175 |
|
|
{
|
176 |
|
|
REG_LIVE_LENGTH (regno)++;
|
177 |
|
|
}
|
178 |
|
|
luid++;
|
179 |
|
|
|
180 |
|
|
bitmap_clear (do_not_gen);
|
181 |
|
|
|
182 |
|
|
link = REG_NOTES (insn);
|
183 |
|
|
while (link)
|
184 |
|
|
{
|
185 |
|
|
if (REG_NOTE_KIND (link) == REG_DEAD)
|
186 |
|
|
REG_N_DEATHS(REGNO (XEXP (link, 0)))++;
|
187 |
|
|
link = XEXP (link, 1);
|
188 |
|
|
}
|
189 |
|
|
|
190 |
|
|
/* Process the defs. */
|
191 |
|
|
if (CALL_P (insn))
|
192 |
|
|
{
|
193 |
|
|
bool can_throw = can_throw_internal (insn);
|
194 |
|
|
bool set_jump = (find_reg_note (insn, REG_SETJMP, NULL) != NULL);
|
195 |
|
|
EXECUTE_IF_SET_IN_BITMAP (live, 0, regno, bi)
|
196 |
|
|
{
|
197 |
|
|
REG_N_CALLS_CROSSED (regno)++;
|
198 |
|
|
REG_FREQ_CALLS_CROSSED (regno) += REG_FREQ_FROM_BB (bb);
|
199 |
|
|
if (can_throw)
|
200 |
|
|
REG_N_THROWING_CALLS_CROSSED (regno)++;
|
201 |
|
|
|
202 |
|
|
/* We have a problem with any pseudoreg that lives
|
203 |
|
|
across the setjmp. ANSI says that if a user variable
|
204 |
|
|
does not change in value between the setjmp and the
|
205 |
|
|
longjmp, then the longjmp preserves it. This
|
206 |
|
|
includes longjmp from a place where the pseudo
|
207 |
|
|
appears dead. (In principle, the value still exists
|
208 |
|
|
if it is in scope.) If the pseudo goes in a hard
|
209 |
|
|
reg, some other value may occupy that hard reg where
|
210 |
|
|
this pseudo is dead, thus clobbering the pseudo.
|
211 |
|
|
Conclusion: such a pseudo must not go in a hard
|
212 |
|
|
reg. */
|
213 |
|
|
if (set_jump)
|
214 |
|
|
bitmap_set_bit (setjmp_crosses, regno);
|
215 |
|
|
}
|
216 |
|
|
}
|
217 |
|
|
|
218 |
|
|
/* We only care about real sets for calls. Clobbers only
|
219 |
|
|
may clobbers cannot be depended on. */
|
220 |
|
|
for (mws_rec = DF_INSN_UID_MWS (uid); *mws_rec; mws_rec++)
|
221 |
|
|
{
|
222 |
|
|
struct df_mw_hardreg *mws = *mws_rec;
|
223 |
|
|
if (DF_MWS_REG_DEF_P (mws))
|
224 |
|
|
{
|
225 |
|
|
bool all_dead = true;
|
226 |
|
|
unsigned int r;
|
227 |
|
|
|
228 |
|
|
for (r=mws->start_regno; r <= mws->end_regno; r++)
|
229 |
|
|
if ((bitmap_bit_p (live, r))
|
230 |
|
|
|| bitmap_bit_p (artificial_uses, r))
|
231 |
|
|
{
|
232 |
|
|
all_dead = false;
|
233 |
|
|
break;
|
234 |
|
|
}
|
235 |
|
|
|
236 |
|
|
if (all_dead)
|
237 |
|
|
{
|
238 |
|
|
unsigned int regno = mws->start_regno;
|
239 |
|
|
bitmap_set_bit (do_not_gen, regno);
|
240 |
|
|
/* Only do this if the value is totally dead. */
|
241 |
|
|
REG_LIVE_LENGTH (regno)++;
|
242 |
|
|
}
|
243 |
|
|
}
|
244 |
|
|
}
|
245 |
|
|
|
246 |
|
|
/* All of the defs except the return value are some sort of
|
247 |
|
|
clobber. This code is for the return. */
|
248 |
|
|
for (def_rec = DF_INSN_UID_DEFS (uid); *def_rec; def_rec++)
|
249 |
|
|
{
|
250 |
|
|
df_ref def = *def_rec;
|
251 |
|
|
if ((!CALL_P (insn))
|
252 |
|
|
|| (!(DF_REF_FLAGS (def) & (DF_REF_MUST_CLOBBER | DF_REF_MAY_CLOBBER))))
|
253 |
|
|
{
|
254 |
|
|
unsigned int dregno = DF_REF_REGNO (def);
|
255 |
|
|
|
256 |
|
|
if (bitmap_bit_p (live, dregno))
|
257 |
|
|
{
|
258 |
|
|
/* If we have seen this regno, then it has already been
|
259 |
|
|
processed correctly with the per insn increment. If we
|
260 |
|
|
have not seen it we need to add the length from here to
|
261 |
|
|
the end of the block to the live length. */
|
262 |
|
|
if (bitmap_bit_p (local_processed, dregno))
|
263 |
|
|
{
|
264 |
|
|
if (!(DF_REF_FLAGS (def) & (DF_REF_PARTIAL | DF_REF_CONDITIONAL)))
|
265 |
|
|
bitmap_clear_bit (local_live, dregno);
|
266 |
|
|
}
|
267 |
|
|
else
|
268 |
|
|
{
|
269 |
|
|
bitmap_set_bit (local_processed, dregno);
|
270 |
|
|
REG_LIVE_LENGTH (dregno) += luid;
|
271 |
|
|
}
|
272 |
|
|
}
|
273 |
|
|
else if ((!(DF_REF_FLAGS (def) & DF_REF_MW_HARDREG))
|
274 |
|
|
&& (!bitmap_bit_p (artificial_uses, dregno)))
|
275 |
|
|
{
|
276 |
|
|
REG_LIVE_LENGTH (dregno)++;
|
277 |
|
|
}
|
278 |
|
|
|
279 |
|
|
if (dregno >= FIRST_PSEUDO_REGISTER)
|
280 |
|
|
{
|
281 |
|
|
REG_FREQ (dregno) += REG_FREQ_FROM_BB (bb);
|
282 |
|
|
if (REG_BASIC_BLOCK (dregno) == REG_BLOCK_UNKNOWN)
|
283 |
|
|
REG_BASIC_BLOCK (dregno) = bb->index;
|
284 |
|
|
else if (REG_BASIC_BLOCK (dregno) != bb->index)
|
285 |
|
|
REG_BASIC_BLOCK (dregno) = REG_BLOCK_GLOBAL;
|
286 |
|
|
}
|
287 |
|
|
|
288 |
|
|
if (!(DF_REF_FLAGS (def) & (DF_REF_MUST_CLOBBER + DF_REF_MAY_CLOBBER)))
|
289 |
|
|
bitmap_set_bit (do_not_gen, dregno);
|
290 |
|
|
|
291 |
|
|
/* Kill this register if it is not a subreg store or conditional store. */
|
292 |
|
|
if (!(DF_REF_FLAGS (def) & (DF_REF_PARTIAL | DF_REF_CONDITIONAL)))
|
293 |
|
|
bitmap_clear_bit (live, dregno);
|
294 |
|
|
}
|
295 |
|
|
}
|
296 |
|
|
|
297 |
|
|
for (use_rec = DF_INSN_UID_USES (uid); *use_rec; use_rec++)
|
298 |
|
|
{
|
299 |
|
|
df_ref use = *use_rec;
|
300 |
|
|
unsigned int uregno = DF_REF_REGNO (use);
|
301 |
|
|
|
302 |
|
|
if (uregno >= FIRST_PSEUDO_REGISTER)
|
303 |
|
|
{
|
304 |
|
|
REG_FREQ (uregno) += REG_FREQ_FROM_BB (bb);
|
305 |
|
|
if (REG_BASIC_BLOCK (uregno) == REG_BLOCK_UNKNOWN)
|
306 |
|
|
REG_BASIC_BLOCK (uregno) = bb->index;
|
307 |
|
|
else if (REG_BASIC_BLOCK (uregno) != bb->index)
|
308 |
|
|
REG_BASIC_BLOCK (uregno) = REG_BLOCK_GLOBAL;
|
309 |
|
|
}
|
310 |
|
|
|
311 |
|
|
if (bitmap_set_bit (live, uregno))
|
312 |
|
|
{
|
313 |
|
|
/* This register is now live. */
|
314 |
|
|
|
315 |
|
|
/* If we have seen this regno, then it has already been
|
316 |
|
|
processed correctly with the per insn increment. If
|
317 |
|
|
we have not seen it we set the bit so that begins to
|
318 |
|
|
get processed locally. Note that we don't even get
|
319 |
|
|
here if the variable was live at the end of the block
|
320 |
|
|
since just a ref inside the block does not effect the
|
321 |
|
|
calculations. */
|
322 |
|
|
REG_LIVE_LENGTH (uregno) ++;
|
323 |
|
|
bitmap_set_bit (local_live, uregno);
|
324 |
|
|
bitmap_set_bit (local_processed, uregno);
|
325 |
|
|
}
|
326 |
|
|
}
|
327 |
|
|
}
|
328 |
|
|
|
329 |
|
|
/* Add the length of the block to all of the registers that were not
|
330 |
|
|
referenced, but still live in this block. */
|
331 |
|
|
bitmap_and_compl_into (live, local_processed);
|
332 |
|
|
EXECUTE_IF_SET_IN_BITMAP (live, 0, regno, bi)
|
333 |
|
|
REG_LIVE_LENGTH (regno) += luid;
|
334 |
|
|
|
335 |
|
|
bitmap_clear (local_processed);
|
336 |
|
|
bitmap_clear (local_live);
|
337 |
|
|
}
|
338 |
|
|
|
339 |
|
|
|
340 |
|
|
/* Compute register info: lifetime, bb, and number of defs and uses. */
|
341 |
|
|
void
|
342 |
|
|
regstat_compute_ri (void)
|
343 |
|
|
{
|
344 |
|
|
basic_block bb;
|
345 |
|
|
bitmap live = BITMAP_ALLOC (&df_bitmap_obstack);
|
346 |
|
|
bitmap do_not_gen = BITMAP_ALLOC (&df_bitmap_obstack);
|
347 |
|
|
bitmap artificial_uses = BITMAP_ALLOC (&df_bitmap_obstack);
|
348 |
|
|
bitmap local_live = BITMAP_ALLOC (&df_bitmap_obstack);
|
349 |
|
|
bitmap local_processed = BITMAP_ALLOC (&df_bitmap_obstack);
|
350 |
|
|
unsigned int regno;
|
351 |
|
|
bitmap_iterator bi;
|
352 |
|
|
|
353 |
|
|
/* Initialize everything. */
|
354 |
|
|
|
355 |
|
|
gcc_assert (!reg_info_p);
|
356 |
|
|
|
357 |
|
|
timevar_push (TV_REG_STATS);
|
358 |
|
|
setjmp_crosses = BITMAP_ALLOC (&df_bitmap_obstack);
|
359 |
|
|
max_regno = max_reg_num ();
|
360 |
|
|
reg_info_p_size = max_regno;
|
361 |
|
|
reg_info_p = XCNEWVEC (struct reg_info_t, max_regno);
|
362 |
|
|
|
363 |
|
|
FOR_EACH_BB (bb)
|
364 |
|
|
{
|
365 |
|
|
regstat_bb_compute_ri (bb->index, live, do_not_gen, artificial_uses,
|
366 |
|
|
local_live, local_processed);
|
367 |
|
|
}
|
368 |
|
|
|
369 |
|
|
BITMAP_FREE (live);
|
370 |
|
|
BITMAP_FREE (do_not_gen);
|
371 |
|
|
BITMAP_FREE (artificial_uses);
|
372 |
|
|
|
373 |
|
|
/* See the setjmp comment in regstat_ri_bb_compute. */
|
374 |
|
|
EXECUTE_IF_SET_IN_BITMAP (setjmp_crosses, FIRST_PSEUDO_REGISTER, regno, bi)
|
375 |
|
|
{
|
376 |
|
|
REG_BASIC_BLOCK (regno) = REG_BLOCK_UNKNOWN;
|
377 |
|
|
REG_LIVE_LENGTH (regno) = -1;
|
378 |
|
|
}
|
379 |
|
|
|
380 |
|
|
BITMAP_FREE (local_live);
|
381 |
|
|
BITMAP_FREE (local_processed);
|
382 |
|
|
timevar_pop (TV_REG_STATS);
|
383 |
|
|
}
|
384 |
|
|
|
385 |
|
|
|
386 |
|
|
/* Free all storage associated with the problem. */
|
387 |
|
|
|
388 |
|
|
void
|
389 |
|
|
regstat_free_ri (void)
|
390 |
|
|
{
|
391 |
|
|
gcc_assert (reg_info_p);
|
392 |
|
|
reg_info_p_size = 0;
|
393 |
|
|
free (reg_info_p);
|
394 |
|
|
reg_info_p = NULL;
|
395 |
|
|
|
396 |
|
|
BITMAP_FREE (setjmp_crosses);
|
397 |
|
|
}
|
398 |
|
|
|
399 |
|
|
|
400 |
|
|
/* Return a bitmap containing the set of registers that cross a setjmp.
|
401 |
|
|
The client should not change or delete this bitmap. */
|
402 |
|
|
|
403 |
|
|
bitmap
|
404 |
|
|
regstat_get_setjmp_crosses (void)
|
405 |
|
|
{
|
406 |
|
|
return setjmp_crosses;
|
407 |
|
|
}
|
408 |
|
|
|
409 |
|
|
/*----------------------------------------------------------------------------
|
410 |
|
|
Process REG_N_CALLS_CROSSED.
|
411 |
|
|
|
412 |
|
|
This is used by sched_deps. A good implementation of sched-deps
|
413 |
|
|
would really process the blocks directly rather than going through
|
414 |
|
|
lists of insns. If it did this, it could use the exact regs that
|
415 |
|
|
cross an individual call rather than using this info that merges
|
416 |
|
|
the info for all calls.
|
417 |
|
|
|
418 |
|
|
----------------------------------------------------------------------------*/
|
419 |
|
|
|
420 |
|
|
|
421 |
|
|
|
422 |
|
|
/* Compute calls crossed for BB. Live is a scratch bitvector. */
|
423 |
|
|
|
424 |
|
|
static void
|
425 |
|
|
regstat_bb_compute_calls_crossed (unsigned int bb_index, bitmap live)
|
426 |
|
|
{
|
427 |
|
|
basic_block bb = BASIC_BLOCK (bb_index);
|
428 |
|
|
rtx insn;
|
429 |
|
|
df_ref *def_rec;
|
430 |
|
|
df_ref *use_rec;
|
431 |
|
|
|
432 |
|
|
bitmap_copy (live, df_get_live_out (bb));
|
433 |
|
|
|
434 |
|
|
/* Process the artificial defs and uses at the bottom of the block
|
435 |
|
|
to begin processing. */
|
436 |
|
|
for (def_rec = df_get_artificial_defs (bb_index); *def_rec; def_rec++)
|
437 |
|
|
{
|
438 |
|
|
df_ref def = *def_rec;
|
439 |
|
|
if ((DF_REF_FLAGS (def) & DF_REF_AT_TOP) == 0)
|
440 |
|
|
bitmap_clear_bit (live, DF_REF_REGNO (def));
|
441 |
|
|
}
|
442 |
|
|
|
443 |
|
|
for (use_rec = df_get_artificial_uses (bb_index); *use_rec; use_rec++)
|
444 |
|
|
{
|
445 |
|
|
df_ref use = *use_rec;
|
446 |
|
|
if ((DF_REF_FLAGS (use) & DF_REF_AT_TOP) == 0)
|
447 |
|
|
bitmap_set_bit (live, DF_REF_REGNO (use));
|
448 |
|
|
}
|
449 |
|
|
|
450 |
|
|
FOR_BB_INSNS_REVERSE (bb, insn)
|
451 |
|
|
{
|
452 |
|
|
unsigned int uid = INSN_UID (insn);
|
453 |
|
|
unsigned int regno;
|
454 |
|
|
|
455 |
|
|
if (!INSN_P (insn))
|
456 |
|
|
continue;
|
457 |
|
|
|
458 |
|
|
/* Process the defs. */
|
459 |
|
|
if (CALL_P (insn))
|
460 |
|
|
{
|
461 |
|
|
bitmap_iterator bi;
|
462 |
|
|
EXECUTE_IF_SET_IN_BITMAP (live, 0, regno, bi)
|
463 |
|
|
{
|
464 |
|
|
REG_N_CALLS_CROSSED (regno)++;
|
465 |
|
|
REG_FREQ_CALLS_CROSSED (regno) += REG_FREQ_FROM_BB (bb);
|
466 |
|
|
}
|
467 |
|
|
}
|
468 |
|
|
|
469 |
|
|
/* All of the defs except the return value are some sort of
|
470 |
|
|
clobber. This code is for the return. */
|
471 |
|
|
for (def_rec = DF_INSN_UID_DEFS (uid); *def_rec; def_rec++)
|
472 |
|
|
{
|
473 |
|
|
df_ref def = *def_rec;
|
474 |
|
|
if ((!CALL_P (insn))
|
475 |
|
|
|| (!(DF_REF_FLAGS (def) & (DF_REF_MUST_CLOBBER | DF_REF_MAY_CLOBBER))))
|
476 |
|
|
{
|
477 |
|
|
/* Kill this register if it is not a subreg store or conditional store. */
|
478 |
|
|
if (!(DF_REF_FLAGS (def) & (DF_REF_PARTIAL | DF_REF_CONDITIONAL)))
|
479 |
|
|
bitmap_clear_bit (live, DF_REF_REGNO (def));
|
480 |
|
|
}
|
481 |
|
|
}
|
482 |
|
|
|
483 |
|
|
for (use_rec = DF_INSN_UID_USES (uid); *use_rec; use_rec++)
|
484 |
|
|
{
|
485 |
|
|
df_ref use = *use_rec;
|
486 |
|
|
bitmap_set_bit (live, DF_REF_REGNO (use));
|
487 |
|
|
}
|
488 |
|
|
}
|
489 |
|
|
}
|
490 |
|
|
|
491 |
|
|
|
492 |
|
|
/* Compute register info: lifetime, bb, and number of defs and uses. */
|
493 |
|
|
void
|
494 |
|
|
regstat_compute_calls_crossed (void)
|
495 |
|
|
{
|
496 |
|
|
basic_block bb;
|
497 |
|
|
bitmap live = BITMAP_ALLOC (&df_bitmap_obstack);
|
498 |
|
|
|
499 |
|
|
/* Initialize everything. */
|
500 |
|
|
gcc_assert (!reg_info_p);
|
501 |
|
|
|
502 |
|
|
timevar_push (TV_REG_STATS);
|
503 |
|
|
max_regno = max_reg_num ();
|
504 |
|
|
reg_info_p_size = max_regno;
|
505 |
|
|
reg_info_p = XCNEWVEC (struct reg_info_t, max_regno);
|
506 |
|
|
|
507 |
|
|
FOR_EACH_BB (bb)
|
508 |
|
|
{
|
509 |
|
|
regstat_bb_compute_calls_crossed (bb->index, live);
|
510 |
|
|
}
|
511 |
|
|
|
512 |
|
|
BITMAP_FREE (live);
|
513 |
|
|
timevar_pop (TV_REG_STATS);
|
514 |
|
|
}
|
515 |
|
|
|
516 |
|
|
|
517 |
|
|
/* Free all storage associated with the problem. */
|
518 |
|
|
|
519 |
|
|
void
|
520 |
|
|
regstat_free_calls_crossed (void)
|
521 |
|
|
{
|
522 |
|
|
gcc_assert (reg_info_p);
|
523 |
|
|
reg_info_p_size = 0;
|
524 |
|
|
free (reg_info_p);
|
525 |
|
|
reg_info_p = NULL;
|
526 |
|
|
}
|
527 |
|
|
|