OSDN Git Service

* lto-cgraph.c (lto_output_varpool_node): Always output constant pool
[pf3gnuchains/gcc-fork.git] / gcc / varray.h
index 130553b..fbccde3 100644 (file)
@@ -1,12 +1,13 @@
 /* Virtual array support.
 /* Virtual array support.
-   Copyright (C) 1998, 1999, 2000, 2002 Free Software Foundation, Inc.
+   Copyright (C) 1998, 1999, 2000, 2002, 2003, 2004, 2007
+   Free Software Foundation, Inc.
    Contributed by Cygnus Solutions.
 
    This file is part of GCC.
 
    GCC is free software; you can redistribute it and/or modify it
    under the terms of the GNU General Public License as published by
    Contributed by Cygnus Solutions.
 
    This file is part of GCC.
 
    GCC is free software; you can redistribute it and/or modify it
    under the terms of the GNU General Public License as published by
-   the Free Software Foundation; either version 2, or (at your option)
+   the Free Software Foundation; either version 3, or (at your option)
    any later version.
 
    GCC is distributed in the hope that it will be useful, but WITHOUT
    any later version.
 
    GCC is distributed in the hope that it will be useful, but WITHOUT
@@ -15,9 +16,8 @@
    License for more details.
 
    You should have received a copy of the GNU General Public License
    License for more details.
 
    You should have received a copy of the GNU General Public License
-   along with GCC; see the file COPYING.  If not, write to the Free
-   the Free Software Foundation, 59 Temple Place - Suite 330, Boston,
-   MA 02111-1307, USA.  */
+   along with GCC; see the file COPYING3.  If not see
+   <http://www.gnu.org/licenses/>.  */
 
 #ifndef GCC_VARRAY_H
 #define GCC_VARRAY_H
 
 #ifndef GCC_VARRAY_H
 #define GCC_VARRAY_H
 
 #ifndef GCC_SYSTEM_H
 #include "system.h"
 
 #ifndef GCC_SYSTEM_H
 #include "system.h"
+#include "coretypes.h"
+#include "tm.h"
 #endif
 
 #endif
 
-/* Auxiliary structure used inside the varray structure, used for
-   function integration data.  */
-
-struct const_equiv_data {
-  /* Map pseudo reg number in calling function to equivalent constant.  We
-     cannot in general substitute constants into parameter pseudo registers,
-     since some machine descriptions (many RISCs) won't always handle
-     the resulting insns.  So if an incoming parameter has a constant
-     equivalent, we record it here, and if the resulting insn is
-     recognizable, we go with it.
-
-     We also use this mechanism to convert references to incoming arguments
-     and stacked variables.  copy_rtx_and_substitute will replace the virtual
-     incoming argument and virtual stacked variables registers with new
-     pseudos that contain pointers into the replacement area allocated for
-     this inline instance.  These pseudos are then marked as being equivalent
-     to the appropriate address and substituted if valid.  */
-  struct rtx_def *rtx;
-
-  /* Record the valid age for each entry.  The entry is invalid if its
-     age is less than const_age.  */
-  unsigned age;
+/* Enum indicating what the varray contains.
+   If this is changed, `element' in varray.c needs to be updated.  */
+
+enum varray_data_enum {
+  VARRAY_DATA_C,
+  VARRAY_DATA_UC,
+  VARRAY_DATA_S,
+  VARRAY_DATA_US,
+  VARRAY_DATA_I,
+  VARRAY_DATA_U,
+  VARRAY_DATA_L,
+  VARRAY_DATA_UL,
+  VARRAY_DATA_HINT,
+  VARRAY_DATA_UHINT,
+  VARRAY_DATA_GENERIC,
+  VARRAY_DATA_GENERIC_NOGC,
+  VARRAY_DATA_CPTR,
+  VARRAY_DATA_RTX,
+  VARRAY_DATA_RTVEC,
+  VARRAY_DATA_TREE,
+  VARRAY_DATA_BITMAP,
+  VARRAY_DATA_REG,
+  VARRAY_DATA_BB,
+  VARRAY_DATA_TE,
+  VARRAY_DATA_EDGE,
+  VARRAY_DATA_TREE_PTR,
+  NUM_VARRAY_DATA
 };
 
 /* Union of various array types that are used.  */
 };
 
 /* Union of various array types that are used.  */
