Compare commits
3 Commits
e1e219e884
...
f2cb171982
Author | SHA1 | Date |
---|---|---|
|
f2cb171982 | |
|
d2a0c777fd | |
|
9bcafdfeac |
|
@ -7,13 +7,17 @@ if [ -z "$1" ]; then
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
demo="${@:-1}"
|
declare -a nac3args
|
||||||
set -- "${@:1:$(($# - 1))}"
|
while [ $# -gt 1 ]; do
|
||||||
|
nac3args+=("$1")
|
||||||
|
shift
|
||||||
|
done
|
||||||
|
demo="$1"
|
||||||
|
|
||||||
echo -n "Checking $demo... "
|
echo -n "Checking $demo... "
|
||||||
./interpret_demo.py "$demo" > interpreted.log
|
./interpret_demo.py "$demo" > interpreted.log
|
||||||
./run_demo.sh "$@" "$demo" > run.log
|
./run_demo.sh --redirect-exe-stdout "${nac3args[@]}" "$demo"
|
||||||
./run_demo_lli.sh "$@" "$demo" > run_lli.log
|
./run_demo_lli.sh --redirect-exe-stdout "${nac3args[@]}" "$demo"
|
||||||
diff -Nau interpreted.log run.log
|
diff -Nau interpreted.log run.log
|
||||||
diff -Nau interpreted.log run_lli.log
|
diff -Nau interpreted.log run_lli.log
|
||||||
echo "ok"
|
echo "ok"
|
||||||
|
|
|
@ -7,6 +7,19 @@ if [ -z "$1" ]; then
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
declare -a nac3args
|
||||||
|
while [ $# -ge 1 ]; do
|
||||||
|
case "$1" in
|
||||||
|
--redirect-exe-stdout)
|
||||||
|
redirect_exe_stdout=1
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
nac3args+=("$1")
|
||||||
|
;;
|
||||||
|
esac
|
||||||
|
shift
|
||||||
|
done
|
||||||
|
|
||||||
if [ -e ../../target/release/nac3standalone ]; then
|
if [ -e ../../target/release/nac3standalone ]; then
|
||||||
nac3standalone=../../target/release/nac3standalone
|
nac3standalone=../../target/release/nac3standalone
|
||||||
else
|
else
|
||||||
|
@ -16,7 +29,13 @@ fi
|
||||||
|
|
||||||
rm -f "*.o" demo
|
rm -f "*.o" demo
|
||||||
|
|
||||||
$nac3standalone "$@"
|
$nac3standalone "${nac3args[@]}"
|
||||||
|
|
||||||
clang -c -std=gnu11 -Wall -Wextra -O3 -o demo.o demo.c
|
clang -c -std=gnu11 -Wall -Wextra -O3 -o demo.o demo.c
|
||||||
clang -o demo module.o demo.o
|
clang -lm -o demo module.o demo.o
|
||||||
./demo
|
|
||||||
|
if [ -z "$redirect_exe_stdout" ]; then
|
||||||
|
./demo
|
||||||
|
else
|
||||||
|
./demo > run.log
|
||||||
|
fi
|
||||||
|
|
|
@ -7,6 +7,19 @@ if [ -z "$1" ]; then
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
declare -a nac3args
|
||||||
|
while [ $# -ge 1 ]; do
|
||||||
|
case "$1" in
|
||||||
|
--redirect-exe-stdout)
|
||||||
|
redirect_exe_stdout=1
|
||||||
|
;;
|
||||||
|
*)
|
||||||
|
nac3args+=("$1")
|
||||||
|
;;
|
||||||
|
esac
|
||||||
|
shift
|
||||||
|
done
|
||||||
|
|
||||||
if [ -e ../../target/release/nac3standalone ]; then
|
if [ -e ../../target/release/nac3standalone ]; then
|
||||||
nac3standalone=../../target/release/nac3standalone
|
nac3standalone=../../target/release/nac3standalone
|
||||||
else
|
else
|
||||||
|
@ -16,6 +29,12 @@ fi
|
||||||
|
|
||||||
rm -f "*.o" "*.bc" demo
|
rm -f "*.o" "*.bc" demo
|
||||||
|
|
||||||
$nac3standalone --emit-llvm "$@"
|
$nac3standalone --emit-llvm "${nac3args[@]}"
|
||||||
|
|
||||||
clang -c -std=gnu11 -Wall -Wextra -O3 -emit-llvm -o demo.bc demo.c
|
clang -c -std=gnu11 -Wall -Wextra -O3 -emit-llvm -o demo.bc demo.c
|
||||||
lli --extra-module demo.bc --extra-module irrt.bc main.bc
|
|
||||||
|
if [ -z "$redirect_exe_stdout" ]; then
|
||||||
|
lli --extra-module demo.bc --extra-module irrt.bc main.bc
|
||||||
|
else
|
||||||
|
lli --extra-module demo.bc --extra-module irrt.bc main.bc > run_lli.log
|
||||||
|
fi
|
||||||
|
|
Loading…
Reference in New Issue