aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/sparsei
diff options
Diffstat (limited to 'sparsei')
-rwxr-xr-xsparsei20
1 files changed, 19 insertions, 1 deletions
diff --git a/sparsei b/sparsei
index 3431a9f0..3232200e 100755
--- a/sparsei
+++ b/sparsei
@@ -2,6 +2,9 @@
set +e
+SPARSEOPTS=
+JIT_OPT=
+
DIRNAME=`dirname $0`
LLI=`"${LLVM_CONFIG:-llvm-config}" --bindir`/lli
@@ -10,4 +13,19 @@ if [ $# -eq 0 ]; then
exit 1
fi
-$DIRNAME/sparse-llvm $@ | $LLI
+while [ $# -gt 0 ]; do
+ case $1 in
+ --jit)
+ JIT_OPT=
+ ;;
+ --no-jit)
+ JIT_OPT="-force-interpreter"
+ ;;
+ *)
+ SPARSEOPTS="$SPARSEOPTS $1 "
+ ;;
+ esac
+ shift
+done
+
+$DIRNAME/sparse-llvm ${SPARSEOPTS} | $LLI ${JIT_OPT}