re PR fortran/32046 (wrong code with -O2 for gfortran.dg/interface_12.f90 & result_in...
[official-gcc.git] / gcc / varray.c
blob2044629eee0a3181f73c1bfd07cffe32deb34f65
1 /* Virtual array support.
2 Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2006
3 Free Software Foundation, Inc.
4 Contributed by Cygnus Solutions.
6 This file is part of GCC.
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 2, or (at your option)
11 any later version.
13 GCC is distributed in the hope that it will be useful, but WITHOUT
14 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY
15 or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public
16 License for more details.
18 You should have received a copy of the GNU General Public License
19 along with GCC; see the file COPYING. If not, write to the Free
20 the Free Software Foundation, 51 Franklin Street, Fifth Floor, Boston,
21 MA 02110-1301, USA. */
23 #include "config.h"
24 #include "system.h"
25 #include "coretypes.h"
26 #include "tm.h"
27 #include "toplev.h"
28 #include "varray.h"
29 #include "ggc.h"
30 #include "hashtab.h"
32 #define VARRAY_HDR_SIZE (sizeof (struct varray_head_tag) - sizeof (varray_data))
34 #ifdef GATHER_STATISTICS
36 /* Store information about each particular varray. */
37 struct varray_descriptor
39 const char *name;
40 int allocated;
41 int created;
42 int resized;
43 int copied;
46 /* Hashtable mapping varray names to descriptors. */
47 static htab_t varray_hash;
49 /* Hashtable helpers. */
50 static hashval_t
51 hash_descriptor (const void *p)
53 const struct varray_descriptor *d = p;
54 return htab_hash_pointer (d->name);
56 static int
57 eq_descriptor (const void *p1, const void *p2)
59 const struct varray_descriptor *d = p1;
60 return d->name == p2;
63 /* For given name, return descriptor, create new if needed. */
64 static struct varray_descriptor *
65 varray_descriptor (const char *name)
67 struct varray_descriptor **slot;
69 if (!varray_hash)
70 varray_hash = htab_create (10, hash_descriptor, eq_descriptor, NULL);
72 slot = (struct varray_descriptor **)
73 htab_find_slot_with_hash (varray_hash, name,
74 htab_hash_pointer (name),
75 1);
76 if (*slot)
77 return *slot;
78 *slot = xcalloc (sizeof (**slot), 1);
79 (*slot)->name = name;
80 return *slot;
82 #endif
84 /* Do not add any more non-GC items here. Please either remove or GC
85 those items that are not GCed. */
87 static const struct {
88 unsigned char size;
89 bool uses_ggc;
90 } element[NUM_VARRAY_DATA] = {
91 { sizeof (char), 1 },
92 { sizeof (unsigned char), 1 },
93 { sizeof (short), 1 },
94 { sizeof (unsigned short), 1 },
95 { sizeof (int), 1 },
96 { sizeof (unsigned int), 1 },
97 { sizeof (long), 1 },
98 { sizeof (unsigned long), 1 },
99 { sizeof (HOST_WIDE_INT), 1 },
100 { sizeof (unsigned HOST_WIDE_INT), 1 },
101 { sizeof (void *), 1 },
102 { sizeof (void *), 0 },
103 { sizeof (char *), 1 },
104 { sizeof (struct rtx_def *), 1 },
105 { sizeof (struct rtvec_def *), 1 },
106 { sizeof (union tree_node *), 1 },
107 { sizeof (struct bitmap_head_def *), 1 },
108 { sizeof (struct reg_info_def *), 0 },
109 { sizeof (struct basic_block_def *), 1 },
110 { sizeof (struct elt_list *), 1 },
111 { sizeof (struct edge_def *), 1 },
112 { sizeof (tree *), 1 },
115 /* Allocate a virtual array with NUM_ELEMENT elements, each of which is
116 ELEMENT_SIZE bytes long, named NAME. Array elements are zeroed. */
117 varray_type
118 varray_init (size_t num_elements, enum varray_data_enum element_kind,
119 const char *name)
121 size_t data_size = num_elements * element[element_kind].size;
122 varray_type ptr;
123 #ifdef GATHER_STATISTICS
124 struct varray_descriptor *desc = varray_descriptor (name);
126 desc->created++;
127 desc->allocated += data_size + VARRAY_HDR_SIZE;
128 #endif
129 if (element[element_kind].uses_ggc)
130 ptr = ggc_alloc_cleared (VARRAY_HDR_SIZE + data_size);
131 else
132 ptr = xcalloc (VARRAY_HDR_SIZE + data_size, 1);
134 ptr->num_elements = num_elements;
135 ptr->elements_used = 0;
136 ptr->type = element_kind;
137 ptr->name = name;
138 return ptr;
141 /* Grow/shrink the virtual array VA to N elements. Zero any new elements
142 allocated. */
143 varray_type
144 varray_grow (varray_type va, size_t n)
146 size_t old_elements = va->num_elements;
147 if (n != old_elements)
149 size_t elem_size = element[va->type].size;
150 size_t old_data_size = old_elements * elem_size;
151 size_t data_size = n * elem_size;
152 #ifdef GATHER_STATISTICS
153 struct varray_descriptor *desc = varray_descriptor (va->name);
154 varray_type oldva = va;
156 if (data_size > old_data_size)
157 desc->allocated += data_size - old_data_size;
158 desc->resized ++;
159 #endif
162 if (element[va->type].uses_ggc)
163 va = ggc_realloc (va, VARRAY_HDR_SIZE + data_size);
164 else
165 va = xrealloc (va, VARRAY_HDR_SIZE + data_size);
166 va->num_elements = n;
167 if (n > old_elements)
168 memset (&va->data.vdt_c[old_data_size], 0, data_size - old_data_size);
169 #ifdef GATHER_STATISTICS
170 if (oldva != va)
171 desc->copied++;
172 #endif
175 return va;
178 /* Reset a varray to its original state. */
179 void
180 varray_clear (varray_type va)
182 size_t data_size = element[va->type].size * va->num_elements;
184 memset (va->data.vdt_c, 0, data_size);
185 va->elements_used = 0;
188 /* Check the bounds of a varray access. */
190 #if defined ENABLE_CHECKING && (GCC_VERSION >= 2007)
192 void
193 varray_check_failed (varray_type va, size_t n, const char *file, int line,
194 const char *function)
196 internal_error ("virtual array %s[%lu]: element %lu out of bounds "
197 "in %s, at %s:%d",
198 va->name, (unsigned long) va->num_elements, (unsigned long) n,
199 function, trim_filename (file), line);
202 void
203 varray_underflow (varray_type va, const char *file, int line,
204 const char *function)
206 internal_error ("underflowed virtual array %s in %s, at %s:%d",
207 va->name, function, trim_filename (file), line);
210 #endif
213 /* Output per-varray statistics. */
214 #ifdef GATHER_STATISTICS
216 /* Used to accumulate statistics about varray sizes. */
217 struct output_info
219 int count;
220 int size;
223 /* Called via htab_traverse. Output varray descriptor pointed out by SLOT
224 and update statistics. */
225 static int
226 print_statistics (void **slot, void *b)
228 struct varray_descriptor *d = (struct varray_descriptor *) *slot;
229 struct output_info *i = (struct output_info *) b;
231 if (d->allocated)
233 fprintf (stderr, "%-21s %6d %10d %7d %7d\n", d->name,
234 d->created, d->allocated, d->resized, d->copied);
235 i->size += d->allocated;
236 i->count += d->created;
238 return 1;
240 #endif
242 /* Output per-varray memory usage statistics. */
243 void
244 dump_varray_statistics (void)
246 #ifdef GATHER_STATISTICS
247 struct output_info info;
249 if (varray_hash)
251 fprintf (stderr, "\nVARRAY Kind Count Bytes Resized copied\n");
252 fprintf (stderr, "-------------------------------------------------------\n");
253 info.count = 0;
254 info.size = 0;
255 htab_traverse (varray_hash, print_statistics, &info);
256 fprintf (stderr, "-------------------------------------------------------\n");
257 fprintf (stderr, "%-20s %7d %10d\n",
258 "Total", info.count, info.size);
259 fprintf (stderr, "-------------------------------------------------------\n");
261 #endif