xref: /illumos-gate/usr/src/tools/smatch/src/sparsei (revision c85f09cc)
11f5207b7SJohn Levon#!/bin/sh
21f5207b7SJohn Levon
31f5207b7SJohn Levonset +e
41f5207b7SJohn Levon
5*c85f09ccSJohn LevonSPARSEOPTS=
6*c85f09ccSJohn LevonJIT_OPT=
7*c85f09ccSJohn Levon
81f5207b7SJohn LevonDIRNAME=`dirname $0`
91f5207b7SJohn LevonLLI=`"${LLVM_CONFIG:-llvm-config}" --bindir`/lli
101f5207b7SJohn Levon
111f5207b7SJohn Levonif [ $# -eq 0 ]; then
121f5207b7SJohn Levon  echo "`basename $0`: no input files"
131f5207b7SJohn Levon  exit 1
141f5207b7SJohn Levonfi
151f5207b7SJohn Levon
16*c85f09ccSJohn Levonwhile [ $# -gt 0 ]; do
17*c85f09ccSJohn Levon	case $1 in
18*c85f09ccSJohn Levon	--jit)
19*c85f09ccSJohn Levon		JIT_OPT=
20*c85f09ccSJohn Levon		;;
21*c85f09ccSJohn Levon	--no-jit)
22*c85f09ccSJohn Levon		JIT_OPT="-force-interpreter"
23*c85f09ccSJohn Levon		;;
24*c85f09ccSJohn Levon	*)
25*c85f09ccSJohn Levon		SPARSEOPTS="$SPARSEOPTS $1 "
26*c85f09ccSJohn Levon		;;
27*c85f09ccSJohn Levon	esac
28*c85f09ccSJohn Levon	shift
29*c85f09ccSJohn Levondone
30*c85f09ccSJohn Levon
31*c85f09ccSJohn Levon$DIRNAME/sparse-llvm ${SPARSEOPTS} | $LLI ${JIT_OPT}
32