xref: /illumos-gate/usr/src/tools/smatch/src/sparsei (revision c85f09cc)
1#!/bin/sh
2
3set +e
4
5SPARSEOPTS=
6JIT_OPT=
7
8DIRNAME=`dirname $0`
9LLI=`"${LLVM_CONFIG:-llvm-config}" --bindir`/lli
10
11if [ $# -eq 0 ]; then
12  echo "`basename $0`: no input files"
13  exit 1
14fi
15
16while [ $# -gt 0 ]; do
17	case $1 in
18	--jit)
19		JIT_OPT=
20		;;
21	--no-jit)
22		JIT_OPT="-force-interpreter"
23		;;
24	*)
25		SPARSEOPTS="$SPARSEOPTS $1 "
26		;;
27	esac
28	shift
29done
30
31$DIRNAME/sparse-llvm ${SPARSEOPTS} | $LLI ${JIT_OPT}
32