tricu

A lazy functional language based on Tree Calculus
Log | Files | Refs | README | LICENSE

float-quantize-results.json (18861B)


      1 {
      2   "stage": "single-round-positive-binary64-quantizer",
      3   "git_head": "264672c05512457ffcc9107f44d675207aa293ed",
      4   "scope": "new benchmark sources identified by hashes; no public representation or production changes",
      5   "raw_directories": {
      6     "validation": "/tmp/tricu-float-quantize-controls",
      7     "measurement": "/tmp/tricu-float-quantize-measure"
      8   },
      9   "independent_tests": 7,
     10   "independent_test_sha256": "a11f6ecd0f55bb9455310ee5e33904e35808378755e3ce778203cf4dd31f6b32",
     11   "runs": {
     12     "validation": {
     13       "complete": true,
     14       "scope": "positive RNE; tininess after rounding; experimental wire encoding",
     15       "runtime_sha256": "3b9f1df33d5d2143206fb3559d7a0e514f80b3dc729deb9df5df556d060e6d94",
     16       "compiler_sha256": "819ad1c86fbf2d6f86533439217146eb9ffd37ca7f95bb278063a28f0ab5b534",
     17       "harness_sha256": "0822832c4a95d19e72332e0e6b5bd6f44cad93648125f9cd270b4f556e0134a8",
     18       "sources": {
     19         "driver.tri": "e62f92ee19e60ff2ed9ae79378d89019ba8dae14f1fb81cb2b774efeced8ea53",
     20         "pipelines.tri": "6daba69f8c252469dea0e799c2d7fca45b673a23508faf4a0f69e5c375a735bb",
     21         "kernels.tri": "58b04ec37e82bfe7b8d3a6b42bb81307258ff0812a77f0fdac04b0f022b17db5",
     22         "layouts.tri": "3e1ccc050fa4e803271f87505cdd141ded2cc7b0be367fa548aba2bbd86b9914",
     23         "native_math.tri": "d699cce98f8779ff3d451d1be02687182243922fa622cedf5d4f6f9fe252102a"
     24       },
     25       "validation": [
     26         {
     27           "label": "quantize-0",
     28           "cases": 24,
     29           "input_sha256": "65d1a54d70f40275815573571741aabe0e6d210412866c0119edbdabb44d3d7b",
     30           "output_sha256": "76328b540e2ae638b5607bc6cb384811934ea2068b02ac355844d25ea749afcc"
     31         },
     32         {
     33           "label": "quantize-24",
     34           "cases": 24,
     35           "input_sha256": "cb432c859bbaa42c253639c38702ec81f4a1fecf4e6d50a0c1443bfe4b0d473f",
     36           "output_sha256": "d289c126dc26703013f017a365f7146b8b288abd2ccf10460543d226d0ffb3fe"
     37         },
     38         {
     39           "label": "quantize-48",
     40           "cases": 24,
     41           "input_sha256": "9e243112dd77a348f8fcc4386636048f32d8569246c0e8572567e57dc4d29124",
     42           "output_sha256": "be36eb1badcbfc00a23314f4a38e36af0e9635fe5d8b56ed08d7d7e17d7ef541"
     43         },
     44         {
     45           "label": "quantize-72",
     46           "cases": 24,
     47           "input_sha256": "356be3c58b53700b704ed6198cb6c00e263c92b138d397f82790e46b27c88a01",
     48           "output_sha256": "3a00432a2e485aa11f02fba77f1e66caf8e7f5e8d48b03e9f85e055c097b9111"
     49         },
     50         {
     51           "label": "quantize-96",
     52           "cases": 24,
     53           "input_sha256": "2730b0607b5ea46f397d6290064a9718add9fd4aec885303d55c6171659fe133",
     54           "output_sha256": "32f8adccaadab7b02094c01ace37a956e7e46311146584a896fdc18e72e71f84"
     55         },
     56         {
     57           "label": "quantize-120",
     58           "cases": 24,
     59           "input_sha256": "423d501d08dacc776c438746c7c40b1afb965d35654d414113128404187909ce",
     60           "output_sha256": "ed1d70d709b4f2f5c08165bb4c2bdda9f1f077f340880aa23148b341d0386723"
     61         },
     62         {
     63           "label": "quantize-144",
     64           "cases": 24,
     65           "input_sha256": "7a311d4f84831eeb6f89bb5e59c1d7ff90f777af9d323b0769f632ee42b169bc",
     66           "output_sha256": "74d4cc5f0106b69ba125636d5f6bd5ce9f8dfd74058390f047bb94cc09486580"
     67         },
     68         {
     69           "label": "quantize-168",
     70           "cases": 24,
     71           "input_sha256": "64fed4e921b995337186ce0fca7e5d78dd0a272c014907d800dfaa87d94ae773",
     72           "output_sha256": "0ae6004c314efca623c205160df4b055797f0dff970ede82085ecc9a898cbe6b"
     73         },
     74         {
     75           "label": "quantize-192",
     76           "cases": 24,
     77           "input_sha256": "1266c7fd06e9a9776ee16561412c3231c6cfe4efc0905f6553b44ae226502a5c",
     78           "output_sha256": "1a17c91ab0b34256067e341c11fc9497b55409504905d9bfcd5992f37c2476c8"
     79         },
     80         {
     81           "label": "quantize-216",
     82           "cases": 24,
     83           "input_sha256": "20da6b662d0a073b34a73319946a0afcee39ded2c02887714e99d6c9f74cdfb4",
     84           "output_sha256": "8de861b238437b771260ca4b9e63e847b0ce975e1e2519f0ee0298a59ac5aeb2"
     85         },
     86         {
     87           "label": "quantize-240",
     88           "cases": 24,
     89           "input_sha256": "fe1c88152a2f72c17bd6131d06554ce0e39c41ed220976f960422d77b29fa7a3",
     90           "output_sha256": "3e269826f2c26540f7ae6603fbeff1d4eb1e0b8dca1a7725a2620d6c3a147c01"
     91         },
     92         {
     93           "label": "quantize-264",
     94           "cases": 24,
     95           "input_sha256": "a4fbcfa1dd65d451157f454a33f0f16649f1a69ead56778e45d521bd2cc88083",
     96           "output_sha256": "02d30249079cd17202036eb4c8f2737d3a72c8e9c85808d1d76a71a0029d6c2a"
     97         },
     98         {
     99           "label": "quantize-288",
    100           "cases": 24,
    101           "input_sha256": "66ec24334b9917b6255b4c5140ce8904dab75f7543611130f4aebfeefc63c047",
    102           "output_sha256": "7acabb6a074fa6f2a46645a923b28e8786eb79fc4bb42bb959bb15bd9cdcf896"
    103         },
    104         {
    105           "label": "quantize-312",
    106           "cases": 24,
    107           "input_sha256": "f999ce5b8071c41ac43cbbb8fa675ebf21d5de15b9e4a72b9478455f4845eb80",
    108           "output_sha256": "e451ae456e14c7796f346c784e417f35689fdf3dd7ad0b038611e08fc139d32b"
    109         },
    110         {
    111           "label": "quantize-336",
    112           "cases": 24,
    113           "input_sha256": "8fe4b06e0b48afaeafd66ca6c0218fff5aa0bd413c515a25d9306ac8f12b0099",
    114           "output_sha256": "40c2e6033c33b3eaaddd39d4d78b989b2be26ce71b09264dd1ce28037d03e555"
    115         },
    116         {
    117           "label": "quantize-360",
    118           "cases": 24,
    119           "input_sha256": "28a43f4341b9db79282bb35e0ad46a807d2570f08e7ba4d89bb839d5b3e549d7",
    120           "output_sha256": "a6da9f2909ed806e3d778073a6f5ade390250bb2c8e3635dd9d05435defc1629"
    121         },
    122         {
    123           "label": "quantize-384",
    124           "cases": 24,
    125           "input_sha256": "c083cc0e2955dcbf9daa540f1918f775f57e8140dde8a828a3ebb00d8d727901",
    126           "output_sha256": "9ac9fb636dae211b463f33ef3f8f24df272e4fcdecd52254a0b150d34ac8efd7"
    127         },
    128         {
    129           "label": "quantize-408",
    130           "cases": 10,
    131           "input_sha256": "bfb471cdea0af30084eb0b193cd95ca8dbca9f230bc4e3ccf61cc8b83175c54b",
    132           "output_sha256": "6c7624c1511a0de6c4e663ad007c583196583d53c050ba79860866ee129ee5dc"
    133         },
    134         {
    135           "label": "nearAdds-0",
    136           "cases": 24,
    137           "input_sha256": "d7ef6e2c62e8d751d17563fb587948373fa6cae43619d51fcb85f004fe6fde77",
    138           "output_sha256": "ba2abfa1e832a129534c69834987ddb318f2c52ce8e477d3e5ef357369bb316a"
    139         },
    140         {
    141           "label": "nearAdds-24",
    142           "cases": 24,
    143           "input_sha256": "82ef610d9771c688e5f5cc169562333f478a889ec23a5d0dff38e9a717cee98d",
    144           "output_sha256": "7d78b502b132c04a88413c77ee894e301440625bd93186de90c5995fc2d8505c"
    145         },
    146         {
    147           "label": "nearAdds-48",
    148           "cases": 24,
    149           "input_sha256": "13364a02564436b90051a30fae5be772e554f2df2bf34dd55b36cabbbf2f1e05",
    150           "output_sha256": "5132edfb7a4e4c55d3f14395d457b5065924faba5431ff8cae256d6334315630"
    151         },
    152         {
    153           "label": "nearAdds-72",
    154           "cases": 24,
    155           "input_sha256": "b73ac5c1d13e2bfbcb296258a9b0c8eb5ab65c544463b6a54e303f861cd65e03",
    156           "output_sha256": "decef4a10350dc9790cc09b7d21554748157656d51aacf678f3df9be1960e238"
    157         },
    158         {
    159           "label": "nearAdds-96",
    160           "cases": 24,
    161           "input_sha256": "580e6e605009cc724008528d5ab71fc843ab4730279fc44cd3d742e6bf5eeaf3",
    162           "output_sha256": "b5ad116c1f96b76e8d34608ceb16b6391b17fd1143b99c5cc54723697819a72a"
    163         },
    164         {
    165           "label": "nearAdds-120",
    166           "cases": 24,
    167           "input_sha256": "238f4b4739ab326eb8cac4a8e5edc44bb989fc859ec0f7e6b70b7550c893e58f",
    168           "output_sha256": "cf6c27c78b69ba855e6b3e818fc2df9f026822d93c6fc569d969d5a92fefb10f"
    169         },
    170         {
    171           "label": "nearAdds-144",
    172           "cases": 24,
    173           "input_sha256": "ed0b819e958c58bbd613ca3b3a763fbb0951ed6a0739190ccf20ceb2de3baeda",
    174           "output_sha256": "683ee35fca2e77bce8f72a1e7e3c973e7ea00178ef7dab9cf3e3d4e0dd5d13c1"
    175         },
    176         {
    177           "label": "nearAdds-168",
    178           "cases": 24,
    179           "input_sha256": "0b03a30a0bc162c96be8dc74640f6fb5d43b401c2992cec080c796bcec33ee44",
    180           "output_sha256": "fa3a784c92873830c5cf743195df53b6aeba8d39e46c22ceab5b4df9fa1d2e5c"
    181         },
    182         {
    183           "label": "nearAdds-192",
    184           "cases": 18,
    185           "input_sha256": "85aebce2008796d9590ce196a4802abdbc0e07468e81602bb53db8e8cefcbac0",
    186           "output_sha256": "37371654418f4875f04af18ef8b1818829ed8988d7f391942729878ec5238ed2"
    187         },
    188         {
    189           "label": "nearSubtracts-0",
    190           "cases": 24,
    191           "input_sha256": "d7ef6e2c62e8d751d17563fb587948373fa6cae43619d51fcb85f004fe6fde77",
    192           "output_sha256": "db32406900b1573c7becd515a0a5f1a21f3fc481c3d48902302236e8c37fd682"
    193         },
    194         {
    195           "label": "nearSubtracts-24",
    196           "cases": 24,
    197           "input_sha256": "82ef610d9771c688e5f5cc169562333f478a889ec23a5d0dff38e9a717cee98d",
    198           "output_sha256": "628e5c9c69c386ae601a46e86daf2e411035808fcb25f8f158e948eed2c2c34a"
    199         },
    200         {
    201           "label": "nearSubtracts-48",
    202           "cases": 24,
    203           "input_sha256": "13364a02564436b90051a30fae5be772e554f2df2bf34dd55b36cabbbf2f1e05",
    204           "output_sha256": "c8c74baa7213777564c3c5d0925dbbf72a5946d12015e4c0d317c81d455700a6"
    205         },
    206         {
    207           "label": "nearSubtracts-72",
    208           "cases": 24,
    209           "input_sha256": "b73ac5c1d13e2bfbcb296258a9b0c8eb5ab65c544463b6a54e303f861cd65e03",
    210           "output_sha256": "40edb038a1699d64a6c134d9eda1b7c4841bdcf412649298db77daa76a44da86"
    211         },
    212         {
    213           "label": "nearSubtracts-96",
    214           "cases": 24,
    215           "input_sha256": "580e6e605009cc724008528d5ab71fc843ab4730279fc44cd3d742e6bf5eeaf3",
    216           "output_sha256": "862c9d6b0797b793cdc63325c585194cb5f531a078f373e6d85be883998afa4f"
    217         },
    218         {
    219           "label": "nearSubtracts-120",
    220           "cases": 24,
    221           "input_sha256": "238f4b4739ab326eb8cac4a8e5edc44bb989fc859ec0f7e6b70b7550c893e58f",
    222           "output_sha256": "af55f6018623000ec27ee66fe33af1ab139749d9cd1bc4c44b488643332c0c3e"
    223         },
    224         {
    225           "label": "nearSubtracts-144",
    226           "cases": 24,
    227           "input_sha256": "ed0b819e958c58bbd613ca3b3a763fbb0951ed6a0739190ccf20ceb2de3baeda",
    228           "output_sha256": "0b610216bedc385e07f1ad28a55ec201b149215895710468dae83cba2cf07f57"
    229         },
    230         {
    231           "label": "nearSubtracts-168",
    232           "cases": 24,
    233           "input_sha256": "0b03a30a0bc162c96be8dc74640f6fb5d43b401c2992cec080c796bcec33ee44",
    234           "output_sha256": "bb770351a8013fcf85fd33708968731108511c587980e9f388373e9a012afc2f"
    235         },
    236         {
    237           "label": "nearSubtracts-192",
    238           "cases": 18,
    239           "input_sha256": "85aebce2008796d9590ce196a4802abdbc0e07468e81602bb53db8e8cefcbac0",
    240           "output_sha256": "37371654418f4875f04af18ef8b1818829ed8988d7f391942729878ec5238ed2"
    241         },
    242         {
    243           "label": "double-round-negative-control",
    244           "cases": 2,
    245           "input_sha256": "80d90aeea1cf7d7327fda7b64fec635ee098a470d30e6ef87d7f445e0317c573",
    246           "output_sha256": "c66430e4c9dd85a990870c833a7b958c3a369772912285f6b1d6995183fdb45d"
    247         }
    248       ],
    249       "demand": [
    250         {
    251           "name": "zeroDemand",
    252           "outcome": "expected-result"
    253         }
    254       ],
    255       "bundle_sha256": "4e169d8d134da8f598447aefa06bcd0304fd76f720834dc6d9e1878f50ca587a",
    256       "quantizer_cases": 418,
    257       "near_cases_per_operation": 210,
    258       "double_rounding_counterexamples": 2
    259     },
    260     "measurement": {
    261       "complete": true,
    262       "runtime_sha256": "3b9f1df33d5d2143206fb3559d7a0e514f80b3dc729deb9df5df556d060e6d94",
    263       "compiler_sha256": "819ad1c86fbf2d6f86533439217146eb9ffd37ca7f95bb278063a28f0ab5b534",
    264       "validated_report_sha256": "203546f63f1689eb777606d0da23bc4f68c6901ecf53710bf010ae2a5b704f5d",
    265       "bundle_sha256": "4e169d8d134da8f598447aefa06bcd0304fd76f720834dc6d9e1878f50ca587a",
    266       "harness_sha256": "964294b3099ce450d4461a4361f293d4765643cd95d9f390e1a942fa30299c0c",
    267       "oracle_sha256": "0822832c4a95d19e72332e0e6b5bd6f44cad93648125f9cd270b4f556e0134a8",
    268       "samples": [
    269         {
    270           "group": "tiny-to-zero",
    271           "repeat": 0,
    272           "warmup": true,
    273           "size": 16,
    274           "wall_ns": 1937593,
    275           "allocated_bytes": 9536536
    276         },
    277         {
    278           "group": "normal-106",
    279           "repeat": 0,
    280           "warmup": true,
    281           "size": 16,
    282           "wall_ns": 33114457,
    283           "allocated_bytes": 235366488
    284         },
    285         {
    286           "group": "subnormal-midpoints",
    287           "repeat": 0,
    288           "warmup": true,
    289           "size": 16,
    290           "wall_ns": 13500331,
    291           "allocated_bytes": 76105912
    292         },
    293         {
    294           "group": "overflow-midpoint",
    295           "repeat": 0,
    296           "warmup": true,
    297           "size": 16,
    298           "wall_ns": 14852654,
    299           "allocated_bytes": 115046280
    300         },
    301         {
    302           "group": "cancellation",
    303           "repeat": 0,
    304           "warmup": true,
    305           "size": 16,
    306           "wall_ns": 22517735,
    307           "allocated_bytes": 168700352
    308         },
    309         {
    310           "group": "cancellation",
    311           "repeat": 1,
    312           "warmup": false,
    313           "size": 16,
    314           "wall_ns": 26780539,
    315           "allocated_bytes": 168698784
    316         },
    317         {
    318           "group": "tiny-to-zero",
    319           "repeat": 1,
    320           "warmup": false,
    321           "size": 16,
    322           "wall_ns": 2245171,
    323           "allocated_bytes": 9538104
    324         },
    325         {
    326           "group": "overflow-midpoint",
    327           "repeat": 1,
    328           "warmup": false,
    329           "size": 16,
    330           "wall_ns": 17627541,
    331           "allocated_bytes": 115047848
    332         },
    333         {
    334           "group": "subnormal-midpoints",
    335           "repeat": 1,
    336           "warmup": false,
    337           "size": 16,
    338           "wall_ns": 15418387,
    339           "allocated_bytes": 76105912
    340         },
    341         {
    342           "group": "normal-106",
    343           "repeat": 1,
    344           "warmup": false,
    345           "size": 16,
    346           "wall_ns": 42983692,
    347           "allocated_bytes": 235364920
    348         },
    349         {
    350           "group": "tiny-to-zero",
    351           "repeat": 2,
    352           "warmup": false,
    353           "size": 16,
    354           "wall_ns": 2138371,
    355           "allocated_bytes": 9536536
    356         },
    357         {
    358           "group": "cancellation",
    359           "repeat": 2,
    360           "warmup": false,
    361           "size": 16,
    362           "wall_ns": 25958884,
    363           "allocated_bytes": 168698784
    364         },
    365         {
    366           "group": "overflow-midpoint",
    367           "repeat": 2,
    368           "warmup": false,
    369           "size": 16,
    370           "wall_ns": 15129143,
    371           "allocated_bytes": 115046280
    372         },
    373         {
    374           "group": "subnormal-midpoints",
    375           "repeat": 2,
    376           "warmup": false,
    377           "size": 16,
    378           "wall_ns": 11539846,
    379           "allocated_bytes": 76105912
    380         },
    381         {
    382           "group": "normal-106",
    383           "repeat": 2,
    384           "warmup": false,
    385           "size": 16,
    386           "wall_ns": 31048592,
    387           "allocated_bytes": 235366488
    388         },
    389         {
    390           "group": "tiny-to-zero",
    391           "repeat": 3,
    392           "warmup": false,
    393           "size": 16,
    394           "wall_ns": 2304212,
    395           "allocated_bytes": 9538104
    396         },
    397         {
    398           "group": "subnormal-midpoints",
    399           "repeat": 3,
    400           "warmup": false,
    401           "size": 16,
    402           "wall_ns": 10390745,
    403           "allocated_bytes": 76105912
    404         },
    405         {
    406           "group": "overflow-midpoint",
    407           "repeat": 3,
    408           "warmup": false,
    409           "size": 16,
    410           "wall_ns": 17375597,
    411           "allocated_bytes": 115047848
    412         },
    413         {
    414           "group": "normal-106",
    415           "repeat": 3,
    416           "warmup": false,
    417           "size": 16,
    418           "wall_ns": 33552520,
    419           "allocated_bytes": 235366488
    420         },
    421         {
    422           "group": "cancellation",
    423           "repeat": 3,
    424           "warmup": false,
    425           "size": 16,
    426           "wall_ns": 23078318,
    427           "allocated_bytes": 168698784
    428         },
    429         {
    430           "group": "normal-106",
    431           "repeat": 4,
    432           "warmup": false,
    433           "size": 16,
    434           "wall_ns": 31275569,
    435           "allocated_bytes": 235366488
    436         },
    437         {
    438           "group": "tiny-to-zero",
    439           "repeat": 4,
    440           "warmup": false,
    441           "size": 16,
    442           "wall_ns": 1935148,
    443           "allocated_bytes": 9536536
    444         },
    445         {
    446           "group": "subnormal-midpoints",
    447           "repeat": 4,
    448           "warmup": false,
    449           "size": 16,
    450           "wall_ns": 12588757,
    451           "allocated_bytes": 76105912
    452         },
    453         {
    454           "group": "overflow-midpoint",
    455           "repeat": 4,
    456           "warmup": false,
    457           "size": 16,
    458           "wall_ns": 16090651,
    459           "allocated_bytes": 115047848
    460         },
    461         {
    462           "group": "cancellation",
    463           "repeat": 4,
    464           "warmup": false,
    465           "size": 16,
    466           "wall_ns": 22507456,
    467           "allocated_bytes": 168698784
    468         }
    469       ],
    470       "summaries": [
    471         {
    472           "group": "normal-106",
    473           "size": 16,
    474           "wall_ns": 32414044.5,
    475           "wall_ns_min": 31048592,
    476           "wall_ns_max": 42983692,
    477           "allocated_bytes": 235366488.0,
    478           "allocated_bytes_min": 235364920,
    479           "allocated_bytes_max": 235366488
    480         },
    481         {
    482           "group": "cancellation",
    483           "size": 16,
    484           "wall_ns": 24518601.0,
    485           "wall_ns_min": 22507456,
    486           "wall_ns_max": 26780539,
    487           "allocated_bytes": 168698784.0,
    488           "allocated_bytes_min": 168698784,
    489           "allocated_bytes_max": 168698784
    490         },
    491         {
    492           "group": "subnormal-midpoints",
    493           "size": 16,
    494           "wall_ns": 12064301.5,
    495           "wall_ns_min": 10390745,
    496           "wall_ns_max": 15418387,
    497           "allocated_bytes": 76105912.0,
    498           "allocated_bytes_min": 76105912,
    499           "allocated_bytes_max": 76105912
    500         },
    501         {
    502           "group": "tiny-to-zero",
    503           "size": 16,
    504           "wall_ns": 2191771.0,
    505           "wall_ns_min": 1935148,
    506           "wall_ns_max": 2304212,
    507           "allocated_bytes": 9537320.0,
    508           "allocated_bytes_min": 9536536,
    509           "allocated_bytes_max": 9538104
    510         },
    511         {
    512           "group": "overflow-midpoint",
    513           "size": 16,
    514           "wall_ns": 16733124.0,
    515           "wall_ns_min": 15129143,
    516           "wall_ns_max": 17627541,
    517           "allocated_bytes": 115047848.0,
    518           "allocated_bytes_min": 115046280,
    519           "allocated_bytes_max": 115047848
    520         }
    521       ]
    522     }
    523   }
    524 }