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

Improving ACD performance with bail-out conditions

This commit is contained in:
aletempiac 2024-03-25 14:23:43 +01:00
parent 6aacf524aa
commit 1f72ffce79
1 changed files with 14 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -232,7 +232,7 @@ private:
best_cost = multiplicity + additional_cost;
best_free_set = i;
if ( !ps.use_first )
if ( !ps.use_first && multiplicity > 2 )
{
continue;
}
@ -270,7 +270,7 @@ private:
best_cost = multiplicity + additional_cost;
best_free_set = i;
if ( !ps.use_first )
if ( !ps.use_first && multiplicity > 2 )
{
continue;
}
@ -478,6 +478,13 @@ private:
pComb[i] = pInvPerm[i] = i;
}
/* early bail-out conditions */
uint32_t bail_multiplicity = 2;
if ( best_multiplicity < UINT32_MAX )
{
bail_multiplicity = ( best_multiplicity >> 1 ) + ( best_multiplicity & 1 );
}
/* enumerate combinations */
do
{
@ -490,6 +497,11 @@ private:
{
bestPerm[i] = pComb[i];
}
if ( best_cost <= bail_multiplicity )
{
break;
}
}
} while ( combinations_offset_next( free_set_size, offset, pComb, pInvPerm, tt ) );