diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-20 14:06:21 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-20 14:06:21 +0200 |
commit | 168393089024b5f926836cb813fddf14e6b6e4d4 (patch) | |
tree | 5d018198dc26be847544f162b87ad3dcecbab479 /test/compression | |
parent | 633b72565b022f159526338b5bbb9fcac86dfd2b (diff) | |
parent | b3431b1d9ee5121883d307cff0b62b7e53369891 (diff) | |
download | compcert-kvx-168393089024b5f926836cb813fddf14e6b6e4d4.tar.gz compcert-kvx-168393089024b5f926836cb813fddf14e6b6e4d4.zip |
Merge remote-tracking branch 'origin/mppa-work' into mppa-fast-div
(unfinished)
Diffstat (limited to 'test/compression')
-rw-r--r-- | test/compression/Makefile | 19 |
1 files changed, 12 insertions, 7 deletions
diff --git a/test/compression/Makefile b/test/compression/Makefile index 2e14e646..ff7032d5 100644 --- a/test/compression/Makefile +++ b/test/compression/Makefile @@ -1,9 +1,11 @@ include ../../Makefile.config +SIMU=timeout --signal=SIGKILL 20s $(EXECUTE) + CC=../../ccomp CFLAGS=$(CCOMPOPTS) -U__GNUC__ -stdlib ../../runtime -dclight -dasm LIBS= -TIME=xtime -o /dev/null -mintime 1.0 +TIME=ocaml unix.cma ../../tools/xtime.ml -mintime 2.0 -minruns 2 EXE=arcode lzw lzss @@ -30,15 +32,19 @@ TESTFILE:=$(firstword $(wildcard /usr/share/dict/words) ./lzss) TESTCOMPR=/tmp/testcompr.$$$$ TESTEXPND=/tmp/testexpnd.$$$$ +LIGHTERFILEPRE:=/tmp/lighter +LIGHTERFILE:=$(LIGHTERFILEPRE)aa + test: - @rm -f $(TESTCOMPR) $(TESTEXPND); \ - echo "Test data: $(TESTFILE)"; \ + @split -l15 $(TESTFILE) $(LIGHTERFILEPRE); \ + rm -f $(TESTCOMPR) $(TESTEXPND); \ + echo "Test data: $(LIGHTERFILE)"; \ for i in $(EXE); do \ echo "$$i: compression..."; \ - $(SIMU) ./$$i -c -i $(TESTFILE) -o $(TESTCOMPR); \ + $(SIMU) ./$$i -c -i $(LIGHTERFILE) -o $(TESTCOMPR); \ echo "$$i: decompression..."; \ $(SIMU) ./$$i -d -i $(TESTCOMPR) -o $(TESTEXPND); \ - if cmp $(TESTFILE) $(TESTEXPND); \ + if cmp $(LIGHTERFILE) $(TESTEXPND); \ then echo "$$i: passed"; \ else echo "$$i: FAILED"; exit 2; \ fi; \ @@ -48,8 +54,7 @@ test: bench: @rm -f $(TESTCOMPR) @for i in $(EXE); do \ - echo -n "$$i: "; \ - $(TIME) sh -c "./$$i -c -i $(TESTFILE) -o $(TESTCOMPR) && ./$$i -d -i $(TESTCOMPR) -o /dev/null"; \ + $(TIME) -name $$i -- sh -c "./$$i -c -i $(TESTFILE) -o $(TESTCOMPR) && ./$$i -d -i $(TESTCOMPR) -o /dev/null"; \ done @rm -f $(TESTCOMPR) |