OpenCores
URL https://opencores.org/ocsvn/openrisc/openrisc/trunk

Subversion Repositories openrisc

[/] [openrisc/] [trunk/] [gnu-dev/] [or1k-gcc/] [gcc/] [regstat.c] - Blame information for rev 797

Go to most recent revision | Details | Compare with Previous | View Log

Line No. Rev Author Line
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
 

powered by: WebSVN 2.1.0

© copyright 1999-2024 OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.