From 2d0a8fb4cbb8907e6733728340995e4f93cde86d Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Thu, 19 May 2016 22:07:52 -0700 Subject: Improving SMT-LIB parser. --- src/opt/sfm/sfmArea.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/opt/sfm') diff --git a/src/opt/sfm/sfmArea.c b/src/opt/sfm/sfmArea.c index 87f3b511..f957438e 100644 --- a/src/opt/sfm/sfmArea.c +++ b/src/opt/sfm/sfmArea.c @@ -219,7 +219,7 @@ int Abc_ObjHasDupFanouts( Abc_Obj_t * pObj ) int Abc_ObjChangeEval( Abc_Obj_t * pObj, Vec_Int_t * vInfo, Vec_Int_t * vFirst, int InvArea, int * pfUseInv ) { Abc_Obj_t * pNext; - Mio_Gate_t * pGate = (Mio_Gate_t *)pObj->pData; + //Mio_Gate_t * pGate = (Mio_Gate_t *)pObj->pData; int iFanCell, iNodeCell = Mio_GateReadCell( (Mio_Gate_t *)pObj->pData ); int * pFanInfo, * pNodeInfo = Vec_IntEntryP( vInfo, Vec_IntEntry(vFirst, iNodeCell) ); int i, fNeedInv = 0, Gain = 0, iFanin = Abc_ObjFaninNum(pObj), fUseInv = Abc_NodeIsInv(pObj); @@ -267,7 +267,7 @@ int Abc_ObjChangeEval( Abc_Obj_t * pObj, Vec_Int_t * vInfo, Vec_Int_t * vFirst, void Abc_ObjChangeUpdate( Abc_Obj_t * pObj, int iFanin, Mio_Cell2_t * pCells, int * pNodeInfo, Vec_Int_t * vTemp ) { int v, Perm, iNodeCell = pNodeInfo[3*iFanin]; - Mio_Gate_t * pGate = (Mio_Gate_t *)pObj->pData; + //Mio_Gate_t * pGate = (Mio_Gate_t *)pObj->pData; //Abc_ObjPrint( stdout, pObj ); //printf( "Replacing fanout %d with %s by %s with fanin %d.\n", Abc_ObjId(pObj), Mio_GateReadName(pGate), Mio_GateReadName((Mio_Gate_t *)pCells[iNodeCell].pMioGate), iFanin ); pObj->pData = (Mio_Gate_t *)pCells[iNodeCell].pMioGate; -- cgit v1.2.3