diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2019-04-26 16:35:30 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2019-04-26 16:35:30 +0200 |
| commit | 24e97bd87918f2c487416744ba12a78aba35a9e5 (patch) | |
| tree | 839da3cc5ca3ca9976a9e4002e27754501e7fe11 /test/monniaux/rules.mk | |
| parent | 6d1223d053f1ff10792d5ed5d00d3830ff61e9d7 (diff) | |
| download | compcert-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.mk | 11 |
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 $@ |