diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-23 18:44:51 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-23 18:44:51 -0700 |
| commit | 1023908e30a6ab5970bde6a374285d81c8faf250 (patch) | |
| tree | 6b2a86db9eeb414ac13eaa5830098bd8a9d4baaa /src/map/amap/amapPerm.c | |
| parent | 3a4ef2d7a7ecb1d7d7678327d08139a18529defa (diff) | |
| download | abc-1023908e30a6ab5970bde6a374285d81c8faf250.tar.gz abc-1023908e30a6ab5970bde6a374285d81c8faf250.tar.bz2 abc-1023908e30a6ab5970bde6a374285d81c8faf250.zip | |
Performance improvement to 'amap'.
Diffstat (limited to 'src/map/amap/amapPerm.c')
| -rw-r--r-- | src/map/amap/amapPerm.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/map/amap/amapPerm.c b/src/map/amap/amapPerm.c index 9a3cf4a8..8e020370 100644 --- a/src/map/amap/amapPerm.c +++ b/src/map/amap/amapPerm.c @@ -98,7 +98,7 @@ Vec_Int_t * Amap_LibDeriveGatePerm_rec( Amap_Lib_t * pLib, Kit_DsdNtk_t * pNtk, Kit_DsdObj_t * pDsdObj, * pDsdFanin; Amap_Nod_t * pNodFanin; int iDsdFanin, iNodFanin, Value, iDsdLit, i, k, j; - assert( !Abc_LitIsCompl(iLit) ); +// assert( !Abc_LitIsCompl(iLit) ); pDsdObj = Kit_DsdNtkObj( pNtk, Abc_Lit2Var(iLit) ); if ( pDsdObj == NULL ) { @@ -110,7 +110,7 @@ Vec_Int_t * Amap_LibDeriveGatePerm_rec( Amap_Lib_t * pLib, Kit_DsdNtk_t * pNtk, { vPerm = Vec_IntAlloc( 10 ); - iDsdFanin = Abc_LitRegular(pDsdObj->pFans[0]); + iDsdFanin = pDsdObj->pFans[0]; pNodFanin = Amap_LibNod( pLib, Abc_Lit2Var(pNod->iFan0) ); vPermFanin = Amap_LibDeriveGatePerm_rec( pLib, pNtk, iDsdFanin, pNodFanin ); if ( vPermFanin == NULL ) @@ -122,7 +122,7 @@ Vec_Int_t * Amap_LibDeriveGatePerm_rec( Amap_Lib_t * pLib, Kit_DsdNtk_t * pNtk, Vec_IntPush( vPerm, Value ); Vec_IntFree( vPermFanin ); - iDsdFanin = Abc_LitRegular(pDsdObj->pFans[1]); + iDsdFanin = pDsdObj->pFans[1]; pNodFanin = Amap_LibNod( pLib, Abc_Lit2Var(pNod->iFan1) ); vPermFanin = Amap_LibDeriveGatePerm_rec( pLib, pNtk, iDsdFanin, pNodFanin ); if ( vPermFanin == NULL ) @@ -134,7 +134,7 @@ Vec_Int_t * Amap_LibDeriveGatePerm_rec( Amap_Lib_t * pLib, Kit_DsdNtk_t * pNtk, Vec_IntPush( vPerm, Value ); Vec_IntFree( vPermFanin ); - iDsdFanin = Abc_LitRegular(pDsdObj->pFans[2]); + iDsdFanin = pDsdObj->pFans[2]; pNodFanin = Amap_LibNod( pLib, Abc_Lit2Var(pNod->iFan2) ); vPermFanin = Amap_LibDeriveGatePerm_rec( pLib, pNtk, iDsdFanin, pNodFanin ); if ( vPermFanin == NULL ) |