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/map/if/ifDec16.c | |
| 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/map/if/ifDec16.c')
| -rw-r--r-- | src/map/if/ifDec16.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/map/if/ifDec16.c b/src/map/if/ifDec16.c index 1abf5fca..7c9a41f2 100644 --- a/src/map/if/ifDec16.c +++ b/src/map/if/ifDec16.c @@ -331,7 +331,7 @@ static inline void If_CluFill( word * pIn, int nVars ) { int w, nWords = If_CluWordNum( nVars ); for ( w = 0; w < nWords; w++ ) - pIn[w] = ~0; + pIn[w] = ~(word)0; } static inline void If_CluCopy( word * pOut, word * pIn, int nVars ) { @@ -610,7 +610,7 @@ void If_CluInitTruthTables() TruthAll[i][k] = Truth6[i]; for ( i = 6; i < CLU_VAR_MAX; i++ ) for ( k = 0; k < CLU_WRD_MAX; k++ ) - TruthAll[i][k] = ((k >> (i-6)) & 1) ? ~0 : 0; + TruthAll[i][k] = ((k >> (i-6)) & 1) ? ~(word)0 : 0; // Extra_PrintHex( stdout, TruthAll[6], 8 ); printf( "\n" ); // Extra_PrintHex( stdout, TruthAll[7], 8 ); printf( "\n" ); @@ -1081,11 +1081,11 @@ int If_CluDetectSpecialCaseCofs( word * pF, int nVars, int iVar ) if ( Cof0 == 0 ) State[0]++; - else if ( Cof0 == ~0 ) + else if ( Cof0 == ~(word)0 ) State[1]++; else if ( Cof1 == 0 ) State[2]++; - else if ( Cof1 == ~0 ) + else if ( Cof1 == ~(word)0 ) State[3]++; else if ( Cof0 == ~Cof1 ) State[4]++; |