-typedef union varray_data_tag {
-  char                  c[1];
-  unsigned char                 uc[1];
-  short                         s[1];
-  unsigned short        us[1];
-  int                   i[1];
-  unsigned int          u[1];
-  long                  l[1];
-  unsigned long                 ul[1];
-  HOST_WIDE_INT                 hint[1];
-  unsigned HOST_WIDE_INT uhint[1];
-  PTR                   generic[1];
-  char                  *cptr[1];
-  struct rtx_def        *rtx[1];
-  struct rtvec_def      *rtvec[1];
-  union tree_node       *tree[1];
-  struct bitmap_head_def *bitmap[1];
-  struct sched_info_tag         *sched[1];
-  struct reg_info_def   *reg[1];
-  struct const_equiv_data const_equiv[1];
-  struct basic_block_def *bb[1];
-  struct elt_list       *te[1];
+typedef union GTY (()) varray_data_tag {
+  char                   GTY ((length ("%0.num_elements"),
+                               tag ("VARRAY_DATA_C")))         vdt_c[1];
+  unsigned char                  GTY ((length ("%0.num_elements"),
+                               tag ("VARRAY_DATA_UC")))        vdt_uc[1];
+  short                          GTY ((length ("%0.num_elements"),
+                               tag ("VARRAY_DATA_S")))         vdt_s[1];
+  unsigned short         GTY ((length ("%0.num_elements"),
+                               tag ("VARRAY_DATA_US")))        vdt_us[1];
+  int                    GTY ((length ("%0.num_elements"),
+                               tag ("VARRAY_DATA_I")))         vdt_i[1];
+  unsigned int           GTY ((length ("%0.num_elements"),
+                               tag ("VARRAY_DATA_U")))         vdt_u[1];
+  long                   GTY ((length ("%0.num_elements"),
+                               tag ("VARRAY_DATA_L")))         vdt_l[1];
+  unsigned long                  GTY ((length ("%0.num_elements"),
+                               tag ("VARRAY_DATA_UL")))        vdt_ul[1];
+  HOST_WIDE_INT                  GTY ((length ("%0.num_elements"),
+                               tag ("VARRAY_DATA_HINT")))      vdt_hint[1];
+  unsigned HOST_WIDE_INT  GTY ((length ("%0.num_elements"),
+                               tag ("VARRAY_DATA_UHINT")))     vdt_uhint[1];
+  PTR                    GTY ((length ("%0.num_elements"), use_param,
+                               tag ("VARRAY_DATA_GENERIC")))   vdt_generic[1];
+  PTR                    GTY ((length ("%0.num_elements"), skip (""),
+                               tag ("VARRAY_DATA_GENERIC_NOGC")))      vdt_generic_nogc[1];
+  char                  *GTY ((length ("%0.num_elements"),
+                               tag ("VARRAY_DATA_CPTR")))      vdt_cptr[1];
+  rtx                    GTY ((length ("%0.num_elements"),
+                               tag ("VARRAY_DATA_RTX")))       vdt_rtx[1];
+  rtvec                          GTY ((length ("%0.num_elements"),
+                               tag ("VARRAY_DATA_RTVEC")))     vdt_rtvec[1];
+  tree                   GTY ((length ("%0.num_elements"),
+                               tag ("VARRAY_DATA_TREE")))      vdt_tree[1];
+  struct bitmap_head_def *GTY ((length ("%0.num_elements"),
+                               tag ("VARRAY_DATA_BITMAP")))    vdt_bitmap[1];
+  struct reg_info_def   *GTY ((length ("%0.num_elements"), skip,
+                               tag ("VARRAY_DATA_REG")))       vdt_reg[1];
+  struct basic_block_def *GTY ((length ("%0.num_elements"), skip,
+                               tag ("VARRAY_DATA_BB")))        vdt_bb[1];
+  struct elt_list       *GTY ((length ("%0.num_elements"),
+                               tag ("VARRAY_DATA_TE")))        vdt_te[1];
+  struct edge_def        *GTY ((length ("%0.num_elements"),
+                               tag ("VARRAY_DATA_EDGE")))      vdt_e[1];
+  tree                   *GTY ((length ("%0.num_elements"), skip (""),
+                               tag ("VARRAY_DATA_TREE_PTR")))  vdt_tp[1];
 } varray_data;
 
 /* Virtual array of pointers header.  */
 } varray_data;
 
 /* Virtual array of pointers header.  */
