[Bug preprocessor/25799] New: [Regression 4.2] cc1 stalled with -O1 -fmodulo-sched

[Bug preprocessor/25799] New: [Regression 4.2] cc1 stalled with -O1 -fmodulo-sched

[drab at kepler dot fjfi dot cvut dot cz]

Attached code when compiled by gcc version 4.2.0 20060113 (experimental) using

----------
gcc -O1 -fmodulo-sched -c insmod.c -o insmod.o
----------

makes the cc1 (preprocessor) process stall indefinitely (well I let it few
minutes, then killed manually. Tested only on x86. It is a regression, since it
works with gcc version 4.2.0 20051224 (experimental). This bug may (or may not)
be related to the bug 25798 (same test file, simillar compile flags).


-- 
           Summary: [Regression 4.2] cc1 stalled with -O1 -fmodulo-sched
           Product: gcc
           Version: 4.2.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: preprocessor
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: drab at kepler dot fjfi dot cvut dot cz
GCC target triplet: i?86-pc-*-*


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

[Bug preprocessor/25799] [Regression 4.2] cc1 stalled with -O1 -fmodulo-sched

[drab at kepler dot fjfi dot cvut dot cz]

------- Comment #1 from drab at kepler dot fjfi dot cvut dot cz  2006-01-15 22:26 -------
Created an attachment (id=10649)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10649&action=view)
Triggers the problem

Same test file as in bug 25798.


-- 


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

[Bug rtl-optimization/25799] [Regression 4.2] cc1 stalled with -O1 -fmodulo-sched

[drab at kepler dot fjfi dot cvut dot cz]

------- Comment #2 from drab at kepler dot fjfi dot cvut dot cz  2006-01-15 22:47 -------
OK, sorry, I somehow thought cc1 was a preprocessor, it isn't. My mistake, but
anyway.


-- 


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

[Bug rtl-optimization/25799] [42. Regression] cc1 stalled with -O1 -fmodulo-sched

[pinskia at gcc dot gnu dot org]

------- Comment #3 from pinskia at gcc dot gnu dot org  2006-01-16 04:26 -------
I saw this while reducing PR 25798 also.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|[Regression 4.2] cc1 stalled|[42. Regression] cc1 stalled
                   |with -O1 -fmodulo-sched     |with -O1 -fmodulo-sched
   Target Milestone|---                         |4.2.0


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

[Bug rtl-optimization/25799] [42. Regression] cc1 stalled with -O1 -fmodulo-sched

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2006-01-16 04:28 -------
This is an infinite loop in df.c:
0x0000000000559052 in df_hybrid_search_backward (bb=0x2aaaab34e400,
dataflow=0xc15080, single_pass=0 '\0')
    at /home/pinskia/src/checkin/trunk/gcc/df-core.c:465
465             if (!TEST_BIT (dataflow->considered, e->dest->index))
(gdb) bt
#0  0x0000000000559052 in df_hybrid_search_backward (bb=0x2aaaab34e400,
dataflow=0xc15080, 
    single_pass=0 '\0') at /home/pinskia/src/checkin/trunk/gcc/df-core.c:465
#1  0x00000000005591f1 in df_hybrid_search_backward (bb=0x2aaaab34e600,
dataflow=0xc15080, 
    single_pass=0 '\0') at /home/pinskia/src/checkin/trunk/gcc/df-core.c:498
#2  0x00000000005591f1 in df_hybrid_search_backward (bb=0x2aaaab34e100,
dataflow=0xc15080, 
    single_pass=0 '\0') at /home/pinskia/src/checkin/trunk/gcc/df-core.c:498
#3  0x0000000000559713 in df_iterative_dataflow (dataflow=0xc15080,
blocks_to_consider=Variable "blocks_to_consider" is not available.
)
    at /home/pinskia/src/checkin/trunk/gcc/df-core.c:571
#4  0x0000000000558a97 in df_analyze (df=0xc1acd0) at
/home/pinskia/src/checkin/trunk/gcc/df-core.c:653
#5  0x0000000000871a85 in sms_schedule (dump_file=0x0)
    at /home/pinskia/src/checkin/trunk/gcc/modulo-sched.c:983


