[Bug tree-optimization/79483] [7 Regression] [graphite] ICE: verify_ssa failed (error: definition in block 31 does not dominate use in block 28)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79483 Richard Biener changed: What|Removed |Added Status|ASSIGNED|RESOLVED Resolution|--- |FIXED Target Milestone|7.5 |8.0 Known to fail||7.5.0 --- Comment #17 from Richard Biener --- Fixed in GCC8.
[Bug tree-optimization/79483] [7 Regression] [graphite] ICE: verify_ssa failed (error: definition in block 31 does not dominate use in block 28)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79483 Richard Biener changed: What|Removed |Added Target Milestone|7.4 |7.5
[Bug tree-optimization/79483] [7 Regression] [graphite] ICE: verify_ssa failed (error: definition in block 31 does not dominate use in block 28)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79483 Richard Biener changed: What|Removed |Added Target Milestone|7.3 |7.4 --- Comment #16 from Richard Biener --- GCC 7.3 is being released, adjusting target milestone.
[Bug tree-optimization/79483] [7 Regression] [graphite] ICE: verify_ssa failed (error: definition in block 31 does not dominate use in block 28)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79483 Richard Biener changed: What|Removed |Added Target Milestone|7.2 |7.3
[Bug tree-optimization/79483] [7 Regression] [graphite] ICE: verify_ssa failed (error: definition in block 31 does not dominate use in block 28)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79483 Richard Biener changed: What|Removed |Added Target Milestone|7.2 |7.3 --- Comment #16 from Richard Biener --- GCC 7.2 is being released, adjusting target milestone.
[Bug tree-optimization/79483] [7 Regression] [graphite] ICE: verify_ssa failed (error: definition in block 31 does not dominate use in block 28)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79483 --- Comment #15 from Richard Biener --- (In reply to David Binderman from comment #14) > (In reply to Richard Biener from comment #13) > > Fixed on trunk sofar. > > Odd. Looks broken to me in 20170622. Did the patch go in ? Your reduced testcase triggers a similar ICE but from a different pass. I'll open a new bug for that.
[Bug tree-optimization/79483] [7 Regression] [graphite] ICE: verify_ssa failed (error: definition in block 31 does not dominate use in block 28)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79483 --- Comment #14 from David Binderman --- (In reply to Richard Biener from comment #13) > Fixed on trunk sofar. Odd. Looks broken to me in 20170622. Did the patch go in ?
[Bug tree-optimization/79483] [7 Regression] [graphite] ICE: verify_ssa failed (error: definition in block 31 does not dominate use in block 28)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79483 Richard Biener changed: What|Removed |Added Known to work||8.0 Summary|[7/8 Regression] [graphite] |[7 Regression] [graphite] |ICE: verify_ssa failed |ICE: verify_ssa failed |(error: definition in block |(error: definition in block |31 does not dominate use in |31 does not dominate use in |block 28) |block 28) Known to fail||7.1.0 --- Comment #13 from Richard Biener --- Fixed on trunk sofar.
[Bug tree-optimization/79483] [7 Regression] [graphite] ICE: verify_ssa failed (error: definition in block 31 does not dominate use in block 28)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79483
--- Comment #4 from Martin Liška ---
OK, I've got a new test-case that fails with ILS 0.18:
$ cat /tmp/tmpunyat_pa.i
int *a;
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];
}
$ gcc -fgraphite-identity -O2 /tmp/tmpunyat_pa.i
/tmp/tmpunyat_pa.i:2:5: warning: array ‘b’ assumed to have one element
int b[];
^
/tmp/tmpunyat_pa.i: In function ‘d’:
/tmp/tmpunyat_pa.i:4:6: error: definition in block 29 does not dominate use in
block 19
void d ()
^
for SSA_NAME: pretmp_43 in statement:
prephitmp_33 = PHI <1.0e+0(14), pretmp_43(19)>
PHI argument
pretmp_43
for PHI node
prephitmp_33 = PHI <1.0e+0(14), pretmp_43(19)>
/tmp/tmpunyat_pa.i:4:6: internal compiler error: verify_ssa failed
0xe20ad3 verify_ssa(bool, bool)
../../gcc/tree-ssa.c:1184
0xd6ca25 verify_loop_closed_ssa(bool)
../../gcc/tree-ssa-loop-manip.c:736
0x1307a33 checking_verify_loop_closed_ssa
../../gcc/tree-ssa-loop-manip.h:37
0x1307a33 graphite_verify
../../gcc/graphite-isl-ast-to-gimple.c:82
0x1307a33 graphite_regenerate_ast_isl(scop*)
../../gcc/graphite-isl-ast-to-gimple.c:3040
0x12fe2d7 graphite_transform_loops()
../../gcc/graphite.c:330
0x12fe890 graphite_transforms
../../gcc/graphite.c:362
0x12fe890 execute
../../gcc/graphite.c:439
[Bug tree-optimization/79483] [7 Regression] [graphite] ICE: verify_ssa failed (error: definition in block 31 does not dominate use in block 28)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79483 Jeffrey A. Law changed: What|Removed |Added Priority|P3 |P4 CC||law at redhat dot com
[Bug tree-optimization/79483] [7 Regression] [graphite] ICE: verify_ssa failed (error: definition in block 31 does not dominate use in block 28)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79483 --- Comment #3 from Martin Liška --- It's gone with ISL 0.18 (and w/ --param graphite-min-loops-per-function=1) because it does not process any transformation.
[Bug tree-optimization/79483] [7 Regression] [graphite] ICE: verify_ssa failed (error: definition in block 31 does not dominate use in block 28)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79483 Richard Biener changed: What|Removed |Added Target Milestone|--- |7.0
[Bug tree-optimization/79483] [7 Regression] [graphite] ICE: verify_ssa failed (error: definition in block 31 does not dominate use in block 28)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79483 Martin Liška changed: What|Removed |Added Status|UNCONFIRMED |NEW Last reconfirmed||2017-02-13 CC||marxin at gcc dot gnu.org, ||rguenth at gcc dot gnu.org Host||x86_64-linux-gnu Assignee|unassigned at gcc dot gnu.org |marxin at gcc dot gnu.org Ever confirmed|0 |1 --- Comment #2 from Martin Liška --- Confirmed on trunk on x86_64-linux-gnu w/ isl 0.16, started with r241329. I'm going to investigate.
[Bug tree-optimization/79483] [7 Regression] [graphite] ICE: verify_ssa failed (error: definition in block 31 does not dominate use in block 28)
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79483
--- Comment #1 from Arseny Solokha ---
int tc, ag;
int
yv (void)
{
int bt[2];
int cu;
bt[0] = 0;
for (tc = 0; tc < 2; ++tc)
{
cu = bt[tc];
for (ag = 0; ag < 2; ++ag)
bt[ag] = 0;
}
return cu;
}
% gcc-7.0.0-alpha20170212 -O2 -floop-nest-optimize -c xggwz5dp.c
xggwz5dp.c: In function 'yv':
xggwz5dp.c:4:1: error: definition in block 31 does not dominate use in block 28
yv (void)
^~
for SSA_NAME: pretmp_27 in statement:
prephitmp_25 = PHI <0(17), pretmp_27(28)>
PHI argument
pretmp_27
for PHI node
prephitmp_25 = PHI <0(17), pretmp_27(28)>
xggwz5dp.c:4:1: internal compiler error: verify_ssa failed
It looks similar to PR69675 but also reproduces w/ isl 0.18.
