_f64_log_kat_vectors.nx source

1// _f64_log_kat_vectors.nx -- GENERATED by _f64_log_oracle_gen.py (mpmath @60dps). 2// DO NOT HAND-EDIT. 196 vectors. 3import "nx_syscalls.nx" 4 5func f64l_kat_fill_0(av: *i64, ev: *i64) -> i64 { 6 av[0]=0x0000000000000000; ev[0]=0xFFF0000000000000 7 av[1]=0x8000000000000000; ev[1]=0xFFF0000000000000 8 av[2]=0x7FF0000000000000; ev[2]=0x7FF0000000000000 9 av[3]=0xFFF0000000000000; ev[3]=0x7FF8000000000000 10 av[4]=0x7FF8000000000000; ev[4]=0x7FF8000000000000 11 av[5]=0xBFF0000000000000; ev[5]=0x7FF8000000000000 12 av[6]=0xBFE0000000000000; ev[6]=0x7FF8000000000000 13 av[7]=0x3FF0000000000000; ev[7]=0x0000000000000000 14 av[8]=0x4000000000000000; ev[8]=0x3FE62E42FEFA39EF 15 av[9]=0x3FE0000000000000; ev[9]=0xBFE62E42FEFA39EF 16 av[10]=0x4010000000000000; ev[10]=0x3FF62E42FEFA39EF 17 av[11]=0x4090000000000000; ev[11]=0x401BB9D3BEB8C86B 18 av[12]=0x3F50000000000000; ev[12]=0xC01BB9D3BEB8C86B 19 av[13]=0x4005BF0A8B145769; ev[13]=0x3FF0000000000000 20 av[14]=0x4024000000000000; ev[14]=0x40026BB1BBB55516 21 av[15]=0x3FB999999999999A; ev[15]=0xC0026BB1BBB55515 22 av[16]=0x3FF0000000000001; ev[16]=0x3CAFFFFFFFFFFFFF 23 av[17]=0x3FEFFFFFFFFFFFFF; ev[17]=0xBCA0000000000000 24 av[18]=0x3FF0000000400000; ev[18]=0x3E0FFFFFFFC00000 25 av[19]=0x3FEFFFFFFF800000; ev[19]=0xBE10000000200000 26 av[20]=0x3FF6A09E667F3BCC; ev[20]=0x3FD62E42FEFA39EE 27 av[21]=0x3FF6A09E667F3BCD; ev[21]=0x3FD62E42FEFA39F0 28 av[22]=0x0000000000000001; ev[22]=0xC0874385446D71C3 29 av[23]=0x000FFFFFFFFFFFFF; ev[23]=0xC086232BDD7ABCD2 30 av[24]=0x0010000000000000; ev[24]=0xC086232BDD7ABCD2 31 av[25]=0x7FEFFFFFFFFFFFFF; ev[25]=0x40862E42FEFA39EF 32 av[26]=0x385D224881CF8C73; ev[26]=0xC054FDBCB05DA13B 33 av[27]=0x40400D8D71E455FE; ev[27]=0x400BC0979A99EB1B 34 av[28]=0x40033C62D4977DB2; ev[28]=0x3FEC1322BD574686 35 av[29]=0x3FF000F5379B95D5; ev[29]=0x3F2EA608989E45B7 36 av[30]=0x0008369CCC1B7A68; ev[30]=0xC0862881889705A2 37 av[31]=0x679DC02E568920F0; ev[31]=0x407B81358FDCD8E3 38 av[32]=0x3AA924F438C339C7; ev[32]=0xC04D3B94620C6912 39 av[33]=0x3FEFFF8E80773620; ev[33]=0xBF0C601484C54826 40 av[34]=0x1624B1DB684229CE; ev[34]=0xC07CF754AC72BD5F 41 av[35]=0x3FEFFFCF9E363260; ev[35]=0xBEF830F730847E4A 42 av[36]=0x3FEFFF9370E78A04; ev[36]=0xBF0B23F426F3BE85 43 av[37]=0x47799F91A060A82F; ev[37]=0x4054E98243789D35 44 av[38]=0x4031375132E8CAD5; ev[38]=0x4006C449DA9FEA97 45 av[39]=0x406A5F477ACDF320; ev[39]=0x40156831834F3967 46 av[40]=0x406F7600A21DA74C; ev[40]=0x40161CDD75487841 47 av[41]=0x404CAD0005545CD7; ev[41]=0x4010326182C547F9 48 av[42]=0x3FEFFFADB972E439; ev[42]=0xBF0491BDB864EAA6 49 av[43]=0x3FEFFF990997D176; ev[43]=0xBF09BDC37543869F 50 av[44]=0x406F16CC5E625AE0; ev[44]=0x401610B043F287E8 51 av[45]=0x0004BF9B8C67D8C0; ev[45]=0xC0862CE3B528A644 52 av[46]=0x404DEECB902778BB; ev[46]=0x40105E4FF1A2CDEC 53 av[47]=0x405BFA1D7194E3D0; ev[47]=0x4012DEE6DB7DB801 54 av[48]=0x00001DF9F5FE1DC3; ev[48]=0xC0864A829BECE8F0 55 av[49]=0x3FF000FC4CB8CC0B; ev[49]=0x3F2F889E7C940D1E 56 av[50]=0x0002488386F66AFF; ev[50]=0xC08632BF4AC71673 57 av[51]=0x00096CF2EFA48397; ev[51]=0xC0862767965F681E 58 av[52]=0x5A6205EECA9A97F6; ev[52]=0x407255200F49BF21 59 av[53]=0x3FF000B1142AF8BF; ev[53]=0x3F26220AE5BA8004 60 av[54]=0x000227160480F9CA; ev[54]=0xC0863337E5D14853 61 av[55]=0x0004B0753429F025; ev[55]=0xC0862CFD64461613 62 av[56]=0x000EB0DDE40428D1; ev[56]=0xC08623DAAF74AB05 63 av[57]=0x406738436C34C908; ev[57]=0x4014E5D52B7E9A16 64 av[58]=0x000AF1E19C360061; ev[58]=0xC086263588048091 65 av[59]=0x00063638A898B13F; ev[59]=0xC0862ABD8E1D23DC 66 av[60]=0x3FEFFF0BA2714D80; ev[60]=0xBF1E8C2679DEE989 67 av[61]=0x0000D1FD50833F68; ev[61]=0xC0863AEFE05854BB 68 av[62]=0x1DABE6C38A96D652; ev[62]=0xC077BFB518EC74C3 69 av[63]=0x3FF0003D5388EF33; ev[63]=0x3F0EA989B485968A 70 av[64]=0x405A3940E32892E4; ev[64]=0x40129CA07883D7CE 71 av[65]=0x3693185951D467BD; ev[65]=0xC059F2E51A83EB38 72 av[66]=0x404F0C8482267BB2; ev[66]=0x401083CCACE914C3 73 av[67]=0x000A932FDC3B9439; ev[67]=0xC086267BF1917494 74 av[68]=0x3FEFFF151F46B4B6; ev[68]=0xBF1D5C82EB448C04 75 av[69]=0x3FEFFFCC525988B6; ev[69]=0xBEF9D6E81907B299 76 av[70]=0x1F9214A9BB683353; ev[70]=0xC0766ED90407200D 77 av[71]=0x3FF000A494B5AF4E; ev[71]=0x3F24922CE9E01430 78 av[72]=0x3FF0004F3F87D42D; ev[72]=0x3F13CFB0E5220E7A 79 av[73]=0x000196CF95BC4821; ev[73]=0xC08635A58D7FA56F 80 av[74]=0x4063B93E9E95FD92; ev[74]=0x40143EBA6C81D46C 81 av[75]=0x4069CFF72D692C4E; ev[75]=0x40155238E7746B89 82 av[76]=0x40661CD6887610C1; ev[76]=0x4014B3CE35D7D408 83 av[77]=0x404904D4012D95C1; ev[77]=0x400F4D5E16FEEC34 84 av[78]=0x0009411E78F52923; ev[78]=0xC086278D215765E5 85 av[79]=0x00023A6B170C7D26; ev[79]=0xC08632F148D6F17F 86 return 0 87} 88 89func f64l_kat_fill_1(av: *i64, ev: *i64) -> i64 { 90 av[80]=0x0653D0A0616298E0; ev[80]=0xC083F6F15CB909EE 91 av[81]=0x4036CDF2C3FD5709; ev[81]=0x4009040229DE8857 92 av[82]=0x40634ADA789C03AE; ev[82]=0x401428179CE1B5DB 93 av[83]=0x40642968CAF42171; ev[83]=0x40145539FED64C47 94 av[84]=0x0004E2AEFF4E1347; ev[84]=0xC0862CA97324F36C 95 av[85]=0x40445F15618BD516; ev[85]=0x400DA8827A964CB9 96 av[86]=0x3FEFFF412DA93441; ev[86]=0xBF17DA91F9057441 97 av[87]=0x405C94A9BCD92AB9; ev[87]=0x4012F4C360453FC9 98 av[88]=0x3FEFFFCA8396DB18; ev[88]=0xBEFABE4AEC0CE628 99 av[89]=0x403C627F2F5C9988; ev[89]=0x400AC44E20A6F3D2 100 av[90]=0x000A31EEBDFFEAE1; ev[90]=0xC08626C6DF0037A2 101 av[91]=0x0B1B72FA20109DBA; ev[91]=0xC0824EE6F373A985 102 av[92]=0x000DE1017407F8ED; ev[92]=0xC086244F2021BB73 103 av[93]=0x000DE40D2C487CB9; ev[93]=0xC086244D5EE22736 104 av[94]=0x3FF000B8F7FB0065; ev[94]=0x3F271E79BEA979F3 105 av[95]=0x6B99D6EC5FC60803; ev[95]=0x407E44BC9E3E9999 106 av[96]=0x404CF88FD879B90D; ev[96]=0x40103CDDFFB8C48B 107 av[97]=0x000086A7895DCAA4; ev[97]=0xC0863E7DE581F796 108 av[98]=0x0001D60067458EFF; ev[98]=0xC086347DD8CA652A 109 av[99]=0x3FF0001F7F979BB8; ev[99]=0x3EFF7F789AAE34E9 110 av[100]=0x0E0EEF8A2CD2A340; ev[100]=0xC08149527BBB8F92 111 av[101]=0x7A1C4B969E6EC150; ev[101]=0x408429936C36CF59 112 av[102]=0x000318AEAF7395D2; ev[102]=0xC086304F6281DF86 113 av[103]=0x1BCD09E3D24EB311; ev[103]=0xC0790BC763CE549A 114 av[104]=0x406389601B08912C; ev[104]=0x401434F9521E77E1 115 av[105]=0x3A14794C43A37B10; ev[105]=0xC0503A3196E6EF6D 116 av[106]=0x349E7C400D57720F; ev[106]=0xC05F6085309D6595 117 av[107]=0x3FF000573CD71478; ev[107]=0x3F15CEFA5124CFDC 118 av[108]=0x3FF0007D1F79EAEE; ev[108]=0x3F1F47642DB73E37 119 av[109]=0x3FEFFF0C926B3CE1; ev[109]=0xBF1E6E26574A895A 120 av[110]=0x406B67E3AD802FFE; ev[110]=0x40158F8FC42AF404 121 av[111]=0x000B9A386F7C4C90; ev[111]=0xC08625BE0A626122 122 av[112]=0x0001127BD9E80FA0; ev[112]=0xC08638CB59DAEF9C 123 av[113]=0x3FF000284E95094F; ev[113]=0x3F0427312237598B 124 av[114]=0x708AA4F60FEA3A2A; ev[114]=0x4080D8AECB5AAAED 125 av[115]=0x3FF0008533370755; ev[115]=0x3F20A6219429CF97 126 av[116]=0x406B6BA012BDB087; ev[116]=0x4015901B51BB63C6 127 av[117]=0x0009737A314E4710; ev[117]=0xC08627620DCD7376 128 av[118]=0x4061C979EB6EBFBB; ev[118]=0x4013D4E671EF568D 129 av[119]=0x00029D4203F013D3; ev[119]=0xC08631AA03E6B1DC 130 av[120]=0x40580B1273DB88EE; ev[120]=0x401243BC79D572B6 131 av[121]=0x3FF0007609DE7E34; ev[121]=0x3F1D820AC7715685 132 av[122]=0x3FF00013EC4C2196; ev[122]=0x3EF3EC3FBA350070 133 av[123]=0x406222F14A30C45A; ev[123]=0x4013E8D314AC07F0 134 av[124]=0x406D0F13F27F018C; ev[124]=0x4015CB89635E29C6 135 av[125]=0x5C05C1DC0BC05A74; ev[125]=0x4073787CB1D2A9A8 136 av[126]=0x4061D18A0B3FC588; ev[126]=0x4013D6B638A7314D 137 av[127]=0x3FEFFFFE90A7ED6B; ev[127]=0xBEA6F581AD176CD6 138 av[128]=0x000C4983AB8CADB8; ev[128]=0xC08625489B0F3188 139 av[129]=0x3FEFFFB572A613A3; ev[129]=0xBF02A36C313F019D 140 av[130]=0x16D0F92706FC1F78; ev[130]=0xC07C80823B518388 141 av[131]=0x3FF00065654D6459; ev[131]=0x3F195903083B4290 142 av[132]=0x000E1CF9AA1EA7CF; ev[132]=0xC086242CD8C351CF 143 av[133]=0x5C8D27DC12976DAF; ev[133]=0x4073D5E4A6F61090 144 av[134]=0x733F95640ED38265; ev[134]=0x4081C87C6328BD11 145 av[135]=0x4064F6BED35D22C3; ev[135]=0x40147D2CC0D45859 146 av[136]=0x1F7D46F663631F12; ev[136]=0xC0767D51282001FF 147 av[137]=0x3FF00098D4324C97; ev[137]=0x3F231A2B0F2C2DB3 148 av[138]=0x3A1A8BD600FD9679; ev[138]=0xC0502991FE95FE8E 149 av[139]=0x3FEFFFA4ECF22166; ev[139]=0xBF06C4E3DE7141C8 150 av[140]=0x7E3F23CBD269F75E; ev[140]=0x40859852ECD528A4 151 av[141]=0x4043E7BA3D9C6DF1; ev[141]=0x400D7917D1391FD4 152 av[142]=0x3FF00016354EAB31; ev[142]=0x3EF6353F419A4A48 153 av[143]=0x0003146F572976F3; ev[143]=0xC086305A635C4D05 154 av[144]=0x4062A0E98FEEC1CC; ev[144]=0x4014043CA819DBB5 155 av[145]=0x0004431943A36DA3; ev[145]=0xC0862DC1032284AC 156 av[146]=0x3FEFFF57C6C90259; ev[146]=0xBF15075E26091398 157 av[147]=0x6FAC097B69FA2598; ev[147]=0x40808B75386B3898 158 av[148]=0x403596FCF0F43571; ev[148]=0x400893E885CD7332 159 av[149]=0x40417108449554A9; ev[149]=0x400C6A7FBE2A7C27 160 av[150]=0x4049DC6821C072C6; ev[150]=0x400F912A7DE8C37E 161 av[151]=0x3FEFFF0DF7FBD3C1; ev[151]=0xBF1E4172F15CE624 162 av[152]=0x32CC6A58F570353D; ev[152]=0xC06235C0331A9A5D 163 av[153]=0x3FEFFF39DDC0CCE6; ev[153]=0xBF18C494941EEFF2 164 av[154]=0x67906666A480E573; ev[154]=0x407B77AE1A0D28EC 165 av[155]=0x3FF000377D92C8F5; ev[155]=0x3F0BBE99481F107F 166 av[156]=0x339EA97CC17AF5C4; ev[156]=0xC06112F76F413558 167 av[157]=0x3FEFFFBFE1AD6394; ev[157]=0xBF0007A4B65D5984 168 av[158]=0x6761FBDD9E918658; ev[158]=0x407B57E2547FC7D3 169 av[159]=0x406B5ADCABA325FE; ev[159]=0x40158DA88E061C85 170 return 0 171} 172 173func f64l_kat_fill_2(av: *i64, ev: *i64) -> i64 { 174 av[160]=0x0003E3FC4668CD57; ev[160]=0xC0862E7BCE48E1BC 175 av[161]=0x3AED60BAE1452646; ev[161]=0xC04BC4C53D97E826 176 av[162]=0x435E29A33FE84E0B; ev[162]=0x4043082FF363E970 177 av[163]=0x1DD071CB5E6270FB; ev[163]=0xC077A6E533DC3B8D 178 av[164]=0x26FBA4166D8ADF11; ev[164]=0xC0714B6503EEF626 179 av[165]=0x000D838941C43D6F; ev[165]=0xC0862485B954D4C9 180 av[166]=0x3FEFFF446DCCC3B1; ev[166]=0xBF17728B200B9798 181 av[167]=0x3FEFFF5E8798428A; ev[167]=0xBF142F3FE4AF9F2C 182 av[168]=0x570700C1B44FAE8C; ev[168]=0x40700226457F05C1 183 av[169]=0x000B4696A10E9699; ev[169]=0xC08625F8887FC429 184 av[170]=0x000D7395AAADDDF1; ev[170]=0xC086248F305A85E6 185 av[171]=0x000009B9C2FC810F; ev[171]=0xC0865383EE914CA4 186 av[172]=0x40482A05DBA57391; ev[172]=0x400F062DFB05788F 187 av[173]=0x00097DAA561FEC57; ev[173]=0xC086275972BD01EC 188 av[174]=0x406C95C730F45E0F; ev[174]=0x4015BAB3B2B1B637 189 av[175]=0x729C40AB51F93CE9; ev[175]=0x408190247B6A4070 190 av[176]=0x00043092540CDCE6; ev[176]=0xC0862DE4161BFBA9 191 av[177]=0x000799F23669D167; ev[177]=0xC08629201D6B4A0E 192 av[178]=0x36A47F35B1674BDA; ev[178]=0xC059C1FFE83C7C61 193 av[179]=0x7B5F55D357822E25; ev[179]=0x4084994BBA6C0410 194 av[180]=0x3FF000D6D2124C99; ev[180]=0x3F2AD98E0BFD6DA2 195 av[181]=0x406AB38990196D57; ev[181]=0x401574E4E839DF43 196 av[182]=0x567C0FD637FDAFBB; ev[182]=0x406F4308AA367BFC 197 av[183]=0x00094AFB1D054A09; ev[183]=0xC08627849F6DECA1 198 av[184]=0x406B7C8D07A0D5F5; ev[184]=0x40159292A2D18D55 199 av[185]=0x16BA8A3EA3462E21; ev[185]=0xC07C8F898512C62B 200 av[186]=0x00077997C5574557; ev[186]=0xC086294273810C14 201 av[187]=0x3FF0008E24E32723; ev[187]=0x3F21C44D79C676F6 202 av[188]=0x00086AC7C0B17DE8; ev[188]=0xC086284F574319A4 203 av[189]=0x406C7B478CA25576; ev[189]=0x4015B6FCB7F3530D 204 av[190]=0x000B751BA3BEC63D; ev[190]=0xC08625D7CA8F1D7D 205 av[191]=0x77FD51AA6D0BF0B3; ev[191]=0x40836D52FCB48B36 206 av[192]=0x3FEFFFCCF0B3260B; ev[192]=0xBEF987BACB433C8F 207 av[193]=0x406AA9A348D033EC; ev[193]=0x40157368FBC730A8 208 av[194]=0x4043F767CC3AA09A; ev[194]=0x400D7F62692DF4C6 209 av[195]=0x000EF45B05507BFB; ev[195]=0xC08623B64285CBB0 210 return 0 211} 212 213func f64l_kat_fill_all(av: *i64, ev: *i64) -> i64 { 214 f64l_kat_fill_0(av, ev) 215 f64l_kat_fill_1(av, ev) 216 f64l_kat_fill_2(av, ev) 217 return 196 218}