* tree-flow.h (struct stmt_ann_d): Remove

	makes_aliased_loads and makes_aliased_stores fields.
	* tree-ssa-ccp.c (likely_value): Do not use makes_aliased_stores
	and makes_aliased_loads fields.
	* tree-ssa-dom.c (eliminate_redundant_computations): Do not
	use makes_aliased_stores.
	* tree-ssa-operands.c (clobbered_aliased_loads,
	clobbered_aliased_stores, ro_call_aliased_loads): Removed.
	(build_ssa_operands, add_stmt_operand, add_call_clobber_ops,
	add_call_read_ops): Do not set makes_aliased_stores and
	makes_aliased_loads fields.
	* tree-ssa.c (verify_ssa): Do not verify makes_aliased_stores
	field.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@108766 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 176c4b7..11df7f3 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,19 @@
+2005-12-19  Zdenek Dvorak <dvorakz@suse.cz>
+
+       * tree-flow.h (struct stmt_ann_d): Remove
+       makes_aliased_loads and makes_aliased_stores fields.
+       * tree-ssa-ccp.c (likely_value): Do not use makes_aliased_stores
+       and makes_aliased_loads fields.
+       * tree-ssa-dom.c (eliminate_redundant_computations): Do not
+       use makes_aliased_stores.
+       * tree-ssa-operands.c (clobbered_aliased_loads,
+       clobbered_aliased_stores, ro_call_aliased_loads): Removed.
+       (build_ssa_operands, add_stmt_operand, add_call_clobber_ops,
+       add_call_read_ops): Do not set makes_aliased_stores and
+       makes_aliased_loads fields.
+       * tree-ssa.c (verify_ssa): Do not verify makes_aliased_stores
+       field.
+
 2005-12-18  Geoffrey Keating  <geoffk@apple.com>
 
        * config/darwin.h: Don't include darwin-sections.def to declare

diff --git a/gcc/tree-flow.h b/gcc/tree-flow.h
index ab9eab9..9675288 100644 (file)
--- a/gcc/tree-flow.h
+++ b/gcc/tree-flow.h
@@ -256,12 +256,6 @@ struct stmt_ann_d GTY(())
      need to be scanned again).  */
   unsigned modified : 1;
 
-  /* Nonzero if the statement makes aliased loads.  */
-  unsigned makes_aliased_loads : 1;
-
-  /* Nonzero if the statement makes aliased stores.  */
-  unsigned makes_aliased_stores : 1;
-
   /* Nonzero if the statement makes references to volatile storage.  */
   unsigned has_volatile_ops : 1;
 

diff --git a/gcc/tree-ssa-ccp.c b/gcc/tree-ssa-ccp.c
index cd4bc9d..c428ef0 100644 (file)
--- a/gcc/tree-ssa-ccp.c
+++ b/gcc/tree-ssa-ccp.c
@@ -482,9 +482,7 @@ likely_value (tree stmt)
   /* If we are not doing store-ccp, statements with loads
      and/or stores will never fold into a constant.  */
   if (!do_store_ccp
-      && (ann->makes_aliased_stores
-         || ann->makes_aliased_loads
-         || !ZERO_SSA_OPERANDS (stmt, SSA_OP_ALL_VIRTUALS)))
+      && !ZERO_SSA_OPERANDS (stmt, SSA_OP_ALL_VIRTUALS))
     return VARYING;
 
 

diff --git a/gcc/tree-ssa-dom.c b/gcc/tree-ssa-dom.c
index a720330..b6257d3 100644 (file)
--- a/gcc/tree-ssa-dom.c
+++ b/gcc/tree-ssa-dom.c
@@ -2394,8 +2394,7 @@ eliminate_redundant_computations (tree stmt, stmt_ann_t ann)
 
   /* Certain expressions on the RHS can be optimized away, but can not
      themselves be entered into the hash tables.  */
