[Bug other/42530] New: ICE in verify_ssa when using -O -g -ffast-math -floop-parallelize-all

[Bug other/42530] New: ICE in verify_ssa when using -O -g -ffast-math -floop-parallelize-all

[anton at samba dot org]

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

An svn build from 20091229 is getting an ICE when building the following code:


int array[2][2];

void foo(int *a)
{
        int i, j;
        int sum, tmp = 0;

        for (i=0; i<2; i++)
                for (j=0; j<2; j++)
                        sum += array[i][j];

        if (sum > 0) {
                tmp = sum;
                *a = tmp;
        }
}


# /test/bin/gcc -c -O -g -ffast-math -floop-parallelize-all test.c
test.c: In function ‘foo’:
test.c:3:6: error: missing definition
for SSA_NAME: sum_8 in statement:
# DEBUG tmp => sum_8
test.c:3:6: internal compiler error: verify_ssa failed

It seems all of "-O -g -ffast-math -floop-parallelize-all" needs to be
specified to make it fail.


-- 
           Summary: ICE in verify_ssa when using -O -g -ffast-math -floop-
                    parallelize-all
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: other
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: anton at samba dot org
GCC target triplet: powerpc64-linux-gnu-gnu


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

[Bug other/42530] ICE in verify_ssa when using -O -g -ffast-math -floop-parallelize-all

[hjl dot tools at gmail dot com]

------- Comment #1 from hjl dot tools at gmail dot com  2009-12-29 05:10 -------
I also saw it on Linux/x86-64. It is caused by revision 154561:

http://gcc.gnu.org/ml/gcc-cvs/2009-11/msg00784.html


-- 

hjl dot tools at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |spop at gcc dot gnu dot org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
 GCC target triplet|powerpc64-linux-gnu-gnu     |
   Last reconfirmed|0000-00-00 00:00:00         |2009-12-29 05:10:35
               date|                            |


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

[Bug other/42530] ICE in verify_ssa when using -O -g -ffast-math -floop-parallelize-all

[aoliva at gcc dot gnu dot org]

------- Comment #2 from aoliva at gcc dot gnu dot org  2010-01-07 12:47 -------
'been looking at it a bit.  It's graphite's
rewrite_commutative_reductions_out_of_ssa that removes SSA PHI nodes from the
IR without actually releasing them, so we don't get a chance to propagate the
DEFs into debug stmts.  I tried to explicitly call the debug stmt propagate
function, before and after release, to no avail.  I went no further than that,
for the time being, and I'm not sure when/if I'll get back to it.


-- 


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

[Bug other/42530] [graphite] ICE in verify_ssa when using -O -g -ffast-math -floop-parallelize-all

[spop at gcc dot gnu dot org]

------- Comment #3 from spop at gcc dot gnu dot org  2010-02-08 06:09 -------
Mine.


-- 

spop at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |spop at gcc dot gnu dot org
                   |dot org                     |
             Status|NEW                         |ASSIGNED
   Last reconfirmed|2009-12-29 05:10:35         |2010-02-08 06:09:01
               date|                            |
            Summary|ICE in verify_ssa when using|[graphite] ICE in verify_ssa
                   |-O -g -ffast-math -floop-   |when using -O -g -ffast-math
                   |parallelize-all             |-floop-parallelize-all


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

[Bug other/42530] [graphite] ICE in verify_ssa when using -O -g -ffast-math -floop-parallelize-all

[spop at gcc dot gnu dot org]

------- Comment #4 from spop at gcc dot gnu dot org  2010-02-10 20:24 -------
Subject: Bug 42530

Author: spop
Date: Wed Feb 10 20:23:41 2010
New Revision: 156668

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=156668
Log:
Fix PR42914 and PR42530.

2010-02-10  Sebastian Pop  <seb@napoca>

        PR middle-end/42914
        PR middle-end/42530
        * graphite-sese-to-poly.c (remove_phi): New.
        (translate_scalar_reduction_to_array): Call remove_phi.

        * gcc.dg/graphite/pr42530.c: New.
        * gcc.dg/graphite/pr42914.c: New.

Added:
    branches/graphite/gcc/testsuite/gcc.dg/graphite/pr42530.c
    branches/graphite/gcc/testsuite/gcc.dg/graphite/pr42914.c
Modified:
    branches/graphite/gcc/ChangeLog.graphite
    branches/graphite/gcc/graphite-sese-to-poly.c


-- 


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

[Bug other/42530] [graphite] ICE in verify_ssa when using -O -g -ffast-math -floop-parallelize-all

[spop at gcc dot gnu dot org]

------- Comment #5 from spop at gcc dot gnu dot org  2010-02-11 19:43 -------
Subject: Bug 42530

Author: spop
Date: Thu Feb 11 19:42:45 2010
New Revision: 156712

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=156712
Log:
Fix PR42914 and PR42530.

2010-02-10  Sebastian Pop  <seb@napoca>

        PR middle-end/42914
        PR middle-end/42530
        * graphite-sese-to-poly.c (remove_phi): New.
        (translate_scalar_reduction_to_array): Call remove_phi.

        * gcc.dg/graphite/pr42530.c: New.
        * gcc.dg/graphite/pr42914.c: New.

Added:
    trunk/gcc/testsuite/gcc.dg/graphite/pr42530.c
    trunk/gcc/testsuite/gcc.dg/graphite/pr42914.c
Modified:
    trunk/gcc/ChangeLog.graphite
    trunk/gcc/graphite-sese-to-poly.c


-- 


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

[Bug other/42530] [graphite] ICE in verify_ssa when using -O -g -ffast-math -floop-parallelize-all

[spop at gcc dot gnu dot org]

------- Comment #6 from spop at gcc dot gnu dot org  2010-02-11 19:50 -------
Fixed.


-- 

spop at gcc dot gnu dot org changed:

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


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