diff options
Diffstat (limited to 'src/map/scl/sclBuffer.c')
-rw-r--r-- | src/map/scl/sclBuffer.c | 15 |
1 files changed, 5 insertions, 10 deletions
diff --git a/src/map/scl/sclBuffer.c b/src/map/scl/sclBuffer.c index e9060f7b..f205a0fe 100644 --- a/src/map/scl/sclBuffer.c +++ b/src/map/scl/sclBuffer.c @@ -315,7 +315,7 @@ int Abc_SclCheckNtk( Abc_Ntk_t * p, int fVerbose ) SeeAlso [] ***********************************************************************/ -void Abc_NodeInvUpdateFanPolarity( Abc_Obj_t * pObj, int fVerbose ) +void Abc_NodeInvUpdateFanPolarity( Abc_Obj_t * pObj ) { Abc_Obj_t * pFanout; int i; @@ -323,22 +323,17 @@ void Abc_NodeInvUpdateFanPolarity( Abc_Obj_t * pObj, int fVerbose ) Abc_ObjForEachFanout( pObj, pFanout, i ) { if ( Abc_SclObjIsBufInv(pFanout) ) - Abc_NodeInvUpdateFanPolarity( pFanout, fVerbose ); + Abc_NodeInvUpdateFanPolarity( pFanout ); else - { Abc_ObjFaninFlipPhase( pFanout, Abc_NodeFindFanin(pFanout, pObj) ); -// if ( fVerbose ) -// printf( "Flipping fanin %d of node %d.\n", Abc_NodeFindFanin(pFanout, pObj), Abc_ObjId(pFanout) ); - } } } void Abc_NodeInvUpdateObjFanoutPolarity( Abc_Obj_t * pObj, Abc_Obj_t * pFanout ) { if ( Abc_SclObjIsBufInv(pFanout) ) - Abc_NodeInvUpdateFanPolarity( pFanout, 1 ); + Abc_NodeInvUpdateFanPolarity( pFanout ); else Abc_ObjFaninFlipPhase( pFanout, Abc_NodeFindFanin(pFanout, pObj) ); -// printf( "\n" ); } int Abc_NodeCompareLevels( Abc_Obj_t ** pp1, Abc_Obj_t ** pp2 ) { @@ -413,7 +408,7 @@ Abc_Obj_t * Abc_SclPerformBufferingOne( Abc_Obj_t * pObj, int Degree, int fUseIn Abc_ObjAddFanin( pBuffer, pObj ); pBuffer->Level = Abc_SclComputeReverseLevel( pBuffer ); if ( fUseInvs ) - Abc_NodeInvUpdateFanPolarity( pBuffer, 0 ); + Abc_NodeInvUpdateFanPolarity( pBuffer ); return pBuffer; } void Abc_SclPerformBuffering_rec( Abc_Obj_t * pObj, int DegreeR, int Degree, int fUseInvs, int fVerbose ) @@ -451,7 +446,7 @@ void Abc_SclPerformBuffering_rec( Abc_Obj_t * pObj, int DegreeR, int Degree, int Abc_ObjAddFanin( pBuffer, pObj ); pBuffer->Level = Abc_SclComputeReverseLevel( pBuffer ); if ( fUseInvs ) - Abc_NodeInvUpdateFanPolarity( pBuffer, 0 ); + Abc_NodeInvUpdateFanPolarity( pBuffer ); } // compute the new level of the node pObj->Level = Abc_SclComputeReverseLevel( pObj ); |