From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-bugzilla@gcc.gnu.org>
Received: by sourceware.org (Postfix, from userid 48)
	id 921083858286; Thu, 18 Jan 2024 01:31:03 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org 921083858286
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1705541463;
	bh=z1tnqrPmdscLRmT4Yr5cNwiLTZpK41Sk3FqCnI3y3lw=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=DZ0uiWNXEfxgRDU5V/PM/+zhSGVHLuPW6rMdIC/G+oEuNSY7YKOq1xXLkzov/s8xm
	 AmR6XNLSWhGJeUsh6fQKGUy0ajKzmpR/zDRkTwc2MmaAbwjqfvme3hRhCSd9gJi2La
	 UGoqojT4P2ptxjZM7eNa30W1/Cz3tB1COfMCOkUc=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/113429] RISC-V: SPEC2017 527 cam4 miscompilation in
 autovec VLA build
Date: Thu, 18 Jan 2024 01:31:02 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: changed
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 14.0
X-Bugzilla-Keywords: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: cvs-commit at gcc dot gnu.org
X-Bugzilla-Status: UNCONFIRMED
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: unassigned at gcc dot gnu.org
X-Bugzilla-Target-Milestone: ---
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-113429-4-X1AYJsTgvc@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-113429-4@http.gcc.gnu.org/bugzilla/>
References: <bug-113429-4@http.gcc.gnu.org/bugzilla/>
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
X-Bugzilla-URL: http://gcc.gnu.org/bugzilla/
Auto-Submitted: auto-generated
MIME-Version: 1.0
List-Id: <gcc-bugs.sourceware.org>

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

--- Comment #9 from GCC 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:e935c0662fe6301d524c54bb5bd75e923abb61e9

commit r14-8199-ge935c0662fe6301d524c54bb5bd75e923abb61e9
Author: Juzhe-Zhong <juzhe.zhong@rivai.ai>
Date:   Thu Jan 18 09:08:15 2024 +0800

    RISC-V: Add has compatible check for conflict vsetvl fusion

    V3: Rebase to trunk and commit it.

    This patch fixes SPEC2017 cam4 mismatch issue due to we miss has compat=
ible
check
    for conflict vsetvl fusion.

    Buggy assembler before this patch:

    .L69:
            vsetvli a5,s1,e8,mf4,ta,ma                  -> buggy vsetvl
            vsetivli        zero,8,e8,mf2,ta,ma
            vmv.v.i v1,0
            vse8.v  v1,0(a5)
            j       .L37
    .L68:
            vsetvli a5,s1,e8,mf4,ta,ma                  -> buggy vsetvl
            vsetivli        zero,8,e8,mf2,ta,ma
            addi    a3,a5,8
            vmv.v.i v1,0
            vse8.v  v1,0(a5)
            vse8.v  v1,0(a3)
            addi    a4,a4,-16
            li      a3,8
            bltu    a4,a3,.L37
            j       .L69
    .L67:
            vsetivli        zero,8,e8,mf2,ta,ma
            vmv.v.i v1,0
            vse8.v  v1,0(a5)
            addi    a5,sp,56
            vse8.v  v1,0(a5)
            addi    s4,sp,64
            addi    a3,sp,72
            vse8.v  v1,0(s4)
            vse8.v  v1,0(a3)
            addi    a4,a4,-32
            li      a3,16
            bltu    a4,a3,.L36
            j       .L68

    After this patch:

    .L63:
            ble     s1,zero,.L49
            slli    a4,s1,3
            li      a3,32
            addi    a5,sp,48
            bltu    a4,a3,.L62
            vsetivli        zero,8,e8,mf2,ta,ma
            vmv.v.i v1,0
            vse8.v  v1,0(a5)
            addi    a5,sp,56
            vse8.v  v1,0(a5)
            addi    s4,sp,64
            addi    a3,sp,72
            vse8.v  v1,0(s4)
            addi    a4,a4,-32
            addi    a5,sp,80
            vse8.v  v1,0(a3)
    .L35:
            li      a3,16
            bltu    a4,a3,.L36
            addi    a3,a5,8
            vmv.v.i v1,0
            addi    a4,a4,-16
            vse8.v  v1,0(a5)
            addi    a5,a5,16
            vse8.v  v1,0(a3)
    .L36:
            li      a3,8
            bltu    a4,a3,.L37
            vmv.v.i v1,0
            vse8.v  v1,0(a5)

    Tested on both RV32/RV64 no regression, Ok for trunk ?

            PR target/113429

    gcc/ChangeLog:

            * config/riscv/riscv-vsetvl.cc
(pre_vsetvl::earliest_fuse_vsetvl_info): Fix bug.

    gcc/testsuite/ChangeLog:

            * gcc.target/riscv/rvv/vsetvl/vlmax_conflict-4.c: Adapt test.
            * gcc.target/riscv/rvv/vsetvl/vlmax_conflict-5.c: Ditto.=