2010-06-27 Richard Guenther <rguenther@suse.de>

	PR middle-end/44684
	* tree-ssa-alias.c (refs_may_alias_p_1): Allow SSA name refs.
	(stmt_may_clobber_ref_p_1): Do not bother to call the oracle
	for register LHS.  Or non-store assignments.

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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 624af3d..1281858 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,10 @@
+2010-06-27  Richard Guenther  <rguenther@suse.de>
+
+       PR middle-end/44684
+       * tree-ssa-alias.c (refs_may_alias_p_1): Allow SSA name refs.
+       (stmt_may_clobber_ref_p_1): Do not bother to call the oracle
+       for register LHS.  Or non-store assignments.
+
 2010-06-26  Eric Botcazou  <ebotcazou@adacore.com>
 
        * config/sparc/sparc.c (sparc_emit_set_const32): Make static.

diff --git a/gcc/tree-ssa-alias.c b/gcc/tree-ssa-alias.c
index 95f26f1..28b8fb7 100644 (file)
--- a/gcc/tree-ssa-alias.c
+++ b/gcc/tree-ssa-alias.c
@@ -801,11 +801,13 @@ refs_may_alias_p_1 (ao_ref *ref1, ao_ref *ref2, bool tbaa_p)
   alias_set_type set;
 
   gcc_checking_assert ((!ref1->ref
+                       || TREE_CODE (ref1->ref) == SSA_NAME
                        || DECL_P (ref1->ref)
                        || handled_component_p (ref1->ref)
                        || INDIRECT_REF_P (ref1->ref)
                        || TREE_CODE (ref1->ref) == TARGET_MEM_REF)
                       && (!ref2->ref
+                          || TREE_CODE (ref2->ref) == SSA_NAME
                           || DECL_P (ref2->ref)
                           || handled_component_p (ref2->ref)
                           || INDIRECT_REF_P (ref2->ref)
@@ -1409,11 +1411,15 @@ stmt_may_clobber_ref_p_1 (gimple stmt, ao_ref *ref)
 
       return call_may_clobber_ref_p_1 (stmt, ref);
     }
-  else if (is_gimple_assign (stmt))
+  else if (gimple_assign_single_p (stmt))
     {
-      ao_ref r;
-      ao_ref_init (&r, gimple_assign_lhs (stmt));
-      return refs_may_alias_p_1 (ref, &r, true);
+      tree lhs = gimple_assign_lhs (stmt);
+      if (!is_gimple_reg (lhs))
+       {
+         ao_ref r;
+         ao_ref_init (&r, gimple_assign_lhs (stmt));
+         return refs_may_alias_p_1 (ref, &r, true);
+       }
     }
   else if (gimple_code (stmt) == GIMPLE_ASM)
     return true;