diff options
| -rw-r--r-- | src/aig/gia/giaCone.c | 2 | ||||
| -rw-r--r-- | src/aig/gia/giaTest.c | 4 | ||||
| -rw-r--r-- | src/bool/rsb/rsbDec6.c | 2 |
3 files changed, 4 insertions, 4 deletions
diff --git a/src/aig/gia/giaCone.c b/src/aig/gia/giaCone.c index d35aefb8..ba0a8a2e 100644 --- a/src/aig/gia/giaCone.c +++ b/src/aig/gia/giaCone.c @@ -445,7 +445,7 @@ Vec_Wrd_t * Gia_ManDeriveSigns( Gia_Man_t * p, Vec_Int_t * vPivots, int fVerbose if ( ~pObj->Value ) { assert( pObj->Value >= 0 && pObj->Value < 64 ); - *Vec_WrdEntryP( vSigns, i ) |= ( 1 << pObj->Value ); + *Vec_WrdEntryP( vSigns, i ) |= ( (word)1 << pObj->Value ); } if ( Gia_ObjIsAnd(pObj) ) *Vec_WrdEntryP( vSigns, i ) |= Vec_WrdEntry(vSigns, Gia_ObjFaninId0(pObj, i)) | Vec_WrdEntry(vSigns, Gia_ObjFaninId1(pObj, i)); diff --git a/src/aig/gia/giaTest.c b/src/aig/gia/giaTest.c index 15f3c69b..c41e5013 100644 --- a/src/aig/gia/giaTest.c +++ b/src/aig/gia/giaTest.c @@ -825,7 +825,7 @@ static inline word Mpm_CutGetSign( Mpm_Cut_t * pCut ) int i; word uSign = 0; for ( i = 0; i < (int)pCut->nLeaves; i++ ) - uSign |= (1 << (Abc_Lit2Var(pCut->pLeaves[i]) & 0x3F)); + uSign |= ((word)1 << (Abc_Lit2Var(pCut->pLeaves[i]) & 0x3F)); return uSign; } static inline int Mpm_CutGetArrTime( Mpm_Man_t * p, Mpm_Cut_t * pCut ) @@ -869,7 +869,7 @@ static inline void Mpm_CutSetupInfo( Mpm_Man_t * p, Mpm_Cut_t * pCut, int ArrTim pInfo->mEdge += pLeaf->mEdge / pLeaf->nEstRefs; pInfo->mAveRefs += MPM_UNIT_EDGE * pLeaf->nMapRefs; } - pInfo->uSign |= (1 << Abc_Lit2Var(pCut->pLeaves[i])); + pInfo->uSign |= ((word)1 << Abc_Lit2Var(pCut->pLeaves[i])); } pInfo->mAveRefs /= pCut->nLeaves; } diff --git a/src/bool/rsb/rsbDec6.c b/src/bool/rsb/rsbDec6.c index a0e066fc..df30eb1a 100644 --- a/src/bool/rsb/rsbDec6.c +++ b/src/bool/rsb/rsbDec6.c @@ -484,7 +484,7 @@ void Rsb_DecPrintFunc( Rsb_Man_t * p, unsigned Truth4, word * f, word ** ppGs, i printf( "Offset : " ); Abc_TtPrintBinary( &Copy, nVars ); //printf( "\n" ); - Copy >>= (1 << nVars); + Copy >>= ((word)1 << nVars); printf( "Onset : " ); Abc_TtPrintBinary( &Copy, nVars ); //printf( "\n" ); printf( "Result : " ); |