Commit 2855c94f by Alan Mishchenko

Corner-case bug-fix in retiming (corrected fix).

parent 1a41d496
...@@ -487,6 +487,8 @@ void Wln_RetRetimeForward( Wln_Ret_t * p, Vec_Int_t * vSet ) ...@@ -487,6 +487,8 @@ void Wln_RetRetimeForward( Wln_Ret_t * p, Vec_Int_t * vSet )
Vec_IntForEachEntry( vSet, iObj, i ) Vec_IntForEachEntry( vSet, iObj, i )
{ {
iFlop = Wln_RetRemoveOneFanin( p, iObj ); iFlop = Wln_RetRemoveOneFanin( p, iObj );
if ( iFlop == -1 )
continue;
Wln_RetInsertOneFanout( p, iObj, iFlop ); Wln_RetInsertOneFanout( p, iObj, iFlop );
} }
} }
...@@ -496,6 +498,8 @@ void Wln_RetRetimeBackward( Wln_Ret_t * p, Vec_Int_t * vSet ) ...@@ -496,6 +498,8 @@ void Wln_RetRetimeBackward( Wln_Ret_t * p, Vec_Int_t * vSet )
Vec_IntForEachEntry( vSet, iObj, i ) Vec_IntForEachEntry( vSet, iObj, i )
{ {
iFlop = Wln_RetRemoveOneFanout( p, iObj ); iFlop = Wln_RetRemoveOneFanout( p, iObj );
if ( iFlop == -1 )
continue;
Wln_RetInsertOneFanin( p, iObj, iFlop ); Wln_RetInsertOneFanin( p, iObj, iFlop );
} }
} }
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment