diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2011-06-14 17:27:24 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2011-06-14 17:27:24 +0200 |
| commit | 1ace6185d22d5e23cf3fae342b9b48d18caad644 (patch) | |
| tree | a038a08891c77147df8061be5e5979cdc97b4947 /gcc/tree-cfg.c | |
| parent | 6b14c6d7ffc25b92aeea21f0c0c050582d3ed771 (diff) | |
| download | gcc-1ace6185d22d5e23cf3fae342b9b48d18caad644.zip gcc-1ace6185d22d5e23cf3fae342b9b48d18caad644.tar.gz gcc-1ace6185d22d5e23cf3fae342b9b48d18caad644.tar.bz2 | |
re PR fortran/49103 (local variables exchange values / wrong code with -O3)
PR fortran/49103
* tree.h (DECL_NONSHAREABLE): Define.
(struct tree_decl_common): Change decl_common_unused to
decl_nonshareable_flag.
* cfgexpand.c (expand_used_vars_for_block, clear_tree_used):
Ignore vars with DECL_NONSHAREABLE bit set.
* tree-cfg.c (gimple_duplicate_bb): Set DECL_NONSHAREABLE
on stores to automatic aggregate vars.
* gfortran.dg/pr49103.f90: New test.
From-SVN: r175028
Diffstat (limited to 'gcc/tree-cfg.c')
| -rw-r--r-- | gcc/tree-cfg.c | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/gcc/tree-cfg.c b/gcc/tree-cfg.c index 85fece4..44b5c65 100644 --- a/gcc/tree-cfg.c +++ b/gcc/tree-cfg.c @@ -5090,6 +5090,7 @@ gimple_duplicate_bb (basic_block bb) { def_operand_p def_p; ssa_op_iter op_iter; + tree lhs; stmt = gsi_stmt (gsi); if (gimple_code (stmt) == GIMPLE_LABEL) @@ -5103,6 +5104,24 @@ gimple_duplicate_bb (basic_block bb) maybe_duplicate_eh_stmt (copy, stmt); gimple_duplicate_stmt_histograms (cfun, copy, cfun, stmt); + /* When copying around a stmt writing into a local non-user + aggregate, make sure it won't share stack slot with other + vars. */ + lhs = gimple_get_lhs (stmt); + if (lhs && TREE_CODE (lhs) != SSA_NAME) + { + tree base = get_base_address (lhs); + if (base + && (TREE_CODE (base) == VAR_DECL + || TREE_CODE (base) == RESULT_DECL) + && DECL_IGNORED_P (base) + && !TREE_STATIC (base) + && !DECL_EXTERNAL (base) + && (TREE_CODE (base) != VAR_DECL + || !DECL_HAS_VALUE_EXPR_P (base))) + DECL_NONSHAREABLE (base) = 1; + } + /* Create new names for all the definitions created by COPY and add replacement mappings for each new name. */ FOR_EACH_SSA_DEF_OPERAND (def_p, copy, op_iter, SSA_OP_ALL_DEFS) |