diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-04-24 21:06:53 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-04-24 21:06:53 -0700 |
| commit | eec314e2621d3d055d7810f4b7e573a99e0239b2 (patch) | |
| tree | ac78d9965b62f42d1e83696efdf16ba03b1eedb2 /backends | |
| parent | f96d82a5f1982ea86cf02182b33abe91c015b10d (diff) | |
| download | yosys-eec314e2621d3d055d7810f4b7e573a99e0239b2.tar.gz yosys-eec314e2621d3d055d7810f4b7e573a99e0239b2.tar.bz2 yosys-eec314e2621d3d055d7810f4b7e573a99e0239b2.zip | |
Remove topo sort no-loop assertion, with test
Diffstat (limited to 'backends')
| -rw-r--r-- | backends/aiger/xaiger.cc | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc index 504a66086..f9d874e2d 100644 --- a/backends/aiger/xaiger.cc +++ b/backends/aiger/xaiger.cc @@ -294,20 +294,7 @@ struct XAigerWriter for (auto user_cell : it.second) toposort.edge(driver_cell, user_cell); -#ifndef NDEBUG - toposort.analyze_loops = true; -#endif toposort.sort(); -#ifndef NDEBUG - for (auto &it : toposort.loops) { - log(" loop"); - for (auto cell : it) - log(" %s", log_id(cell)); - log("\n"); - } -#endif - log_assert(!toposort.found_loops); - for (auto cell_name : toposort.sorted) { RTLIL::Cell *cell = module->cell(cell_name); RTLIL::Module* box_module = module->design->module(cell->type); |