[Bug tree-optimization/42284] New: failing tree check in graphite-sese-to-poly.c for 164.gzip

[Bug tree-optimization/42284] New: failing tree check in graphite-sese-to-poly.c for 164.gzip

[janis at gcc dot gnu dot org]

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

GCC trunk gets an internal compiler error when building SPEC CPU2000 test
164.gzip with "-O2 -floop-interchange" on powerpc-linux, as demonstrated by a
minimized testcase that I'll attach to this PR.

elm3b149% /home/janis/tools/gcc-trunk-anonsvn/bin/gcc -c -O2 -floop-interchange
bug.c
bug.c: In function ‘inflate_fixed’:
bug.c:56:1: internal compiler error: tree check: expected ssa_name, have
integer_cst in detect_commutative_reduction, at graphite-sese-to-poly.c:2654
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

A Graphite-enabled trunk build is broken during the 19-hour range from r150250
to 150300.  The test passes with the build just before that range and fails
with r150301, the first revision that builds after a merge from the Graphite
branch.


-- 
           Summary: failing tree check in  graphite-sese-to-poly.c for
                    164.gzip
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: janis at gcc dot gnu dot org
GCC target triplet: powerpc-linux


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

[Bug tree-optimization/42284] failing tree check in graphite-sese-to-poly.c for 164.gzip

[janis at gcc dot gnu dot org]

------- Comment #1 from janis at gcc dot gnu dot org  2009-12-04 20:39 -------
Created an attachment (id=19227)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19227&action=view)
Minimized testcase.


-- 


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

[Bug tree-optimization/42284] failing tree check in graphite-sese-to-poly.c for 164.gzip

[dominiq at lps dot ens dot fr]

------- Comment #2 from dominiq at lps dot ens dot fr  2009-12-04 21:47 -------
Confirmed on x86_64-apple-darwin10:

[macbook] f90/bug% gcc45 -O2 -floop-interchange -c pr42284.c
pr42284.c:6:14: warning: conflicting types for built-in function 'malloc'
pr42284.c: In function 'inflate_fixed':
pr42284.c:56:1: internal compiler error: tree check: expected ssa_name, have
integer_cst in detect_commutative_reduction, at graphite-sese-to-poly.c:2631

Note the warning: "conflicting types for built-in function 'malloc'".


-- 


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

[Bug tree-optimization/42284] failing tree check in graphite-sese-to-poly.c for 164.gzip

[spop at gcc dot gnu dot org]

-- 

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|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2009-12-09 14:26:42
               date|                            |


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

[Bug tree-optimization/42284] failing tree check in graphite-sese-to-poly.c for 164.gzip

[spop at gcc dot gnu dot org]

------- Comment #3 from spop at gcc dot gnu dot org  2009-12-14 16:50 -------
Subject: Bug 42284

Author: spop
Date: Mon Dec 14 16:49:47 2009
New Revision: 155218

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=155218
Log:
Fix PR42284.

2009-12-12  Sebastian Pop  <sebpop@gmail.com>

        PR middle-end/42284
        * graphite-sese-to-poly.c (rewrite_close_phi_out_of_ssa): Call
        insert_out_of_ssa_copy_on_edge for anything else than SSA_NAMEs.
        (detect_commutative_reduction_arg): Simplified.
        (detect_commutative_reduction): Early return when the argument of
        the close phi is not of an SSA_NAME.

        * testsuite/gcc.dg/graphite/pr42284.c: New.

Modified:
    trunk/gcc/ChangeLog.graphite
    trunk/gcc/graphite-sese-to-poly.c


-- 


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

[Bug tree-optimization/42284] failing tree check in graphite-sese-to-poly.c for 164.gzip

[spop at gcc dot gnu dot org]

------- Comment #4 from spop at gcc dot gnu dot org  2009-12-14 16:51 -------
Subject: Bug 42284

Author: spop
Date: Mon Dec 14 16:51:43 2009
New Revision: 155219

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=155219
Log:
        PR middle-end/42284
        * testsuite/gcc.dg/graphite/pr42284.c: New.

Added:
    trunk/gcc/testsuite/gcc.dg/graphite/pr42284.c
Modified:
    trunk/gcc/testsuite/ChangeLog


-- 


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

[Bug tree-optimization/42284] failing tree check in graphite-sese-to-poly.c for 164.gzip

[spop at gcc dot gnu dot org]

------- Comment #5 from spop at gcc dot gnu dot org  2009-12-14 17:11 -------
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=42284

[Bug tree-optimization/42284] failing tree check in graphite-sese-to-poly.c for 164.gzip

[hjl dot tools at gmail dot com]

-- 

hjl dot tools at gmail dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.5.0


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