aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/sparsei
diff options
Diffstat (limited to 'sparsei')
-rwxr-xr-xsparsei13
1 files changed, 13 insertions, 0 deletions
diff --git a/sparsei b/sparsei
new file mode 100755
index 00000000..46321542
--- /dev/null
+++ b/sparsei
@@ -0,0 +1,13 @@
+#!/bin/sh
+
+set +e
+
+DIRNAME=`dirname $0`
+LLI=`llvm-config --bindir`/lli
+
+if [ $# -eq 0 ]; then
+ echo "`basename $0`: no input files"
+ exit 1
+fi
+
+$DIRNAME/sparse-llvm $@ | $LLI