[Bug c/49518] New: ICE in vect_enhance_data_refs_alignment, at tree-vect-data-refs.c:1555

[Bug c/49518] New: ICE in vect_enhance_data_refs_alignment, at tree-vect-data-refs.c:1555

[regehr at cs dot utah.edu]

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

           Summary: ICE in vect_enhance_data_refs_alignment, at
                    tree-vect-data-refs.c:1555
           Product: gcc
           Version: 4.7.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
        AssignedTo: unassigned@gcc.gnu.org
        ReportedBy: regehr@cs.utah.edu
                CC: chenyang@cs.utah.edu
              Host: x86_64-unknown-linux-gnu
            Target: x86_64-unknown-linux-gnu
             Build: x86_64-unknown-linux-gnu


[regehr@gamow tmp032]$ current-gcc -v
Using built-in specs.
COLLECT_GCC=current-gcc
COLLECT_LTO_WRAPPER=/uusoc/exports/scratch/regehr/z/compiler-install/gcc-r175350-install/bin/../libexec/gcc/x86_64-unknown-linux-gnu/4.7.0/lto-wrapper
Target: x86_64-unknown-linux-gnu
Configured with: ../configure --with-libelf=/usr/local --enable-lto
--prefix=/home/regehr/z/compiler-install/gcc-r175350-install
--program-prefix=r175350- --enable-languages=c,c++
Thread model: posix
gcc version 4.7.0 20110623 (experimental) (GCC) 
[regehr@gamow tmp032]$ 
[regehr@gamow tmp032]$ 
[regehr@gamow tmp032]$ 
[regehr@gamow tmp032]$ current-gcc -O3 small.c -c
small.c: In function 'un_':
small.c:13:5: internal compiler error: in vect_enhance_data_refs_alignment, at
tree-vect-data-refs.c:1555
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.
[regehr@gamow tmp032]$ 
[regehr@gamow tmp032]$ 
[regehr@gamow tmp032]$ 
[regehr@gamow tmp032]$ 
[regehr@gamow tmp032]$ cat small.c
struct S1
{
  int f4;
  int f5;
  int f9;
};

int *zz;
struct S1 g_40;
struct S1 g_69;
int g_79;

int un_ (struct S1 **p_, int p_6, char p_66)
{
  char l_76[] = { 0, 0, 0, 0, 1, };
  for (g_40.f4 = 1; g_40.f4; g_40.f4 += 1)
    {
      int *l_78 = &g_79;
      *l_78 = l_76[g_40.f4];
      if (zz)
    return 1;
      *l_78 = p_66 >= g_40.f9;
      if (g_69.f5)
    break;
    }
  return 0;
}

[Bug tree-optimization/49518] [4.6/4.7 Regression] ICE in vect_enhance_data_refs_alignment, at tree-vect-data-refs.c:1555

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2011.06.24 08:07:13
                 CC|                            |jakub at gcc dot gnu.org
          Component|c                           |tree-optimization
   Target Milestone|---                         |4.6.1
            Summary|ICE in                      |[4.6/4.7 Regression] ICE in
                   |vect_enhance_data_refs_alig |vect_enhance_data_refs_alig
                   |nment, at                   |nment, at
                   |tree-vect-data-refs.c:1555  |tree-vect-data-refs.c:1555
     Ever Confirmed|0                           |1

--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-06-24 08:07:13 UTC ---
Simplified testcase:
int a, b;
struct S { unsigned int s, t, u; } c, d = { 0, 1, 0 };

void
test (unsigned char z)
{
  char e[] = {0, 0, 0, 0, 1};
  for (c.s = 1; c.s; c.s++)
    {
      b = e[c.s];
      if (a)
        break;
      b = z >= c.u;
      if (d.t)
        break;
    }
}

Started with http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=167184

[Bug tree-optimization/49518] [4.6/4.7 Regression] ICE in vect_enhance_data_refs_alignment, at tree-vect-data-refs.c:1555

[jakub at gcc dot gnu.org]

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

--- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-06-24 08:49:15 UTC ---
And with -O3 -fno-tree-copy-prop this started with
http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=166244
Perhaps that patch should have adjusted the assert too?

[Bug tree-optimization/49518] [4.6/4.7 Regression] ICE in vect_enhance_data_refs_alignment, at tree-vect-data-refs.c:1555

[jakub at gcc dot gnu.org]

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

--- Comment #3 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-06-24 09:21:53 UTC ---
nelements is here 16, while vf is just 2 (as the loop also operates on ints).
mis is 2 (one iteration has been peeled already before vectorization).
So, npeel_tmp is 14 and as cost model is used, the loop with the assertion that
npeel_tmp <= vf iterates at least once.

