[Bug middle-end/42393] [4.5 Regression] [graphite] internal compiler error: in check_loop_closed_ssa_use

[Bug middle-end/42393] [4.5 Regression] [graphite] internal compiler error: in check_loop_closed_ssa_use

[jv244 at cam dot ac dot uk]

-- 

jv244 at cam dot ac dot uk changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |spop at gcc dot gnu dot org
   Target Milestone|---                         |4.5.0


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

[Bug middle-end/42393] New: [4.5 Regression] [graphite] internal compiler error: in check_loop_closed_ssa_use

[jv244 at cam dot ac dot uk]

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

> gfortran  -c -fgraphite-identity -O2 bug.f90
bug.f90: In function ‘basym’:
bug.f90:4:0: internal compiler error: in check_loop_closed_ssa_use, at
tree-ssa-loop-manip.c:424
Please submit a full bug report,
with preprocessed source if appropriate.

> cat bug.f90
MODULE beta_gamma_psi
  INTEGER, PARAMETER :: dp=KIND(0.0D0)
CONTAINS
FUNCTION basym (a, b, lambda, eps) RESULT(fn_val)
    REAL(dp) :: a0(21), b0(21), bsum, c(21), d(21), dsum, &
      j0, j1, r, r0, r1, s, sum, t, t0, t1, &
      u, w, w0, z, z0, z2, zn, znm1
DO n = 2, num, 2
  DO i = n, np1
    b0(1) = r*a0(1)
    DO m = 2, i
      bsum = 0.0e0_dp
      mm1 = m - 1
      DO j = 1, mm1
        mmj = m - j
        bsum = bsum + (j*r - mmj)*a0(j)*b0(mmj)
      END DO
      b0(m) = r*a0(m) + bsum/m
    END DO
    c(i) = b0(i)/(i + 1.0e0_dp)
    d(i) = -(dsum + c(i))
  END DO
  t0 = d(n)*w*j0
  sum = sum + (t0 + t1)
END DO
fn_val = e0*t*u*sum
END FUNCTION basym
END MODULE beta_gamma_psi

> gfortran  -v -c -fgraphite-identity -O2 bug.f90
Using built-in specs.
COLLECT_GCC=gfortran
COLLECT_LTO_WRAPPER=/data03/vondele/gcc_trunk/build/libexec/gcc/x86_64-unknown-linux-gnu/4.5.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: /data03/vondele/gcc_trunk/gcc/configure --disable-bootstrap
--prefix=/data03/vondele/gcc_trunk/build --enable-languages=c,c++,fortran
--disable-multilib --with-ppl=/data03/vondele/gcc_trunk/build/
--with-cloog=/data03/vondele/gcc_trunk/build/
--with-libelf=/data03/vondele/libelf-0.8.12/build/ --enable-gold --enable-lto
--enable-plugins
Thread model: posix
gcc version 4.5.0 20091216 (experimental) [trunk revision 155286] (GCC)
COLLECT_GCC_OPTIONS='-v' '-c' '-fgraphite-identity' '-O2' '-mtune=generic'

/data03/vondele/gcc_trunk/build/libexec/gcc/x86_64-unknown-linux-gnu/4.5.0/f951
bug.f90 -quiet -dumpbase bug.f90 -mtune=generic -auxbase bug -O2 -version
-fgraphite-identity -fintrinsic-modules-path
/data03/vondele/gcc_trunk/build/lib/gcc/x86_64-unknown-linux-gnu/4.5.0/finclude
-o /tmp/ccrCN2bx.s
GNU Fortran (GCC) version 4.5.0 20091216 (experimental) [trunk revision 155286]
(x86_64-unknown-linux-gnu)
        compiled by GNU C version 4.3.1 20080507 (prerelease) [gcc-4_3-branch
revision 135036], GMP version 4.2.4, MPFR version 2.4.1, MPC version 0.8
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
GNU Fortran (GCC) version 4.5.0 20091216 (experimental) [trunk revision 155286]
(x86_64-unknown-linux-gnu)
        compiled by GNU C version 4.3.1 20080507 (prerelease) [gcc-4_3-branch
revision 135036], GMP version 4.2.4, MPFR version 2.4.1, MPC version 0.8
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
bug.f90: In function ‘basym’:
bug.f90:4:0: internal compiler error: in check_loop_closed_ssa_use, at
tree-ssa-loop-manip.c:424
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.


