diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-25 23:06:32 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-25 23:06:32 -0700 |
| commit | da0e1a3006f21e19cf80a2f3a46c7b7da7bdc919 (patch) | |
| tree | 410628072ad5a349be493f979100349ce60e4098 /src/aig/gia | |
| parent | b733b813d687825e78bc4f9e4dd562ec639a25fc (diff) | |
| download | abc-da0e1a3006f21e19cf80a2f3a46c7b7da7bdc919.tar.gz abc-da0e1a3006f21e19cf80a2f3a46c7b7da7bdc919.tar.bz2 abc-da0e1a3006f21e19cf80a2f3a46c7b7da7bdc919.zip | |
Integrating GIA with LUT mapping.
Diffstat (limited to 'src/aig/gia')
| -rw-r--r-- | src/aig/gia/giaIf.c | 4 |
1 files changed, 2 insertions, 2 deletions
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); } |