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/idea | |
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/idea')
-rw-r--r-- | test/monniaux/idea/Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/test/monniaux/idea/Makefile b/test/monniaux/idea/Makefile index 4637a3a4..c638f22f 100644 --- a/test/monniaux/idea/Makefile +++ b/test/monniaux/idea/Makefile @@ -1,6 +1,6 @@ include ../rules.mk -PRODUCTS=idea.gcc.host.out idea.ccomp.host.out idea.gcc.k1c.out idea.ccomp.k1c.out idea.ccomp.k1c.s idea.gcc.k1c.s idea.gcc.k1c idea.ccomp.k1c +PRODUCTS=idea.gcc.host.out idea.ccomp.host.out idea.gcc.o1.k1c.out idea.gcc.k1c.out idea.ccomp.k1c.out idea.ccomp.k1c.s idea.gcc.k1c.s idea.gcc.k1c idea.ccomp.k1c all: $(PRODUCTS) @@ -15,6 +15,9 @@ idea.gcc.k1c.s idea.ccomp.k1c.s idea_run.gcc.k1c.s: idea.h idea.gcc.k1c: idea.gcc.k1c.o ../clock.gcc.k1c.o $(K1C_CC) $(K1C_CFLAGS) $+ -o $@ +idea.gcc.o1.k1c: idea.gcc.o1.k1c.o ../clock.gcc.k1c.o + $(K1C_CC) $(K1C_CFLAGS_O1) $+ -o $@ + idea.ccomp.k1c: idea.ccomp.k1c.o ../clock.gcc.k1c.o $(K1C_CCOMP) $(K1C_CCOMPFLAGS) $+ -o $@ |