Commit ec297394 by Alan Mishchenko

PO partitioning algorithm.

parent 1eb4059f
...@@ -505,7 +505,7 @@ Vec_Ptr_t * Gia_ManHashOutputs( Gia_Man_t * p, Vec_Wrd_t * vSigns, int fVerbose ...@@ -505,7 +505,7 @@ Vec_Ptr_t * Gia_ManHashOutputs( Gia_Man_t * p, Vec_Wrd_t * vSigns, int fVerbose
int Offset = Vec_IntEntry( vBin, 0 ); int Offset = Vec_IntEntry( vBin, 0 );
word Sign = Vec_WrdEntry( vSigns, Offset ); word Sign = Vec_WrdEntry( vSigns, Offset );
printf( "%3d ", i ); printf( "%3d ", i );
Extra_PrintBinary( stdout, &Offset, 64 ); Extra_PrintBinary( stdout, (unsigned *)&Sign, 64 );
printf( " " ); printf( " " );
} }
......
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