tree-dfa.c (dump_variable): Use default_def function.

	* tree-dfa.c (dump_variable): Use default_def function.
	* tree-ssa-alias.c (dump_points_to_info): Likewise.
	* tree-ssa.c (verify_use): Likewise.
	* tree-ssanames.c (release_ssa_name): Likewise.
	* tree-tailcall.c (eliminate_tail_call): Likewise.
	(tree_optimize_tail_calls_1): Likewise.
	* tree-vrp.c (get_value_range): Likewise.

From-SVN: r101994

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index ec9eeb0ae36eaeeec97bf6816a391726b7ca131a..271be8df7e23891b25a5972ce7a2c2339f39194f 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,13 @@
+2005-07-14  Jan Hubicka  <jh@suse.cz>
+
+       * tree-dfa.c (dump_variable): Use default_def function.
+       * tree-ssa-alias.c (dump_points_to_info): Likewise.
+       * tree-ssa.c (verify_use): Likewise.
+       * tree-ssanames.c (release_ssa_name): Likewise.
+       * tree-tailcall.c (eliminate_tail_call): Likewise.
+       (tree_optimize_tail_calls_1): Likewise.
+       * tree-vrp.c (get_value_range): Likewise.
+
 2005-07-14  Ben Elliston  <bje@au.ibm.com>
 
        * gcc.c (main): Compare language[0] with '*' when iterating over

diff --git a/gcc/tree-dfa.c b/gcc/tree-dfa.c
index f065f5d3bb6413b65903cc12ed212b300c73b893..c745ed02015e3da906b4372142d6b33b223f91d3 100644 (file)
--- a/gcc/tree-dfa.c
+++ b/gcc/tree-dfa.c
@@ -335,10 +335,10 @@ dump_variable (FILE *file, tree var)
   if (is_call_clobbered (var))
     fprintf (file, ", call clobbered");
 
-  if (ann->default_def)
+  if (default_def (var))
     {
       fprintf (file, ", default def: ");
-      print_generic_expr (file, ann->default_def, dump_flags);
+      print_generic_expr (file, default_def (var), dump_flags);
     }
 
   if (ann->may_aliases)

diff --git a/gcc/tree-ssa-alias.c b/gcc/tree-ssa-alias.c
index 460a40499991a057139c2497ccc956e83e068194..75dbbb43880dd5b4a0c90e123c7ebab3e62afc01 100644 (file)
--- a/gcc/tree-ssa-alias.c
+++ b/gcc/tree-ssa-alias.c
@@ -2035,9 +2035,9 @@ dump_points_to_info (FILE *file)
     {
       if (POINTER_TYPE_P (TREE_TYPE (var)))
        {
-         var_ann_t ann = var_ann (var);
-         if (ann->default_def)
-           dump_points_to_info_for (file, ann->default_def);
+         tree def = default_def (var);
+         if (def)
+           dump_points_to_info_for (file, def);
        }
     }
 

diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c
index ef892b57dd6b59e86efb088ccb592e04e1ef3091..fc1754f65ff6ae876c70f57c4cb34deae5411fc1 100644 (file)
--- a/gcc/tree-ssa.c
+++ b/gcc/tree-ssa.c
@@ -231,7 +231,7 @@ verify_use (basic_block bb, basic_block def_bb, use_operand_p use_p,
   TREE_VISITED (ssa_name) = 1;
 
   if (IS_EMPTY_STMT (SSA_NAME_DEF_STMT (ssa_name))
-      && var_ann (SSA_NAME_VAR (ssa_name))->default_def == ssa_name)
+      && default_def (SSA_NAME_VAR (ssa_name)) == ssa_name)
     ; /* Default definitions have empty statements.  Nothing to do.  */
   else if (!def_bb)
     {

diff --git a/gcc/tree-ssanames.c b/gcc/tree-ssanames.c
index f794eaec6be7bc1ce4f7ad54257af5694ced3f2f..5077808947b2d9f7397b74d2a4e6d347519e1e67 100644 (file)
--- a/gcc/tree-ssanames.c
+++ b/gcc/tree-ssanames.c
@@ -183,7 +183,7 @@ release_ssa_name (tree var)
 
   /* Never release the default definition for a symbol.  It's a
      special SSA name that should always exist once it's created.  */
-  if (var == var_ann (SSA_NAME_VAR (var))->default_def)
+  if (var == default_def (SSA_NAME_VAR (var)))
     return;
 
   /* If VAR has been registered for SSA updating, don't remove it.

diff --git a/gcc/tree-tailcall.c b/gcc/tree-tailcall.c
index 1e266407ca15fe2142a82e29097579bf82a255cb..3a40a61d1ed2970cb85133b07b76dfa79d935882 100644 (file)
--- a/gcc/tree-tailcall.c
+++ b/gcc/tree-tailcall.c
@@ -756,7 +756,7 @@ eliminate_tail_call (struct tailcall *t)
 
       if (!phi)
        {
-         tree name = var_ann (param)->default_def;
+         tree name = default_def (param);
          tree new_name;
 
          if (!name)
@@ -769,7 +769,7 @@ eliminate_tail_call (struct tailcall *t)
            }
          new_name = make_ssa_name (param, SSA_NAME_DEF_STMT (name));
 
-         var_ann (param)->default_def = new_name;
+         set_default_def (param, new_name);
          phi = create_phi_node (name, first);
          SSA_NAME_DEF_STMT (name) = phi;
          add_phi_arg (phi, new_name, single_succ_edge (ENTRY_BLOCK_PTR));
@@ -868,6 +868,7 @@ tree_optimize_tail_calls_1 (bool opt_tailcalls)
 
       if (!phis_constructed)
        {
+         tree name;
          /* Ensure that there is only one predecessor of the block.  */
          if (!single_pred_p (first))
            first = split_edge (single_succ_edge (ENTRY_BLOCK_PTR));
@@ -880,14 +881,13 @@ tree_optimize_tail_calls_1 (bool opt_tailcalls)
                && var_ann (param)
                /* Also parameters that are only defined but never used need not
                   be copied.  */
-               && (var_ann (param)->default_def
-                   && TREE_CODE (var_ann (param)->default_def) == SSA_NAME))
+               && ((name = default_def (param))
+                   && TREE_CODE (name) == SSA_NAME))
            {
-             tree name = var_ann (param)->default_def;
              tree new_name = make_ssa_name (param, SSA_NAME_DEF_STMT (name));
              tree phi;
 
-             var_ann (param)->default_def = new_name;
+             set_default_def (param, new_name);
              phi = create_phi_node (name, first);
              SSA_NAME_DEF_STMT (name) = phi;
              add_phi_arg (phi, new_name, single_pred_edge (first));

diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c
index 5655e119943e717a1d6f81ba677edbb0d635c467..bcbc7384d2e05161d74c1f3ceaec5857c0da3434 100644 (file)
--- a/gcc/tree-vrp.c
+++ b/gcc/tree-vrp.c
@@ -294,7 +294,7 @@ get_value_range (tree var)
   /* If VAR is a default definition, the variable can take any value
      in VAR's type.  */
   sym = SSA_NAME_VAR (var);
-  if (var == var_ann (sym)->default_def)
+  if (var == default_def (sym))
     {
       /* Try to use the "nonnull" attribute to create ~[0, 0]
         anti-ranges for pointers.  Note that this is only valid with