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