[Bug target/112561] New: [14 Regression] Segfault only on RISC-V vector

[Bug target/112561] New: [14 Regression] Segfault only on RISC-V vector

[patrick at rivosinc dot com]

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

            Bug ID: 112561
           Summary: [14 Regression] Segfault only on RISC-V vector
           Product: gcc
           Version: 14.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: patrick at rivosinc dot com
  Target Milestone: ---

This testcase used to run successfully on rv64gcv but now fails with a
segmentation fault:

Testcase:
int printf(char *, ...);
int a, b, c, e;
short d[7][7] = {};
void main() {
  short f;
  c = 0;
  for (; c <= 6; c++) {
    e |= d[c][c] & 1;
    b &= f & 3;
  }
  printf("%X\n", a);
}

GCC command:
./bin/riscv64-unknown-linux-gnu-gcc -march=rv64gcv -mabi=lp64d -ftree-vectorize
-O3 --param riscv-autovec-preference=fixed-vlmax ../testcase.c -o rv64gcv.out

QEMU v8.1.2 output:
> QEMU_CPU="rv64,vlen=128,v=true,vext_spec=v1.0,Zve32f=true,Zve64f=true" /scratch/tc-testing/tc-nov-13-trunk/build-rv64gcv/bin/qemu-riscv64 rv64gcv.out
zsh: segmentation fault (core dumped) 
QEMU_CPU="rv64,vlen=128,v=true,vext_spec=v1.0,Zve32f=true,Zve64f=true"

Bisected to: r14-5151-g0c42741ad95

[Bug target/112561] [14 Regression] Segfault only on RISC-V vector

[juzhe.zhong at rivai dot ai]

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

JuzheZhong <juzhe.zhong at rivai dot ai> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |juzhe.zhong at rivai dot ai

--- Comment #1 from JuzheZhong <juzhe.zhong at rivai dot ai> ---
Confirm:

   1019a:       ccf17057                vsetivli        zero,2,e16,mf2,ta,ma
   1019e:       e4b6                    sd      a3,72(sp)
   101a0:       e207d087                vlseg8e16.v     v1,(a5)
   101a4:       0cf078d7                vsetvli a7,zero,e16,mf2,ta,ma
   101a8:       0208d0a7                vse16.v v1,(a7)


The vsetvli a7,zero is setting incorrect a7 VL.

It may be VSETVL PASS or AVL PROP PASS bug.

I will fix it.

[Bug target/112561] [14 Regression] Segfault only on RISC-V vector

[rguenth at gcc dot gnu.org]

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

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

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|---                         |14.0
           Keywords|                            |wrong-code
             Target|                            |riscv

[Bug target/112561] [14 Regression] Segfault only on RISC-V vector

[cvs-commit at gcc dot gnu.org]

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

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

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

commit r14-5592-gaf7fa3135b6b046fe3ba869993221042a65301eb
Author: Juzhe-Zhong <juzhe.zhong@rivai.ai>
Date:   Sun Nov 19 09:45:33 2023 +0800

    RISC-V: Fix bug of tuple move splitter

    PR target/112561

    gcc/ChangeLog:

            * config/riscv/riscv-v.cc (expand_tuple_move): Fix bug.

    gcc/testsuite/ChangeLog:

            * gcc.target/riscv/rvv/autovec/pr112561.c: New test.

[Bug target/112561] [14 Regression] Segfault only on RISC-V vector

[patrick at rivosinc dot com]

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

Patrick O'Neill <patrick at rivosinc dot com> changed:

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

--- Comment #3 from Patrick O'Neill <patrick at rivosinc dot com> ---
Fixed.