diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-20 14:25:27 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-20 14:25:27 -0700 |
| commit | c31e593b09b85bdd4ace6aa9452ce55ec7959392 (patch) | |
| tree | 8548b02549a58ef2e5b8ce2373818dfce929b310 /src/aig/gia/giaTest.c | |
| parent | 9289d7151661a13f5a26f8e7b2e7412acca2e283 (diff) | |
| download | abc-c31e593b09b85bdd4ace6aa9452ce55ec7959392.tar.gz abc-c31e593b09b85bdd4ace6aa9452ce55ec7959392.tar.bz2 abc-c31e593b09b85bdd4ace6aa9452ce55ec7959392.zip | |
Windows Visual Studio 2008 warnings.
Diffstat (limited to 'src/aig/gia/giaTest.c')
| -rw-r--r-- | src/aig/gia/giaTest.c | 4 |
1 files changed, 2 insertions, 2 deletions
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; } |