diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-09 11:50:24 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-07-09 11:50:24 -0700 |
commit | 10e0f3c58dbe344ea8f22e66e2658bda75b40d03 (patch) | |
tree | e5b63ce519910a6a40f8e21e0b7f7b5f13b38d0f /src/aig/gia/giaIf.c | |
parent | f4d72b2af23afccaf8f69d28adad5cecd9afc5da (diff) | |
download | abc-10e0f3c58dbe344ea8f22e66e2658bda75b40d03.tar.gz abc-10e0f3c58dbe344ea8f22e66e2658bda75b40d03.tar.bz2 abc-10e0f3c58dbe344ea8f22e66e2658bda75b40d03.zip |
Small changes to enable collecting results using &ps -D file.
Diffstat (limited to 'src/aig/gia/giaIf.c')
-rw-r--r-- | src/aig/gia/giaIf.c | 21 |
1 files changed, 14 insertions, 7 deletions
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index 3ba43803..7a66410b 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -499,7 +499,7 @@ void Gia_ManPrintMappingStats( Gia_Man_t * p, char * pDumpFile ) if ( nMuxF ) Gia_ManCountDupLut( p ); - return; + //return; if ( pDumpFile ) { static char FileNameOld[1000] = {0}; @@ -513,19 +513,24 @@ void Gia_ManPrintMappingStats( Gia_Man_t * p, char * pDumpFile ) // fprintf( pTable, "%d ", Gia_ManCiNum(p) ); // fprintf( pTable, "%d ", Gia_ManCoNum(p) ); // fprintf( pTable, "%d ", Gia_ManAndNum(p) ); - fprintf( pTable, "%d ", Gia_ManPiNum(p) - Gia_ManBoxCiNum(p) - Gia_ManRegBoxNum(p) ); - fprintf( pTable, "%d ", Gia_ManPoNum(p) - Gia_ManBoxCoNum(p) - Gia_ManRegBoxNum(p) ); - fprintf( pTable, "%d ", Gia_ManClockDomainNum(p) ); +// fprintf( pTable, "%d ", Gia_ManPiNum(p) - Gia_ManBoxCiNum(p) - Gia_ManRegBoxNum(p) ); +// fprintf( pTable, "%d ", Gia_ManPoNum(p) - Gia_ManBoxCoNum(p) - Gia_ManRegBoxNum(p) ); +// fprintf( pTable, "%d ", Gia_ManClockDomainNum(p) ); fprintf( pTable, " " ); - fprintf( pTable, "%d ", nLuts ); + fprintf( pTable, "%d ", p->MappedDelay ); + fprintf( pTable, "%d ", p->MappedArea ); + fprintf( pTable, "%d ", nFanins ); fprintf( pTable, "%d ", LevelMax ); - fprintf( pTable, "%d ", Gia_ManRegBoxNum(p) ); - fprintf( pTable, "%d ", Gia_ManNonRegBoxNum(p) ); + fprintf( pTable, "%d ", nLuts ); +// fprintf( pTable, "%d ", Gia_ManRegBoxNum(p) ); +// fprintf( pTable, "%d ", Gia_ManNonRegBoxNum(p) ); clk = Abc_Clock(); } else { + printf( "This part of the code is currently not used.\n" ); + assert( 0 ); fprintf( pTable, " " ); fprintf( pTable, "%d ", nLuts ); fprintf( pTable, "%d ", LevelMax ); @@ -2153,6 +2158,8 @@ Gia_Man_t * Gia_ManPerformMapping( Gia_Man_t * p, void * pp ) pNew = Gia_ManPerformMappingInt( p, (If_Par_t *)pp ); Gia_ManTransferTiming( pNew, p ); } + pNew->MappedDelay = (int)((If_Par_t *)pp)->FinalDelay; + pNew->MappedArea = (int)((If_Par_t *)pp)->FinalArea; return pNew; } |