From a06234e87a32b9a33c1b95abb95aa4601f2b7920 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 14 Jul 2013 23:21:46 -0700
Subject: New technology mapper.

---
 src/map/mpm/mpmCore.c | 6 ++++--
 src/map/mpm/mpmMan.c  | 4 ++--
 src/map/mpm/mpmMap.c  | 4 ++++
 3 files changed, 10 insertions(+), 4 deletions(-)

(limited to 'src/map')

diff --git a/src/map/mpm/mpmCore.c b/src/map/mpm/mpmCore.c
index ff36cfb9..99badbe2 100644
--- a/src/map/mpm/mpmCore.c
+++ b/src/map/mpm/mpmCore.c
@@ -76,10 +76,12 @@ Gia_Man_t * Mpm_ManPerformTest( Mig_Man_t * pMig, Mpm_Par_t * pPars )
     Gia_Man_t * pNew;
     Mpm_Man_t * p;
     p = Mpm_ManStart( pMig, pPars );
-    Mpm_ManPrintStatsInit( p );
+    if ( p->pPars->fVerbose ) 
+        Mpm_ManPrintStatsInit( p );
     Mpm_ManPrepare( p );
     Mpm_ManPerform( p );
-    Mpm_ManPrintStats( p );
+    if ( p->pPars->fVerbose ) 
+        Mpm_ManPrintStats( p );
     pNew = (Gia_Man_t *)Mpm_ManFromIfLogic( p );
     Mpm_ManStop( p );
     return pNew;
diff --git a/src/map/mpm/mpmMan.c b/src/map/mpm/mpmMan.c
index 224d837c..7e74e98e 100644
--- a/src/map/mpm/mpmMan.c
+++ b/src/map/mpm/mpmMan.c
@@ -113,7 +113,7 @@ Mpm_Man_t * Mpm_ManStart( Mig_Man_t * pMig, Mpm_Par_t * pPars )
 ***********************************************************************/
 void Mpm_ManStop( Mpm_Man_t * p )
 {
-    if ( p->pPars->fUseTruth )
+    if ( p->pPars->fUseTruth && p->pPars->fVeryVerbose )
     {
         char * pFileName = "truths.txt";
         FILE * pFile = fopen( pFileName, "wb" );
@@ -123,7 +123,7 @@ void Mpm_ManStop( Mpm_Man_t * p )
             Vec_MemEntryNum(p->vTtMem), p->nLutSize, pFileName,
             (16.0 * p->nTruWords + 1.0) * Vec_MemEntryNum(p->vTtMem) / (1 << 20) );
     }
-    if ( p->pPars->fUseDsd )
+    if ( p->pPars->fUseDsd && p->pPars->fVerbose )
         Mpm_ManPrintDsdStats( p );
     if ( p->vTtMem ) 
     {
diff --git a/src/map/mpm/mpmMap.c b/src/map/mpm/mpmMap.c
index 077cfaeb..3aae666e 100644
--- a/src/map/mpm/mpmMap.c
+++ b/src/map/mpm/mpmMap.c
@@ -808,11 +808,15 @@ void Mpm_ManPerformRound( Mpm_Man_t * p )
         Mpm_ManDeriveCuts( p, pObj );
     assert( Mig_ManCandNum(p->pMig) == p->pManCuts->nEntries );
     Mpm_ManFinalizeRound( p );
+    // report results
+    if ( p->pPars->fVerbose )
+    {
     printf( "Del =%5d.  Ar =%8d.  Edge =%8d.  Cut =%10d. Max =%8d.  Tru =%8d. Small =%6d. ", 
         p->GloRequired, p->GloArea, p->GloEdge, 
         p->nCutsMerged, p->pManCuts->nEntriesMax, 
         p->vTtMem ? p->vTtMem->nEntries : 0, p->nSmallSupp );
     Abc_PrintTime( 1, "Time", Abc_Clock() - clk );
+    }
 }
 void Mpm_ManPerform( Mpm_Man_t * p )
 {
-- 
cgit v1.2.3