Parallelize `opt_clean` pass#5664

Open

rocallahan wants to merge 29 commits intoYosysHQ:mainfrom

rocallahan:parallel-opt-clean

Commits on Mar 6, 2026

Add `IdString::unescape()` method
rocallahan
committed
Make `log_error()` work in a `Multithreaded` context.
rocallahan
committed
Work around `std::reverse` miscompilation with empty range
rocallahan
committed
Add `work_pool_size`, `IntRange`, `item_range_for_worker`, and `ThreadIndex`
rocallahan
committed
Add `ParallelDispatchThreadPool`
rocallahan
committed
Add `ShardedVector`
rocallahan
committed
Add `ShardedHashSet`
rocallahan
committed
Add `ConcurrentWorkQueue`
rocallahan
committed
Add `MonotonicFlag`
rocallahan
committed
Add `FfInitVals::set_parallel()` method
rocallahan
committed
Parallelize `collect_garbage()`
rocallahan
committed
Parallelize `Design::check()`
rocallahan
committed
Make `keep_cache_t` process all modules up-front instead of on-demand
rocallahan
committed
Introduce `RmStats` struct to encapsulate removal statistics
rocallahan
committed
Create a toplevel `ParallelDispatchThreadPool` and parallelize `keep_cache_t::scan_module()` with it
rocallahan
committed
Pass the toplevel thread pool to `rmunused_module`, create a `Subpool`, and parallelize `remove_temporary_cells`
rocallahan
committed
Pass the module `Subpool` to `rmunused_module_init` and parallelize that function
rocallahan
committed
Pass the module `Subpool` to `rmunused_module_cells` and parallelize that function
rocallahan
committed
Add test that connects a wire with `init` to a constant
rocallahan
committed
Pass the module `Subpool` to `rmunused_module_signals` and parallelize that function
rocallahan
committed
Add unit-tests for `ParallelDispatchThread` and friends
rocallahan
committed
Add unit tests for `ConcurrentQueue` and `ThreadPool`
rocallahan
committed
Add some tests for `ShardedHashSet`
rocallahan
committed
Add unit tests for `ConcurrentWorkQueue`
rocallahan
committed
Add 'init' attributes to RTLIL fuzzing
rocallahan
committed
opt_clean: refactor

widlarizer
authored and
rocallahan
committed
Clarify "Not passing module as function argument" comment
rocallahan
committed
Fix `OptCleanPass` usage of `CleanRunContext` to avoid constructing extra `KeepCache` and `ParallelDispatchThreadPool`
rocallahan
committed
Reduce opt_clean parallelism
rocallahan
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Parallelize `opt_clean` pass#5664

Parallelize `opt_clean` pass#5664
rocallahan wants to merge 29 commits intoYosysHQ:mainfrom
rocallahan:parallel-opt-clean

Commits on Mar 6, 2026

Add `IdString::unescape()` method

Make `log_error()` work in a `Multithreaded` context.

Work around `std::reverse` miscompilation with empty range

Add `work_pool_size`, `IntRange`, `item_range_for_worker`, and `ThreadIndex`

Add `ParallelDispatchThreadPool`

Add `ShardedVector`

Add `ShardedHashSet`

Add `ConcurrentWorkQueue`

Add `MonotonicFlag`

Add `FfInitVals::set_parallel()` method

Parallelize `collect_garbage()`

Parallelize `Design::check()`

Make `keep_cache_t` process all modules up-front instead of on-demand

Introduce `RmStats` struct to encapsulate removal statistics

Create a toplevel `ParallelDispatchThreadPool` and parallelize `keep_cache_t::scan_module()` with it

Pass the toplevel thread pool to `rmunused_module`, create a `Subpool`, and parallelize `remove_temporary_cells`

Pass the module `Subpool` to `rmunused_module_init` and parallelize that function

Pass the module `Subpool` to `rmunused_module_cells` and parallelize that function

Add test that connects a wire with `init` to a constant

Pass the module `Subpool` to `rmunused_module_signals` and parallelize that function

Add unit-tests for `ParallelDispatchThread` and friends

Add unit tests for `ConcurrentQueue` and `ThreadPool`

Add some tests for `ShardedHashSet`

Add unit tests for `ConcurrentWorkQueue`

Add 'init' attributes to RTLIL fuzzing

opt_clean: refactor

Clarify "Not passing module as function argument" comment

Fix `OptCleanPass` usage of `CleanRunContext` to avoid constructing extra `KeepCache` and `ParallelDispatchThreadPool`

Reduce opt_clean parallelism