diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-10-19 22:03:19 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-10-19 22:03:19 +0200 |
| commit | 52652008520c3b6466f2e06ee2d23aa6263d5bb2 (patch) | |
| tree | f46ceb4133d80f7a85d63457fbdf35ee6e3d3700 /test/monniaux/rules.mk | |
| parent | 38f808a4b2a26d1ae71d9a0866e49a5207385e23 (diff) | |
| download | compcert-kvx-52652008520c3b6466f2e06ee2d23aa6263d5bb2.tar.gz compcert-kvx-52652008520c3b6466f2e06ee2d23aa6263d5bb2.zip | |
turn on cache emulation
Diffstat (limited to 'test/monniaux/rules.mk')
| -rw-r--r-- | test/monniaux/rules.mk | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/test/monniaux/rules.mk b/test/monniaux/rules.mk index 07b33b59..cab957c0 100644 --- a/test/monniaux/rules.mk +++ b/test/monniaux/rules.mk @@ -29,7 +29,7 @@ KVX_CCOMP?=ccomp # Command to execute #EXECUTE_CYCLES?=timeout --signal=SIGTERM 3m kvx-cluster --syscall=libstd_scalls.so --cycle-based -- -EXECUTE_CYCLES?=kvx-cluster --syscall=libstd_scalls.so --cycle-based -- +EXECUTE_CYCLES?=kvx-cluster --enable-cache --syscall=libstd_scalls.so --cycle-based -- # You can define up to GCC4FLAGS and CCOMP4FLAGS GCC0FLAGS?=$(ALL_GCCFLAGS) -O0 @@ -38,10 +38,10 @@ GCC2FLAGS?=$(ALL_GCCFLAGS) -O2 GCC3FLAGS?=$(ALL_GCCFLAGS) -O3 GCC4FLAGS?= CCOMP0FLAGS?=$(ALL_CCOMPFLAGS) -O2 -CCOMP1FLAGS?=$(ALL_CCOMPFLAGS) -O2 -ftracelinearize -fduplicate 0 -CCOMP2FLAGS?=$(ALL_CCOMPFLAGS) -O2 -ftracelinearize -fduplicate 0 -fprepass= list -CCOMP3FLAGS?=$(ALL_CCOMPFLAGS) -O2 -ftracelinearize -fduplicate 0 -fprepass= revlist -CCOMP4FLAGS?=$(ALL_CCOMPFLAGS) -O2 -ftracelinearize -fduplicate 0 -fprepass= zigzag +CCOMP1FLAGS?=$(ALL_CCOMPFLAGS) -O2 -fprepass= list +CCOMP2FLAGS?=$(ALL_CCOMPFLAGS) -O2 -funrollsingle 30 +CCOMP3FLAGS?=$(ALL_CCOMPFLAGS) -O2 -fprepass= list -funrollsingle 30 +CCOMP4FLAGS?=$(ALL_CCOMPFLAGS) -O2 -fprepass= zigzag # Prefix names GCC0PREFIX?=.gcc.o0 @@ -50,10 +50,10 @@ GCC2PREFIX?=.gcc.o2 GCC3PREFIX?=.gcc.o3 GCC4PREFIX?= CCOMP0PREFIX?=.ccomp -CCOMP1PREFIX?=.ccomp.linearize -CCOMP2PREFIX?=.ccomp.list -CCOMP3PREFIX?=.ccomp.revlist -CCOMP4PREFIX?=.ccomp.zigzag +CCOMP1PREFIX?=.ccomp.prepass_list +CCOMP2PREFIX?=.ccomp.unrollsingle_30 +CCOMP3PREFIX?=.ccomp.prepass_list-unrollsingle_30 +CCOMP4PREFIX?=.ccomp.prepass_zigzag # List of outfiles, updated by gen_rules OUTFILES:= |