From f53cb804ecf98ed7df4d6b31d2903f118ea69663 Mon Sep 17 00:00:00 2001 From: David Mak Date: Fri, 29 Sep 2023 15:18:00 +0800 Subject: [PATCH] standalone: Add execution of test cases via lli --- nac3standalone/demo/check_demo.sh | 2 ++ nac3standalone/demo/run_demo_lli.sh | 21 +++++++++++++++++++++ 2 files changed, 23 insertions(+) create mode 100755 nac3standalone/demo/run_demo_lli.sh diff --git a/nac3standalone/demo/check_demo.sh b/nac3standalone/demo/check_demo.sh index 5ea8e182..31fbbacf 100755 --- a/nac3standalone/demo/check_demo.sh +++ b/nac3standalone/demo/check_demo.sh @@ -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" diff --git a/nac3standalone/demo/run_demo_lli.sh b/nac3standalone/demo/run_demo_lli.sh new file mode 100755 index 00000000..6efd4f5c --- /dev/null +++ b/nac3standalone/demo/run_demo_lli.sh @@ -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