float-library-extraction.json (7543B)
1 { 2 "boundary": { 3 "path": "lib/math/binary64.tri", 4 "source": "bench/float-boundary.tri", 5 "source_sha256": "bfc2418adb3f2b2903af28e69384ef6747090b8e8ca5a7691fb79ace17a6f6c2", 6 "sha256": "8f6b37fd2c3ad83e158c7b3fc7e812aa52776712f0fc3994863fc99c78b09660", 7 "declarations": [ 8 "isLeaf", 9 "isBit", 10 "wordWalk", 11 "isWord", 12 "ok", 13 "err", 14 "word?", 15 "fromBitsC", 16 "fromBits", 17 "toBits", 18 "add", 19 "subtract", 20 "multiply", 21 "divide", 22 "value", 23 "flags", 24 "clearFlags", 25 "mergeFlags", 26 "invalid", 27 "divideByZero", 28 "overflow", 29 "underflow", 30 "inexact", 31 "checked", 32 "addBits", 33 "subtractBits", 34 "multiplyBits", 35 "divideBits" 36 ], 37 "exports": [ 38 "add", 39 "addBits", 40 "clearFlags", 41 "divide", 42 "divideBits", 43 "divideByZero", 44 "flags", 45 "fromBits", 46 "fromBitsC", 47 "inexact", 48 "invalid", 49 "mergeFlags", 50 "multiply", 51 "multiplyBits", 52 "overflow", 53 "subtract", 54 "subtractBits", 55 "toBits", 56 "underflow", 57 "value", 58 "word?" 59 ] 60 }, 61 "working": { 62 "path": "lib/math/binary64/working.tri", 63 "source": "bench/float-working.tri", 64 "source_sha256": "9f8432da17f3a8e2eeea45a4dd974e30fe07fcf24905fd23340a96d23d4f50e5", 65 "sha256": "a89de172299f98da382beadaea224c15af303978f9109de3e5874dbd1d96a093", 66 "declarations": [ 67 "make", 68 "kind", 69 "sign", 70 "scale", 71 "payload", 72 "zero", 73 "inf", 74 "nan", 75 "zeroValue", 76 "infinity", 77 "invalidResult", 78 "withSign", 79 "signed", 80 "fromWord", 81 "toWord", 82 "finish", 83 "carry", 84 "quantize", 85 "magnitude", 86 "ordered", 87 "finiteAdd", 88 "finiteProduct", 89 "finiteQuotient", 90 "signaling", 91 "nanResult", 92 "add", 93 "multiply", 94 "divide", 95 "operation", 96 "step" 97 ], 98 "exports": [ 99 "fromWord", 100 "step", 101 "toWord" 102 ] 103 }, 104 "chains": { 105 "path": "lib/math/binary64/chains.tri", 106 "source": "bench/float-chains.tri", 107 "source_sha256": "4df7a1f3558004778b6c41e2365acd446dac9db824d21ba356c14531ba4d04b9", 108 "sha256": "5d509e56a9081c50e9da94129b5dcaeb4a2465ecba03505aa3b743d50010aa1e", 109 "declarations": [ 110 "drop2", 111 "drop3", 112 "drop4", 113 "flagsOr" 114 ], 115 "exports": [ 116 "drop2", 117 "drop3", 118 "drop4", 119 "flagsOr" 120 ] 121 }, 122 "ieee": { 123 "path": "lib/math/binary64/ieee.tri", 124 "source": "bench/float-ieee.tri", 125 "source_sha256": "c0393b6aa9b1517867cef89b3c5ff0a5f710c1814c3b50a0bf6e0aee565a746b", 126 "sha256": "71a8ef62b45f647d57536fc632fce5bf01e2d9434ef76ebbf58fec2e5bdca168", 127 "declarations": [ 128 "answer", 129 "exact", 130 "quietBit", 131 "quiet", 132 "precisionTiny" 133 ], 134 "exports": [ 135 "answer", 136 "exact", 137 "precisionTiny", 138 "quiet", 139 "quietBit" 140 ] 141 }, 142 "product_quotient": { 143 "path": "lib/math/binary64/product_quotient.tri", 144 "source": "bench/float-finite-product-quotient.tri", 145 "source_sha256": "3ef31367bad80f578cffe7c0f6d9979398d5d3a57f05c391fe2549319dc9f90d", 146 "sha256": "a0491c5c573d9e39220fc0df9b82ec657a201db7027f53f62ceec1f435dad5f3", 147 "declarations": [ 148 "walk", 149 "boundedQuotient", 150 "jam" 151 ], 152 "exports": [ 153 "boundedQuotient", 154 "jam" 155 ] 156 }, 157 "finite": { 158 "path": "lib/math/binary64/finite.tri", 159 "source": "bench/float-finite.tri", 160 "source_sha256": "11cab8111c08931516ed021a552f62697847dcfaa41e5a7e2adad576a1cf7b1c", 161 "sha256": "36f1cbd61dc2c0b0b62ff2167a5ba52af450affe3dbaaa4b93d3705bc09f3288", 162 "declarations": [ 163 "exponent", 164 "signBit", 165 "subnormal", 166 "scale", 167 "mant", 168 "attach", 169 "dominates" 170 ], 171 "exports": [ 172 "attach", 173 "dominates", 174 "exponent", 175 "signBit", 176 "subnormal" 177 ] 178 }, 179 "adders": { 180 "path": "lib/math/binary64/adders.tri", 181 "source": "bench/float-adders.tri", 182 "source_sha256": "9a7ae96256abab2bafac6301b72513535815159198d1951a55d581a1063359c6", 183 "sha256": "ec4584c3a929195ae8bc9a8d8c0b9a530131fdc0c9218eac4b5681e74e861de0", 184 "declarations": [ 185 "triage", 186 "lazy", 187 "choose", 188 "ordered", 189 "orderedMultiply" 190 ], 191 "exports": [ 192 "orderedMultiply" 193 ] 194 }, 195 "near": { 196 "path": "lib/math/binary64/near.tri", 197 "source": "bench/float-near-jam.tri", 198 "source_sha256": "1c989cc4c6c4f13403260a33231ba8ac9f325d724b20f11b354b2d0e1bc47844", 199 "sha256": "6d4d5a75cdf26fe48192c3f299e6a0db31ac17954ff74c55213e2e0c2816f21d", 200 "declarations": [ 201 "jam", 202 "align", 203 "wide" 204 ], 205 "exports": [ 206 "align", 207 "wide" 208 ] 209 }, 210 "fast": { 211 "path": "lib/math/binary64/fast.tri", 212 "source": "bench/float-quantize-fast.tri", 213 "source_sha256": "b962053fa3d77b7e251d75dc70c3606574ce861876a6cfc6ab62662a84ebfd9a", 214 "sha256": "f732eec92efbff56ce074799408052b9b28062e372a207f3c0282a45cbe4637a", 215 "declarations": [ 216 "drop2", 217 "drop4", 218 "drop8", 219 "drop16", 220 "drop32", 221 "splice1", 222 "splice2", 223 "splice4", 224 "splice8", 225 "splice16", 226 "splice32", 227 "pack", 228 "zeros1", 229 "zeros2", 230 "zeros4", 231 "zeros8", 232 "zeros16", 233 "zeros32", 234 "shiftPositive", 235 "shift16", 236 "shift8", 237 "shift4", 238 "shift2", 239 "shift1", 240 "shiftSelective" 241 ], 242 "exports": [ 243 "pack", 244 "shiftPositive", 245 "shiftSelective", 246 "zeros1", 247 "zeros2" 248 ] 249 }, 250 "quantize": { 251 "path": "lib/math/binary64/quantize.tri", 252 "source": "bench/float-quantize.tri", 253 "source_sha256": "e62f92ee19e60ff2ed9ae79378d89019ba8dae14f1fb81cb2b774efeced8ea53", 254 "sha256": "7aaffb5b0acd3161a00fc31b36afbcc05a966350008f6e64ca395b5e562e0708", 255 "declarations": [ 256 "max" 257 ], 258 "exports": [ 259 "max" 260 ] 261 }, 262 "kernels": { 263 "path": "lib/math/binary64/kernels.tri", 264 "source": "bench/float-significands.tri", 265 "source_sha256": "58b04ec37e82bfe7b8d3a6b42bb81307258ff0812a77f0fdac04b0f022b17db5", 266 "sha256": "372a5d892ed71f967877f5c6460b667b08f6d917b54c01f76a46408adb27ec42", 267 "declarations": [ 268 "triage", 269 "choose", 270 "lazy", 271 "head", 272 "tail", 273 "both", 274 "either", 275 "not", 276 "xor", 277 "node", 278 "width", 279 "shiftL", 280 "shiftWalk", 281 "roundL", 282 "roundWalk" 283 ], 284 "exports": [ 285 "both", 286 "choose", 287 "either", 288 "head", 289 "lazy", 290 "node", 291 "not", 292 "roundL", 293 "shiftL", 294 "tail", 295 "triage", 296 "width", 297 "xor" 298 ] 299 }, 300 "layouts": { 301 "path": "lib/math/binary64/layouts.tri", 302 "source": "bench/float-layouts.tri", 303 "source_sha256": "3e1ccc050fa4e803271f87505cdd141ded2cc7b0be367fa548aba2bbd86b9914", 304 "sha256": "1c949514276f300d914976b2a073d7070f657bec468a387e641c10b2fbfaaef1", 305 "declarations": [ 306 "triage", 307 "choose", 308 "head", 309 "tail", 310 "drop1", 311 "drop2", 312 "drop4", 313 "drop8", 314 "drop16", 315 "drop32", 316 "drop52", 317 "drop11", 318 "node", 319 "join1", 320 "join2", 321 "join4", 322 "join8", 323 "join16", 324 "join32", 325 "low11", 326 "low52" 327 ], 328 "exports": [ 329 "drop1", 330 "drop11", 331 "drop16", 332 "drop2", 333 "drop32", 334 "drop52", 335 "low11", 336 "low52" 337 ] 338 } 339 }