Richard, can you please look at this?

Perhaps we want to and with smaller of vf and nelements & (nelements - 1) & (vf
- 1)?

[Bug tree-optimization/49518] [4.6/4.7 Regression] ICE in vect_enhance_data_refs_alignment, at tree-vect-data-refs.c:1555

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #4 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-06-24 12:04:32 UTC ---
I'll have a look.

[Bug tree-optimization/49518] [4.6/4.7 Regression] ICE in vect_enhance_data_refs_alignment, at tree-vect-data-refs.c:1555

[jakub at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.6.1                       |4.6.2

--- Comment #5 from Jakub Jelinek <jakub at gcc dot gnu.org> 2011-06-27 12:33:05 UTC ---
GCC 4.6.1 is being released.

[Bug tree-optimization/49518] [4.6/4.7 Regression] ICE in vect_enhance_data_refs_alignment, at tree-vect-data-refs.c:1555

[rguenth at gcc dot gnu.org]

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

--- Comment #6 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-07-04 11:30:17 UTC ---
I'll drop the assert (too many weird asserts in the vectorizer anyway).

[Bug tree-optimization/49518] [4.6 Regression] ICE in vect_enhance_data_refs_alignment, at tree-vect-data-refs.c:1555

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to work|                            |4.7.0
            Summary|[4.6/4.7 Regression] ICE in |[4.6 Regression] ICE in
                   |vect_enhance_data_refs_alig |vect_enhance_data_refs_alig
                   |nment, at                   |nment, at
                   |tree-vect-data-refs.c:1555  |tree-vect-data-refs.c:1555

--- Comment #8 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-07-05 11:25:23 UTC ---
Fixed on trunk sofar.

[Bug tree-optimization/49518] [4.6/4.7 Regression] ICE in vect_enhance_data_refs_alignment, at tree-vect-data-refs.c:1555

[rguenth at gcc dot gnu.org]

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

--- Comment #7 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-07-05 11:24:30 UTC ---
Author: rguenth
Date: Tue Jul  5 11:24:26 2011
New Revision: 175847

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=175847
Log:
2011-07-05  Richard Guenther  <rguenther@suse.de>

    PR tree-optimization/49518
    PR tree-optimization/49628
    * tree-vect-data-refs.c (vect_enhance_data_refs_alignment): Skip
    irrelevant and invariant data-references.
    (vect_analyze_data_ref_access): For invariant loads clear the
    group association.

    * g++.dg/torture/pr49628.C: New testcase.
    * gcc.dg/torture/pr49518.c: Likewise.

Added:
    trunk/gcc/testsuite/g++.dg/torture/pr49628.C
    trunk/gcc/testsuite/gcc.dg/torture/pr49518.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vect-data-refs.c

[Bug tree-optimization/49518] [4.6 Regression] ICE in vect_enhance_data_refs_alignment, at tree-vect-data-refs.c:1555

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Priority|P3                          |P2

[Bug tree-optimization/49518] [4.6 Regression] ICE in vect_enhance_data_refs_alignment, at tree-vect-data-refs.c:1555

[rguenth at gcc dot gnu.org]

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

--- Comment #9 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-09-08 10:31:44 UTC ---
Author: rguenth
Date: Thu Sep  8 10:31:39 2011
New Revision: 178685

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=178685
Log:
2011-09-08  Richard Guenther  <rguenther@suse.de>

    Backport from mainline
    2011-07-04  Richard Guenther  <rguenther@suse.de>

    PR tree-optimization/49518
    PR tree-optimization/49628
    * tree-vect-data-refs.c (vect_enhance_data_refs_alignment): Skip
    irrelevant data-references.

    * g++.dg/torture/pr49628.C: New testcase.
    * gcc.dg/torture/pr49518.c: Likewise.

Added:
    branches/gcc-4_6-branch/gcc/testsuite/g++.dg/torture/pr49628.C
    branches/gcc-4_6-branch/gcc/testsuite/gcc.dg/torture/pr49518.c
Modified:
    branches/gcc-4_6-branch/gcc/ChangeLog
    branches/gcc-4_6-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_6-branch/gcc/tree-vect-data-refs.c

[Bug tree-optimization/49518] [4.6 Regression] ICE in vect_enhance_data_refs_alignment, at tree-vect-data-refs.c:1555

[rguenth at gcc dot gnu.org]

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

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

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

--- Comment #10 from Richard Guenther <rguenth at gcc dot gnu.org> 2011-09-08 10:31:59 UTC ---
Fixed.