From 396215532c19ea54d5ad89e509c258deb25671d5 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 4 Oct 2017 12:37:38 +0300 Subject: Updates and bug fixes. --- src/misc/util/utilTruth.h | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/misc/util') 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<