[Bug target/108006] New: [13 Regression] ICE in aarch64_move_imm building 502.gcc_r

[Bug target/108006] New: [13 Regression] ICE in aarch64_move_imm building 502.gcc_r

[ktkachov at gcc dot gnu.org]

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

            Bug ID: 108006
           Summary: [13 Regression] ICE in aarch64_move_imm building
                    502.gcc_r
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: ktkachov at gcc dot gnu.org
  Target Milestone: ---

Building 502.gcc_r from SPEC2017 with -O2 -mcpu=neoverse-v1 ICEs with trunk.
Reduced testcase:

void c();

short *foo;
short *bar;
void
a() {
  for (bar; bar < foo; bar++)
    *bar = 999;
  c();
}

backtrace is:
during RTL pass: expand
ice.c: In function a:
ice.c:8:10: internal compiler error: in aarch64_move_imm, at
config/aarch64/aarch64.cc:5692
    8 |     *bar = 999;
      |     ~~~~~^~~~~
0x129db4c aarch64_move_imm(unsigned long, machine_mode)
        $SRC/gcc/config/aarch64/aarch64.cc:5692
0x12c01cd aarch64_expand_sve_const_vector
        $SRC/gcc/config/aarch64/aarch64.cc:6516
0x12c63cb aarch64_expand_mov_immediate(rtx_def*, rtx_def*)
        $SRC/gcc/config/aarch64/aarch64.cc:6996
0x18c3248 gen_movvnx8hi(rtx_def*, rtx_def*)
        $SRC/gcc/config/aarch64/aarch64-sve.md:662
0xa09062 rtx_insn* insn_gen_fn::operator()<rtx_def*, rtx_def*>(rtx_def*,
rtx_def*) const
        $SRC/gcc/recog.h:407
0xa09062 emit_move_insn_1(rtx_def*, rtx_def*)
        $SRC/gcc/expr.cc:4172
0xa095bb emit_move_insn(rtx_def*, rtx_def*)
        $SRC/gcc/expr.cc:4342
0x9db8aa copy_to_mode_reg(machine_mode, rtx_def*)
        $SRC/gcc/explow.cc:654
0xd0607d maybe_legitimize_operand
        $SRC/gcc/optabs.cc:7809
0xd0607d maybe_legitimize_operands(insn_code, unsigned int, unsigned int,
expand_operand*)
        $SRC/gcc/optabs.cc:7941
0xd06366 maybe_gen_insn(insn_code, unsigned int, expand_operand*)
        $SRC/gcc/optabs.cc:7960
0xd06592 maybe_expand_insn(insn_code, unsigned int, expand_operand*)
        $SRC/gcc/optabs.cc:8005
0xd05b17 expand_insn(insn_code, unsigned int, expand_operand*)
        $SRC/gcc/optabs.cc:8036
0xb53fb7 expand_partial_store_optab_fn
        $SRC/gcc/internal-fn.cc:2878
0xb54307 expand_MASK_STORE
        $SRC/gcc/internal-fn.def:141
0xb59960 expand_internal_call(internal_fn, gcall*)
        $SRC/gcc/internal-fn.cc:4436
0xb5997a expand_internal_call(gcall*)
        $SRC/gcc/internal-fn.cc:4444
0x8b6161 expand_call_stmt
        $SRC/gcc/cfgexpand.cc:2737
0x8b6161 expand_gimple_stmt_1

[Bug target/108006] [13 Regression] ICE in aarch64_move_imm building 502.gcc_r

[ktkachov at gcc dot gnu.org]

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

ktkachov at gcc dot gnu.org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |wdijkstr at arm dot com

--- Comment #1 from ktkachov at gcc dot gnu.org ---
Wilco, is this something you've touched recently?

[Bug target/108006] [13 Regression] ICE in aarch64_move_imm building 502.gcc_r

[cvs-commit at gcc dot gnu.org]

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

--- Comment #2 from CVS Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Wilco Dijkstra <wilco@gcc.gnu.org>:

https://gcc.gnu.org/g:952c8a1dc6235dc49ab207a7f18f63d2bc97fbc9

commit r13-4538-g952c8a1dc6235dc49ab207a7f18f63d2bc97fbc9
Author: Wilco Dijkstra <wilco.dijkstra@arm.com>
Date:   Wed Dec 7 14:16:24 2022 +0000

    AArch64: Fix assert in aarch64_move_imm [PR108006]

    Ensure we only pass SI/DImode which fixes the assert.

    gcc/
            PR target/108006
            * config/aarch64/aarch64.cc (aarch64_expand_sve_const_vector):
            Fix call to aarch64_move_imm to use SI/DI.

[Bug target/108006] [13 Regression] ICE in aarch64_move_imm building 502.gcc_r

[wilco at gcc dot gnu.org]

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

Wilco <wilco at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |wilco at gcc dot gnu.org
             Status|UNCONFIRMED                 |RESOLVED
                 CC|                            |wilco at gcc dot gnu.org
         Resolution|---                         |FIXED

--- Comment #3 from Wilco <wilco at gcc dot gnu.org> ---
Fixed now.