public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug target/97870] New: [11 Regression] ICE: verify_flow_info failed (error: too many outgoing branch edges from bb 2)
@ 2020-11-17  7:01 asolokha at gmx dot com
  2020-11-17  7:21 ` [Bug target/97870] " rguenth at gcc dot gnu.org
                   ` (4 more replies)
  0 siblings, 5 replies; 6+ messages in thread
From: asolokha at gmx dot com @ 2020-11-17  7:01 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97870

            Bug ID: 97870
           Summary: [11 Regression] ICE: verify_flow_info failed (error:
                    too many outgoing branch edges from bb 2)
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Keywords: error-recovery
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---
            Target: powerpc-*-linux-gnu

gcc-11.0.0-alpha20201115 snapshot (g:c746fc40f4ec8cfc1092efd49d567751858d2099)
ICEs when compiling gcc/testsuite/gcc.c-torture/compile/asmgoto-3.c:

% powerpc-e300c3-linux-gnu-gcc-11.0.0 -c
gcc/testsuite/gcc.c-torture/compile/asmgoto-3.c
gcc/testsuite/gcc.c-torture/compile/asmgoto-3.c: In function 'foo2':
gcc/testsuite/gcc.c-torture/compile/asmgoto-3.c:18:3: error: inconsistent
operand constraints in an 'asm'
   18 |   asm goto ("": "=a" (x), "=d" (y) : : : lab, lab2);
      |   ^~~
gcc/testsuite/gcc.c-torture/compile/asmgoto-3.c:23:1: error: too many outgoing
branch edges from bb 2
   23 | }
      | ^
during RTL pass: pro_and_epilogue
gcc/testsuite/gcc.c-torture/compile/asmgoto-3.c:23:1: internal compiler error:
verify_flow_info failed
0x941381 verify_flow_info()
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-11.0.0_alpha20201115/work/gcc-11-20201115/gcc/cfghooks.c:269
0x959a2d checking_verify_flow_info
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-11.0.0_alpha20201115/work/gcc-11-20201115/gcc/cfghooks.h:212
0x959a2d commit_edge_insertions()
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-11.0.0_alpha20201115/work/gcc-11-20201115/gcc/cfgrtl.c:2114
0xace414 thread_prologue_and_epilogue_insns()
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-11.0.0_alpha20201115/work/gcc-11-20201115/gcc/function.c:6074
0xace6a6 rest_of_handle_thread_prologue_and_epilogue
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-11.0.0_alpha20201115/work/gcc-11-20201115/gcc/function.c:6500
0xace6a6 execute
       
/var/tmp/portage/cross-powerpc-e300c3-linux-gnu/gcc-11.0.0_alpha20201115/work/gcc-11-20201115/gcc/function.c:6576

^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug target/97870] [11 Regression] ICE: verify_flow_info failed (error: too many outgoing branch edges from bb 2)
  2020-11-17  7:01 [Bug target/97870] New: [11 Regression] ICE: verify_flow_info failed (error: too many outgoing branch edges from bb 2) asolokha at gmx dot com
@ 2020-11-17  7:21 ` rguenth at gcc dot gnu.org
  2020-11-17 20:27 ` vmakarov at gcc dot gnu.org
                   ` (3 subsequent siblings)
  4 siblings, 0 replies; 6+ messages in thread
From: rguenth at gcc dot gnu.org @ 2020-11-17  7:21 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97870

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |11.0
                 CC|                            |vmakarov at gcc dot gnu.org

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
Possibly related to the asm goto enhancements.

^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug target/97870] [11 Regression] ICE: verify_flow_info failed (error: too many outgoing branch edges from bb 2)
  2020-11-17  7:01 [Bug target/97870] New: [11 Regression] ICE: verify_flow_info failed (error: too many outgoing branch edges from bb 2) asolokha at gmx dot com
  2020-11-17  7:21 ` [Bug target/97870] " rguenth at gcc dot gnu.org
