aboutsummaryrefslogtreecommitdiffstats
path: root/test
diff options
context:
space:
mode:
authorDavid Monniaux <David.Monniaux@univ-grenoble-alpes.fr>2021-09-29 09:29:52 +0200
committerDavid Monniaux <David.Monniaux@univ-grenoble-alpes.fr>2021-09-29 09:29:52 +0200
commit566c3a847efe0b76fed0685cf8c73a5f869a2a1d (patch)
tree4850b11c5a66b963f46bb6902c344d78ba882122 /test
parentb8985f62eeecf37738f16266acda7680a92969d6 (diff)
downloadcompcert-kvx-566c3a847efe0b76fed0685cf8c73a5f869a2a1d.tar.gz
compcert-kvx-566c3a847efe0b76fed0685cf8c73a5f869a2a1d.zip
tests_O3
Diffstat (limited to 'test')
-rw-r--r--test/monniaux/yarpgen/Makefile22
1 files changed, 21 insertions, 1 deletions
diff --git a/test/monniaux/yarpgen/Makefile b/test/monniaux/yarpgen/Makefile
index f9efd5a0..1a7ce1d0 100644
--- a/test/monniaux/yarpgen/Makefile
+++ b/test/monniaux/yarpgen/Makefile
@@ -34,10 +34,16 @@ $(TESTS_C): $(GENERATOR)
TESTS_CCOMP_TARGET_S=$(TEST_C:.c=.ccomp.target.s)
TESTS_GCC_TARGET_S=$(TEST_C:.c=.gcc.target.s)
TESTS_GCC_HOST_S=$(TEST_C:.c=.gcc.host.s)
+TESTS_GCC_O3_TARGET_S=$(TEST_C:.c=.gcc_O3.target.s)
+TESTS_GCC_O3_HOST_S=$(TEST_C:.c=.gcc_O3.host.s)
TESTS_CCOMP_TARGET_OUT=$(shell seq --format $(PREFIX)/example.ccomp.target.out 1 $(MAX))
TESTS_GCC_TARGET_OUT=$(shell seq --format $(PREFIX)/example.gcc.target.out 1 $(MAX))
+TESTS_GCC_O3_TARGET_OUT=$(shell seq --format $(PREFIX)/example.gcc_O3.target.out 1 $(MAX))
TESTS_GCC_HOST_OUT=$(shell seq --format $(PREFIX)/example.gcc.host.out 1 $(MAX))
-TESTS_CMP=$(shell seq --format $(PREFIX)/example.target.cmp 1 $(MAX)) # $(shell seq --format $(PREFIX)/example.host_target.cmp 1 $(MAX))
+TESTS_GCC_O3_HOST_OUT=$(shell seq --format $(PREFIX)/example.gcc.host.out 1 $(MAX))
+TESTS_CMP=$(shell seq --format $(PREFIX)/example.target.cmp 1 $(MAX))
+TESTS_CMP_TARGET_HOST=$(shell seq --format $(PREFIX)/example.host_target.cmp 1 $(MAX))
+TESTS_CMP_O3=$(shell seq --format $(PREFIX)/example.target.cmp_O3 1 $(MAX))
# FIXME - test000089 fails in CI in arm and armhf because of memory consumption during register allocation being too high
# Removing it from the pool
@@ -52,6 +58,7 @@ TESTS_CMP:=$(filter-out $(shell seq --format $(PREFIX)/example.target.cmp $(BADI
TESTS_GCC_HOST_OUT:=$(filter-out $(shell seq --format $(PREFIX)/example.gcc.host.out $(BADID) $(BADID)),$(TESTS_GCC_HOST_OUT))
TESTS_CCOMP_TARGET_OUT:=$(filter-out $(shell seq --format $(PREFIX)/example.ccomp.target.out $(BADID) $(BADID)),$(TESTS_CCOMP_TARGET_OUT))
TESTS_GCC_TARGET_OUT:=$(filter-out $(shell seq --format $(PREFIX)/example.gcc.target.out $(BADID) $(BADID)),$(TESTS_GCC_TARGET_OUT))
+TESTS_GCC_O3_TARGET_OUT:=$(filter-out $(shell seq --format $(PREFIX)/example.gcc.target.out $(BADID) $(BADID)),$(TESTS_GCC_O3_TARGET_OUT))
all: $(TESTS_CCOMP_TARGET_OUT) $(TESTS_GCC_TARGET_OUT) $(TESTS_CCOMP_TARGET_S) $(TESTS_GCC_TARGET_S) $(TESTS_CMP) $(TESTS_C)
@@ -59,12 +66,17 @@ tests_c: $(TESTS_C)
tests_s: $(TESTS_CCOMP_TARGET_S)
+tests_O3: $(TESTS_CMP_O3)
+
%.ccomp.target.s : %.c
$(TARGET_CCOMP) $(CCOMPOPTS) $(CCOMPFLAGS) -S -o $@ $<
%.gcc.target.s : %.c
$(TARGET_CC) $(CCOMPOPTS) -S -o $@ $<
+%.gcc_O3.target.s : %.c
+ $(TARGET_CC) $(CCOMPOPTS) -O3 -S -o $@ $<
+
%.gcc.host.s : %.c
$(CC) $(CFLAGS) -S -o $@ $<
@@ -82,12 +94,17 @@ tests_s: $(TESTS_CCOMP_TARGET_S)
ran%/func.ccomp.target.s ran%/func.gcc.target.s ran%/func.ccomp.host.s ran%/func.gcc.host.s ran%/init.gcc.host.s : ran%/init.h
+ran%/func.gcc_O3.target.s ran%/func.gcc_O3.host.s ran%/init.gcc_O3.host.s : ran%/init.h
+
ran%/example.ccomp.target: ran%/func.ccomp.target.o ran%/driver.ccomp.target.o ran%/init.ccomp.target.o ran%/check.ccomp.target.o ran%/hash.ccomp.target.o
$(TARGET_CCOMP) $(CCOMPOPTS) $(CCOMPFLAGS) $+ -o $@
ran%/example.gcc.target: ran%/func.gcc.target.o ran%/driver.gcc.target.o ran%/init.gcc.target.o ran%/check.gcc.target.o ran%/hash.gcc.target.o
$(TARGET_CC) $(TARGET_CFLAGS) $+ -o $@
+ran%/example.gcc_O3.target: ran%/func.gcc_O3.target.o ran%/driver.gcc_O3.target.o ran%/init.gcc_O3.target.o ran%/check.gcc_O3.target.o ran%/hash.gcc_O3.target.o
+ $(TARGET_CC) $(TARGET_CFLAGS) $+ -o $@
+
ran%/example.gcc.host: ran%/func.gcc.host.o ran%/driver.gcc.host.o ran%/init.gcc.host.o ran%/check.gcc.host.o ran%/hash.gcc.host.o
$(CC) $(CFLAGS) $+ -o $@
@@ -98,6 +115,9 @@ ran%/driver.c ran%/func.c ran%/init.c ran%/check.c ran%/hash.c ran%/init.h:
ran%/example.target.cmp : ran%/example.gcc.target.out ran%/example.ccomp.target.out
cmp $+ > $@
+ran%/example.target.cmp_O3 : ran%/example.gcc.target.out ran%/example.gcc_O3.target.out
+ cmp $+ > $@
+
ran%/example.host_target.cmp : ran%/example.gcc.host.out ran%/example.ccomp.target.out
cmp $+ > $@