diff options
| author | Richard Biener <rguenth@gcc.gnu.org> | 2007-09-08 15:09:25 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2007-09-08 15:09:25 +0000 |
| commit | 83c9a0b97465520cf8c9102b192e05bf182de982 (patch) | |
| tree | 259baa0e14622f432ae3b12535a54efa40aabb63 /gcc | |
| parent | b8b89e7c095c5ebb48c3815b0ea18240a840bc07 (diff) | |
| download | gcc-83c9a0b97465520cf8c9102b192e05bf182de982.zip gcc-83c9a0b97465520cf8c9102b192e05bf182de982.tar.gz gcc-83c9a0b97465520cf8c9102b192e05bf182de982.tar.bz2 | |
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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 8 | ||||
| -rw-r--r-- | gcc/tree-tailcall.c | 3 |
2 files changed, 9 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e55536d..ffea0a14 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,4 +1,10 @@ -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. diff --git a/gcc/tree-tailcall.c b/gcc/tree-tailcall.c index 8651b60..bd3da88 100644 --- a/gcc/tree-tailcall.c +++ b/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; } |