-- 
           Summary: [4.5 Regression] [graphite]  internal compiler error: in
                    check_loop_closed_ssa_use
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jv244 at cam dot ac dot uk


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

[Bug middle-end/42393] [4.5 Regression] [graphite] internal compiler error: in check_loop_closed_ssa_use

[spop at gcc dot gnu dot org]

------- Comment #1 from spop at gcc dot gnu dot org  2009-12-18 06:25 -------
Subject: Bug 42393

Author: spop
Date: Fri Dec 18 06:25:32 2009
New Revision: 155336

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

2009-12-17  Sebastian Pop  <sebastian.pop@amd.com>

        PR middle-end/42393
        * testsuite/gfortran.dg/graphite/pr42393.f90: New.

Added:
    branches/graphite/gcc/testsuite/gfortran.dg/graphite/pr42393.f90
Modified:
    branches/graphite/gcc/ChangeLog.graphite


-- 


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

[Bug middle-end/42393] [4.5 Regression] [graphite] internal compiler error: in check_loop_closed_ssa_use

[spop at gcc dot gnu dot org]

------- Comment #2 from spop at gcc dot gnu dot org  2009-12-18 06:26 -------
Fixed in the Graphite branch.


-- 

spop at gcc dot gnu dot org changed:

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


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

[Bug middle-end/42393] [4.5 Regression] [graphite] internal compiler error: in check_loop_closed_ssa_use

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2009-12-18 12:39 -------
Reopen.  Still a 4.5 regression.


-- 

rguenth at gcc dot gnu dot org changed:

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


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

[Bug middle-end/42393] [4.5 Regression] [graphite] internal compiler error: in check_loop_closed_ssa_use

[spop at gcc dot gnu dot org]

------- Comment #4 from spop at gcc dot gnu dot org  2009-12-23 07:51 -------
Subject: Bug 42393

Author: spop
Date: Wed Dec 23 07:50:43 2009
New Revision: 155421

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

2009-12-17  Sebastian Pop  <sebastian.pop@amd.com>

        PR middle-end/42393
        * testsuite/gfortran.dg/graphite/pr42393.f90: New.

Added:
    trunk/gcc/testsuite/gfortran.dg/graphite/pr42393.f90
Modified:
    trunk/gcc/ChangeLog.graphite


-- 


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

[Bug middle-end/42393] [4.5 Regression] [graphite] internal compiler error: in check_loop_closed_ssa_use

[spop at gcc dot gnu dot org]

------- Comment #5 from spop at gcc dot gnu dot org  2009-12-23 07:53 -------
Fixed.


-- 

spop at gcc dot gnu dot org changed:

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


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

[Bug middle-end/42393] [4.5 Regression] [graphite] internal compiler error: in check_loop_closed_ssa_use

[spop at gcc dot gnu dot org]

------- Comment #6 from spop at gcc dot gnu dot org  2009-12-23 18:27 -------
Seems like this is fixed by the patch from PR42221.


-- 

spop at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |42221
             Status|RESOLVED                    |UNCONFIRMED
         Resolution|FIXED                       |


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

[Bug middle-end/42393] [4.5 Regression] [graphite] internal compiler error: in check_loop_closed_ssa_use

[howarth at nitro dot med dot uc dot edu]

------- Comment #7 from howarth at nitro dot med dot uc dot edu  2009-12-24 02:37 -------
Still fails on x86_64-apple-darwin10 at r155434...

Executing on host:
/sw/src/fink.build/gcc45-4.4.999-20091223/darwin_objdir/gcc/testsuite/gfortran/../../gfortran
-B/sw/src/fink.build/gcc45-4.4.999-20091223/darwin_objdir/gcc/testsuite/gfortran/../../
/sw/src/fink.build/gcc45-4.4.999-20091223/gcc-4.5-20091223/gcc/testsuite/gfortran.dg/graphite/pr42393.f90
  -O  -fgraphite-identity -O2 -S  -o pr42393.s    (timeout = 300)
/sw/src/fink.build/gcc45-4.4.999-20091223/gcc-4.5-20091223/gcc/testsuite/gfortran.dg/graphite/pr42393.f90:
In function 'basym':
/sw/src/fink.build/gcc45-4.4.999-20091223/gcc-4.5-20091223/gcc/testsuite/gfortran.dg/graphite/pr42393.f90:6:0:
internal compiler error: in check_loop_closed_ssa_use, at
tree-ssa-loop-manip.c:424
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
compiler exited with status 1
output is:
/sw/src/fink.build/gcc45-4.4.999-20091223/gcc-4.5-20091223/gcc/testsuite/gfortran.dg/graphite/pr42393.f90:
In function 'basym':
/sw/src/fink.build/gcc45-4.4.999-20091223/gcc-4.5-20091223/gcc/testsuite/gfortran.dg/graphite/pr42393.f90:6:0:
internal compiler error: in check_loop_closed_ssa_use, at
tree-ssa-loop-manip.c:424
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

FAIL: gfortran.dg/graphite/pr42393.f90  -O  (internal compiler error)
FAIL: gfortran.dg/graphite/pr42393.f90  -O  (test for excess errors)
Excess errors:
/sw/src/fink.build/gcc45-4.4.999-20091223/gcc-4.5-20091223/gcc/testsuite/gfortran.dg/graphite/pr42393.f90:6:0:
internal compiler error: in check_loop_closed_ssa_use, at
tree-ssa-loop-manip.c:424


-- 


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

[Bug middle-end/42393] [4.5 Regression] [graphite] internal compiler error: in check_loop_closed_ssa_use

[howarth at nitro dot med dot uc dot edu]

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



------- Comment #8 from howarth at nitro dot med dot uc dot edu  2009-12-24 03:56 -------
This can't be backtraced after the crash but the last breakpoint on
tree-ssa-loop-manip.c:425 before the crash shows...

