forked from M-Labs/nac3
standalone: Add execution of test cases via lli
This commit is contained in:
parent
279376a373
commit
f53cb804ec
nac3standalone/demo
@ -13,5 +13,7 @@ set -- "${@:1:$(($# - 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
|
||||
diff -Nau interpreted.log run.log
|
||||
diff -Nau interpreted.log run_lli.log
|
||||
echo "ok"
|
||||
|
21
nac3standalone/demo/run_demo_lli.sh
Executable file
21
nac3standalone/demo/run_demo_lli.sh
Executable file
@ -0,0 +1,21 @@
|
||||
#!/usr/bin/env bash
|
||||
|
||||
set -e
|
||||
|
||||
if [ -z "$1" ]; then
|
||||
echo "No argument supplied"
|
||||
exit 1
|
||||
fi
|
||||
|
||||
if [ -e ../../target/release/nac3standalone ]; then
|
||||
nac3standalone=../../target/release/nac3standalone
|
||||
else
|
||||
# used by Nix builds
|
||||
nac3standalone=../../target/x86_64-unknown-linux-gnu/release/nac3standalone
|
||||
fi
|
||||
|
||||
rm -f "*.o" "*.bc" demo
|
||||
|
||||
$nac3standalone --emit-llvm "$@"
|
||||
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
|
Loading…
Reference in New Issue
Block a user