diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2011-01-20 13:02:33 +0100 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2011-01-20 13:02:33 +0100 |
| commit | 28fc44f389e4cf21f2d05312badde13b00ab25b6 (patch) | |
| tree | 9d88e1e3f15ab9bfda1ee6aa938b99bb599b7bb2 /gcc/ipa-split.c | |
| parent | ddd268f2e96ce171c774df8707d4b32feb4961e7 (diff) | |
| download | gcc-28fc44f389e4cf21f2d05312badde13b00ab25b6.zip gcc-28fc44f389e4cf21f2d05312badde13b00ab25b6.tar.gz gcc-28fc44f389e4cf21f2d05312badde13b00ab25b6.tar.bz2 | |
re PR tree-optimization/46130 (ICE: SIGSEGV in walk_stmt_load_store_addr_ops (gimple.c:4894) with -O2 -fno-tree-dce)
PR tree-optimization/46130
* ipa-split.c (consider_split): If return_bb contains non-virtual
PHIs other than for retval or if split_function would not adjust it,
refuse to split.
* gcc.dg/pr46130-1.c: New test.
* gcc.dg/pr46130-2.c: New test.
From-SVN: r169052
Diffstat (limited to 'gcc/ipa-split.c')
| -rw-r--r-- | gcc/ipa-split.c | 27 |
1 files changed, 24 insertions, 3 deletions
diff --git a/gcc/ipa-split.c b/gcc/ipa-split.c index c72a36d..3006044 100644 --- a/gcc/ipa-split.c +++ b/gcc/ipa-split.c @@ -411,9 +411,6 @@ consider_split (struct split_point *current, bitmap non_ssa_vars, " Refused: split part has non-ssa uses\n"); return; } - if (dump_file && (dump_flags & TDF_DETAILS)) - fprintf (dump_file, " Accepted!\n"); - /* See if retval used by return bb is computed by header or split part. When it is computed by split part, we need to produce return statement in the split part and add code to header to pass it around. @@ -451,6 +448,30 @@ consider_split (struct split_point *current, bitmap non_ssa_vars, else current->split_part_set_retval = true; + /* split_function fixes up at most one PHI non-virtual PHI node in return_bb, + for the return value. If there are other PHIs, give up. */ + if (return_bb != EXIT_BLOCK_PTR) + { + gimple_stmt_iterator psi; + + for (psi = gsi_start_phis (return_bb); !gsi_end_p (psi); gsi_next (&psi)) + if (is_gimple_reg (gimple_phi_result (gsi_stmt (psi))) + && !(retval + && current->split_part_set_retval + && TREE_CODE (retval) == SSA_NAME + && !DECL_BY_REFERENCE (DECL_RESULT (current_function_decl)) + && SSA_NAME_DEF_STMT (retval) == gsi_stmt (psi))) + { + if (dump_file && (dump_flags & TDF_DETAILS)) + fprintf (dump_file, + " Refused: return bb has extra PHIs\n"); + return; + } + } + + if (dump_file && (dump_flags & TDF_DETAILS)) + fprintf (dump_file, " Accepted!\n"); + /* At the moment chose split point with lowest frequency and that leaves out smallest size of header. In future we might re-consider this heuristics. */ |