diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-05 15:26:00 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-04-05 15:26:00 +0200 |
commit | b57f2582b5d2e05c2e4f7fcb0742a079d85b5407 (patch) | |
tree | 934cb74fa373d9ba649968460442f5a81b906fbe | |
parent | 98383707438a3e31ffd86a82b57fbe439945f777 (diff) | |
download | compcert-kvx-b57f2582b5d2e05c2e4f7fcb0742a079d85b5407.tar.gz compcert-kvx-b57f2582b5d2e05c2e4f7fcb0742a079d85b5407.zip |
use cmove in bitsliced AES
-rw-r--r-- | test/monniaux/bitsliced-aes/bs.c | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/test/monniaux/bitsliced-aes/bs.c b/test/monniaux/bitsliced-aes/bs.c index 9848d6cb..083a8fc5 100644 --- a/test/monniaux/bitsliced-aes/bs.c +++ b/test/monniaux/bitsliced-aes/bs.c @@ -1,12 +1,9 @@ #include <string.h> #include "bs.h" +#include "../ternary.h" -#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)) -#endif +#define TERNARY(x, v0, v1) TERNARY64(x, v1, v0) #if (defined(__BYTE_ORDER__) && __BYTE_ORDER__ == __ORDER_LITTLE_ENDIAN__) ||\ defined(__amd64__) || defined(__amd32__)|| defined(__amd16__) |