varray.c 7.11 KB
Newer Older
1
/* Virtual array support.
2
   Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2006, 2007
3
   Free Software Foundation, Inc.
4 5
   Contributed by Cygnus Solutions.

6
   This file is part of GCC.
7

8
   GCC is free software; you can redistribute it and/or modify it
9
   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 12
   any later version.

13 14 15 16
   GCC is distributed in the hope that it will be useful, but WITHOUT
   ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
   or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public
   License for more details.
17 18

   You should have received a copy of the GNU General Public License
19 20
   along with GCC; see the file COPYING3.  If not see
   <http://www.gnu.org/licenses/>.  */
21 22 23

#include "config.h"
#include "system.h"
24 25
#include "coretypes.h"
#include "tm.h"
26
#include "toplev.h"
27
#include "varray.h"
28
#include "ggc.h"
29
#include "hashtab.h"
30 31 32

#define VARRAY_HDR_SIZE (sizeof (struct varray_head_tag) - sizeof (varray_data))

33 34
#ifdef GATHER_STATISTICS

35
/* Store information about each particular varray.  */
36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51
struct varray_descriptor
{
  const char *name;
  int allocated;
  int created;
  int resized;
  int copied;
};

/* Hashtable mapping varray names to descriptors.  */
static htab_t varray_hash;

/* Hashtable helpers.  */
static hashval_t
hash_descriptor (const void *p)
{
52
  const struct varray_descriptor *d = (const struct varray_descriptor *) p;
53 54 55 56 57
  return htab_hash_pointer (d->name);
}
static int
eq_descriptor (const void *p1, const void *p2)
{
58
  const struct varray_descriptor *d = (const struct varray_descriptor *) p1;
59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76
  return d->name == p2;
}

/* For given name, return descriptor, create new if needed.  */
static struct varray_descriptor *
varray_descriptor (const char *name)
{
  struct varray_descriptor **slot;

  if (!varray_hash)
    varray_hash = htab_create (10, hash_descriptor, eq_descriptor, NULL);

  slot = (struct varray_descriptor **)
    htab_find_slot_with_hash (varray_hash, name,
		    	      htab_hash_pointer (name),
			      1);
  if (*slot)
    return *slot;
77
  *slot = XCNEW (struct varray_descriptor);
78 79 80 81 82
  (*slot)->name = name;
  return *slot;
}
#endif

83 84
/* Do not add any more non-GC items here.  Please either remove or GC
   those items that are not GCed.  */
85 86 87 88 89 90 91 92 93 94 95 96 97 98 99

static const struct {
  unsigned char size;
  bool uses_ggc;
} element[NUM_VARRAY_DATA] = {
  { sizeof (char), 1 },
  { sizeof (unsigned char), 1 },
  { sizeof (short), 1 },
  { sizeof (unsigned short), 1 },
  { sizeof (int), 1 },
  { sizeof (unsigned int), 1 },
  { sizeof (long), 1 },
  { sizeof (unsigned long), 1 },
  { sizeof (HOST_WIDE_INT), 1 },
  { sizeof (unsigned HOST_WIDE_INT), 1 },
100
  { sizeof (void *), 1 },
101
  { sizeof (void *), 0 },
102 103 104 105 106 107
  { sizeof (char *), 1 },
  { sizeof (struct rtx_def *), 1 },
  { sizeof (struct rtvec_def *), 1 },
  { sizeof (union tree_node *), 1 },
  { sizeof (struct bitmap_head_def *), 1 },
  { sizeof (struct reg_info_def *), 0 },
108
  { sizeof (struct basic_block_def *), 1 },
109
  { sizeof (struct elt_list *), 1 },
110 111
  { sizeof (struct edge_def *), 1 },
  { sizeof (tree *), 1 },
112 113
};

114 115 116
/* Allocate a virtual array with NUM_ELEMENT elements, each of which is
   ELEMENT_SIZE bytes long, named NAME.  Array elements are zeroed.  */
varray_type
117 118
varray_init (size_t num_elements, enum varray_data_enum element_kind,
	     const char *name)
119
{
120
  size_t data_size = num_elements * element[element_kind].size;
121
  varray_type ptr;
122 123 124 125 126 127
#ifdef GATHER_STATISTICS
  struct varray_descriptor *desc = varray_descriptor (name);

  desc->created++;
  desc->allocated += data_size + VARRAY_HDR_SIZE;
#endif
128
  if (element[element_kind].uses_ggc)
129
    ptr = GGC_CNEWVAR (struct varray_head_tag, VARRAY_HDR_SIZE + data_size);
130
  else
131
    ptr = XCNEWVAR (struct varray_head_tag, VARRAY_HDR_SIZE + data_size);
132 133

  ptr->num_elements = num_elements;
134
  ptr->elements_used = 0;
135
  ptr->type = element_kind;
136
  ptr->name = name;
137 138 139 140 141 142
  return ptr;
}

