[Bug tree-optimization/46995] [4.6 Regression] ICE: verify_ssa failed: definition in block 11 does not dominate use in block 16 with -fgraphite-identity -fno-tree-dce -ffast-math

[spop at gcc dot gnu.org]

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

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