diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-08-12 18:26:37 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-08-12 18:26:37 -0700 |
| commit | 0deb8bf632e1700451ce4d69c99f9820e2fe0339 (patch) | |
| tree | ceecf1180e82ef7a1eee436074a7e6870a1a385e | |
| parent | e8ac47641fa410edc5de016478066d104f0beb9c (diff) | |
| download | abc-0deb8bf632e1700451ce4d69c99f9820e2fe0339.tar.gz abc-0deb8bf632e1700451ce4d69c99f9820e2fe0339.tar.bz2 abc-0deb8bf632e1700451ce4d69c99f9820e2fe0339.zip | |
Suggested changes to collect and pass timing information (compiler issues).
| -rw-r--r-- | abclib.dsp | 2 | ||||
| -rw-r--r-- | src/base/abci/abcTiming.c | 12 |
2 files changed, 6 insertions, 8 deletions
@@ -5103,7 +5103,7 @@ SOURCE=.\src\aig\gia\giaResub2.c # End Source File # Begin Source File -SOURCE=.\src\aig\gia\giaResub3.c +SOURCE=.\src\aig\gia\giaResub3_new5.c # End Source File # Begin Source File diff --git a/src/base/abci/abcTiming.c b/src/base/abci/abcTiming.c index 65feb2e8..9aaf8b9f 100644 --- a/src/base/abci/abcTiming.c +++ b/src/base/abci/abcTiming.c @@ -209,10 +209,10 @@ void Abc_NtkTimeSetDefaultRequired( Abc_Ntk_t * pNtk, float Rise, float Fall ) ***********************************************************************/ void Abc_NtkTimeSetArrival( Abc_Ntk_t * pNtk, int ObjId, float Rise, float Fall ) { - static int debug; - debug++; Vec_Ptr_t * vTimes; Abc_Time_t * pTime; + static int debug; + debug++; if ( pNtk->pManTime == NULL ) pNtk->pManTime = Abc_ManTimeStart(pNtk); Abc_ManTimeExpand( pNtk->pManTime, ObjId + 1, 1 ); @@ -227,9 +227,10 @@ void Abc_NtkTimeSetArrival( Abc_Ntk_t * pNtk, int ObjId, float Rise, float Fall } void Abc_NtkTimeSetRequired( Abc_Ntk_t * pNtk, int ObjId, float Rise, float Fall ) { - Vec_Ptr_t * vTimes; Abc_Time_t * pTime; + static int debug; + debug++; if ( pNtk->pManTime == NULL ) pNtk->pManTime = Abc_ManTimeStart(pNtk); Abc_ManTimeExpand( pNtk->pManTime, ObjId + 1, 1 ); @@ -238,8 +239,6 @@ void Abc_NtkTimeSetRequired( Abc_Ntk_t * pNtk, int ObjId, float Rise, float Fall pTime = (Abc_Time_t *)vTimes->pArray[ObjId]; pTime->Rise = Rise; pTime->Fall = Fall; - static int debug; - debug++; // printf("Debug:%d Setting required time on object %d to R %f and F %f\n",debug, // ObjId, Rise, Fall); } @@ -488,6 +487,7 @@ Abc_ManTime_t * Abc_ManTimeStart( Abc_Ntk_t * pNtk ) { int fUseZeroDefaultOutputRequired = 1; Abc_ManTime_t * p; + Abc_Time_t* pTime; Abc_Obj_t * pObj; int i; p = pNtk->pManTime = ABC_ALLOC( Abc_ManTime_t, 1 ); memset( p, 0, sizeof(Abc_ManTime_t) ); @@ -501,8 +501,6 @@ Abc_ManTime_t * Abc_ManTimeStart( Abc_Ntk_t * pNtk ) // p->tReqDef.Rise = fUseZeroDefaultOutputRequired ? 0 : ABC_INFINITY; // p->tReqDef.Fall = fUseZeroDefaultOutputRequired ? 0 : ABC_INFINITY; - - Abc_Time_t* pTime; // extend manager Abc_ManTimeExpand( p, Abc_NtkObjNumMax(pNtk) + 1, 0 ); // set the default timing for CIs |