https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115652
Bug ID: 115652 Summary: [15 Regression] GCN: FAIL: gcc.dg/vect/pr70138-{1,2}.c (internal compiler error: verify_ssa failed) Product: gcc Version: 15.0 Status: UNCONFIRMED Keywords: ice-checking, ice-on-valid-code, testsuite-fail Severity: normal Priority: P3 Component: target Assignee: unassigned at gcc dot gnu.org Reporter: tschwinge at gcc dot gnu.org CC: ams at gcc dot gnu.org, rguenth at gcc dot gnu.org Target Milestone: --- Target: GCN As of commit r15-1056-g4653b682ef161c3c2fc7bf8462b8f9206a1349e6 "Allow single-lane SLP in-order reductions" we've got a '-fchecking' ICE regression for GCN target (tested '-march=gfx908'): {+FAIL: gcc.dg/vect/pr70138-1.c (internal compiler error: verify_ssa failed)+} [-PASS:-]{+FAIL:+} gcc.dg/vect/pr70138-1.c (test for excess errors) [-PASS:-]{+UNRESOLVED:+} gcc.dg/vect/pr70138-1.c [-execution test-]{+compilation failed to produce executable+} [...]/source-gcc/gcc/testsuite/gcc.dg/vect/pr70138-1.c: In function 'foo': [...]/source-gcc/gcc/testsuite/gcc.dg/vect/pr70138-1.c:6:1: error: definition in block 3 follows the use for SSA_NAME: stmp_c_17.9_153 in statement: c_17 = stmp_c_17.9_153 + stmp_c_17.9_154; during GIMPLE pass: vect dump file: ./pr70138-1.c.180t.vect [...]/source-gcc/gcc/testsuite/gcc.dg/vect/pr70138-1.c:6:1: internal compiler error: verify_ssa failed 0x142272d verify_ssa(bool, bool) [...]/source-gcc/gcc/tree-ssa.cc:1203 {+FAIL: gcc.dg/vect/pr70138-2.c (internal compiler error: verify_ssa failed)+} [-PASS:-]{+FAIL:+} gcc.dg/vect/pr70138-2.c (test for excess errors) [-PASS:-]{+UNRESOLVED:+} gcc.dg/vect/pr70138-2.c [-execution test-]{+compilation failed to produce executable+} [...]/source-gcc/gcc/testsuite/gcc.dg/vect/pr70138-2.c: In function 'foo': [...]/source-gcc/gcc/testsuite/gcc.dg/vect/pr70138-2.c:6:1: error: definition in block 3 follows the use for SSA_NAME: stmp_c_15.9_152 in statement: c_15 = stmp_c_15.9_152 + stmp_c_15.9_153; during GIMPLE pass: vect dump file: ./pr70138-2.c.180t.vect [...]/source-gcc/gcc/testsuite/gcc.dg/vect/pr70138-2.c:6:1: internal compiler error: verify_ssa failed 0x142272d verify_ssa(bool, bool) [...]/source-gcc/gcc/tree-ssa.cc:1203