tree-tailcall.c (find_tail_calls): If we don't have aliases computed check…

tree-tailcall.c (find_tail_calls): If we don't have aliases computed check stmt_ann->references_memory instead of...

2007-09-08  Richard Guenther  <rguenther@suse.de>

	* tree-tailcall.c (find_tail_calls): If we don't have aliases
	computed check stmt_ann->references_memory instead of counting
	virtual operands.

From-SVN: r128276

gcc/ChangeLog

-2007-09-09  Segher Boessenkool  <segher@kernel.crashing.org>
+2007-09-08  Richard Guenther  <rguenther@suse.de>
+
+	* tree-tailcall.c (find_tail_calls): If we don't have aliases
+	computed check stmt_ann->references_memory instead of counting
+	virtual operands.
+ 
+2007-09-08  Segher Boessenkool  <segher@kernel.crashing.org>
 
 	* cse.c (fold_rtx): Use validate_unshare_change() instead of
 	validate_change() in one more case.

gcc/tree-tailcall.c

@@ -414,7 +414,8 @@ find_tail_calls (basic_block bb, struct tailcall **ret)
       /* If the statement has virtual or volatile operands, fail.  */
       ann = stmt_ann (stmt);
       if (!ZERO_SSA_OPERANDS (stmt, (SSA_OP_VUSE | SSA_OP_VIRTUAL_DEFS))
-	  || ann->has_volatile_ops)
+	  || ann->has_volatile_ops
+	  || (!gimple_aliases_computed_p (cfun) && ann->references_memory))
 	return;
     }