add an example LLVM FileCheck based test

Signed-off-by: Uday Bondhugula <udayb@iisc.ac.in>

configure.ac

@@ -79,6 +79,9 @@ AC_CHECK_PROG(CAT,cat,cat)
 AC_CHECK_PROG(AR,ar,ar)
 AC_CHECK_PROG(STRIP,strip,strip)
 
+AC_CHECK_PROG(FILECHECK,FileCheck,yes,no,path = '/usr/lib64/llvm/')
+AS_IF([test x"$FILECHECK" != x"yes"], [AC_MSG_ERROR([Please install LLVM FileCheck before configuring.])])
+
 glpk="false"
 dnl glpk flag
 AC_ARG_ENABLE(glpk,

filecheck-test.sh

@@ -0,0 +1,23 @@
+#!/bin/bash
+
+TESTS=test/heat-2d.c
+
+for file in $TESTS; do
+	echo -ne "$file "
+	./src/pluto $file $* --pet --notile --noparallel  -o test_temp_out.pluto.c | FileCheck $file
+    if [ $? -ne 0 ]; then
+        echo -e "[\e[31mFailed\e[0m]" " $file"!
+    else
+        echo -e "[\e[32mPassed\e[0m]"
+    fi
+done
+
+cleanup()
+{
+rm -f test_temp_out.pluto.c
+rm -f test_temp_out.pluto.pluto.cloog
+}
+
+echo
+
+trap cleanup SIGINT exit

test/heat-2d.c

@@ -0,0 +1,22 @@
+// CHECK: T(S1): (t, t+i, t+j)
+#define N 4000L
+#define T 1000L
+
+/* Define our arrays */
+double A[2][N+2][N+2];
+
+int main(int argc, char * argv[]) {
+    #pragma scop
+    for (int t = 0; t < T; t++) {
+        for (int i = 1; i < N+1; i++) {
+            for (int j = 1; j < N+1; j++) {
+                A[(t+1)%2][i][j] =   0.125 * (A[t%2][i+1][j] - 2.0 * A[t%2][i][j] + A[t%2][i-1][j])
+                                 + 0.125 * (A[t%2][i][j+1] - 2.0 * A[t%2][i][j] + A[t%2][i][j-1])
+                                 + A[t%2][i][j];
+            }
+        }
+    }
+#pragma endscop
+
+    return 0;
+}