diff options
| author | eunhhu <[email protected]> | 2026-10-08 14:51:46 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-10-08 14:51:46 +0100 |
| commit | 042dbfd98d664d67dcb006f1870984fc97bfebe1 (patch) | |
| tree | db2e6070fab55852b48bfbaeb516aa505817a281 /.github | |
| parent | 3e3f008b942106cedb59ebca760376274c2fcb84 (diff) | |
| download | pure-042dbfd98d664d67dcb006f1870984fc97bfebe1.tar.gz pure-042dbfd98d664d67dcb006f1870984fc97bfebe1.zip | |
Batch plans, stage 1 of design 025: each batch loop's block read once at load (pure_batch_plans, after its instructions' plans are final): the locals it sets and whether it sets items, its sums into cells, and at each instruction a role (a sum's again, add or set) and how far on a LOCAL_LOAD's x = x op e is; batch_run, pass and local_load read the plan instead of scanning the block each batch; PURE_BATCH_LANES to build other lane counts; PURE_BATCH_CHECK (a build flag, while the stage is made) reads the block again each batch and stops if the plan differs; seeds 1 2 3 5 23 (default and PURE_SELECT=all), the fixed sources and the unit tests pass with it
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions
