tree-flow.h (struct var_ann_d): Rename field is_alias_tag to is_aliased.
authorDiego Novillo <dnovillo@redhat.com>
Sat, 18 Feb 2006 20:31:28 +0000 (20:31 +0000)
committerDiego Novillo <dnovillo@gcc.gnu.org>
Sat, 18 Feb 2006 20:31:28 +0000 (15:31 -0500)
* tree-flow.h (struct var_ann_d): Rename field is_alias_tag to
is_aliased.
Update all users.

From-SVN: r111249

gcc/ChangeLog
gcc/tree-dfa.c
gcc/tree-flow.h
gcc/tree-ssa-alias.c
gcc/tree-ssa-operands.c
gcc/tree-ssa.c

index d2d83e5940f5c1de9054eddcb078f31c42ae0efe..f2ccbca6139e839d2eb59d2c6645d1b1e886f313 100644 (file)
@@ -1,3 +1,9 @@
+2006-02-18  Diego Novillo  <dnovillo@redhat.com>
+
+       * tree-flow.h (struct var_ann_d): Rename field is_alias_tag to
+       is_aliased.
+       Update all users.
+
 2006-02-18  Jakub Jelinek  <jakub@redhat.com>
 
        PR middle-end/26334
index 8339a942831a41e67dd97bf72155ca3b9841e085..a21b99284e4b8d99afadc362f92ad6d306594000 100644 (file)
@@ -350,8 +350,8 @@ dump_variable (FILE *file, tree var)
       print_generic_expr (file, ann->type_mem_tag, dump_flags);
     }
 
-  if (ann && ann->is_alias_tag)
-    fprintf (file, ", is an alias tag");
+  if (ann && ann->is_aliased)
+    fprintf (file, ", is aliased");
 
   if (TREE_ADDRESSABLE (var))
     fprintf (file, ", is addressable");
index 864835b28c93e31ad89a74bcea746ec3b32afd50..32b8c9f6da6eb01d0fc61976d3ec1f39b29d2892 100644 (file)
@@ -164,10 +164,8 @@ struct var_ann_d GTY(())
   /* Used when building root_var structures in tree_ssa_live.[ch].  */
   unsigned root_var_processed : 1;
 
-  /* Nonzero if this variable is an alias tag that represents references to
-     other variables (i.e., this variable appears in the MAY_ALIASES array
-     of other variables).  */
-  unsigned is_alias_tag : 1;
+  /* Nonzero if this variable is in the alias set of another variable.  */
+  unsigned is_aliased : 1;
 
   /* Nonzero if this variable was used after SSA optimizations were
      applied.  We set this when translating out of SSA form.  */
@@ -206,7 +204,6 @@ struct var_ann_d GTY(())
      current version of this variable (an SSA_NAME).  */
   tree current_def;
   
-
   /* If this variable is a structure, this fields holds a list of
      symbols representing each of the fields of the structure.  */
   subvar_t subvars;
index b262fd0f0fd81a367ab7d9a45ecd6cf9d1cc2869..bb2c3ce5c9ef92e7c9fe65e66883ce9cf9332797 100644 (file)
@@ -766,7 +766,7 @@ init_alias_info (void)
        {
          var_ann_t ann = var_ann (var);
          
-         ann->is_alias_tag = 0;
+         ann->is_aliased = 0;
          ann->may_aliases = NULL;
          NUM_REFERENCES_CLEAR (ann);
 
@@ -1209,7 +1209,7 @@ group_aliases_into (tree tag, bitmap tag_aliases, struct alias_info *ai)
       var_ann_t ann = var_ann (var);
 
       /* Make TAG the unique alias of VAR.  */
-      ann->is_alias_tag = 0;
+      ann->is_aliased = 0;
       ann->may_aliases = NULL;
 
       /* Note that VAR and TAG may be the same if the function has no
@@ -1849,7 +1849,7 @@ add_may_alias (tree var, tree alias)
       return;
 
   VEC_safe_push (tree, gc, v_ann->may_aliases, alias);
-  a_ann->is_alias_tag = 1;
+  a_ann->is_aliased = 1;
 }
 
 
@@ -2454,7 +2454,7 @@ is_aliased_with (tree tag, tree sym)
   VEC(tree,gc) *aliases;
   tree al;
 
-  if (var_ann (sym)->is_alias_tag)
+  if (var_ann (sym)->is_aliased)
     {
       aliases = var_ann (tag)->may_aliases;
 
index 01ca06bddc281fb86074e8b3619a0d6c2d9b8502..748ff5d62f698d0f21eba5fc46f3b4573908d1eb 100644 (file)
@@ -1740,6 +1740,7 @@ access_can_touch_variable (tree ref, tree alias, HOST_WIDE_INT offset,
   return true;
 }
 
+
 /* Add VAR to the virtual operands array. FLAGS is as in
    get_expr_operands.  FULL_REF is a tree that contains the entire
    pointer dereference expression, if available, or NULL otherwise.
@@ -1780,7 +1781,6 @@ add_virtual_operand (tree var, stmt_ann_t s_ann, int flags,
   if ((flags & opf_non_specific) && unmodifiable_var_p (var))
     flags &= ~(opf_is_def | opf_kill_def);
   
-
   /* The variable is not a GIMPLE register.  Add it (or its aliases) to
      virtual operands, unless the caller has specifically requested
      not to add virtual operands (used when adding operands inside an
@@ -1845,7 +1845,8 @@ add_virtual_operand (tree var, stmt_ann_t s_ann, int flags,
             It is also necessary to add bare defs on clobbers for
             TMT's, so that bare TMT uses caused by pruning all the
             aliases will link up properly with calls.   */
-         if (v_ann->is_alias_tag || none_added
+         if (v_ann->is_aliased
+             || none_added
              || (TREE_CODE (var) == TYPE_MEMORY_TAG && for_clobber))
            append_v_may_def (var);
        }
@@ -1862,13 +1863,14 @@ add_virtual_operand (tree var, stmt_ann_t s_ann, int flags,
 
          /* Similarly, append a virtual uses for VAR itself, when
             it is an alias tag.  */
-         if (v_ann->is_alias_tag || none_added)
+         if (v_ann->is_aliased || none_added)
            append_vuse (var);
        }
     }
 }
 
-/* Add *VAR_P to the appropriate operand array for INFO.  FLAGS is as in
+
+/* Add *VAR_P to the appropriate operand array for S_ANN.  FLAGS is as in
    get_expr_operands.  If *VAR_P is a GIMPLE register, it will be added to
    the statement's real operands, otherwise it is added to virtual
    operands.  */
@@ -1884,8 +1886,9 @@ add_stmt_operand (tree *var_p, stmt_ann_t s_ann, int flags)
   gcc_assert (SSA_VAR_P (var));
 
   is_real_op = is_gimple_reg (var);
-  /* If this is a real operand, the operand is either ssa name or decl.
-     Virtual operands may only be decls.  */
+
+  /* If this is a real operand, the operand is either an SSA name or a 
+     decl.  Virtual operands may only be decls.  */
   gcc_assert (is_real_op || DECL_P (var));
 
   sym = (TREE_CODE (var) == SSA_NAME ? SSA_NAME_VAR (var) : var);
index f6924b3e634332a6147f136aab36107752e00d86..02e8f1ed4ab204c30fa9c04c9a4f59f432cef862 100644 (file)
@@ -406,10 +406,10 @@ verify_flow_insensitive_alias_info (void)
       ann = var_ann (var);
 
       if (!MTAG_P (var)
-         && ann->is_alias_tag
+         && ann->is_aliased
          && !bitmap_bit_p (visited, DECL_UID (var)))
        {
-         error ("addressable variable that is an alias tag but is not in any alias set");
+         error ("addressable variable that is aliased but is not in any alias set");
          goto err;
        }
     }