aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/yarpgen
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-03-22 21:27:01 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-03-22 21:40:47 +0100
commit061c1a394b0c540d2c8bf996b2ef2776549e74bf (patch)
tree60446ea2622b9a2f6550a15a88b574b761aff4fd /test/monniaux/yarpgen
parentc7cb9adb593c98a839945d4854918d29aa6c7491 (diff)
downloadcompcert-kvx-061c1a394b0c540d2c8bf996b2ef2776549e74bf.tar.gz
compcert-kvx-061c1a394b0c540d2c8bf996b2ef2776549e74bf.zip
check that gcc and ccomp compiled k1c code return the same
Diffstat (limited to 'test/monniaux/yarpgen')
-rw-r--r--test/monniaux/yarpgen/Makefile8
1 files changed, 6 insertions, 2 deletions
diff --git a/test/monniaux/yarpgen/Makefile b/test/monniaux/yarpgen/Makefile
index 3c22ccfd..9da82deb 100644
--- a/test/monniaux/yarpgen/Makefile
+++ b/test/monniaux/yarpgen/Makefile
@@ -1,5 +1,5 @@
YARPGEN=yarpgen
-MAX=10
+MAX=300
PREFIX=ran%06.f
include ../rules.mk
@@ -21,8 +21,9 @@ TARGETS_CCOMP_K1C_OUT=$(shell seq --format $(PREFIX)/example.ccomp.k1c.out 0 $(M
TARGETS_GCC_K1C_OUT=$(shell seq --format $(PREFIX)/example.gcc.k1c.out 0 $(MAX))
TARGETS_GCC_HOST_OUT=$(shell seq --format $(PREFIX)/example.gcc.host.out 0 $(MAX))
TARGETS_CCOMP_HOST_OUT=$(shell seq --format $(PREFIX)/example.ccomp.host.out 0 $(MAX))
+TARGETS_CMP=$(shell seq --format $(PREFIX)/example.k1c.cmp 0 $(MAX))
-all: $(TARGETS_CCOMP_K1C_OUT) $(TARGETS_GCC_K1C_OUT) $(TARGETS_GCC_HOST_OUT) $(TARGETS_CCOMP_HOST_OUT) $(TARGETS_CCOMP_K1C_S) $(TARGETS_GCC_K1C_S) $(TARGETS_GCC_HOST_S) $(TARGETS_CCOMP_HOST_S)
+all: $(TARGETS_CCOMP_K1C_OUT) $(TARGETS_GCC_K1C_OUT) $(TARGETS_GCC_HOST_OUT) $(TARGETS_CCOMP_HOST_OUT) $(TARGETS_CCOMP_K1C_S) $(TARGETS_GCC_K1C_S) $(TARGETS_GCC_HOST_S) $(TARGETS_CCOMP_HOST_S) $(TARGETS_CMP) $(TARGETS_C)
ran%/func.ccomp.k1c.s ran%/func.gcc.k1c.s ran%/func.ccomp.host.s ran%/func.gcc.host.s : ran%/init.h
@@ -42,6 +43,9 @@ ran%/driver.c ran%/func.c ran%/init.h:
-mkdir ran$*
$(YARPGEN) --seed=$* --out-dir=ran$*/ --std=c99
+ran%/example.k1c.cmp : ran%/example.gcc.k1c.out ran%/example.ccomp.k1c.out
+ cmp $+ > $@
+
.PHONY: all clean
clean: