From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 24 Jul 2014 02:46:36 +0000 (+0200)
Subject: Small changes regarding cover() and check() in SigSpec
X-Git-Tag: yosys-0.4~455
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=22ede43b3f5016784b2e22c0ea95b7f718d7598e;p=yosys.git

Small changes regarding cover() and check() in SigSpec
---

diff --git a/kernel/rtlil.cc b/kernel/rtlil.cc
index ca8e9b6d8..5194b5f7d 100644
--- a/kernel/rtlil.cc
+++ b/kernel/rtlil.cc
@@ -1594,10 +1594,7 @@ void RTLIL::SigSpec::replace(const RTLIL::SigSpec &pattern, const RTLIL::SigSpec
 
 void RTLIL::SigSpec::replace(const RTLIL::SigSpec &pattern, const RTLIL::SigSpec &with, RTLIL::SigSpec *other) const
 {
-	if (other)
-		cover("kernel.rtlil.sigspec.replace_other");
-	else
-		cover("kernel.rtlil.sigspec.replace");
+	cover("kernel.rtlil.sigspec.replace");
 
 	unpack();
 	pattern.unpack();
@@ -1797,8 +1794,7 @@ void RTLIL::SigSpec::append(const RTLIL::SigSpec &signal)
 		bits_.insert(bits_.end(), signal.bits_.begin(), signal.bits_.end());
 
 	width_ += signal.width_;
-
-	check();
+	// check();
 }
 
 void RTLIL::SigSpec::append_bit(const RTLIL::SigBit &bit)
@@ -1829,8 +1825,7 @@ void RTLIL::SigSpec::append_bit(const RTLIL::SigBit &bit)
 	}
 
 	width_++;
-
-	check();
+	// check();
 }
 
 void RTLIL::SigSpec::extend(int width, bool is_signed)
@@ -1881,9 +1876,9 @@ RTLIL::SigSpec RTLIL::SigSpec::repeat(int num) const
 	return sig;
 }
 
+#ifndef NDEBUG
 void RTLIL::SigSpec::check() const
 {
-#ifndef NDEBUG
 	if (packed())
 	{
 		cover("kernel.rtlil.sigspec.check.packed");
@@ -1916,8 +1911,8 @@ void RTLIL::SigSpec::check() const
 		assert(width_ == SIZE(bits_));
 		assert(chunks_.empty());
 	}
-#endif
 }
+#endif
 
 bool RTLIL::SigSpec::operator <(const RTLIL::SigSpec &other) const
 {
diff --git a/kernel/rtlil.h b/kernel/rtlil.h
index c25f71855..68eee46ea 100644
--- a/kernel/rtlil.h
+++ b/kernel/rtlil.h
@@ -599,7 +599,11 @@ public:
 	operator std::vector<RTLIL::SigChunk>() const { return chunks(); }
 	operator std::vector<RTLIL::SigBit>() const { return bits(); }
 
+#ifndef NDEBUG
 	void check() const;
+#else
+	inline void check() const { }
+#endif
 };
 
 inline RTLIL::SigBit &RTLIL::SigSpecIterator::operator*() const {