From 13e053fb114c21a03a818c8dac7da2cf7dd38ddd Mon Sep 17 00:00:00 2001 From: Akash Levy Date: Mon, 12 May 2025 14:49:37 -0700 Subject: [PATCH] Fixups --- kernel/yosys.cc | 1 - kernel/yosys_common.h | 1 - passes/techmap/abc.cc | 2 +- 3 files changed, 1 insertion(+), 3 deletions(-) diff --git a/kernel/yosys.cc b/kernel/yosys.cc index 6bfa423ac..1dff87309 100644 --- a/kernel/yosys.cc +++ b/kernel/yosys.cc @@ -83,7 +83,6 @@ YOSYS_NAMESPACE_BEGIN int autoidx = 1; int yosys_xtrace = 0; -std::set seen_ids; bool yosys_write_versions = true; const char* yosys_maybe_version() { if (yosys_write_versions) diff --git a/kernel/yosys_common.h b/kernel/yosys_common.h index f423ebbe1..094af13c4 100644 --- a/kernel/yosys_common.h +++ b/kernel/yosys_common.h @@ -257,7 +257,6 @@ inline int GetSize(RTLIL::Wire *wire); extern int autoidx; extern int yosys_xtrace; -extern std::set seen_ids; extern bool yosys_write_versions; RTLIL::IdString new_id(std::string file, int line, std::string func); diff --git a/passes/techmap/abc.cc b/passes/techmap/abc.cc index 918183248..048cf7860 100644 --- a/passes/techmap/abc.cc +++ b/passes/techmap/abc.cc @@ -407,7 +407,7 @@ std::string remap_name(RTLIL::IdString abc_name, RTLIL::Wire **orig_wire = nullp } } } - return abc_name.str(); // SILIMATE: Improve the naming + return stringf("\\%s_ix%d", abc_sname.c_str(), map_autoidx); // SILIMATE: Improve the naming } void dump_loop_graph(FILE *f, int &nr, dict> &edges, pool &workpool, std::vector &in_counts)