From ab6a87a4db2b2d9b188c09d9142b96503261e9ce Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 9 Jan 2017 11:35:13 +0700
Subject: Delay-oriented performance improvement in &dch (make it conditional).

---
 src/aig/gia/giaAig.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/aig/gia/giaAig.c b/src/aig/gia/giaAig.c
index cbfe86a4..dfd4a467 100644
--- a/src/aig/gia/giaAig.c
+++ b/src/aig/gia/giaAig.c
@@ -577,11 +577,12 @@ Gia_Man_t * Gia_ManCompress2( Gia_Man_t * p, int fUpdateLevel, int fVerbose )
 ***********************************************************************/
 Gia_Man_t * Gia_ManPerformDch( Gia_Man_t * p, void * pPars )
 {
+    int fUseMapping = 0;
     Gia_Man_t * pGia, * pGia1;
     Aig_Man_t * pNew;
     if ( p->pManTime && p->vLevels == NULL )
         Gia_ManLevelWithBoxes( p );
-    if ( Gia_ManHasMapping(p) )
+    if ( fUseMapping && Gia_ManHasMapping(p) )
         pGia1 = (Gia_Man_t *)Dsm_ManDeriveGia( p, 0 );
     else
         pGia1 = Gia_ManDup( p );
-- 
cgit v1.2.3