[Bug tree-optimization/50735] New: [4.7 Regression] gcc.dg/torture/vector-2.c:52:1: ICE: verify_ssa failed at -O1 and above

[Bug tree-optimization/50735] New: [4.7 Regression] gcc.dg/torture/vector-2.c:52:1: ICE: verify_ssa failed at -O1 and above

[danglin at gcc dot gnu.org]

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

             Bug #: 50735
           Summary: [4.7 Regression] gcc.dg/torture/vector-2.c:52:1: ICE:
                    verify_ssa failed at -O1 and above
    Classification: Unclassified
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: danglin@gcc.gnu.org
              Host: hppa2.0w-hp-hpux11.11
            Target: hppa2.0w-hp-hpux11.11
             Build: hppa2.0w-hp-hpux11.11


Executing on host: /test/gnu/gcc/objdir/gcc/xgcc -B/test/gnu/gcc/objdir/gcc/
/te
st/gnu/gcc/gcc/gcc/testsuite/gcc.dg/torture/vector-2.c    -O1    -lm   -o
./vect
or-2.exe    (timeout =
300)/test/gnu/gcc/gcc/gcc/testsuite/gcc.dg/torture/vector-2.c: In function
'f0':
/test/gnu/gcc/gcc/gcc/testsuite/gcc.dg/torture/vector-2.c:52:1: error:
statement makes a memory store, but has no VDEFSBIT_FIELD_REF <t.13_8, 32, 0> =
a_2(D);
/test/gnu/gcc/gcc/gcc/testsuite/gcc.dg/torture/vector-2.c:52:1: internal
compile
r error: verify_ssa failed

-bash-3.2$ ./xgcc -B./ -v
Reading specs from ./specs
COLLECT_GCC=./xgcc
COLLECT_LTO_WRAPPER=./lto-wrapper
Target: hppa2.0w-hp-hpux11.11
Configured with: ../gcc/configure --with-gnu-as --with-as=/opt/gnu/bin/as
--enable-shared --with-local-prefix=/opt/gnu --prefix=/opt/gnu/gcc/gcc-4.7
--with-gmp=/opt/gnu/gcc/gmp --enable-threads=posix --enable-debug=no
--disable-nls --without-cloog --without-ppl
--enable-languages=c,c++,objc,fortran,java,ada,obj-c++
Thread model: posix
gcc version 4.7.0 20111013 (experimental) [trunk revision 179947] (GCC)

[Bug tree-optimization/50735] [4.7 Regression] gcc.dg/torture/vector-2.c:52:1: ICE: verify_ssa failed at -O1 and above

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011-10-15
                 CC|                            |jakub at gcc dot gnu.org
   Target Milestone|---                         |4.7.0
     Ever Confirmed|0                           |1

--- Comment #1 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-10-15 08:44:51 UTC ---
Maybe caused by the addressable changes.  Clearly the IL is invalid because
we have a partial def of an SSA name.

[Bug tree-optimization/50735] [4.7 Regression] gcc.dg/torture/vector-2.c:52:1: ICE: verify_ssa failed at -O1 and above

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-10-15 10:48:12 UTC ---
Created attachment 25509
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=25509
gcc47-pr50735.patch

Untested fix.  Alternatively we could do:
                  /* If PARM was addressable, move that flag over
                     to the local copy, as its address will be taken,
                     not the PARMs.  Keep the parms address taken
                     as we'll query that flag during gimplification.  */
                  if (TREE_ADDRESSABLE (parm))
                    {
                      local = create_tmp_var (type, get_name (parm));
                      TREE_ADDRESSABLE (local) = 1;
                    }
                  else
                    local = create_tmp_reg (type, get_name (parm));
                  DECL_IGNORED_P (local) = 0;

[Bug tree-optimization/50735] [4.7 Regression] gcc.dg/torture/vector-2.c:52:1: ICE: verify_ssa failed at -O1 and above

[jakub at gcc dot gnu.org]

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

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-10-18 15:33:16 UTC ---
Author: jakub
Date: Tue Oct 18 15:33:12 2011
New Revision: 180154

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=180154
Log:
    PR tree-optimization/50735
    * function.c (gimplify_parameters): Use create_tmp_var instead of
    create_tmp_reg.  If parm is not TREE_ADDRESSABLE and type is complex
    or vector type, set DECL_GIMPLE_REG_P.

Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/function.c

[Bug tree-optimization/50735] [4.7 Regression] gcc.dg/torture/vector-2.c:52:1: ICE: verify_ssa failed at -O1 and above

[jakub at gcc dot gnu.org]

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

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

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

--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-10-19 09:04:17 UTC ---
Fixed.