diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-09-19 15:11:24 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-09-19 15:11:24 +0200 |
commit | 012e76c21d78212f5456611ebb319d39846186c1 (patch) | |
tree | 60d94f3ad0532372ba0745b4379d45d49bea96f2 /test | |
parent | b2072e4497dbb109d391e89e20c89b87450cf728 (diff) | |
download | compcert-kvx-012e76c21d78212f5456611ebb319d39846186c1.tar.gz compcert-kvx-012e76c21d78212f5456611ebb319d39846186c1.zip |
RiscV
Diffstat (limited to 'test')
-rwxr-xr-x | test/monniaux/csmith/reduce/reduce_wrt_host.sh | 6 |
1 files changed, 3 insertions, 3 deletions
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 |