aboutsummaryrefslogtreecommitdiffstats
path: root/prototypes/workbench/CONTRACT.md
diff options
context:
space:
mode:
authoreunhhu <[email protected]>2026-10-05 23:20:07 +0100
committereunhhu <[email protected]>2026-10-05 23:20:07 +0100
commit76b4e3d3c5a1bd5d12f775fda75f76999d7fb554 (patch)
tree6b49c9915293f214d5c75987e7cecf62a70f3ee3 /prototypes/workbench/CONTRACT.md
parent390169f69dc61ad12f9acb1edc8f1ccee359c696 (diff)
downloadpure-76b4e3d3c5a1bd5d12f775fda75f76999d7fb554.tar.gz
pure-76b4e3d3c5a1bd5d12f775fda75f76999d7fb554.zip
Batch: numbers' results checked finite as they are made (in integers, in the same loop: a pass less each), tests of numbers giving four-byte 1s and 0s (a branch's mask as they are), numbers made of four-byte lanes and affine values by loops of their own, the loop's value as numbers made once a batch, no live lanes to make while none broke out or ran out, a small whole count's sum unchecked: PURE_JIT=0 roots 16.8 to 9.1 ms (the compiled code 9.6, C 6.9), matmul 68 to 50
Diffstat (limited to 'prototypes/workbench/CONTRACT.md')
0 files changed, 0 insertions, 0 deletions