Reorganized mparam_h.in in separate files.

Added mpfr_buildopt_tune_case function.



git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@7201 280ebfd0-de03-0410-8827-d642c229c3f4

1 files changed, 138 insertions, 0 deletions

diff --git a/src/x86/core2/mparam.h b/src/x86/core2/mparam.h
new file mode 100644
index 000000000..959634068
--- /dev/null
+++ b/src/x86/core2/mparam.h
@@ -0,0 +1,138 @@
+/* Generated by MPFR's tuneup.c, 2007-12-21, gcc 4.1 */
+
+#define MPFR_TUNE_CASE "32-bit Core2"
+#define MPFR_MULHIGH_TAB  \
+ -1,-1,-1,-1,0,0,0,0,0,0,0,0,0,0,0,0, \
+ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, \
+ 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,28, \
+ 30,28,30,28,28,32,30,30,30,32,32,34,32,32,32,32, \
+ 33,35,44,40,35,41,40,42,41,47,48,48,47,51,56,48, \
+ 47,55,48,56,51,55,56,60,55,55,56,56,55,55,56,64, \
+ 63,59,60,64,59,59,64,64,63,63,60,68,63,67,60,64, \
+ 67,67,64,68,63,81,64,64,81,81,64,80,81,81,92,86, \
+ 86,80,81,81,79,91,86,92,93,84,85,85,86,86,87,87, \
+ 91,88,89,98,99,96,91,91,92,92,93,93,94,91,92,92, \
+ 99,99,103,97,98,98,96,93,121,115,104,116,93,99,121,127, \
+ 128,110,129,117,121,127,128,128,129,126,124,127,122,128,123,129, \
+ 129,129,134,138,139,139,140,140,129,141,122,138,139,139,128,128, \
+ 129,165,162,138,139,139,164,164,165,153,138,162,139,139,164,140, \
+ 165,165,150,146,139,163,164,164,141,177,158,162,151,151,160,156, \
+ 165,153,162,158,163,163,164,164,165,153,174,174,163,163,164,164, \
+ 164,164,165,165,176,176,172,177,168,163,189,189,165,165,176,176, \
+ 177,177,188,188,189,189,175,180,176,176,177,177,188,183,184,189, \
+ 180,180,191,201,192,177,188,188,189,199,200,200,201,201,212,212, \
+ 213,188,189,189,200,200,201,201,177,212,188,213,189,189,200,195, \
+ 239,239,240,240,199,199,212,212,213,201,232,196,215,197,240,240, \
+ 247,211,200,236,237,213,256,256,239,257,240,240,247,247,254,248, \
+ 237,255,256,238,257,257,240,240,253,247,272,272,237,237,256,256, \
+ 275,257,258,276,265,271,272,254,255,267,274,256,257,257,258,276, \
+ 256,249,257,285,258,258,266,294,267,267,275,275,276,276,291,270, \
+ 257,257,258,293,273,294,274,267,261,261,276,276,270,277,278,271, \
+ 293,293,294,294,267,267,268,275,276,276,284,284,292,271,272,293, \
+ 294,273,274,274,275,289,276,276,291,291,285,285,293,293,294,294, \
+ 321,305,290,290,291,275,276,348,285,293,294,310,311,303,312,288, \
+ 289,329,330,306,347,291,292,348,381,381,294,294,327,343,384,384, \
+ 345,337,306,346,347,307,308,340,341,381,366,366,343,383,384,384, \
+ 345,329,330,330,347,339,380,380,357,381,366,358,359,375,376,376, \
+ 383,383,366,366,340,367,368,359,360,360,361,379,362,362,417,381, \
+ 364,382,383,383,384,384,412,376,413,359,360,378,361,379,380,416, \
+ 417,381,382,418,419,365,384,384,412,412,413,377,378,378,379,379, \
+ 380,380,381,363,418,382,383,383,384,384,385,376,377,413,414,378, \
+ 379,379,380,380,381,381,382,382,383,363,364,414,415,365,366,366, \
+ 417,377,378,418,379,419,420,420,491,441,492,492,403,383,384,384, \
+ 415,415,386,416,417,417,418,418,419,419,420,490,491,491,492,492, \
+ 423,483,414,414,415,525,416,486,497,417,418,418,419,489,490,490, \
+ 486,420,487,421,488,455,456,423,424,490,491,491,492,492,471,471, \
+ 483,417,418,528,419,419,420,420,465,487,488,488,489,456,490,490, \
+ 491,491,492,492,526,493,527,494,484,528,419,452,453,486,487,454, \
+ 455,488,489,467,468,490,491,480,492,492,482,482,483,527,528,506, \
+ 521,485,522,498,487,487,488,524,525,489,490,490,491,491,492,528, \
+ 481,505,506,494,495,495,496,520,497,497,486,498,487,487,488,524, \
+ 489,489,490,526,527,491,492,492,529,529,506,518,519,483,496,484, \
+ 485,569,510,522,523,487,488,488,489,489,490,490,491,491,492,492, \
+ 528,528,490,490,491,491,492,492,506,506,507,507,521,521,535,522, \
+ 523,523,524,563,564,525,526,526,527,527,528,528,529,542,543,556, \
+ 570,557,571,558,533,533,534,560,535,522,523,536,537,563,564,525, \
+ 526,526,527,527,528,528,542,594,595,543,557,557,597,532,559,559, \
+ 557,557,558,558,559,531,546,560,561,547,548,562,563,563,564,564, \
+ 565,565,566,566,567,553,582,568,569,583,584,584,585,557,558,600, \
+ 559,573,560,588,533,561,590,562,563,563,564,564,593,579,594,566, \
+ 567,581,582,568,569,569,598,584,571,585,600,600,629,559,560,560, \
+ 599,599,600,600,601,586,587,602,603,603,634,604,605,635,636,636, \
+ 562,637,638,563,564,564,565,565,566,611,612,552,628,568,569,584, \
+ 585,600,631,616,617,632,633,633,634,634,635,635,636,606,592,712, \
+ 713,638,639,564,595,715,716,716,717,597,583,568,569,704,600,585, \
+ 625,593,594,770,771,595,596,708,597,597,598,694,695,599,600,712, \
+ 633,633,714,634,715,715,716,636,717,717,686,750,751,751,752,768, \
+ 753,753,754,770,771,771,756,708,709,709,710,742,743,711,712,760, \
+ 761,713,714,714,715,715,716,716,765,717,718,750,751,751,768,736 \
+
+#define MPFR_SQRHIGH_TAB  \
+ -1,0,-1,-1,0,0,0,0,0,0,0,0,-1,-1,0,8, \
+ 9,9,10,10,11,12,12,13,13,13,14,14,15,15,16,16, \
+ 17,17,18,18,19,19,20,20,21,21,22,22,23,23,24,24, \
+ 25,25,26,26,27,27,28,28,29,29,30,30,31,31,32,32, \
+ 33,33,34,34,35,35,36,36,37,37,38,42,39,39,40,40, \
+ 41,41,42,42,43,43,44,44,45,45,46,46,47,47,48,48, \
+ 49,49,50,50,51,51,52,52,53,53,54,54,55,55,56,56, \
+ 57,57,58,58,59,59,60,60,61,61,62,62,63,63,64,64, \
+ 65,74,66,66,67,67,68,68,69,78,70,70,74,71,72,72, \
+ 73,73,74,74,75,75,76,76,77,77,78,78,79,79,80,80, \
+ 81,84,82,82,83,83,84,84,85,85,92,92,87,87,88,88, \
+ 89,89,90,96,91,91,92,92,93,96,100,100,95,95,96,96, \
+ 97,97,98,98,99,99,100,100,101,101,114,102,103,103,104,104, \
+ 105,105,114,106,107,123,108,108,117,109,110,110,111,111,112,112, \
+ 113,113,114,114,115,115,116,116,117,117,118,118,119,119,120,132, \
+ 141,121,122,122,123,135,140,144,141,125,126,126,127,127,128,128, \
+ 129,129,130,135,131,131,132,132,133,158,134,134,135,135,136,136, \
+ 137,137,138,138,169,139,140,140,141,141,142,142,143,143,144,144, \
+ 145,145,146,171,177,147,153,148,149,159,150,150,151,171,177,177, \
+ 153,153,154,159,180,165,156,156,157,177,183,168,159,159,170,165, \
+ 161,161,162,162,163,163,164,164,165,165,166,166,167,167,168,168, \
+ 169,169,170,170,171,171,172,172,173,173,174,174,175,175,176,176, \
+ 177,177,178,178,179,179,180,180,181,181,182,182,183,183,184,184, \
+ 185,185,186,186,187,187,188,188,189,189,190,190,191,191,192,192, \
+ 193,193,194,194,195,195,196,196,197,197,198,198,199,199,200,200, \
+ 201,201,202,202,203,210,225,204,205,205,206,206,207,207,208,208, \
+ 209,209,210,210,211,211,212,212,213,213,214,214,215,215,216,216, \
+ 217,217,218,218,219,219,220,220,221,221,222,222,223,223,224,224, \
+ 225,225,226,226,227,227,228,228,229,229,230,230,231,231,232,232, \
+ 233,249,234,234,235,235,236,236,237,237,238,238,239,239,240,240, \
+ 241,241,242,242,243,243,244,244,245,245,246,246,247,247,248,248, \
+ 249,249,250,250,251,251,252,252,253,253,254,254,255,255,256,256, \
+ 257,257,258,258,259,259,260,260,261,261,262,262,263,263,264,264, \
+ 265,283,266,284,285,267,268,268,269,269,270,270,271,271,272,272, \
+ 273,273,274,274,275,275,276,276,277,277,278,278,279,279,280,280, \
+ 281,281,282,282,283,283,284,284,285,285,286,295,332,287,288,288, \
+ 289,309,320,320,321,291,292,292,293,293,294,324,295,295,296,296, \
+ 297,297,298,298,299,299,300,300,301,301,302,302,303,333,304,304, \
+ 345,305,306,306,307,307,348,338,339,309,310,310,311,311,312,312, \
+ 333,323,324,354,355,345,336,316,317,337,338,338,319,339,320,340, \
+ 365,365,344,333,323,345,346,324,325,347,348,348,349,327,328,328, \
+ 384,329,330,330,331,364,332,354,366,366,356,356,357,335,336,336, \
+ 337,337,338,338,339,383,384,340,341,341,342,342,343,343,344,344, \
+ 345,345,346,346,347,347,348,348,349,382,383,350,351,351,352,352, \
+ 353,353,402,354,355,355,356,356,357,357,358,358,359,419,420,420, \
+ 361,361,362,362,363,363,364,364,365,365,366,366,367,367,368,368, \
+ 369,369,370,370,371,371,372,372,373,373,374,374,375,375,376,376, \
+ 377,377,378,378,379,379,380,380,381,381,382,382,383,383,384,384, \
+ 385,385,399,490,387,387,388,388,389,389,390,390,391,391,392,392, \
+ 393,393,420,394,395,395,396,396,397,397,398,398,399,399,400,400, \
+ 401,401,402,402,507,507,508,404,405,509,510,510,407,407,408,473, \
+ 474,474,527,436,437,411,412,412,413,491,492,492,415,415,416,416, \
+ 417,417,418,418,419,419,420,420,421,463,492,492,521,479,480,424, \
+ 425,425,426,426,427,427,428,484,429,429,430,472,473,473,474,432, \
+ 433,433,434,504,491,491,492,436,437,507,508,508,481,467,468,468, \
+ 469,483,484,512,513,471,486,500,501,515,516,488,489,447,448,490, \
+ 509,509,510,510,481,526,527,512,513,528,544,544,545,455,456,456, \
+ 517,487,488,488,489,489,490,460,461,461,462,492,508,508,509,509, \
+ 510,510,511,526,527,467,468,528,544,469,470,515,546,531,517,472, \
+ 473,473,474,474,475,535,581,476,477,477,478,478,479,479,480,480, \
+ 481,481,482,482,483,547,548,484,485,485,486,566,535,487,488,488, \
+ 489,489,490,490,491,491,492,492,493,493,494,494,495,495,496,496, \
+ 497,561,498,578,579,579,580,580,581,501,502,598,599,503,504,504, \
+ 505,505,506,506,507,507,508,508,509,509,510,510,511,511,512,512 \
+
+#define MPFR_MUL_THRESHOLD 11 /* limbs */
+#define MPFR_EXP_2_THRESHOLD 441 /* bits */
+#define MPFR_EXP_THRESHOLD 9145 /* bits */