From 1a3c75bb049356d1ae09a71f9212fef5bda5b552 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 31 Aug 2015 20:48:25 -0700 Subject: Experimenting with area recovery. --- src/aig/gia/giaNf.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/aig/gia/giaNf.c b/src/aig/gia/giaNf.c index 9eacce49..8bf0b8bf 100644 --- a/src/aig/gia/giaNf.c +++ b/src/aig/gia/giaNf.c @@ -1760,7 +1760,7 @@ word Nf_MatchRefArea( Nf_Man_t * p, int i, int c, Nf_Mat_t * pM, word Required ) void Nf_ManElaBestMatchOne( Nf_Man_t * p, int iObj, int c, int * pCut, int * pCutSet, Nf_Mat_t * pRes, word Required ) { Nf_Mat_t Mb,*pMb = &Mb, * pMd, * pMa; - Nf_Obj_t * pBest = Nf_ManObj(p, iObj); + //Nf_Obj_t * pBest = Nf_ManObj(p, iObj); int * pFans = Nf_CutLeaves(pCut); int nFans = Nf_CutSize(pCut); int iFuncLit = Nf_CutFunc(pCut); @@ -1844,7 +1844,7 @@ void Nf_ManElaBestMatch( Nf_Man_t * p, int iObj, int c, Nf_Mat_t * pRes, word Re // area is never compared void Nf_ManComputeMappingEla( Nf_Man_t * p ) { - int fVerbose = 1; + //int fVerbose = 1; Mio_Cell2_t * pCell; Nf_Mat_t Mb, * pMb = &Mb, * pM; word AreaBef, AreaAft, Required, WordMapArea, Gain = 0; -- cgit v1.2.3