diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-18 16:55:04 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-18 16:55:04 -0700 |
| commit | 9e723d40dd92e40122606ab340d4f2bea92e8a5f (patch) | |
| tree | 9bccbc85c38d785cc3e5407763ab364790c0c791 /src/map/mpm/mpmMan.c | |
| parent | 7630f2bd866a36b3a92217cf141c81d53299e8a5 (diff) | |
| download | abc-9e723d40dd92e40122606ab340d4f2bea92e8a5f.tar.gz abc-9e723d40dd92e40122606ab340d4f2bea92e8a5f.tar.bz2 abc-9e723d40dd92e40122606ab340d4f2bea92e8a5f.zip | |
New technology mapper.
Diffstat (limited to 'src/map/mpm/mpmMan.c')
| -rw-r--r-- | src/map/mpm/mpmMan.c | 34 |
1 files changed, 17 insertions, 17 deletions
diff --git a/src/map/mpm/mpmMan.c b/src/map/mpm/mpmMan.c index 573c0bcd..dd6342cd 100644 --- a/src/map/mpm/mpmMan.c +++ b/src/map/mpm/mpmMan.c @@ -180,23 +180,23 @@ void Mpm_ManPrintStats( Mpm_Man_t * p ) 1.0 * Mig_ManObjNum(p->pMig) * sizeof(Mig_Obj_t) / (1 << 20) + 1.0 * Mig_ManObjNum(p->pMig) * 48 / (1 << 20) + 1.0 * Mmr_StepMemory(p->pManCuts) / (1 << 17) ); - -#ifdef MIG_RUNTIME - printf( "\n" ); - p->timeTotal = Abc_Clock() - p->timeTotal; - p->timeOther = p->timeTotal - p->timeDerive; - - Abc_Print( 1, "Runtime breakdown:\n" ); - ABC_PRTP( "Complete cut computation ", p->timeDerive , p->timeTotal ); - ABC_PRTP( "- Merging cuts ", p->timeMerge , p->timeTotal ); - ABC_PRTP( "- Evaluting cut parameters ", p->timeEval , p->timeTotal ); - ABC_PRTP( "- Checking cut containment ", p->timeCompare, p->timeTotal ); - ABC_PRTP( "- Adding cuts to storage ", p->timeStore , p->timeTotal ); - ABC_PRTP( "Other ", p->timeOther , p->timeTotal ); - ABC_PRTP( "TOTAL ", p->timeTotal , p->timeTotal ); -#else - Abc_PrintTime( 1, "Time", Abc_Clock() - p->timeTotal ); -#endif + if ( p->timeDerive ) + { + printf( "\n" ); + p->timeTotal = Abc_Clock() - p->timeTotal; + p->timeOther = p->timeTotal - p->timeDerive; + + Abc_Print( 1, "Runtime breakdown:\n" ); + ABC_PRTP( "Complete cut computation ", p->timeDerive , p->timeTotal ); + ABC_PRTP( "- Merging cuts ", p->timeMerge , p->timeTotal ); + ABC_PRTP( "- Evaluting cut parameters ", p->timeEval , p->timeTotal ); + ABC_PRTP( "- Checking cut containment ", p->timeCompare, p->timeTotal ); + ABC_PRTP( "- Adding cuts to storage ", p->timeStore , p->timeTotal ); + ABC_PRTP( "Other ", p->timeOther , p->timeTotal ); + ABC_PRTP( "TOTAL ", p->timeTotal , p->timeTotal ); + } + else + Abc_PrintTime( 1, "Time", Abc_Clock() - p->timeTotal ); } //////////////////////////////////////////////////////////////////////// |