diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-10-04 12:37:38 +0300 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-10-04 12:37:38 +0300 |
| commit | 396215532c19ea54d5ad89e509c258deb25671d5 (patch) | |
| tree | 2b78b4cc6d03233c4657d05725571e1bc5e39247 /src/misc/util | |
| parent | 343f77a39546c45e11ad22a3fd978fc17d73720a (diff) | |
| download | abc-396215532c19ea54d5ad89e509c258deb25671d5.tar.gz abc-396215532c19ea54d5ad89e509c258deb25671d5.tar.bz2 abc-396215532c19ea54d5ad89e509c258deb25671d5.zip | |
Updates and bug fixes.
Diffstat (limited to 'src/misc/util')
| -rw-r--r-- | src/misc/util/utilTruth.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/misc/util/utilTruth.h b/src/misc/util/utilTruth.h index bd749795..629e5f74 100644 --- a/src/misc/util/utilTruth.h +++ b/src/misc/util/utilTruth.h @@ -2743,6 +2743,7 @@ static inline word Abc_TtEvalLut6( word Ins[6], word Lut, int nVars ) Cube = ~(word)0; for ( i = 0; i < nVars; i++ ) Cube &= ((k >> i) & 1) ? Ins[i] : ~Ins[i]; + Res |= Cube; } return Res; } @@ -2756,6 +2757,7 @@ static inline unsigned Abc_TtEvalLut5( unsigned Ins[5], int Lut, int nVars ) Cube = ~(unsigned)0; for ( i = 0; i < nVars; i++ ) Cube &= ((k >> i) & 1) ? Ins[i] : ~Ins[i]; + Res |= Cube; } return Res; } @@ -2769,6 +2771,7 @@ static inline int Abc_TtEvalLut4( int Ins[4], int Lut, int nVars ) Cube = ~(int)0; for ( i = 0; i < nVars; i++ ) Cube &= ((k >> i) & 1) ? Ins[i] : ~Ins[i]; + Res |= Cube; } return Res & ~(~0 << (1<<nVars)); } |