diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-05 13:52:34 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-05 13:52:34 +0200 |
| commit | 799698875bd5b42b9ef5e57138f71128e68ed35e (patch) | |
| tree | 2c577959006a78fc7067560995899a96e44ec764 /test/monniaux/bitsliced-aes/bs.c | |
| parent | e4bc9aa604977ee168c2f580d3fc3c3521f6c25c (diff) | |
| download | compcert-kvx-799698875bd5b42b9ef5e57138f71128e68ed35e.tar.gz compcert-kvx-799698875bd5b42b9ef5e57138f71128e68ed35e.zip | |
removed the unproved hack to get builtins, will be reinstated later
Diffstat (limited to 'test/monniaux/bitsliced-aes/bs.c')
| -rw-r--r-- | test/monniaux/bitsliced-aes/bs.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/monniaux/bitsliced-aes/bs.c b/test/monniaux/bitsliced-aes/bs.c index 929fd24d..9848d6cb 100644 --- a/test/monniaux/bitsliced-aes/bs.c +++ b/test/monniaux/bitsliced-aes/bs.c @@ -2,7 +2,7 @@ #include <string.h> #include "bs.h" -#if defined(__K1C__) && defined(__COMPCERT__) +#if 0 /* defined(__K1C__) && defined(__COMPCERT__) */ #define TERNARY(x, v0, v1) __builtin_ternary_ulong((x)!=0, (v1), (v0)) #else #define TERNARY(x, v0, v1) ((x) ? (v1) : (v0)) |