[Bug fortran/36206] New: ice for legal code with -O3

[Bug fortran/36206] New: ice for legal code with -O3

[dcb314 at hotmail dot com]

I just tried to compile the lapack package
version 3.3.1 with the GNU Fortran compiler  
version 4.4 snapshot 20080509

The compiler said

sspr.f: In function 'sspr':
sspr.f:1: internal compiler error: tree check: expected integer_cst, have
plus_expr in int_cst_value, at tree.c:8002
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Source code attached. Flag -O3 required, but this
code compiles at -O2, so I don't think the problem
is in the Fortran front end, more likely the back-end.


-- 
           Summary: ice for legal code with -O3
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: fortran
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dcb314 at hotmail dot com


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

[Bug middle-end/36206] [4.4 Regression] ice for legal code with -O3

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org
          Component|fortran                     |middle-end
            Summary|ice for legal code with -O3 |[4.4 Regression] ice for
                   |                            |legal code with -O3
   Target Milestone|---                         |4.4.0


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

[Bug middle-end/36206] [4.4 Regression] ice for legal code with -O3

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2008-05-11 07:54 -------
Most likely the same issue as PR 36198.


-- 


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

[Bug middle-end/36206] [4.4 Regression] ice for legal code with -O3

[dcb314 at hotmail dot com]

------- Comment #2 from dcb314 at hotmail dot com  2008-05-11 10:35 -------

>Most likely the same issue as PR 36198.

Maybe, but that one only happens with -fprofile-use,
and this one is -O3.

The code compiled fine last week with 20080502,
so the bug looks to be introduced sometime between
20080502 and 20080509.


-- 


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

[Bug middle-end/36206] [4.4 Regression] ice for legal code with -O3

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2008-05-11 17:54 -------
Which is good, as in the end these are the same bugs.  But - where's the
testcase
for this?


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
OtherBugsDependingO|                            |36198
              nThis|                            |
             Status|UNCONFIRMED                 |WAITING


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

[Bug middle-end/36206] [4.4 Regression] ice for legal code with -O3

[dcb314 at hotmail dot com]

------- Comment #4 from dcb314 at hotmail dot com  2008-05-11 19:11 -------
Created an attachment (id=15629)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=15629&action=view)
Fortran source code


-- 


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

[Bug middle-end/36206] [4.4 Regression] ice for legal code with -O3

[dcb314 at hotmail dot com]

------- Comment #5 from dcb314 at hotmail dot com  2008-05-11 19:12 -------
(In reply to comment #3)
> But - where's the testcase for this?

Sorry - now attached.


-- 


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

[Bug middle-end/36206] [4.4 Regression] ice for legal code with -O3

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2008-05-11 19:52 -------
Sebastian - this has a way simpler testcase than PR36198.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |spop at gcc dot gnu dot org
             Status|WAITING                     |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-valid-code
   Last reconfirmed|0000-00-00 00:00:00         |2008-05-11 19:52:49
               date|                            |


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

[Bug middle-end/36206] [4.4 Regression] ice for legal code with -O3

[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|NEW                         |ASSIGNED
   Last reconfirmed|2008-05-11 19:52:49         |2008-05-11 21:30:11
               date|                            |


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

[Bug middle-end/36206] [4.4 Regression] ice for legal code with -O3

[spop at gcc dot gnu dot org]

------- Comment #7 from spop at gcc dot gnu dot org  2008-05-15 22:00 -------
Subject: Re:  [4.4 Regression] ice for legal code with -O3

Two patches for this PR:
one for not allowing polynomials with degree > 1 in the affine dependence test,
the other to not fail on chrecs with converts in the dependence test.
I will resend to patches@ after they pass the gccfarm tests.

Sebastian


------- Comment #8 from spop at gcc dot gnu dot org  2008-05-15 22:00 -------
Created an attachment (id=15644)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=15644&action=view)


------- Comment #9 from spop at gcc dot gnu dot org  2008-05-15 22:00 -------
Created an attachment (id=15645)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=15645&action=view)


-- 


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

[Bug middle-end/36206] [4.4 Regression] ice for legal code with -O3

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2


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

[Bug middle-end/36206] [4.4 Regression] ice for legal code with -O3

[jv244 at cam dot ac dot uk]

------- Comment #10 from jv244 at cam dot ac dot uk  2008-05-20 08:09 -------
I've tested the patches posted here for PR36198, and they appear to fix the
problem. Did they pass on the gccfarm?


-- 


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

[Bug middle-end/36206] [4.4 Regression] ice for legal code with -O3

[spop at gcc dot gnu dot org]

------- Comment #11 from spop at gcc dot gnu dot org  2008-05-20 16:06 -------
Subject: Bug 36206

Author: spop
Date: Tue May 20 16:05:09 2008
New Revision: 135663

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=135663
Log:
2008-05-20  Jan Sjodin  <jan.sjodin@amd.com>
            Sebastian Pop  <sebastian.pop@amd.com>

        PR tree-optimization/36206
        * tree-scalar-evolution.c: Remove enum INSERT_SUPERLOOP_CHRECS,
        FOLD_CONVERSIONS.
        (instantiate_scev_1): Rename flags to fold_conversions.
        Do not check for INSERT_SUPERLOOP_CHRECS, keep SSA_NAMEs defined
        outeside instantiation_loop.
        * tree-chrec.h (evolution_function_is_affine_in_loop): New.
        (evolution_function_is_affine_or_constant_p): Removed.
        * tree-data-ref.c (dr_analyze_indices): Replace resolve_mixers with
        instantiate_scev.
        (analyze_siv_subscript): Pass in the loop nest number.
        Call evolution_function_is_affine_in_loop instead of 
        evolution_function_is_affine_p.
        (analyze_overlapping_iterations): Pass in the loop nest number.

        * tree-chrec.h (chrec_fold_op): New.
        * tree-data-ref.c (initialize_matrix_A): Traverse NOP_EXPR, PLUS_EXPR,
and
        other trees.

        * testsuite/gfortran.dg/pr36206.f: New.


Added:
    trunk/gcc/testsuite/gfortran.dg/pr36206.f
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-chrec.h
    trunk/gcc/tree-data-ref.c
    trunk/gcc/tree-scalar-evolution.c


-- 


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

[Bug middle-end/36206] [4.4 Regression] ice for legal code with -O3

[spop at gcc dot gnu dot org]

------- Comment #12 from spop at gcc dot gnu dot org  2008-05-20 16:07 -------
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=36206