PR target/17245
[official-gcc.git] / gcc / vec.c
blobc638ead9bf5e9de7d2159926e6a09615e7cb8e96
1 /* Vector API for GNU compiler.
2 Copyright (C) 2004, 2005 Free Software Foundation, Inc.
3 Contributed by Nathan Sidwell <nathan@codesourcery.com>
5 This file is part of GCC.
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.
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.
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. */
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"
30 struct vec_prefix
32 unsigned num;
33 unsigned alloc;
34 void *vec[1];
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. */
41 void *
42 vec_gc_p_reserve (void *vec, int reserve MEM_STAT_DECL)
44 return vec_gc_o_reserve (vec, reserve,
45 offsetof (struct vec_prefix, vec), sizeof (void *)
46 PASS_MEM_STAT);
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. */
55 void *
56 vec_gc_o_reserve (void *vec, int reserve, size_t vec_offset, size_t elt_size
57 MEM_STAT_DECL)
59 struct vec_prefix *pfx = vec;
60 unsigned alloc = pfx ? pfx->num : 0;
62 if (reserve >= 0)
63 alloc += reserve;
64 else if (alloc)
65 alloc *= 2;
66 else
67 alloc = 4;
69 gcc_assert (!pfx || pfx->alloc < alloc);
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;
76 return vec;
79 /* Explicitly release a vector. */
81 void
82 vec_gc_free (void *vec)
84 ggc_free (vec);
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. */
91 void *
92 vec_heap_p_reserve (void *vec, int reserve MEM_STAT_DECL)
94 return vec_heap_o_reserve (vec, reserve,
95 offsetof (struct vec_prefix, vec), sizeof (void *)
96 PASS_MEM_STAT);
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. */
105 void *
106 vec_heap_o_reserve (void *vec, int reserve, size_t vec_offset, size_t elt_size
107 MEM_STAT_DECL)
109 struct vec_prefix *pfx = vec;
110 unsigned alloc = pfx ? pfx->num : 0;
112 if (reserve >= 0)
113 alloc += reserve;
114 else if (alloc)
115 alloc *= 2;
116 else
117 alloc = 4;
119 gcc_assert (!pfx || pfx->alloc < alloc);
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;
126 return vec;
129 /* Explicitly release a vector. */
131 void
132 vec_heap_free (void *vec)
134 free (vec);
137 #if ENABLE_CHECKING
138 /* Issue a vector domain error, and then fall over. */
140 void
141 vec_assert_fail (const char *op, const char *struct_name,
142 const char *file, unsigned int line, const char *function)
144 internal_error ("vector %s %s domain error, in %s at %s:%u",
145 struct_name, op, function, trim_filename (file), line);
147 #endif