mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-03-01 19:26:55 +00:00
Code Activity

opt_clean: resolve TODOs

Browse source
This commit is contained in:
Emil J. Tywoniak 2026-02-26 01:41:22 +01:00
parent c17bbeb291
commit 818aad7542
2 changed files with 5 additions and 10 deletions
Download patch file Download diff file Expand all files Collapse all files

4
passes/opt/opt_clean/cells_all.cc
View file

@ -112,7 +112,6 @@ struct WireDriversCollisionHandler {
};
using Wire2Drivers = ShardedHashtable<WireDriver, WireDriversKeyEquality, WireDriversCollisionHandler>;
// TODO difference from DeferredLogs ?
struct ConflictLogs {
ShardedVector<std::pair<SigBit, std::string>> logs;
ConflictLogs(ParallelDispatchThreadPool::Subpool &subpool) : logs(subpool) {}
@ -177,9 +176,6 @@ struct CellAnalysis {
}
};
// TODO name
ConflictLogs explore(CellAnalysis& analysis, CellTraversal& traversal, const SigMap& wire_map, AnalysisContext& actx, CleanRunContext &clean_ctx) {
ConflictLogs logs(actx.subpool);
Wire2Drivers::Builder wire2driver_builder(actx.subpool);

11
passes/opt/opt_clean/wires.cc
View file

@ -322,14 +322,13 @@ struct DeferredUpdates {
DeferredUpdates(ParallelDispatchThreadPool::Subpool &subpool) : update_connections(subpool), initialized_wires(subpool) {}
};
struct UsedSignals {
// here, "used" means "driven or driving something"
// meanwhile, "unused" means "driving nothing"
// TODO ...
// used signals sigmapped
// here, "connected" means "driven or driving something"
// meanwhile, "used" means "driving something"
// sigmapped
ShardedSigPool connected;
// used signals pre-sigmapped
// pre-sigmapped
ShardedSigPool raw_connected;
// used signals sigmapped, ignoring drivers (we keep track of this to set `unused_bits`)
// sigmapped
ShardedSigPool used;
void clear(ParallelDispatchThreadPool::Subpool &subpool) {