[Bug c/33009] New: [dataflow] cc1 goes into infinite loop

[Bug c/33009] New: [dataflow] cc1 goes into infinite loop

[aldot at gcc dot gnu dot org]

On trunk (currently r127248), with the testcase for PR11832 cc1 goes into an
infinite loop (ctrl-c after 10 minutes).
trunk from 20070418 can compile the same example fine.

flags used to reproduce:
gcc-4.3-HEAD -Os -fomit-frame-pointer -frtl-abstract-sequences -S -o s.S
pr11832.c


-- 
           Summary: [dataflow] cc1 goes into infinite loop
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: aldot at gcc dot gnu dot org
 GCC build triplet: i386-linux-gnu
  GCC host triplet: i386-linux-gnu
GCC target triplet: i386-linux-gnu


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

[Bug rtl-optimization/33009] -frtl-abstract-sequences causes an infinite loop

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2007-08-07 14:32 -------
-frtl-abstract-sequences is not well tested at all.  It is in the same
situation as -fsee.  There are no testcases which test it so how do we know it
is broken.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
          Component|c                           |rtl-optimization
            Summary|[dataflow] cc1 goes into    |-frtl-abstract-sequences
                   |infinite loop               |causes an infinite loop


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

[Bug rtl-optimization/33009] -frtl-abstract-sequences causes an infinite loop

[pinskia at gcc dot gnu dot org]

------- Comment #2 from pinskia at gcc dot gnu dot org  2007-08-07 14:37 -------
I get an ICE:
t.c: In function 'foo':
t.c:28: error: unrecognizable insn:
(insn 177 0 0 (set (reg:SI 0 ax)
        (symbol_ref:SI ("*L9") [flags 0x2])) -1 (nil))


-- 


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

[Bug rtl-optimization/33009] -frtl-abstract-sequences causes an infinite loop

[loki at gcc dot gnu dot org]

------- Comment #3 from loki at gcc dot gnu dot org  2008-02-21 15:48 -------
I can confirm the infinite loop too (r132521).
I am going to look into it.


-- 

loki at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |loki at gcc dot gnu dot org
         AssignedTo|unassigned at gcc dot gnu   |loki at gcc dot gnu dot org
                   |dot org                     |
             Status|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2008-02-21 15:48:53
               date|                            |


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

[Bug rtl-optimization/33009] -frtl-abstract-sequences causes an infinite loop

[aldot at gcc dot gnu dot org]

------- Comment #4 from aldot at gcc dot gnu dot org  2008-02-21 16:44 -------
-frtl-abstract-sequences should IMHO be turned on per default for at least -Os
in 4.4

Otherwise literally nobody will notice if it's broken.
thanks,


-- 


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

[Bug rtl-optimization/33009] -frtl-abstract-sequences causes an infinite loop

[loki at gcc dot gnu dot org]

------- Comment #5 from loki at gcc dot gnu dot org  2008-02-29 13:06 -------
Created an attachment (id=15245)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=15245&action=view)
infinite loop patch v1

This proposed patch fixes the reported bug on i386.

I am going to test it for some other targets, and create some testcases.
After that I will send it to the gcc-patches list.


-- 


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

[Bug rtl-optimization/33009] -frtl-abstract-sequences causes an infinite loop

[loki at gcc dot gnu dot org]

------- Comment #6 from loki at gcc dot gnu dot org  2008-03-05 10:16 -------
Subject: Bug 33009

Author: loki
Date: Wed Mar  5 10:15:45 2008
New Revision: 132893

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=132893
Log:
2008-03-05  Gabor Loki  <loki@gcc.gnu.org>

        PR gcc/33009
        * rtl-factoring.c (clear_regs_live_in_seq): Fix backward steps.
        (split_block_and_df_analyze): New. Split basic block and rebuild
        dataflow.
        (block_label_after): Use SPLIT_BLOCK_AND_DF_ANALYZE instead of
        SPLIT_BLOCK.
        (split_pattern_seq): Likewise.
        (erase_matching_seqs): Likewise.
        (split_pattern_seq): Skip return insn in case of REG_NORETURN note.

        PR testsuite/33009
        * gcc.c-torture/compile/pr11832.c: Check -frtl-abstract-sequences.
        * gcc.c-torture/compile/pr33009.c: Likewise.


Added:
    trunk/gcc/testsuite/gcc.c-torture/compile/pr11832.c
    trunk/gcc/testsuite/gcc.c-torture/compile/pr33009.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/rtl-factoring.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug rtl-optimization/33009] -frtl-abstract-sequences causes an infinite loop

