diff options
author | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2008-08-09 08:06:33 +0000 |
---|---|---|
committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2008-08-09 08:06:33 +0000 |
commit | 285f5bec5bb03d4e825e5d866e94008088dd6155 (patch) | |
tree | 9df69ded9ed4f4049e0b3887fdd99fcdf3b1746f /test/compression/Makefile | |
parent | a83f0c1710cc5143dd885e84c94e14f7d3216f93 (diff) | |
download | compcert-kvx-285f5bec5bb03d4e825e5d866e94008088dd6155.tar.gz compcert-kvx-285f5bec5bb03d4e825e5d866e94008088dd6155.zip |
Ajout nouveaux tests
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@708 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'test/compression/Makefile')
-rw-r--r-- | test/compression/Makefile | 59 |
1 files changed, 59 insertions, 0 deletions
diff --git a/test/compression/Makefile b/test/compression/Makefile new file mode 100644 index 00000000..ba83c871 --- /dev/null +++ b/test/compression/Makefile @@ -0,0 +1,59 @@ +CC=../../ccomp +CFLAGS=-U__GNUC__ -stdlib ../../runtime -dclight -dasm +LIBS= +TIME=xtime -o /dev/null -mintime 1.0 + +EXE=arcode lzw lzss + +COMMON_OBJS=optlist.o bitfile.o + +all: $(EXE) + +ARCODE_OBJS=$(COMMON_OBJS) arcode.o armain.o + +arcode: $(ARCODE_OBJS) + $(CC) $(CFLAGS) -o $@ $(ARCODE_OBJS) $(LIBS) + +LZW_OBJS=$(COMMON_OBJS) lzwencode.o lzwdecode.o lzwmain.o + +lzw: $(LZW_OBJS) + $(CC) $(CFLAGS) -o $@ $(LZW_OBJS) $(LIBS) + +LZSS_OBJS=$(COMMON_OBJS) lzvars.o lzhash.o lzencode.o lzdecode.o lzssmain.o + +lzss: $(LZSS_OBJS) + $(CC) $(CFLAGS) -o $@ $(LZSS_OBJS) $(LIBS) + +TESTFILE=/mach_kernel +TESTCOMPR=/tmp/testcompr.out +TESTEXPND=/tmp/testexpnd.out + +test: + rm -f $(TESTCOMPR) $(TESTEXPND) + @for i in $(EXE); do \ + echo "$$i: compression..."; \ + ./$$i -c -i $(TESTFILE) -o $(TESTCOMPR); \ + echo "$$i: decompression..."; \ + ./$$i -d -i $(TESTCOMPR) -o $(TESTEXPND); \ + if cmp $(TESTFILE) $(TESTEXPND); \ + then echo "$$i: passed"; \ + else echo "$$i: FAILED"; \ + fi; \ + done + rm -f $(TESTCOMPR) $(TESTEXPND) + +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"; \ + done + rm -f $(TESTCOMPR) + +include .depend + +clean: + rm -f *.o *.light.c *.s $(EXE) + +depend: + gcc -MM *.c > .depend |