[Bug target/99867] New: [11 Regression] ICE in to_constant, at poly-int.h:504

[Bug target/99867] New: [11 Regression] ICE in to_constant, at poly-int.h:504

[asolokha at gmx dot com]

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

            Bug ID: 99867
           Summary: [11 Regression] ICE in to_constant, at poly-int.h:504
           Product: gcc
           Version: 11.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: asolokha at gmx dot com
  Target Milestone: ---
            Target: aarch64-linux-gnu

gcc-11.0.1-alpha20210328 snapshot (g:499fa254ae8c9752d8c2cf3130b13ffddfd83546)
ICEs when compiling
gcc/testsuite/gcc.target/aarch64/sve/acle/general/struct_1.c:

% aarch64-linux-gnu-gcc-11.0.1 -c
gcc/testsuite/gcc.target/aarch64/sve/acle/general/struct_1.c
during RTL pass: expand
gcc/testsuite/gcc.target/aarch64/sve/acle/general/struct_1.c: In function 'f':
gcc/testsuite/gcc.target/aarch64/sve/acle/general/struct_1.c:7:14: internal
compiler error: in to_constant, at poly-int.h:504
    7 |   svint8x2_t x = *a;
      |              ^
0x6cfe32 poly_int_pod<2u, unsigned short>::to_constant() const
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-11.0.1_alpha20210328/work/gcc-11-20210328/gcc/poly-int.h:504
0x6d5651 poly_int_pod<2u, unsigned short>::to_constant() const
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-11.0.1_alpha20210328/work/gcc-11-20210328/gcc/expr.c:3695
0x6d5651 emit_move_multi_word
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-11.0.1_alpha20210328/work/gcc-11-20210328/gcc/expr.c:3680
0xb450ce emit_move_insn(rtx_def*, rtx_def*)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-11.0.1_alpha20210328/work/gcc-11-20210328/gcc/expr.c:3936
0xb4d8a7 store_expr(tree_node*, rtx_def*, int, bool, bool)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-11.0.1_alpha20210328/work/gcc-11-20210328/gcc/expr.c:6072
0xb4f2c0 expand_assignment(tree_node*, tree_node*, bool)
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-11.0.1_alpha20210328/work/gcc-11-20210328/gcc/expr.c:5622
0xa158d7 expand_gimple_stmt_1
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-11.0.1_alpha20210328/work/gcc-11-20210328/gcc/cfgexpand.c:3910
0xa158d7 expand_gimple_stmt
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-11.0.1_alpha20210328/work/gcc-11-20210328/gcc/cfgexpand.c:4008
0xa1bbea expand_gimple_basic_block
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-11.0.1_alpha20210328/work/gcc-11-20210328/gcc/cfgexpand.c:6045
0xa1d78f execute
       
/var/tmp/portage/cross-aarch64-linux-gnu/gcc-11.0.1_alpha20210328/work/gcc-11-20210328/gcc/cfgexpand.c:6729

It does not ICE when provided w/ -march containing "+sve", so I wonder if this
PR is really a duplicate of PR99657.

[Bug target/99867] [11 Regression] ICE in to_constant, at poly-int.h:504

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |11.0

[Bug target/99867] [10/11 Regression] ICE in to_constant, at poly-int.h:504

[acoplan at gcc dot gnu.org]

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

Alex Coplan <acoplan at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
     Ever confirmed|0                           |1
                 CC|                            |acoplan at gcc dot gnu.org
      Known to fail|                            |10.2.1, 11.0
             Status|UNCONFIRMED                 |NEW
   Last reconfirmed|                            |2021-04-01
            Summary|[11 Regression] ICE in      |[10/11 Regression] ICE in
                   |to_constant, at             |to_constant, at
                   |poly-int.h:504              |poly-int.h:504
           Keywords|                            |ice-on-invalid-code

--- Comment #1 from Alex Coplan <acoplan at gcc dot gnu.org> ---
Confirmed. ICEs with just:

#include <arm_sve.h>
void g(svint8x2_t *p) { svint8x2_t x = *p; }

Notably for the related:

#include <arm_sve.h>
void f(svint8_t *p) { svint8_t x = *p; }

we diagnose it:

diag.c: In function ‘f’:
diag.c:2:32: error: this operation requires the SVE ISA extension
    2 | void f(svint8_t *p) { svint8_t x = *p; }
      |                                ^
diag.c:2:32: note: you can enable SVE using the command-line option ‘-march’,
or by using the ‘target’ attribute or pragma

[Bug target/99867] [10/11 Regression] ICE in to_constant, at poly-int.h:504

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|11.0                        |10.4
           Keywords|                            |accepts-invalid
           Priority|P3                          |P2

[Bug target/99867] [10/11/12 Regression] ICE in to_constant, at poly-int.h:504

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

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

--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Yes this is a dup of bug 99657 (there are a few other examples where we ICE but
does not emit any diagnostic too).

*** This bug has been marked as a duplicate of bug 99657 ***