re PR tree-optimization/83887 ([graphite] ICE in verify_dominators, at dominance...
authorRichard Biener <rguenther@suse.de>
Thu, 18 Jan 2018 10:59:33 +0000 (10:59 +0000)
committerRichard Biener <rguenth@gcc.gnu.org>
Thu, 18 Jan 2018 10:59:33 +0000 (10:59 +0000)
commit7467ab4232babb1ac9b906fe91abb9226464b884
tree79560bae0f827facc7346ddfc7f8c7557c1211ea
parentc5affc0451c9eb83c5142c726710cb8dbe04b66f
re PR tree-optimization/83887 ([graphite] ICE in verify_dominators, at dominance.c:1184 (error: dominator of 3 should be 21, not 18))

2018-01-18  Richard Biener  <rguenther@suse.de>

PR tree-optimization/83887
* graphite-scop-detection.c
(scop_detection::get_nearest_dom_with_single_entry): Remove.
(scop_detection::get_nearest_pdom_with_single_exit): Likewise.
(scop_detection::merge_sese): Re-implement with a flood-fill
algorithm that properly finds a SESE region if it exists.

* gcc.dg/graphite/pr83887.c: New testcase.
* gfortran.dg/graphite/pr83887.f90: Likewise.
* gfortran.dg/graphite/pr83887.f: Likewise.

From-SVN: r256841
gcc/ChangeLog
gcc/graphite-scop-detection.c
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/graphite/pr83887.c [new file with mode: 0644]
gcc/testsuite/gfortran.dg/graphite/pr83887.f [new file with mode: 0644]
gcc/testsuite/gfortran.dg/graphite/pr83887.f90 [new file with mode: 0644]