diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-20 10:55:58 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-07-20 10:55:58 +0700 |
| commit | bc63966e4a874b824e08c23f5fbb7b78d38de386 (patch) | |
| tree | ff41412bcf2ac018ae07886cf9eb9b18782f08e3 /src/base/abci/abcSpeedup.c | |
| parent | c511bccb6777ecce8abbbcd386c4313e6b7fa8ae (diff) | |
| download | abc-bc63966e4a874b824e08c23f5fbb7b78d38de386.tar.gz abc-bc63966e4a874b824e08c23f5fbb7b78d38de386.tar.bz2 abc-bc63966e4a874b824e08c23f5fbb7b78d38de386.zip | |
Corner case bug fix in 'speedup'.
Diffstat (limited to 'src/base/abci/abcSpeedup.c')
| -rw-r--r-- | src/base/abci/abcSpeedup.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcSpeedup.c b/src/base/abci/abcSpeedup.c index 779fde62..35a901ad 100644 --- a/src/base/abci/abcSpeedup.c +++ b/src/base/abci/abcSpeedup.c @@ -444,7 +444,7 @@ void Abc_NtkSpeedupNode( Abc_Ntk_t * pNtk, Abc_Ntk_t * pAig, Abc_Obj_t * pNode, // create choice node pAnd = Abc_ObjRegular(pNode->pCopy); // repr pObj = Abc_ObjRegular(ppCofs[0]); // new - if ( pAnd->pData == NULL && pObj->pData == NULL && !Abc_AigCheckTfi(pObj, pAnd) ) + if ( pAnd->pData == NULL && pObj->pData == NULL && !Abc_AigNodeIsConst(pObj) && !Abc_AigCheckTfi(pObj, pAnd) ) { pObj->pData = pAnd->pData; pAnd->pData = pObj; |