[Bug tree-optimization/96483] New: ICE in code hoisting with AArch64 SVE2 intrinsics

[Bug tree-optimization/96483] New: ICE in code hoisting with AArch64 SVE2 intrinsics

[ktkachov at gcc dot gnu.org]

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

            Bug ID: 96483
           Summary: ICE in code hoisting with AArch64 SVE2 intrinsics
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: tree-optimization
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ktkachov at gcc dot gnu.org
  Target Milestone: ---
            Target: aarch64*-*-*

The following (reduced) testcase ICEs on aarch64 with
-O2 -w -march=armv8.2-a+sve2

GCC 10 and trunk ICE. Since the SVE2 intrinsics were introduced in GCC 10 it's
not a regression.

during GIMPLE pass: pre
red.c: In function 'u':
red.c:25:1: internal compiler error: in create_component_ref_by_pieces_1, at
tree-ssa-pre.c:2659
   25 | u () {
      | ^
0xfc03c8 create_component_ref_by_pieces_1
        $SRC/gcc/tree-ssa-pre.c:2659
0xfbe4fc create_expression_by_pieces
        $SRC/gcc/tree-ssa-pre.c:2795
0xfc215b do_hoist_insertion
        $SRC/gcc/tree-ssa-pre.c:3587
0xfc215b insert
        $SRC/gcc/tree-ssa-pre.c:3674
0xfc215b execute
        $SRC/gcc/tree-ssa-pre.c:4224
Please submit a full bug report,
with preprocessed source if appropriate.
Please include the complete backtrace with any bug report.
See <https://gcc.gnu.org/bugs/> for instructions.

include "arm_sve.h"

typedef unsigned long a;

void
b (svuint8_t *c, int d, char e, int f, char g, int h) {
  svbool_t i = svwhilegt_b8(svcntb(), (a)d);
  *c = svld1_u8(i, d);
}

void
j (struct k *ci, long l, svuint8_t *m, svuint8_t *n, int o, char p, int w) {
  int q = 0, r, s;
  if (l)
    b(m, q, ci, r, ci, s);
  x(m);
}

void
t (svuint8_t *c, int d, char p, struct k *ci, long offset) {
  j(ci, offset, c, 0, d, p, 6);
}

void
u () {
  for (;;) {
    int ci, d;
    long offset;
    svuint8_t v;
    t(&v, d, 1, ci, offset);
  }
}

[Bug tree-optimization/96483] ICE in code hoisting with AArch64 SVE2 intrinsics

[ktkachov at gcc dot gnu.org]

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

ktkachov at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |10.3
      Known to fail|                            |10.1.1, 11.0

[Bug tree-optimization/96483] ICE in code hoisting with AArch64 SVE2 intrinsics

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |rguenth at gcc dot gnu.org
   Last reconfirmed|                            |2020-08-06
             Status|UNCONFIRMED                 |ASSIGNED
            Version|unknown                     |10.2.1
     Ever confirmed|0                           |1

--- Comment #1 from Richard Biener <rguenth at gcc dot gnu.org> ---
I will have a look.

[Bug tree-optimization/96483] ICE in code hoisting with AArch64 SVE2 intrinsics

[rguenth at gcc dot gnu.org]

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

--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> ---
I have a simple patch.

[Bug tree-optimization/96483] ICE in code hoisting with AArch64 SVE2 intrinsics

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Richard Biener <rguenth@gcc.gnu.org>:

https://gcc.gnu.org/g:1f4c8afa1b2dac97f2ee78eacafe6eee246a4dae

commit r11-2590-g1f4c8afa1b2dac97f2ee78eacafe6eee246a4dae
Author: Richard Biener <rguenther@suse.de>
Date:   Thu Aug 6 12:16:05 2020 +0200

    tree-optimization/96483 - fix ICE in PRE with POLY_INT_CST

    This adds a missing case for PRE expression re-materialization.

    2020-08-06  Richard Biener  <rguenther@suse.de>

            PR tree-optimization/96483
            * tree-ssa-pre.c (create_component_ref_by_pieces_1): Handle
            POLY_INT_CST.

[Bug tree-optimization/96483] ICE in code hoisting with AArch64 SVE2 intrinsics

[cvs-commit at gcc dot gnu.org]

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

--- Comment #4 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The releases/gcc-10 branch has been updated by Richard Biener
<rguenth@gcc.gnu.org>:

https://gcc.gnu.org/g:ca6c1bda8023d17577f1fca0b406402fbaaba63f

commit r10-8580-gca6c1bda8023d17577f1fca0b406402fbaaba63f
Author: Richard Biener <rguenther@suse.de>
Date:   Thu Aug 6 12:16:05 2020 +0200

    tree-optimization/96483 - fix ICE in PRE with POLY_INT_CST

    This adds a missing case for PRE expression re-materialization.

    2020-08-06  Richard Biener  <rguenther@suse.de>

            PR tree-optimization/96483
            * tree-ssa-pre.c (create_component_ref_by_pieces_1): Handle
            POLY_INT_CST.

    (cherry picked from commit 1f4c8afa1b2dac97f2ee78eacafe6eee246a4dae)

[Bug tree-optimization/96483] ICE in code hoisting with AArch64 SVE2 intrinsics

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
      Known to fail|11.0                        |10.2.0
         Resolution|---                         |FIXED
      Known to work|                            |10.2.1, 11.0
             Status|ASSIGNED                    |RESOLVED

--- Comment #5 from Richard Biener <rguenth at gcc dot gnu.org> ---
Fixed.