diff options
Diffstat (limited to 'verify-chill')
57 files changed, 0 insertions, 1171 deletions
diff --git a/verify-chill/mm.c b/verify-chill/mm.c deleted file mode 100644 index 354d929..0000000 --- a/verify-chill/mm.c +++ /dev/null @@ -1,15 +0,0 @@ - - -void mm(float **A, float **B, float **C, int ambn, int an, int bm) { - int i, j, n; - - for(i = 0; i < an; i++) { - for(j = 0; j < bm; j++) { - C[i][j] = 0.0f; - for(n = 0; n < ambn; n++) { - C[i][j] += A[i][n] * B[n][j]; - } - } - } -} - diff --git a/verify-chill/runtests b/verify-chill/runtests deleted file mode 100755 index e5021f8..0000000 --- a/verify-chill/runtests +++ /dev/null @@ -1,17 +0,0 @@ -#/bin/sh -for file in *.py; do - echo -n "Testing " - echo -n $file | sed 's/test_//g;s/.py//g' - echo -n " ... " - ../chill $file > /dev/null 2>&1 - cmp -s rose_mm.c with/$file.out - if [ $? -eq 0 ] - then echo OK - else - cmp -s rose_mm.c without/$file.out - if [ $? -eq 0 ]; then echo OK; else echo failed; fi - fi -done -rm rose_mm.c - - diff --git a/verify-chill/test_distribute.py b/verify-chill/test_distribute.py deleted file mode 100644 index 760d29f..0000000 --- a/verify-chill/test_distribute.py +++ /dev/null @@ -1,12 +0,0 @@ -from chill import * - -source('mm.c') -procedure('mm') -#format: rose -loop(0) - -known('ambn > 0') -known('an > 0') -known('bm > 0') -distribute([0,1], 1) -print_code() diff --git a/verify-chill/test_fuse.py b/verify-chill/test_fuse.py deleted file mode 100644 index 32c594c..0000000 --- a/verify-chill/test_fuse.py +++ /dev/null @@ -1,14 +0,0 @@ -from chill import * - -source('mm.c') -procedure('mm') -#format: rose -loop(0) - -known('ambn > 0') -known('an > 0') -known('bm > 0') -distribute([0,1], 1) -print_code() -fuse([0,1], 1) -print_code() diff --git a/verify-chill/test_known.py b/verify-chill/test_known.py deleted file mode 100644 index 662d7d0..0000000 --- a/verify-chill/test_known.py +++ /dev/null @@ -1,11 +0,0 @@ -from chill import * - -source('mm.c') -procedure('mm') -#format: rose -loop(0) - -known('ambn > 0') -known('an > 0') -known('bm > 0') -print_code() diff --git a/verify-chill/test_known_2.py b/verify-chill/test_known_2.py deleted file mode 100644 index 5b16325..0000000 --- a/verify-chill/test_known_2.py +++ /dev/null @@ -1,9 +0,0 @@ -from chill import * - -source('mm.c') -procedure('mm') -#format: rose -loop(0) - -known(['ambn > 0', 'an > 0', 'bm > 0']) -print_code() diff --git a/verify-chill/test_original.py b/verify-chill/test_original.py deleted file mode 100644 index 2d17799..0000000 --- a/verify-chill/test_original.py +++ /dev/null @@ -1,12 +0,0 @@ -from chill import * - -source('mm.c') -procedure('mm') -#format: rose -loop(0) - -known(['ambn > 4', 'an > 0', 'bm > 0']) -peel(1,3,4) -print_code() -original() -print_code() diff --git a/verify-chill/test_peel.py b/verify-chill/test_peel.py deleted file mode 100644 index bb6c583..0000000 --- a/verify-chill/test_peel.py +++ /dev/null @@ -1,10 +0,0 @@ -from chill import * - -source('mm.c') -procedure('mm') -#format: rose -loop(0) - -known(['ambn > 4', 'an > 0', 'bm > 0']) -peel(1,3,4) -print_code() diff --git a/verify-chill/test_permute.py b/verify-chill/test_permute.py deleted file mode 100644 index ff4a42a..0000000 --- a/verify-chill/test_permute.py +++ /dev/null @@ -1,12 +0,0 @@ -from chill import * - -source('mm.c') -procedure('mm') -#format: rose -loop(0) - -known('ambn > 0') -known('an > 0') -known('bm > 0') -permute([3,2,1]) -print_code() diff --git a/verify-chill/test_print_code.py b/verify-chill/test_print_code.py deleted file mode 100644 index 004c46c..0000000 --- a/verify-chill/test_print_code.py +++ /dev/null @@ -1,8 +0,0 @@ -from chill import * - -source('mm.c') -procedure('mm') -#format: rose -loop(0) - -print_code() diff --git a/verify-chill/test_print_dep.py b/verify-chill/test_print_dep.py deleted file mode 100644 index a3dee29..0000000 --- a/verify-chill/test_print_dep.py +++ /dev/null @@ -1,8 +0,0 @@ -from chill import * - -source('mm.c') -procedure('mm') -#format: rose -loop(0) - -print_dep() diff --git a/verify-chill/test_print_space.py b/verify-chill/test_print_space.py deleted file mode 100644 index 2f8f678..0000000 --- a/verify-chill/test_print_space.py +++ /dev/null @@ -1,8 +0,0 @@ -from chill import * - -source('mm.c') -procedure('mm') -#format: rose -loop(0) - -print_space() diff --git a/verify-chill/test_reverse.py b/verify-chill/test_reverse.py deleted file mode 100644 index a97c611..0000000 --- a/verify-chill/test_reverse.py +++ /dev/null @@ -1,12 +0,0 @@ -from chill import * - -source('mm.c') -procedure('mm') -#format: rose -loop(0) - -known(['ambn > 0', 'an > 0', 'bm > 0']) -distribute([0,1],1) -reverse([1],1) -reverse([1],2) -print_code() diff --git a/verify-chill/test_scale.py b/verify-chill/test_scale.py deleted file mode 100644 index ee8455d..0000000 --- a/verify-chill/test_scale.py +++ /dev/null @@ -1,12 +0,0 @@ -from chill import * - -source('mm.c') -procedure('mm') -#format: rose -loop(0) - -known(['ambn > 0', 'an > 0', 'bm > 0']) -distribute([0,1],1) -scale([1],1,4) -scale([1],2,4) -print_code() diff --git a/verify-chill/test_shift.py b/verify-chill/test_shift.py deleted file mode 100644 index b3fc6ab..0000000 --- a/verify-chill/test_shift.py +++ /dev/null @@ -1,12 +0,0 @@ -from chill import * - -source('mm.c') -procedure('mm') -#format: rose -loop(0) - -known('ambn > 0') -known('an > 0') -known('bm > 0') -shift([1],1,4) -print_code() diff --git a/verify-chill/test_shift_to.py b/verify-chill/test_shift_to.py deleted file mode 100644 index f3537c5..0000000 --- a/verify-chill/test_shift_to.py +++ /dev/null @@ -1,12 +0,0 @@ -from chill import * - -source('mm.c') -procedure('mm') -#format: rose -loop(0) - -known('ambn > 0') -known('an > 0') -known('bm > 0') -shift_to(1,1,4) -print_code() diff --git a/verify-chill/test_skew.py b/verify-chill/test_skew.py deleted file mode 100644 index c7271f4..0000000 --- a/verify-chill/test_skew.py +++ /dev/null @@ -1,12 +0,0 @@ -from chill import * - -source('mm.c') -procedure('mm') -#format: rose -loop(0) - -known('ambn > 0') -known('an > 0') -known('bm > 0') -skew([1],1,[4]) -print_code() diff --git a/verify-chill/test_tile.py b/verify-chill/test_tile.py deleted file mode 100644 index fbe0368..0000000 --- a/verify-chill/test_tile.py +++ /dev/null @@ -1,14 +0,0 @@ -from chill import * - -source('mm.c') -procedure('mm') -#format: rose -loop(0) - -#known('ambn > 0') -#known('an > 0') -#known('bm > 0') -#tile(1, 1, 4, 1) -#tile(1, 3, 4, 2) -tile(0,2,4) -print_code() diff --git a/verify-chill/test_unroll.py b/verify-chill/test_unroll.py deleted file mode 100644 index 39dd0db..0000000 --- a/verify-chill/test_unroll.py +++ /dev/null @@ -1,13 +0,0 @@ -from chill import * - -source('mm.c') -procedure('mm') -#format: rose -loop(0) - -known('ambn > 0') -known('an > 0') -known('bm > 0') -distribute([0,1], 1) -unroll(1, 3, 4) -print_code() diff --git a/verify-chill/test_unroll_extra.py b/verify-chill/test_unroll_extra.py deleted file mode 100644 index 929313c..0000000 --- a/verify-chill/test_unroll_extra.py +++ /dev/null @@ -1,12 +0,0 @@ -from chill import * - -source('mm.c') -procedure('mm') -#format: rose -loop(0) - -known('ambn > 0') -known('an > 0') -known('bm > 0') -unroll_extra(1, 2, 4) -print_code() diff --git a/verify-chill/testrun.log b/verify-chill/testrun.log deleted file mode 100644 index 7611517..0000000 --- a/verify-chill/testrun.log +++ /dev/null @@ -1,16 +0,0 @@ -Test Run By bobw on Mon Sep 21 12:59:26 2015 -Native configuration is x86_64-unknown-linux-gnu - - === tests === - -Schedule of variations: - unix - -Running target unix -Using /usr/local/share/dejagnu/baseboards/unix.exp as board description file for target. -Using /usr/local/share/dejagnu/config/unix.exp as generic interface file for target. -WARNING: Couldn't find tool config file for unix, using default. - - === Summary === - -runtest completed at Mon Sep 21 12:59:26 2015 diff --git a/verify-chill/with/test_distribute.py.out b/verify-chill/with/test_distribute.py.out deleted file mode 100644 index f071e87..0000000 --- a/verify-chill/with/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/with/test_fuse.py.out b/verify-chill/with/test_fuse.py.out deleted file mode 100644 index 062bd15..0000000 --- a/verify-chill/with/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/with/test_known.py.out b/verify-chill/with/test_known.py.out deleted file mode 100644 index 062bd15..0000000 --- a/verify-chill/with/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/with/test_known_2.py.out b/verify-chill/with/test_known_2.py.out deleted file mode 100644 index 062bd15..0000000 --- a/verify-chill/with/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/with/test_original.py.out b/verify-chill/with/test_original.py.out deleted file mode 100644 index 3d84795..0000000 --- a/verify-chill/with/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/with/test_peel.py.out b/verify-chill/with/test_peel.py.out deleted file mode 100644 index 3d84795..0000000 --- a/verify-chill/with/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/with/test_permute.py.out b/verify-chill/with/test_permute.py.out deleted file mode 100644 index 709b7ae..0000000 --- a/verify-chill/with/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/with/test_print_code.py.out b/verify-chill/with/test_print_code.py.out deleted file mode 100644 index f6e21a7..0000000 --- a/verify-chill/with/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/with/test_print_dep.py.out b/verify-chill/with/test_print_dep.py.out deleted file mode 100644 index f6e21a7..0000000 --- a/verify-chill/with/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/with/test_print_space.py.out b/verify-chill/with/test_print_space.py.out deleted file mode 100644 index f6e21a7..0000000 --- a/verify-chill/with/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/with/test_reverse.py.out b/verify-chill/with/test_reverse.py.out deleted file mode 100644 index 1e9c9b6..0000000 --- a/verify-chill/with/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/with/test_scale.py.out b/verify-chill/with/test_scale.py.out deleted file mode 100644 index dff7515..0000000 --- a/verify-chill/with/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/with/test_shift.py.out b/verify-chill/with/test_shift.py.out deleted file mode 100644 index 6eaa244..0000000 --- a/verify-chill/with/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/with/test_shift_to.py.out b/verify-chill/with/test_shift_to.py.out deleted file mode 100644 index 01c7ff8..0000000 --- a/verify-chill/with/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/with/test_skew.py.out b/verify-chill/with/test_skew.py.out deleted file mode 100644 index b3da044..0000000 --- a/verify-chill/with/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/with/test_tile.py.out b/verify-chill/with/test_tile.py.out deleted file mode 100644 index 47bae06..0000000 --- a/verify-chill/with/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/with/test_unroll.py.out b/verify-chill/with/test_unroll.py.out deleted file mode 100644 index 7770c60..0000000 --- a/verify-chill/with/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/with/test_unroll_extra.py.out b/verify-chill/with/test_unroll_extra.py.out deleted file mode 100644 index 232d1c8..0000000 --- a/verify-chill/with/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]); - } - } -} 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]; - } - } -} |