diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-30 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-04-30 08:01:00 -0700 |
| commit | de81a1a1fb5d2cfff636a237a0a7008dcf196bcd (patch) | |
| tree | 0ae940cc977896662e60a9050fe743ba5cd7b438 /src/aig/saig/saigRetMin.c | |
| parent | 2b98b81837011f26d130ad0f44d4bc7b298f9cd7 (diff) | |
| download | abc-de81a1a1fb5d2cfff636a237a0a7008dcf196bcd.tar.gz abc-de81a1a1fb5d2cfff636a237a0a7008dcf196bcd.tar.bz2 abc-de81a1a1fb5d2cfff636a237a0a7008dcf196bcd.zip | |
Version abc80430
Diffstat (limited to 'src/aig/saig/saigRetMin.c')
| -rw-r--r-- | src/aig/saig/saigRetMin.c | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/aig/saig/saigRetMin.c b/src/aig/saig/saigRetMin.c index c53d6d6b..324d8867 100644 --- a/src/aig/saig/saigRetMin.c +++ b/src/aig/saig/saigRetMin.c @@ -617,16 +617,16 @@ Aig_Man_t * Saig_ManRetimeMinAreaBackward( Aig_Man_t * pNew, int fVerbose ) SeeAlso [] ***********************************************************************/ -Aig_Man_t * Saig_ManRetimeMinArea( Aig_Man_t * p, int fForwardOnly, int fBackwardOnly, int fInitial, int fVerbose ) +Aig_Man_t * Saig_ManRetimeMinArea( Aig_Man_t * p, int nMaxIters, int fForwardOnly, int fBackwardOnly, int fInitial, int fVerbose ) { Vec_Ptr_t * vCut; Aig_Man_t * pNew, * pTemp, * pCopy; - int fChanges; + int i, fChanges; pNew = Aig_ManDup( p ); // perform several iterations of forward retiming fChanges = 0; if ( !fBackwardOnly ) - while ( 1 ) + for ( i = 0; i < nMaxIters; i++ ) { vCut = Nwk_ManDeriveRetimingCut( pNew, 1, fVerbose ); if ( Vec_PtrSize(vCut) >= Aig_ManRegNum(pNew) ) @@ -646,7 +646,7 @@ Aig_Man_t * Saig_ManRetimeMinArea( Aig_Man_t * p, int fForwardOnly, int fBackwar // perform several iterations of backward retiming fChanges = 0; if ( !fForwardOnly && !fInitial ) - while ( 1 ) + for ( i = 0; i < nMaxIters; i++ ) { vCut = Nwk_ManDeriveRetimingCut( pNew, 0, fVerbose ); if ( Vec_PtrSize(vCut) >= Aig_ManRegNum(pNew) ) @@ -664,7 +664,7 @@ Aig_Man_t * Saig_ManRetimeMinArea( Aig_Man_t * p, int fForwardOnly, int fBackwar fChanges = 1; } else if ( !fForwardOnly && fInitial ) - while ( 1 ) + for ( i = 0; i < nMaxIters; i++ ) { pCopy = Aig_ManDup( pNew ); pTemp = Saig_ManRetimeMinAreaBackward( pCopy, fVerbose ); |