build.vs/mparam.h - master - githubmirror/mpfr

build.vs/mparam.h
215 строк14 KB
Brian Gladman
add Visual Studio 2022 build files
11 июн 2022, 21:59
11 июн 2022, 21:59b513868
/* Generated by MPFR's tuneup.c, 2022-01-15, system compiler */


#ifndef MPFR_TUNE_CASE
#define MPFR_TUNE_CASE "src/mparam.h"
#endif

#define MPFR_MULHIGH_TAB  \
 -1,0,0,0,-1,0,-1,0,0,0,0,0,11,0,13,0, \
 11,-1,-1,0,0,14,20,0,0,16,15,0,0,0,0,0, \
 24,0,30,0,26,26,32,0,0,0,0,0,0,0,0,32, \
 27,0,0,0,0,0,34,36,36,0,34,36,36,0,43,0, \
 44,52,36,48,48,0,50,48,52,44,50,48,48,44,59,48, \
 56,52,52,52,56,52,56,56,60,56,48,56,51,60,50,56, \
 55,64,52,68,60,64,72,72,60,65,66,68,68,63,66,72, \
 72,68,68,72,72,72,72,80,68,68,71,72,71,96,80,72, \
 88,96,88,80,88,88,88,88,96,96,96,96,104,96,96,100, \
 100,100,96,104,103,98,95,128,112,109,112,112,107,116,112,120, \
 116,115,112,110,120,112,120,112,128,120,128,128,132,128,132,128, \
 120,126,128,136,128,128,136,107,128,136,111,136,144,144,136,128, \
 141,165,128,119,153,153,122,146,165,159,136,144,136,153,147,165, \
 167,165,165,153,162,136,165,146,165,164,165,165,165,164,165,177, \
 165,165,165,148,177,165,164,165,164,176,176,189,145,138,141,189, \
 189,165,176,189,187,177,165,189,165,204,177,165,165,220,165,189, \
 177,168,192,177,177,188,189,187,177,189,187,180,188,189,189,187, \
 192,187,187,189,177,188,170,204,187,192,189,188,217,227,203,203, \
 204,232,219,180,204,232,249,220,185,252,201,220,224,189,217,252, \
 192,216,220,244,233,220,234,220,219,248,231,249,204,267,236,220, \
 202,234,227,220,217,249,220,236,268,247,249,252,235,236,235,249, \
 220,220,249,252,233,252,235,252,236,252,260,268,265,250,268,265, \
 268,264,212,268,267,252,272,252,273,250,265,268,267,278,251,252, \
 268,267,268,268,220,267,263,268,268,275,265,251,268,267,265,268, \
 268,272,284,283,281,284,284,284,249,316,282,211,282,345,244,276, \
 220,272,284,266,265,266,265,282,267,268,268,265,284,268,252,268, \
 252,281,266,283,262,284,268,265,272,267,268,272,281,256,316,284, \
 280,281,282,273,284,268,283,332,284,311,240,416,284,312,347,268, \
 384,332,284,283,268,280,281,405,283,265,377,384,284,348,284,392, \
 384,408,284,251,240,267,384,408,392,282,431,408,408,252,392,392, \
 387,284,383,392,423,268,268,379,424,283,368,440,257,420,374,325, \
 440,315,444,420,465,391,384,380,407,391,407,427,448,414,380,436, \
 389,424,423,396,439,263,423,384,400,436,440,440,471,440,440,440, \
 439,440,439,376,424,440,364,436,420,437,472,440,440,440,440,472, \
 471,448,504,537,430,391,492,404,283,323,550,453,456,462,440,423, \
 502,440,486,464,493,508,424,365,488,513,415,440,512,342,471,390, \
 465,544,439,512,439,455,416,465,437,540,520,504,424,496,436,361, \
 512,558,392,469,485,472,487,509,520,384,503,496,528,463,520,471, \
 512,424,455,440,544,428,512,433,504,510,472,504,527,528,395,536, \
 511,536,520,520,464,534,535,463,470,536,528,520,536,407,536,536, \
 520,496,472,536,552,536,536,536,504,534,535,504,536,471,502,544, \
 472,568,535,536,504,519,528,525,552,532,484,494,547,523,534,532, \
 535,438,567,567,568,436,531,566,565,511,535,544,502,567,470,568, \
 536,552,488,568,534,511,423,533,544,535,568,544,504,535,532,567, \
 567,536,567,536,536,536,536,536,533,568,511,512,543,565,534,565, \
 568,502,567,509,565,563,512,568,568,564,568,503,559,438,568,568, \
 568,566,536,568,567,536,472,568,535,535,567,536,566,535,566,535, \
 535,536,567,565,510,629,547,565,535,535,565,544,567,536,567,520, \
 536,552,539,566,531,527,567,536,567,519,564,568,566,567,568,567, \
 566,566,535,566,568,564,568,566,567,568,566,564,536,632,693,566, \
 695,536,686,472,533,566,565,568,694,710,488,640,784,696,502,568, \
 564,565,447,564,541,556,560,564,564,550,679,424,563,566,616,662, \
 536,560,557,558,563,640,563,568,568,689,565,566,727,704,568,568, \
 562,561,567,563,691,440,533,693,757,695,632,696,689,688,759,722, \
 760,696,756,694,757,696,744,565,757,721,756,758,760,760,757,727, \
 757,758,754,696,704,759,568,703,760,550,782,755,753,696,726,467, \
 760,756,757,816,757,515,755,765,726,726,756,758,720,791,753,727, \
 753,755,760,760,543,728,824,753,817,559,879,552,758,750,755,576, \
 758,728,791,755,807,757,755,725,503,783,758,752,759,759,736,756, \
 755,822,773,808,832,719,820,759,873,759,749,761,863,799,817,886, \
 918,756,752,936,864,724,759,760,880,757,854,837,791,824,496,856, \
 694,822,819,853,728,760,630,749,822,792,734,630,830,883,821,755, \
 887,856,760,792,817,755,823,821,791,678,823,862,855,824,817,755, \
 886,884,664,661,884,884,760,886,820,901,887,887,886,855,887,888 \
  
