diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-11 11:03:26 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-04-11 11:03:26 -0700 |
| commit | 3b1c632b15caf4be0c9ef022e2463a45e134a831 (patch) | |
| tree | 16cfadc0839b736a48011b9c84aadedea46582a6 /src/aig/saig | |
| parent | 4876f1e21cd395e94435aaafeaeec05839a32181 (diff) | |
| download | abc-3b1c632b15caf4be0c9ef022e2463a45e134a831.tar.gz abc-3b1c632b15caf4be0c9ef022e2463a45e134a831.tar.bz2 abc-3b1c632b15caf4be0c9ef022e2463a45e134a831.zip | |
Bug fix in 'blockpo'.
Diffstat (limited to 'src/aig/saig')
| -rw-r--r-- | src/aig/saig/saigDual.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/aig/saig/saigDual.c b/src/aig/saig/saigDual.c index 7650c5ca..7a50d4f6 100644 --- a/src/aig/saig/saigDual.c +++ b/src/aig/saig/saigDual.c @@ -208,7 +208,7 @@ Aig_Man_t * Saig_ManDupDual( Aig_Man_t * pAig, Vec_Int_t * vDcFlops, int nDualPi ***********************************************************************/ void Saig_ManBlockPo( Aig_Man_t * pAig, int nCycles ) { - Aig_Obj_t * pObj, * pCond, * pPrev; + Aig_Obj_t * pObj, * pCond, * pPrev, * pTemp; int i; assert( nCycles > 0 ); // add N flops (assuming 1-hot encoding of cycles) @@ -223,8 +223,8 @@ void Saig_ManBlockPo( Aig_Man_t * pAig, int nCycles ) // update the POs Saig_ManForEachPo( pAig, pObj, i ) { - pCond = Aig_And( pAig, Aig_ObjChild0(pObj), pCond ); - Aig_ObjPatchFanin0( pAig, pObj, pCond ); + pTemp = Aig_And( pAig, Aig_ObjChild0(pObj), pCond ); + Aig_ObjPatchFanin0( pAig, pObj, pTemp ); } // set the flops Aig_ManSetRegNum( pAig, Aig_ManRegNum(pAig) + nCycles ); |