Breakpoint 1, check_loop_closed_ssa_use (bb=0x141e793a8, use=0x141e90160) at
../../gcc-4.5-20091223/gcc/tree-ssa-loop-manip.c:425
425     }
#0  check_loop_closed_ssa_use (bb=0x141e793a8, use=0x141e90160) at
../../gcc-4.5-20091223/gcc/tree-ssa-loop-manip.c:425
#1  0x00000001007b9010 in verify_loop_closed_ssa () at
../../gcc-4.5-20091223/gcc/tree-ssa-loop-manip.c:464
#2  0x0000000100527d99 in translate_clast (region=<value temporarily
unavailable, due to optimizations>, stmt=<value temporarily unavailable, due to
optimizations>, next_e=<value temporarily unavailable, due to optimizations>,
rename_map=<value temporarily unavailable, due to optimizations>, newivs=<value
temporarily unavailable, due to optimizations>, newivs_index=<value temporarily
unavailable, due to optimizations>, bb_pbb_mapping=<value temporarily
unavailable, due to optimizations>, params_index=<value temporarily
unavailable, due to optimizations>) at
../../gcc-4.5-20091223/gcc/graphite-clast-to-gimple.c:65
#3  0x00000001005286fc in translate_clast (region=<value temporarily
unavailable, due to optimizations>, stmt=<value temporarily unavailable, due to
optimizations>, next_e=<value temporarily unavailable, due to optimizations>,
rename_map=<value temporarily unavailable, due to optimizations>, newivs=<value
temporarily unavailable, due to optimizations>, newivs_index=<value temporarily
unavailable, due to optimizations>, bb_pbb_mapping=<value temporarily
unavailable, due to optimizations>, params_index=<value temporarily
unavailable, due to optimizations>) at
../../gcc-4.5-20091223/gcc/graphite-clast-to-gimple.c:832
#4  0x000000010052a294 in gloog (scop=<value temporarily unavailable, due to
optimizations>, bb_pbb_mapping=<value temporarily unavailable, due to
optimizations>) at ../../gcc-4.5-20091223/gcc/graphite-clast-to-gimple.c:1451
#5  0x0000000100523882 in graphite_transform_loops () at
../../gcc-4.5-20091223/gcc/graphite.c:277
#6  0x00000001007c734a in graphite_transforms () at
../../gcc-4.5-20091223/gcc/tree-ssa-loop.c:300
#7  0x00000001006095ee in execute_one_pass (pass=0x100c7fda0) at
../../gcc-4.5-20091223/gcc/passes.c:1561
#8  0x00000001006098bd in execute_pass_list (pass=0x100c7fda0) at
../../gcc-4.5-20091223/gcc/passes.c:1616
#9  0x00000001006098cf in execute_pass_list (pass=0x100c7fb00) at
../../gcc-4.5-20091223/gcc/passes.c:1617
#10 0x00000001006098cf in execute_pass_list (pass=0x100c7f140) at
../../gcc-4.5-20091223/gcc/passes.c:1617
#11 0x0000000100738d58 in tree_rest_of_compilation (fndecl=0x141df1c00) at
../../gcc-4.5-20091223/gcc/tree-optimize.c:413
#12 0x00000001008f37f3 in cgraph_expand_function (node=<value temporarily
unavailable, due to optimizations>) at
../../gcc-4.5-20091223/gcc/cgraphunit.c:1544
#13 0x00000001008f66ea in cgraph_optimize () at
../../gcc-4.5-20091223/gcc/cgraphunit.c:1623
#14 0x00000001008f6ccd in cgraph_finalize_compilation_unit () at
../../gcc-4.5-20091223/gcc/cgraphunit.c:1093
#15 0x000000010059b8b6 in write_global_declarations () at
../../gcc-4.5-20091223/gcc/langhooks.c:309
#16 0x00000001006ce9c2 in toplev_main (argc=18, argv=0x7fff5fbfd9c8) at
../../gcc-4.5-20091223/gcc/toplev.c:1061
#17 0x0000000100001534 in start ()
/sw/src/fink.build/gcc45-4.4.999-20091223/gcc-4.5-20091223/gcc/testsuite/gfortran.dg/graphite/pr42393.f90:
In function ‘basym’:
/sw/src/fink.build/gcc45-4.4.999-20091223/gcc-4.5-20091223/gcc/testsuite/gfortran.dg/graphite/pr42393.f90:6:0:
internal compiler error: in check_loop_closed_ssa_use, at
tree-ssa-loop-manip.c:424
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Program exited with code 04.


-- 


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

[Bug middle-end/42393] [4.5 Regression] [graphite] internal compiler error: in check_loop_closed_ssa_use

[dominiq at lps dot ens dot fr]