#define MPFR_SQRHIGH_TAB  \
 -1,0,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,-1,9, \
 10,11,12,13,14,12,16,17,14,14,16,16,17,16,17,18, \
 19,18,21,20,21,22,23,24,25,22,23,23,24,25,26,27, \
 28,26,27,28,28,30,31,31,36,30,31,31,32,34,38,36, \
 34,36,36,36,38,40,40,38,42,40,46,44,41,44,48,48, \
 47,42,47,48,49,52,47,46,48,50,50,48,52,58,54,49, \
 56,54,52,72,56,52,56,58,59,54,64,66,64,62,64,72, \
 62,62,64,64,62,71,72,76,68,64,70,78,72,80,70,82, \
 84,82,80,90,72,88,80,86,76,88,84,90,90,95,93,88, \
 88,92,89,94,93,88,90,90,99,90,88,89,93,96,89,90, \
 84,93,99,90,88,115,86,92,94,90,120,88,88,110,108,90, \
 92,90,93,93,95,120,101,97,105,98,95,112,113,108,121,108, \
 99,110,99,111,101,118,118,113,111,108,115,123,128,116,122,112, \
 117,128,117,108,133,138,123,132,129,124,125,132,134,122,129,120, \
 127,144,125,119,135,140,139,138,133,147,143,129,128,140,145,159, \
 143,150,153,132,153,138,147,147,141,135,137,152,139,135,165,164, \
 141,153,147,152,161,153,165,152,175,165,152,156,153,165,162,163, \
 159,163,141,170,168,174,170,169,170,182,165,144,168,171,165,164, \
 176,174,183,147,158,182,180,179,180,180,168,183,183,165,164,171, \
 176,164,177,159,180,177,177,165,183,174,182,207,171,175,176,177, \
 179,183,225,171,188,171,183,183,213,211,188,225,225,181,223,224, \
 222,224,186,187,182,175,180,181,230,201,188,185,218,237,177,183, \
 179,182,181,216,201,188,188,181,206,243,207,183,235,213,211,205, \
 186,224,225,219,225,234,237,234,224,223,231,231,225,229,237,241, \
 229,233,279,235,234,252,242,236,237,246,240,233,249,229,236,237, \
 232,237,240,237,236,240,237,237,237,249,241,252,246,249,248,244, \
 238,246,253,257,249,231,225,249,242,249,257,254,249,242,225,231, \
 240,234,252,241,244,252,237,247,237,249,225,246,237,246,254,235, \
 234,246,256,319,236,246,257,239,240,255,255,237,313,241,246,242, \
 248,240,252,251,257,244,248,257,307,311,296,297,254,248,314,304, \
 247,301,324,316,319,257,256,310,320,311,316,313,312,320,321,310, \
 320,323,323,308,316,255,317,324,334,300,304,315,338,324,344,332, \
 330,324,340,291,331,348,308,305,338,348,322,329,303,316,300,318, \
 319,351,336,305,286,328,315,304,368,319,273,320,324,376,323,329, \
 405,392,332,323,320,352,328,322,321,329,304,336,343,348,336,348, \
 318,345,391,301,291,348,355,341,300,292,360,332,347,319,346,351, \
 352,344,358,311,485,324,347,318,339,354,321,352,320,326,339,329, \
 340,318,319,352,332,320,342,334,335,328,343,334,304,348,324,332, \
 367,336,416,332,391,344,355,416,344,315,346,311,352,367,352,352, \
 315,348,345,332,352,318,348,356,384,368,403,347,352,368,329,366, \
 416,444,343,324,332,375,347,416,353,331,380,440,443,348,345,437, \
 352,332,334,364,464,349,443,349,436,440,336,336,360,455,338,432, \
 360,463,452,464,466,444,468,348,439,464,343,463,378,350,345,358, \
 437,420,355,482,365,464,461,473,446,350,351,356,488,480,461,457, \
 463,355,467,440,356,438,367,368,568,439,359,368,488,440,361,462, \
 476,362,449,531,533,467,457,488,459,473,461,462,476,476,452,475, \
 459,467,568,488,452,476,482,480,520,458,568,531,415,411,448,512, \
 504,480,533,568,485,595,566,535,499,423,475,392,503,456,598,504, \
 487,504,568,440,486,504,392,428,488,428,631,430,511,440,447,565, \
 486,540,436,492,534,458,568,584,533,568,568,535,536,535,534,568, \
 459,456,534,464,479,564,464,532,502,459,491,565,535,567,464,459, \
 599,462,566,600,560,490,600,488,568,566,598,599,599,491,511,563, \
 449,488,672,426,576,492,488,568,501,624,492,504,503,583,584,504, \
 492,534,575,580,566,629,647,532,631,632,583,584,632,592,600,611, \
 616,488,598,568,535,598,600,562,582,581,631,600,567,631,460,600, \
 598,664,600,568,616,623,552,600,532,664,696,629,568,565,664,556, \
 628,629,563,536,598,679,647,568,680,632,480,619,512,640,640,600, \
 631,640,480,616,628,608,631,664,568,600,560,648,600,693,696,595, \
 598,599,720,600,600,631,672,664,597,600,627,628,583,623,627,696, \
 627,492,525,597,646,618,582,709,662,632,696,657,691,622,631,628, \
 584,597,640,608,629,626,620,632,632,631,631,626,684,630,627,656, \
 632,632,629,693,627,657,630,640,632,693,677,504,693,696,691,760, \
 671,630,648,643,664,686,655,647,689,628,631,648,696,656,664,637, \
 696,690,695,661,653,694,655,640,641,658,695,661,632,632,616,664 \
  
