From 5f97f5cffa90f2e289e572ffb233cec70d63a64d Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 28 Sep 2013 20:19:53 -0700 Subject: New logic sharing extraction. --- src/aig/gia/giaHash.c | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src/aig/gia/giaHash.c') diff --git a/src/aig/gia/giaHash.c b/src/aig/gia/giaHash.c index eb89a9cd..f7253c51 100644 --- a/src/aig/gia/giaHash.c +++ b/src/aig/gia/giaHash.c @@ -527,6 +527,10 @@ int Gia_ManHashMuxReal( Gia_Man_t * p, int iLitC, int iLit1, int iLit0 ) assert( iLit0 > 1 && iLit1 > 1 && iLitC > 1 ); if ( iLit0 == iLit1 ) return iLit0; + if ( iLitC == iLit0 || iLitC == Abc_LitNot(iLit1) ) + return Gia_ManHashAnd(p, iLit0, iLit1); + if ( iLitC == iLit1 || iLitC == Abc_LitNot(iLit0) ) + return Gia_ManHashOr(p, iLit0, iLit1); if ( Abc_Lit2Var(iLit0) == Abc_Lit2Var(iLit1) ) return Gia_ManHashXorReal( p, iLitC, iLit0 ); if ( iLit0 > iLit1 ) -- cgit v1.2.3