luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Bug fixes.

This commit is contained in:
Alan Mishchenko 2026-04-30 23:38:51 -07:00
parent 153d6b7f82
commit d07ce81c91
2 changed files with 4 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/opt/fret/fretMain.c
View File

@ -202,8 +202,9 @@ Abc_FlowRetime_MinReg( Abc_Ntk_t * pNtk, int fVerbose,
pNtk = Abc_FlowRetime_NtkSilentRestrash( pNtk, 1 );
}
i = Abc_NtkLevel(pNtk);
vprintf("\tfinal reg count = %d\n", Abc_NtkLatchNum(pNtk));
vprintf("\tfinal levels = %d\n", Abc_NtkLevel(pNtk));
vprintf("\tfinal levels = %d\n", i);
#if defined(DEBUG_CHECK)
Abc_NtkDoCheck( pNtk );
@ -1380,4 +1381,3 @@ void Abc_ObjPrintNeighborhood( Abc_Obj_t *pObj, int depth ) {
Vec_PtrFree(vNodes);
}
ABC_NAMESPACE_IMPL_END

5
src/opt/fret/fretTime.c
View File

@ -94,14 +94,13 @@ void Abc_FlowRetime_ConstrainConserv( Abc_Ntk_t * pNtk ) {
// clear all exact constraints
pManMR->nExactConstraints = 0;
while( Vec_PtrSize( pManMR->vExactNodes )) {
pObj = (Abc_Obj_t*)Vec_PtrPop( pManMR->vExactNodes );
Abc_NtkForEachObj( pNtk, pObj, i ) {
if ( Vec_PtrSize( FTIMEEDGES(pObj) )) {
pArray = Vec_PtrReleaseArray( FTIMEEDGES(pObj) );
ABC_FREE( pArray );
}
}
Vec_PtrClear( pManMR->vExactNodes );
#if !defined(IGNORE_TIMING)
if (pManMR->fIsForward) {