Commit dd87461a by Alan Mishchenko

Experiments with LUT mapping for small functions.

parent 5f8d4e72
...@@ -536,7 +536,6 @@ static inline word Abc_TtSimple6Min_rec( Gia_Man_t * p, word uF, word uC, int nV ...@@ -536,7 +536,6 @@ static inline word Abc_TtSimple6Min_rec( Gia_Man_t * p, word uF, word uC, int nV
if ( 1 && vNodes ) if ( 1 && vNodes )
{ {
int iLit; int iLit;
int s = 0;
Vec_WrdForEachEntryDouble( vNodes, uRes2, iLit, i ) Vec_WrdForEachEntryDouble( vNodes, uRes2, iLit, i )
if ( !((uF ^ uRes2) & uC) ) if ( !((uF ^ uRes2) & uC) )
{ {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment