tree-ssa-dom.c (thread_across_edge): Speed up by avoiding a call to is_gimple_min_inv...

	* tree-ssa-dom.c (thread_across_edge): Speed up by avoiding a
	call to is_gimple_min_invariant if we know the result.

From-SVN: r92003

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 8ca006e189eb05737f1ba748e9836cbfa6f4d8f5..fad1ef66a9ecc2acad91c2cf085180b5959c89e5 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -3,6 +3,9 @@
        * tree-data-ref.c (free_data_refs): Free each data_reference
        object.
 
+       * tree-ssa-dom.c (thread_across_edge): Speed up by avoiding a
+       call to is_gimple_min_invariant if we know the result.
+
 2004-12-10  Jeff Law  <law@redhat.com>
 
        * tree-ssa-alias.c (setup_pointers_and_addressables): Remove

diff --git a/gcc/tree-ssa-dom.c b/gcc/tree-ssa-dom.c
index cce041296a7b18f5e9b74542e12150bfa328a758..39ac925fb329aef78480f5dbd060761db99f8580 100644 (file)
--- a/gcc/tree-ssa-dom.c
+++ b/gcc/tree-ssa-dom.c
@@ -745,12 +745,12 @@ thread_across_edge (struct dom_walk_data *walk_data, edge e)
             otherwise look it up in the hash tables.  */
          cached_lhs = local_fold (COND_EXPR_COND (dummy_cond));
          if (! is_gimple_min_invariant (cached_lhs))
-           cached_lhs = lookup_avail_expr (dummy_cond, false);
-         if (!cached_lhs || ! is_gimple_min_invariant (cached_lhs))
            {
-             cached_lhs = simplify_cond_and_lookup_avail_expr (dummy_cond,
-                                                               NULL,
-                                                               false);
+             cached_lhs = lookup_avail_expr (dummy_cond, false);
+             if (!cached_lhs || ! is_gimple_min_invariant (cached_lhs))
+               cached_lhs = simplify_cond_and_lookup_avail_expr (dummy_cond,
+                                                                 NULL,
+                                                                 false);
            }
        }
       /* We can have conditionals which just test the state of a