[Bug tree-optimization/34976] New: verify_ssa ICE with -ftree-loop-linear

[Bug tree-optimization/34976] New: verify_ssa ICE with -ftree-loop-linear

[pthaugen at gcc dot gnu dot org]

Discovered the following trying to build the cpu2006 benchmark 454.calculix.

work/temp> cat umat_aniso_creep.f 
      subroutine umat_aniso_creep()
!
      real*8 gr(6,6)
!
!
         do i=1,6
            do j=1,6
               gr(i,j)=0.d0
            enddo
            if(i.le.3) then
               gr(i,i)=1.d0
            else
               gr(i,i)=0.5d0
            endif
         enddo
         call dgesv(gr)
      return
      end
work/temp> ~/install/gcc/trunk/bin/gfortran -c -m32 -O2 -ftree-loop-linear
umat_aniso_creep.f
umat_aniso_creep.f: In function 'umat_aniso_creep':
umat_aniso_creep.f:1: error: definition in block 14 does not dominate use in
block 3
for SSA_NAME: i_15 in statement:
i_27 = PHI <i_15(3), i_24(9)>
PHI argument
i_15
for PHI node
i_27 = PHI <i_15(3), i_24(9)>
umat_aniso_creep.f:1: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


-- 
           Summary: verify_ssa ICE with -ftree-loop-linear
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: pthaugen at gcc dot gnu dot org
 GCC build triplet: powerpc64-linux
  GCC host triplet: powerpc64-linux
GCC target triplet: powerpc64-linux


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

[Bug tree-optimization/34976] verify_ssa ICE with -ftree-loop-linear

[pinskia at gcc dot gnu dot org]

------- Comment #1 from pinskia at gcc dot gnu dot org  2008-01-25 22:24 -------
Related to PR 20612, PR 25937, PR 26817, PR 26435, PR 19910, PR 20256, and most
likely others.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |pinskia at gcc dot gnu dot
                   |                            |org, sebpop at gmail dot com


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

[Bug tree-optimization/34976] verify_ssa ICE with -ftree-loop-linear

[spop at gcc dot gnu dot org]

------- Comment #2 from spop at gcc dot gnu dot org  2008-01-26 00:41 -------
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|UNCONFIRMED                 |ASSIGNED
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2008-01-26 00:41:44
               date|                            |


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

[Bug tree-optimization/34976] verify_ssa ICE with -ftree-loop-linear

[sebpop at gmail dot com]

------- Comment #3 from sebpop at gmail dot com  2008-01-27 04:17 -------
Subject: Re:  verify_ssa ICE with -ftree-loop-linear

Patch: http://gcc.gnu.org/ml/gcc-patches/2008-01/msg01294.html
it does not fix really the problem, just works around the problem.
See also the comments here:
http://gcc.gnu.org/ml/gcc-patches/2008-01/msg01293.html


-- 


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

[Bug tree-optimization/34976] verify_ssa ICE with -ftree-loop-linear

[pthaugen at gcc dot gnu dot org]

------- Comment #4 from pthaugen at gcc dot gnu dot org  2008-04-18 14:47 -------
Is the workaround still appropriate, and if so, can it go in 4.3 and trunk now?


-- 


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

[Bug tree-optimization/34976] verify_ssa ICE with -ftree-loop-linear

[spop at gcc dot gnu dot org]

------- Comment #5 from spop at gcc dot gnu dot org  2008-05-08 15:54 -------
Subject: Re:  verify_ssa ICE with -ftree-loop-linear

The patch is already in trunk:

2008-02-29  Sebastian Pop  <sebastian.pop@amd.com>

        * tree-loop-linear.c (try_interchange_loops): Compare memory access
        strides against cache sizes.

I don't know if I can commit the patch to 4.3 to close the PR.
As I said before this is a workaround not a proper fix of the bug.

Sebastian


-- 


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

[Bug tree-optimization/34976] verify_ssa ICE with -ftree-loop-linear

[spop at gcc dot gnu dot org]

------- Comment #6 from spop at gcc dot gnu dot org  2008-06-07 22:58 -------
Subject: Bug 34976

Author: spop
Date: Sat Jun  7 22:57:55 2008
New Revision: 136543

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=136543
Log:
2008-05-08  Sebastian Pop  <sebastian.pop@amd.com>

        PR tree-optimization/34976
        * tree-loop-linear.c (try_interchange_loops): Look at size of
        caches: don't transform if the smallest stride is larger than
        the L2 cache, or if the largest stride multiplied by the number of
        iterations is smaller than the L1 cache.

        * testsuite/gcc.dg/tree-ssa/ltrans-8.c: Fix outer loop strides
        to be large enough to not be in L1 cache.


Modified:
    branches/gcc-4_3-branch/gcc/ChangeLog
    branches/gcc-4_3-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_3-branch/gcc/testsuite/gcc.dg/tree-ssa/ltrans-8.c
    branches/gcc-4_3-branch/gcc/tree-loop-linear.c


-- 


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

[Bug tree-optimization/34976] verify_ssa ICE with -ftree-loop-linear

[spop at gcc dot gnu dot org]

------- Comment #7 from spop at gcc dot gnu dot org  2008-06-07 22:59 -------
Fixed both in 4.3 and in trunk.


-- 

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=34976