From fd12afe977eb820f18c597fb29904d83904240ea Mon Sep 17 00:00:00 2001
From: amacleod <amacleod@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Fri, 30 Sep 2005 14:33:53 +0000
Subject: 2005-09-30  Andrew Macleod  <amacleod@redat.com>

	PR tree-optimization/21430
	* tree-ssa-operands.c (set_virtual_use_link): New. Link new virtual
	use operands, and set stmt pointer if need be.
	(FINALIZE_CORRECT_USE: New. Macro to call appropriate use fixup routine.
	tree-ssa-opfinalize.h (FINALIZE_FUNC): Call FINALIZE_CORRECT_USE if
	present.


git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@104816 138bc75d-0d04-0410-961f-82ee72b054a4
---
 gcc/tree-ssa-operands.c | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)

(limited to 'gcc/tree-ssa-operands.c')

diff --git a/gcc/tree-ssa-operands.c b/gcc/tree-ssa-operands.c
index 5b1e4454e4d..1c592573e81 100644
--- a/gcc/tree-ssa-operands.c
+++ b/gcc/tree-ssa-operands.c
@@ -511,6 +511,24 @@ correct_use_link (use_operand_p ptr, tree stmt)
 }
 
 
+/* This routine makes sure that PTR is in an immediate use list, and makes
+   sure the stmt pointer is set to the current stmt.  Virtual uses do not need
+   the overhead of correct_use_link since they cannot be directly manipulated
+   like a real use can be.  (They don't exist in the TREE_OPERAND nodes.)  */
+static inline void
+set_virtual_use_link (use_operand_p ptr, tree stmt)
+{
+  /*  Fold_stmt () may have changed the stmt pointers.  */
+  if (ptr->stmt != stmt)
+    ptr->stmt = stmt;
+
+  /* If this use isn't in a list, add it to the correct list.  */
+  if (!ptr->prev)
+    link_imm_use (ptr, *(ptr->use));
+}
+
+
+
 #define FINALIZE_OPBUILD		build_defs
 #define FINALIZE_OPBUILD_BASE(I)	opbuild_elem_real (&build_defs, (I))
 #define FINALIZE_OPBUILD_ELEM(I)	opbuild_elem_real (&build_defs, (I))
@@ -553,6 +571,7 @@ finalize_ssa_defs (tree stmt)
 #define FINALIZE_ELEM(PTR)	((PTR)->use_ptr.use)
 #define FINALIZE_OPS		USE_OPS
 #define FINALIZE_USE_PTR(PTR)	USE_OP_PTR (PTR)
+#define FINALIZE_CORRECT_USE	correct_use_link
 #define FINALIZE_BASE(VAR)	VAR
 #define FINALIZE_BASE_TYPE	tree *
 #define FINALIZE_BASE_ZERO	NULL
@@ -596,6 +615,7 @@ finalize_ssa_uses (tree stmt)
 #define FINALIZE_ELEM(PTR)	MAYDEF_RESULT (PTR)
 #define FINALIZE_OPS		MAYDEF_OPS
 #define FINALIZE_USE_PTR(PTR)	MAYDEF_OP_PTR (PTR)
+#define FINALIZE_CORRECT_USE	set_virtual_use_link
 #define FINALIZE_BASE_ZERO	0
 #define FINALIZE_BASE(VAR)	((TREE_CODE (VAR) == SSA_NAME)		\
 				? DECL_UID (SSA_NAME_VAR (VAR)) : DECL_UID ((VAR)))
@@ -647,6 +667,7 @@ cleanup_v_may_defs (void)
 #define FINALIZE_ELEM(PTR)	VUSE_OP (PTR)
 #define FINALIZE_OPS		VUSE_OPS
 #define FINALIZE_USE_PTR(PTR)	VUSE_OP_PTR (PTR)
+#define FINALIZE_CORRECT_USE	set_virtual_use_link
 #define FINALIZE_BASE_ZERO	0
 #define FINALIZE_BASE(VAR)	((TREE_CODE (VAR) == SSA_NAME)		\
 				? DECL_UID (SSA_NAME_VAR (VAR)) : DECL_UID ((VAR)))
@@ -740,6 +761,7 @@ finalize_ssa_vuses (tree stmt)
 #define FINALIZE_ELEM(PTR)	MUSTDEF_RESULT (PTR)
 #define FINALIZE_OPS		MUSTDEF_OPS
 #define FINALIZE_USE_PTR(PTR)	MUSTDEF_KILL_PTR (PTR)
+#define FINALIZE_CORRECT_USE	set_virtual_use_link
 #define FINALIZE_BASE_ZERO	0
 #define FINALIZE_BASE(VAR)	((TREE_CODE (VAR) == SSA_NAME)		\
 				? DECL_UID (SSA_NAME_VAR (VAR)) : DECL_UID ((VAR)))
-- 
cgit v1.2.1