Print this page
11972 resync smatch
   1 #!/bin/sh
   2 
   3 set +e
   4 



   5 DIRNAME=`dirname $0`
   6 LLI=`"${LLVM_CONFIG:-llvm-config}" --bindir`/lli
   7 
   8 if [ $# -eq 0 ]; then
   9   echo "`basename $0`: no input files"
  10   exit 1
  11 fi
  12 
  13 $DIRNAME/sparse-llvm $@ | $LLI















   1 #!/bin/sh
   2 
   3 set +e
   4 
   5 SPARSEOPTS=
   6 JIT_OPT=
   7 
   8 DIRNAME=`dirname $0`
   9 LLI=`"${LLVM_CONFIG:-llvm-config}" --bindir`/lli
  10 
  11 if [ $# -eq 0 ]; then
  12   echo "`basename $0`: no input files"
  13   exit 1
  14 fi
  15 
  16 while [ $# -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
  29 done
  30 
  31 $DIRNAME/sparse-llvm ${SPARSEOPTS} | $LLI ${JIT_OPT}