[loki at gcc dot gnu dot org]

------- Comment #7 from loki at gcc dot gnu dot org  2008-03-05 10:27 -------
Fixed.


-- 

loki at gcc dot gnu dot org changed:

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


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

[Bug rtl-optimization/33009] -frtl-abstract-sequences causes an infinite loop

[dominiq at lps dot ens dot fr]

------- Comment #8 from dominiq at lps dot ens dot fr  2008-03-05 14:27 -------
With revision 132897 on i686-apple-darwin9 I get:

[ibook-dhum] f90/bug% gfc -c -frtl-abstract-sequences
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.c-torture/compile/pr33009.c
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.c-torture/compile/pr33009.c: In function
'foo':
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.c-torture/compile/pr33009.c:36: error:
unrecognizable insn:
(insn 118/opt/gcc/_gcc_clean/gcc/testsuite/gcc.c-torture/compile/pr33009.c:36:
internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
[ibook-dhum] f90/bug% gfc -v
Using built-in specs.
Target: i686-apple-darwin9
Configured with: ../gcc-4.4-work/configure --prefix=/opt/gcc/gcc4.4w
--mandir=/opt/gcc/gcc4.4w/share/man --infodir=/opt/gcc/gcc4.4w/share/info
--build=i686-apple-darwin9 --enable-languages=c,c++,fortran,objc,obj-c++,java
--with-gmp=/sw --with-libiconv-prefix=/usr --with-system-zlib
--x-includes=/usr/X11R6/include --x-libraries=/usr/X11R6/lib
Thread model: posix
gcc version 4.4.0 20080305 (experimental) (GCC) 

For gcc.c-torture/compile/pr11832.c I also get:

[ibook-dhum] f90/bug% gfc -c -frtl-abstract-sequences
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.c-torture/compile/pr11832.c
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.c-torture/compile/pr11832.c: In function
'foo':
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.c-torture/compile/pr11832.c:30: error:
unrecognizable insn:
(insn 259/opt/gcc/_gcc_clean/gcc/testsuite/gcc.c-torture/compile/pr11832.c:30:
internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


-- 


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

[Bug rtl-optimization/33009] -frtl-abstract-sequences causes an infinite loop

[loki at gcc dot gnu dot org]

------- Comment #9 from loki at gcc dot gnu dot org  2008-03-05 14:36 -------
(In reply to comment #8)
> With revision 132897 on i686-apple-darwin9 I get:
> ...
> unrecognizable insn:
> (insn 118/opt/gcc/_gcc_clean/gcc/testsuite/gcc.c-torture/compile/pr33009.c:36:
> internal compiler error: Segmentation fault

It seems to me it is the same problem as PR33642.
Would you be so kind to check it again on i686-apple-darwin9 with the attached
patch from PR33642?


-- 


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

[Bug rtl-optimization/33009] -frtl-abstract-sequences causes an infinite loop

[dominiq at lps dot ens dot fr]

------- Comment #10 from dominiq at lps dot ens dot fr  2008-03-05 15:40 -------
(In reply to comment #9)

> It seems to me it is the same problem as PR33642.
> Would you be so kind to check it again on i686-apple-darwin9 with the attached
> patch from PR33642?

I am currently regtesting, I'll apply the patch as soon as it's finished.


-- 


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

[Bug rtl-optimization/33009] -frtl-abstract-sequences causes an infinite loop

[dominiq at lps dot ens dot fr]

------- Comment #11 from dominiq at lps dot ens dot fr  2008-03-05 20:53 -------
Note that I see the problem reported in comment #8 on powerpc-apple-darwin9 too
((insn 139[address=afafafaf pc=003bf7a0]). I have applied the patch from
PR33642 and the manual tests pass.
I am starting a regtest.


-- 


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

[Bug rtl-optimization/33009] -frtl-abstract-sequences causes an infinite loop

[dominiq at lps dot ens dot fr]

------- Comment #12 from dominiq at lps dot ens dot fr  2008-03-05 22:26 -------
With the patch from PR33642, gcc regtested fine (with the usual failures) on
i686-apple-darwin9.


-- 


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

[Bug rtl-optimization/33009] -frtl-abstract-sequences causes an infinite loop

[dominiq at lps dot ens dot fr]

------- Comment #13 from dominiq at lps dot ens dot fr  2008-03-06 07:33 -------
With the patch from PR33642 on top of rev. 132950, the test suite passed
without regression on i686-apple-darwin9. However on powerpc-apple-darwin9 I
get now:

[karma] f90/bug% gfc -c -frtl-abstract-sequences
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.c-torture/compile/pr33009.c
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.c-torture/compile/pr33009.c: In function
'foo':
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.c-torture/compile/pr33009.c:36: error:
insn does not satisfy its constraints:
(jump_insn 145 87 146
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.c-torture/compile/pr33009.c:32 (set (pc)
        (reg:SI 6 r6)) 519 {*indirect_jumpsi} (nil))
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.c-torture/compile/pr33009.c:36: internal
compiler error: in final_scan_insn, at final.c:2552
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
[karma] f90/bug% gfc -c -frtl-abstract-sequences
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.c-torture/compile/pr11832.c
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.c-torture/compile/pr11832.c: In function
'foo':
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.c-torture/compile/pr11832.c:30: error:
insn does not satisfy its constraints:
(jump_insn 322 95 323
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.c-torture/compile/pr11832.c:16 (set (pc)
        (reg:SI 3 r3)) 519 {*indirect_jumpsi} (nil))
/opt/gcc/_gcc_clean/gcc/testsuite/gcc.c-torture/compile/pr11832.c:30: internal
compiler error: in final_scan_insn, at final.c:2552
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


-- 


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

[Bug rtl-optimization/33009] [4.4 Regression] -frtl-abstract-sequences causes an ICE

[belyshev at depni dot sinp dot msu dot ru]

------- Comment #14 from belyshev at depni dot sinp dot msu dot ru  2008-03-06 17:58 -------
It is now broken on trunk on x86_64-linux with -m32 -fPIC:

pr11832.c: In function 'foo':
pr11832.c:30: error: unrecognizable insn:
(insn 216pr11832.c:30: internal compiler error: Segmentation fault

And in the same way for pr33009.c.

Also fails on ia64: http://gcc.gnu.org/ml/gcc-testresults/2008-03/msg00409.html


-- 

belyshev at depni dot sinp dot msu dot ru changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |belyshev at depni dot sinp
                   |                            |dot msu dot ru
             Status|RESOLVED                    |REOPENED
  GCC build triplet|i386-linux-gnu              |
   GCC host triplet|i386-linux-gnu              |
 GCC target triplet|i386-linux-gnu              |
           Keywords|                            |ice-on-valid-code
      Known to work|                            |4.3.0
         Resolution|FIXED                       |
            Summary|-frtl-abstract-sequences    |[4.4 Regression] -frtl-
                   |causes an infinite loop     |abstract-sequences causes an
                   |                            |ICE
   Target Milestone|---                         |4.4.0


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

[Bug rtl-optimization/33009] [4.4 Regression] -frtl-abstract-sequences causes an ICE

[loki at gcc dot gnu dot org]

------- Comment #15 from loki at gcc dot gnu dot org  2008-03-07 12:33 -------
(In reply to comment #14)
> It is now broken on trunk on x86_64-linux with -m32 -fPIC:
> 
> pr11832.c: In function 'foo':
> pr11832.c:30: error: unrecognizable insn:
> (insn 216pr11832.c:30: internal compiler error: Segmentation fault

Truly, I do not understand why this bug had to be renamed and reopened!
As I wrote in comment #9 the 'unrecognizable insn' case should belong to
PR33642.
This bug was about an infinite loop.


-- 


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

[Bug rtl-optimization/33009] -frtl-abstract-sequences causes an infinite loop

[belyshev at depni dot sinp dot msu dot ru]

------- Comment #16 from belyshev at depni dot sinp dot msu dot ru  2008-03-07 12:47 -------
(In reply to comment #15)
> This bug was about an infinite loop.
Okay.


-- 

belyshev at depni dot sinp dot msu dot ru changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|REOPENED                    |RESOLVED
           Keywords|ice-on-valid-code           |wrong-code
      Known to work|4.3.0                       |
         Resolution|                            |FIXED
            Summary|[4.4 Regression] -frtl-     |-frtl-abstract-sequences
                   |abstract-sequences causes an|causes an infinite loop
                   |ICE                         |


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

[Bug rtl-optimization/33009] -frtl-abstract-sequences causes an infinite loop

[eric dot weddington at atmel dot com]

------- Comment #17 from eric dot weddington at atmel dot com  2008-03-24 14:46 -------
*** Bug 35675 has been marked as a duplicate of this bug. ***


-- 

eric dot weddington at atmel dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |eric dot weddington at atmel
                   |                            |dot com


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