summaryrefslogtreecommitdiff
path: root/tests/tversion.c
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2017-02-02 17:59:51 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2017-02-02 17:59:51 +0000
commitade75b8a0ddd0282d9e73f3d960913b4e240e781 (patch)
tree55cdf3da2c2f03bfae1ef55ad51e1976cb100ec3 /tests/tversion.c
parent882ebb6b2415d671e654d0a0ee25a54f535d06af (diff)
downloadmpfr-ade75b8a0ddd0282d9e73f3d960913b4e240e781.tar.gz
[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
Diffstat (limited to 'tests/tversion.c')
-rw-r--r--tests/tversion.c8
1 files changed, 8 insertions, 0 deletions
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"