aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/rules.mk
diff options
context:
space:
mode:
authorCyril SIX <cyril.six@kalray.eu>2019-04-26 16:35:30 +0200
committerCyril SIX <cyril.six@kalray.eu>2019-04-26 16:35:30 +0200
commit24e97bd87918f2c487416744ba12a78aba35a9e5 (patch)
tree839da3cc5ca3ca9976a9e4002e27754501e7fe11 /test/monniaux/rules.mk
parent6d1223d053f1ff10792d5ed5d00d3830ff61e9d7 (diff)
downloadcompcert-kvx-24e97bd87918f2c487416744ba12a78aba35a9e5.tar.gz
compcert-kvx-24e97bd87918f2c487416744ba12a78aba35a9e5.zip
Changes to include a -O1 -fschedule-insns2 gcc run as well
Diffstat (limited to 'test/monniaux/rules.mk')
-rw-r--r--test/monniaux/rules.mk11
1 files changed, 9 insertions, 2 deletions
diff --git a/test/monniaux/rules.mk b/test/monniaux/rules.mk
index 69950d7f..d098d1b2 100644
--- a/test/monniaux/rules.mk
+++ b/test/monniaux/rules.mk
@@ -1,11 +1,12 @@
ALL_CCOMPFLAGS=-fno-unprototyped
-CCOMP=ccomp
+CCOMP=ccomp-x86
CCOMPFLAGS=-g -O3 -Wall $(ALL_CCOMPFLAGS) $(ALL_CFLAGS)
CFLAGS=-g -std=c99 -O3 -Wall -Wextra -Werror=implicit $(ALL_CFLAGS)
K1C_CC=k1-mbr-gcc
-K1C_CFLAGS =-g -std=c99 -O2 -Wall -Wextra -Werror=implicit $(ALL_CFLAGS)
+K1C_CFLAGS =-std=c99 -O3 -Wall -Wextra -Werror=implicit $(ALL_CFLAGS)
+K1C_CFLAGS_O1 =-std=c99 -O1 -fschedule-insns2 -Wall -Wextra -Werror=implicit $(ALL_CFLAGS)
K1C_CCOMP = ../../../ccomp
K1C_CCOMPFLAGS=-O3 -Wall $(ALL_CCOMPFLAGS) $(ALL_CFLAGS) # -fpostpass-ilp
@@ -25,6 +26,12 @@ EXECUTE_CYCLES=k1-cluster --syscall=libstd_scalls.so --cycle-based --
%.ccomp.host.s : %.c
$(CCOMP) $(CCOMPFLAGS) -S -o $@ $<
+%.gcc.o1.k1c.s: %.c
+ $(K1C_CC) $(K1C_CFLAGS_O1) -S $< -o $@
+
+%.gcc.o1.k1c.o: %.gcc.o1.k1c.s
+ $(K1C_CC) $(K1C_CFLAGS_O1) -c $< -o $@
+
%.gcc.k1c.s: %.c
$(K1C_CC) $(K1C_CFLAGS) -S $< -o $@