diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-09 11:35:13 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-01-09 11:35:13 +0700 |
| commit | ab6a87a4db2b2d9b188c09d9142b96503261e9ce (patch) | |
| tree | ec64360136c2f227310cfec4f4d89c3cbcbcc4e0 | |
| parent | 902377a45d9fe9ab7939f31d848b48f40a612480 (diff) | |
| download | abc-ab6a87a4db2b2d9b188c09d9142b96503261e9ce.tar.gz abc-ab6a87a4db2b2d9b188c09d9142b96503261e9ce.tar.bz2 abc-ab6a87a4db2b2d9b188c09d9142b96503261e9ce.zip | |
Delay-oriented performance improvement in &dch (make it conditional).
| -rw-r--r-- | src/aig/gia/giaAig.c | 3 |
1 files changed, 2 insertions, 1 deletions
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 ); |