diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-17 23:07:26 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-17 23:07:26 +0100 |
commit | 12c160bd4d10b008d0e53382c1f452bc3b05336e (patch) | |
tree | df6371dcb3675cf89810d279aa223a1cf062a44a | |
parent | b75c350d2ce747e85b4418c32841cb028de021fa (diff) | |
download | compcert-kvx-12c160bd4d10b008d0e53382c1f452bc3b05336e.tar.gz compcert-kvx-12c160bd4d10b008d0e53382c1f452bc3b05336e.zip |
bugfix
-rw-r--r-- | test/monniaux/int_mat.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/int_mat.c b/test/monniaux/int_mat.c index 5bea64fc..a750937d 100644 --- a/test/monniaux/int_mat.c +++ b/test/monniaux/int_mat.c @@ -46,7 +46,7 @@ void modint_mat_mul3(unsigned m, unsigned n, unsigned p, for(unsigned k=0; k<p; k++) { modint total0 = 0, total1 = 0; unsigned j; - for(j=0; j<n; j+=2) { + for(j=0; j+1<n; j+=2) { total0 += a[i*stride_a + j] * b[j*stride_b + k]; total1 += a[i*stride_a + (j+1)] * b[(j+1)*stride_b + k]; } |