gcc/varray.h

   1 /* Virtual array support.
   2    Copyright (C) 1998, 1999, 2000, 2002, 2003, 2004, 2007
   3    Free Software Foundation, Inc.
   4    Contributed by Cygnus Solutions.
   5
   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    any later version.
  12
  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.
  17
  18    You should have received a copy of the GNU General Public License
  19    along with GCC; see the file COPYING3.  If not see
  20    <http://www.gnu.org/licenses/>.  */
  21
  22 #ifndef GCC_VARRAY_H
  23 #define GCC_VARRAY_H
  24
  25 #ifndef HOST_WIDE_INT
  26 #include "machmode.h"
  27 #endif
  28
  29 #ifndef GCC_SYSTEM_H
  30 #include "system.h"
  31 #include "coretypes.h"
  32 #include "tm.h"
  33 #endif
  34
  35 /* Enum indicating what the varray contains.
  36    If this is changed, `element' in varray.c needs to be updated.  */
  37
  38 enum varray_data_enum {
  39   VARRAY_DATA_C,
  40   VARRAY_DATA_UC,
  41   VARRAY_DATA_S,
  42   VARRAY_DATA_US,
  43   VARRAY_DATA_I,
  44   VARRAY_DATA_U,
  45   VARRAY_DATA_L,
  46   VARRAY_DATA_UL,
  47   VARRAY_DATA_HINT,
  48   VARRAY_DATA_UHINT,
  49   VARRAY_DATA_GENERIC,
  50   VARRAY_DATA_GENERIC_NOGC,
  51   VARRAY_DATA_CPTR,
  52   VARRAY_DATA_RTX,
  53   VARRAY_DATA_RTVEC,
  54   VARRAY_DATA_TREE,
  55   VARRAY_DATA_BITMAP,
  56   VARRAY_DATA_REG,
  57   VARRAY_DATA_BB,
  58   VARRAY_DATA_TE,
  59   VARRAY_DATA_EDGE,
  60   VARRAY_DATA_TREE_PTR,
  61   NUM_VARRAY_DATA
  62 };
  63
  64 /* Union of various array types that are used.  */
  65 typedef union varray_data_tag GTY (()) {
  66   char                    GTY ((length ("%0.num_elements"),
  67                                 tag ("VARRAY_DATA_C")))         vdt_c[1];
  68   unsigned char           GTY ((length ("%0.num_elements"),
  69                                 tag ("VARRAY_DATA_UC")))        vdt_uc[1];
  70   short                   GTY ((length ("%0.num_elements"),
  71                                 tag ("VARRAY_DATA_S")))         vdt_s[1];
  72   unsigned short          GTY ((length ("%0.num_elements"),
  73                                 tag ("VARRAY_DATA_US")))        vdt_us[1];
  74   int                     GTY ((length ("%0.num_elements"),
  75                                 tag ("VARRAY_DATA_I")))         vdt_i[1];
  76   unsigned int            GTY ((length ("%0.num_elements"),
  77                                 tag ("VARRAY_DATA_U")))         vdt_u[1];
  78   long                    GTY ((length ("%0.num_elements"),
  79                                 tag ("VARRAY_DATA_L")))         vdt_l[1];
  80   unsigned long           GTY ((length ("%0.num_elements"),
  81                                 tag ("VARRAY_DATA_UL")))        vdt_ul[1];
  82   HOST_WIDE_INT           GTY ((length ("%0.num_elements"),
  83                                 tag ("VARRAY_DATA_HINT")))      vdt_hint[1];
  84   unsigned HOST_WIDE_INT  GTY ((length ("%0.num_elements"),
  85                                 tag ("VARRAY_DATA_UHINT")))     vdt_uhint[1];
  86   PTR                     GTY ((length ("%0.num_elements"), use_param,
  87                                 tag ("VARRAY_DATA_GENERIC")))   vdt_generic[1];
  88   PTR                     GTY ((length ("%0.num_elements"), skip (""),
  89                                 tag ("VARRAY_DATA_GENERIC_NOGC")))      vdt_generic_nogc[1];
  90   char                   *GTY ((length ("%0.num_elements"),
  91                                 tag ("VARRAY_DATA_CPTR")))      vdt_cptr[1];
  92   rtx                     GTY ((length ("%0.num_elements"),
  93                                 tag ("VARRAY_DATA_RTX")))       vdt_rtx[1];
  94   rtvec                   GTY ((length ("%0.num_elements"),
  95                                 tag ("VARRAY_DATA_RTVEC")))     vdt_rtvec[1];
  96   tree                    GTY ((length ("%0.num_elements"),
  97                                 tag ("VARRAY_DATA_TREE")))      vdt_tree[1];
  98   struct bitmap_head_def *GTY ((length ("%0.num_elements"),
  99                                 tag ("VARRAY_DATA_BITMAP")))    vdt_bitmap[1];
 100   struct reg_info_def    *GTY ((length ("%0.num_elements"), skip,
 101                                 tag ("VARRAY_DATA_REG")))       vdt_reg[1];
 102   struct basic_block_def *GTY ((length ("%0.num_elements"), skip,
 103                                 tag ("VARRAY_DATA_BB")))        vdt_bb[1];
 104   struct elt_list        *GTY ((length ("%0.num_elements"),
 105                                 tag ("VARRAY_DATA_TE")))        vdt_te[1];
 106   struct edge_def        *GTY ((length ("%0.num_elements"),
 107                                 tag ("VARRAY_DATA_EDGE")))      vdt_e[1];
 108   tree                   *GTY ((length ("%0.num_elements"), skip (""),
 109                                 tag ("VARRAY_DATA_TREE_PTR")))  vdt_tp[1];
 110 } varray_data;
 111
 112 /* Virtual array of pointers header.  */
 113 struct varray_head_tag GTY(()) {
 114   size_t        num_elements;   /* Maximum element number allocated.  */
 115   size_t        elements_used;  /* The number of elements used, if
 116                                    using VARRAY_PUSH/VARRAY_POP.  */
 117   enum varray_data_enum type;   /* The kind of elements in the varray.  */
 118   const char   *name;           /* name of the varray for reporting errors */
 119   varray_data   GTY ((desc ("%0.type"))) data;  /* The data elements follow,
 120                                                    must be last.  */
 121 };
 122 typedef struct varray_head_tag *varray_type;
 123
 124 /* Allocate a virtual array with NUM elements, each of which is SIZE bytes
 125    long, named NAME.  Array elements are zeroed.  */
 126 extern varray_type varray_init (size_t, enum varray_data_enum, const char *);
 127
 128 #define VARRAY_CHAR_INIT(va, num, name) \
 129   va = varray_init (num, VARRAY_DATA_C, name)
 130
 131 #define VARRAY_UCHAR_INIT(va, num, name) \
 132   va = varray_init (num, VARRAY_DATA_UC, name)
 133
 134 #define VARRAY_SHORT_INIT(va, num, name) \
 135   va = varray_init (num, VARRAY_DATA_S, name)
 136
 137 #define VARRAY_USHORT_INIT(va, num, name) \
 138   va = varray_init (num, VARRAY_DATA_US, name)
 139
 140 #define VARRAY_INT_INIT(va, num, name) \
 141   va = varray_init (num, VARRAY_DATA_I, name)
 142
 143 #define VARRAY_UINT_INIT(va, num, name) \
 144   va = varray_init (num, VARRAY_DATA_U, name)
 145
 146 #define VARRAY_LONG_INIT(va, num, name) \
 147   va = varray_init (num, VARRAY_DATA_L, name)
 148
 149 #define VARRAY_ULONG_INIT(va, num, name) \
 150   va = varray_init (num, VARRAY_DATA_UL, name)
 151
 152 #define VARRAY_WIDE_INT_INIT(va, num, name) \
 153   va = varray_init (num, VARRAY_DATA_HINT, name)
 154
 155 #define VARRAY_UWIDE_INT_INIT(va, num, name) \
 156   va = varray_init (num, VARRAY_DATA_UHINT, name)
 157
 158 #define VARRAY_GENERIC_PTR_INIT(va, num, name) \
 159   va = varray_init (num, VARRAY_DATA_GENERIC, name)
 160
 161 #define VARRAY_GENERIC_PTR_NOGC_INIT(va, num, name) \
 162   va = varray_init (num, VARRAY_DATA_GENERIC_NOGC, name)
 163
 164 #define VARRAY_CHAR_PTR_INIT(va, num, name) \
 165   va = varray_init (num, VARRAY_DATA_CPTR, name)
 166
 167 #define VARRAY_RTX_INIT(va, num, name) \
 168   va = varray_init (num, VARRAY_DATA_RTX, name)
 169
 170 #define VARRAY_RTVEC_INIT(va, num, name) \
 171   va = varray_init (num, VARRAY_DATA_RTVEC, name)
 172
 173 #define VARRAY_TREE_INIT(va, num, name) \
 174   va = varray_init (num, VARRAY_DATA_TREE, name)
 175
 176 #define VARRAY_BITMAP_INIT(va, num, name) \
 177   va = varray_init (num, VARRAY_DATA_BITMAP, name)
 178
 179 #define VARRAY_REG_INIT(va, num, name) \
 180   va = varray_init (num, VARRAY_DATA_REG, name)
 181
 182 #define VARRAY_BB_INIT(va, num, name) \
 183   va = varray_init (num, VARRAY_DATA_BB, name)
 184
 185 #define VARRAY_ELT_LIST_INIT(va, num, name) \
 186   va = varray_init (num, VARRAY_DATA_TE, name)
 187
 188 #define VARRAY_EDGE_INIT(va, num, name) \
 189   va = varray_init (num, VARRAY_DATA_EDGE, name)
 190
 191 #define VARRAY_TREE_PTR_INIT(va, num, name) \
 192   va = varray_init (num, VARRAY_DATA_TREE_PTR, name)
 193
 194 /* Free up memory allocated by the virtual array, but do not free any of the
 195    elements involved.  */
 196 #define VARRAY_FREE(vp) \
 197   do { if (vp) { free (vp); vp = (varray_type) 0; } } while (0)
 198
 199 /* Grow/shrink the virtual array VA to N elements.  */
 200 extern varray_type varray_grow (varray_type, size_t);
 201
 202 #define VARRAY_GROW(VA, N) ((VA) = varray_grow (VA, N))
 203
 204 #define VARRAY_SIZE(VA) ((VA)->num_elements)
 205
 206 #define VARRAY_ACTIVE_SIZE(VA)  ((VA)->elements_used)
 207 #define VARRAY_POP_ALL(VA)      ((VA)->elements_used = 0)
 208
 209 #define VARRAY_CLEAR(VA) varray_clear(VA)
 210
 211 extern void varray_clear (varray_type);
 212 extern void dump_varray_statistics (void);
 213
 214 /* Check for VARRAY_xxx macros being in bound.  */
 215 #if defined ENABLE_CHECKING && (GCC_VERSION >= 2007)
 216 extern void varray_check_failed (varray_type, size_t, const char *, int,
 217                                  const char *) ATTRIBUTE_NORETURN;
 218 extern void varray_underflow (varray_type, const char *, int, const char *)
 219      ATTRIBUTE_NORETURN;
 220 #define VARRAY_CHECK(VA, N, T) __extension__                    \
 221 (*({ varray_type const _va = (VA);                              \
 222      const size_t _n = (N);                                     \
 223      if (_n >= _va->num_elements)                               \
 224        varray_check_failed (_va, _n, __FILE__, __LINE__, __FUNCTION__); \
 225      &_va->data.T[_n]; }))
 226
 227 #define VARRAY_POP(VA) do {                                     \
 228   varray_type const _va = (VA);                                 \
 229   if (_va->elements_used == 0)                                  \
 230     varray_underflow (_va, __FILE__, __LINE__, __FUNCTION__);   \
 231   else                                                          \
 232     _va->elements_used--;                                       \
 233 } while (0)
 234
 235 #else
 236 #define VARRAY_CHECK(VA, N, T) ((VA)->data.T[N])
 237 /* Pop the top element of VA.  */
 238 #define VARRAY_POP(VA) do { ((VA)->elements_used--); } while (0)
 239 #endif
 240
 241 /* Push X onto VA.  T is the name of the field in varray_data
 242    corresponding to the type of X.  */
 243 #define VARRAY_PUSH(VA, T, X)                           \
 244   do                                                    \
 245     {                                                   \
 246       if ((VA)->elements_used >= (VA)->num_elements)    \
 247         VARRAY_GROW ((VA), 2 * (VA)->num_elements);     \
 248       (VA)->data.T[(VA)->elements_used++] = (X);        \
 249     }                                                   \
 250   while (0)
 251
 252 #define VARRAY_CHAR(VA, N)              VARRAY_CHECK (VA, N, vdt_c)
 253 #define VARRAY_UCHAR(VA, N)             VARRAY_CHECK (VA, N, vdt_uc)
 254 #define VARRAY_SHORT(VA, N)             VARRAY_CHECK (VA, N, vdt_s)
 255 #define VARRAY_USHORT(VA, N)            VARRAY_CHECK (VA, N, vdt_us)
 256 #define VARRAY_INT(VA, N)               VARRAY_CHECK (VA, N, vdt_i)
 257 #define VARRAY_UINT(VA, N)              VARRAY_CHECK (VA, N, vdt_u)
 258 #define VARRAY_LONG(VA, N)              VARRAY_CHECK (VA, N, vdt_l)
 259 #define VARRAY_ULONG(VA, N)             VARRAY_CHECK (VA, N, vdt_ul)
 260 #define VARRAY_WIDE_INT(VA, N)          VARRAY_CHECK (VA, N, vdt_hint)
 261 #define VARRAY_UWIDE_INT(VA, N)         VARRAY_CHECK (VA, N, vdt_uhint)
 262 #define VARRAY_GENERIC_PTR(VA,N)        VARRAY_CHECK (VA, N, vdt_generic)
 263 #define VARRAY_GENERIC_PTR_NOGC(VA,N)   VARRAY_CHECK (VA, N, vdt_generic_nogc)
 264 #define VARRAY_CHAR_PTR(VA,N)           VARRAY_CHECK (VA, N, vdt_cptr)
 265 #define VARRAY_RTX(VA, N)               VARRAY_CHECK (VA, N, vdt_rtx)
 266 #define VARRAY_RTVEC(VA, N)             VARRAY_CHECK (VA, N, vdt_rtvec)
 267 #define VARRAY_TREE(VA, N)              VARRAY_CHECK (VA, N, vdt_tree)
 268 #define VARRAY_BITMAP(VA, N)            VARRAY_CHECK (VA, N, vdt_bitmap)
 269 #define VARRAY_REG(VA, N)               VARRAY_CHECK (VA, N, vdt_reg)
 270 #define VARRAY_BB(VA, N)                VARRAY_CHECK (VA, N, vdt_bb)
 271 #define VARRAY_ELT_LIST(VA, N)          VARRAY_CHECK (VA, N, vdt_te)
 272 #define VARRAY_EDGE(VA, N)              VARRAY_CHECK (VA, N, vdt_e)
 273 #define VARRAY_TREE_PTR(VA, N)          VARRAY_CHECK (VA, N, vdt_tp)
 274
 275 /* Push a new element on the end of VA, extending it if necessary.  */
 276 #define VARRAY_PUSH_CHAR(VA, X)         VARRAY_PUSH (VA, vdt_c, X)
 277 #define VARRAY_PUSH_UCHAR(VA, X)        VARRAY_PUSH (VA, vdt_uc, X)
 278 #define VARRAY_PUSH_SHORT(VA, X)        VARRAY_PUSH (VA, vdt_s, X)
 279 #define VARRAY_PUSH_USHORT(VA, X)       VARRAY_PUSH (VA, vdt_us, X)
 280 #define VARRAY_PUSH_INT(VA, X)          VARRAY_PUSH (VA, vdt_i, X)
 281 #define VARRAY_PUSH_UINT(VA, X)         VARRAY_PUSH (VA, vdt_u, X)
 282 #define VARRAY_PUSH_LONG(VA, X)         VARRAY_PUSH (VA, vdt_l, X)
 283 #define VARRAY_PUSH_ULONG(VA, X)        VARRAY_PUSH (VA, vdt_ul, X)
 284 #define VARRAY_PUSH_WIDE_INT(VA, X)     VARRAY_PUSH (VA, vdt_hint, X)
 285 #define VARRAY_PUSH_UWIDE_INT(VA, X)    VARRAY_PUSH (VA, vdt_uhint, X)
 286 #define VARRAY_PUSH_GENERIC_PTR(VA, X)  VARRAY_PUSH (VA, vdt_generic, X)
 287 #define VARRAY_PUSH_GENERIC_PTR_NOGC(VA, X)     VARRAY_PUSH (VA, vdt_generic_nogc, X)
 288 #define VARRAY_PUSH_CHAR_PTR(VA, X)     VARRAY_PUSH (VA, vdt_cptr, X)
 289 #define VARRAY_PUSH_RTX(VA, X)          VARRAY_PUSH (VA, vdt_rtx, X)
 290 #define VARRAY_PUSH_RTVEC(VA, X)        VARRAY_PUSH (VA, vdt_rtvec, X)
 291 #define VARRAY_PUSH_TREE(VA, X)         VARRAY_PUSH (VA, vdt_tree, X)
 292 #define VARRAY_PUSH_BITMAP(VA, X)       VARRAY_PUSH (VA, vdt_bitmap, X)
 293 #define VARRAY_PUSH_REG(VA, X)          VARRAY_PUSH (VA, vdt_reg, X)
 294 #define VARRAY_PUSH_BB(VA, X)           VARRAY_PUSH (VA, vdt_bb, X)
 295 #define VARRAY_PUSH_EDGE(VA, X)         VARRAY_PUSH (VA, vdt_e, X)
 296 #define VARRAY_PUSH_TREE_PTR(VA, X)     VARRAY_PUSH (VA, vdt_tp, X)
 297
 298 /* Return the last element of VA.  */
 299 #define VARRAY_TOP(VA, T) VARRAY_CHECK(VA, (VA)->elements_used - 1, T)
 300
 301 #define VARRAY_TOP_CHAR(VA)             VARRAY_TOP (VA, vdt_c)
 302 #define VARRAY_TOP_UCHAR(VA)            VARRAY_TOP (VA, vdt_uc)
 303 #define VARRAY_TOP_SHORT(VA)            VARRAY_TOP (VA, vdt_s)
 304 #define VARRAY_TOP_USHORT(VA)           VARRAY_TOP (VA, vdt_us)
 305 #define VARRAY_TOP_INT(VA)              VARRAY_TOP (VA, vdt_i)
 306 #define VARRAY_TOP_UINT(VA)             VARRAY_TOP (VA, vdt_u)
 307 #define VARRAY_TOP_LONG(VA)             VARRAY_TOP (VA, vdt_l)
 308 #define VARRAY_TOP_ULONG(VA)            VARRAY_TOP (VA, vdt_ul)
 309 #define VARRAY_TOP_WIDE_INT(VA)         VARRAY_TOP (VA, vdt_hint)
 310 #define VARRAY_TOP_UWIDE_INT(VA)        VARRAY_TOP (VA, vdt_uhint)
 311 #define VARRAY_TOP_GENERIC_PTR(VA)      VARRAY_TOP (VA, vdt_generic)
 312 #define VARRAY_TOP_GENERIC_PTR_NOGC(VA) VARRAY_TOP (VA, vdt_generic_nogc)
 313 #define VARRAY_TOP_CHAR_PTR(VA)         VARRAY_TOP (VA, vdt_cptr)
 314 #define VARRAY_TOP_RTX(VA)              VARRAY_TOP (VA, vdt_rtx)
 315 #define VARRAY_TOP_RTVEC(VA)            VARRAY_TOP (VA, vdt_rtvec)
 316 #define VARRAY_TOP_TREE(VA)             VARRAY_TOP (VA, vdt_tree)
 317 #define VARRAY_TOP_BITMAP(VA)           VARRAY_TOP (VA, vdt_bitmap)
 318 #define VARRAY_TOP_REG(VA)              VARRAY_TOP (VA, vdt_reg)
 319 #define VARRAY_TOP_BB(VA)               VARRAY_TOP (VA, vdt_bb)
 320 #define VARRAY_TOP_EDGE(VA)             VARRAY_TOP (VA, vdt_e)
 321 #define VARRAY_TOP_TREE_PTR(VA)         VARRAY_TOP (VA, vdt_tp)
 322
 323 #endif /* ! GCC_VARRAY_H */