X-Git-Url: http://git.sourceforge.jp/view?a=blobdiff_plain;f=gcc%2Fvarray.h;h=c896fe23a33420174c66c3612e54c4799f55000a;hb=9247cc1cd56557eace12dd6aafb5152bf68463ea;hp=d08bfa94ca2b0faeaef5b38f70bb251918f03839;hpb=8586815817b1d1dd8a803d7d070c517018549289;p=pf3gnuchains%2Fgcc-fork.git diff --git a/gcc/varray.h b/gcc/varray.h index d08bfa94ca2..c896fe23a33 100644 --- a/gcc/varray.h +++ b/gcc/varray.h @@ -1,189 +1,248 @@ /* Virtual array support. - Copyright (C) 1998, 1999, 2000 Free Software Foundation, Inc. + Copyright (C) 1998, 1999, 2000, 2002, 2003, 2004 + Free Software Foundation, Inc. Contributed by Cygnus Solutions. - This file is part of GNU CC. + This file is part of GCC. - GNU CC is free software; you can redistribute it and/or modify it + 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) any later version. - GNU CC is distributed in the hope that it will be useful, but - WITHOUT ANY WARRANTY; without even the implied warranty of - MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU - General Public License for more details. + GCC is distributed in the hope that it will be useful, but WITHOUT + ANY WARRANTY; without even the implied warranty of MERCHANTABILITY + or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public + License for more details. You should have received a copy of the GNU General Public License - along with GNU CC; 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 COPYING. If not, write to the Free + the Free Software Foundation, 59 Temple Place - Suite 330, Boston, + MA 02111-1307, USA. */ -#ifndef _VARRAY_H_ -#define _VARRAY_H_ +#ifndef GCC_VARRAY_H +#define GCC_VARRAY_H #ifndef HOST_WIDE_INT #include "machmode.h" #endif -#ifndef __GCC_SYSTEM_H__ +#ifndef GCC_SYSTEM_H #include "system.h" +#include "coretypes.h" +#include "tm.h" #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. */ -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]; +typedef union varray_data_tag GTY (()) { + char GTY ((length ("%0.num_elements"), + tag ("VARRAY_DATA_C"))) c[1]; + unsigned char GTY ((length ("%0.num_elements"), + tag ("VARRAY_DATA_UC"))) uc[1]; + short GTY ((length ("%0.num_elements"), + tag ("VARRAY_DATA_S"))) s[1]; + unsigned short GTY ((length ("%0.num_elements"), + tag ("VARRAY_DATA_US"))) us[1]; + int GTY ((length ("%0.num_elements"), + tag ("VARRAY_DATA_I"))) i[1]; + unsigned int GTY ((length ("%0.num_elements"), + tag ("VARRAY_DATA_U"))) u[1]; + long GTY ((length ("%0.num_elements"), + tag ("VARRAY_DATA_L"))) l[1]; + unsigned long GTY ((length ("%0.num_elements"), + tag ("VARRAY_DATA_UL"))) ul[1]; + HOST_WIDE_INT GTY ((length ("%0.num_elements"), + tag ("VARRAY_DATA_HINT"))) hint[1]; + unsigned HOST_WIDE_INT GTY ((length ("%0.num_elements"), + tag ("VARRAY_DATA_UHINT"))) uhint[1]; + PTR GTY ((length ("%0.num_elements"), use_param, + tag ("VARRAY_DATA_GENERIC"))) generic[1]; + PTR GTY ((length ("%0.num_elements"), skip (""), + tag ("VARRAY_DATA_GENERIC_NOGC"))) generic_nogc[1]; + char *GTY ((length ("%0.num_elements"), + tag ("VARRAY_DATA_CPTR"))) cptr[1]; + rtx GTY ((length ("%0.num_elements"), + tag ("VARRAY_DATA_RTX"))) rtx[1]; + rtvec GTY ((length ("%0.num_elements"), + tag ("VARRAY_DATA_RTVEC"))) rtvec[1]; + tree GTY ((length ("%0.num_elements"), + tag ("VARRAY_DATA_TREE"))) tree[1]; + struct bitmap_head_def *GTY ((length ("%0.num_elements"), + tag ("VARRAY_DATA_BITMAP"))) bitmap[1]; + struct reg_info_def *GTY ((length ("%0.num_elements"), skip, + tag ("VARRAY_DATA_REG"))) reg[1]; + struct basic_block_def *GTY ((length ("%0.num_elements"), skip, + tag ("VARRAY_DATA_BB"))) bb[1]; + struct elt_list *GTY ((length ("%0.num_elements"), + tag ("VARRAY_DATA_TE"))) te[1]; + struct edge_def *GTY ((length ("%0.num_elements"), + tag ("VARRAY_DATA_EDGE"))) e[1]; + tree *GTY ((length ("%0.num_elements"), skip (""), + tag ("VARRAY_DATA_TREE_PTR"))) tp[1]; } 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 varray_head_tag GTY(()) { + size_t num_elements; /* Maximum element number allocated. */ + size_t elements_used; /* The number of elements used, if 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 */ - 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. */ -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) \ - va = varray_init (num, sizeof (char), name) + va = varray_init (num, VARRAY_DATA_C, 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) \ - va = varray_init (num, sizeof (short), name) + va = varray_init (num, VARRAY_DATA_S, 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) \ - va = varray_init (num, sizeof (int), name) + va = varray_init (num, VARRAY_DATA_I, 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) \ - va = varray_init (num, sizeof (long), name) + va = varray_init (num, VARRAY_DATA_L, 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) \ - 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) \ - 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) \ - 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) \ - va = varray_init (num, sizeof (char *), name) + va = varray_init (num, VARRAY_DATA_CPTR, 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) \ - va = varray_init (num, sizeof (struct rtvec_def), name) + va = varray_init (num, VARRAY_DATA_RTVEC, 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) \ - 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) \ - 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) \ - 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) \ + 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. */ #define VARRAY_FREE(vp) \ - do { if (vp) { free (vp); vp = (varray_type)0; } } while (0) + 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_SIZE(VA) ((VA)->num_elements) +#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) -extern void varray_check_failed PARAMS ((varray_type, size_t, - const char *, int, - const char *)) ATTRIBUTE_NORETURN; -#define VARRAY_CHECK(VA, N, T) \ -(*({ varray_type _va = VA; \ - size_t _n = N; \ +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); \ + const size_t _n = (N); \ if (_n >= _va->num_elements) \ - varray_check_failed (_va, _n, __FILE__, __LINE__, \ - __PRETTY_FUNCTION__); \ + 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]) +/* 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. */ -#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); \ @@ -191,14 +250,6 @@ extern void varray_check_failed PARAMS ((varray_type, size_t, } \ 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) @@ -210,15 +261,17 @@ extern void varray_check_failed PARAMS ((varray_type, size_t, #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_GENERIC_PTR_NOGC(VA,N) VARRAY_CHECK (VA, N, generic_nogc) #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_EDGE(VA, N) VARRAY_CHECK (VA, N, e) +#define VARRAY_TREE_PTR(VA, N) VARRAY_CHECK (VA, N, tp) /* Push a new element on the end of VA, extending it if necessary. */ #define VARRAY_PUSH_CHAR(VA, X) VARRAY_PUSH (VA, c, X) @@ -231,18 +284,21 @@ extern void varray_check_failed PARAMS ((varray_type, size_t, #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,N) VARRAY_PUSH (VA, generic, X) -#define VARRAY_PUSH_CHAR_PTR(VA,N) VARRAY_PUSH (VA, cptr, X) +#define VARRAY_PUSH_GENERIC_PTR(VA, X) VARRAY_PUSH (VA, generic, X) +#define VARRAY_PUSH_GENERIC_PTR_NOGC(VA, X) VARRAY_PUSH (VA, generic_nogc, 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_EDGE(VA, X) VARRAY_PUSH (VA, e, X) +#define VARRAY_PUSH_TREE_PTR(VA, X) VARRAY_PUSH (VA, tp, X) /* Return the last element of VA. */ +#define VARRAY_TOP(VA, T) VARRAY_CHECK(VA, (VA)->elements_used - 1, T) + #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) @@ -253,15 +309,16 @@ extern void varray_check_failed PARAMS ((varray_type, size_t, #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,N) VARRAY_TOP (VA, generic) -#define VARRAY_TOP_CHAR_PTR(VA,N) VARRAY_TOP (VA, cptr) +#define VARRAY_TOP_GENERIC_PTR(VA) VARRAY_TOP (VA, generic) +#define VARRAY_TOP_GENERIC_PTR_NOGC(VA) VARRAY_TOP (VA, generic_nogc) +#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_EDGE(VA) VARRAY_TOP (VA, e) +#define VARRAY_TOP_TREE_PTR(VA) VARRAY_TOP (VA, tp) -#endif /* _VARRAY_H_ */ +#endif /* ! GCC_VARRAY_H */