From ade75b8a0ddd0282d9e73f3d960913b4e240e781 Mon Sep 17 00:00:00 2001
From: vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>
Date: Thu, 2 Feb 2017 17:59:51 +0000
Subject: [tests/tversion.c] Output whether _mulx_u64 is available.

git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11252 280ebfd0-de03-0410-8827-d642c229c3f4
---
 tests/tversion.c | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'tests/tversion.c')

diff --git a/tests/tversion.c b/tests/tversion.c
index 7c5263945..12fb18632 100644
--- a/tests/tversion.c
+++ b/tests/tversion.c
@@ -278,6 +278,14 @@ main (void)
 #endif
           "\n");
 
+ printf ("[tversion] _mulx_u64 = "
+#if defined(HAVE_MULX_U64)
+         "yes"
+#else
+         "no"
+#endif
+         "\n");
+
   if (strcmp (mpfr_buildopt_tune_case (), MPFR_TUNE_CASE) != 0)
     {
       printf ("ERROR! mpfr_buildopt_tune_case() and MPFR_TUNE_CASE"
-- 
cgit v1.2.1