From dbada6c41e51a03848b14260576ba825c3102313 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Wed, 29 Sep 2021 09:56:22 +0200 Subject: run csmith on -O3 --- test/monniaux/csmith/Makefile | 19 ++++++++++++++++++- 1 file changed, 18 insertions(+), 1 deletion(-) (limited to 'test') diff --git a/test/monniaux/csmith/Makefile b/test/monniaux/csmith/Makefile index 1412921d..2425435d 100644 --- a/test/monniaux/csmith/Makefile +++ b/test/monniaux/csmith/Makefile @@ -31,10 +31,16 @@ TESTS_C=$(shell seq --format $(PREFIX)/source.c 1 $(MAX)) 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_O3.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)) all: $(TESTS_CCOMP_TARGET_OUT) $(TESTS_GCC_TARGET_OUT) $(TESTS_CCOMP_TARGET_S) $(TESTS_GCC_TARGET_S) $(TESTS_CMP) $(TESTS_C) @@ -45,12 +51,17 @@ tests_c: $(TESTS_C) tests_s: $(TESTS_CCOMP_TARGET_S) +tests_O3: $(TESTS_CMP_O3) + %.ccomp.target.s : %.c $(TARGET_CCOMP) $(INCLUDES) $(CCOMPOPTS) $(CCOMPFLAGS) -S -o $@ $< %.gcc.target.s : %.c $(TARGET_CC) $(INCLUDES) $(CFLAGS) -S -o $@ $< +%.gcc_O3.target.s : %.c + $(TARGET_CC) $(INCLUDES) $(CFLAGS) -O3 -S -o $@ $< + %.gcc.host.s : %.c $(CC) $(INCLUDES) $(CFLAGS) -S -o $@ $< @@ -72,6 +83,9 @@ ran%/example.ccomp.target: ran%/source.ccomp.target.o ran%/example.gcc.target: ran%/source.gcc.target.o $(TARGET_CC) $(TARGET_CFLAGS) $+ -o $@ +ran%/example.gcc_O3.target: ran%/source.gcc_O3.target.o + $(TARGET_CC) $(TARGET_CFLAGS) $+ -o $@ + ran%/example.gcc.host: ran%/source.gcc.host.o $(CC) $(CFLAGS) $+ -o $@ @@ -83,6 +97,9 @@ ran%/example.target.cmp : ran%/example.ccomp.target.out ran%/example.gcc.target. cmp $+ > $@ cat $< +ran%/example.target.cmp_O3 : ran%/example.gcc.target.out ran%/example.gcc_O3.target.out + cmp $+ + ran%/example.host_target.cmp : ran%/example.ccomp.target.out ran%/example.gcc.host.out cmp $+ > $@ -- cgit