aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/ncompress
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-02-02 15:57:48 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-02-02 15:57:48 +0100
commite6890cc9d54dde37921e263daac03e1d9b8eee1e (patch)
treee5f5b4bce85ada7ba82646a5437f39c3976cc37e /test/monniaux/ncompress
parent1817a0c73f6aef9e69f7105ad19ca78ad6cbffd9 (diff)
downloadcompcert-kvx-e6890cc9d54dde37921e263daac03e1d9b8eee1e.tar.gz
compcert-kvx-e6890cc9d54dde37921e263daac03e1d9b8eee1e.zip
better Makefile and printouts
Diffstat (limited to 'test/monniaux/ncompress')
-rw-r--r--test/monniaux/ncompress/Makefile44
-rw-r--r--test/monniaux/ncompress/compress42.c5
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);
}