diff options
| author | Richard Guenther <rguenther@suse.de> | 2008-08-20 13:21:41 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2008-08-20 13:21:41 +0000 |
| commit | 4fedf870f576c5981624c815c140130c76821f0f (patch) | |
| tree | 4e34041dfa6c8eff66e2f74749338d6e9f6563c8 /gcc/tree-ssa-forwprop.c | |
| parent | c6084ae0318f321b9f21af68fe5d5e92b3f13081 (diff) | |
| download | gcc-4fedf870f576c5981624c815c140130c76821f0f.zip gcc-4fedf870f576c5981624c815c140130c76821f0f.tar.gz gcc-4fedf870f576c5981624c815c140130c76821f0f.tar.bz2 | |
tree-ssa-forwprop.c (forward_propagate_addr_expr_1): More properly handle conversion/copy chains after tuplification.
2008-08-20 Richard Guenther <rguenther@suse.de>
* tree-ssa-forwprop.c (forward_propagate_addr_expr_1): More
properly handle conversion/copy chains after tuplification.
* gcc.dg/tree-ssa/forwprop-9.c: Scan FRE dump as well.
* gcc.dg/tree-ssa/forwprop-10.c: New testcase.
From-SVN: r139288
Diffstat (limited to 'gcc/tree-ssa-forwprop.c')
| -rw-r--r-- | gcc/tree-ssa-forwprop.c | 17 |
1 files changed, 12 insertions, 5 deletions
diff --git a/gcc/tree-ssa-forwprop.c b/gcc/tree-ssa-forwprop.c index 64eb2d8..bf860d9 100644 --- a/gcc/tree-ssa-forwprop.c +++ b/gcc/tree-ssa-forwprop.c @@ -689,15 +689,22 @@ forward_propagate_addr_expr_1 (tree name, tree def_rhs, a conversion to def_rhs type separate, though. */ if (TREE_CODE (lhs) == SSA_NAME && ((rhs_code == SSA_NAME && rhs == name) - || CONVERT_EXPR_CODE_P (rhs_code)) - && useless_type_conversion_p (TREE_TYPE (lhs), TREE_TYPE (def_rhs))) + || CONVERT_EXPR_CODE_P (rhs_code))) { - /* Only recurse if we don't deal with a single use. */ - if (!single_use_p) + /* Only recurse if we don't deal with a single use or we cannot + do the propagation to the current statement. In particular + we can end up with a conversion needed for a non-invariant + address which we cannot do in a single statement. */ + if (!single_use_p + || (!useless_type_conversion_p (TREE_TYPE (lhs), TREE_TYPE (def_rhs)) + && !is_gimple_min_invariant (def_rhs))) return forward_propagate_addr_expr (lhs, def_rhs); gimple_assign_set_rhs1 (use_stmt, unshare_expr (def_rhs)); - gimple_assign_set_rhs_code (use_stmt, TREE_CODE (def_rhs)); + if (useless_type_conversion_p (TREE_TYPE (lhs), TREE_TYPE (def_rhs))) + gimple_assign_set_rhs_code (use_stmt, TREE_CODE (def_rhs)); + else + gimple_assign_set_rhs_code (use_stmt, NOP_EXPR); return true; } |