@ 2020-11-17 20:27 ` vmakarov at gcc dot gnu.org
  2020-11-18 15:20 ` cvs-commit at gcc dot gnu.org
                   ` (2 subsequent siblings)
  4 siblings, 0 replies; 6+ messages in thread
From: vmakarov at gcc dot gnu.org @ 2020-11-17 20:27 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97870

--- Comment #2 from Vladimir Makarov <vmakarov at gcc dot gnu.org> ---
(In reply to Richard Biener from comment #1)
> Possibly related to the asm goto enhancements.

  This test should work only for x86-64.  Running it on other targets can give
an error.

  So error about inconsistent operand constraints is ok. What is wrong is an
internal compiler error.  The problem is in deleting wrong asm goto in LRA
which results in wrong CFG.

  I've started work on this PR.  The fix will be ready this week.

^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug target/97870] [11 Regression] ICE: verify_flow_info failed (error: too many outgoing branch edges from bb 2)
  2020-11-17  7:01 [Bug target/97870] New: [11 Regression] ICE: verify_flow_info failed (error: too many outgoing branch edges from bb 2) asolokha at gmx dot com
  2020-11-17  7:21 ` [Bug target/97870] " rguenth at gcc dot gnu.org
  2020-11-17 20:27 ` vmakarov at gcc dot gnu.org
@ 2020-11-18 15:20 ` cvs-commit at gcc dot gnu.org
  2020-11-23  4:03 ` asolokha at gmx dot com
  2020-11-23  4:04 ` asolokha at gmx dot com
  4 siblings, 0 replies; 6+ messages in thread
From: cvs-commit at gcc dot gnu.org @ 2020-11-18 15:20 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97870

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Vladimir Makarov <vmakarov@gcc.gnu.org>:

https://gcc.gnu.org/g:2f2709e691148160e4f88090eaf48d3e4915b0e4

commit r11-5131-g2f2709e691148160e4f88090eaf48d3e4915b0e4
Author: Vladimir N. Makarov <vmakarov@redhat.com>
Date:   Wed Nov 18 10:07:56 2020 -0500

    [PR97870] LRA: don't remove asm goto, just nullify it.

    gcc/

    2020-11-18  Vladimir Makarov  <vmakarov@redhat.com>

            PR target/97870
            * lra-constraints.c (curr_insn_transform): Do not delete asm goto
            with wrong constraints.  Nullify it saving CFG.

^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug target/97870] [11 Regression] ICE: verify_flow_info failed (error: too many outgoing branch edges from bb 2)
  2020-11-17  7:01 [Bug target/97870] New: [11 Regression] ICE: verify_flow_info failed (error: too many outgoing branch edges from bb 2) asolokha at gmx dot com
                   ` (2 preceding siblings ...)
  2020-11-18 15:20 ` cvs-commit at gcc dot gnu.org
@ 2020-11-23  4:03 ` asolokha at gmx dot com
  2020-11-23  4:04 ` asolokha at gmx dot com
  4 siblings, 0 replies; 6+ messages in thread
From: asolokha at gmx dot com @ 2020-11-23  4:03 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97870

--- Comment #4 from Arseny Solokha <asolokha at gmx dot com> ---
Fixed.

^ permalink raw reply	[flat|nested] 6+ messages in thread

* [Bug target/97870] [11 Regression] ICE: verify_flow_info failed (error: too many outgoing branch edges from bb 2)
  2020-11-17  7:01 [Bug target/97870] New: [11 Regression] ICE: verify_flow_info failed (error: too many outgoing branch edges from bb 2) asolokha at gmx dot com
                   ` (3 preceding siblings ...)
  2020-11-23  4:03 ` asolokha at gmx dot com
@ 2020-11-23  4:04 ` asolokha at gmx dot com
  4 siblings, 0 replies; 6+ messages in thread
From: asolokha at gmx dot com @ 2020-11-23  4:04 UTC (permalink / raw)
  To: gcc-bugs

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=97870

Arseny Solokha <asolokha at gmx dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         Resolution|---                         |FIXED
             Status|UNCONFIRMED                 |RESOLVED

--- Comment #5 from Arseny Solokha <asolokha at gmx dot com> ---
.

^ permalink raw reply	[flat|nested] 6+ messages in thread

end of thread, other threads:[~2020-11-23  4:04 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-11-17  7:01 [Bug target/97870] New: [11 Regression] ICE: verify_flow_info failed (error: too many outgoing branch edges from bb 2) asolokha at gmx dot com
2020-11-17  7:21 ` [Bug target/97870] " rguenth at gcc dot gnu.org
2020-11-17 20:27 ` vmakarov at gcc dot gnu.org
2020-11-18 15:20 ` cvs-commit at gcc dot gnu.org
2020-11-23  4:03 ` asolokha at gmx dot com
2020-11-23  4:04 ` asolokha at gmx dot com

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