From 36bd30d9ebcf6cf39dee0f7344011eda426549a0 Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Tue, 6 May 2025 18:58:07 -0700 Subject: [PATCH] Add recover_names into build and longloop_select --- Makefile | 1 + passes/silimate/longloop_select.cc | 4 ++-- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/Makefile b/Makefile index 25dea3725..6e302cd3c 100644 --- a/Makefile +++ b/Makefile @@ -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 diff --git a/passes/silimate/longloop_select.cc b/passes/silimate/longloop_select.cc index 8e7ff372f..f0af6e6a7 100644 --- a/passes/silimate/longloop_select.cc +++ b/passes/silimate/longloop_select.cc @@ -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);