[Bug tree-optimization/79483] [7/8 Regression] [graphite] ICE: verify_ssa failed (error: definition in block 31 does not dominate use in block 28)

[rguenth at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79483

--- Comment #12 from Richard Biener <rguenth at gcc dot gnu.org> ---
Author: rguenth
Date: Fri Jun  9 09:36:06 2017
New Revision: 249052

URL: https://gcc.gnu.org/viewcvs?rev=249052&root=gcc&view=rev
Log:
2017-06-09  Richard Biener  <rguent...@suse.de>

        PR tree-optimization/79483
        * graphite-scop-detection.c (order): New global.
        (get_order): Compute bb to order mapping that satisfies code
        generation constraints.
        (cmp_pbbs): New helper.
        (build_scops): Start domwalk at entry block, sort generated
        pbbs.

        * gcc.dg/graphite/pr79483.c: New testcase.

Added:
    trunk/gcc/testsuite/gcc.dg/graphite/pr79483.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/graphite-scop-detection.c
    trunk/gcc/testsuite/ChangeLog