Skip to content

Use list length bounds for zone pruning - #8924

Draft
mhk197 wants to merge 1 commit into
mk/list-shape-statsfrom
mk/list-shape-stats-zoned
Draft

Use list length bounds for zone pruning#8924
mhk197 wants to merge 1 commit into
mk/list-shape-statsfrom
mk/list-shape-stats-zoned

Use list length bounds for zone pruning

bcc3289
Select commit
Loading
Failed to load commit list.
CodSpeed HQ / CodSpeed Performance Analysis succeeded Jul 23, 2026 in 0s

Performance Gate Passed

⚡ 1 improved benchmark
✅ 1834 untouched benchmarks
⏩ 58 skipped benchmarks1

Performance Changes

Mode Benchmark BASE HEAD Efficiency
Simulation fsl_large 99.4 µs 87.8 µs +13.25%

Tip

Curious why this is faster? Comment @codspeedbot explain why this is faster on this PR, or directly use the CodSpeed MCP with your agent.


Comparing mk/list-shape-stats-zoned (bcc3289) with mk/list-shape-stats (45e424f)2

Open in CodSpeed

Footnotes

  1. 58 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports.

  2. No successful run was found on mk/list-shape-stats (614492d) during the generation of this report, so f424a7b was used instead as the comparison base. There might be some changes unrelated to this pull request in this report.