Bug fix in SOP balancing with structural choices.

This commit is contained in:
Alan Mishchenko 2012-04-12 20:19:47 -07:00
parent b1a57b2ae9
commit 85f6d2526e
1 changed files with 2 additions and 0 deletions

View File

@ -339,6 +339,8 @@ void If_ObjPerformMappingChoice( If_Man_t * p, If_Obj_t * pObj, int Mode, int fP
// set the phase attribute
assert( pCut->fCompl == 0 );
pCut->fCompl ^= (pObj->fPhase ^ pTemp->fPhase); // why ^= ?
if ( p->pPars->fDelayOpt && pCut->fCompl )
continue;
// compute area of the cut (this area may depend on the application specific cost)
pCut->Area = (Mode == 2)? If_CutAreaDerefed( p, pCut ) : If_CutAreaFlow( p, pCut );
if ( p->pPars->fEdge )