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 DC9323858C2C; Tue,  2 Jan 2024 21:48:52 +0000 (GMT)
DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org DC9323858C2C
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org;
	s=default; t=1704232132;
	bh=jpQwbczIEf51LZ+UZ5uqhJ8X6hyPn46UGmoT8kub7aU=;
	h=From:To:Subject:Date:From;
	b=TcuZJVHjExPLP6LuIaZxIci4y+R777jRAmhUfObyozPFoJSZ6Ue/DhLLE6Sfua/Iu
	 TLALM5jP9AwaNJCbLXmtRtUzyYyfl8NpCYbojY3Uwm3xwSa5mglZhizlUYgqgUK+gF
	 DhQnWAtRWQUJimO9iuankTm7UssZMVe078bKrFvs=
From: "patrick at rivosinc dot com" <gcc-bugzilla@gcc.gnu.org>
To: gcc-bugs@gcc.gnu.org
Subject: [Bug target/113209] New: [14] RISC-V rv64gcv_zvl256b vector: Runtime
 mismatch with rv64gc
Date: Tue, 02 Jan 2024 21:48:52 +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-113209-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=3D113209

            Bug ID: 113209
           Summary: [14] RISC-V rv64gcv_zvl256b 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:
int b, c, d, f, i, a;
int e[1] =3D {0};
int *g =3D e;
int *k =3D e;
int *z;
long h;
int j[5] =3D {0,0,0,0,0};
void n() {
  if (c) {
    int **l =3D &z;
    *l =3D e;
    while (d)
      ;
  }
}
void o() {
  for (; b < 5; b +=3D a) {
    n();
    for (h =3D 0; h < 5; h++)
      j[h] =3D 1;
    int m =3D *e !=3D *g;
    a |=3D i <=3D m;
    f =3D -12;
    for (; f; f++)
      if (*k)
        break;
  }
}
int main() {
  o();
  if (a =3D=3D 1)
    return 0;
  else
    return 1;
}

Commands:
> /scratch/tc-testing/tc-jan-1-trunk/build-rv64gcv/bin/riscv64-unknown-linu=
x-gnu-gcc -march=3Drv64gcv_zvl256b -O3 red.c -o user-config.out
> QEMU_CPU=3Drv64,vlen=3D256,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

> /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=3D256,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

With a printf:
gcv_zvl256b
a =3D 9

gc
a =3D 1

Analysis:
Working backwards from a
a |=3D i <=3D m
Since true/false only evaluate to 1/0, 'a' should never be 9=