diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-18 11:41:24 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-18 11:41:24 +0100 |
commit | 18540b654ac649d56bfd7261bdc99c7506aaf602 (patch) | |
tree | d8de46240c8e1cdf72c4d7e17f795a585e994547 /test | |
parent | b0e23628f95845591f8ce697784beda13e3cf640 (diff) | |
download | compcert-kvx-18540b654ac649d56bfd7261bdc99c7506aaf602.tar.gz compcert-kvx-18540b654ac649d56bfd7261bdc99c7506aaf602.zip |
forgot to deallocate block
-g changes performance
Diffstat (limited to 'test')
-rw-r--r-- | test/monniaux/float_mat/Makefile | 2 | ||||
-rw-r--r-- | test/monniaux/float_mat/float_mat.h | 2 | ||||
-rw-r--r-- | test/monniaux/float_mat/float_mat_run.c | 7 | ||||
-rw-r--r-- | test/monniaux/mod_int_mat/int_mat_run.c | 1 | ||||
-rw-r--r-- | test/monniaux/rules.mk | 4 | ||||
-rw-r--r-- | test/monniaux/xor_and_mat/int_mat_run.c | 1 |
6 files changed, 12 insertions, 5 deletions
diff --git a/test/monniaux/float_mat/Makefile b/test/monniaux/float_mat/Makefile index 0b66010a..60bde6aa 100644 --- a/test/monniaux/float_mat/Makefile +++ b/test/monniaux/float_mat/Makefile @@ -16,6 +16,6 @@ float_mat.ccomp.k1c: float_mat.ccomp.k1c.o float_mat_run.gcc.k1c.o $(K1C_CCOMP) $(K1C_CCOMPFLAGS) $+ -o $@ clean: - $(RM) -f $(PRODUCTS) float_mat.gcc.k1c.o float_mat.ccomp.k1c.o float_mat_run.gcc.k1c.o + $(RM) -f *.k1c *.host *.o *.s .PHONY: clean diff --git a/test/monniaux/float_mat/float_mat.h b/test/monniaux/float_mat/float_mat.h index d0f48951..03a25036 100644 --- a/test/monniaux/float_mat/float_mat.h +++ b/test/monniaux/float_mat/float_mat.h @@ -1,7 +1,7 @@ #include <stdint.h> #include <stdbool.h> -typedef double REAL; +typedef float REAL; void REAL_mat_mul1(unsigned m, unsigned n, unsigned p, REAL * restrict c, unsigned stride_c, diff --git a/test/monniaux/float_mat/float_mat_run.c b/test/monniaux/float_mat/float_mat_run.c index cb5e2110..448bb8a5 100644 --- a/test/monniaux/float_mat/float_mat_run.c +++ b/test/monniaux/float_mat/float_mat_run.c @@ -12,7 +12,11 @@ bool REAL_mat_equal(unsigned m, const REAL *b, unsigned stride_b) { for(unsigned i=0; i<m; i++) { for(unsigned j=0; j<n; j++) { - if (a[i*stride_a + j] != b[i*stride_b + j]) return false; + if (a[i*stride_a + j] != b[i*stride_b + j]) { + printf("at %u,%u: %g vs %g\n", i, j, + a[i*stride_a + j], b[i*stride_b + j]); + return false; + } } } return true; @@ -114,5 +118,6 @@ int main() { free(c4); free(c5); free(c6); + free(c7); return 0; } diff --git a/test/monniaux/mod_int_mat/int_mat_run.c b/test/monniaux/mod_int_mat/int_mat_run.c index 9ea1edd0..860c248d 100644 --- a/test/monniaux/mod_int_mat/int_mat_run.c +++ b/test/monniaux/mod_int_mat/int_mat_run.c @@ -85,5 +85,6 @@ int main() { free(c4); free(c5); free(c6); + free(c7); return 0; } diff --git a/test/monniaux/rules.mk b/test/monniaux/rules.mk index c1f5616d..9d345f2a 100644 --- a/test/monniaux/rules.mk +++ b/test/monniaux/rules.mk @@ -4,10 +4,10 @@ CCOMPFLAGS=-g -O3 -Wall -fno-unprototyped CFLAGS=-g -std=c99 -O3 -Wall -Wextra -Werror=implicit K1C_CC=k1-mbr-gcc -K1C_CFLAGS =-g -std=c99 -O3 -Wall -Wextra -Werror=implicit +K1C_CFLAGS =-g -std=c99 -O2 -Wall -Wextra -Werror=implicit K1C_CCOMP = ../../../ccomp -K1C_CCOMPFLAGS=-g -O3 -Wall -fno-unprototyped +K1C_CCOMPFLAGS=-O3 -Wall -fno-unprototyped EXECUTE=k1-cluster --syscall=libstd_scalls.so -- diff --git a/test/monniaux/xor_and_mat/int_mat_run.c b/test/monniaux/xor_and_mat/int_mat_run.c index b05c9f9f..53335de4 100644 --- a/test/monniaux/xor_and_mat/int_mat_run.c +++ b/test/monniaux/xor_and_mat/int_mat_run.c @@ -85,5 +85,6 @@ int main() { free(c4); free(c5); free(c6); + free(c7); return 0; } |