veryl-lang/veryl - CodSpeed

veryl

Blog Docs Changelog

Performance History

Latest Results

feat(analyzer): warn about statements after if_reset

tignear:lint/statement-after-if-reset

10 hours ago

fix attribute collection and ifdef nest handling

MurakamiShun:fix_attribute_collection

16 hours ago

Evaluate all function actuals before copy-in A nested call to the same function could overwrite an earlier copied input, causing the outer result and its memoization key to disagree. Keep actual values until every argument has been evaluated, then bind the formals. Cover nested calls in either argument, cache pollution of subsequent calls, argument side effects, and the generated constant-folded IR. Workspace tests pass (3304 passed, 32 ignored), with rustfmt and all-target clippy clean.

tignear:feat/comb-loop-runtime-and-cycle-analysis

17 hours ago

Bound repeated constant evaluation and guarded function expansion Build packed repetitions by geometric doubling and check their materialized width before allocation. Reuse constant-function results within an outer evaluation while preserving actual evaluation order and bounding the cache. Share branch identities for repeatable calls with unchanged direct inputs and captures, retain fresh SSA results, and bound distinct summary imports. Discard runtime values left by conversion when preparing generic summaries and invalidate guard sharing between statically evaluated loop iterations. Add semantic and structural complexity regressions. Validate with workspace tests (3303 passed, 32 ignored), rustfmt, and all-target clippy with warnings denied.

tignear:feat/comb-loop-runtime-and-cycle-analysis

1 day ago

Keep packed replication positional without expanding copies Limit arithmetic right-shift sign fill to its destination bits and retain packed repetitions as finite operations through function imports and runtime transfer summaries. Collapse complete nested repetitions and decide fixed coordinate returns without enumerating their displacement counts. Cover copy-out, dynamic array writes, slices, large repetitions, shared function imports, and finite expanded reference graphs.

tignear:feat/comb-loop-runtime-and-cycle-analysis

1 day ago

Preserve packed positions during assignment sign extension

tignear:feat/comb-loop-runtime-and-cycle-analysis

1 day ago

Share equivalent function dependency nodes Intern exported DAG nodes after SSA evaluation so repeated signed copy-in conversions share their callee graphs. Preserve guards, projections and source sites, and separate diagnostic replay modes to keep cycle edge indices aligned with the normal graph. Add fanout size, copy-out/runtime-loop, and per-bit equivalence regressions. A 16-function reproduction now uses 61 nodes and 31 MiB peak RSS, down from 393,206 nodes and 447 MiB. Validation: workspace tests (3,275 passed, 32 ignored), analyzer clippy for all targets with warnings denied, and workspace rustfmt.

tignear:feat/comb-loop-runtime-and-cycle-analysis

1 day ago

Preserve positional dependencies across runtime loop transfers Keep the one-iteration dependency graph, including function projections, and condense recurrence components before returning to acyclic SSA. Preserve coordinates on unchanged axes instead of flattening every source to a whole-value dependency. The iteration-count abstraction is unchanged. Treat dynamic array destinations as candidates throughout their existing LSP while retaining the packed bit mapping. Their first candidate element must not become a fixed destination when loop transfers preserve positions. Add packed, array, and cross-iteration regression cases with real-feedback controls. Check small expanded transfers, long dependency chains, large widths, and structural sharing across imported shift fan-out.

tignear:feat/comb-loop-runtime-and-cycle-analysis

1 day ago

Latest Branches

0%

feat(analyzer): warn about statements after if_reset#3352

10 hours ago

9729217

tignear:lint/statement-after-if-reset

-6%

fix attribute collection and ifdef nest handling#3350

3 days ago

c0ccc3c

MurakamiShun:fix_attribute_collection

0%

Analyze runtime control flow and constrained dependency cycles#3242

17 hours ago

1ba6594

tignear:feat/comb-loop-runtime-and-cycle-analysis

© 2026 CodSpeed Technology

Home Terms Privacy Docs