[Bug tree-optimization/66926] New: [6 regression] FAIL: gfortran.dg/graphite/vect-pr40979.f90 -O (internal compiler error)

[Bug tree-optimization/66926] New: [6 regression] FAIL: gfortran.dg/graphite/vect-pr40979.f90 -O (internal compiler error)

[schwab@linux-m68k.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66926

            Bug ID: 66926
           Summary: [6 regression] FAIL:
                    gfortran.dg/graphite/vect-pr40979.f90   -O  (internal
                    compiler error)
           Product: gcc
           Version: 6.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: schwab@linux-m68k.org
                CC: ienkovich at gcc dot gnu.org, ysrumyan at gmail dot com
  Target Milestone: ---
            Target: aarch64-*-*

$ gcc/gfortran -Bgcc/ -Baarch64-suse-linux/./libgfortran/
../gcc/testsuite/gfortran.dg/graphite/vect-pr40979.f90 -O2 -fgraphite-identity
-ftree-vectorize -fno-vect-cost-model -fdump-tree-vect-details -ffast-math -S
-o vect-pr40979.s
../gcc/testsuite/gfortran.dg/graphite/vect-pr40979.f90:8:0:

       subroutine mutual_ind_quad_cir_coil (m, l12)
^
Error: definition in block 18 does not dominate use in block 10
for SSA_NAME: .MEM_107 in statement:
# VUSE <.MEM_107>
vect__119.42_81 = MEM[(real(kind=8) *)vectp_w2gauss.40_142];
../gcc/testsuite/gfortran.dg/graphite/vect-pr40979.f90:8:0: internal compiler
error: verify_ssa failed
0xdde88f verify_ssa(bool, bool)
        ../../gcc/tree-ssa.c:1047
0xb1a163 execute_function_todo
        ../../gcc/passes.c:1955
0xb1aa47 execute_todo
        ../../gcc/passes.c:2005

5ee742c436320e28bd6d977f0f734d65830bca46 is the first bad commit
    git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@225923
138bc75d-0d04-0410-961f-82ee72b054a4

[Bug tree-optimization/66926] [6 regression] FAIL: gfortran.dg/graphite/vect-pr40979.f90 -O (internal compiler error)

[schwab@linux-m68k.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66926

Andreas Schwab <schwab@linux-m68k.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |6.0

[Bug tree-optimization/66926] [6 regression] FAIL: gfortran.dg/graphite/vect-pr40979.f90 -O (internal compiler error)

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66926

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Target|aarch64-*-*                 |aarch64-*-* x86_64-*-*
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2015-07-18
     Ever confirmed|0                           |1

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Also fails on x86_64:
https://gcc.gnu.org/ml/gcc-regression/2015-07/msg00366.html

[Bug tree-optimization/66926] [6 regression] FAIL: gfortran.dg/graphite/vect-pr40979.f90 -O (internal compiler error)

[ysrumyan at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66926

--- Comment #2 from Yuri Rumyantsev <ysrumyan at gmail dot com> ---
Could somebody provides me with an instruction how to build trunk (fresh)
compiler with graphite?

Thanks.

[Bug tree-optimization/66926] [6 regression] FAIL: gfortran.dg/graphite/vect-pr40979.f90 -O (internal compiler error)

[schwab@linux-m68k.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66926

--- Comment #3 from Andreas Schwab <schwab@linux-m68k.org> ---
See <https://gcc.gnu.org/install/prerequisites.html>.  The sources are
available in <ftp://gcc.gnu.org/pub/gcc/infrastructure/>.

[Bug tree-optimization/66926] [6 regression] FAIL: gfortran.dg/graphite/vect-pr40979.f90 -O (internal compiler error)

[ysrumyan at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66926

--- Comment #4 from Yuri Rumyantsev <ysrumyan at gmail dot com> ---
I have a fix in my local area which cures ICE and perform outer-loop
vectorization:
vect-pr40979.f90:8:0: note: LOOP VECTORIZED
vect-pr40979.f90:8:0: note: OUTER LOOP VECTORIZED

Bug 66951 was filed for the same problem.

[Bug tree-optimization/66926] [6 regression] FAIL: gfortran.dg/graphite/vect-pr40979.f90 -O (internal compiler error)

[ienkovich at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66926

--- Comment #5 from Ilya Enkovich <ienkovich at gcc dot gnu.org> ---
Author: ienkovich
Date: Thu Jul 23 11:13:00 2015
New Revision: 226103

URL: https://gcc.gnu.org/viewcvs?rev=226103&root=gcc&view=rev
Log:
gcc/

        PR tree-optimization/66926,66951
        * tree-vect-loop-manip.c (slpeel_tree_peel_loop_to_edge): Delete
        INNER_LOOP and fix up condition for renaming virtual operands.

gcc/testsuite/

        PR tree-optimization/66926,66951
        * gcc.dg/vect/pr66951.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/vect/pr66951.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vect-loop-manip.c

[Bug tree-optimization/66926] [6 regression] FAIL: gfortran.dg/graphite/vect-pr40979.f90 -O (internal compiler error)

[pinskia at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66926

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |su at cs dot ucdavis.edu

--- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
*** Bug 66951 has been marked as a duplicate of this bug. ***

[Bug tree-optimization/66926] [6 regression] FAIL: gfortran.dg/graphite/vect-pr40979.f90 -O (internal compiler error)

[spop at gcc dot gnu.org]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66926

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |spop at gcc dot gnu.org
         Resolution|---                         |FIXED

--- Comment #7 from Sebastian Pop <spop at gcc dot gnu.org> ---
Passes with gfortran in trunk with ISL-0.15: 

$ time gfortran vect-pr40979.f90 -O2 -fgraphite-identity -ftree-vectorize
-fno-vect-cost-model -fdump-tree-vect-details -ffast-math -S

real 0m0.372s