diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-05 09:58:43 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-05 09:58:43 -0700 |
| commit | 424b86a55673f53ec102687c04d2762b88ad5a47 (patch) | |
| tree | abcdeb29c2921c1e7341a78bb35691eb76475f75 /src/map/if/ifMap.c | |
| parent | 6ab0d68d5653b5411c298116c9502a23a50cdbf0 (diff) | |
| download | abc-424b86a55673f53ec102687c04d2762b88ad5a47.tar.gz abc-424b86a55673f53ec102687c04d2762b88ad5a47.tar.bz2 abc-424b86a55673f53ec102687c04d2762b88ad5a47.zip | |
Performance bug fix in SOP balancing.
Diffstat (limited to 'src/map/if/ifMap.c')
| -rw-r--r-- | src/map/if/ifMap.c | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/src/map/if/ifMap.c b/src/map/if/ifMap.c index cd13ed34..c5e40dec 100644 --- a/src/map/if/ifMap.c +++ b/src/map/if/ifMap.c @@ -392,10 +392,7 @@ void If_ObjPerformMappingChoice( If_Man_t * p, If_Obj_t * pObj, int Mode, int fP if ( Mode && pCut->Delay > pObj->Required + p->fEpsilon ) continue; // set the phase attribute - assert( pCut->fCompl == 0 ); - pCut->fCompl ^= (pObj->fPhase ^ pTemp->fPhase); // why ^= ? - if ( p->pPars->fDelayOpt && pCut->fCompl ) - continue; + pCut->fCompl = pObj->fPhase ^ pTemp->fPhase; // 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 ) |