tree.h (struct tree_memory_tag): Add is_used_alone member.

2006-02-20  Daniel Berlin  <dberlin@dberlin.org>

	* tree.h (struct tree_memory_tag): Add is_used_alone member.
	(TMT_USED_ALONE): New macro.
	* tree-pass.h (PROP_tmt_usage): New property.
	(TODO_update_tmt_usage): New todo.
	* tree-ssa-alias.c (updating_used_alone): New variable.
	(recalculate_used_alone): New function.	  
	(compute_may_aliases): Set updating_used_alone, call
	recalculate_used_alone. 
	* tree-sra.c (pass_sra): Note that this pass destroys
	PROP_tmt_usage, and add TODO_update_tmt_usage.
	* tree-ssa-forwprop.c (pass_forwprop): Ditto.
	* tree-flow.h (updating_used_alone): Prototype.
	(recalculate_used_alone): Ditto.
	* passes.c (execute_todo): Add code to set updating_used_alone,
	and call recalculate.
	* tree-ssa-operands.c (add_virtual_operand): Only append bare def
	for clobber if used alone, and add assert to verify used_alone
	status.

From-SVN: r111300

1 files changed, 5 insertions, 0 deletions

diff --git a/gcc/tree.h b/gcc/tree.h
index 3a321eb..61a1d47 100644
--- a/gcc/tree.h
+++ b/gcc/tree.h
@@ -2310,10 +2310,15 @@ struct tree_memory_tag GTY(())
 {
   struct tree_decl_minimal common;
   unsigned int is_global:1;
+  unsigned int is_used_alone:1;
 };
 
 #define MTAG_GLOBAL(NODE) (TREE_MEMORY_TAG_CHECK (NODE)->mtag.is_global)
 
+/* This flag is true if a TMT is used as the vdef or vuse operand directly,
+   because the access had all of the TMT's aliases pruned from it.  */
+#define TMT_USED_ALONE(NODE) (TYPE_MEMORY_TAG_CHECK (NODE)->mtag.is_used_alone)
+
 struct tree_struct_field_tag GTY(())
 {
   struct tree_memory_tag common;