[Bug tree-optimization/30565] New: ICE with -O1 -ftree-pre -ftree-loop-linear -funroll-loops

[Bug tree-optimization/30565] New: ICE with -O1 -ftree-pre -ftree-loop-linear -funroll-loops

[drab at kepler dot fjfi dot cvut dot cz]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 2276 bytes --]

Hi,

the attached code, when compiled with the following gcc:

--------------------------------
$ gcc -v
Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: ../../../gcc-SVN-20070121/gcc-SVN-20070121/configure
--prefix=/usr/local/MDLinux/opt/gcc-4.3
--exec-prefix=/usr/local/MDLinux/opt/gcc-4.3 --sysconfdir=/etc
--libdir=/usr/local/MDLinux/opt/gcc-4.3/lib
--libexecdir=/usr/local/MDLinux/opt/gcc-4.3/libexec --sharedstatedir=/var
--localstatedir=/var --program-suffix=-4.3 --with-x-includes=/usr/X11R6/include
--with-x-libraries=/usr/X11R6/lib --enable-shared --enable-static --with-gnu-as
--with-gnu-ld --with-stabs --enable-threads=posix
--enable-version-specific-runtime-libs --disable-werror --enable-tls
--disable-coverage --disable-libgcj --disable-checking --enable-multilib
--with-x --enable-cmath --enable-libstdcxx-debug --enable-fast-character
--enable-hash-synchronization --with-system-zlib --with-libbanshee
--with-demangler-in-ld --disable-rpath --with-arch=athlon-xp --disable-libada
--enable-languages=c,c++,fortran
Thread model: posix
gcc version 4.3.0 20070121 (experimental)
--------------------------------

using following command line:

--------------------------------
gcc -O1 -ftree-pre -ftree-loop-linear -funroll-loops -c psycho_n1.c -o
psycho_n1.o
--------------------------------

ICEs like this:

--------------------------------
psycho_n1.c: In function ‘psycho_n1’:
psycho_n1.c:64: internal compiler error: Segmentation fault
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.
--------------------------------

Removal of any of the optimizing flags makes it compile. Tested on i686.


-- 
           Summary: ICE with -O1 -ftree-pre -ftree-loop-linear -funroll-
                    loops
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: drab at kepler dot fjfi dot cvut dot cz
 GCC build triplet: i686-pc-linux-gnu
  GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu


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

[Bug tree-optimization/30565] ICE with -O1 -ftree-pre -ftree-loop-linear -funroll-loops

[drab at kepler dot fjfi dot cvut dot cz]

------- Comment #1 from drab at kepler dot fjfi dot cvut dot cz  2007-01-23 23:08 -------
Created an attachment (id=12943)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=12943&action=view)
Triggers the bug.


-- 


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

[Bug tree-optimization/30565] ICE with -O1 -ftree-pre -ftree-loop-linear -funroll-loops

[drab at kepler dot fjfi dot cvut dot cz]

------- Comment #2 from drab at kepler dot fjfi dot cvut dot cz  2007-01-23 23:34 -------
(In reply to comment #0)
> --------------------------------
> gcc -O1 -ftree-pre -ftree-loop-linear -funroll-loops -c psycho_n1.c -o
> psycho_n1.o
> --------------------------------
...
> Removal of any of the optimizing flags makes it compile. Tested on i686.

Sorry, you can forget the -funroll-loops, that is not required there to produce
the ICE. So just this is enough:

--------------------------------
gcc -O1 -ftree-pre -ftree-loop-linear -c psycho_n1.c -o psycho_n1.o
--------------------------------


-- 


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

[Bug tree-optimization/30565] ICE with -O1 -ftree-pre -ftree-loop-linear

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2007-04-30 10:17 -------
Program received signal SIGSEGV, Segmentation fault.
0x08184f89 in compute_dominance_frontiers_1 (frontiers=0x8af0688)
    at /home/richard/src/trunk2/gcc/cfganal.c:1057
1057                      if (bitmap_bit_p (frontiers[runner->index],
b->index))
(gdb) print runner
$2 = (basic_block) 0x0

CFG is hosed.

(gdb) bt
#0  0x08184f89 in compute_dominance_frontiers_1 (frontiers=0x8af0688)
    at /home/richard/src/trunk2/gcc/cfganal.c:1057
#1  0x08185055 in compute_dominance_frontiers (frontiers=0x8af0688)
    at /home/richard/src/trunk2/gcc/cfganal.c:1075
#2  0x084a20ad in update_ssa (update_flags=1024)
    at /home/richard/src/trunk2/gcc/tree-into-ssa.c:3277
#3  0x0856163d in rewrite_into_loop_closed_ssa (changed_bbs=0x0, 
    update_flag=4096) at /home/richard/src/trunk2/gcc/tree-ssa-loop-manip.c:391
#4  0x088cf131 in linear_transform_loops ()
    at /home/richard/src/trunk2/gcc/tree-loop-linear.c:367
#5  0x08571cd4 in tree_linear_transform ()

Zdenek?


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dberlin at gcc dot gnu dot
                   |                            |org, rakdver at gcc dot gnu
                   |                            |dot org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2007-04-30 10:17:47
               date|                            |
            Summary|ICE with -O1 -ftree-pre -   |ICE with -O1 -ftree-pre -
                   |ftree-loop-linear -funroll- |ftree-loop-linear
                   |loops                       |


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

