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 E24E63858D32; Tue,  2 Jan 2024 19:08:34 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org E24E63858D32
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1704222514;
	bh=iQ9NLoK4X1zBdKuuUd2ma82akT4kdPmCzTRjVexjApE=;
	h=From:To:Subject:Date:From;
	b=KtS9Swmbq08mX657boQgCQsB4VngvvUehTWr8fVp0Ti7lgfnaavIABpjIato24j6G
	 jlFfvOADP/rINwNrOTms8Il9hHqdZ3agt3WdfaNb1Fx7LKPKYFQe41timH0GpgzBB7
	 rtH596ggVCch4NgExGHV48GENUup+ciGWdpLVQrk=
From: "patrick at rivosinc dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/113206] New: [14] RISC-V rv64gcv vector: Runtime
 mismatch with rv64gc
Date: Tue, 02 Jan 2024 19:08:33 +0000
X-Bugzilla-Reason: CC
X-Bugzilla-Type: new
X-Bugzilla-Watch-Reason: None
X-Bugzilla-Product: gcc
X-Bugzilla-Component: target
X-Bugzilla-Version: 14.0
X-Bugzilla-Keywords: 
X-Bugzilla-Severity: normal
X-Bugzilla-Who: patrick at rivosinc dot com
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: bug_id short_desc product version bug_status
 bug_severity priority component assigned_to reporter target_milestone
Message-ID: <bug-113206-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=3D113206

            Bug ID: 113206
           Summary: [14] RISC-V rv64gcv vector: Runtime mismatch with
                    rv64gc
           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: ---

Testcase:
signed char e;
short f =3D 8;
signed d;
int(g)(int o, int r) { return o & (o ^ -1) < 0 ? o : o - r; }
#pragma pack(1)
struct {
  short h;
  unsigned : 18;
  short i;
  long j;
  int k;
  char l;
  long m;
  int n;
} a, b, s, c, *p =3D &b, *u =3D &s, q =3D {1};
void t() {
  *p =3D a;
  for (; e > -7; e =3D g(e, 8))
    ;
  q =3D *u =3D c;
  for (; d - 3; d =3D 3)
    ;
}
int main() {
  t();
  if (f =3D=3D 8)
    return 0;
  else
    return 1;
}

Commands:
rv64gcv:
> /scratch/tc-testing/tc-jan-1-trunk/build-rv64gcv/bin/riscv64-unknown-linu=
x-gnu-gcc -march=3Drv64gcv -O3 red.c -o user-config.out
> QEMU_CPU=3Drv64,vlen=3D128,v=3Dtrue,vext_spec=3Dv1.0,Zve32f=3Dtrue,Zve64f=
=3Dtrue timeout --verbose -k 0.1 1 /scratch/tc-testing/tc-dec-22-trunk/buil=
d-rv64gcv/bin/qemu-riscv64 user-config.out
> echo $?
1

rv64gc:
> /scratch/tc-testing/tc-jan-1-trunk/build-rv64gcv/bin/riscv64-unknown-linu=
x-gnu-gcc -march=3Drv64gc -O3 red.c -o user-config.out
> QEMU_CPU=3Drv64,vlen=3D128,v=3Dtrue,vext_spec=3Dv1.0,Zve32f=3Dtrue,Zve64f=
=3Dtrue timeout --verbose -k 0.1 1 /scratch/tc-testing/tc-dec-22-trunk/buil=
d-rv64gcv/bin/qemu-riscv64 user-config.out
> echo $?
0

Nothing touches f, so it should still be 8 after the function.=