[Bug target/112931] New: gcc.target/aarch64/sme2/acle-asm/write_za16_vg1x2.c ICEs on aarch64_be

[Bug target/112931] New: gcc.target/aarch64/sme2/acle-asm/write_za16_vg1x2.c ICEs on aarch64_be

[pinskia at gcc dot gnu.org]

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

            Bug ID: 112931
           Summary: gcc.target/aarch64/sme2/acle-asm/write_za16_vg1x2.c
                    ICEs on aarch64_be
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Keywords: ice-on-valid-code
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: pinskia at gcc dot gnu.org
                CC: rsandifo at gcc dot gnu.org
  Target Milestone: ---
            Target: aarch64_be-linux-gnu

spawn -ignore SIGHUP
/bajas/pinskia/src/upstream-full-cross/gcc/objdir-stage2/gcc/xgcc
-B/bajas/pinskia/src/upstream-full-cross/gcc/objdir-stage2/gcc/
-fdiagnostics-plain-output -std=c90 -O0 -g -DTEST_FULL -march=armv9-a+sme2
-mtune=generic -moverride=tune=none -fno-ipa-icf -c -o write_za16_vg1x2.o
/home/apinski/src/upstream-full-cross/gcc/gcc/testsuite/gcc.target/aarch64/sme2/acle-asm/write_za16_vg1x2.c^M
during RTL pass: expand^M
In file included from
/home/apinski/src/upstream-full-cross/gcc/gcc/testsuite/gcc.target/aarch64/sme2/acle-asm/../../sme/acle-asm/test_sme_acle.h:14,^M
                 from
/home/apinski/src/upstream-full-cross/gcc/gcc/testsuite/gcc.target/aarch64/sme2/acle-asm/test_sme2_acle.h:4,^M
                 from
/home/apinski/src/upstream-full-cross/gcc/gcc/testsuite/gcc.target/aarch64/sme2/acle-asm/write_za16_vg1x2.c:3:^M
/home/apinski/src/upstream-full-cross/gcc/gcc/testsuite/gcc.target/aarch64/sme2/acle-asm/write_za16_vg1x2.c:
In function 'write_0_z0':^M
/home/apinski/src/upstream-full-cross/gcc/gcc/testsuite/gcc.target/aarch64/sme2/acle-asm/write_za16_vg1x2.c:12:13:
internal compiler error: Segmentation fault^M
/home/apinski/src/upstream-full-cross/gcc/gcc/testsuite/gcc.target/aarch64/sme2/acle-asm/../../sme/acle-asm/../../sve/acle/asm/test_sve_acle.h:9:30:
note: in definition of macro 'INVOKE'^M
/home/apinski/src/upstream-full-cross/gcc/gcc/testsuite/gcc.target/aarch64/sme2/acle-asm/write_za16_vg1x2.c:11:1:
note: in expansion of macro 'TEST_ZA_XN'^M
0x103b6bf crash_signal^M
        ../../gcc/toplev.cc:316^M
0x7fd396654def ???^M
       
/usr/src/debug/glibc-2.34-60.el9.x86_64/signal/../sysdeps/unix/sysv/linux/x86_64/libc_sigaction.c:0^M
0x14e6130 aarch64_sve::function_expander::add_input_operand(insn_code,
rtx_def*)^M
        ../../gcc/config/aarch64/aarch64-sve-builtins.cc:3816^M
0x14e62a7 aarch64_sve::function_expander::use_exact_insn(insn_code)^M
        ../../gcc/config/aarch64/aarch64-sve-builtins.cc:4020^M
0x14e52a2 aarch64_sve::expand_builtin(unsigned int, tree_node*, rtx_def*)^M
        ../../gcc/config/aarch64/aarch64-sve-builtins.cc:4689^M
0xc24865 expand_expr_real_1(tree_node*, rtx_def*, machine_mode,
expand_modifier, rtx_def**, bool)^M
        ../../gcc/expr.cc:12305^M
0xaf50aa expand_expr(tree_node*, rtx_def*, machine_mode, expand_modifier)^M
        ../../gcc/expr.h:313^M
0xaf50aa expand_call_stmt^M
        ../../gcc/cfgexpand.cc:2832^M
0xaf50aa expand_gimple_stmt_1^M
        ../../gcc/cfgexpand.cc:3894^M
0xaf50aa expand_gimple_stmt^M
        ../../gcc/cfgexpand.cc:4058^M
0xaf9ce0 expand_gimple_basic_block^M
        ../../gcc/cfgexpand.cc:6114^M
0xafbd86 execute^M
        ../../gcc/cfgexpand.cc:6849^M
Please submit a full bug report, with preprocessed source (by using
-freport-bug).^M
Please include the complete backtrace with any bug report.^M
See <https://gcc.gnu.org/bugs/> for instructions.^M
compiler exited with status 1

[Bug target/112931] gcc.target/aarch64/sme2/acle-asm/write_za16_vg1x2.c ICEs on aarch64_be

[pinskia at gcc dot gnu.org]

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

--- Comment #1 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
There are many of these same ICE on a few testcases.

[Bug target/112931] gcc.target/aarch64/sme2/acle-asm/write_za16_vg1x2.c ICEs on aarch64_be

[rsandifo at gcc dot gnu.org]

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

Richard Sandiford <rsandifo at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at gcc dot gnu.org      |rsandifo at gcc dot gnu.org
     Ever confirmed|0                           |1
             Status|UNCONFIRMED                 |ASSIGNED
   Last reconfirmed|                            |2023-12-09

--- Comment #2 from Richard Sandiford <rsandifo at gcc dot gnu.org> ---
Testing a patch.

[Bug target/112931] gcc.target/aarch64/sme2/acle-asm/write_za16_vg1x2.c ICEs on aarch64_be

[cvs-commit at gcc dot gnu.org]

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

--- Comment #3 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The trunk branch has been updated by Richard Sandiford <rsandifo@gcc.gnu.org>:

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

commit r14-6387-gb3aed459634654d295a1d00e6c149565ced7a9a2
Author: Richard Sandiford <richard.sandiford@arm.com>
Date:   Sun Dec 10 19:46:07 2023 +0000

    aarch64: Fix invalid subregs for BE svread/write_za

    Multi-register svread_za and svwrite_za are implemented using one
    pattern per register count, with the register contents being bitcast
    on entry (for writes) or return (for reads).  Previously we relied
    on subregs for this, with the subreg for reads being handled by
    target-independent code.  But using subregs isn't correct for many
    big-endian cases, where following subreg rules often requires actual
    instructions.  The semantics are instead supposed to be those of
    svreinterpret.

    gcc/
            PR target/112931
            PR target/112933
            * config/aarch64/aarch64-protos.h (aarch64_sve_reinterpret):
Declare.
            * config/aarch64/aarch64.cc (aarch64_sve_reinterpret): New
function.
            * config/aarch64/aarch64-sve-builtins-sme.cc
(svread_za_impl::expand)
            (svwrite_za_impl::expand): Use it to cast the SVE register to the
            right mode.

[Bug target/112931] gcc.target/aarch64/sme2/acle-asm/write_za16_vg1x2.c ICEs on aarch64_be

[rsandifo at gcc dot gnu.org]

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

Richard Sandiford <rsandifo at gcc dot gnu.org> changed:

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

--- Comment #4 from Richard Sandiford <rsandifo at gcc dot gnu.org> ---
Fixed.