From: Clifford Wolf <clifford@clifford.at>
Date: Mon, 31 Aug 2015 00:05:58 +0000 (+0200)
Subject: Added "yosys-smt2-wire" tag support to smt2 back-end
X-Git-Tag: yosys-0.6~176
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=09b51cb37555d72ffbb0c4afe9a859c6492ffb4f;p=yosys.git

Added "yosys-smt2-wire" tag support to smt2 back-end
---

diff --git a/backends/smt2/smt2.cc b/backends/smt2/smt2.cc
index 1e00ac718..a544aa7d8 100644
--- a/backends/smt2/smt2.cc
+++ b/backends/smt2/smt2.cc
@@ -496,6 +496,8 @@ struct Smt2Worker
 					decls.push_back(stringf("; yosys-smt2-output %s %d\n", log_id(wire), wire->width));
 				if (is_register)
 					decls.push_back(stringf("; yosys-smt2-register %s %d\n", log_id(wire), wire->width));
+				if (wire->get_bool_attribute("\\keep"))
+					decls.push_back(stringf("; yosys-smt2-wire %s %d\n", log_id(wire), wire->width));
 				if (bvmode && GetSize(sig) > 1) {
 					decls.push_back(stringf("(define-fun |%s_n %s| ((state |%s_s|)) (_ BitVec %d) %s)\n",
 							log_id(module), log_id(wire), log_id(module), GetSize(sig), get_bv(sig).c_str()));