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/modint.h | |
parent | a042d603c911ea0ced701d415574342264e0555e (diff) | |
download | compcert-kvx-ac6e6181c48b0e21219c1ea57e30fa8d3c3f1714.tar.gz compcert-kvx-ac6e6181c48b0e21219c1ea57e30fa8d3c3f1714.zip |
some unrolling
Diffstat (limited to 'test/monniaux/modint.h')
-rw-r--r-- | test/monniaux/modint.h | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/monniaux/modint.h b/test/monniaux/modint.h index d3a154c1..5295258b 100644 --- a/test/monniaux/modint.h +++ b/test/monniaux/modint.h @@ -24,6 +24,11 @@ void modint_mat_mul4(unsigned m, unsigned n, unsigned p, const modint *a, unsigned stride_a, const modint *b, unsigned stride_b); +void modint_mat_mul5(unsigned m, unsigned n, unsigned p, + modint * restrict c, unsigned stride_c, + const modint *a, unsigned stride_a, + const modint *b, unsigned stride_b); + modint modint_random(void); void modint_mat_random(unsigned m, |