/* Grow/shrink the virtual array VA to N elements.  Zero any new elements
   allocated.  */
varray_type
143
varray_grow (varray_type va, size_t n)
144 145 146 147
{
  size_t old_elements = va->num_elements;
  if (n != old_elements)
    {
148
      size_t elem_size = element[va->type].size;
149 150
      size_t old_data_size = old_elements * elem_size;
      size_t data_size = n * elem_size;
151 152 153 154 155 156 157 158 159
#ifdef GATHER_STATISTICS
      struct varray_descriptor *desc = varray_descriptor (va->name);
      varray_type oldva = va;

      if (data_size > old_data_size)
        desc->allocated += data_size - old_data_size;
      desc->resized ++;
#endif

160

161
      if (element[va->type].uses_ggc)
162 163
	va = GGC_RESIZEVAR (struct varray_head_tag, va,
			    VARRAY_HDR_SIZE + data_size);
164
      else
165 166
	va = XRESIZEVAR (struct varray_head_tag, va,
			 VARRAY_HDR_SIZE + data_size);
167 168
      va->num_elements = n;
      if (n > old_elements)
169
	memset (&va->data.vdt_c[old_data_size], 0, data_size - old_data_size);
170 171 172 173
#ifdef GATHER_STATISTICS
      if (oldva != va)
        desc->copied++;
#endif
174 175 176 177
    }

  return va;
}
178

179 180
/* Reset a varray to its original state.  */
void
181
varray_clear (varray_type va)
182
{
183
  size_t data_size = element[va->type].size * va->num_elements;
184

185
  memset (va->data.vdt_c, 0, data_size);
186 187 188
  va->elements_used = 0;
}

189 190
/* Check the bounds of a varray access.  */

191
#if defined ENABLE_CHECKING && (GCC_VERSION >= 2007)
192 193

void
194 195
varray_check_failed (varray_type va, size_t n, const char *file, int line,
		     const char *function)
196
{
197 198
  internal_error ("virtual array %s[%lu]: element %lu out of bounds "
		  "in %s, at %s:%d",
199
		  va->name, (unsigned long) va->num_elements, (unsigned long) n,
200
		  function, trim_filename (file), line);
201 202
}

203 204 205 206 207 208 209 210
void
varray_underflow (varray_type va, const char *file, int line,
		  const char *function)
{
  internal_error ("underflowed virtual array %s in %s, at %s:%d",
		  va->name, function, trim_filename (file), line);
}

211
#endif
212

213

214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 235 236 237 238 239 240 241 242 243
/* Output per-varray statistics.  */
#ifdef GATHER_STATISTICS

/* Used to accumulate statistics about varray sizes.  */
struct output_info
{
  int count;
  int size;
};

/* Called via htab_traverse.  Output varray descriptor pointed out by SLOT
   and update statistics.  */
static int
print_statistics (void **slot, void *b)
{
  struct varray_descriptor *d = (struct varray_descriptor *) *slot;
  struct output_info *i = (struct output_info *) b;

  if (d->allocated)
    {
      fprintf (stderr, "%-21s %6d %10d %7d %7d\n", d->name,
	       d->created, d->allocated, d->resized, d->copied);
      i->size += d->allocated;
      i->count += d->created;
    }
  return 1;
}
#endif

/* Output per-varray memory usage statistics.  */
244 245
void
dump_varray_statistics (void)
246 247 248 249
{
#ifdef GATHER_STATISTICS
  struct output_info info;

250 251 252 253 254 255 256 257 258 259 260 261
  if (varray_hash)
    {
      fprintf (stderr, "\nVARRAY Kind            Count      Bytes  Resized copied\n");
      fprintf (stderr, "-------------------------------------------------------\n");
      info.count = 0;
      info.size = 0;
      htab_traverse (varray_hash, print_statistics, &info);
      fprintf (stderr, "-------------------------------------------------------\n");
      fprintf (stderr, "%-20s %7d %10d\n",
	       "Total", info.count, info.size);
      fprintf (stderr, "-------------------------------------------------------\n");
   }
262 263
#endif
}