diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-07-01 23:01:12 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-07-01 23:01:12 -0700 |
| commit | 7ff2bce0371ccbaf34eba20f63b84aa60448da37 (patch) | |
| tree | 9a7cb599230f8e26d3989ff9cd17dfd9c18080a0 /src/aig/gia/giaUtil.c | |
| parent | 25ebef0b2be1cf8f4ca7295332a06ac81dc39940 (diff) | |
| download | abc-7ff2bce0371ccbaf34eba20f63b84aa60448da37.tar.gz abc-7ff2bce0371ccbaf34eba20f63b84aa60448da37.tar.bz2 abc-7ff2bce0371ccbaf34eba20f63b84aa60448da37.zip | |
Compiler warning.
Diffstat (limited to 'src/aig/gia/giaUtil.c')
| -rw-r--r-- | src/aig/gia/giaUtil.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c index 2febad3b..e37022c3 100644 --- a/src/aig/gia/giaUtil.c +++ b/src/aig/gia/giaUtil.c @@ -352,7 +352,7 @@ void Gia_ObjSetPhase( Gia_Man_t * p, Gia_Obj_t * pObj ) if ( Gia_ObjIsMux(p, pObj) ) { int fPhase2 = Gia_ObjPhase(Gia_ObjFanin2(p, pObj)) ^ Gia_ObjFaninC2(p, pObj); - pObj->fPhase = (fPhase2 & fPhase1) | (!fPhase2 & fPhase0); + pObj->fPhase = (fPhase2 && fPhase1) || (!fPhase2 && fPhase0); } else if ( Gia_ObjIsXor(pObj) ) pObj->fPhase = fPhase0 ^ fPhase1; |