https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109848
Bug ID: 109848
Summary: [14 Regression] Recent change causing testsuite ICE on
csky port
Product: gcc
Version: 14.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: tree-optimization
Assignee: unassigned at gcc dot gnu.org
Reporter: law at gcc dot gnu.org
Target Milestone: ---
This patch:
commit cc0e22b3f25d4b2a326322bce711179c02377e6c
Author: Richard Biener <rguent...@suse.de>
Date: Fri May 12 13:43:27 2023 +0200
tree-optimization/64731 - extend store-from CTOR lowering to TARGET_MEM_REF
The following also covers TARGET_MEM_REF when decomposing stores from
CTORs to supported elementwise operations. This avoids spilling
and cleans up after vector lowering which doesn't touch loads or
stores. It also mimics what we already do for loads.
PR tree-optimization/64731
* tree-ssa-forwprop.cc (pass_forwprop::execute): Also
handle TARGET_MEM_REF destinations of stores from vector
CTORs.
* gcc.target/i386/pr64731.c: New testcase.
Is causing the csky port to abort in forwprop with an verify_ssa failure
FAIL: gcc.dg/torture/pr52407.c -O2 (internal compiler error: verify_ssa
failed)
FAIL: gcc.dg/torture/pr52407.c -O2 (test for excess errors)
Excess errors:
/home/jlaw/test/gcc/gcc/testsuite/gcc.dg/torture/pr52407.c:22:1: error:
definition in block 3 follows the use
for SSA_NAME: _38 in statement:
_24 = &MEM[(vl_t *)_38];
during GIMPLE pass: forwprop
/home/jlaw/test/gcc/gcc/testsuite/gcc.dg/torture/pr52407.c:22:1: internal
compiler error: verify_ssa failed
0x11a93bf verify_ssa(bool, bool)
/home/jlaw/test/gcc/gcc/tree-ssa.cc:1203
0xe5f8a5 execute_function_todo
/home/jlaw/test/gcc/gcc/passes.cc:2105
0xe5e4de do_per_function
/home/jlaw/test/gcc/gcc/passes.cc:1694
0xe5fa4e execute_todo
/home/jlaw/test/gcc/gcc/passes.cc:2152
Testsuite is gcc.dg/torture/pr52407 can can be seen with just a cross compiler.
