blob: b47c83c4f3d7805fd47cd78bdce9d1768e0174e6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
#!/bin/bash
CCREF="/home/yuki/Work/VERIMAG/Compcert_riscv_bis/ccomp -static -S -stdlib /home/yuki/Work/VERIMAG/Compcert_riscv_bis/runtime -fno-expanse-rtlcond -fno-expanse-others"
CCTEST="/home/yuki/Work/VERIMAG/Compcert_riscv_third/ccomp -static -S -stdlib /home/yuki/Work/VERIMAG/Compcert_riscv_third/runtime -fno-expanse-rtlcond -fno-expanse-others"
for prog in *.c; do
$CCREF $prog > refout 2>&1
$CCTEST $prog > testout 2>&1
sort -k1 -n -t, refout -o refout
sort -k1 -n -t, testout -o testout
if cmp -s refout testout; then
echo "$prog passed"
else
echo "$prog failed"
diff -y refout testout
exit 1
fi
done
|
