[Bug middle-end/56729] New: [4.9 Regression] ICE in df_insn_delete

[Bug middle-end/56729] New: [4.9 Regression] ICE in df_insn_delete

[dje at gcc dot gnu.org]

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

             Bug #: 56729
           Summary: [4.9 Regression] ICE in df_insn_delete
    Classification: Unclassified
           Product: gcc
           Version: 4.9.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: dje@gcc.gnu.org


/tmp/20130325/gcc/xgcc -B/tmp/20130325/gcc/
/nasfarm/dje/src/src/gcc/testsuite/c-c++-common/torture/vshuf-v2di.c 
-fno-diagnostics-show-caret -O1 -S  -o vshuf-v2di.s
In file included from
/nasfarm/dje/src/src/gcc/testsuite/c-c++-common/torture/vshuf-v2di.c:15:0:
/nasfarm/dje/src/src/gcc/testsuite/c-c++-common/torture/vshuf-main.inc: In
function 'main':
/nasfarm/dje/src/src/gcc/testsuite/c-c++-common/torture/vshuf-main.inc:26:1:
internal compiler error: in df_insn_delete, at df-scan.c:1162

[Bug middle-end/56729] [4.9 Regression] ICE in df_insn_delete

[dje at gcc dot gnu.org]

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

David Edelsohn <dje at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|                            |powerpc*-*-*
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2013-03-25
                 CC|                            |steven at gcc dot gnu.org
               Host|                            |powerpc*-*-*
     Ever Confirmed|0                           |1
              Build|                            |powerpc*-*-*

--- Comment #1 from David Edelsohn <dje at gcc dot gnu.org> 2013-03-25 21:16:08 UTC ---
Also g++ compilation and
g++.dg/torture/vshuf-v2di.C

These failures appeared after the recent df cleanups.

[Bug middle-end/56729] [4.9 Regression] ICE in df_insn_delete

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.9.0

[Bug middle-end/56729] [4.9 Regression] ICE in df_insn_delete

[ktkachov at gcc dot gnu.org]

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

ktkachov at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ktkachov at gcc dot gnu.org

--- Comment #2 from ktkachov at gcc dot gnu.org 2013-03-26 14:58:07 UTC ---
PR 56738 possible related? Similar ICE on arm-none-eabi

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

[Bug middle-end/56729] [4.9 Regression] ICE in df_insn_delete

[dje at gcc dot gnu.org]

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

--- Comment #3 from David Edelsohn <dje at gcc dot gnu.org> 2013-03-26 18:29:16 UTC ---
The failure only occurs in 32 bit mode and would not have been seen by a
default bootstrap on powerpc64-linux that did not run the testsuite in 32 bit
mode.

$ ./xgcc -B./ -O1 -m32
/home/dje/src/gcc/gcc/testsuite/c-c++-common/torture/vshuf-v2di.c 
In file included from
/home/dje/src/gcc/gcc/testsuite/c-c++-common/torture/vshuf-v2di.c:15:0:
/home/dje/src/gcc/gcc/testsuite/c-c++-common/torture/vshuf-main.inc: In
function ‘main’:
/home/dje/src/gcc/gcc/testsuite/c-c++-common/torture/vshuf-main.inc:26:1:
internal compiler error: in df_insn_delete, at df-scan.c:1162
 }
 ^
0x1029cabb df_insn_delete(rtx_def*)
    /home/dje/src/gcc/gcc/df-scan.c:1162
0x1030d4b7 remove_insn(rtx_def*)
    /home/dje/src/gcc/gcc/emit-rtl.c:3972
0x102490b3 delete_insn(rtx_def*)
    /home/dje/src/gcc/gcc/cfgrtl.c:167
0x10af3c33 resolve_simple_move
    /home/dje/src/gcc/gcc/lower-subreg.c:1072
0x10af3a83 resolve_simple_move
    /home/dje/src/gcc/gcc/lower-subreg.c:923
0x10af4ca7 decompose_multiword_subregs
    /home/dje/src/gcc/gcc/lower-subreg.c:1563
