diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-08 09:22:25 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-08 09:23:05 +0200 |
| commit | ea6cb13f2fba0a652e94999d421054883f4b7ad2 (patch) | |
| tree | a60f204578524ad76bbdaed1bca8ef44fc826e64 /test/monniaux | |
| parent | 5b8b1310a213b06bd87a072db5f242a3d683d0d8 (diff) | |
| download | compcert-kvx-ea6cb13f2fba0a652e94999d421054883f4b7ad2.tar.gz compcert-kvx-ea6cb13f2fba0a652e94999d421054883f4b7ad2.zip | |
kvx-cos-gcc
Diffstat (limited to 'test/monniaux')
| -rw-r--r-- | test/monniaux/cycles.h | 2 | ||||
| -rw-r--r-- | test/monniaux/rules.mk | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/test/monniaux/cycles.h b/test/monniaux/cycles.h index 1f7a991a..f26060a7 100644 --- a/test/monniaux/cycles.h +++ b/test/monniaux/cycles.h @@ -6,7 +6,7 @@ typedef uint64_t cycle_t; #define PRcycle PRId64 -#include <../../k1-cos/include/hal/cos_registers.h> +#include <../../kvx-cos/include/hal/cos_registers.h> static inline void cycle_count_config(void) { diff --git a/test/monniaux/rules.mk b/test/monniaux/rules.mk index f0db6afa..c0594ef9 100644 --- a/test/monniaux/rules.mk +++ b/test/monniaux/rules.mk @@ -24,12 +24,12 @@ ALL_GCCFLAGS+=$(ALL_CFLAGS) -std=c99 -Wextra -Werror=implicit ALL_CCOMPFLAGS+=$(ALL_CFLAGS) # The compilers -KVX_CC?=k1-cos-gcc +KVX_CC?=kvx-cos-gcc KVX_CCOMP?=ccomp # Command to execute -#EXECUTE_CYCLES?=timeout --signal=SIGTERM 3m k1-cluster --syscall=libstd_scalls.so --cycle-based -- -EXECUTE_CYCLES?=k1-cluster --syscall=libstd_scalls.so --cycle-based -- +#EXECUTE_CYCLES?=timeout --signal=SIGTERM 3m kvx-cluster --syscall=libstd_scalls.so --cycle-based -- +EXECUTE_CYCLES?=kvx-cluster --syscall=libstd_scalls.so --cycle-based -- # You can define up to GCC4FLAGS and CCOMP4FLAGS GCC0FLAGS?=$(ALL_GCCFLAGS) -O0 |