diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-02 15:57:48 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-02-02 15:57:48 +0100 |
commit | e6890cc9d54dde37921e263daac03e1d9b8eee1e (patch) | |
tree | e5f5b4bce85ada7ba82646a5437f39c3976cc37e /test/monniaux/ncompress | |
parent | 1817a0c73f6aef9e69f7105ad19ca78ad6cbffd9 (diff) | |
download | compcert-kvx-e6890cc9d54dde37921e263daac03e1d9b8eee1e.tar.gz compcert-kvx-e6890cc9d54dde37921e263daac03e1d9b8eee1e.zip |
better Makefile and printouts
Diffstat (limited to 'test/monniaux/ncompress')
-rw-r--r-- | test/monniaux/ncompress/Makefile | 44 | ||||
-rw-r--r-- | test/monniaux/ncompress/compress42.c | 5 |
2 files changed, 36 insertions, 13 deletions
diff --git a/test/monniaux/ncompress/Makefile b/test/monniaux/ncompress/Makefile index 37743851..960d04d0 100644 --- a/test/monniaux/ncompress/Makefile +++ b/test/monniaux/ncompress/Makefile @@ -22,35 +22,53 @@ all: check %.ccomp.k1c.o: %.ccomp.k1c.s $(K1C_CCOMP) $(K1C_CCOMPFLAGS) -c $< -o $@ +%.gcc.host.o: %.c + $(CC) $(CFLAGS) -c $< -o $@ + all: compress.gcc.host compress.ccomp.host compress.gcc.k1c compress.ccomp.k1c -compress.gcc.host : compress42.c - $(CC) $(CFLAGS) $< -o $@ +compress.gcc.host : compress42.c ../clock.gcc.host.o + $(CC) $(CFLAGS) $+ -o $@ -compress.ccomp.host : compress42.c - $(CCOMP) $(CCOMPFLAGS) $< -o $@ +compress.ccomp.host : compress42.c ../clock.gcc.host.o + $(CCOMP) $(CCOMPFLAGS) $+ -o $@ -compress.gcc.k1c : compress42.gcc.k1c.o - $(K1C_CC) $(K1C_CFLAGS) $< -o $@ +compress.gcc.k1c : compress42.gcc.k1c.o ../clock.gcc.k1c.o + $(K1C_CC) $(K1C_CFLAGS) $+ -o $@ -compress.ccomp.k1c : compress42.ccomp.k1c.o - $(K1C_CCOMP) $(K1C_CCOMPFLAGS) $< -o $@ +compress.ccomp.k1c : compress42.ccomp.k1c.o ../clock.gcc.k1c.o + $(K1C_CCOMP) $(K1C_CCOMPFLAGS) $+ -o $@ INFILE=Makefile COMPRESSED=foo.gcc.host.Z foo.gcc.host.Z: compress.gcc.host $(INFILE) - ./compress.gcc.host <$(INFILE) >$@ + ./compress.gcc.host <$(INFILE) >foo.gcc.host.Z 2> foo.gcc.host.Z.out foo.ccomp.k1c.Z: compress.ccomp.k1c $(INFILE) - $(EXECUTE) ./compress.ccomp.k1c <$(INFILE) >$@ + $(EXECUTE) ./compress.ccomp.k1c <$(INFILE) >foo.ccomp.k1c.Z 2> foo.ccomp.k1c.Z.out + +foo.gcc.k1c.Z: compress.gcc.k1c $(INFILE) + $(EXECUTE) ./compress.gcc.k1c <$(INFILE) >foo.gcc.k1c.Z 2> foo.gcc.k1c.Z.out foo.gcc.host.txt: compress.gcc.host $(COMPRESSED) - ./compress.gcc.host -d <$(COMPRESSED) >$@ + ./compress.gcc.host -d <$(COMPRESSED) >foo.gcc.host.txt 2> foo.gcc.host.txt.out foo.ccomp.k1c.txt: compress.gcc.host $(COMPRESSED) - $(EXECUTE) ./compress.ccomp.k1c -d <$(COMPRESSED) >$@ + $(EXECUTE) ./compress.ccomp.k1c -d <$(COMPRESSED) >foo.ccomp.k1c.txt 2> foo.ccomp.k1c.txt.out + +foo.gcc.k1c.txt: compress.gcc.host $(COMPRESSED) + $(EXECUTE) ./compress.gcc.k1c -d <$(COMPRESSED) >foo.gcc.k1c.txt 2> foo.gcc.k1c.txt.out -check: foo.gcc.host.Z foo.ccomp.k1c.Z foo.gcc.host.txt foo.ccomp.k1c.txt +check: foo.gcc.host.Z foo.gcc.host.txt foo.ccomp.k1c.Z foo.ccomp.k1c.txt foo.gcc.k1c.Z foo.gcc.k1c.txt cmp foo.gcc.host.Z foo.ccomp.k1c.Z + cmp foo.gcc.host.Z foo.gcc.k1c.Z cmp foo.gcc.host.txt foo.ccomp.k1c.txt + cmp foo.gcc.host.txt foo.gcc.k1c.txt + +clean: + rm -f *.Z *.txt *.out *.o *.s *.host *.k1c + +.PHONY: clean + +.SECONDARY: %.s diff --git a/test/monniaux/ncompress/compress42.c b/test/monniaux/ncompress/compress42.c index a5b394b9..681dbbff 100644 --- a/test/monniaux/ncompress/compress42.c +++ b/test/monniaux/ncompress/compress42.c @@ -133,6 +133,7 @@ /* FIXME DMonniaux */ #define INT_MOD(x, y) ((long) (x) % (y)) +#include "../clock.h" #ifdef _MSC_VER # define WINDOWS @@ -712,6 +713,8 @@ main(argc, argv) REG1 int argc; REG2 char *argv[]; { + clock_prepare(); + clock_start(); REG3 char **filelist; REG4 char **fileptr; int seen_double_dash = 0; @@ -887,6 +890,8 @@ nextarg: continue; else decompress(0, 1); } + clock_stop(); + printerr_total_clock(); exit((exit_code== -1) ? 1:exit_code); } |