[Bug tree-optimization/54889] New: [4.8 Regression] Revision 191983 gives compfail for 465.tonto in SPEC CPU 2006 when use -O3 -mavx

[Bug tree-optimization/54889] New: [4.8 Regression] Revision 191983 gives compfail for 465.tonto in SPEC CPU 2006 when use -O3 -mavx

[izamyatin at gmail dot com]

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

             Bug #: 54889
           Summary: [4.8 Regression] Revision 191983 gives compfail for
                    465.tonto in SPEC CPU 2006 when use -O3 -mavx
    Classification: Unclassified
           Product: gcc
           Version: 4.8.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: izamyatin@gmail.com


Revision 191983 gives

gfortran     -c -o binmat.fppized.o -O3    binmat.fppized.f90 -mavx

binmat.fppized.f90: In function ‘expand’:
binmat.fppized.f90:268:0: error: incorrect type of vector CONSTRUCTOR elements
    subroutine expand(self,dim1,dim2)
 ^
{_211, _213, _215, _217, _219, _221, _223, _225}

vect_cst_.193_227 = {_211, _213, _215, _217, _219, _221, _223, _225};

binmat.fppized.f90:268:0: internal compiler error: verify_gimple failed
0x9498ac verify_gimple_in_cfg(function*)
        ../../gcc/tree-cfg.c:4727
0x886b88 execute_function_todo
        ../../gcc/passes.c:1956
0x8878ad execute_todo
        ../../gcc/passes.c:1989
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <http://gcc.gnu.org/bugs.html> for instructions.

Without -mavx compilation is fine

[Bug tree-optimization/54889] [4.8 Regression] Revision 191983 gives compfail for 465.tonto in SPEC CPU 2006 when use -O3 -mavx

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2012-10-11
         AssignedTo|unassigned at gcc dot       |jakub at gcc dot gnu.org
                   |gnu.org                     |
     Ever Confirmed|0                           |1

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-10-11 09:19:33 UTC ---
Created attachment 28420
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=28420
gcc48-pr54889.patch

Untested fix.

[Bug tree-optimization/54889] [4.8 Regression] Revision 191983 gives compfail for 465.tonto in SPEC CPU 2006 when use -O3 -mavx

[izamyatin at gmail dot com]

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

--- Comment #2 from Igor Zamyatin <izamyatin at gmail dot com> 2012-10-11 11:40:39 UTC ---
Now I see no compfails on the whole spec test 465

[Bug tree-optimization/54889] [4.8 Regression] Revision 191983 gives compfail for 465.tonto in SPEC CPU 2006 when use -O3 -mavx

[rguenth at gcc dot gnu.org]

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

Richard Biener <rguenth at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |4.8.0

[Bug tree-optimization/54889] [4.8 Regression] Revision 191983 gives compfail for 465.tonto in SPEC CPU 2006 when use -O3 -mavx

[izamyatin at gmail dot com]

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

--- Comment #3 from Igor Zamyatin <izamyatin at gmail dot com> 2012-10-16 11:12:47 UTC ---
Jakub, are you going to commit the fix or there are some issues with it?

[Bug tree-optimization/54889] [4.8 Regression] Revision 191983 gives compfail for 465.tonto in SPEC CPU 2006 when use -O3 -mavx

[jakub at gcc dot gnu.org]

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-10-16 11:19:42 UTC ---
Author: jakub
Date: Tue Oct 16 11:19:37 2012
New Revision: 192493

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=192493
Log:
    PR tree-optimization/54889
    * tree-vect-stmts.c (vectorizable_load): Add VIEW_CONVERT_EXPR if
    ARRAY_REF newref doesn't have compatible type with vectype element
    type, use vectype element type for MEM_REF.

    * gfortran.dg/pr54889.f90: New test.

Added:
    trunk/gcc/testsuite/gfortran.dg/pr54889.f90
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vect-stmts.c

[Bug tree-optimization/54889] [4.8 Regression] Revision 191983 gives compfail for 465.tonto in SPEC CPU 2006 when use -O3 -mavx

[jakub at gcc dot gnu.org]

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

Jakub Jelinek <jakub at gcc dot gnu.org> changed:

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

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2012-10-22 11:05:51 UTC ---
Fixed.