[Bug rtl-optimization/46522] New: ICE: in reset_sched_cycles_in_current_ebb, at sel-sched.c:7092 with -O3 -fsel-sched-pipelining -fselective-scheduling2 -funroll-loops

[Bug rtl-optimization/46522] New: ICE: in reset_sched_cycles_in_current_ebb, at sel-sched.c:7092 with -O3 -fsel-sched-pipelining -fselective-scheduling2 -funroll-loops

[zsojka at seznam dot cz]

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

           Summary: ICE: in reset_sched_cycles_in_current_ebb, at
                    sel-sched.c:7092 with -O3 -fsel-sched-pipelining
                    -fselective-scheduling2 -funroll-loops
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: rtl-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu


Created attachment 22432
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22432
reduced testcase (originally PR45352 comment #19)

I am sorry for the amount of compiler flags, removing any of them causes the
ICE to disappear. Even manual partial inlining, unrolling, loop unswitching,
... either removes the ICE or doesn't allow me to remove further flags.

Flags are either:
-O3 -fkeep-inline-functions -fsel-sched-pipelining -fselective-scheduling2
-funroll-loops
or
-O2 -fkeep-inline-functions -fsel-sched-pipelining -fselective-scheduling2
-funroll-loops -funswitch-loops
or
-O1 -fcse-follow-jumps -fkeep-inline-functions -fpartial-inlining
-freorder-blocks -frerun-cse-after-loop -fschedule-insns2
-fsel-sched-pipelining -fselective-scheduling2 -funroll-loops -funswitch-loops

Compiler output:
$ gcc -O3 -fkeep-inline-functions -fsel-sched-pipelining
-fselective-scheduling2 -funroll-loops pr46522.c
pr46522.c: In function 'foo2':
pr46522.c:30:1: internal compiler error: in reset_sched_cycles_in_current_ebb,
at sel-sched.c:7092
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Tested revisions (for the -O1 case):
r166795 - crash
r165699 - OK
4.5 - doesn't know -fpartial-inlining

[Bug rtl-optimization/46522] ICE: in reset_sched_cycles_in_current_ebb, at sel-sched.c:7092 with -O3 -fsel-sched-pipelining -fselective-scheduling2 -funroll-loops

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2010.11.18 06:20:54
                 CC|                            |abel at gcc dot gnu.org
   Target Milestone|---                         |4.6.0
     Ever Confirmed|0                           |1

--- Comment #1 from H.J. Lu <hjl.tools at gmail dot com> 2010-11-18 06:20:54 UTC ---
It is caused by revision 166429:

http://gcc.gnu.org/ml/gcc-cvs/2010-11/msg00316.html

[Bug rtl-optimization/46522] ICE: in reset_sched_cycles_in_current_ebb, at sel-sched.c:7092 with -O3 -fsel-sched-pipelining -fselective-scheduling2 -funroll-loops

[abel at gcc dot gnu.org]

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

Andrey Belevantsev <abel at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot       |abel at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #2 from Andrey Belevantsev <abel at gcc dot gnu.org> 2010-11-18 14:28:54 UTC ---
I have a patch.

[Bug rtl-optimization/46522] ICE: in reset_sched_cycles_in_current_ebb, at sel-sched.c:7092 with -O3 -fsel-sched-pipelining -fselective-scheduling2 -funroll-loops

[abel at gcc dot gnu.org]

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

Andrey Belevantsev <abel at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED

--- Comment #3 from Andrey Belevantsev <abel at gcc dot gnu.org> 2010-12-21 12:14:04 UTC ---
The patch http://gcc.gnu.org/bugzilla/show_bug.cgi?id=45352#c22 works for me
for this test case, too.

[Bug rtl-optimization/46522] ICE: in reset_sched_cycles_in_current_ebb, at sel-sched.c:7092 with -O3 -fsel-sched-pipelining -fselective-scheduling2 -funroll-loops

[abel at gcc dot gnu.org]

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

--- Comment #4 from Andrey Belevantsev <abel at gcc dot gnu.org> 2010-12-22 07:46:57 UTC ---
Author: abel
Date: Wed Dec 22 07:46:53 2010
New Revision: 168164

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=168164
Log:
    PR rtl-optimization/45352
    PR rtl-optimization/46521
    PR rtl-optimization/46522
    * sel-sched.c (reset_sched_cycles_in_current_ebb): Recheck the DFA state
    on the last iteration of the advancing loop.
    (sel_sched_region_1): Propagate the rescheduling bit to the next block
    also for empty blocks.

    * gcc.dg/pr46521.c: New.
    * gcc.dg/pr46522.c: New. 

Added:
    trunk/gcc/testsuite/gcc.dg/pr46521.c
    trunk/gcc/testsuite/gcc.dg/pr46522.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/sel-sched.c
    trunk/gcc/testsuite/ChangeLog

[Bug rtl-optimization/46522] ICE: in reset_sched_cycles_in_current_ebb, at sel-sched.c:7092 with -O3 -fsel-sched-pipelining -fselective-scheduling2 -funroll-loops

[abel at gcc dot gnu.org]

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

Andrey Belevantsev <abel at gcc dot gnu.org> changed:

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

--- Comment #5 from Andrey Belevantsev <abel at gcc dot gnu.org> 2011-01-13 09:35:20 UTC ---
Remaining problems are fixed by 168742.

[Bug rtl-optimization/46522] ICE: in reset_sched_cycles_in_current_ebb, at sel-sched.c:7092 with -O3 -fsel-sched-pipelining -fselective-scheduling2 -funroll-loops

[abel at gcc dot gnu.org]

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

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

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=172088
Log:
        Backport from mainline
        2011-01-13  Andrey Belevantsev  <abel@ispras.ru>

        PR rtl-optimization/45352
        * sel-sched.c: Update copyright years.
        (reset_sched_cycles_in_current_ebb): Also recheck the DFA state
        in the advancing loop when we have issued issue_rate insns.

        Backport from mainline
        2010-12-22  Andrey Belevantsev  <abel@ispras.ru>

        PR rtl-optimization/45352
        PR rtl-optimization/46521
        PR rtl-optimization/46522
        * sel-sched.c (reset_sched_cycles_in_current_ebb): Recheck the DFA
state
        on the last iteration of the advancing loop.
        (sel_sched_region_1): Propagate the rescheduling bit to the next block
        also for empty blocks.

        Backport from mainline
        2010-11-08  Andrey Belevantsev  <abel@ispras.ru>

        PR rtl-optimization/45352
        * sel-sched.c (find_best_expr): Do not set pneed_stall when
        the variable_issue hook is not implemented.
        (fill_insns): Remove dead variable stall_iterations.
        (init_seqno_1): Force EBB start for resetting sched cycles on any
        successor blocks of the rescheduled region.
        (sel_sched_region_1): Use bitmap_bit_p instead of bitmap_clear_bit.
        (reset_sched_cycles_in_current_ebb): Add debug printing.
        New variable issued_insns.  Advance state when we have issued
        issue_rate insns.


Added:
    branches/gcc-4_5-branch/gcc/testsuite/gcc.dg/pr45352-1.c
    branches/gcc-4_5-branch/gcc/testsuite/gcc.dg/pr45352-2.c
    branches/gcc-4_5-branch/gcc/testsuite/gcc.dg/pr45352-3.c
    branches/gcc-4_5-branch/gcc/testsuite/gcc.dg/pr45352.c
    branches/gcc-4_5-branch/gcc/testsuite/gcc.dg/pr46521.c
    branches/gcc-4_5-branch/gcc/testsuite/gcc.dg/pr46522.c
    branches/gcc-4_5-branch/gcc/testsuite/gcc.target/i386/pr45352-1.c
    branches/gcc-4_5-branch/gcc/testsuite/gcc.target/i386/pr45352-2.c
    branches/gcc-4_5-branch/gcc/testsuite/gcc.target/i386/pr45352.c
Modified:
    branches/gcc-4_5-branch/gcc/ChangeLog
    branches/gcc-4_5-branch/gcc/sel-sched.c
    branches/gcc-4_5-branch/gcc/testsuite/ChangeLog