[Bug tree-optimization/30565] ICE with -O1 -ftree-pre -ftree-loop-linear

[dberlin at dberlin dot org]

------- Comment #4 from dberlin at gcc dot gnu dot org  2007-04-30 18:42 -------
Subject: Re:  ICE with -O1 -ftree-pre -ftree-loop-linear

Something in perfect_nestify is fucking up the dominators, but it's
not clear why every set_immediate_dominator there is not correct.

On 30 Apr 2007 09:17:48 -0000, rguenth at gcc dot gnu dot org
<gcc-bugzilla@gcc.gnu.org> wrote:
>
>
> ------- Comment #3 from rguenth at gcc dot gnu dot org  2007-04-30 10:17 -------
> Program received signal SIGSEGV, Segmentation fault.
> 0x08184f89 in compute_dominance_frontiers_1 (frontiers=0x8af0688)
>     at /home/richard/src/trunk2/gcc/cfganal.c:1057
> 1057                      if (bitmap_bit_p (frontiers[runner->index],
> b->index))
> (gdb) print runner
> $2 = (basic_block) 0x0
>
> CFG is hosed.
>
> (gdb) bt
> #0  0x08184f89 in compute_dominance_frontiers_1 (frontiers=0x8af0688)
>     at /home/richard/src/trunk2/gcc/cfganal.c:1057
> #1  0x08185055 in compute_dominance_frontiers (frontiers=0x8af0688)
>     at /home/richard/src/trunk2/gcc/cfganal.c:1075
> #2  0x084a20ad in update_ssa (update_flags=1024)
>     at /home/richard/src/trunk2/gcc/tree-into-ssa.c:3277
> #3  0x0856163d in rewrite_into_loop_closed_ssa (changed_bbs=0x0,
>     update_flag=4096) at /home/richard/src/trunk2/gcc/tree-ssa-loop-manip.c:391
> #4  0x088cf131 in linear_transform_loops ()
>     at /home/richard/src/trunk2/gcc/tree-loop-linear.c:367
> #5  0x08571cd4 in tree_linear_transform ()
>
> Zdenek?
>
>
> --
>
> rguenth at gcc dot gnu dot org changed:
>
>            What    |Removed                     |Added
> ----------------------------------------------------------------------------
>                  CC|                            |dberlin at gcc dot gnu dot
>                    |                            |org, rakdver at gcc dot gnu
>                    |                            |dot org
>              Status|UNCONFIRMED                 |NEW
>      Ever Confirmed|0                           |1
>    Last reconfirmed|0000-00-00 00:00:00         |2007-04-30 10:17:47
>                date|                            |
>             Summary|ICE with -O1 -ftree-pre -   |ICE with -O1 -ftree-pre -
>                    |ftree-loop-linear -funroll- |ftree-loop-linear
>                    |loops                       |
>
>
> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=30565
>
> ------- You are receiving this mail because: -------
> You are on the CC list for the bug, or are watching someone who is.
>


-- 


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

[Bug tree-optimization/30565] ICE with -O1 -ftree-pre -ftree-loop-linear

[rakdver at gcc dot gnu dot org]

-- 

rakdver at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |rakdver at gcc dot gnu dot
                   |dot org                     |org
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2007-04-30 10:17:47         |2007-05-02 22:14:52
               date|                            |


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

[Bug tree-optimization/30565] ICE with -O1 -ftree-pre -ftree-loop-linear

[rakdver at gcc dot gnu dot org]

------- Comment #5 from rakdver at gcc dot gnu dot org  2007-05-03 14:27 -------
Subject: Bug 30565

Author: rakdver
Date: Thu May  3 13:27:26 2007
New Revision: 124378

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=124378
Log:
        PR tree-optimization/30565
        * lambda-code.c (perfect_nestify): Fix updating of dominators.

        * gcc.dg/tree-ssa/loop-27.c: New test.


Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/loop-27.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/lambda-code.c
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug tree-optimization/30565] ICE with -O1 -ftree-pre -ftree-loop-linear

[pinskia at gcc dot gnu dot org]

------- Comment #6 from pinskia at gcc dot gnu dot org  2007-05-07 00:09 -------
Fixed.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|ASSIGNED                    |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.3.0


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

[Bug tree-optimization/30565] ICE with -O1 -ftree-pre -ftree-loop-linear

[pthaugen at gcc dot gnu dot org]

------- Comment #7 from pthaugen at gcc dot gnu dot org  2007-10-01 15:15 -------
Subject: Bug 30565

Author: pthaugen
Date: Mon Oct  1 15:14:57 2007
New Revision: 128907

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=128907
Log:
2007-10-01  Pat Haugen  <pthaugen@us.ibm.com>

        Backport the following patch:

        2007-05-03  Zdenek Dvorak  <dvorakz@suse.cz>

        PR tree-optimization/30565
        * lambda-code.c (perfect_nestify): Fix updating of dominators.


Modified:
    branches/ibm/gcc-4_1-branch/gcc/ChangeLog
    branches/ibm/gcc-4_1-branch/gcc/lambda-code.c


-- 


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