------- Comment #9 from dominiq at lps dot ens dot fr  2010-01-01 16:05 -------
Confirmed with both -m32 or -m64 on x86_64-apple-darwin10 (revision 155540) and
on powerpc-apple-darwin9 (revision 155525: see
http://gcc.gnu.org/ml/gcc-testresults/2010-01/msg00043.html ).

Also fails on x86_64-unknown-linux-gnu (revision 155546, see
http://gcc.gnu.org/ml/gcc-testresults/2010-01/msg00048.html ).


-- 


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

[Bug middle-end/42393] [4.5 Regression] [graphite] internal compiler error: in check_loop_closed_ssa_use

[rguenth at gcc dot gnu dot org]

-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P1


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

[Bug middle-end/42393] [4.5 Regression] [graphite] internal compiler error: in check_loop_closed_ssa_use

[spop at gcc dot gnu dot org]

------- Comment #10 from spop at gcc dot gnu dot org  2010-01-08 08:22 -------
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         |2010-01-08 08:22:09
               date|                            |


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

[Bug middle-end/42393] [4.5 Regression] [graphite] internal compiler error: in check_loop_closed_ssa_use

[spop at gcc dot gnu dot org]

------- Comment #11 from spop at gcc dot gnu dot org  2010-01-08 18:58 -------
On the graphite branch this fails with the following options:
gfortran -O2 -fno-loop-block -fno-loop-interchange -fno-loop-strip-mine
-fgraphite-identity pr42393.f90
Here is a further reduced testcase.

MODULE beta_gamma_psi
  INTEGER, PARAMETER :: dp=KIND(0.0D0)
CONTAINS
  FUNCTION basym () RESULT(fn_val)
    REAL(dp) :: b0(21), bsum, d(21)
    DO n = 2, num, 2
       DO i = n, np1
          b0(1) = 1
          DO m = 2, i
             mm1 = m - 1
             DO j = 1, mm1
                bsum = bsum + b0(j)
             END DO
             b0(m) = bsum
          END DO
          d(i) = -b0(i)
       END DO
       sum = sum + d(n)
    END DO
    fn_val = sum
  END FUNCTION basym
END MODULE beta_gamma_psi

The problem seems to be in the code generation when replacing the end
value from a loop.


-- 


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

[Bug middle-end/42393] [4.5 Regression] [graphite] internal compiler error: in check_loop_closed_ssa_use

[spop at gcc dot gnu dot org]

------- Comment #12 from spop at gcc dot gnu dot org  2010-01-10 20:46 -------
Subject: Bug 42393

Author: spop
Date: Sun Jan 10 20:46:28 2010
New Revision: 155793

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

2010-01-08  Sebastian Pop  <sebastian.pop@amd.com>

        PR middle-end/42393
        * graphite-clast-to-gimple.c: Fix formatting.
        * sese.c (defined_in_loop_p): Renamed name_defined_in_loop_p.
        (expr_defined_in_loop_p): New.
        (add_loop_exit_phis): Also handle full expressions: remove from
        the rename_map the expressions defined in the loop that we're closing.

        * testsuite/gfortran.dg/graphite/pr42393-1.f90: New.
        * testsuite/gfortran.dg/graphite/pr42393.f90: Add new flags
        -fno-loop-block -fno-loop-interchange -fno-loop-strip-mine to also
        make this testcase useful in the Graphite branch.

Added:
    branches/graphite/gcc/testsuite/gfortran.dg/graphite/pr42393-1.f90
Modified:
    branches/graphite/gcc/ChangeLog.graphite
    branches/graphite/gcc/graphite-clast-to-gimple.c
    branches/graphite/gcc/sese.c
    branches/graphite/gcc/testsuite/gfortran.dg/graphite/pr42393.f90


-- 


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

[Bug middle-end/42393] [4.5 Regression] [graphite] internal compiler error: in check_loop_closed_ssa_use

[spop at gcc dot gnu dot org]

------- Comment #13 from spop at gcc dot gnu dot org  2010-01-10 21:46 -------
Subject: Bug 42393

Author: spop
Date: Sun Jan 10 21:46:42 2010
New Revision: 155795

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

2010-01-08  Sebastian Pop  <sebastian.pop@amd.com>

        PR middle-end/42393
        * graphite-clast-to-gimple.c: Fix formatting.
        * sese.c (defined_in_loop_p): Renamed name_defined_in_loop_p.
        (expr_defined_in_loop_p): New.
        (add_loop_exit_phis): Also handle full expressions: remove from
        the rename_map the expressions defined in the loop that we're closing.

        * testsuite/gfortran.dg/graphite/pr42393-1.f90: New.
        * testsuite/gfortran.dg/graphite/pr42393.f90: Add new flags
        -fno-loop-block -fno-loop-interchange -fno-loop-strip-mine to also
        make this testcase useful in the Graphite branch.

Added:
    trunk/gcc/testsuite/gfortran.dg/graphite/pr42393-1.f90
Modified:
    trunk/gcc/ChangeLog.graphite
    trunk/gcc/graphite-clast-to-gimple.c
    trunk/gcc/sese.c
    trunk/gcc/testsuite/gfortran.dg/graphite/pr42393.f90


-- 


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

[Bug middle-end/42393] [4.5 Regression] [graphite] internal compiler error: in check_loop_closed_ssa_use

[spop at gcc dot gnu dot org]

------- Comment #14 from spop at gcc dot gnu dot org  2010-01-10 21:47 -------
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=42393