diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-30 15:37:31 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-30 15:37:31 +0200 |
| commit | d1a06a9c8dac42e43e9a2145a3914438e868496e (patch) | |
| tree | a5cabb8b9b6bea71fde79b14ab9bbf7358e12ede /test | |
| parent | e9e0281231121f5e04fa8915baffc1378bcdea21 (diff) | |
| download | compcert-kvx-d1a06a9c8dac42e43e9a2145a3914438e868496e.tar.gz compcert-kvx-d1a06a9c8dac42e43e9a2145a3914438e868496e.zip | |
-ftracelinearize
Diffstat (limited to 'test')
| -rw-r--r-- | test/monniaux/rules.mk | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/test/monniaux/rules.mk b/test/monniaux/rules.mk index a5754574..2bd70afd 100644 --- a/test/monniaux/rules.mk +++ b/test/monniaux/rules.mk @@ -21,10 +21,10 @@ MEASURES?=time ALL_CFLAGS+=-Wall -D__KVX_COS__ -DMAX_MEASURES=$(MAX_MEASURES) #ALL_CFLAGS+=-g ALL_GCCFLAGS+=$(ALL_CFLAGS) -std=c99 -Wextra -Werror=implicit -ALL_CCOMPFLAGS+=$(ALL_CFLAGS) -fduplicate 2 -fprepass -fprepass= list -fall-loads-nontrap +ALL_CCOMPFLAGS+=$(ALL_CFLAGS) # The compilers -KVX_CC?=kvx-cos-gcc +KVX_CC?=kvx-elf-gcc KVX_CCOMP?=ccomp # Command to execute @@ -37,11 +37,11 @@ GCC1FLAGS?=$(ALL_GCCFLAGS) -O1 GCC2FLAGS?=$(ALL_GCCFLAGS) -O2 GCC3FLAGS?=$(ALL_GCCFLAGS) -O3 GCC4FLAGS?= -CCOMP0FLAGS?=$(ALL_CCOMPFLAGS) -O2 -fno-postpass -CCOMP1FLAGS?=$(ALL_CCOMPFLAGS) -O2 -fpostpass= greedy -CCOMP2FLAGS?=$(ALL_CCOMPFLAGS) -O2 -fno-if-conversion -CCOMP3FLAGS?=$(ALL_CCOMPFLAGS) -O2 -CCOMP4FLAGS?= +CCOMP0FLAGS?=$(ALL_CCOMPFLAGS) -O2 +CCOMP1FLAGS?=$(ALL_CCOMPFLAGS) -O2 -ftracelinearize +CCOMP2FLAGS?=$(ALL_CCOMPFLAGS) -O2 -ftracelinearize -fduplicate 1 -fprepass -fprepass= list -fall-loads-nontrap +CCOMP3FLAGS?=$(ALL_CCOMPFLAGS) -O2 -ftracelinearize -fduplicate 2 -fprepass -fprepass= list -fall-loads-nontrap +CCOMP4FLAGS?=$(ALL_CCOMPFLAGS) -O2 -ftracelinearize -fduplicate 1 -fprepass -fprepass= revlist -fall-loads-nontrap # Prefix names GCC0PREFIX?=.gcc.o0 @@ -49,11 +49,11 @@ GCC1PREFIX?=.gcc.o1 GCC2PREFIX?=.gcc.o2 GCC3PREFIX?=.gcc.o3 GCC4PREFIX?= -CCOMP0PREFIX?=.ccomp.nobundle -CCOMP1PREFIX?=.ccomp.greedy -CCOMP2PREFIX?=.ccomp.noif -CCOMP3PREFIX?=.ccomp -CCOMP4PREFIX?= +CCOMP0PREFIX?=.ccomp +CCOMP1PREFIX?=.ccomp.linearize +CCOMP2PREFIX?=.ccomp.prepass1 +CCOMP3PREFIX?=.ccomp.prepass2 +CCOMP4PREFIX?=.ccomp.revprepass1 # List of outfiles, updated by gen_rules OUTFILES:= |