-/* List management for the GNU C-Compiler expander.
+/* List management for the GCC expander.
Copyright (C) 1987, 1988, 1992, 1993, 1994, 1995, 1996, 1997, 1998,
- 1999 Free Software Foundation, Inc.
+ 1999, 2003, 2004, 2005, 2006 Free Software Foundation, Inc.
This file is part of GCC.
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
-Software Foundation, 59 Temple Place - Suite 330, Boston, MA
-02111-1307, USA. */
+Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA
+02110-1301, USA. */
#include "config.h"
#include "system.h"
+#include "coretypes.h"
+#include "tm.h"
#include "toplev.h"
#include "rtl.h"
#include "ggc.h"
-static void free_list PARAMS ((rtx *, rtx *));
-static void zap_lists PARAMS ((void *));
+static void free_list (rtx *, rtx *);
+static void free_DEPS_LIST_node (rtx);
/* Functions for maintaining cache-able lists of EXPR_LIST and INSN_LISTs. */
/* An INSN_LIST containing all INSN_LISTs allocated but currently unused. */
-static rtx unused_insn_list;
+static GTY ((deletable)) rtx unused_insn_list;
/* An EXPR_LIST containing all EXPR_LISTs allocated but currently unused. */
-static rtx unused_expr_list;
+static GTY ((deletable)) rtx unused_expr_list;
+/* An DEPS_LIST containing all DEPS_LISTs allocated but currently unused. */
+static GTY ((deletable)) rtx unused_deps_list;
-/* This function will free an entire list of either EXPR_LIST or INSN_LIST
- nodes. This is to be used only only lists that consist exclusively of
- nodes of one type only. This is only called by free_EXPR_LIST_list
- and free_INSN_LIST_list. */
+
+/* This function will free an entire list of either EXPR_LIST, INSN_LIST
+ or DEPS_LIST nodes. This is to be used only on lists that consist
+ exclusively of nodes of one type only. This is only called by
+ free_EXPR_LIST_list, free_INSN_LIST_list and free_DEPS_LIST_list. */
static void
-free_list (listp, unused_listp)
- rtx *listp, *unused_listp;
+free_list (rtx *listp, rtx *unused_listp)
{
rtx link, prev_link;
prev_link = *listp;
link = XEXP (prev_link, 1);
+ gcc_assert ((unused_listp != &unused_insn_list
+ || GET_CODE (prev_link) == INSN_LIST)
+ && (unused_listp != &unused_deps_list
+ || GET_CODE (prev_link) == DEPS_LIST));
+
while (link)
{
+ gcc_assert ((unused_listp != &unused_insn_list
+ || GET_CODE (prev_link) == INSN_LIST)
+ && (unused_listp != &unused_deps_list
+ || GET_CODE (prev_link) == DEPS_LIST));
+
prev_link = link;
link = XEXP (link, 1);
}
*listp = 0;
}
+/* Find corresponding to ELEM node in the list pointed to by LISTP.
+ This node must exist in the list. Returns pointer to that node. */
+static rtx *
+find_list_elem (rtx elem, rtx *listp)
+{
+ while (XEXP (*listp, 0) != elem)
+ listp = &XEXP (*listp, 1);
+ return listp;
+}
+
+/* Remove the node pointed to by LISTP from the list. */
+static void
+remove_list_node (rtx *listp)
+{
+ rtx node;
+
+ node = *listp;
+ *listp = XEXP (node, 1);
+ XEXP (node, 1) = 0;
+}
+
+/* Removes corresponding to ELEM node from the list pointed to by LISTP.
+ Returns that node. */
+rtx
+remove_list_elem (rtx elem, rtx *listp)
+{
+ rtx node;
+
+ listp = find_list_elem (elem, listp);
+ node = *listp;
+ remove_list_node (listp);
+ return node;
+}
+
/* This call is used in place of a gen_rtx_INSN_LIST. If there is a cached
- node available, we'll use it, otherwise a call to gen_rtx_INSN_LIST
+ node available, we'll use it, otherwise a call to gen_rtx_INSN_LIST
is made. */
rtx
-alloc_INSN_LIST (val, next)
- rtx val, next;
+alloc_INSN_LIST (rtx val, rtx next)
{
rtx r;
XEXP (r, 0) = val;
XEXP (r, 1) = next;
PUT_REG_NOTE_KIND (r, VOIDmode);
+
+ gcc_assert (GET_CODE (r) == INSN_LIST);
}
else
r = gen_rtx_INSN_LIST (VOIDmode, val, next);
}
/* This call is used in place of a gen_rtx_EXPR_LIST. If there is a cached
- node available, we'll use it, otherwise a call to gen_rtx_EXPR_LIST
+ node available, we'll use it, otherwise a call to gen_rtx_EXPR_LIST
is made. */
rtx
-alloc_EXPR_LIST (kind, val, next)
- int kind;
- rtx val, next;
+alloc_EXPR_LIST (int kind, rtx val, rtx next)
{
rtx r;
return r;
}
-/* This function will initialize the EXPR_LIST and INSN_LIST caches. */
-
-static void
-zap_lists (dummy)
- void *dummy ATTRIBUTE_UNUSED;
+/* This call is used in place of a gen_rtx_DEPS_LIST. If there is a cached
+ node available, we'll use it, otherwise a call to gen_rtx_DEPS_LIST
+ is made. */
+rtx
+alloc_DEPS_LIST (rtx val, rtx next, int ds)
{
- unused_expr_list = NULL;
- unused_insn_list = NULL;
-}
+ rtx r;
-void
-init_EXPR_INSN_LIST_cache ()
-{
- ggc_add_root (&unused_expr_list, 1, 1, zap_lists);
+ if (unused_deps_list)
+ {
+ r = unused_deps_list;
+ unused_deps_list = XEXP (r, 1);
+ XEXP (r, 0) = val;
+ XEXP (r, 1) = next;
+ XINT (r, 2) = ds;
+ PUT_REG_NOTE_KIND (r, VOIDmode);
+
+ gcc_assert (GET_CODE (r) == DEPS_LIST);
+ }
+ else
+ r = gen_rtx_DEPS_LIST (VOIDmode, val, next, ds);
+
+ return r;
}
/* This function will free up an entire list of EXPR_LIST nodes. */
-void
-free_EXPR_LIST_list (listp)
- rtx *listp;
+void
+free_EXPR_LIST_list (rtx *listp)
{
if (*listp == 0)
return;
}
/* This function will free up an entire list of INSN_LIST nodes. */
-void
-free_INSN_LIST_list (listp)
- rtx *listp;
+void
+free_INSN_LIST_list (rtx *listp)
{
if (*listp == 0)
return;
free_list (listp, &unused_insn_list);
}
+/* This function will free up an entire list of DEPS_LIST nodes. */
+void
+free_DEPS_LIST_list (rtx *listp)
+{
+ if (*listp == 0)
+ return;
+ free_list (listp, &unused_deps_list);
+}
+
/* This function will free up an individual EXPR_LIST node. */
-void
-free_EXPR_LIST_node (ptr)
- rtx ptr;
+void
+free_EXPR_LIST_node (rtx ptr)
{
XEXP (ptr, 1) = unused_expr_list;
unused_expr_list = ptr;
}
/* This function will free up an individual INSN_LIST node. */
-void
-free_INSN_LIST_node (ptr)
- rtx ptr;
+void
+free_INSN_LIST_node (rtx ptr)
{
+ gcc_assert (GET_CODE (ptr) == INSN_LIST);
XEXP (ptr, 1) = unused_insn_list;
unused_insn_list = ptr;
}
+
+/* This function will free up an individual DEPS_LIST node. */
+static void
+free_DEPS_LIST_node (rtx ptr)
+{
+ gcc_assert (GET_CODE (ptr) == DEPS_LIST);
+ XEXP (ptr, 1) = unused_deps_list;
+ unused_deps_list = ptr;
+}
+
+/* Remove and free corresponding to ELEM node in the DEPS_LIST pointed to
+ by LISTP. */
+void
+remove_free_DEPS_LIST_elem (rtx elem, rtx *listp)
+{
+ free_DEPS_LIST_node (remove_list_elem (elem, listp));
+}
+
+/* Remove and free corresponding to ELEM node in the INSN_LIST pointed to
+ by LISTP. */
+void
+remove_free_INSN_LIST_elem (rtx elem, rtx *listp)
+{
+ free_INSN_LIST_node (remove_list_elem (elem, listp));
+}
+
+/* Create and return a copy of the DEPS_LIST LIST. */
+rtx
+copy_DEPS_LIST_list (rtx list)
+{
+ rtx res = NULL_RTX, *resp = &res;
+
+ while (list)
+ {
+ *resp = alloc_DEPS_LIST (XEXP (list, 0), 0, XINT (list, 2));
+ PUT_REG_NOTE_KIND (*resp, REG_NOTE_KIND (list));
+ resp = &XEXP (*resp, 1);
+ list = XEXP (list, 1);
+ }
+ return res;
+}
+
+#include "gt-lists.h"