diff options
| author | Richard Biener <rguenther@suse.de> | 2017-09-18 07:34:04 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2017-09-18 07:34:04 +0000 |
| commit | 3d07d963f6eb6fce457e0414bef4ad428dfb7788 (patch) | |
| tree | b68415e1f98470f580cf4453622870ee2dfd3c65 /gcc/graphite-scop-detection.c | |
| parent | e75a0b311c372629f2bbaebae6e054ba7ca0a0e3 (diff) | |
| download | gcc-3d07d963f6eb6fce457e0414bef4ad428dfb7788.zip gcc-3d07d963f6eb6fce457e0414bef4ad428dfb7788.tar.gz gcc-3d07d963f6eb6fce457e0414bef4ad428dfb7788.tar.bz2 | |
re PR tree-optimization/79622 (Wrong code w/ -O2 -floop-nest-optimize)
2017-09-18 Richard Biener <rguenther@suse.de>
PR tree-optimization/79622
* graphite-scop-detection.c (build_cross_bb_scalars_def): Properly
handle PHIs.
(build_cross_bb_scalars_use): Likewise.
* gcc.dg/graphite/pr79622.c: New testcase.
From-SVN: r252905
Diffstat (limited to 'gcc/graphite-scop-detection.c')
| -rw-r--r-- | gcc/graphite-scop-detection.c | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/gcc/graphite-scop-detection.c b/gcc/graphite-scop-detection.c index bc66dfd..b209ba6 100644 --- a/gcc/graphite-scop-detection.c +++ b/gcc/graphite-scop-detection.c @@ -1744,7 +1744,9 @@ build_cross_bb_scalars_def (scop_p scop, tree def, basic_block def_bb, gimple *use_stmt; imm_use_iterator imm_iter; FOR_EACH_IMM_USE_STMT (use_stmt, imm_iter, def) - if (def_bb != gimple_bb (use_stmt) && !is_gimple_debug (use_stmt)) + if ((def_bb != gimple_bb (use_stmt) && !is_gimple_debug (use_stmt)) + /* PHIs have their effect at "BBs" on the edges. See PR79622. */ + || gimple_code (SSA_NAME_DEF_STMT (def)) == GIMPLE_PHI) { writes->safe_push (def); DEBUG_PRINT (dp << "Adding scalar write: "; @@ -1758,7 +1760,8 @@ build_cross_bb_scalars_def (scop_p scop, tree def, basic_block def_bb, } } -/* Record DEF if it is used in other bbs different than DEF_BB in the SCOP. */ +/* Record USE if it is defined in other bbs different than USE_STMT + in the SCOP. */ static void build_cross_bb_scalars_use (scop_p scop, tree use, gimple *use_stmt, @@ -1774,7 +1777,9 @@ build_cross_bb_scalars_use (scop_p scop, tree use, gimple *use_stmt, return; gimple *def_stmt = SSA_NAME_DEF_STMT (use); - if (gimple_bb (def_stmt) != gimple_bb (use_stmt)) + if (gimple_bb (def_stmt) != gimple_bb (use_stmt) + /* PHIs have their effect at "BBs" on the edges. See PR79622. */ + || gimple_code (def_stmt) == GIMPLE_PHI) { DEBUG_PRINT (dp << "Adding scalar read: "; print_generic_expr (dump_file, use); |