[Bug tree-optimization/46994] New: [4.6 Regression] ICE: in check_loop_closed_ssa_use, at tree-ssa-loop-manip.c:422 with -fgraphite-identity -fno-tree-dce -ffast-math

[Bug tree-optimization/46994] New: [4.6 Regression] ICE: in check_loop_closed_ssa_use, at tree-ssa-loop-manip.c:422 with -fgraphite-identity -fno-tree-dce -ffast-math

[zsojka at seznam dot cz]

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

           Summary: [4.6 Regression] ICE: in check_loop_closed_ssa_use, at
                    tree-ssa-loop-manip.c:422 with -fgraphite-identity
                    -fno-tree-dce -ffast-math
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: zsojka@seznam.cz
                CC: spop@gcc.gnu.org
              Host: x86_64-pc-linux-gnu
            Target: x86_64-pc-linux-gnu


Created attachment 22802
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=22802
reduced testcase (from pr42180.f90)

Compiler output:
$ gcc -O -ffast-math -fgraphite-identity -fno-tree-dce pr46994.f90 
pr46994.f90: In function 'foo':
pr46994.f90:1:0: internal compiler error: in check_loop_closed_ssa_use, at
tree-ssa-loop-manip.c:422
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

Tested revisions:
r167954 - crash
r165699 - OK
4.5 r166509 - OK

[Bug tree-optimization/46994] [4.6 Regression] ICE: in check_loop_closed_ssa_use, at tree-ssa-loop-manip.c:422 with -fgraphite-identity -fno-tree-dce -ffast-math

[hjl.tools at gmail dot com]

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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2010.12.17 19:44:44
                 CC|                            |matz at gcc dot gnu.org
   Target Milestone|---                         |4.6.0
     Ever Confirmed|0                           |1

--- Comment #1 from H.J. Lu <hjl.tools at gmail dot com> 2010-12-17 19:44:44 UTC ---
It is caused by revision 167184:

http://gcc.gnu.org/ml/gcc-cvs/2010-11/msg01074.html

[Bug tree-optimization/46994] [4.6 Regression] ICE: in check_loop_closed_ssa_use, at tree-ssa-loop-manip.c:422 with -fgraphite-identity -fno-tree-dce -ffast-math

[spop at gcc dot gnu.org]

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

Sebastian Pop <spop at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |ASSIGNED
         AssignedTo|unassigned at gcc dot       |spop at gcc dot gnu.org
                   |gnu.org                     |

--- Comment #2 from Sebastian Pop <spop at gcc dot gnu.org> 2011-02-04 07:55:56 UTC ---
Patch:
http://gcc.gnu.org/ml/gcc-patches/2011-02/msg00277.html

[Bug tree-optimization/46994] [4.6 Regression] ICE: in check_loop_closed_ssa_use, at tree-ssa-loop-manip.c:422 with -fgraphite-identity -fno-tree-dce -ffast-math

[spop at gcc dot gnu.org]

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

--- Comment #3 from Sebastian Pop <spop at gcc dot gnu.org> 2011-02-08 16:54:03 UTC ---
Author: spop
Date: Tue Feb  8 16:53:57 2011
New Revision: 169928

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=169928
Log:
Fix PRs 46834, 46994, and 46995: only rewrite reductions not containing other
computations.

2011-02-08  Sebastian Pop  <sebastian.pop@amd.com>

    PR tree-optimization/46834
    PR tree-optimization/46994
    PR tree-optimization/46995
    * graphite-sese-to-poly.c (used_outside_reduction): New.
    (detect_commutative_reduction): Call used_outside_reduction.
    (rewrite_commutative_reductions_out_of_ssa_close_phi): Call
    translate_scalar_reduction_to_array only when at least one
    loop-phi/close-phi tuple has been detected.

    * gcc.dg/graphite/id-pr46834.c: New.
    * gfortran.dg/graphite/id-pr46994.f90: New.
    * gfortran.dg/graphite/id-pr46995.f90: New.

Added:
    trunk/gcc/testsuite/gcc.dg/graphite/id-pr46834.c
    trunk/gcc/testsuite/gfortran.dg/graphite/id-pr46994.f90
    trunk/gcc/testsuite/gfortran.dg/graphite/id-pr46995.f90
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/graphite-sese-to-poly.c
    trunk/gcc/testsuite/ChangeLog

[Bug tree-optimization/46994] [4.6 Regression] ICE: in check_loop_closed_ssa_use, at tree-ssa-loop-manip.c:422 with -fgraphite-identity -fno-tree-dce -ffast-math

[spop at gcc dot gnu.org]

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

Sebastian Pop <spop at gcc dot gnu.org> changed:

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

--- Comment #4 from Sebastian Pop <spop at gcc dot gnu.org> 2011-02-08 16:56:20 UTC ---
Fixed.