-- 


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

[Bug rtl-optimization/25799] [42. Regression] cc1 stalled with -O1 -fmodulo-sched

[zadeck at naturalbridge dot com]

-- 

zadeck at naturalbridge dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |zadeck at naturalbridge dot
                   |dot org                     |com
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2006-01-16 19:11:26
               date|                            |


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

[Bug rtl-optimization/25799] [4.2 Regression] cc1 stalled with -O1 -fmodulo-sched

[zadeck at gcc dot gnu dot org]

------- Comment #5 from zadeck at gcc dot gnu dot org  2006-01-17 14:34 -------
Subject: Bug 25799

Author: zadeck
Date: Tue Jan 17 14:34:50 2006
New Revision: 109818

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=109818
Log:
2005-01-17  Kenneth Zadeck <zadeck@naturalbridge.com>

        PR dataflow/25799
        * df-problems.c (df_ru_confluence_n, df_rd_confluence_n):
        Corrected confluence operator to remove bits from op2 before oring
        with op1 rather than removing bits from op1.
        * (df_ru_transfer_function): Corrected test on wrong bitmap which
        caused infinite loop.    



Modified:
    branches/dataflow-branch/gcc/ChangeLog.dataflow
    branches/dataflow-branch/gcc/df-problems.c


-- 


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

[Bug rtl-optimization/25799] [4.2 Regression] cc1 stalled with -O1 -fmodulo-sched

[zadeck at gcc dot gnu dot org]

------- Comment #6 from zadeck at gcc dot gnu dot org  2006-01-20 01:24 -------
Subject: Bug 25799

Author: zadeck
Date: Fri Jan 20 01:24:00 2006
New Revision: 110007

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=110007
Log:
2005-01-19  Kenneth Zadeck <zadeck@naturalbridge.com>

        PR rtl-optimization/25799 
        * df-problems.c (df_ru_confluence_n, df_rd_confluence_n):
        Corrected confluence operator to remove bits from op2 before oring
        with op1 rather than removing bits from op1.
        * (df_ru_transfer_function): Corrected test on wrong bitmap which
        caused infinite loop.  Both of these problems were introduced in
        the dataflow rewrite.


Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/df-problems.c


-- 


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

[Bug rtl-optimization/25799] [4.2 Regression] cc1 stalled with -O1 -fmodulo-sched

[zadeck at gcc dot gnu dot org]

------- Comment #7 from zadeck at gcc dot gnu dot org  2006-01-20 01:28 -------
Subject: Bug 25799

Author: zadeck
Date: Fri Jan 20 01:28:34 2006
New Revision: 110008

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=110008
Log:
2005-01-19  Kenneth Zadeck <zadeck@naturalbridge.com>

        PR rtl-optimization/25799 
        * df-problems.c (df_ru_confluence_n, df_rd_confluence_n):
        Corrected confluence operator to remove bits from op2 before oring
        with op1 rather than removing bits from op1.
        (df_ru_transfer_function): Corrected test on wrong bitmap which
        caused infinite loop.  Both of these problems were introduced in
        the dataflow rewrite.


Modified:
    trunk/gcc/ChangeLog


-- 


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

[Bug rtl-optimization/25799] [4.2 Regression] cc1 stalled with -O1 -fmodulo-sched

[zadeck at naturalbridge dot com]

------- Comment #8 from zadeck at naturalbridge dot com  2006-01-20 01:33 -------
2005-01-19  Kenneth Zadeck <zadeck@naturalbridge.com>

        PR rtl-optimization/25799 
        * df-problems.c (df_ru_confluence_n, df_rd_confluence_n):
        Corrected confluence operator to remove bits from op2 before oring
        with op1 rather than removing bits from op1.
        (df_ru_transfer_function): Corrected test on wrong bitmap which
        caused infinite loop.  Both of these problems were introduced in
        the dataflow rewrite.


-- 

zadeck at naturalbridge dot com changed:

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


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