1 files changed, 77 insertions, 0 deletions
diff --git a/polly/lib/External/isl/imath/tests/test.sh b/polly/lib/External/isl/imath/tests/test.sh
new file mode 100755
index 00000000000..d1ced881e34
--- /dev/null
+++ b/polly/lib/External/isl/imath/tests/test.sh
@@ -0,0 +1,77 @@
+#!/bin/sh
+## 
+## Name:     test.sh
+## Purpose:  Run test suites for IMath library.
+## Author:   M. J. Fromberger <http://spinning-yarns.org/michael/>
+##
+
+if [ ! -f ../imtest ] ; then
+  echo "I can't find the imath test driver 'imtest', did you build it?"
+  echo "I can't proceed with the unit tests until you do so, sorry."
+  exit 1
+fi
+
+echo "-- Running all available unit tests"
+../imtest *.t | grep -v OK
+
+echo ""
+echo "-- Running test to compute 1024 decimal digits of pi"
+if [ ! -f ../pi ] ; then
+  echo "I can't find the pi computing program, did you build it?"
+  echo "I can't proceed with the pi test until you do so, sorry."
+  exit 1
+fi
+
+tempfile="/tmp/pi.1024.$$"
+
+../pi 1024 | tr -d '\r\n' > ${tempfile}
+if cmp -s ${tempfile} ./pi1024.txt ; then
+  echo "  PASSED 1024 digits"
+else
+  echo "  FAILED"
+  echo "Obtained:"
+  cat ${tempfile}
+  echo "Expected:"
+  cat ./pi1024.txt
+fi
+rm -f ${tempfile}
+
+tempfile="/tmp/pi.1698.$$"
+
+echo "-- Running test to compute 1698 hexadecimal digits of pi"
+
+../pi 1698 16 | tr -d '\r\n' > ${tempfile}
+if cmp -s ${tempfile} ./pi1698-16.txt ; then
+  echo "  PASSED 1698 digits"
+else
+  echo "  FAILED"
+  echo "Obtained:"
+  cat ${tempfile}
+  echo "Expected:"
+  cat ./pi1698-16.txt
+fi
+rm -f ${tempfile}
+
+tempfile="/tmp/pi.1500.$$"
+
+echo "-- Running test to compute 1500 decimal digits of pi"
+
+../pi 1500 10 | tr -d '\r\n' > ${tempfile}
+if cmp -s ${tempfile} ./pi1500-10.txt ; then
+  echo "  PASSED 1500 digits"
+else
+  echo "  FAILED"
+  echo "Obtained:"
+  cat ${tempfile}
+  echo "Expected:"
+  cat ./pi1500-10.txt
+fi
+rm -f ${tempfile}
+
+echo "-- Running regression tests"
+
+for bug in bug-swap ; do
+    ../${bug}
+done
+
+exit 0