diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-06 17:31:33 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-06-06 17:31:33 +0200 |
| commit | eb175007959e7421a783d402bcbe255f456272f3 (patch) | |
| tree | a79bb38f1e3b47fbea70d008acb0f45e6b8d2d88 /test/monniaux/jpeg-6b | |
| parent | 4909c7ee644d6d92bb8b0f89808a9867e5f1e85a (diff) | |
| download | compcert-kvx-eb175007959e7421a783d402bcbe255f456272f3.tar.gz compcert-kvx-eb175007959e7421a783d402bcbe255f456272f3.zip | |
timings
Diffstat (limited to 'test/monniaux/jpeg-6b')
| -rw-r--r-- | test/monniaux/jpeg-6b/Makefile | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/test/monniaux/jpeg-6b/Makefile b/test/monniaux/jpeg-6b/Makefile index 38704190..c689d7a7 100644 --- a/test/monniaux/jpeg-6b/Makefile +++ b/test/monniaux/jpeg-6b/Makefile @@ -1,4 +1,4 @@ -all: cjpeg.gcc.k1c.out djpeg.gcc.k1c.out +all: cjpeg.gcc.k1c.out djpeg.gcc.k1c.out cjpeg.gcc.o1.k1c.out djpeg.gcc.o1.k1c.out cjpeg.ccomp.k1c.out djpeg.ccomp.k1c.out LIBSOURCES= jcapimin.c jcapistd.c jccoefct.c jccolor.c jcdctmgr.c jchuff.c \ jcinit.c jcmainct.c jcmarker.c jcmaster.c jcomapi.c jcparam.c \ @@ -11,6 +11,8 @@ LIBSOURCES= jcapimin.c jcapistd.c jccoefct.c jccolor.c jcdctmgr.c jchuff.c \ CSOURCES=$(LIBSOURCES) rdppm.c rdgif.c rdtarga.c rdrle.c rdbmp.c rdswitch.c cdjpeg.c wrppm.c wrgif.c wrtarga.c wrrle.c wrbmp.c rdcolmap.c LIB_K1C_GCC_OFILES=$(CSOURCES:.c=.gcc.k1c.o) +LIB_K1C_GCC_O1_OFILES=$(CSOURCES:.c=.gcc.o1.k1c.o) +LIB_K1C_CCOMP_OFILES=$(CSOURCES:.c=.ccomp.k1c.o) include ../rules.mk @@ -19,6 +21,17 @@ cjpeg.gcc.k1c: $(LIB_K1C_GCC_OFILES) cjpeg.gcc.k1c.o djpeg.gcc.k1c: $(LIB_K1C_GCC_OFILES) djpeg.gcc.k1c.o $(K1C_CC) $(K1C_CFLAGS) -o $@ $+ ../clock.gcc.k1c.o +cjpeg.gcc.o1.k1c: $(LIB_K1C_GCC_O1_OFILES) cjpeg.gcc.k1c.o + $(K1C_CC) $(K1C_CFLAGS_O1) -o $@ $+ ../clock.gcc.k1c.o +djpeg.gcc.o1.k1c: $(LIB_K1C_GCC_O1_OFILES) djpeg.gcc.k1c.o + $(K1C_CC) $(K1C_CFLAGS_O1) -o $@ $+ ../clock.gcc.k1c.o + +cjpeg.ccomp.k1c: $(LIB_K1C_CCOMP_OFILES) cjpeg.gcc.k1c.o + $(K1C_CCOMP) $(K1C_CCOMPFLAGS) -o $@ $+ ../clock.gcc.k1c.o +djpeg.ccomp.k1c: $(LIB_K1C_CCOMP_OFILES) djpeg.gcc.k1c.o + $(K1C_CCOMP) $(K1C_CCOMPFLAGS) -o $@ $+ ../clock.gcc.k1c.o + + djpeg.%.out: djpeg.% $(EXECUTE_CYCLES) $< -dct int -ppm -outfile $@.ppm testorig.jpg 2> $@ cmp $@.ppm testout.ppm 2>> $@ @@ -26,3 +39,5 @@ djpeg.%.out: djpeg.% cjpeg.%.out: cjpeg.% $(EXECUTE_CYCLES) $< -dct int -outfile $@.jpg testimg.ppm 2> $@ cmp $@.jpg testimg.jpg 2>> $@ + +.SECONDARY: |