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

Merge branch 'master' of github.com:berkeley-abc/abc

This commit is contained in:
Alan Mishchenko 2021-11-27 17:13:03 -08:00
parent b10f6bd899 9b245d9f69
commit 96bdcd2bb2
1 changed files with 24 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
src/aig/gia/giaSweep.c
View File

@ -388,6 +388,14 @@ Vec_Int_t * Gia_ManComputeCarryOuts( Gia_Man_t * p )
Tim_Man_t * pManTime = (Tim_Man_t *)p->pManTime;
int i, iLast, iBox, nBoxes = Tim_ManBoxNum( pManTime );
Vec_Int_t * vCarryOuts = Vec_IntAlloc( nBoxes );
// Create and populate reference count (and free later) only if not already
// done.
int createRefs = (p->pRefs == NULL);
if (createRefs) {
Gia_ManCreateRefs( p );
}
for ( i = 0; i < nBoxes; i++ )
{
iLast = Tim_ManBoxInputLast( pManTime, i );
@ -398,9 +406,24 @@ Vec_Int_t * Gia_ManComputeCarryOuts( Gia_Man_t * p )
if ( iBox == -1 )
continue;
assert( Gia_ObjIsCi(pObj) );
if ( Gia_ObjCioId(pObj) == Tim_ManBoxOutputLast(pManTime, iBox) )
if ( Gia_ObjCioId(pObj) == Tim_ManBoxOutputLast(pManTime, iBox) ) {
Vec_IntPush( vCarryOuts, Gia_ObjId(p, pObj) );
// We have identified a carry connection. Check if the carry out
// of the destination box is unconnected. If so then add it to
// the carry list as well.
iLast = Tim_ManBoxOutputLast(pManTime, i);
pObj = Gia_ManCi(p, iLast);
if ( Gia_ObjRefNum(p, pObj) == 0 ) {
Vec_IntPush( vCarryOuts, Gia_ObjId(p, pObj) );
}
}
}
if (createRefs) {
ABC_FREE( p->pRefs );
}
return vCarryOuts;
}