aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/bitsliced-aes
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-04-05 15:26:00 +0200
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-04-05 15:26:00 +0200
commitb57f2582b5d2e05c2e4f7fcb0742a079d85b5407 (patch)
tree934cb74fa373d9ba649968460442f5a81b906fbe /test/monniaux/bitsliced-aes
parent98383707438a3e31ffd86a82b57fbe439945f777 (diff)
downloadcompcert-kvx-b57f2582b5d2e05c2e4f7fcb0742a079d85b5407.tar.gz
compcert-kvx-b57f2582b5d2e05c2e4f7fcb0742a079d85b5407.zip
use cmove in bitsliced AES
Diffstat (limited to 'test/monniaux/bitsliced-aes')
-rw-r--r--test/monniaux/bitsliced-aes/bs.c7
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__)