From 012e76c21d78212f5456611ebb319d39846186c1 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Sun, 19 Sep 2021 15:11:24 +0200 Subject: RiscV --- test/monniaux/csmith/reduce/reduce_wrt_host.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'test') diff --git a/test/monniaux/csmith/reduce/reduce_wrt_host.sh b/test/monniaux/csmith/reduce/reduce_wrt_host.sh index 23e4208e..a37eb51b 100755 --- a/test/monniaux/csmith/reduce/reduce_wrt_host.sh +++ b/test/monniaux/csmith/reduce/reduce_wrt_host.sh @@ -4,12 +4,12 @@ if gcc $INCLUDE -Werror=uninitialized -Werror=implicit source.c -o source.gcc.ho then if gcc $INCLUDE -Werror=uninitialized -Werror=implicit -fsanitize=undefined -fsanitize=address source.c -o source.gcc+san.host && ./source.gcc+san.host > source.gcc+san.host.out ; then - if kvx-cos-gcc $INCLUDE -Werror=uninitialized -Werror=implicit source.c -o source.gcc.target && kvx-cluster -- source.gcc.target >& source.gcc.target.out && cmp source.gcc.host.out source.gcc.target.out + if riscv64-linux-gnu-gcc $INCLUDE -Werror=uninitialized -Werror=implicit source.c -o source.gcc.target && qemu-riscv64 -L /usr/riscv64-linux-gnu source.gcc.target >& source.gcc.target.out && diff source.gcc.host.out source.gcc.target.out then if $COMPCERT/ccomp $INCLUDE -fall -fno-cse -fno-cse2 -fno-cse3 source.c -o source.ccomp.target then - kvx-cluster -- source.ccomp.target >& source.ccomp.target.out - if cmp source.ccomp.target.out source.gcc.target.out + qemu-riscv64 -L /usr/riscv64-linux-gnu source.ccomp.target >& source.ccomp.target.out + if diff source.ccomp.target.out source.gcc.target.out then exit 40 else exit 0 fi -- cgit