From fde8c8b2d09d218d42d46976f9bfd426d72e075e Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 25 Jan 2013 10:02:11 +0700 Subject: Added switch &trim -V to remove const POs with specific value . --- src/aig/gia/giaDup.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c index 0df414ab..ae7d7b62 100644 --- a/src/aig/gia/giaDup.c +++ b/src/aig/gia/giaDup.c @@ -1166,7 +1166,7 @@ Vec_Int_t * Gia_ManDupTrimmedNonZero( Gia_Man_t * p ) /**Function************************************************************* - Synopsis [Duplicates AIG in the DFS order while putting CIs first.] + Synopsis [Returns 1 if PO can be removed.] Description [] @@ -1181,7 +1181,7 @@ int Gia_ManPoIsToRemove( Gia_Man_t * p, Gia_Obj_t * pObj, int Value ) if ( Value == -1 ) return Gia_ObjIsConst0(Gia_ObjFanin0(pObj)); assert( Value == 0 || Value == 1 ); - return Value == Gia_ObjFaninC0(pObj); + return Gia_ObjIsConst0(Gia_ObjFanin0(pObj)) && Value == Gia_ObjFaninC0(pObj); } /**Function************************************************************* -- cgit v1.2.3