-typedef struct varray_head_tag {
-  size_t       num_elements;   /* maximum element number allocated */
-  size_t        elements_used;  /* the number of elements used, if
+struct GTY(()) varray_head_tag {
+  size_t       num_elements;   /* Maximum element number allocated.  */
+  size_t        elements_used;  /* The number of elements used, if
                                   using VARRAY_PUSH/VARRAY_POP.  */
                                   using VARRAY_PUSH/VARRAY_POP.  */
-  size_t       element_size;   /* size of each data element */
+  enum varray_data_enum type;  /* The kind of elements in the varray.  */
   const char   *name;          /* name of the varray for reporting errors */
   const char   *name;          /* name of the varray for reporting errors */
-  varray_data  data;           /* data elements follow, must be last */
-} *varray_type;
+  varray_data  GTY ((desc ("%0.type"))) data;  /* The data elements follow,
+                                                  must be last.  */
+};
+typedef struct varray_head_tag *varray_type;
 
 /* Allocate a virtual array with NUM elements, each of which is SIZE bytes
    long, named NAME.  Array elements are zeroed.  */
 
 /* Allocate a virtual array with NUM elements, each of which is SIZE bytes
    long, named NAME.  Array elements are zeroed.  */
-extern varray_type varray_init PARAMS ((size_t, size_t, const char *));
+extern varray_type varray_init (size_t, enum varray_data_enum, const char *);
 
 #define VARRAY_CHAR_INIT(va, num, name) \
 
 #define VARRAY_CHAR_INIT(va, num, name) \
-  va = varray_init (num, sizeof (char), name)
+  va = varray_init (num, VARRAY_DATA_C, name)
 
 #define VARRAY_UCHAR_INIT(va, num, name) \
 
 #define VARRAY_UCHAR_INIT(va, num, name) \
-  va = varray_init (num, sizeof (unsigned char), name)
+  va = varray_init (num, VARRAY_DATA_UC, name)
 
 #define VARRAY_SHORT_INIT(va, num, name) \
 
 #define VARRAY_SHORT_INIT(va, num, name) \
-  va = varray_init (num, sizeof (short), name)
+  va = varray_init (num, VARRAY_DATA_S, name)
 
 #define VARRAY_USHORT_INIT(va, num, name) \
 
 #define VARRAY_USHORT_INIT(va, num, name) \
-  va = varray_init (num, sizeof (unsigned short), name)
+  va = varray_init (num, VARRAY_DATA_US, name)
 
 #define VARRAY_INT_INIT(va, num, name) \
 
 #define VARRAY_INT_INIT(va, num, name) \
-  va = varray_init (num, sizeof (int), name)
+  va = varray_init (num, VARRAY_DATA_I, name)
 
 #define VARRAY_UINT_INIT(va, num, name) \
 
 #define VARRAY_UINT_INIT(va, num, name) \
-  va = varray_init (num, sizeof (unsigned int), name)
+  va = varray_init (num, VARRAY_DATA_U, name)
 
 #define VARRAY_LONG_INIT(va, num, name) \
 
 #define VARRAY_LONG_INIT(va, num, name) \
-  va = varray_init (num, sizeof (long), name)
+  va = varray_init (num, VARRAY_DATA_L, name)
 
 #define VARRAY_ULONG_INIT(va, num, name) \
 
 #define VARRAY_ULONG_INIT(va, num, name) \
-  va = varray_init (num, sizeof (unsigned long), name)
+  va = varray_init (num, VARRAY_DATA_UL, name)
 
 #define VARRAY_WIDE_INT_INIT(va, num, name) \
 
 #define VARRAY_WIDE_INT_INIT(va, num, name) \
-  va = varray_init (num, sizeof (HOST_WIDE_INT), name)
+  va = varray_init (num, VARRAY_DATA_HINT, name)
 
 #define VARRAY_UWIDE_INT_INIT(va, num, name) \
 
 #define VARRAY_UWIDE_INT_INIT(va, num, name) \
-  va = varray_init (num, sizeof (unsigned HOST_WIDE_INT), name)
+  va = varray_init (num, VARRAY_DATA_UHINT, name)
 
 #define VARRAY_GENERIC_PTR_INIT(va, num, name) \
 
 #define VARRAY_GENERIC_PTR_INIT(va, num, name) \
-  va = varray_init (num, sizeof (PTR), name)
+  va = varray_init (num, VARRAY_DATA_GENERIC, name)
+
+#define VARRAY_GENERIC_PTR_NOGC_INIT(va, num, name) \
+  va = varray_init (num, VARRAY_DATA_GENERIC_NOGC, name)
 
 #define VARRAY_CHAR_PTR_INIT(va, num, name) \
 
 #define VARRAY_CHAR_PTR_INIT(va, num, name) \
