[Bug rtl-optimization/54127] New: [4.7] ICE in maybe_record_trace_start with asm goto, --target=powerpc-unknown-linux-gnu

[Bug rtl-optimization/54127] New: [4.7] ICE in maybe_record_trace_start with asm goto, --target=powerpc-unknown-linux-gnu

[simonb at google dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54127

             Bug #: 54127
           Summary: [4.7] ICE in maybe_record_trace_start with asm goto,
                    --target=powerpc-unknown-linux-gnu
    Classification: Unclassified
           Product: gcc
           Version: 4.7.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: simonb@google.com


gcc.dg/torture/pr53589.c fails in gcc-4_7-branch at r189949 with
--target=powerpc-unknown-linux-gnu.  I haven't yet checked 4.8.

Repro, using a cross-gcc hosted on x86_64:

  configure \
  --enable-languages=c \
  --build=x86_64-unknown-linux-gnu --host=x86_64-unknown-linux-gnu \
  --target=powerpc-unknown-linux-gnu

  make -j6 all-gcc
  make RUNTESTFLAGS='dg-torture.exp=pr53589.c' check-gcc

...
FAIL: gcc.dg/torture/pr53589.c  -O3 -g  (internal compiler error)
...
.../gcc/testsuite/gcc.dg/torture/pr53589.c: In function 'bar':
.../gcc/testsuite/gcc.dg/torture/pr53589.c:15:1: internal compiler error: in
maybe_record_trace_start, at dwarf2cfi.c:2197

[Bug rtl-optimization/54127] [4.7/4.8 Regression] ICE in maybe_record_trace_start with asm goto, --target=powerpc-unknown-linux-gnu

[dominiq at lps dot ens.fr]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54127

Dominique d'Humieres <dominiq at lps dot ens.fr> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|                            |powerpc*-*-*
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2012-09-16
                 CC|                            |jakub at gcc dot gnu.org
            Summary|[4.7] ICE in                |[4.7/4.8 Regression] ICE in
                   |maybe_record_trace_start    |maybe_record_trace_start
                   |with asm goto,              |with asm goto,
                   |--target=powerpc-unknown-li |--target=powerpc-unknown-li
                   |nux-gnu                     |nux-gnu
     Ever Confirmed|0                           |1

--- Comment #1 from Dominique d'Humieres <dominiq at lps dot ens.fr> 2012-09-16 17:46:33 UTC ---
Confirmed on 4.8 (see
http://gcc.gnu.org/ml/gcc-testresults/2012-09/msg01501.html).

The test has been added for 4.8 by

Author: jakub
Date: Tue Jun 12 07:52:47 2012
New Revision: 188428

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=188428
Log:
    PR rtl-optimization/53589
    * cfgrtl.c (force_nonfallthru_and_redirect): Do asm_goto_edge
    discovery even when e->dest != target.  If any LABEL_REF points
    to e->dest label, redirect it to target's label.

    * gcc.dg/torture/pr53589.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr53589.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/cfgrtl.c
    trunk/gcc/testsuite/ChangeLog

and for 4.7 by

Date: Thu Jun 14 17:49:49 2012
New Revision: 188626

The test compiles with 4.6.3, so marked as 4.7/4.8 regression.

[Bug rtl-optimization/54127] [4.7/4.8 Regression] ICE in maybe_record_trace_start with asm goto, --target=powerpc-unknown-linux-gnu

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54127

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.7.2

[Bug rtl-optimization/54127] [4.7/4.8 Regression] ICE in maybe_record_trace_start with asm goto, --target=powerpc-unknown-linux-gnu

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54127

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.7.2                       |4.7.3

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-09-20 10:15:46 UTC ---
GCC 4.7.2 has been released.

[Bug rtl-optimization/54127] [4.7/4.8 Regression] ICE in maybe_record_trace_start with asm goto, --target=powerpc-unknown-linux-gnu

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54127

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |jakub at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-11-12 10:18:24 UTC ---
Created attachment 28667
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28667
gcc48-pr54127.patch

Untested fix.

[Bug rtl-optimization/54127] [4.7/4.8 Regression] ICE in maybe_record_trace_start with asm goto, --target=powerpc-unknown-linux-gnu

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54127

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-11-13 07:23:56 UTC ---
Author: jakub
Date: Tue Nov 13 07:23:51 2012
New Revision: 193470

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=193470
Log:
    PR rtl-optimization/54127
    * cfgrtl.c (force_nonfallthru_and_redirect): When redirecting
    asm goto labels from BB_HEAD (e->dest) to target bb, decrement
    LABEL_NUSES of BB_HEAD (e->dest) and increment LABEL_NUSES of
    BB_HEAD (target) appropriately and adjust JUMP_LABEL and/or
    REG_LABEL_TARGET and REG_LABEL_OPERAND.

    * gcc.dg/torture/pr54127.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/torture/pr54127.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/cfgrtl.c
    trunk/gcc/testsuite/ChangeLog

[Bug rtl-optimization/54127] [4.7 Regression] ICE in maybe_record_trace_start with asm goto, --target=powerpc-unknown-linux-gnu

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54127

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[4.7/4.8 Regression] ICE in |[4.7 Regression] ICE in
                   |maybe_record_trace_start    |maybe_record_trace_start
                   |with asm goto,              |with asm goto,
                   |--target=powerpc-unknown-li |--target=powerpc-unknown-li
                   |nux-gnu                     |nux-gnu

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-11-13 07:45:04 UTC ---
FIxed on the trunk so far.

[Bug rtl-optimization/54127] [4.7 Regression] ICE in maybe_record_trace_start with asm goto, --target=powerpc-unknown-linux-gnu

[rguenth at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54127

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2

[Bug rtl-optimization/54127] [4.7 Regression] ICE in maybe_record_trace_start with asm goto, --target=powerpc-unknown-linux-gnu

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54127

--- Comment #6 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-02-01 13:57:51 UTC ---
Author: jakub
Date: Fri Feb  1 13:57:46 2013
New Revision: 195648

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=195648
Log:
    Backported from mainline
    2012-11-13  Jakub Jelinek  <jakub@redhat.com>

    PR rtl-optimization/54127
    * cfgrtl.c (force_nonfallthru_and_redirect): When redirecting
    asm goto labels from BB_HEAD (e->dest) to target bb, decrement
    LABEL_NUSES of BB_HEAD (e->dest) and increment LABEL_NUSES of
    BB_HEAD (target) appropriately and adjust JUMP_LABEL and/or
    REG_LABEL_TARGET and REG_LABEL_OPERAND.

    * gcc.dg/torture/pr54127.c: New test.

Added:
    branches/gcc-4_7-branch/gcc/testsuite/gcc.dg/torture/pr54127.c
Modified:
    branches/gcc-4_7-branch/gcc/ChangeLog
    branches/gcc-4_7-branch/gcc/cfgrtl.c
    branches/gcc-4_7-branch/gcc/testsuite/ChangeLog

[Bug rtl-optimization/54127] [4.7 Regression] ICE in maybe_record_trace_start with asm goto, --target=powerpc-unknown-linux-gnu

[jakub at gcc dot gnu.org]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=54127

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

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

--- Comment #7 from Jakub Jelinek <jakub at gcc dot gnu.org> 2013-02-01 14:23:19 UTC ---
Fixed.