diff options
author | Richard Biener <rguenther@suse.de> | 2017-06-09 09:36:06 +0000 |
---|---|---|
committer | Richard Biener <rguenth@gcc.gnu.org> | 2017-06-09 09:36:06 +0000 |
commit | 6d1115c545d673a55f481425049ab263b58311eb (patch) | |
tree | 84152feb8ac1250d918400fded48a41261fb99d4 /gcc/testsuite | |
parent | 6ba856d450119e438b62d944e646e929f16da4c6 (diff) | |
download | gcc-6d1115c545d673a55f481425049ab263b58311eb.zip gcc-6d1115c545d673a55f481425049ab263b58311eb.tar.gz gcc-6d1115c545d673a55f481425049ab263b58311eb.tar.bz2 |
re PR tree-optimization/79483 ([graphite] ICE: verify_ssa failed (error: definition in block 31 does not dominate use in block 28))
2017-06-09 Richard Biener <rguenther@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.
From-SVN: r249052
Diffstat (limited to 'gcc/testsuite')
-rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/testsuite/gcc.dg/graphite/pr79483.c | 14 |
2 files changed, 19 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index c661a14..967ca01 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2017-06-09 Richard Biener <rguenther@suse.de> + PR tree-optimization/79483 + * gcc.dg/graphite/pr79483.c: New testcase. + +2017-06-09 Richard Biener <rguenther@suse.de> + PR middle-end/81007 * g++.dg/pr81007.C: New testcase. diff --git a/gcc/testsuite/gcc.dg/graphite/pr79483.c b/gcc/testsuite/gcc.dg/graphite/pr79483.c new file mode 100644 index 0000000..097273f --- /dev/null +++ b/gcc/testsuite/gcc.dg/graphite/pr79483.c @@ -0,0 +1,14 @@ +/* { dg-do compile } */ +/* { dg-options "-O2 -fgraphite-identity" } */ + +int *a; +extern int b[]; +int c; +void d () +{ + double e[2][3] = {0.0, 0.0, 1.0}; + for (int f = 0; f < 2; ++f) + for (int g = 0; g < 6; ++g) + b[0] = a[g] * e[f][2]; + c = b[0]; +} |