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 D0A3B3858C78; Thu, 29 Feb 2024 03:05:43 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org D0A3B3858C78
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1709175943;
	bh=T/Qk+ejBSOnsaJ7Obof5JOHkQmat5BcvfYqq6ij7mrs=;
	h=From:To:Subject:Date:In-Reply-To:References:From;
	b=c5SU0WEygxsAQ3xP7TYrXqW31GV6UbTRupDxJ8Ug/3yM90qSn48sgZkOjfdRKALe2
	 aGODiBeB41X9ZdN3EoLsV/QdAc5r0L1BKtgkmPKAc5LLnrdSFaaLUQoOoJCyHi7TPn
	 4Dng4b2Q+VoFfJnrVuNEfH+JQAl0hm72hXU6Dam8=
From: "cvs-commit at gcc dot gnu.org" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/114130] [11/12/13/14 Regression] RISC-V:
 `__atomic_compare_exchange` does not use sign-extended value for RV64
Date: Thu, 29 Feb 2024 03:05:42 +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: 13.2.0
X-Bugzilla-Keywords: wrong-code
X-Bugzilla-Severity: normal
X-Bugzilla-Who: cvs-commit at gcc dot gnu.org
X-Bugzilla-Status: NEW
X-Bugzilla-Resolution: 
X-Bugzilla-Priority: P3
X-Bugzilla-Assigned-To: kito at gcc dot gnu.org
X-Bugzilla-Target-Milestone: 11.5
X-Bugzilla-Flags: 
X-Bugzilla-Changed-Fields: 
Message-ID: <bug-114130-4-hwY4joWGY4@http.gcc.gnu.org/bugzilla/>
In-Reply-To: <bug-114130-4@http.gcc.gnu.org/bugzilla/>
References: <bug-114130-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=3D114130

--- Comment #2 from GCC Commits <cvs-commit at gcc dot gnu.org> ---
The master branch has been updated by Kito Cheng <kito@gcc.gnu.org>:

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

commit r14-9231-gfd07a29e39f5347d6cef3e7042a32306f97a1719
Author: Kito Cheng <kito.cheng@sifive.com>
Date:   Wed Feb 28 16:01:52 2024 +0800

    RISC-V: Fix __atomic_compare_exchange with 32 bit value on RV64

    atomic_compare_and_swapsi will use lr.w to do obtain the original value,
    which sign extends to DI.  RV64 only has DI comparisons, so we also need
    to sign extend the expected value to DI as otherwise the comparison will
    fail when the expected value has the 32nd bit set.

    gcc/ChangeLog:

            PR target/114130
            * config/riscv/sync.md (atomic_compare_and_swap<mode>): Sign
            extend the expected value if needed.

    gcc/testsuite/ChangeLog:

            * gcc.target/riscv/pr114130.c: New.

    Reviewed-by: Palmer Dabbelt <palmer@rivosinc.com>=