tree-flow.h (name_mappings_registered_p): Declare.

	* tree-flow.h (name_mappings_registered_p): Declare.
	* tree-into-ssa.c (name_mappings_registered_p): New function.
	* tree-cfg.c (tree_can_merge_blocks_p): Check
	name_mappings_registered_p instead of need_ssa_update_p.

From-SVN: r118732

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index bf52ce8d1f18380dabc4bd1ba0810007224b04e8..22b956f1ff5f991b7c46502ee083b3a50b7a5362 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2006-11-12  Zdenek Dvorak <dvorakz@suse.cz>
+
+       * tree-flow.h (name_mappings_registered_p): Declare.
+       * tree-into-ssa.c (name_mappings_registered_p): New function.
+       * tree-cfg.c (tree_can_merge_blocks_p): Check
+       name_mappings_registered_p instead of need_ssa_update_p.
+
 2006-11-12  Zdenek Dvorak <dvorakz@suse.cz>
 
        * tree-ssa-loop.c (tree_vectorize): Return the result of

diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c
index ab5a234b3bccb780d02406eb99ed22ffec7f4bbd..7c397aaa8e69688b544e4b93145073238dbbd38e 100644 (file)
--- a/gcc/tree-cfg.c
+++ b/gcc/tree-cfg.c
@@ -1200,11 +1200,13 @@ tree_can_merge_blocks_p (basic_block a, basic_block b)
     return false;
 
   /* It must be possible to eliminate all phi nodes in B.  If ssa form
-     is not up-to-date, we cannot eliminate any phis.  */
+     is not up-to-date, we cannot eliminate any phis; however, if only
+     some symbols as whole are marked for renaming, this is not a problem,
+     as phi nodes for those symbols are irrelevant in updating anyway.  */
   phi = phi_nodes (b);
   if (phi)
     {
-      if (need_ssa_update_p ())
+      if (name_mappings_registered_p ())
        return false;
 
       for (; phi; phi = PHI_CHAIN (phi))
@@ -1242,7 +1244,6 @@ replace_uses_by (tree name, tree val)
   edge e;
   unsigned i;
 
-
   FOR_EACH_IMM_USE_STMT (stmt, imm_iter, name)
     {
       FOR_EACH_IMM_USE_ON_STMT (use, imm_iter)

diff --git a/gcc/tree-flow.h b/gcc/tree-flow.h
index 8013804f79717396359b94d5d36274500997653d..61910f9e1a94880c9794484eefd3cc283385e67a 100644 (file)
--- a/gcc/tree-flow.h
+++ b/gcc/tree-flow.h
@@ -716,6 +716,7 @@ void delete_update_ssa (void);
 void register_new_name_mapping (tree, tree);
 tree create_new_def_for (tree, tree, def_operand_p);
 bool need_ssa_update_p (void);
+bool name_mappings_registered_p (void);
 bool name_registered_for_update_p (tree);
 bitmap ssa_names_to_replace (void);
 void release_ssa_name_after_update_ssa (tree name);

diff --git a/gcc/tree-into-ssa.c b/gcc/tree-into-ssa.c
index 14a50b62c62be820706a2e7e4bb95900fe004fcd..3bcddfebaeb8ca6d9e1cd4e5e9a0b35383726541 100644 (file)
--- a/gcc/tree-into-ssa.c
+++ b/gcc/tree-into-ssa.c
@@ -2659,6 +2659,13 @@ need_ssa_update_p (void)
   return syms_to_rename || old_ssa_names || new_ssa_names;
 }
 
+/* Return true if SSA name mappings have been registered for SSA updating.  */
+
+bool
+name_mappings_registered_p (void)
+{
+  return repl_tbl && htab_elements (repl_tbl) > 0;
+}
 
 /* Return true if name N has been registered in the replacement table.  */