Fix truth table resizing on support minimization (lsils#584)

changqingu · Dec 21, 2022 · 336d874 · 336d874
1 parent da2b5e6
commit 336d874
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/include/mockturtle/algorithms/lut_mapper.hpp b/include/mockturtle/algorithms/lut_mapper.hpp
@@ -1681,7 +1681,7 @@ class lut_map_impl
  }
  }
 
- inline bool fast_support_minimization( TT const& tt, cut_t& res )
+ inline bool fast_support_minimization( TT& tt, cut_t& res )
  {
  uint32_t support = 0u;
  uint32_t support_size = 0u;
@@ -1705,6 +1705,7 @@ class lut_map_impl
  {
  std::vector<uint32_t> leaves( res.begin(), res.begin() + support_size );
  res.set_leaves( leaves.begin(), leaves.end() );
+ tt = kitty::shrink_to( tt, support_size );
  }
 
  return true;