diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2020-06-04 08:15:25 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-04 08:15:25 -0700 |
| commit | 69850204c4e6d86436237ea022b55e5070f54610 (patch) | |
| tree | 05f359789160c7aa6e06665697bc6a500ad66d8c /frontends | |
| parent | 5e8a9c61cd0ae2127fb1c33b8a4c9c798573cafc (diff) | |
| parent | 08d9703ecba375ba5588cbbb9dbf0f86757f6bb5 (diff) | |
| download | yosys-69850204c4e6d86436237ea022b55e5070f54610.tar.gz yosys-69850204c4e6d86436237ea022b55e5070f54610.tar.bz2 yosys-69850204c4e6d86436237ea022b55e5070f54610.zip | |
Merge pull request #2077 from YosysHQ/eddie/abc9_dff_improve
abc9: -dff improvements
Diffstat (limited to 'frontends')
| -rw-r--r-- | frontends/aiger/aigerparse.cc | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/frontends/aiger/aigerparse.cc b/frontends/aiger/aigerparse.cc index d25587e48..fef788267 100644 --- a/frontends/aiger/aigerparse.cc +++ b/frontends/aiger/aigerparse.cc @@ -775,7 +775,6 @@ void AigerReader::post_process() } } - dict<int, Wire*> mergeability_to_clock; for (uint32_t i = 0; i < flopNum; i++) { RTLIL::Wire *d = outputs[outputs.size() - flopNum + i]; log_assert(d); @@ -895,7 +894,9 @@ void AigerReader::post_process() } else if (type == "box") { RTLIL::Cell* cell = module->cell(stringf("$box%d", variable)); - if (cell) // ABC could have optimised this box away + if (!cell) + log_debug("Box %d (%s) no longer exists.\n", variable, log_id(escaped_s)); + else module->rename(cell, escaped_s); } else @@ -907,6 +908,8 @@ void AigerReader::post_process() auto name = wp.first; int min = wp.second.first; int max = wp.second.second; + if (min == 0 && max == 0) + continue; RTLIL::Wire *wire = module->wire(name); if (wire) |