https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115703
Bug ID: 115703
Summary: [15 Regression] rv64gcv_zvl256b miscompile since
r15-1579-g792f97b44ff
Product: gcc
Version: 15.0
Status: UNCONFIRMED
Severity: normal
Priority: P3
Component: middle-end
Assignee: unassigned at gcc dot gnu.org
Reporter: patrick at rivosinc dot com
Target Milestone: ---
Testcase:
int a, i;
unsigned long b;
unsigned c, f;
long long d = 1;
short e, m;
long g, h;
int main() {
for (int q = 0; q < 2; q += 1) {
for (short r = 0; r < 2; r += 1)
for (char s = 0; s < 6; s++)
for (short t = 0; t < 011; t += 12081 - 12080)
for (short u = 0; u < 11; u++) {
a = ({ a > 1 ? a : 1; });
b = ({ b > 5 ? b : 5; });
for (short j = 0; j < 2; j = 2080)
c = ({ c > 030 ? c : 030; });
for (short k = 0; k < 2; k += 2080)
d *= 7;
e *= 10807;
f = ({ f > 3 ? f : 3; });
}
for (int l = 0; l < 21; l += 1)
for (int n = 0; n < 16; n++) {
g = ({ m ? g : m; });
for (char o = 0; o < 7; o += 1)
h *= 3;
i = ({ i < 0 ? i : 0; });
}
}
__builtin_printf("%llu\n", d);
}
Commands:
> /scratch/tc-testing/tc-compiler-fuzz-bisect/build-rv64gcv/bin/riscv64-unknown-elf-gcc
> -march=rv64gc -O3 red.c -o user-config.out -fsigned-char
> -fno-strict-aliasing -fwrapv
> QEMU_CPU=rv64,vlen=256,v=true,vext_spec=v1.0,zve32f=true,zve64f=true timeout
> --verbose -k 0.1 4
> /scratch/tc-testing/tc-compiler-fuzz-trunk/build-gcv/bin/qemu-riscv64
> user-config.out
13667643351234938049
> /scratch/tc-testing/tc-compiler-fuzz-bisect/build-rv64gcv/bin/riscv64-unknown-elf-gcc
> -march=rv64gcv_zvl256b -fwhole-program -O3 red.c -o user-config.out
> -fsigned-char -fno-strict-aliasing -fwrapv
> QEMU_CPU=rv64,vlen=256,v=true,vext_spec=v1.0,zve32f=true,zve64f=true timeout
> --verbose -k 0.1 4
> /scratch/tc-testing/tc-compiler-fuzz-trunk/build-gcv/bin/qemu-riscv64
> user-config.out
0
First bad commit: r15-1579-g792f97b44ff
Found via fuzzer
