PR target/16201
[official-gcc.git] / gcc / vec.c
blob72480dcd6fed864184c7b19464fe81080b801515
1 /* Vector API for GNU compiler.
2 Copyright (C) 2004 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 if (pfx && pfx->alloc >= alloc)
70 abort ();
72 vec = ggc_realloc_stat (vec, vec_offset + alloc * elt_size PASS_MEM_STAT);
73 ((struct vec_prefix *)vec)->alloc = alloc;
74 if (!pfx)
75 ((struct vec_prefix *)vec)->num = 0;
77 return vec;
80 /* Explicitly release a vector. */
82 void
83 vec_gc_free (void *vec)
85 ggc_free (vec);
88 /* Ensure there are at least RESERVE free slots in VEC, if RESERVE >=
89 0. If RESERVE < 0 increase the current allocation exponentially.
90 VEC can be NULL, to create a new vector. */
92 void *
93 vec_heap_p_reserve (void *vec, int reserve MEM_STAT_DECL)
95 return vec_heap_o_reserve (vec, reserve,
96 offsetof (struct vec_prefix, vec), sizeof (void *)
97 PASS_MEM_STAT);
100 /* Ensure there are at least RESERVE free slots in VEC, if RESERVE >=
101 0. If RESERVE < 0, increase the current allocation exponentially.
102 VEC can be NULL, in which case a new vector is created. The
103 vector's trailing array is at VEC_OFFSET offset and consists of
104 ELT_SIZE sized elements. */
106 void *
107 vec_heap_o_reserve (void *vec, int reserve, size_t vec_offset, size_t elt_size
108 MEM_STAT_DECL)
110 struct vec_prefix *pfx = vec;
111 unsigned alloc = pfx ? pfx->num : 0;
113 if (reserve >= 0)
114 alloc += reserve;
115 else if (alloc)
116 alloc *= 2;
117 else
118 alloc = 4;
120 if (pfx && pfx->alloc >= alloc)
121 abort ();
123 vec = xrealloc (vec, vec_offset + alloc * elt_size);
124 ((struct vec_prefix *)vec)->alloc = alloc;
125 if (!pfx)
126 ((struct vec_prefix *)vec)->num = 0;
128 return vec;
131 /* Explicitly release a vector. */
133 void
134 vec_heap_free (void *vec)
136 free (vec);
139 #if ENABLE_CHECKING
140 /* Issue a vector domain error, and then fall over. */
142 void
143 vec_assert_fail (const char *op, const char *struct_name,
144 const char *file, unsigned int line, const char *function)
146 internal_error ("vector %s %s domain error, in %s at %s:%u",
147 struct_name, op, function, trim_filename (file), line);
149 #endif