diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-09 09:23:08 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-09 09:23:08 -0700 |
commit | 4ed89d00fed5a93a53bbd5ce168c7fd0b3295f54 (patch) | |
tree | e60a62749972a1b404e6e15bbfc4558c0cf6b23f /src/base | |
parent | 7b9f4a278df2d6bced4dd32d00f1b57f33117119 (diff) | |
download | abc-4ed89d00fed5a93a53bbd5ce168c7fd0b3295f54.tar.gz abc-4ed89d00fed5a93a53bbd5ce168c7fd0b3295f54.tar.bz2 abc-4ed89d00fed5a93a53bbd5ce168c7fd0b3295f54.zip |
Making explicit cast to 64-bit unsigned in a few places.
Diffstat (limited to 'src/base')
-rw-r--r-- | src/base/abc/abcSop.c | 4 | ||||
-rw-r--r-- | src/base/io/ioWriteBlif.c | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/base/abc/abcSop.c b/src/base/abc/abcSop.c index f8421b93..169f7ead 100644 --- a/src/base/abc/abcSop.c +++ b/src/base/abc/abcSop.c @@ -1229,7 +1229,7 @@ void Abc_SopToTruth7( char * pSop, int nInputs, word r[2] ) assert( nVars == nInputs ); r[0] = r[1] = 0; do { - Cube[0] = Cube[1] = ~0; + Cube[0] = Cube[1] = ~(word)0; for ( v = 0; v < nVars; v++, lit++ ) { if ( pSop[lit] == '1' ) @@ -1282,7 +1282,7 @@ void Abc_SopToTruthBig( char * pSop, int nInputs, word ** pVars, word * pCube, w pRes[i] = 0; do { for ( i = 0; i < nWords; i++ ) - pCube[i] = ~0; + pCube[i] = ~(word)0; for ( v = 0; v < nVars; v++, lit++ ) { if ( pSop[lit] == '1' ) diff --git a/src/base/io/ioWriteBlif.c b/src/base/io/ioWriteBlif.c index 0a33c9a2..e13037db 100644 --- a/src/base/io/ioWriteBlif.c +++ b/src/base/io/ioWriteBlif.c @@ -940,7 +940,7 @@ void Io_NtkWriteNodeIntStruct( FILE * pFile, Abc_Obj_t * pNode, Vec_Int_t * vCov pTruths[i][k] = Truth6[i]; for ( i = 6; i < nVarsMax; i++ ) for ( k = 0; k < nWordsMax; k++ ) - pTruths[i][k] = ((k >> (i-6)) & 1) ? ~0 : 0; + pTruths[i][k] = ((k >> (i-6)) & 1) ? ~(word)0 : 0; } // collect variables |