-  if (ann->makes_aliased_stores
-      || ! def
+  if (! def
       || TREE_CODE (def) != SSA_NAME
       || SSA_NAME_OCCURS_IN_ABNORMAL_PHI (def)
       || !ZERO_SSA_OPERANDS (stmt, SSA_OP_VMAYDEF)

diff --git a/gcc/tree-ssa-operands.c b/gcc/tree-ssa-operands.c
index 41046c7..674e9ce 100644 (file)
--- a/gcc/tree-ssa-operands.c
+++ b/gcc/tree-ssa-operands.c
@@ -127,9 +127,6 @@ bool ssa_ro_call_cache_valid;
 static VEC(tree,heap) *clobbered_v_may_defs;
 static VEC(tree,heap) *clobbered_vuses;
 static VEC(tree,heap) *ro_call_vuses;
-static bool clobbered_aliased_loads;
-static bool clobbered_aliased_stores;
-static bool ro_call_aliased_loads;
 static bool ops_active = false;
 
 static GTY (()) struct ssa_operand_memory_d *operand_memory = NULL;
@@ -798,14 +795,9 @@ build_ssa_operands (tree stmt)
 {
   stmt_ann_t ann = get_stmt_ann (stmt);
   
-  /* Initially assume that the statement has no volatile operands, nor
-     makes aliased loads or stores.  */
+  /* Initially assume that the statement has no volatile operands.  */
   if (ann)
-    {
-      ann->has_volatile_ops = false;
-      ann->makes_aliased_stores = false;
-      ann->makes_aliased_loads = false;
-    }
+    ann->has_volatile_ops = false;
 
   start_ssa_stmt_operands ();
 
@@ -1643,11 +1635,7 @@ add_stmt_operand (tree *var_p, stmt_ann_t s_ann, int flags)
                }
            }
          else
-           {
-             append_vuse (var);
-             if (s_ann && v_ann->is_alias_tag)
-               s_ann->makes_aliased_loads = 1;
-           }
+           append_vuse (var);
        }
       else
        {
@@ -1668,9 +1656,6 @@ add_stmt_operand (tree *var_p, stmt_ann_t s_ann, int flags)
 
              for (i = 0; i < VARRAY_ACTIVE_SIZE (aliases); i++)
                append_v_may_def (VARRAY_TREE (aliases, i));
-
-             if (s_ann)
-               s_ann->makes_aliased_stores = 1;
            }
          else
            {
@@ -1681,9 +1666,6 @@ add_stmt_operand (tree *var_p, stmt_ann_t s_ann, int flags)
 
              for (i = 0; i < VARRAY_ACTIVE_SIZE (aliases); i++)
                append_vuse (VARRAY_TREE (aliases, i));
-
-             if (s_ann)
-               s_ann->makes_aliased_loads = 1;
            }
        }
     }
@@ -1792,11 +1774,6 @@ add_call_clobber_ops (tree stmt, tree callee)
          var_ann (t)->in_v_may_def_list = 1;
          VEC_safe_push (tree, heap, build_v_may_defs, (tree)t);
        }
-      if (s_ann)
-       {
-         s_ann->makes_aliased_loads = clobbered_aliased_loads;
-         s_ann->makes_aliased_stores = clobbered_aliased_stores;
-       }
       return;
     }
 
@@ -1828,16 +1805,6 @@ add_call_clobber_ops (tree stmt, tree callee)
   if ((!not_read_b || bitmap_empty_p (not_read_b))
       && (!not_written_b || bitmap_empty_p (not_written_b)))
     {
-      clobbered_aliased_loads = empty_ann.makes_aliased_loads;
-      clobbered_aliased_stores = empty_ann.makes_aliased_stores;
-
-      /* Set the flags for a stmt's annotation.  */
-      if (s_ann)
-       {
-         s_ann->makes_aliased_loads = empty_ann.makes_aliased_loads;
-         s_ann->makes_aliased_stores = empty_ann.makes_aliased_stores;
-       }
-
       /* Prepare empty cache vectors.  */
       VEC_truncate (tree, clobbered_vuses, 0);
       VEC_truncate (tree, clobbered_v_may_defs, 0);
@@ -1893,8 +1860,6 @@ add_call_read_ops (tree stmt)
          var_ann (t)->in_vuse_list = 1;
          VEC_safe_push (tree, heap, build_vuses, (tree)t);
        }
-      if (s_ann)
-       s_ann->makes_aliased_loads = ro_call_aliased_loads;
       return;
     }
 
@@ -1907,10 +1872,6 @@ add_call_read_ops (tree stmt)
       add_stmt_operand (&var, &empty_ann, opf_none | opf_non_specific);
     }
 
-  ro_call_aliased_loads = empty_ann.makes_aliased_loads;
-  if (s_ann)
-    s_ann->makes_aliased_loads = empty_ann.makes_aliased_loads;
-
   /* Prepare empty cache vectors.  */
   VEC_truncate (tree, ro_call_vuses, 0);
 

diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c
index 7d9f274..2cd6412 100644 (file)
--- a/gcc/tree-ssa.c
+++ b/gcc/tree-ssa.c
@@ -730,15 +730,6 @@ verify_ssa (bool check_modified_stmt)
                }
            }
 
-
-         if (stmt_ann (stmt)->makes_aliased_stores 
-             && ZERO_SSA_OPERANDS (stmt, SSA_OP_VMAYDEF))
-           {
-             error ("statement makes aliased stores, but has no V_MAY_DEFS");
-             print_generic_stmt (stderr, stmt, TDF_VOPS);
-             goto err;
-           }
-
          FOR_EACH_SSA_USE_OPERAND (use_p, stmt, iter,
                                    SSA_OP_ALL_USES | SSA_OP_ALL_KILLS)
            {