public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug target/108274] New: [13 Regression] ICE with in df_refs_verify during arm_reorg pass with -fipa-icf
@ 2023-01-03 16:09 acoplan at gcc dot gnu.org
2023-01-04 9:31 ` [Bug target/108274] [13 Regression] ICE " acoplan at gcc dot gnu.org
` (6 more replies)
0 siblings, 7 replies; 8+ messages in thread
From: acoplan at gcc dot gnu.org @ 2023-01-03 16:09 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108274
Bug ID: 108274
Summary: [13 Regression] ICE with in df_refs_verify during
arm_reorg pass with -fipa-icf
Product: gcc
Version: 13.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: target
Assignee: unassigned at gcc dot gnu.org
Reporter: acoplan at gcc dot gnu.org
Target Milestone: ---
The following (reduced from g++.dg/ipa/pr64146.C) fails:
$ gcc/xgcc -B gcc -v
Reading specs from gcc/specs
COLLECT_GCC=gcc/xgcc
COLLECT_LTO_WRAPPER=gcc/lto-wrapper
Target: arm-eabi
Configured with: /home/alecop01/toolchain/src/gcc/configure
--prefix=/data_sdb/toolchain/cc1s/arm --enable-languages=c,c++
--disable-bootstrap --target=arm-eabi
Thread model: single
Supported LTO compression algorithms: zlib
gcc version 13.0.0 20230103 (experimental) (GCC)
$ cat t.c
const char *f() { return ""; }
const char *g() { return ""; }
$ gcc/xgcc -B gcc -c t.c -fipa-icf -march=armv8-a -mthumb
during RTL pass: mach
t.c: In function ‘g’:
t.c:2:13: internal compiler error: in df_refs_verify, at df-scan.cc:4009
2 | const char *g() { return ""; }
| ^
0x8d84cf df_refs_verify
/home/alecop01/toolchain/src/gcc/gcc/df-scan.cc:4009
0x8dd84b df_insn_refs_verify
/home/alecop01/toolchain/src/gcc/gcc/df-scan.cc:4088
0x8dddce df_bb_verify
/home/alecop01/toolchain/src/gcc/gcc/df-scan.cc:4125
0x8e1687 df_scan_verify()
/home/alecop01/toolchain/src/gcc/gcc/df-scan.cc:4246
0x8cac74 df_verify()
/home/alecop01/toolchain/src/gcc/gcc/df-core.cc:1818
0x8cac74 df_analyze_1
/home/alecop01/toolchain/src/gcc/gcc/df-core.cc:1214
0x1217a40 thumb2_reorg
/home/alecop01/toolchain/src/gcc/gcc/config/arm/arm.cc:19227
0x1217a40 arm_reorg
/home/alecop01/toolchain/src/gcc/gcc/config/arm/arm.cc:19446
0xd5dc39 execute
/home/alecop01/toolchain/src/gcc/gcc/reorg.cc:3927
Please submit a full bug report, with preprocessed source (by using
-freport-bug).
Please include the complete backtrace with any bug report.
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug target/108274] [13 Regression] ICE in df_refs_verify during arm_reorg pass with -fipa-icf
2023-01-03 16:09 [Bug target/108274] New: [13 Regression] ICE with in df_refs_verify during arm_reorg pass with -fipa-icf acoplan at gcc dot gnu.org
@ 2023-01-04 9:31 ` acoplan at gcc dot gnu.org
2023-01-04 10:14 ` ebotcazou at gcc dot gnu.org
` (5 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: acoplan at gcc dot gnu.org @ 2023-01-04 9:31 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108274
Alex Coplan <acoplan at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |ebotcazou at gcc dot gnu.org
--- Comment #1 from Alex Coplan <acoplan at gcc dot gnu.org> ---
Started with r13-3156-g7b8a77eba5efbc6d9556f026774fa1447675602c
commit 7b8a77eba5efbc6d9556f026774fa1447675602c
Author: Eric Botcazou <ebotcazou@adacore.com>
Date: Fri Oct 7 11:14:30 2022
Reduce DF computation at -O0
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug target/108274] [13 Regression] ICE in df_refs_verify during arm_reorg pass with -fipa-icf
2023-01-03 16:09 [Bug target/108274] New: [13 Regression] ICE with in df_refs_verify during arm_reorg pass with -fipa-icf acoplan at gcc dot gnu.org
2023-01-04 9:31 ` [Bug target/108274] [13 Regression] ICE " acoplan at gcc dot gnu.org
@ 2023-01-04 10:14 ` ebotcazou at gcc dot gnu.org
2023-01-04 10:14 ` ebotcazou at gcc dot gnu.org
` (4 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: ebotcazou at gcc dot gnu.org @ 2023-01-04 10:14 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108274
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Ever confirmed|0 |1
Status|UNCONFIRMED |NEW
Last reconfirmed| |2023-01-04
--- Comment #2 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
I guess that -fipa-icf somehow synthesizes a tail call even at -O0.
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug target/108274] [13 Regression] ICE in df_refs_verify during arm_reorg pass with -fipa-icf
2023-01-03 16:09 [Bug target/108274] New: [13 Regression] ICE with in df_refs_verify during arm_reorg pass with -fipa-icf acoplan at gcc dot gnu.org
2023-01-04 9:31 ` [Bug target/108274] [13 Regression] ICE " acoplan at gcc dot gnu.org
2023-01-04 10:14 ` ebotcazou at gcc dot gnu.org
@ 2023-01-04 10:14 ` ebotcazou at gcc dot gnu.org
2023-01-09 14:15 ` rguenth at gcc dot gnu.org
` (3 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: ebotcazou at gcc dot gnu.org @ 2023-01-04 10:14 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108274
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Assignee|unassigned at gcc dot gnu.org |ebotcazou at gcc dot gnu.org
--- Comment #3 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Investigating.
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug target/108274] [13 Regression] ICE in df_refs_verify during arm_reorg pass with -fipa-icf
2023-01-03 16:09 [Bug target/108274] New: [13 Regression] ICE with in df_refs_verify during arm_reorg pass with -fipa-icf acoplan at gcc dot gnu.org
` (2 preceding siblings ...)
2023-01-04 10:14 ` ebotcazou at gcc dot gnu.org
@ 2023-01-09 14:15 ` rguenth at gcc dot gnu.org
2023-01-13 12:50 ` [Bug rtl-optimization/108274] " rguenth at gcc dot gnu.org
` (2 subsequent siblings)
6 siblings, 0 replies; 8+ messages in thread
From: rguenth at gcc dot gnu.org @ 2023-01-09 14:15 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108274
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |13.0
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug rtl-optimization/108274] [13 Regression] ICE in df_refs_verify during arm_reorg pass with -fipa-icf
2023-01-03 16:09 [Bug target/108274] New: [13 Regression] ICE with in df_refs_verify during arm_reorg pass with -fipa-icf acoplan at gcc dot gnu.org
` (3 preceding siblings ...)
2023-01-09 14:15 ` rguenth at gcc dot gnu.org
@ 2023-01-13 12:50 ` rguenth at gcc dot gnu.org
2023-01-13 21:15 ` cvs-commit at gcc dot gnu.org
2023-01-13 21:16 ` ebotcazou at gcc dot gnu.org
6 siblings, 0 replies; 8+ messages in thread
From: rguenth at gcc dot gnu.org @ 2023-01-13 12:50 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108274
Richard Biener <rguenth at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Priority|P3 |P1
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug rtl-optimization/108274] [13 Regression] ICE in df_refs_verify during arm_reorg pass with -fipa-icf
2023-01-03 16:09 [Bug target/108274] New: [13 Regression] ICE with in df_refs_verify during arm_reorg pass with -fipa-icf acoplan at gcc dot gnu.org
` (4 preceding siblings ...)
2023-01-13 12:50 ` [Bug rtl-optimization/108274] " rguenth at gcc dot gnu.org
@ 2023-01-13 21:15 ` cvs-commit at gcc dot gnu.org
2023-01-13 21:16 ` ebotcazou at gcc dot gnu.org
6 siblings, 0 replies; 8+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2023-01-13 21:15 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108274
--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Eric Botcazou <ebotcazou@gcc.gnu.org>:
https://gcc.gnu.org/g:4fa6845b4b29f33cc7ea3d8ff49b61bb1f460561
commit r13-5157-g4fa6845b4b29f33cc7ea3d8ff49b61bb1f460561
Author: Eric Botcazou <ebotcazou@adacore.com>
Date: Fri Jan 13 22:05:28 2023 +0100
Fix PR rtl-optimization/108274
Unlike other IPA passes, the ICF pass can be run at -O0 and some testcases
rely on this in the testsuite. Now it effectively creates a tail call so
the DF information needs be updated in this case after epilogue creation.
gcc/
PR rtl-optimization/108274
* function.cc (thread_prologue_and_epilogue_insns): Also update the
DF information for calls in a few more cases.
^ permalink raw reply [flat|nested] 8+ messages in thread
* [Bug rtl-optimization/108274] [13 Regression] ICE in df_refs_verify during arm_reorg pass with -fipa-icf
2023-01-03 16:09 [Bug target/108274] New: [13 Regression] ICE with in df_refs_verify during arm_reorg pass with -fipa-icf acoplan at gcc dot gnu.org
` (5 preceding siblings ...)
2023-01-13 21:15 ` cvs-commit at gcc dot gnu.org
@ 2023-01-13 21:16 ` ebotcazou at gcc dot gnu.org
6 siblings, 0 replies; 8+ messages in thread
From: ebotcazou at gcc dot gnu.org @ 2023-01-13 21:16 UTC (permalink / raw)
To: gcc-bugs
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108274
Eric Botcazou <ebotcazou at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution|--- |FIXED
--- Comment #5 from Eric Botcazou <ebotcazou at gcc dot gnu.org> ---
Thanks for reporting the problem.
^ permalink raw reply [flat|nested] 8+ messages in thread
end of thread, other threads:[~2023-01-13 21:16 UTC | newest]
Thread overview: 8+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2023-01-03 16:09 [Bug target/108274] New: [13 Regression] ICE with in df_refs_verify during arm_reorg pass with -fipa-icf acoplan at gcc dot gnu.org
2023-01-04 9:31 ` [Bug target/108274] [13 Regression] ICE " acoplan at gcc dot gnu.org
2023-01-04 10:14 ` ebotcazou at gcc dot gnu.org
2023-01-04 10:14 ` ebotcazou at gcc dot gnu.org
2023-01-09 14:15 ` rguenth at gcc dot gnu.org
2023-01-13 12:50 ` [Bug rtl-optimization/108274] " rguenth at gcc dot gnu.org
2023-01-13 21:15 ` cvs-commit at gcc dot gnu.org
2023-01-13 21:16 ` ebotcazou at gcc dot gnu.org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).