https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80213
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Known to work|8.0 |
Summary|[7/8 Regression] ICE in |[7 Regression] ICE in
|check_loop_closed_ssa_use, |check_loop_closed_ssa_use,
|at |at
|tree-ssa-loop-manip.c:704 |tree-ssa-loop-manip.c:704
Known to fail|7.2.0 |
Known to work|8.0 |
Summary|[7 Regression] ICE in |[7/8 Regression] ICE in
|check_loop_closed_ssa_use, |check_loop_closed_ssa_use,
|at |at
|tree-ssa-loop-manip.c:704 |tree-ssa-loop-manip.c:704
Known to fail|7.2.0 |
--- Comment #8 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed on trunk.
--- Comment #9 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Wed Sep 20 12:08:16 2017
New Revision: 253008
URL: https://gcc.gnu.org/viewcvs?rev=253008&root=gcc&view=rev
Log:
2017-09-20 Richard Biener <rguent...@suse.de>
PR tree-optimization/80213
* graphite-scop-detection.c (trivially_empty_bb_p): Labels
are allowed in empty BBs as well.
(canonicalize_loop_closed_ssa): Also look for other complex
edges.
(scop_detection::get_sese): Include the loop-closed PHI block
in loop SESEs.
(scop_detection::merge_sese): Remove code adding extra blocks.
(scop_detection::region_has_one_loop): Adjust for get_sese changes.
(build_scops): Assert the final returned scop is invalid.
Modified:
trunk/gcc/ChangeLog
trunk/gcc/graphite-scop-detection.c
