[Bug c/31041] New: ice for legal code with -O2 -ftree-vectorize

[Bug c/31041] New: ice for legal code with -O2 -ftree-vectorize

[dcb314 at hotmail dot com]

I just tried to compile a Suse Linux package 
with the GNU C++ compiler version 4.3 snapshot 20070302.

The compiler said

utrie.c: In function 'utrie_open_3_4':
utrie.c:51: error: invalid operand to binary operator
(int) j_93;

utrie.c:51: error: incorrect sharing of tree nodes
vect_cst_.1224_132 = {(int) j_93, stmp_var_.1221_129, stmp_var_.1222_130,
stmp_var_.1223_131};

(int) j_93;

utrie.c:51: internal compiler error: verify_stmts failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.

Preprocessed source code attached. Flags -O2 -ftree-vectorize required.


-- 
           Summary: ice for legal code with -O2 -ftree-vectorize
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dcb314 at hotmail dot com
  GCC host triplet: x86_64-suse-linux


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

[Bug c/31041] ice for legal code with -O2 -ftree-vectorize

[dcb314 at hotmail dot com]

------- Comment #1 from dcb314 at hotmail dot com  2007-03-05 10:50 -------
Created an attachment (id=13144)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=13144&action=view)
C source code


-- 


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

[Bug c/31041] ice for legal code with -O2 -ftree-vectorize

[tbm at cyrius dot com]

------- Comment #2 from tbm at cyrius dot com  2007-03-05 13:09 -------
Reduced testcase:

typedef int int32_t;
struct UNewTrie
{
  int32_t index[(0x110000 >> 1)];
};
typedef struct UNewTrie UNewTrie;
utrie_open_3_4 ()
{
  UNewTrie *trie;
  int32_t i, j;
    {
      i = 0;
      do
        {
          trie->index[i++] = j;
          j += 1;
        }
      while (i < 5);
    }
}


-- 

tbm at cyrius dot com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |tbm at cyrius dot com


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

[Bug c/31041] [4.3 Regression] ice (verify_stmts failed: invalid operand to binary operator) with -O2 -ftree-vectorize

[tbm at gcc dot gnu dot org]

------- Comment #3 from tbm at gcc dot gnu dot org  2007-03-05 13:11 -------
confirmed with GCC 4.3.0 20070303.  4.2.0 works.


-- 

tbm at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
           Keywords|                            |ice-on-valid-code
      Known to work|                            |4.2.0
   Last reconfirmed|0000-00-00 00:00:00         |2007-03-05 13:11:16
               date|                            |
            Summary|ice for legal code with -O2 |[4.3 Regression] ice
                   |-ftree-vectorize            |(verify_stmts failed:
                   |                            |invalid operand to binary
                   |                            |operator) with -O2 -ftree-
                   |                            |vectorize
   Target Milestone|---                         |4.3.0


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

[Bug c/31041] [4.3 Regression] verify_stmts failed: invalid operand to binary operator with -O2 -ftree-vectorize

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2007-03-05 13:46 -------
Two times invalid gimple:

<L20>:;
  stmp_var_.41_63 = (int) j_34 + 1; 
  stmp_var_.42_64 = stmp_var_.41_63 + 1;
  stmp_var_.43_65 = stmp_var_.42_64 + 1;
  vect_cst_.44_66 = {(int) j_34, stmp_var_.41_63, stmp_var_.42_64,
stmp_var_.43_65};

in tree-vect-transform.c:get_initial_def_for_induction we fail to gimplify
the init_expr.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dorit at il dot ibm dot com


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

[Bug tree-optimization/31041] [4.3 Regression] verify_stmts failed: invalid operand to binary operator with -O2 -ftree-vectorize

[dorit at il dot ibm dot com]

------- Comment #5 from dorit at il dot ibm dot com  2007-03-05 20:15 -------
I'm travelling now, but can prepare a fix when I'm back (next week).


-- 


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

[Bug tree-optimization/31041] [4.3 Regression] verify_stmts failed: invalid operand to binary operator with -O2 -ftree-vectorize

[dorit at gcc dot gnu dot org]

------- Comment #6 from dorit at gcc dot gnu dot org  2007-03-17 14:43 -------
Subject: Bug 31041

Author: dorit
Date: Sat Mar 17 14:43:30 2007
New Revision: 123023

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=123023
Log:
        PR tree-optimization/31041
        * tree-vect-transform.c (get_initial_def_for_induction): Call
        force_gimple_operand.


Added:
    trunk/gcc/testsuite/gcc.dg/vect/pr31041.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vect-transform.c


-- 


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

[Bug tree-optimization/31041] [4.3 Regression] verify_stmts failed: invalid operand to binary operator with -O2 -ftree-vectorize

[pinskia at gcc dot gnu dot org]

------- Comment #7 from pinskia at gcc dot gnu dot org  2007-04-15 07:09 -------
Fixed.


-- 

pinskia at gcc dot gnu dot org changed:

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


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

[Bug tree-optimization/31041] [4.3 Regression] verify_stmts failed: invalid operand to binary operator with -O2 -ftree-vectorize

[tprince at computer dot org]

------- Comment #8 from tprince at computer dot org  2008-03-03 16:20 -------
pr31341 has a patch attached to allow the test case to run on targets where
there is checking for conflicts with stdint.h


-- 


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