Merge pull request #8 from dhuth/master

w/ python test suite

18 files changed, 460 insertions, 0 deletions

diff --git a/verify-chill/with/test_distribute.py.out b/verify-chill/with/test_distribute.py.out
new file mode 100644
index 0000000..f071e87
--- /dev/null
+++ b/verify-chill/with/test_distribute.py.out
@@ -0,0 +1,19 @@
+#define __rose_lt(x,y) ((x)<(y)?(x):(y))
+#define __rose_gt(x,y) ((x)>(y)?(x):(y))
+
+void mm(float **A,float **B,float **C,int ambn,int an,int bm)
+{
+  int t6;
+  int t4;
+  int t2;
+  int i;
+  int j;
+  int n;
+  for (t2 = 0; t2 <= an - 1; t2 += 1) 
+    for (t4 = 0; t4 <= bm - 1; t4 += 1) 
+      C[t2][t4] = 0.0f;
+  for (t2 = 0; t2 <= an - 1; t2 += 1) 
+    for (t4 = 0; t4 <= bm - 1; t4 += 1) 
+      for (t6 = 0; t6 <= ambn - 1; t6 += 1) 
+        C[t2][t4] += (A[t2][t6] * B[t6][t4]);
+}
diff --git a/verify-chill/with/test_fuse.py.out b/verify-chill/with/test_fuse.py.out
new file mode 100644
index 0000000..062bd15
--- /dev/null
+++ b/verify-chill/with/test_fuse.py.out
@@ -0,0 +1,19 @@
+#define __rose_lt(x,y) ((x)<(y)?(x):(y))
+#define __rose_gt(x,y) ((x)>(y)?(x):(y))
+
+void mm(float **A,float **B,float **C,int ambn,int an,int bm)
+{
+  int t6;
+  int t4;
+  int t2;
+  int i;
+  int j;
+  int n;
+  for (t2 = 0; t2 <= an - 1; t2 += 1) 
+    for (t4 = 0; t4 <= bm - 1; t4 += 1) {
+      C[t2][t4] = 0.0f;
+      C[t2][t4] += (A[t2][0] * B[0][t4]);
+      for (t6 = 1; t6 <= ambn - 1; t6 += 1) 
+        C[t2][t4] += (A[t2][t6] * B[t6][t4]);
+    }
+}
diff --git a/verify-chill/with/test_known.py.out b/verify-chill/with/test_known.py.out
new file mode 100644
index 0000000..062bd15
--- /dev/null
+++ b/verify-chill/with/test_known.py.out
@@ -0,0 +1,19 @@
+#define __rose_lt(x,y) ((x)<(y)?(x):(y))
+#define __rose_gt(x,y) ((x)>(y)?(x):(y))
+
+void mm(float **A,float **B,float **C,int ambn,int an,int bm)
+{
+  int t6;
+  int t4;
+  int t2;
+  int i;
+  int j;
+  int n;
+  for (t2 = 0; t2 <= an - 1; t2 += 1) 
+    for (t4 = 0; t4 <= bm - 1; t4 += 1) {
+      C[t2][t4] = 0.0f;
+      C[t2][t4] += (A[t2][0] * B[0][t4]);
+      for (t6 = 1; t6 <= ambn - 1; t6 += 1) 
+        C[t2][t4] += (A[t2][t6] * B[t6][t4]);
+    }
+}
diff --git a/verify-chill/with/test_known_2.py.out b/verify-chill/with/test_known_2.py.out
new file mode 100644
index 0000000..062bd15
--- /dev/null
+++ b/verify-chill/with/test_known_2.py.out
@@ -0,0 +1,19 @@
+#define __rose_lt(x,y) ((x)<(y)?(x):(y))
+#define __rose_gt(x,y) ((x)>(y)?(x):(y))
+
+void mm(float **A,float **B,float **C,int ambn,int an,int bm)
+{
+  int t6;
+  int t4;
+  int t2;
+  int i;
+  int j;
+  int n;
+  for (t2 = 0; t2 <= an - 1; t2 += 1) 
+    for (t4 = 0; t4 <= bm - 1; t4 += 1) {
+      C[t2][t4] = 0.0f;
+      C[t2][t4] += (A[t2][0] * B[0][t4]);
+      for (t6 = 1; t6 <= ambn - 1; t6 += 1) 
+        C[t2][t4] += (A[t2][t6] * B[t6][t4]);
+    }
+}
diff --git a/verify-chill/with/test_original.py.out b/verify-chill/with/test_original.py.out
new file mode 100644
index 0000000..3d84795
--- /dev/null
+++ b/verify-chill/with/test_original.py.out
@@ -0,0 +1,34 @@
+#define __rose_lt(x,y) ((x)<(y)?(x):(y))
+#define __rose_gt(x,y) ((x)>(y)?(x):(y))
+
+void mm(float **A,float **B,float **C,int ambn,int an,int bm)
+{
+  int t6;
+  int t4;
+  int t2;
+  int chill_t12;
+  int chill_t11;
+  int chill_t10;
+  int chill_t9;
+  int chill_t8;
+  int chill_t7;
+  int chill_t6;
+  int chill_t5;
+  int chill_t4;
+  int chill_t3;
+  int chill_t2;
+  int chill_t1;
+  int i;
+  int j;
+  int n;
+  for (t2 = 0; t2 <= an - 1; t2 += 1) 
+    for (t4 = 0; t4 <= bm - 1; t4 += 1) {
+      C[t2][t4] = 0.0f;
+      C[t2][t4] += (A[t2][0] * B[0][t4]);
+      C[t2][t4] += (A[t2][1] * B[1][t4]);
+      C[t2][t4] += (A[t2][2] * B[2][t4]);
+      C[t2][t4] += (A[t2][3] * B[3][t4]);
+      for (t6 = 4; t6 <= ambn - 1; t6 += 1) 
+        C[t2][t4] += (A[t2][t6] * B[t6][t4]);
+    }
+}
diff --git a/verify-chill/with/test_peel.py.out b/verify-chill/with/test_peel.py.out
new file mode 100644
index 0000000..3d84795
--- /dev/null
+++ b/verify-chill/with/test_peel.py.out
@@ -0,0 +1,34 @@
+#define __rose_lt(x,y) ((x)<(y)?(x):(y))
+#define __rose_gt(x,y) ((x)>(y)?(x):(y))
+
+void mm(float **A,float **B,float **C,int ambn,int an,int bm)
+{
+  int t6;
+  int t4;
+  int t2;
+  int chill_t12;
+  int chill_t11;
+  int chill_t10;
+  int chill_t9;
+  int chill_t8;
+  int chill_t7;
+  int chill_t6;
+  int chill_t5;
+  int chill_t4;
+  int chill_t3;
+  int chill_t2;
+  int chill_t1;
+  int i;
+  int j;
+  int n;
+  for (t2 = 0; t2 <= an - 1; t2 += 1) 
+    for (t4 = 0; t4 <= bm - 1; t4 += 1) {
+      C[t2][t4] = 0.0f;
+      C[t2][t4] += (A[t2][0] * B[0][t4]);
+      C[t2][t4] += (A[t2][1] * B[1][t4]);
+      C[t2][t4] += (A[t2][2] * B[2][t4]);
+      C[t2][t4] += (A[t2][3] * B[3][t4]);
+      for (t6 = 4; t6 <= ambn - 1; t6 += 1) 
+        C[t2][t4] += (A[t2][t6] * B[t6][t4]);
+    }
+}
diff --git a/verify-chill/with/test_permute.py.out b/verify-chill/with/test_permute.py.out
new file mode 100644
index 0000000..709b7ae
--- /dev/null
+++ b/verify-chill/with/test_permute.py.out
@@ -0,0 +1,22 @@
+#define __rose_lt(x,y) ((x)<(y)?(x):(y))
+#define __rose_gt(x,y) ((x)>(y)?(x):(y))
+
+void mm(float **A,float **B,float **C,int ambn,int an,int bm)
+{
+  int t6;
+  int t4;
+  int t2;
+  int i;
+  int j;
+  int n;
+  for (t2 = 0; t2 <= ambn - 1; t2 += 1) 
+    for (t4 = 0; t4 <= bm - 1; t4 += 1) 
+      if (t2 <= 0) 
+        for (t6 = 0; t6 <= an - 1; t6 += 1) {
+          C[t6][t4] = 0.0f;
+          C[t6][t4] += (A[t6][t2] * B[t2][t4]);
+        }
+      else 
+        for (t6 = 0; t6 <= an - 1; t6 += 1) 
+          C[t6][t4] += (A[t6][t2] * B[t2][t4]);
+}
diff --git a/verify-chill/with/test_print_code.py.out b/verify-chill/with/test_print_code.py.out
new file mode 100644
index 0000000..f6e21a7
--- /dev/null
+++ b/verify-chill/with/test_print_code.py.out
@@ -0,0 +1,24 @@
+#define __rose_lt(x,y) ((x)<(y)?(x):(y))
+#define __rose_gt(x,y) ((x)>(y)?(x):(y))
+
+void mm(float **A,float **B,float **C,int ambn,int an,int bm)
+{
+  int t6;
+  int t4;
+  int t2;
+  int i;
+  int j;
+  int n;
+  if (1 <= bm) 
+    for (t2 = 0; t2 <= an - 1; t2 += 1) 
+      for (t4 = 0; t4 <= bm - 1; t4 += 1) {
+        if (1 <= ambn) {
+          C[t2][t4] = 0.0f;
+          C[t2][t4] += (A[t2][0] * B[0][t4]);
+        }
+        for (t6 = 1; t6 <= ambn - 1; t6 += 1) 
+          C[t2][t4] += (A[t2][t6] * B[t6][t4]);
+        if (ambn <= 0) 
+          C[t2][t4] = 0.0f;
+      }
+}
diff --git a/verify-chill/with/test_print_dep.py.out b/verify-chill/with/test_print_dep.py.out
new file mode 100644
index 0000000..f6e21a7
--- /dev/null
+++ b/verify-chill/with/test_print_dep.py.out
@@ -0,0 +1,24 @@
+#define __rose_lt(x,y) ((x)<(y)?(x):(y))
+#define __rose_gt(x,y) ((x)>(y)?(x):(y))
+
+void mm(float **A,float **B,float **C,int ambn,int an,int bm)
+{
+  int t6;
+  int t4;
+  int t2;
+  int i;
+  int j;
+  int n;
+  if (1 <= bm) 
+    for (t2 = 0; t2 <= an - 1; t2 += 1) 
+      for (t4 = 0; t4 <= bm - 1; t4 += 1) {
+        if (1 <= ambn) {
+          C[t2][t4] = 0.0f;
+          C[t2][t4] += (A[t2][0] * B[0][t4]);
+        }
+        for (t6 = 1; t6 <= ambn - 1; t6 += 1) 
+          C[t2][t4] += (A[t2][t6] * B[t6][t4]);
+        if (ambn <= 0) 
+          C[t2][t4] = 0.0f;
+      }
+}
diff --git a/verify-chill/with/test_print_space.py.out b/verify-chill/with/test_print_space.py.out
new file mode 100644
index 0000000..f6e21a7
--- /dev/null
+++ b/verify-chill/with/test_print_space.py.out
@@ -0,0 +1,24 @@
+#define __rose_lt(x,y) ((x)<(y)?(x):(y))
+#define __rose_gt(x,y) ((x)>(y)?(x):(y))
+
+void mm(float **A,float **B,float **C,int ambn,int an,int bm)
+{
+  int t6;
+  int t4;
+  int t2;
+  int i;
+  int j;
+  int n;
+  if (1 <= bm) 
+    for (t2 = 0; t2 <= an - 1; t2 += 1) 
+      for (t4 = 0; t4 <= bm - 1; t4 += 1) {
+        if (1 <= ambn) {
+          C[t2][t4] = 0.0f;
+          C[t2][t4] += (A[t2][0] * B[0][t4]);
+        }
+        for (t6 = 1; t6 <= ambn - 1; t6 += 1) 
+          C[t2][t4] += (A[t2][t6] * B[t6][t4]);
+        if (ambn <= 0) 
+          C[t2][t4] = 0.0f;
+      }
+}
diff --git a/verify-chill/with/test_reverse.py.out b/verify-chill/with/test_reverse.py.out
new file mode 100644
index 0000000..1e9c9b6
--- /dev/null
+++ b/verify-chill/with/test_reverse.py.out
@@ -0,0 +1,19 @@
+#define __rose_lt(x,y) ((x)<(y)?(x):(y))
+#define __rose_gt(x,y) ((x)>(y)?(x):(y))
+
+void mm(float **A,float **B,float **C,int ambn,int an,int bm)
+{
+  int t6;
+  int t4;
+  int t2;
+  int i;
+  int j;
+  int n;
+  for (t2 = 0; t2 <= an - 1; t2 += 1) 
+    for (t4 = 0; t4 <= bm - 1; t4 += 1) 
+      C[t2][t4] = 0.0f;
+  for (t2 = -an + 1; t2 <= 0; t2 += 1) 
+    for (t4 = -bm + 1; t4 <= 0; t4 += 1) 
+      for (t6 = 0; t6 <= ambn - 1; t6 += 1) 
+        C[-t2][-t4] += (A[-t2][t6] * B[t6][-t4]);
+}
diff --git a/verify-chill/with/test_scale.py.out b/verify-chill/with/test_scale.py.out
new file mode 100644
index 0000000..dff7515
--- /dev/null
+++ b/verify-chill/with/test_scale.py.out
@@ -0,0 +1,19 @@
+#define __rose_lt(x,y) ((x)<(y)?(x):(y))
+#define __rose_gt(x,y) ((x)>(y)?(x):(y))
+
+void mm(float **A,float **B,float **C,int ambn,int an,int bm)
+{
+  int t6;
+  int t4;
+  int t2;
+  int i;
+  int j;
+  int n;
+  for (t2 = 0; t2 <= an - 1; t2 += 1) 
+    for (t4 = 0; t4 <= bm - 1; t4 += 1) 
+      C[t2][t4] = 0.0f;
+  for (t2 = 0; t2 <= 4 * an - 4; t2 += 4) 
+    for (t4 = 0; t4 <= 4 * bm - 4; t4 += 4) 
+      for (t6 = 0; t6 <= ambn - 1; t6 += 1) 
+        C[t2 / 4][t4 / 4] += (A[t2 / 4][t6] * B[t6][t4 / 4]);
+}
diff --git a/verify-chill/with/test_shift.py.out b/verify-chill/with/test_shift.py.out
new file mode 100644
index 0000000..6eaa244
--- /dev/null
+++ b/verify-chill/with/test_shift.py.out
@@ -0,0 +1,25 @@
+#define __rose_lt(x,y) ((x)<(y)?(x):(y))
+#define __rose_gt(x,y) ((x)>(y)?(x):(y))
+
+void mm(float **A,float **B,float **C,int ambn,int an,int bm)
+{
+  int t6;
+  int t4;
+  int t2;
+  int i;
+  int j;
+  int n;
+  for (t2 = 0; t2 <= an + 3; t2 += 1) 
+    for (t4 = 0; t4 <= bm - 1; t4 += 1) 
+      if (t2 + 1 <= an) {
+        C[t2][t4] = 0.0f;
+        if (4 <= t2) 
+          C[t2 - 4][t4] += (A[t2 - 4][0] * B[0][t4]);
+        if (4 <= t2) 
+          for (t6 = 1; t6 <= ambn - 1; t6 += 1) 
+            C[t2 - 4][t4] += (A[t2 - 4][t6] * B[t6][t4]);
+      }
+      else if (4 <= t2) 
+        for (t6 = 0; t6 <= ambn - 1; t6 += 1) 
+          C[t2 - 4][t4] += (A[t2 - 4][t6] * B[t6][t4]);
+}
diff --git a/verify-chill/with/test_shift_to.py.out b/verify-chill/with/test_shift_to.py.out
new file mode 100644
index 0000000..01c7ff8
--- /dev/null
+++ b/verify-chill/with/test_shift_to.py.out
@@ -0,0 +1,19 @@
+#define __rose_lt(x,y) ((x)<(y)?(x):(y))
+#define __rose_gt(x,y) ((x)>(y)?(x):(y))
+
+void mm(float **A,float **B,float **C,int ambn,int an,int bm)
+{
+  int t6;
+  int t4;
+  int t2;
+  int i;
+  int j;
+  int n;
+  for (t2 = 4; t2 <= an + 3; t2 += 1) 
+    for (t4 = 0; t4 <= bm - 1; t4 += 1) {
+      C[t2 - 4][t4] = 0.0f;
+      C[t2 - 4][t4] += (A[t2 - 4][0] * B[0][t4]);
+      for (t6 = 1; t6 <= ambn - 1; t6 += 1) 
+        C[t2 - 4][t4] += (A[t2 - 4][t6] * B[t6][t4]);
+    }
+}
diff --git a/verify-chill/with/test_skew.py.out b/verify-chill/with/test_skew.py.out
new file mode 100644
index 0000000..b3da044
--- /dev/null
+++ b/verify-chill/with/test_skew.py.out
@@ -0,0 +1,25 @@
+#define __rose_lt(x,y) ((x)<(y)?(x):(y))
+#define __rose_gt(x,y) ((x)>(y)?(x):(y))
+
+void mm(float **A,float **B,float **C,int ambn,int an,int bm)
+{
+  int t6;
+  int t4;
+  int t2;
+  int i;
+  int j;
+  int n;
+  for (t2 = 0; t2 <= 4 * an - 4; t2 += 1) 
+    for (t4 = 0; t4 <= bm - 1; t4 += 1) {
+      if (t2 + 1 <= an) {
+        C[t2][t4] = 0.0f;
+        if (t2 % 4 == 0) 
+          C[t2 / 4][t4] += (A[t2 / 4][0] * B[0][t4]);
+      }
+      else if (t2 % 4 == 0) 
+        C[t2 / 4][t4] += (A[t2 / 4][0] * B[0][t4]);
+      if (t2 % 4 == 0) 
+        for (t6 = 1; t6 <= ambn - 1; t6 += 1) 
+          C[t2 / 4][t4] += (A[t2 / 4][t6] * B[t6][t4]);
+    }
+}
diff --git a/verify-chill/with/test_tile.py.out b/verify-chill/with/test_tile.py.out
new file mode 100644
index 0000000..47bae06
--- /dev/null
+++ b/verify-chill/with/test_tile.py.out
@@ -0,0 +1,26 @@
+#define __rose_lt(x,y) ((x)<(y)?(x):(y))
+#define __rose_gt(x,y) ((x)>(y)?(x):(y))
+
+void mm(float **A,float **B,float **C,int ambn,int an,int bm)
+{
+  int t8;
+  int t6;
+  int t4;
+  int t2;
+  int i;
+  int j;
+  int n;
+  if (1 <= an) 
+    for (t2 = 0; t2 <= bm - 1; t2 += 4) 
+      for (t4 = 0; t4 <= an - 1; t4 += 1) 
+        for (t6 = t2; t6 <= __rose_lt(bm - 1,t2 + 3); t6 += 1) {
+          if (1 <= ambn) {
+            C[t4][t6] = 0.0f;
+            C[t4][t6] += (A[t4][0] * B[0][t6]);
+          }
+          for (t8 = 1; t8 <= ambn - 1; t8 += 1) 
+            C[t4][t6] += (A[t4][t8] * B[t8][t6]);
+          if (ambn <= 0) 
+            C[t4][t6] = 0.0f;
+        }
+}
diff --git a/verify-chill/with/test_unroll.py.out b/verify-chill/with/test_unroll.py.out
new file mode 100644
index 0000000..7770c60
--- /dev/null
+++ b/verify-chill/with/test_unroll.py.out
@@ -0,0 +1,38 @@
+#define __rose_lt(x,y) ((x)<(y)?(x):(y))
+#define __rose_gt(x,y) ((x)>(y)?(x):(y))
+
+void mm(float **A,float **B,float **C,int ambn,int an,int bm)
+{
+  int t6;
+  int t4;
+  int t2;
+  int chill_t9;
+  int chill_t8;
+  int chill_t7;
+  int chill_t6;
+  int chill_t5;
+  int chill_t4;
+  int over1;
+  int chill_t3;
+  int chill_t2;
+  int chill_t1;
+  int i;
+  int j;
+  int n;
+  over1 = 0;
+  for (t2 = 0; t2 <= an - 1; t2 += 1) 
+    for (t4 = 0; t4 <= bm - 1; t4 += 1) 
+      C[t2][t4] = 0.0f;
+  for (t2 = 0; t2 <= an - 1; t2 += 1) 
+    for (t4 = 0; t4 <= bm - 1; t4 += 1) {
+      over1 = ambn % 4;
+      for (t6 = 0; t6 <= -over1 + ambn - 1; t6 += 4) {
+        C[t2][t4] += (A[t2][t6] * B[t6][t4]);
+        C[t2][t4] += (A[t2][t6 + 1] * B[t6 + 1][t4]);
+        C[t2][t4] += (A[t2][t6 + 2] * B[t6 + 2][t4]);
+        C[t2][t4] += (A[t2][t6 + 3] * B[t6 + 3][t4]);
+      }
+      for (t6 = __rose_gt(0,ambn - over1); t6 <= ambn - 1; t6 += 1) 
+        C[t2][t4] += (A[t2][t6] * B[t6][t4]);
+    }
+}
diff --git a/verify-chill/with/test_unroll_extra.py.out b/verify-chill/with/test_unroll_extra.py.out
new file mode 100644
index 0000000..232d1c8
--- /dev/null
+++ b/verify-chill/with/test_unroll_extra.py.out
@@ -0,0 +1,51 @@
+#define __rose_lt(x,y) ((x)<(y)?(x):(y))
+#define __rose_gt(x,y) ((x)>(y)?(x):(y))
+
+void mm(float **A,float **B,float **C,int ambn,int an,int bm)
+{
+  int t6;
+  int t4;
+  int t2;
+  int chill_t12;
+  int chill_t11;
+  int chill_t10;
+  int chill_t9;
+  int chill_t8;
+  int chill_t7;
+  int chill_t6;
+  int chill_t5;
+  int chill_t4;
+  int over1;
+  int chill_t3;
+  int chill_t2;
+  int chill_t1;
+  int i;
+  int j;
+  int n;
+  over1 = 0;
+  for (t2 = 0; t2 <= an - 1; t2 += 1) {
+    over1 = bm % 4;
+    for (t4 = 0; t4 <= -over1 + bm - 1; t4 += 4) {
+      C[t2][t4] = 0.0f;
+      C[t2][t4] += (A[t2][0] * B[0][t4]);
+      C[t2][t4 + 1] = 0.0f;
+      C[t2][t4 + 1] += (A[t2][0] * B[0][t4 + 1]);
+      C[t2][t4 + 2] = 0.0f;
+      C[t2][t4 + 2] += (A[t2][0] * B[0][t4 + 2]);
+      C[t2][t4 + 3] = 0.0f;
+      C[t2][t4 + 3] += (A[t2][0] * B[0][t4 + 3]);
+      for (t6 = 1; t6 <= ambn - 1; t6 += 1) {
+        C[t2][t4] += (A[t2][t6] * B[t6][t4]);
+        C[t2][t4 + 1] += (A[t2][t6] * B[t6][t4 + 1]);
+        C[t2][t4 + 2] += (A[t2][t6] * B[t6][t4 + 2]);
+        C[t2][t4 + 3] += (A[t2][t6] * B[t6][t4 + 3]);
+      }
+    }
+    for (t4 = __rose_gt(bm - over1,0); t4 <= bm - 1; t4 += 1) {
+      C[t2][t4] = 0.0f;
+      C[t2][t4] += (A[t2][0] * B[0][t4]);
+      for (t6 = 1; t6 <= ambn - 1; t6 += 1) 
+        C[t2][t4] += (A[t2][t6] * B[t6][t4]);
+    }
+  }
+}