mirror of
https://github.com/YosysHQ/yosys
synced 2026-07-15 19:55:41 +00:00
23b021a26b
The tests/silimate suite (which aborted the Run tests CI job) exposed two issues in the generalized passes: - opt_compact_prefix: the forward dense pack regressions at 64 and 128 bits no longer rewrote. The ConstEval fingerprint was uint64_t-based (capped at 62 bits) and the per-cone cell cap (max_width*96) was below the O(width^2) cell count of a wide pack. The fingerprint now drives whole-width Const bit patterns (no width cap) and the cone cap scales quadratically; total work stays bounded by the shared walk/eval budgets. - opt_priority_onehot: the "max-width below lane count" negative test set max_width=8 on a 16-lane design expecting no rewrite, but the generalized matcher legitimately (and equivalence-provably) rewrites the 8-lane sub-region. The test now uses max_width=3 (below min_width 4) to verify the width gate suppresses all matching. Co-authored-by: Cursor <cursoragent@cursor.com> |
||
|---|---|---|
| .. | ||
| cmds | ||
| equiv | ||
| fsm | ||
| hierarchy | ||
| memory | ||
| opt | ||
| pmgen | ||
| proc | ||
| sat | ||
| silimate | ||
| techmap | ||
| tests | ||