summaryrefslogtreecommitdiffstats
path: root/src/map/if/ifCore.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2014-04-11 09:17:34 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2014-04-11 09:17:34 -0700
commitb50894ab6469081cfc4684d19c02be74c248d2ca (patch)
tree627600ab9b82fc61f23a0ac96bac94a81e9b093e /src/map/if/ifCore.c
parentb9274a07deec99f6b9e23d3bf481b2e5213c5e8f (diff)
downloadabc-b50894ab6469081cfc4684d19c02be74c248d2ca.tar.gz
abc-b50894ab6469081cfc4684d19c02be74c248d2ca.tar.bz2
abc-b50894ab6469081cfc4684d19c02be74c248d2ca.zip
Removed obsolete code for sequential mapping.
Diffstat (limited to 'src/map/if/ifCore.c')
-rw-r--r--src/map/if/ifCore.c9
1 files changed, 0 insertions, 9 deletions
diff --git a/src/map/if/ifCore.c b/src/map/if/ifCore.c
index be5b49ac..1f2d2ae3 100644
--- a/src/map/if/ifCore.c
+++ b/src/map/if/ifCore.c
@@ -47,21 +47,12 @@ extern abctime s_MappingTime;
int If_ManPerformMapping( If_Man_t * p )
{
p->pPars->fAreaOnly = p->pPars->fArea; // temporary
-
// create the CI cutsets
If_ManSetupCiCutSets( p );
// allocate memory for other cutsets
If_ManSetupSetAll( p, If_ManCrossCut(p) );
// derive reverse top order
p->vObjsRev = If_ManReverseOrder( p );
-
- // try sequential mapping
- if ( p->pPars->fSeqMap )
- {
-// if ( p->pPars->fVerbose )
- Abc_Print( 1, "Performing sequential mapping without retiming.\n" );
- return If_ManPerformMappingSeq( p );
- }
return If_ManPerformMappingComb( p );
}