0x10af57a3 rest_of_handle_lower_subreg2
    /home/dje/src/gcc/gcc/lower-subreg.c:1682
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.
>From gcc-bugs-return-418497-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org Tue Mar 26 18:46:32 2013
Return-Path: <gcc-bugs-return-418497-listarch-gcc-bugs=gcc.gnu.org@gcc.gnu.org>
Delivered-To: listarch-gcc-bugs@gcc.gnu.org
Received: (qmail 7998 invoked by alias); 26 Mar 2013 18:46:31 -0000
Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Id: <gcc-bugs.gcc.gnu.org>
List-Archive: <http://gcc.gnu.org/ml/gcc-bugs/>
List-Post: <mailto:gcc-bugs@gcc.gnu.org>
List-Help: <mailto:gcc-bugs-help@gcc.gnu.org>
Sender: gcc-bugs-owner@gcc.gnu.org
Delivered-To: mailing list gcc-bugs@gcc.gnu.org
Received: (qmail 7966 invoked by uid 48); 26 Mar 2013 18:46:26 -0000
From: "uran238 at web dot de" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug lto/56700] Optimizing at compile and link result in different binary size than only optimizing at link time
Date: Tue, 26 Mar 2013 18:46:00 -0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: lto
X-Bugzilla-Keywords:
X-Bugzilla-Severity: normal
X-Bugzilla-Who: uran238 at web dot de
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Changed-Fields: Status Resolution
Message-ID: <bug-56700-4-NOyYF4CiXr@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-56700-4@http.gcc.gnu.org/bugzilla/>
References: <bug-56700-4@http.gcc.gnu.org/bugzilla/>
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
Content-Type: text/plain; charset="UTF-8"
MIME-Version: 1.0
X-SW-Source: 2013-03/txt/msg01938.txt.bz2
Content-length: 1430


http://gcc.gnu.org/bugzilla/show_bug.cgi?idV700

uran238 at web dot de changed:

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

--- Comment #2 from uran238 at web dot de 2013-03-26 18:46:25 UTC ---
> where did you get this info from?

>From the man page:

<snip>
The only important thing to keep in mind is that to enable link-time
optimizations the -flto flag needs to be passed to both the compile and the
link commands.
[...]
Additionally, the optimization flags used to compile individual files are not
necessarily related to those used at link time. For instance,



        gcc -c -O0 -flto foo.c
        gcc -c -O0 -flto bar.c
        gcc -o myprog -flto -O3 foo.o bar.o



 This produces individual object files with unoptimized assembler code, but the
resulting binary myprog is optimized at -O3. If, instead, the final binary is
generated without -flto, then myprog is not optimized.
</snip>

Misleading at best.
If "the resulting binary" "is optimized at -O3", but that's not the same as
optimizing the individual object files and the resulting binary at -O3, that's
definitely worth mentioning.
Please clarify that in the man page. It's not just me who concluded that wrong.

[Bug middle-end/56729] [4.9 Regression] ICE in df_insn_delete

[steven at gcc dot gnu.org]

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

Steven Bosscher <steven at gcc dot gnu.org> changed:

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

--- Comment #4 from Steven Bosscher <steven at gcc dot gnu.org> 2013-03-26 22:01:05 UTC ---
mine

[Bug middle-end/56729] [4.9 Regression] ICE in df_insn_delete

[steven at gcc dot gnu.org]

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

--- Comment #5 from Steven Bosscher <steven at gcc dot gnu.org> 2013-03-27 23:45:30 UTC ---
Bah.

Index: df-scan.c
===================================================================
--- df-scan.c   (revision 197180)
+++ df-scan.c   (working copy)
@@ -1158,8 +1158,17 @@ df_insn_delete (rtx insn)
      In any case, we expect BB to be non-NULL at least up to register
      allocation, so disallow a non-NULL BB up to there.  Not perfect
      but better than nothing...  */
-
+  /* ??? bb can also be NULL if lower-subreg.c:resolve_simple_mov emits
+     an insn into a sequence and then does delete_insn on it.  Not sure
+     if that makes sense, but for now it means this assert cannot work.
+     See PR56738.
+     Disable for now but revisit before the end of GCC 4.9 stage1.  */
+#if 0
   gcc_checking_assert (bb != NULL || reload_completed);
+#else
+  if (bb == NULL)
+    return;
+#endif

   df_grow_bb_info (df_scan);
   df_grow_reg_info ();

[Bug middle-end/56729] [4.9 Regression] ICE in df_insn_delete

[steven at gcc dot gnu.org]

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

--- Comment #6 from Steven Bosscher <steven at gcc dot gnu.org> 2013-04-16 19:48:53 UTC ---
r197942 should have fixed this properly.
I'm testing powerpc64 unix/-m32 to confirm.

[Bug middle-end/56729] [4.9 Regression] ICE in df_insn_delete

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #7 from Richard Biener <rguenth at gcc dot gnu.org> ---
Assuming fixed.