From 91d8241a9aad913ebf6e8e51c619db95bf572261 Mon Sep 17 00:00:00 2001 From: AdvaySingh1 Date: Fri, 13 Feb 2026 16:34:38 -0800 Subject: [PATCH] Revert "Added hashing for already seen paths. ODO: add profiling to see if this is effective" This reverts commit 56502440b3e7f448de014617e64f7c37e47a59cd. --- kernel/satgen.h | 15 +++++---------- 1 file changed, 5 insertions(+), 10 deletions(-) diff --git a/kernel/satgen.h b/kernel/satgen.h index bf8ef4fe1..7815847b3 100644 --- a/kernel/satgen.h +++ b/kernel/satgen.h @@ -101,16 +101,11 @@ struct SatGen else vec.push_back(bit == (undef_mode ? RTLIL::State::Sx : RTLIL::State::S1) ? ez->CONST_TRUE : ez->CONST_FALSE); } else { - // Check cache first to avoid creating duplicate literals - if (imported_signals[pf].count(bit)) { - vec.push_back(imported_signals[pf].at(bit)); - } else { - std::string wire_name = RTLIL::unescape_id(bit.wire->name); - std::string name = pf + - (bit.wire->width == 1 ? wire_name : stringf("%s [%d]", wire_name, bit.offset)); - vec.push_back(ez->frozen_literal(name)); - imported_signals[pf][bit] = vec.back(); - } + std::string wire_name = RTLIL::unescape_id(bit.wire->name); + std::string name = pf + + (bit.wire->width == 1 ? wire_name : stringf("%s [%d]", wire_name, bit.offset)); + vec.push_back(ez->frozen_literal(name)); + imported_signals[pf][bit] = vec.back(); } return vec; }