diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-08-09 22:13:13 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-08-09 22:13:13 -0700 |
| commit | 6e2ee1d30accf7e7da6277b25594b384e8364308 (patch) | |
| tree | 368a7fcb74c98edf659d56b52fe4f68b2ca56914 /src/map/scl/sclSize.c | |
| parent | 4af5587cbfc0db8028f7405c4a8119571e7f2739 (diff) | |
| download | abc-6e2ee1d30accf7e7da6277b25594b384e8364308.tar.gz abc-6e2ee1d30accf7e7da6277b25594b384e8364308.tar.bz2 abc-6e2ee1d30accf7e7da6277b25594b384e8364308.zip | |
Integrated buffering and sizing.
Diffstat (limited to 'src/map/scl/sclSize.c')
| -rw-r--r-- | src/map/scl/sclSize.c | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/src/map/scl/sclSize.c b/src/map/scl/sclSize.c index 122c8b56..8b321328 100644 --- a/src/map/scl/sclSize.c +++ b/src/map/scl/sclSize.c @@ -446,12 +446,12 @@ void Abc_SclTimeIncCheckLevel( Abc_Ntk_t * pNtk ) if ( (int)pObj->Level != Abc_ObjLevelNew(pObj) ) printf( "Level of node %d is out of date!\n", i ); } -void Abc_SclTimeIncUpdate( SC_Man * p ) +int Abc_SclTimeIncUpdate( SC_Man * p ) { Abc_Obj_t * pObj; - int i; + int i, RetValue; if ( Vec_IntSize(p->vChanged) == 0 ) - return; + return 0; // Abc_SclTimeIncCheckLevel( p->pNtk ); Abc_NtkForEachObjVec( p->vChanged, p->pNtk, pObj, i ) { @@ -464,7 +464,9 @@ void Abc_SclTimeIncUpdate( SC_Man * p ) Abc_SclTimeIncUpdateArrival( p ); Abc_SclTimeIncUpdateDeparture( p ); Abc_SclTimeIncUpdateClean( p ); + RetValue = p->nIncUpdates; p->nIncUpdates = 0; + return RetValue; } void Abc_SclTimeIncInsert( SC_Man * p, Abc_Obj_t * pObj ) { |