luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Support again decompositions into luts smaller than 6

This commit is contained in:
aletempiac 2024-04-02 11:25:03 +02:00
parent 1f72ffce79
commit 8f3447800c
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
src/map/if/acd/ac_decomposition.hpp
View File

@ -1369,10 +1369,15 @@ private:
std::swap( var_index1, var_index2 ); std::swap( var_index1, var_index2 );
} }
assert( num_vars > 6 );
const uint32_t num_blocks = 1 << ( num_vars - 6 ); const uint32_t num_blocks = 1 << ( num_vars - 6 );
if ( var_index2 <= 5 ) if ( num_vars <= 6 )
{
const auto& pmask = kitty::detail::ppermutation_masks[var_index1][var_index2];
const auto shift = ( 1 << var_index2 ) - ( 1 << var_index1 );
tt._bits[0] = ( tt._bits[0] & pmask[0] ) | ( ( tt._bits[0] & pmask[1] ) << shift ) | ( ( tt._bits[0] & pmask[2] ) >> shift );
}
else if ( var_index2 <= 5 )
{ {
const auto& pmask = kitty::detail::ppermutation_masks[var_index1][var_index2]; const auto& pmask = kitty::detail::ppermutation_masks[var_index1][var_index2];
const auto shift = ( 1 << var_index2 ) - ( 1 << var_index1 ); const auto shift = ( 1 << var_index2 ) - ( 1 << var_index1 );