diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-27 19:57:49 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-06-27 19:57:49 -0700 |
| commit | 66ef4a9ac187f5407cb9bec056853f3b11d0dfc1 (patch) | |
| tree | a004a55223f2177df9626cdf94c06134c98938dd /src/map/mapper | |
| parent | 9eb3a3b3493034b8e20a9cbf36578290ee4b40e6 (diff) | |
| download | abc-66ef4a9ac187f5407cb9bec056853f3b11d0dfc1.tar.gz abc-66ef4a9ac187f5407cb9bec056853f3b11d0dfc1.tar.bz2 abc-66ef4a9ac187f5407cb9bec056853f3b11d0dfc1.zip | |
Potential performance bug in the mapper.
Diffstat (limited to 'src/map/mapper')
| -rw-r--r-- | src/map/mapper/mapperMatch.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/mapper/mapperMatch.c b/src/map/mapper/mapperMatch.c index 6e1287b2..2b31d73a 100644 --- a/src/map/mapper/mapperMatch.c +++ b/src/map/mapper/mapperMatch.c @@ -288,7 +288,7 @@ int Map_MatchNodePhase( Map_Man_t * p, Map_Node_t * pNode, int fPhase ) for ( pCut = pNode->pCuts->pNext; pCut; pCut = pCut->pNext ) { // limit gate sizes based on fanout count - if ( p->fSkipFanout && (pNode->nRefs > 3 && pCut->nLeaves > 2) || (pNode->nRefs > 1 && pCut->nLeaves > 3) ) + if ( p->fSkipFanout && ((pNode->nRefs > 3 && pCut->nLeaves > 2) || (pNode->nRefs > 1 && pCut->nLeaves > 3)) ) continue; pMatch = pCut->M + fPhase; if ( pMatch->pSupers == NULL ) |