blob: 67b5c8f9288d85ee10dedd69912bdb74ceb40b2c (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
|
mytmpdir=$(mktemp -d 2>/dev/null || mktemp -d -t 'mytmpdir')
echo "--------------------------------------------------"
echo "Created working directory: $mytmpdir"
echo "--------------------------------------------------"
if [[ -z $1 ]]; then
test_dir=.
else
test_dir=$1
fi
test_command() {
local loc=$(command -v $1)
if [[ $? -eq 0 ]]; then
echo "Found $1: $loc"
else
echo "Could not find $1"
exit 1
fi
}
test_command iverilog
test_command gcc
echo "--------------------------------------------------"
for cfile in $test_dir/*.c; do
echo "Testing $cfile"
outbase=$mytmpdir/$(basename $cfile)
gcc -o $outbase.gcc $cfile
$outbase.gcc
expected=$?
./bin/coqup --hls -drtl -o $outbase.v $cfile
iverilog -o $outbase.iverilog $outbase.v
actual=$($outbase.iverilog | sed -E -e 's/[^0-9]+([0-9]+)/\1/')
if [[ $expected = $actual ]]; then
echo "OK"
else
echo "FAILED: $expected != $actual"
fi
done
echo "--------------------------------------------------"
rm -rf $mytmpdir
|
