diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-20 19:27:46 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-20 19:27:46 -0700 |
| commit | 287f9efcceb540fb09f5d81250699a9277967ec5 (patch) | |
| tree | 4a25d1867783a12fcbc1db2769f27f9337dd7f55 /src/aig/gia | |
| parent | 1e0bbef1ef6a6ff7f0293e0926a8ff2b396e0a3e (diff) | |
| download | abc-287f9efcceb540fb09f5d81250699a9277967ec5.tar.gz abc-287f9efcceb540fb09f5d81250699a9277967ec5.tar.bz2 abc-287f9efcceb540fb09f5d81250699a9277967ec5.zip | |
Maintenance and updates.
Diffstat (limited to 'src/aig/gia')
| -rw-r--r-- | src/aig/gia/giaIf.c | 4 | ||||
| -rw-r--r-- | src/aig/gia/giaIiff.c | 3 |
2 files changed, 6 insertions, 1 deletions
diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index f2d63060..16b9d6b7 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -2275,6 +2275,8 @@ Gia_Man_t * Gia_ManPerformMappingInt( Gia_Man_t * p, If_Par_t * pPars ) else Abc_Print( 0, "Switching activity computation for designs with boxes is disabled.\n" ); } + if ( pPars->pReoMan ) + pIfMan->pUserMan = pPars->pReoMan; if ( p->pManTime ) pIfMan->pManTim = Tim_ManDup( (Tim_Man_t *)p->pManTime, pPars->fDelayOpt || pPars->fDelayOptLut || pPars->fDsdBalance || pPars->fUserRecLib || pPars->fUserSesLib ); // Tim_ManPrint( pIfMan->pManTim ); @@ -2302,6 +2304,8 @@ Gia_Man_t * Gia_ManPerformMappingInt( Gia_Man_t * p, If_Par_t * pPars ) If_ManForEachCo( pIfMan, pIfObj, i ) Vec_IntPush( p->vCoArrs, (int)If_ObjArrTime(If_ObjFanin0(pIfObj)) ); } + if ( pPars->pFuncWrite ) + pPars->pFuncWrite( pIfMan ); If_ManStop( pIfMan ); // transfer name assert( pNew->pName == NULL ); diff --git a/src/aig/gia/giaIiff.c b/src/aig/gia/giaIiff.c index d19e93e3..6be38b94 100644 --- a/src/aig/gia/giaIiff.c +++ b/src/aig/gia/giaIiff.c @@ -42,8 +42,9 @@ ABC_NAMESPACE_IMPL_START SeeAlso [] ***********************************************************************/ -void Gia_ManIiffTest( Gia_Man_t * pGia, int nLutSize, int nNumCuts, int fUseGates, int fUseCells, int fVerbose ) +Gia_Man_t * Gia_ManIiffTest( char * pFileName, Gia_Man_t * pGia, int nLutSize, int nNumCuts, int fUseGates, int fUseCells, int fVerbose ) { + return NULL; } //////////////////////////////////////////////////////////////////////// |