summaryrefslogtreecommitdiff
path: root/verify-chill/without
diff options
context:
space:
mode:
Diffstat (limited to 'verify-chill/without')
-rw-r--r--verify-chill/without/test_distribute.py.out19
-rw-r--r--verify-chill/without/test_fuse.py.out19
-rw-r--r--verify-chill/without/test_known.py.out19
-rw-r--r--verify-chill/without/test_known_2.py.out19
-rw-r--r--verify-chill/without/test_original.py.out34
-rw-r--r--verify-chill/without/test_peel.py.out34
-rw-r--r--verify-chill/without/test_permute.py.out22
-rw-r--r--verify-chill/without/test_print_code.py.out24
-rw-r--r--verify-chill/without/test_print_dep.py.out24
-rw-r--r--verify-chill/without/test_print_space.py.out24
-rw-r--r--verify-chill/without/test_reverse.py.out19
-rw-r--r--verify-chill/without/test_scale.py.out19
-rw-r--r--verify-chill/without/test_shift.py.out25
-rw-r--r--verify-chill/without/test_shift_to.py.out19
-rw-r--r--verify-chill/without/test_skew.py.out25
-rw-r--r--verify-chill/without/test_tile.py.out26
-rw-r--r--verify-chill/without/test_unroll.py.out38
-rw-r--r--verify-chill/without/test_unroll_extra.py.out51
18 files changed, 0 insertions, 460 deletions
diff --git a/verify-chill/without/test_distribute.py.out b/verify-chill/without/test_distribute.py.out
deleted file mode 100644
index e90e735..0000000
--- a/verify-chill/without/test_distribute.py.out
+++ /dev/null
@@ -1,19 +0,0 @@
-#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/without/test_fuse.py.out b/verify-chill/without/test_fuse.py.out
deleted file mode 100644
index e8f0856..0000000
--- a/verify-chill/without/test_fuse.py.out
+++ /dev/null
@@ -1,19 +0,0 @@
-#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/without/test_known.py.out b/verify-chill/without/test_known.py.out
deleted file mode 100644
index e8f0856..0000000
--- a/verify-chill/without/test_known.py.out
+++ /dev/null
@@ -1,19 +0,0 @@
-#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/without/test_known_2.py.out b/verify-chill/without/test_known_2.py.out
deleted file mode 100644
index e8f0856..0000000
--- a/verify-chill/without/test_known_2.py.out
+++ /dev/null
@@ -1,19 +0,0 @@
-#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/without/test_original.py.out b/verify-chill/without/test_original.py.out
deleted file mode 100644
index 15cfc7b..0000000
--- a/verify-chill/without/test_original.py.out
+++ /dev/null
@@ -1,34 +0,0 @@
-#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/without/test_peel.py.out b/verify-chill/without/test_peel.py.out
deleted file mode 100644
index 15cfc7b..0000000
--- a/verify-chill/without/test_peel.py.out
+++ /dev/null
@@ -1,34 +0,0 @@
-#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/without/test_permute.py.out b/verify-chill/without/test_permute.py.out
deleted file mode 100644
index 5aeecfd..0000000
--- a/verify-chill/without/test_permute.py.out
+++ /dev/null
@@ -1,22 +0,0 @@
-#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/without/test_print_code.py.out b/verify-chill/without/test_print_code.py.out
deleted file mode 100644
index f96eb53..0000000
--- a/verify-chill/without/test_print_code.py.out
+++ /dev/null
@@ -1,24 +0,0 @@
-#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/without/test_print_dep.py.out b/verify-chill/without/test_print_dep.py.out
deleted file mode 100644
index f96eb53..0000000
--- a/verify-chill/without/test_print_dep.py.out
+++ /dev/null
@@ -1,24 +0,0 @@
-#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/without/test_print_space.py.out b/verify-chill/without/test_print_space.py.out
deleted file mode 100644
index f96eb53..0000000
--- a/verify-chill/without/test_print_space.py.out
+++ /dev/null
@@ -1,24 +0,0 @@
-#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/without/test_reverse.py.out b/verify-chill/without/test_reverse.py.out
deleted file mode 100644
index 617d115..0000000
--- a/verify-chill/without/test_reverse.py.out
+++ /dev/null
@@ -1,19 +0,0 @@
-#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/without/test_scale.py.out b/verify-chill/without/test_scale.py.out
deleted file mode 100644
index 0f7be2a..0000000
--- a/verify-chill/without/test_scale.py.out
+++ /dev/null
@@ -1,19 +0,0 @@
-#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/without/test_shift.py.out b/verify-chill/without/test_shift.py.out
deleted file mode 100644
index a26758b..0000000
--- a/verify-chill/without/test_shift.py.out
+++ /dev/null
@@ -1,25 +0,0 @@
-#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/without/test_shift_to.py.out b/verify-chill/without/test_shift_to.py.out
deleted file mode 100644
index b29724c..0000000
--- a/verify-chill/without/test_shift_to.py.out
+++ /dev/null
@@ -1,19 +0,0 @@
-#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/without/test_skew.py.out b/verify-chill/without/test_skew.py.out
deleted file mode 100644
index 04c4208..0000000
--- a/verify-chill/without/test_skew.py.out
+++ /dev/null
@@ -1,25 +0,0 @@
-#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/without/test_tile.py.out b/verify-chill/without/test_tile.py.out
deleted file mode 100644
index e59933e..0000000
--- a/verify-chill/without/test_tile.py.out
+++ /dev/null
@@ -1,26 +0,0 @@
-#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/without/test_unroll.py.out b/verify-chill/without/test_unroll.py.out
deleted file mode 100644
index 91bfa4f..0000000
--- a/verify-chill/without/test_unroll.py.out
+++ /dev/null
@@ -1,38 +0,0 @@
-#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/without/test_unroll_extra.py.out b/verify-chill/without/test_unroll_extra.py.out
deleted file mode 100644
index 2126860..0000000
--- a/verify-chill/without/test_unroll_extra.py.out
+++ /dev/null
@@ -1,51 +0,0 @@
-#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];
- }
- }
-}
generated by cgit v1.2.3-70-g09d2 (git 2.47.1) at 2025-02-02 02:43:21 +0000