diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-16 19:16:52 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-16 19:16:52 -0700 |
| commit | ec153508e1b7bb4e0b492ee63a9ae22810f73615 (patch) | |
| tree | 3d857c557f6a9d054ad6ca85b95438eef991585c /src/opt | |
| parent | fce4605f58128aa59e38647ed25121608e67c636 (diff) | |
| download | abc-ec153508e1b7bb4e0b492ee63a9ae22810f73615.tar.gz abc-ec153508e1b7bb4e0b492ee63a9ae22810f73615.tar.bz2 abc-ec153508e1b7bb4e0b492ee63a9ae22810f73615.zip | |
Enabling switch -a in 'mfs2'.
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/sfm/sfmCore.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/opt/sfm/sfmCore.c b/src/opt/sfm/sfmCore.c index ba690b18..95a7f90b 100644 --- a/src/opt/sfm/sfmCore.c +++ b/src/opt/sfm/sfmCore.c @@ -221,6 +221,8 @@ int Sfm_NodeResub( Sfm_Ntk_t * p, int iNode ) if ( Sfm_NodeResubSolve( p, iNode, i, 0 ) ) return 1; } + if ( p->pPars->fArea ) + return 0; // try removing redundant edges Sfm_ObjForEachFanin( p, iNode, iFanin, i ) if ( !(Sfm_ObjIsNode(p, iFanin) && Sfm_ObjFanoutNum(p, iFanin) == 1) ) |