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

Correctly handling transfer of additional AIG info when AIG has no internal nodes.

This commit is contained in:
Alan Mishchenko 2020-07-13 11:23:11 -07:00
parent 2ba092e4cc
commit ba063a1b55
2 changed files with 20 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
src/aig/gia/giaFx.c
View File

@ -460,7 +460,11 @@ Gia_Man_t * Gia_ManPerformFx( Gia_Man_t * p, int nNewNodesMax, int LitCountMax,
Vec_Wec_t * vCubes; Vec_Wec_t * vCubes;
Vec_Str_t * vCompl; Vec_Str_t * vCompl;
if ( Gia_ManAndNum(p) == 0 ) if ( Gia_ManAndNum(p) == 0 )
return Gia_ManDup(p); {
pNew = Gia_ManDup(p);
Gia_ManTransferTiming( pNew, p );
return pNew;
}
// abctime clk; // abctime clk;
assert( Gia_ManHasMapping(p) ); assert( Gia_ManHasMapping(p) );
// collect information // collect information

18
src/aig/gia/giaScript.c
View File

@ -88,7 +88,11 @@ Gia_Man_t * Gia_ManAigSyn2( Gia_Man_t * pInit, int fOldAlgo, int fCoarsen, int f
p = Gia_ManDup( pInit ); p = Gia_ManDup( pInit );
Gia_ManTransferTiming( p, pInit ); Gia_ManTransferTiming( p, pInit );
if ( Gia_ManAndNum(p) == 0 ) if ( Gia_ManAndNum(p) == 0 )
return p; {
pNew = Gia_ManDup(p);
Gia_ManTransferTiming( pNew, p );
return pNew;
}
// delay optimization // delay optimization
if ( fDelayMin && p->pManTime == NULL ) if ( fDelayMin && p->pManTime == NULL )
{ {
@ -157,7 +161,11 @@ Gia_Man_t * Gia_ManAigSyn3( Gia_Man_t * p, int fVerbose, int fVeryVerbose )
pPars->nRelaxRatio = 40; pPars->nRelaxRatio = 40;
if ( fVerbose ) Gia_ManPrintStats( p, NULL ); if ( fVerbose ) Gia_ManPrintStats( p, NULL );
if ( Gia_ManAndNum(p) == 0 ) if ( Gia_ManAndNum(p) == 0 )
return Gia_ManDup(p); {
pNew = Gia_ManDup(p);
Gia_ManTransferTiming( pNew, p );
return pNew;
}
// perform balancing // perform balancing
pNew = Gia_ManAreaBalance( p, 0, ABC_INFINITY, fVeryVerbose, 0 ); pNew = Gia_ManAreaBalance( p, 0, ABC_INFINITY, fVeryVerbose, 0 );
if ( fVerbose ) Gia_ManPrintStats( pNew, NULL ); if ( fVerbose ) Gia_ManPrintStats( pNew, NULL );
@ -189,7 +197,11 @@ Gia_Man_t * Gia_ManAigSyn4( Gia_Man_t * p, int fVerbose, int fVeryVerbose )
pPars->nRelaxRatio = 40; pPars->nRelaxRatio = 40;
if ( fVerbose ) Gia_ManPrintStats( p, NULL ); if ( fVerbose ) Gia_ManPrintStats( p, NULL );
if ( Gia_ManAndNum(p) == 0 ) if ( Gia_ManAndNum(p) == 0 )
return Gia_ManDup(p); {
pNew = Gia_ManDup(p);
Gia_ManTransferTiming( pNew, p );
return pNew;
}
//Gia_ManAigPrintPiLevels( p ); //Gia_ManAigPrintPiLevels( p );
// perform balancing // perform balancing
pNew = Gia_ManAreaBalance( p, 0, ABC_INFINITY, fVeryVerbose, 0 ); pNew = Gia_ManAreaBalance( p, 0, ABC_INFINITY, fVeryVerbose, 0 );