3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2026-08-08 23:21:20 +00:00

extract: leave signorm mode

This commit is contained in:
Emil J. Tywoniak 2026-07-21 19:20:58 +02:00
parent 14e6c2ee3a
commit 32d013f807

View file

@ -565,6 +565,8 @@ struct ExtractPass : public Pass {
}
extra_args(args, argidx, design);
design->sigNormalize(false);
if (!nodefaultswaps) {
solver.addSwappablePorts("$and", "\\A", "\\B");
solver.addSwappablePorts("$or", "\\A", "\\B");
@ -618,6 +620,7 @@ struct ExtractPass : public Pass {
if (filename.size() <= 3 || filename.compare(filename.size()-3, std::string::npos, ".il") != 0) {
Pass::call(map, "proc");
Pass::call(map, "opt_clean");
map->sigNormalize(false);
}
}
}