luke
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Add recover_names into build and longloop_select

This commit is contained in:
Akash Levy 2025-05-06 18:58:07 -07:00
parent 291609dc0e
commit 36bd30d9eb
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Makefile
View File

@ -743,6 +743,7 @@ include $(YOSYS_SRC)/passes/equiv/Makefile.inc
include $(YOSYS_SRC)/passes/cmds/Makefile.inc
include $(YOSYS_SRC)/passes/silimate/Makefile.inc
OBJS += passes/sat/recover_names.o
OBJS += passes/sat/sim.o
OBJS += passes/techmap/extract.o
OBJS += passes/techmap/extract_reduce.o

4
passes/silimate/longloop_select.cc
View File

@ -234,13 +234,13 @@ struct LongLoopSelect : public ScriptPass {
}
}
if (!abc_script.empty()) {
std::string command = "abc -map_src " + src_info + " -script " + abc_script;
std::string command = "recover_names abc -map_src " + src_info + " -script " + abc_script;
log(" Executing: %s\n", command.c_str());
log_flush();
Pass::call(design, command);
} else if (!abc_options.empty()) {
abc_options.erase(std::remove(abc_options.begin(), abc_options.end(), '"'), abc_options.end());
std::string command = "abc -map_src " + src_info + " " + abc_options;
std::string command = "recover_names abc -map_src " + src_info + " " + abc_options;
log(" Executing: %s\n", command.c_str());
log_flush();
Pass::call(design, command);