value-prof.c (rtl_find_values_to_profile): Use gcc_assert and gcc_unreachable.
[gcc.git] / gcc / vec.c
1 /* Vector API for GNU compiler.
2 Copyright (C) 2004 Free Software Foundation, Inc.
3 Contributed by Nathan Sidwell <nathan@codesourcery.com>
4
5 This file is part of GCC.
6
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 2, or (at your option) any later
10 version.
11
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
15 for more details.
16
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING. If not, write to the Free
19 Software Foundation, 59 Temple Place - Suite 330, Boston, MA
20 02111-1307, USA. */
21
22 #include "config.h"
23 #include "system.h"
24 #include "ggc.h"
25 #include "vec.h"
26 #include "errors.h"
27 #include "coretypes.h"
28 #include "tree.h"
29
30 struct vec_prefix
31 {
32 unsigned num;
33 unsigned alloc;
34 void *vec[1];
35 };
36
37 /* Ensure there are at least RESERVE free slots in VEC, if RESERVE >=
38 0. If RESERVE < 0 increase the current allocation exponentially.
39 VEC can be NULL, to create a new vector. */
40
41 void *
42 vec_gc_p_reserve (void *vec, int reserve MEM_STAT_DECL)
43 {
44 return vec_gc_o_reserve (vec, reserve,
45 offsetof (struct vec_prefix, vec), sizeof (void *)
46 PASS_MEM_STAT);
47 }
48
49 /* Ensure there are at least RESERVE free slots in VEC, if RESERVE >=
50 0. If RESERVE < 0, increase the current allocation exponentially.
51 VEC can be NULL, in which case a new vector is created. The
52 vector's trailing array is at VEC_OFFSET offset and consists of
53 ELT_SIZE sized elements. */
54
55 void *
56 vec_gc_o_reserve (void *vec, int reserve, size_t vec_offset, size_t elt_size
57 MEM_STAT_DECL)
58 {
59 struct vec_prefix *pfx = vec;
60 unsigned alloc = pfx ? pfx->num : 0;
61
62 if (reserve >= 0)
63 alloc += reserve;
64 else if (alloc)
65 alloc *= 2;
66 else
67 alloc = 4;
68
69 gcc_assert (!pfx || pfx->alloc < alloc);
70
71 vec = ggc_realloc_stat (vec, vec_offset + alloc * elt_size PASS_MEM_STAT);
72 ((struct vec_prefix *)vec)->alloc = alloc;
73 if (!pfx)
74 ((struct vec_prefix *)vec)->num = 0;
75
76 return vec;
77 }
78
79 /* Explicitly release a vector. */
80
81 void
82 vec_gc_free (void *vec)
83 {
84 ggc_free (vec);
85 }
86
87 /* Ensure there are at least RESERVE free slots in VEC, if RESERVE >=
88 0. If RESERVE < 0 increase the current allocation exponentially.
89 VEC can be NULL, to create a new vector. */
90
91 void *
92 vec_heap_p_reserve (void *vec, int reserve MEM_STAT_DECL)
93 {
94 return vec_heap_o_reserve (vec, reserve,
95 offsetof (struct vec_prefix, vec), sizeof (void *)
96 PASS_MEM_STAT);
97 }
98
99 /* Ensure there are at least RESERVE free slots in VEC, if RESERVE >=
100 0. If RESERVE < 0, increase the current allocation exponentially.
101 VEC can be NULL, in which case a new vector is created. The
102 vector's trailing array is at VEC_OFFSET offset and consists of
103 ELT_SIZE sized elements. */
104
105 void *
106 vec_heap_o_reserve (void *vec, int reserve, size_t vec_offset, size_t elt_size
107 MEM_STAT_DECL)
108 {
109 struct vec_prefix *pfx = vec;
110 unsigned alloc = pfx ? pfx->num : 0;
111
112 if (reserve >= 0)
113 alloc += reserve;
114 else if (alloc)
115 alloc *= 2;
116 else
117 alloc = 4;
118
119 gcc_assert (!pfx || pfx->alloc < alloc);
120
121 vec = xrealloc (vec, vec_offset + alloc * elt_size);
122 ((struct vec_prefix *)vec)->alloc = alloc;
123 if (!pfx)
124 ((struct vec_prefix *)vec)->num = 0;
125
126 return vec;
127 }
128
129 /* Explicitly release a vector. */
130
131 void
132 vec_heap_free (void *vec)
133 {
134 free (vec);
135 }
136
137 #if ENABLE_CHECKING
138 /* Issue a vector domain error, and then fall over. */
139
140 void
141 vec_assert_fail (const char *op, const char *struct_name,
142 const char *file, unsigned int line, const char *function)
143 {
144 internal_error ("vector %s %s domain error, in %s at %s:%u",
145 struct_name, op, function, trim_filename (file), line);
146 }
147 #endif