diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-12 13:57:51 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-11-12 13:57:51 -0800 |
| commit | 566c7d715273dc7527440d96989ca5ecc4648b97 (patch) | |
| tree | 81620ae005ab655a32e29a90ea43689e81511e8d /src/aig/gia/giaDup.c | |
| parent | e779b8c8894b1b0d90a84293a3a8d1b76d03cdee (diff) | |
| download | abc-566c7d715273dc7527440d96989ca5ecc4648b97.tar.gz abc-566c7d715273dc7527440d96989ca5ecc4648b97.tar.bz2 abc-566c7d715273dc7527440d96989ca5ecc4648b97.zip | |
Extending GIA to represent pintypes and pins.
Diffstat (limited to 'src/aig/gia/giaDup.c')
| -rw-r--r-- | src/aig/gia/giaDup.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c index da0551fc..378193b2 100644 --- a/src/aig/gia/giaDup.c +++ b/src/aig/gia/giaDup.c @@ -540,7 +540,9 @@ Gia_Man_t * Gia_ManDupMarked( Gia_Man_t * p ) if ( pObj->fMark0 ) continue; pObj->fMark0 = 0; - if ( Gia_ObjIsAnd(pObj) ) + if ( p->nPinTypes && Gia_ObjIsPinType(pObj) ) + pObj->Value = Gia_ManAppendPinType( pNew, Gia_ObjFanin0Copy(pObj) ); + else if ( Gia_ObjIsAnd(pObj) ) pObj->Value = Gia_ManAppendAnd( pNew, Gia_ObjFanin0Copy(pObj), Gia_ObjFanin1Copy(pObj) ); else if ( Gia_ObjIsCi(pObj) ) { |