-  va = varray_init (num, sizeof (char *), name)
+  va = varray_init (num, VARRAY_DATA_CPTR, name)
 
 #define VARRAY_RTX_INIT(va, num, name) \
 
 #define VARRAY_RTX_INIT(va, num, name) \
-  va = varray_init (num, sizeof (struct rtx_def *), name)
+  va = varray_init (num, VARRAY_DATA_RTX, name)
 
 #define VARRAY_RTVEC_INIT(va, num, name) \
 
 #define VARRAY_RTVEC_INIT(va, num, name) \
-  va = varray_init (num, sizeof (struct rtvec_def), name)
+  va = varray_init (num, VARRAY_DATA_RTVEC, name)
 
 #define VARRAY_TREE_INIT(va, num, name) \
 
 #define VARRAY_TREE_INIT(va, num, name) \
-  va = varray_init (num, sizeof (union tree_node *), name)
+  va = varray_init (num, VARRAY_DATA_TREE, name)
 
 #define VARRAY_BITMAP_INIT(va, num, name) \
 
 #define VARRAY_BITMAP_INIT(va, num, name) \
-  va = varray_init (num, sizeof (struct bitmap_head_def *), name)
-
-#define VARRAY_SCHED_INIT(va, num, name) \
-  va = varray_init (num, sizeof (struct sched_info_tag *), name)
+  va = varray_init (num, VARRAY_DATA_BITMAP, name)
 
 #define VARRAY_REG_INIT(va, num, name) \
 
 #define VARRAY_REG_INIT(va, num, name) \
-  va = varray_init (num, sizeof (struct reg_info_def *), name)
-
-#define VARRAY_CONST_EQUIV_INIT(va, num, name) \
-  va = varray_init (num, sizeof (struct const_equiv_data), name)
+  va = varray_init (num, VARRAY_DATA_REG, name)
 
 #define VARRAY_BB_INIT(va, num, name) \
 
 #define VARRAY_BB_INIT(va, num, name) \
-  va = varray_init (num, sizeof (struct basic_block_def *), name)
+  va = varray_init (num, VARRAY_DATA_BB, name)
 
 #define VARRAY_ELT_LIST_INIT(va, num, name) \
 
 #define VARRAY_ELT_LIST_INIT(va, num, name) \
-  va = varray_init (num, sizeof (struct elt_list *), name)
+  va = varray_init (num, VARRAY_DATA_TE, name)
+
+#define VARRAY_EDGE_INIT(va, num, name) \
+  va = varray_init (num, VARRAY_DATA_EDGE, name)
+
+#define VARRAY_TREE_PTR_INIT(va, num, name) \
+  va = varray_init (num, VARRAY_DATA_TREE_PTR, name)
 
 /* Free up memory allocated by the virtual array, but do not free any of the
    elements involved.  */
 
 /* Free up memory allocated by the virtual array, but do not free any of the
    elements involved.  */
@@ -162,7 +197,7 @@ extern varray_type varray_init      PARAMS ((size_t, size_t, const char *));
   do { if (vp) { free (vp); vp = (varray_type) 0; } } while (0)
 
 /* Grow/shrink the virtual array VA to N elements.  */
   do { if (vp) { free (vp); vp = (varray_type) 0; } } while (0)
 
 /* Grow/shrink the virtual array VA to N elements.  */
-extern varray_type varray_grow PARAMS ((varray_type, size_t));
+extern varray_type varray_grow (varray_type, size_t);
 
 #define VARRAY_GROW(VA, N) ((VA) = varray_grow (VA, N))
 
 
 #define VARRAY_GROW(VA, N) ((VA) = varray_grow (VA, N))
 
@@ -171,25 +206,42 @@ extern varray_type varray_grow    PARAMS ((varray_type, size_t));
 #define VARRAY_ACTIVE_SIZE(VA) ((VA)->elements_used)
 #define VARRAY_POP_ALL(VA)     ((VA)->elements_used = 0)
 
 #define VARRAY_ACTIVE_SIZE(VA) ((VA)->elements_used)
 #define VARRAY_POP_ALL(VA)     ((VA)->elements_used = 0)
 
