diff options
| author | Richard Guenther <rguenther@suse.de> | 2009-09-24 13:47:26 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2009-09-24 13:47:26 +0000 |
| commit | 824ff0cd22d948a72853f6aad98b9cd5a832a2a5 (patch) | |
| tree | d59cda303be54e77c4ec9ffea649d8ef8215be09 /gcc/tree-ssa-forwprop.c | |
| parent | 3f13dd777c1c0f76000172eb4426ccea1fd4d79d (diff) | |
| download | gcc-824ff0cd22d948a72853f6aad98b9cd5a832a2a5.zip gcc-824ff0cd22d948a72853f6aad98b9cd5a832a2a5.tar.gz gcc-824ff0cd22d948a72853f6aad98b9cd5a832a2a5.tar.bz2 | |
re PR middle-end/36143 (FAIL: g++.dg/tree-ssa/pr19637.C)
2009-09-24 Richard Guenther <rguenther@suse.de>
PR tree-optimization/36143
PR tree-optimization/38747
* tree-ssa-forwprop.c (forward_propagate_addr_expr_1): Only
create VIEW_CONVERT_EXPRs for TBAA compatible accesses.
* gcc.dg/tree-ssa/fre-vce-1.c: XFAIL.
* gcc.dg/tree-ssa/forwprop-6.c: Likewise.
* g++.dg/torture/pr38747.C: New testcase.
* g++.dg/tree-ssa/pr19637.C: Un-XFAIL.
From-SVN: r152122
Diffstat (limited to 'gcc/tree-ssa-forwprop.c')
| -rw-r--r-- | gcc/tree-ssa-forwprop.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/tree-ssa-forwprop.c b/gcc/tree-ssa-forwprop.c index 5aec334..87795a2 100644 --- a/gcc/tree-ssa-forwprop.c +++ b/gcc/tree-ssa-forwprop.c @@ -831,7 +831,9 @@ forward_propagate_addr_expr_1 (tree name, tree def_rhs, && !TYPE_VOLATILE (TREE_TYPE (rhs)) && !TYPE_VOLATILE (TREE_TYPE (TREE_OPERAND (def_rhs, 0))) && operand_equal_p (TYPE_SIZE (TREE_TYPE (rhs)), - TYPE_SIZE (TREE_TYPE (TREE_OPERAND (def_rhs, 0))), 0)) + TYPE_SIZE (TREE_TYPE (TREE_OPERAND (def_rhs, 0))), 0) + /* Make sure we only do TBAA compatible replacements. */ + && get_alias_set (TREE_OPERAND (def_rhs, 0)) == get_alias_set (rhs)) { tree def_rhs_base, new_rhs = unshare_expr (TREE_OPERAND (def_rhs, 0)); new_rhs = fold_build1 (VIEW_CONVERT_EXPR, TREE_TYPE (rhs), new_rhs); |