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

diff --git a/kernel/rtlil.cc b/kernel/rtlil.cc
index ca8e9b6d884762f85e4f450c0d13d7e1894e452b..5194b5f7d765be3a22c4e28f3c0d34fd54be1027 100644 (file)
--- 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 c25f71855cf8b47f75e2ef46dde58d8d9394dc69..68eee46ea853467a4e120dede05c3bd3fb130a73 100644 (file)
--- 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 {