[Bug rtl-optimization/47036] New: [4.6 Regression] ICE: in move_cond_jump, at sel-sched.c:4901 with -fschedule-insns -fselective-scheduling -fno-dce

[Bug rtl-optimization/47036] New: [4.6 Regression] ICE: in move_cond_jump, at sel-sched.c:4901 with -fschedule-insns -fselective-scheduling -fno-dce

[zsojka at seznam dot cz]

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

           Summary: [4.6 Regression] ICE: in move_cond_jump, at
                    sel-sched.c:4901 with -fschedule-insns
                    -fselective-scheduling -fno-dce
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz
                CC: amonakov@gcc.gnu.org
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu


This is very similiar to PR46649, it just needs further -fno-dce.
Testcase is the same, g++.dg/parse/break-in-for.C, or
http://gcc.gnu.org/bugzilla/attachment.cgi?id=22522

Compiler output:
$ gcc -fschedule-insns -fselective-scheduling -fno-dce break-in-for.C 
break-in-for.C: In function 'void foo()':
break-in-for.C:11:1: internal compiler error: in move_cond_jump, at
sel-sched.c:4901
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Tested revisions:
r168097 - crash
4.5 r168062 - OK

[Bug rtl-optimization/47036] [4.6 Regression] ICE: in move_cond_jump, at sel-sched.c:4901 with -fschedule-insns -fselective-scheduling -fno-dce

[amonakov at gcc dot gnu.org]

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

Alexander Monakov <amonakov at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2010.12.22 14:32:58
         AssignedTo|unassigned at gcc dot       |amonakov at gcc dot gnu.org
                   |gnu.org                     |
     Ever Confirmed|0                           |1

--- Comment #1 from Alexander Monakov <amonakov at gcc dot gnu.org> 2010-12-22 14:32:58 UTC ---
Untested patch.  I wonder if it has any effect on code generation (it
shouldn't; I don't see how we handle moving of unconditional jumps).

diff --git a/gcc/sel-sched-ir.c b/gcc/sel-sched-ir.c
index 468dfd7..de40ba0 100644
--- a/gcc/sel-sched-ir.c
+++ b/gcc/sel-sched-ir.c
@@ -4441,9 +4441,6 @@ fallthru_bb_of_jump (rtx jump)
   if (!JUMP_P (jump))
     return NULL;

-  if (any_uncondjump_p (jump))
-    return single_succ (BLOCK_FOR_INSN (jump));
-
   if (!any_condjump_p (jump))
     return NULL;

[Bug rtl-optimization/47036] [4.6 Regression] ICE: in move_cond_jump, at sel-sched.c:4901 with -fschedule-insns -fselective-scheduling -fno-dce

[amonakov at gcc dot gnu.org]

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

--- Comment #2 from Alexander Monakov <amonakov at gcc dot gnu.org> 2010-12-24 14:19:26 UTC ---
Author: amonakov
Date: Fri Dec 24 14:19:23 2010
New Revision: 168225

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=168225
Log:
    PR rtl-optimization/47036
    * sel-sched-ir.c (fallthru_bb_of_jump): Remove special support for
    unconditional jumps.
    * sel-sched.c (moveup_expr): Ditto.

testsuite:
    * g++.dg/opt/pr47036.C: New.


Added:
    trunk/gcc/testsuite/g++.dg/opt/pr47036.C
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/sel-sched-ir.c
    trunk/gcc/sel-sched.c
    trunk/gcc/testsuite/ChangeLog

[Bug rtl-optimization/47036] [4.6 Regression] ICE: in move_cond_jump, at sel-sched.c:4901 with -fschedule-insns -fselective-scheduling -fno-dce

[amonakov at gcc dot gnu.org]

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

Alexander Monakov <amonakov at gcc dot gnu.org> changed:

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

--- Comment #3 from Alexander Monakov <amonakov at gcc dot gnu.org> 2010-12-24 14:20:29 UTC ---
Fixed.

[Bug rtl-optimization/47036] [4.6 Regression] ICE: in move_cond_jump, at sel-sched.c:4901 with -fschedule-insns -fselective-scheduling -fno-dce

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.6.0

[Bug rtl-optimization/47036] [4.6 Regression] ICE: in move_cond_jump, at sel-sched.c:4901 with -fschedule-insns -fselective-scheduling -fno-dce

[abel at gcc dot gnu.org]

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

--- Comment #4 from Andrey Belevantsev <abel at gcc dot gnu.org> 2011-04-07 07:02:40 UTC ---
Author: abel
Date: Thu Apr  7 07:02:34 2011
New Revision: 172087

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=172087
Log:
        Backport from mainline
        2010-12-24  Alexander Monakov  <amonakov@ispras.ru>

        PR rtl-optimization/47036
        * sel-sched-ir.c (fallthru_bb_of_jump): Remove special support for
        unconditional jumps.
        * sel-sched.c (moveup_expr): Ditto.


Added:
    branches/gcc-4_5-branch/gcc/testsuite/g++.dg/opt/pr47036.C
Modified:
    branches/gcc-4_5-branch/gcc/ChangeLog
    branches/gcc-4_5-branch/gcc/sel-sched-ir.c
    branches/gcc-4_5-branch/gcc/sel-sched.c
    branches/gcc-4_5-branch/gcc/testsuite/ChangeLog