aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/bitsliced-aes/main.c
diff options
context:
space:
mode:
authorDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-01-30 11:08:09 +0100
committerDavid Monniaux <david.monniaux@univ-grenoble-alpes.fr>2019-01-30 11:08:09 +0100
commit3e6decf91e07646e137cff11cb31c87ced574467 (patch)
treee4e50a8f0f3c378658d5fb204dd41322b73a2953 /test/monniaux/bitsliced-aes/main.c
parent07f94da073dede202ff88f3893f15828243b44a3 (diff)
downloadcompcert-kvx-3e6decf91e07646e137cff11cb31c87ced574467.tar.gz
compcert-kvx-3e6decf91e07646e137cff11cb31c87ced574467.zip
https://github.com/conorpp/bitsliced-aes
Diffstat (limited to 'test/monniaux/bitsliced-aes/main.c')
-rw-r--r--test/monniaux/bitsliced-aes/main.c40
1 files changed, 40 insertions, 0 deletions
diff --git a/test/monniaux/bitsliced-aes/main.c b/test/monniaux/bitsliced-aes/main.c
new file mode 100644
index 00000000..0ceb8ab2
--- /dev/null
+++ b/test/monniaux/bitsliced-aes/main.c
@@ -0,0 +1,40 @@
+/*#include <stdio.h>*/
+#include <stdlib.h>
+#include <string.h>
+#include "bs.h"
+#include "aes.h"
+#include "utils.h"
+
+#include "testbench/app.h"
+#ifdef RUN_TESTS
+#include "tests/tests.h"
+#endif
+
+#ifdef TEST_FOOTPRINT
+#define printf(fmt, ...) (0)
+#define fprintf(f,fmt, ...) (0)
+#else
+#include <stdio.h>
+#endif
+
+int main(int argc, char * argv[])
+{
+
+#ifdef RUN_TESTS
+#ifndef TEST_FOOTPRINT
+ aes_ecb_test();
+#endif
+ aes_ctr_test();
+
+#else
+
+ cli_app(argc,argv);
+
+#endif
+
+
+
+ return 0;
+}
+
+