+#define VARRAY_CLEAR(VA) varray_clear(VA)
+
+extern void varray_clear (varray_type);
+extern void dump_varray_statistics (void);
+
 /* Check for VARRAY_xxx macros being in bound.  */
 #if defined ENABLE_CHECKING && (GCC_VERSION >= 2007)
 /* Check for VARRAY_xxx macros being in bound.  */
 #if defined ENABLE_CHECKING && (GCC_VERSION >= 2007)
-extern void varray_check_failed PARAMS ((varray_type, size_t,
-                                       const char *, int,
-                                       const char *)) ATTRIBUTE_NORETURN;
+extern void varray_check_failed (varray_type, size_t, const char *, int,
+                                const char *) ATTRIBUTE_NORETURN;
+extern void varray_underflow (varray_type, const char *, int, const char *)
+     ATTRIBUTE_NORETURN;
 #define VARRAY_CHECK(VA, N, T) __extension__                   \
 (*({ varray_type const _va = (VA);                             \
 #define VARRAY_CHECK(VA, N, T) __extension__                   \
 (*({ varray_type const _va = (VA);                             \
-     const size_t _n = (N);                                    \
+     const size_t _n = (N);                                    \
      if (_n >= _va->num_elements)                              \
        varray_check_failed (_va, _n, __FILE__, __LINE__, __FUNCTION__);        \
      &_va->data.T[_n]; }))
      if (_n >= _va->num_elements)                              \
        varray_check_failed (_va, _n, __FILE__, __LINE__, __FUNCTION__);        \
      &_va->data.T[_n]; }))
+
+#define VARRAY_POP(VA) do {                                    \
+  varray_type const _va = (VA);                                        \
+  if (_va->elements_used == 0)                                 \
+    varray_underflow (_va, __FILE__, __LINE__, __FUNCTION__);  \
+  else                                                         \
+    _va->elements_used--;                                      \
+} while (0)
+
 #else
 #define VARRAY_CHECK(VA, N, T) ((VA)->data.T[N])
 #else
 #define VARRAY_CHECK(VA, N, T) ((VA)->data.T[N])
+/* Pop the top element of VA.  */
+#define VARRAY_POP(VA) do { ((VA)->elements_used--); } while (0)
 #endif
 
 /* Push X onto VA.  T is the name of the field in varray_data
    corresponding to the type of X.  */
 #endif
 
 /* Push X onto VA.  T is the name of the field in varray_data
    corresponding to the type of X.  */
