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

Bug fix

This commit is contained in:
aletempiac 2024-03-22 15:39:52 +01:00
parent 783a5404a2
commit 8a314db8dc
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/map/if/acd/acd66.hpp
View File

@ -1024,7 +1024,7 @@ private:
if ( support_vars2 > support_vars1 )
{
f = isets0[0] | isets1[1];
std::swap( fs_fun[3], fs_fun[4] );
std::swap( fs_fun[2], fs_fun[3] );
bs_support_size = support_vars1;
}

4
src/map/if/acd/acd666.hpp
View File

@ -646,7 +646,7 @@ private:
{
f._bits[i] = isets0[0]._bits[i] | isets1[1]._bits[i];
}
std::swap( fs_fun[3], fs_fun[4] );
std::swap( fs_fun[2], fs_fun[3] );
rm_support_size = support_vars1;
}
@ -705,7 +705,7 @@ private:
if ( support_vars2 > support_vars1 )
{
f = isets0[0] | isets1[1];
std::swap( fs_fun[3], fs_fun[4] );
std::swap( fs_fun[2], fs_fun[3] );
support_sizes[0] = support_vars1;
}