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/tacle-bench-lift | |
| 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/tacle-bench-lift')
| -rw-r--r-- | test/monniaux/tacle-bench-lift/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/test/monniaux/tacle-bench-lift/Makefile b/test/monniaux/tacle-bench-lift/Makefile index ac99b722..ab930adb 100644 --- a/test/monniaux/tacle-bench-lift/Makefile +++ b/test/monniaux/tacle-bench-lift/Makefile @@ -5,6 +5,7 @@ CFILES=lift.c liftlibcontrol.c liftlibio.c HFILES=liftlibcontrol.h liftlibio.h K1C_GCC_OFILES=$(CFILES:.c=.gcc.k1c.o) +K1C_GCC_OFILES_O1=$(CFILES:.c=.gcc.o1.k1c.o) K1C_CCOMP_OFILES=$(CFILES:.c=.ccomp.k1c.o) K1C_GCC_SFILES=$(CFILES:.c=.gcc.k1c.s) K1C_CCOMP_SFILES=$(CFILES:.c=.ccomp.k1c.s) @@ -14,7 +15,7 @@ HOST_CCOMP_OFILES=$(CFILES:.c=.ccomp.host.o) HOST_GCC_SFILES=$(CFILES:.c=.gcc.host.s) HOST_CCOMP_SFILES=$(CFILES:.c=.ccomp.host.s) -all: lift.gcc.k1c.out lift.ccomp.k1c.out $(K1C_GCC_SFILES) $(K1C_CCOMP_SFILES) +all: lift.gcc.o1.k1c.out lift.gcc.k1c.out lift.ccomp.k1c.out $(K1C_GCC_SFILES) $(K1C_CCOMP_SFILES) include ../rules.mk @@ -23,6 +24,9 @@ $(K1C_GCC_SFILES) $(K1C_CCOMP_SFILES) $(HOST_GCC_SFILES) $(HOST_CCOMP_SFILES) : lift.gcc.k1c: $(K1C_GCC_OFILES) $(K1C_CC) $(K1C_CFLAGS) -o $@ $+ ../clock.gcc.k1c.o +lift.gcc.o1.k1c: $(K1C_GCC_OFILES_O1) + $(K1C_CC) $(K1C_CFLAGS_O1) -o $@ $+ ../clock.gcc.k1c.o + lift.ccomp.k1c: $(K1C_CCOMP_OFILES) $(K1C_CCOMP) $(K1C_CCOMPFLAGS) -o $@ $+ ../clock.gcc.k1c.o |