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).