diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-25 10:02:11 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-25 10:02:11 +0700 |
| commit | fde8c8b2d09d218d42d46976f9bfd426d72e075e (patch) | |
| tree | a0731f07d715234cd16e0acd83806bd38dc8d841 /src | |
| parent | 853222ee7bf8e1f79120666707ce754cd9169564 (diff) | |
| download | abc-fde8c8b2d09d218d42d46976f9bfd426d72e075e.tar.gz abc-fde8c8b2d09d218d42d46976f9bfd426d72e075e.tar.bz2 abc-fde8c8b2d09d218d42d46976f9bfd426d72e075e.zip | |
Added switch &trim -V <num> to remove const POs with specific value <num>.
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaDup.c | 4 |
1 files changed, 2 insertions, 2 deletions
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************************************************************* |