summaryrefslogtreecommitdiff
path: root/src/mparam_h.in
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2012-06-28 17:33:46 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2012-06-28 17:33:46 +0000
commitc2ccc2afb1d273775e2f78b47ee6435ab32ab667 (patch)
treecaf604404938e98ab9c8c2aa2e2a1fe20f3c42ed /src/mparam_h.in
parent8c61e61a2406ea89615730cc758c129064d1e09f (diff)
downloadmpfr-c2ccc2afb1d273775e2f78b47ee6435ab32ab667.tar.gz
Added coverage tune (from a patch by Patrick).
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@8291 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'src/mparam_h.in')
-rw-r--r--src/mparam_h.in7
1 files changed, 6 insertions, 1 deletions
diff --git a/src/mparam_h.in b/src/mparam_h.in
index bf474983f..f5f725580 100644
--- a/src/mparam_h.in
+++ b/src/mparam_h.in
@@ -23,11 +23,16 @@ http://www.gnu.org/licenses/ or write to the Free Software Foundation, Inc.,
# error "MPFR Internal not included"
#endif
+/* Threshold when testing coverage */
+#if defined(MPFR_TUNE_COVERAGE)
+#define MPFR_TUNE_CASE "src/generic/coverage/mparam.h"
+#include "generic/coverage/mparam.h"
+
/* Note: the different macros used here are those defined by gcc,
for example with gcc -dM -E -xc /dev/null
As of gcc 4.2, you can also use: -march=native or -mtune=native */
-#if defined (__tune_pentium4__) /* Threshold for Pentium 4 */
+#elif defined (__tune_pentium4__) /* Threshold for Pentium 4 */
#define MPFR_TUNE_CASE "src/x86_64/pentium4/mparam.h"
#include "x86_64/pentium4/mparam.h"