From da0e1a3006f21e19cf80a2f3a46c7b7da7bdc919 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 25 Oct 2012 23:06:32 -0700 Subject: Integrating GIA with LUT mapping. --- src/aig/gia/giaIf.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/aig/gia') diff --git a/src/aig/gia/giaIf.c b/src/aig/gia/giaIf.c index aec6ae01..deab1a60 100644 --- a/src/aig/gia/giaIf.c +++ b/src/aig/gia/giaIf.c @@ -321,7 +321,7 @@ If_Man_t * Gia_ManToIf( Gia_Man_t * p, If_Par_t * pPars ) int Gia_ManNodeIfSopToGiaInt( Gia_Man_t * pNew, Vec_Wrd_t * vAnds, int nVars, Vec_Int_t * vLeaves, int fHash ) { Vec_Int_t * vResults; - int iRes0, iRes1, iRes; + int iRes0, iRes1, iRes = -1; If_And_t This; word Entry; int i; @@ -561,7 +561,7 @@ Gia_Man_t * Gia_ManFromIf( If_Man_t * pIfMan ) If_CluSwapVars( (word*)pTruth, If_CutLeaveNum(pCutBest), NULL, NULL, k, If_CutLeaveNum(pCutBest)-1 ); else { - word Truth = (pTruth[0] << 32) | pTruth[0]; + word Truth = ((word)pTruth[0] << 32) | (word)pTruth[0]; If_CluSwapVars( &Truth, 6, NULL, NULL, k, If_CutLeaveNum(pCutBest)-1 ); pTruth[0] = (Truth & 0xFFFFFFFF); } -- cgit v1.2.3