From 4edbecd3b8f30a504112704a3feea8a9a9b8331f Mon Sep 17 00:00:00 2001
From: "Jason A. Donenfeld" <Jason@zx2c4.com>
Date: Wed, 31 Jan 2018 16:29:15 +0100
Subject: Import fiat64

---
 main.c | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'main.c')

diff --git a/main.c b/main.c
index 6584eeb..feb8aa8 100644
--- a/main.c
+++ b/main.c
@@ -54,6 +54,7 @@ static __always_inline int name(void) \
 
 declare_it(donna64)
 declare_it(hacl64)
+declare_it(fiat64)
 declare_it(sandy2x)
 declare_it(amd64)
 declare_it(fiat32)
@@ -68,6 +69,7 @@ static bool verify(void)
 	for (i = 0; i < ARRAY_SIZE(curve25519_test_vectors); ++i) {
 		test_it(donna64, {}, {});
 		test_it(hacl64, {}, {});
+		test_it(fiat64, {}, {});
 		test_it(sandy2x, kernel_fpu_begin(), kernel_fpu_end());
 		test_it(amd64, {}, {});
 		test_it(fiat32, {}, {});
@@ -82,6 +84,7 @@ static int __init mod_init(void)
 	int ret = 0, i;
 	cycles_t start_donna64, end_donna64;
 	cycles_t start_hacl64, end_hacl64;
+	cycles_t start_fiat64, end_fiat64;
 	cycles_t start_sandy2x, end_sandy2x;
 	cycles_t start_amd64, end_amd64;
 	cycles_t start_fiat32, end_fiat32;
@@ -98,6 +101,7 @@ static int __init mod_init(void)
 
 	do_it(donna64);
 	do_it(hacl64);
+	do_it(fiat64);
 	kernel_fpu_begin();
 	do_it(sandy2x);
 	kernel_fpu_end();
@@ -109,6 +113,7 @@ static int __init mod_init(void)
 	
 	report_it(donna64);
 	report_it(hacl64);
+	report_it(fiat64);
 	report_it(sandy2x);
 	report_it(amd64);
 	report_it(fiat32);
-- 
cgit v1.2.3-59-g8ed1b