diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-18 14:07:17 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-18 14:07:17 +0100 |
| commit | ac6e6181c48b0e21219c1ea57e30fa8d3c3f1714 (patch) | |
| tree | 56d45b01b39424cfc4b22bb542b37833e9f32916 /test/monniaux/int_mat_run.c | |
| parent | a042d603c911ea0ced701d415574342264e0555e (diff) | |
| download | compcert-kvx-ac6e6181c48b0e21219c1ea57e30fa8d3c3f1714.tar.gz compcert-kvx-ac6e6181c48b0e21219c1ea57e30fa8d3c3f1714.zip | |
some unrolling
Diffstat (limited to 'test/monniaux/int_mat_run.c')
| -rw-r--r-- | test/monniaux/int_mat_run.c | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/test/monniaux/int_mat_run.c b/test/monniaux/int_mat_run.c index 9367fae0..9d5c0c57 100644 --- a/test/monniaux/int_mat_run.c +++ b/test/monniaux/int_mat_run.c @@ -59,20 +59,29 @@ int main() { modint_mat_mul4(m, n, p, c4, p, a, n, b, p); c4_time = get_cycle()-c4_time; + modint *c5 = malloc(sizeof(modint) * m * p); + cycle_t c5_time = get_cycle(); + modint_mat_mul5(m, n, p, c5, p, a, n, b, p); + c5_time = get_cycle()-c5_time; + printf("c1==c2: %s\n" "c1==c3: %s\n" "c1==c4: %s\n" + "c1==c5: %s\n" "c1_time = %" PRIu64 "\n" "c2_time = %" PRIu64 "\n" "c3_time = %" PRIu64 "\n" - "c4_time = %" PRIu64 "\n", + "c4_time = %" PRIu64 "\n" + "c5_time = %" PRIu64 "\n", modint_mat_equal(m, n, c1, p, c2, p)?"true":"false", modint_mat_equal(m, n, c1, p, c3, p)?"true":"false", modint_mat_equal(m, n, c1, p, c4, p)?"true":"false", + modint_mat_equal(m, n, c1, p, c5, p)?"true":"false", c1_time, c2_time, c3_time, - c4_time); + c4_time, + c5_time); free(a); free(b); @@ -80,5 +89,6 @@ int main() { free(c2); free(c3); free(c4); + free(c5); return 0; } |