#define MPFR_DIVHIGH_TAB  \
 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0, /*0-15*/ \
 0,0,0,0,0,0,0,0,0,0,0,18,0,0,0,0, /*16-31*/ \
 0,0,19,0,0,0,0,0,0,0,0,23,24,0,26,0, /*32-47*/ \
 28,0,0,0,33,29,0,31,0,33,32,35,36,33,33,34, /*48-63*/ \
 35,0,35,36,0,0,37,40,40,0,0,0,41,40,45,0, /*64-79*/ \
 44,0,51,44,45,44,0,46,48,48,49,49,52,52,49,52, /*80-95*/ \
 51,57,0,57,53,52,57,56,62,56,56,62,57,58,63,62, /*96-111*/ \
 62,62,65,64,62,70,64,63,70,64,0,72,70,64,72,71, /*112-127*/ \
 72,0,80,68,69,73,69,70,0,72,73,0,72,73,74,0, /*128-143*/ \
 88,80,81,88,80,96,96,78,96,89,80,80,81,88,89,84, /*144-159*/ \
 84,88,88,88,89,90,87,88,89,88,96,106,104,88,89,90, /*160-175*/ \
 108,96,94,104,92,100,103,104,109,99,100,96,104,104,97,116, /*176-191*/ \
 120,99,99,104,112,116,109,113,104,116,104,112,104,116,120,124, /*192-207*/ \
 120,120,112,132,114,113,113,124,116,116,131,112,137,114,113,136, /*208-223*/ \
 124,137,123,128,138,129,144,136,120,144,140,128,120,130,140,133, /*224-239*/ \
 122,126,140,140,132,144,140,144,136,138,144,136,140,130,136,136, /*240-255*/ \
 140,134,132,139,132,141,138,145,136,144,136,136,136,137,140,140, /*256-271*/ \
 140,138,140,139,144,140,142,144,145,144,144,143,144,144,145,145, /*272-287*/ \
 177,169,148,176,172,170,176,185,182,184,160,184,163,176,176,176, /*288-303*/ \
 190,192,200,208,160,161,168,157,186,176,159,178,177,200,200,178, /*304-319*/ \
 192,208,178,200,224,177,192,200,174,194,176,169,202,220,177,192, /*320-335*/ \
 172,192,207,216,224,176,224,217,208,208,208,224,208,208,208,192, /*336-351*/ \
 225,193,232,224,208,224,201,226,192,192,225,184,192,208,207,224, /*352-367*/ \
 225,216,226,192,192,208,211,208,206,204,208,224,210,224,214,222, /*368-383*/ \
 225,227,224,212,224,224,227,200,228,256,225,232,221,233,208,215, /*384-399*/ \
 224,224,222,225,226,208,248,222,224,240,228,224,224,243,256,243, /*400-415*/ \
 240,241,224,224,239,224,226,256,241,224,216,216,223,222,227,224, /*416-431*/ \
 241,260,224,224,240,224,224,241,222,224,223,224,280,224,225,240, /*432-447*/ \
 268,250,229,248,234,249,255,239,232,255,258,256,251,282,240,287, /*448-463*/ \
 268,265,264,264,238,250,265,257,256,240,262,272,272,272,248,248, /*464-479*/ \
 270,278,273,281,246,280,248,272,256,275,274,288,288,268,280,282, /*480-495*/ \
 257,278,265,288,272,273,255,256,256,256,255,278,284,261,267,260, /*496-511*/ \
 272,265,273,268,264,260,262,272,288,279,278,289,281,280,280,272, /*512-527*/ \
 272,270,276,280,280,279,282,270,326,281,282,285,281,280,275,273, /*528-543*/ \
 284,287,287,281,282,280,286,282,288,285,280,292,291,287,286,281, /*544-559*/ \
 285,284,322,320,290,351,353,286,320,304,289,320,290,289,289,320, /*560-575*/ \
 294,290,304,292,318,336,352,333,320,322,354,432,320,304,358,372, /*576-591*/ \
 341,336,353,318,328,353,354,322,352,320,352,368,356,352,385,353, /*592-607*/ \
 323,353,384,372,352,362,336,352,372,371,354,320,352,367,372,384, /*608-623*/ \
 352,352,354,384,385,379,369,381,380,352,352,353,354,384,352,368, /*624-639*/ \
 388,385,383,336,365,376,351,337,364,379,382,376,368,398,373,450, /*640-655*/ \
 353,384,391,372,378,396,354,382,402,385,384,385,350,366,337,384, /*656-671*/ \
 385,350,400,376,404,402,352,352,406,368,408,402,416,448,352,405, /*672-687*/ \
 404,384,367,370,448,411,434,448,444,432,416,416,377,447,448,431, /*688-703*/ \
 422,431,432,441,390,440,449,385,430,440,375,436,390,416,419,384, /*704-719*/ \
 440,500,374,400,384,388,384,448,405,432,384,384,384,384,462,448, /*720-735*/ \
 448,402,385,384,454,415,385,448,400,400,384,449,384,384,448,449, /*736-751*/ \
 394,404,384,403,383,386,448,448,436,399,420,416,514,384,416,415, /*752-767*/ \
 387,435,431,416,496,400,417,408,412,504,421,417,438,435,432,435, /*768-783*/ \
 433,513,420,399,400,425,440,408,436,430,448,406,432,416,449,448, /*784-799*/ \
 467,448,447,464,458,416,432,432,435,431,464,412,448,424,447,448, /*800-815*/ \
 422,433,454,432,432,416,451,434,487,480,464,438,440,448,440,479, /*816-831*/ \
 424,424,483,447,450,564,496,450,466,478,448,464,450,451,447,448, /*832-847*/ \
 500,478,504,449,464,464,432,480,430,448,483,469,513,449,448,450, /*848-863*/ \
 544,449,455,449,526,481,448,450,497,451,514,476,528,496,514,499, /*864-879*/ \
 544,460,513,500,476,528,464,524,512,446,488,532,509,520,482,461, /*880-895*/ \
 462,540,480,513,512,528,501,502,520,496,525,536,533,560,520,480, /*896-911*/ \
 514,479,480,464,532,536,544,541,545,552,520,504,512,560,512,545, /*912-927*/ \
 528,516,468,515,520,520,546,501,480,515,560,528,519,522,543,481, /*928-943*/ \
 536,524,540,513,497,530,528,544,541,502,543,566,488,517,529,563, /*944-959*/ \
 536,516,546,528,543,562,524,562,556,533,519,509,513,536,544,543, /*960-975*/ \
 526,552,509,541,564,530,546,536,512,560,514,512,561,568,512,512, /*976-991*/ \
 565,565,516,557,560,560,502,526,543,531,511,553,542,546,549,576, /*992-1007*/ \
 524,548,632,536,562,508,536,527,512,535,531,528,542,515,528,550 /*1008-1023*/ \
  
#define MPFR_MUL_THRESHOLD 15 /* limbs */
#define MPFR_SQR_THRESHOLD 22 /* limbs */
#define MPFR_DIV_THRESHOLD 3 /* limbs */
#define MPFR_EXP_2_THRESHOLD 1331 /* bits */
#define MPFR_EXP_THRESHOLD 28543 /* bits */
#define MPFR_SINCOS_THRESHOLD 53672 /* bits */
#define MPFR_AI_THRESHOLD1 -3708 /* threshold for negative input of mpfr_ai */
#define MPFR_AI_THRESHOLD2 181
#define MPFR_AI_THRESHOLD3 5904
/* Tuneup completed successfully, took 869 seconds */