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

--- Comment #5 from Sujay Kothadiya <skothadiya at whileone dot in> ---
I am posting the verbose output again in a clearer format to avoid confusion.
A miscompile is observed because the outputs do not match.

Try with -O3 

# Compile for riscv64
/mnt/data1/sujayk/CIFUZZR/riscv-gnu-toolchain-build/bin/riscv64-unknown-linux-gnu-gcc
-march=rv64gcv_zvl512b -mrvv-vector-bits=zvl -O3 red.c -o user-config.out
-fsigned-char -fno-strict-aliasing -fwrapv -Wno-unknown-warning-option -Werror
-Wfatal-errors -Wall -Wformat -Wno-int-in-bool-context -Wno-dangling-pointer
-Wno-compare-distinct-pointer-types -Wno-overflow -Wuninitialized
-Warray-bounds -Wreturn-type -Wno-unused-function -Wno-unused-variable
-Wno-unused-but-set-variable -Wno-unused-value -Wno-address -Wno-bool-compare
-Wno-pointer-sign -Wno-bool-operation -Wno-tautological-compare
-Wno-self-assign -Wno-implicit-const-int-float-conversion
-Wno-constant-conversion -Wno-unused-value
-Wno-tautological-constant-out-of-range-compare -Wno-constant-logical-operand
-Wno-parentheses-equality -Wno-pointer-sign

# Compile for x86_64
gcc -O1 red.c -o native.out -fno-strict-aliasing -fwrapv -w


# Run on riscv64 via QEMU
QEMU_CPU=rv64,vlen=512,rvv_ta_all_1s=true,rvv_ma_all_1s=true,v=true,vext_spec=v1.0,zve32f=true,zve64f=true
timeout --verbose -k 0.1 4
/mnt/data1/sujayk/CIFUZZR/riscv-gnu-toolchain-build/bin/qemu-riscv64
user-config.out 1

OUTPUT:
18446744073709551615


# Run natively on x86_64
timeout --verbose -k 0.1 1 ./native.out 1

OUTPUT:
3326195747

Reply via email to