From 3b1c632b15caf4be0c9ef022e2463a45e134a831 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 11 Apr 2013 11:03:26 -0700 Subject: Bug fix in 'blockpo'. --- src/aig/saig/saigDual.c | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src') 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 ); -- cgit v1.2.3