From 12dda470817d227739dffb8ae4460f458e5e4f97 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 28 Oct 2012 18:22:17 -0700 Subject: Improvements to LMS code. --- src/base/abci/abcRec3.c | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'src') diff --git a/src/base/abci/abcRec3.c b/src/base/abci/abcRec3.c index 4e72b7ae..33c51e5e 100644 --- a/src/base/abci/abcRec3.c +++ b/src/base/abci/abcRec3.c @@ -506,7 +506,7 @@ void Abc_NtkRecLibMerge3( Gia_Man_t * pLib ) unsigned uCanonPhase; unsigned * pTruth; int i, k, Index, iFanin0, iFanin1, nLeaves; - Gia_Obj_t * pDriver, * pTemp, * pObjPo; + Gia_Obj_t * pObjPo, * pDriver, * pTemp = NULL; clock_t clk, clk2 = clock(); assert( Gia_ManCiNum(pLib) == Gia_ManCiNum(pGia) ); @@ -619,7 +619,7 @@ int Abc_NtkRecAddCut3( If_Man_t * pIfMan, If_Obj_t * pRoot, If_Cut_t * pCut ) Vec_Ptr_t * vNodes = p->vNodes; Gia_Man_t * pGia = p->pGia; Gia_Obj_t * pDriver; - If_Obj_t * pIfObj; + If_Obj_t * pIfObj = NULL; unsigned * pTruth; clock_t clk; p->nTried++; @@ -649,7 +649,7 @@ p->timeCanon += clock() - clk; clk = clock(); // map cut leaves into elementary variables of GIA for ( i = 0; i < nLeaves; i++ ) - If_ManObj( pIfMan, pCut->pLeaves[pCanonPerm[i]] )->iCopy = Abc_Var2Lit( Gia_ObjId(pGia, Gia_ManPi(pGia, i)), (uCanonPhase >> i) & 1 ); + If_ManObj( pIfMan, pCut->pLeaves[(int)pCanonPerm[i]] )->iCopy = Abc_Var2Lit( Gia_ObjId(pGia, Gia_ManPi(pGia, i)), (uCanonPhase >> i) & 1 ); // build internal nodes fHole = 0; assert( Vec_PtrSize(vNodes) > 0 ); @@ -891,8 +891,8 @@ Hop_Obj_t * Abc_RecToHop3( Hop_Man_t * pMan, If_Man_t * pIfMan, If_Cut_t * pCut, unsigned uCanonPhase; Hop_Obj_t * pFan0, * pFan1, * pHopObj; Gia_Man_t * pGia = p->pGia; - Gia_Obj_t * pGiaPo, * pGiaTemp; - int i, BestPo, nLeaves = If_CutLeaveNum(pCut); + Gia_Obj_t * pGiaPo, * pGiaTemp = NULL; + int i, BestPo = -1, nLeaves = If_CutLeaveNum(pCut); assert( pIfMan->pPars->fCutMin == 1 ); assert( nLeaves > 1 ); -- cgit v1.2.3