diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-12 00:20:16 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-04-12 00:20:16 +0200 |
commit | 2d1a27eb606fd5effd260d32545e10eaf90cf19c (patch) | |
tree | 46fd1f7512002112c2c466db0d2c11fe5d1fc320 /test/monniaux/cycles.h | |
parent | 7299996cac6c4747b6611b17f0af15fb08c6ee80 (diff) | |
download | compcert-kvx-2d1a27eb606fd5effd260d32545e10eaf90cf19c.tar.gz compcert-kvx-2d1a27eb606fd5effd260d32545e10eaf90cf19c.zip |
otherwise timings disabled on arm (ccomp should call preprocessor with appropriate options)
Diffstat (limited to 'test/monniaux/cycles.h')
-rw-r--r-- | test/monniaux/cycles.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/cycles.h b/test/monniaux/cycles.h index 36de6cc5..5011b18c 100644 --- a/test/monniaux/cycles.h +++ b/test/monniaux/cycles.h @@ -45,7 +45,7 @@ static inline cycle_t get_cycle(void) { return cycles; } -#elif defined (__ARM_ARCH) && (__ARM_ARCH >= 6) +#elif defined (__ARM_ARCH) // && (__ARM_ARCH >= 6) #if (__ARM_ARCH < 8) typedef uint32_t cycle_t; #define PRcycle PRId32 |