-#define VARRAY_PUSH(VA, T, X)                          \
-  do                                                   \
+#define VARRAY_PUSH(VA, T, X)                          \
+  do                                                   \
     {                                                  \
       if ((VA)->elements_used >= (VA)->num_elements)   \
         VARRAY_GROW ((VA), 2 * (VA)->num_elements);    \
     {                                                  \
       if ((VA)->elements_used >= (VA)->num_elements)   \
         VARRAY_GROW ((VA), 2 * (VA)->num_elements);    \
@@ -197,78 +249,75 @@ extern void varray_check_failed PARAMS ((varray_type, size_t,
     }                                                  \
   while (0)
 
     }                                                  \
   while (0)
 
-/* Pop the top element of VA.  */
-#define VARRAY_POP(VA) \
-  ((VA)->elements_used--)
-
-/* Return the top element of VA.  */
-#define VARRAY_TOP(VA, T) \
-  ((VA)->data.T[(VA)->elements_used - 1])
-
-#define VARRAY_CHAR(VA, N)             VARRAY_CHECK (VA, N, c)
-#define VARRAY_UCHAR(VA, N)            VARRAY_CHECK (VA, N, uc)
-#define VARRAY_SHORT(VA, N)            VARRAY_CHECK (VA, N, s)
-#define VARRAY_USHORT(VA, N)           VARRAY_CHECK (VA, N, us)
-#define VARRAY_INT(VA, N)              VARRAY_CHECK (VA, N, i)
-#define VARRAY_UINT(VA, N)             VARRAY_CHECK (VA, N, u)
-#define VARRAY_LONG(VA, N)             VARRAY_CHECK (VA, N, l)
-#define VARRAY_ULONG(VA, N)            VARRAY_CHECK (VA, N, ul)
-#define VARRAY_WIDE_INT(VA, N)         VARRAY_CHECK (VA, N, hint)
-#define VARRAY_UWIDE_INT(VA, N)                VARRAY_CHECK (VA, N, uhint)
-#define VARRAY_GENERIC_PTR(VA,N)       VARRAY_CHECK (VA, N, generic)
-#define VARRAY_CHAR_PTR(VA,N)          VARRAY_CHECK (VA, N, cptr)
-#define VARRAY_RTX(VA, N)              VARRAY_CHECK (VA, N, rtx)
-#define VARRAY_RTVEC(VA, N)            VARRAY_CHECK (VA, N, rtvec)
-#define VARRAY_TREE(VA, N)             VARRAY_CHECK (VA, N, tree)
-#define VARRAY_BITMAP(VA, N)           VARRAY_CHECK (VA, N, bitmap)
-#define VARRAY_SCHED(VA, N)            VARRAY_CHECK (VA, N, sched)
-#define VARRAY_REG(VA, N)              VARRAY_CHECK (VA, N, reg)
-#define VARRAY_CONST_EQUIV(VA, N)      VARRAY_CHECK (VA, N, const_equiv)
-#define VARRAY_BB(VA, N)               VARRAY_CHECK (VA, N, bb)
-#define VARRAY_ELT_LIST(VA, N)         VARRAY_CHECK (VA, N, te)
+#define VARRAY_CHAR(VA, N)             VARRAY_CHECK (VA, N, vdt_c)
+#define VARRAY_UCHAR(VA, N)            VARRAY_CHECK (VA, N, vdt_uc)
+#define VARRAY_SHORT(VA, N)            VARRAY_CHECK (VA, N, vdt_s)
+#define VARRAY_USHORT(VA, N)           VARRAY_CHECK (VA, N, vdt_us)
+#define VARRAY_INT(VA, N)              VARRAY_CHECK (VA, N, vdt_i)
+#define VARRAY_UINT(VA, N)             VARRAY_CHECK (VA, N, vdt_u)
+#define VARRAY_LONG(VA, N)             VARRAY_CHECK (VA, N, vdt_l)
+#define VARRAY_ULONG(VA, N)            VARRAY_CHECK (VA, N, vdt_ul)
+#define VARRAY_WIDE_INT(VA, N)         VARRAY_CHECK (VA, N, vdt_hint)
+#define VARRAY_UWIDE_INT(VA, N)                VARRAY_CHECK (VA, N, vdt_uhint)
+#define VARRAY_GENERIC_PTR(VA,N)       VARRAY_CHECK (VA, N, vdt_generic)
+#define VARRAY_GENERIC_PTR_NOGC(VA,N)  VARRAY_CHECK (VA, N, vdt_generic_nogc)
+#define VARRAY_CHAR_PTR(VA,N)          VARRAY_CHECK (VA, N, vdt_cptr)
+#define VARRAY_RTX(VA, N)              VARRAY_CHECK (VA, N, vdt_rtx)
+#define VARRAY_RTVEC(VA, N)            VARRAY_CHECK (VA, N, vdt_rtvec)
+#define VARRAY_TREE(VA, N)             VARRAY_CHECK (VA, N, vdt_tree)
+#define VARRAY_BITMAP(VA, N)           VARRAY_CHECK (VA, N, vdt_bitmap)
+#define VARRAY_REG(VA, N)              VARRAY_CHECK (VA, N, vdt_reg)
+#define VARRAY_BB(VA, N)               VARRAY_CHECK (VA, N, vdt_bb)
+#define VARRAY_ELT_LIST(VA, N)         VARRAY_CHECK (VA, N, vdt_te)
+#define VARRAY_EDGE(VA, N)             VARRAY_CHECK (VA, N, vdt_e)
+#define VARRAY_TREE_PTR(VA, N)         VARRAY_CHECK (VA, N, vdt_tp)
 
 /* Push a new element on the end of VA, extending it if necessary.  */
 
 /* Push a new element on the end of VA, extending it if necessary.  */
-#define VARRAY_PUSH_CHAR(VA, X)                VARRAY_PUSH (VA, c, X)
-#define VARRAY_PUSH_UCHAR(VA, X)       VARRAY_PUSH (VA, uc, X)
-#define VARRAY_PUSH_SHORT(VA, X)       VARRAY_PUSH (VA, s, X)
-#define VARRAY_PUSH_USHORT(VA, X)      VARRAY_PUSH (VA, us, X)
-#define VARRAY_PUSH_INT(VA, X)         VARRAY_PUSH (VA, i, X)
-#define VARRAY_PUSH_UINT(VA, X)                VARRAY_PUSH (VA, u, X)
-#define VARRAY_PUSH_LONG(VA, X)                VARRAY_PUSH (VA, l, X)
-#define VARRAY_PUSH_ULONG(VA, X)       VARRAY_PUSH (VA, ul, X)
-#define VARRAY_PUSH_WIDE_INT(VA, X)    VARRAY_PUSH (VA, hint, X)
-#define VARRAY_PUSH_UWIDE_INT(VA, X)   VARRAY_PUSH (VA, uhint, X)
-#define VARRAY_PUSH_GENERIC_PTR(VA, X) VARRAY_PUSH (VA, generic, X)
-#define VARRAY_PUSH_CHAR_PTR(VA, X)    VARRAY_PUSH (VA, cptr, X)
-#define VARRAY_PUSH_RTX(VA, X)         VARRAY_PUSH (VA, rtx, X)
-#define VARRAY_PUSH_RTVEC(VA, X)       VARRAY_PUSH (VA, rtvec, X)
-#define VARRAY_PUSH_TREE(VA, X)                VARRAY_PUSH (VA, tree, X)
-#define VARRAY_PUSH_BITMAP(VA, X)      VARRAY_PUSH (VA, bitmap, X)
-#define VARRAY_PUSH_SCHED(VA, X)       VARRAY_PUSH (VA, sched, X)
-#define VARRAY_PUSH_REG(VA, X)         VARRAY_PUSH (VA, reg, X)
-#define VARRAY_PUSH_CONST_EQUIV(VA, X) VARRAY_PUSH (VA, const_equiv, X)
-#define VARRAY_PUSH_BB(VA, X)          VARRAY_PUSH (VA, bb, X)
+#define VARRAY_PUSH_CHAR(VA, X)                VARRAY_PUSH (VA, vdt_c, X)
+#define VARRAY_PUSH_UCHAR(VA, X)       VARRAY_PUSH (VA, vdt_uc, X)
+#define VARRAY_PUSH_SHORT(VA, X)       VARRAY_PUSH (VA, vdt_s, X)
+#define VARRAY_PUSH_USHORT(VA, X)      VARRAY_PUSH (VA, vdt_us, X)
+#define VARRAY_PUSH_INT(VA, X)         VARRAY_PUSH (VA, vdt_i, X)
+#define VARRAY_PUSH_UINT(VA, X)                VARRAY_PUSH (VA, vdt_u, X)
+#define VARRAY_PUSH_LONG(VA, X)                VARRAY_PUSH (VA, vdt_l, X)
+#define VARRAY_PUSH_ULONG(VA, X)       VARRAY_PUSH (VA, vdt_ul, X)
+#define VARRAY_PUSH_WIDE_INT(VA, X)    VARRAY_PUSH (VA, vdt_hint, X)
+#define VARRAY_PUSH_UWIDE_INT(VA, X)   VARRAY_PUSH (VA, vdt_uhint, X)
+#define VARRAY_PUSH_GENERIC_PTR(VA, X) VARRAY_PUSH (VA, vdt_generic, X)
+#define VARRAY_PUSH_GENERIC_PTR_NOGC(VA, X)    VARRAY_PUSH (VA, vdt_generic_nogc, X)
+#define VARRAY_PUSH_CHAR_PTR(VA, X)    VARRAY_PUSH (VA, vdt_cptr, X)
+#define VARRAY_PUSH_RTX(VA, X)         VARRAY_PUSH (VA, vdt_rtx, X)
+#define VARRAY_PUSH_RTVEC(VA, X)       VARRAY_PUSH (VA, vdt_rtvec, X)
+#define VARRAY_PUSH_TREE(VA, X)                VARRAY_PUSH (VA, vdt_tree, X)
+#define VARRAY_PUSH_BITMAP(VA, X)      VARRAY_PUSH (VA, vdt_bitmap, X)
+#define VARRAY_PUSH_REG(VA, X)         VARRAY_PUSH (VA, vdt_reg, X)
+#define VARRAY_PUSH_BB(VA, X)          VARRAY_PUSH (VA, vdt_bb, X)
+#define VARRAY_PUSH_EDGE(VA, X)                VARRAY_PUSH (VA, vdt_e, X)
+#define VARRAY_PUSH_TREE_PTR(VA, X)    VARRAY_PUSH (VA, vdt_tp, X)
 
 /* Return the last element of VA.  */
 
 /* Return the last element of VA.  */
-#define VARRAY_TOP_CHAR(VA)            VARRAY_TOP (VA, c)
-#define VARRAY_TOP_UCHAR(VA)           VARRAY_TOP (VA, uc)
-#define VARRAY_TOP_SHORT(VA)           VARRAY_TOP (VA, s)
-#define VARRAY_TOP_USHORT(VA)          VARRAY_TOP (VA, us)
-#define VARRAY_TOP_INT(VA)             VARRAY_TOP (VA, i)
-#define VARRAY_TOP_UINT(VA)            VARRAY_TOP (VA, u)
-#define VARRAY_TOP_LONG(VA)            VARRAY_TOP (VA, l)
-#define VARRAY_TOP_ULONG(VA)           VARRAY_TOP (VA, ul)
-#define VARRAY_TOP_WIDE_INT(VA)                VARRAY_TOP (VA, hint)
-#define VARRAY_TOP_UWIDE_INT(VA)       VARRAY_TOP (VA, uhint)
-#define VARRAY_TOP_GENERIC_PTR(VA)     VARRAY_TOP (VA, generic)
-#define VARRAY_TOP_CHAR_PTR(VA)                VARRAY_TOP (VA, cptr)
-#define VARRAY_TOP_RTX(VA)             VARRAY_TOP (VA, rtx)
-#define VARRAY_TOP_RTVEC(VA)           VARRAY_TOP (VA, rtvec)
-#define VARRAY_TOP_TREE(VA)            VARRAY_TOP (VA, tree)
-#define VARRAY_TOP_BITMAP(VA)          VARRAY_TOP (VA, bitmap)
-#define VARRAY_TOP_SCHED(VA)           VARRAY_TOP (VA, sched)
-#define VARRAY_TOP_REG(VA)             VARRAY_TOP (VA, reg)
-#define VARRAY_TOP_CONST_EQUIV(VA)     VARRAY_TOP (VA, const_equiv)
-#define VARRAY_TOP_BB(VA)              VARRAY_TOP (VA, bb)
+#define VARRAY_TOP(VA, T) VARRAY_CHECK(VA, (VA)->elements_used - 1, T)
+
+#define VARRAY_TOP_CHAR(VA)            VARRAY_TOP (VA, vdt_c)
+#define VARRAY_TOP_UCHAR(VA)           VARRAY_TOP (VA, vdt_uc)
+#define VARRAY_TOP_SHORT(VA)           VARRAY_TOP (VA, vdt_s)
+#define VARRAY_TOP_USHORT(VA)          VARRAY_TOP (VA, vdt_us)
+#define VARRAY_TOP_INT(VA)             VARRAY_TOP (VA, vdt_i)
+#define VARRAY_TOP_UINT(VA)            VARRAY_TOP (VA, vdt_u)
+#define VARRAY_TOP_LONG(VA)            VARRAY_TOP (VA, vdt_l)
+#define VARRAY_TOP_ULONG(VA)           VARRAY_TOP (VA, vdt_ul)
+#define VARRAY_TOP_WIDE_INT(VA)                VARRAY_TOP (VA, vdt_hint)
+#define VARRAY_TOP_UWIDE_INT(VA)       VARRAY_TOP (VA, vdt_uhint)
+#define VARRAY_TOP_GENERIC_PTR(VA)     VARRAY_TOP (VA, vdt_generic)
+#define VARRAY_TOP_GENERIC_PTR_NOGC(VA)        VARRAY_TOP (VA, vdt_generic_nogc)
+#define VARRAY_TOP_CHAR_PTR(VA)                VARRAY_TOP (VA, vdt_cptr)
+#define VARRAY_TOP_RTX(VA)             VARRAY_TOP (VA, vdt_rtx)
+#define VARRAY_TOP_RTVEC(VA)           VARRAY_TOP (VA, vdt_rtvec)
+#define VARRAY_TOP_TREE(VA)            VARRAY_TOP (VA, vdt_tree)
+#define VARRAY_TOP_BITMAP(VA)          VARRAY_TOP (VA, vdt_bitmap)
+#define VARRAY_TOP_REG(VA)             VARRAY_TOP (VA, vdt_reg)
+#define VARRAY_TOP_BB(VA)              VARRAY_TOP (VA, vdt_bb)
+#define VARRAY_TOP_EDGE(VA)            VARRAY_TOP (VA, vdt_e)
+#define VARRAY_TOP_TREE_PTR(VA)                VARRAY_TOP (VA, vdt_tp)
 
 #endif /* ! GCC_VARRAY_H */
 
 #endif /* ! GCC_VARRAY_H */