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/map/if/ifMap.c | |
| parent | 1e0bbef1ef6a6ff7f0293e0926a8ff2b396e0a3e (diff) | |
| download | abc-287f9efcceb540fb09f5d81250699a9277967ec5.tar.gz abc-287f9efcceb540fb09f5d81250699a9277967ec5.tar.bz2 abc-287f9efcceb540fb09f5d81250699a9277967ec5.zip | |
Maintenance and updates.
Diffstat (limited to 'src/map/if/ifMap.c')
| -rw-r--r-- | src/map/if/ifMap.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/map/if/ifMap.c b/src/map/if/ifMap.c index 51865851..6c25921a 100644 --- a/src/map/if/ifMap.c +++ b/src/map/if/ifMap.c @@ -312,12 +312,14 @@ void If_ObjPerformMappingAnd( If_Man_t * p, If_Obj_t * pObj, int Mode, int fPrep } // run user functions pCut->fUseless = 0; - if ( p->pPars->pFuncCell ) + if ( p->pPars->pFuncCell || p->pPars->pFuncCell2 ) { assert( p->pPars->fUseTtPerm == 0 ); assert( pCut->nLimit >= 4 && pCut->nLimit <= 16 ); if ( p->pPars->fUseDsd ) pCut->fUseless = If_DsdManCheckDec( p->pIfDsdMan, If_CutDsdLit(p, pCut) ); + else if ( p->pPars->pFuncCell2 ) + pCut->fUseless = !p->pPars->pFuncCell2( p, (word *)If_CutTruth(p, pCut), pCut->nLeaves, NULL, NULL ); else pCut->fUseless = !p->pPars->pFuncCell( p, If_CutTruth(p, pCut), Abc_MaxInt(6, pCut->nLeaves), pCut->nLeaves, p->pPars->pLutStruct ); p->nCutsUselessAll += pCut->fUseless; |