Lines Matching refs:pGia
35 Gia_Man_t * pGia; // user AIG with nodes marked member
110 Spl_Man_t * Spl_ManAlloc( Gia_Man_t * pGia, int Limit, int fReverse ) in Spl_ManAlloc() argument
114 p->pGia = pGia; in Spl_ManAlloc()
118 p->vMarksCIO = Vec_BitStart( Gia_ManObjNum(pGia) ); in Spl_ManAlloc()
119 p->vMarksIn = Vec_BitStart( Gia_ManObjNum(pGia) ); in Spl_ManAlloc()
120 p->vMarksNo = Vec_BitStart( Gia_ManObjNum(pGia) ); in Spl_ManAlloc()
121 p->vMarksAnd = Vec_BitStart( Gia_ManObjNum(pGia) ); in Spl_ManAlloc()
132 Gia_ManForEachCiId( pGia, iObj, i ) in Spl_ManAlloc()
134 Gia_ManForEachCoId( pGia, iObj, i ) in Spl_ManAlloc()
137 ABC_FREE( pGia->pRefs ); in Spl_ManAlloc()
138 Gia_ManCreateRefs( pGia ); in Spl_ManAlloc()
139 Gia_ManSetLutRefs( pGia ); in Spl_ManAlloc()
140 assert( Gia_ManHasMapping(pGia) ); in Spl_ManAlloc()
141 assert( !Gia_ManHasMapping2(pGia) ); in Spl_ManAlloc()
142 pGia->vMapping2 = Spl_ManToWecMapping( pGia ); in Spl_ManAlloc()
143 Vec_IntFreeP( &pGia->vMapping ); in Spl_ManAlloc()
145 Gia_ManStaticFanoutStart( pGia ); in Spl_ManAlloc()
151 Gia_ManStaticFanoutStop( p->pGia ); in Spl_ManStop()
153 assert( !Gia_ManHasMapping(p->pGia) ); in Spl_ManStop()
154 assert( Gia_ManHasMapping2(p->pGia) ); in Spl_ManStop()
155 p->pGia->vMapping = Spl_ManFromWecMapping( p->pGia, p->pGia->vMapping2 ); in Spl_ManStop()
156 Vec_WecFreeP( &p->pGia->vMapping2 ); in Spl_ManStop()
207 Gia_Obj_t * pObj = Gia_ManObj( p->pGia, iObj ); in Spl_ManWinFindLeavesRoots()
212 assert( Gia_ObjIsLut2(p->pGia, iFan) || Vec_BitEntry(p->vMarksCIO, iFan) ); in Spl_ManWinFindLeavesRoots()
219 assert( Gia_ObjIsLut2(p->pGia, iFan) || Vec_BitEntry(p->vMarksCIO, iFan) ); in Spl_ManWinFindLeavesRoots()
229 Gia_ManForEachLut2Vec( p->vNodes, p->pGia, vVec, iObj, i ) in Spl_ManWinFindLeavesRoots()
231 Gia_ObjLutRefDecId( p->pGia, iFan ); in Spl_ManWinFindLeavesRoots()
233 if ( Gia_ObjLutRefNumId(p->pGia, iObj) ) in Spl_ManWinFindLeavesRoots()
235 Gia_ManForEachLut2Vec( p->vNodes, p->pGia, vVec, iObj, i ) in Spl_ManWinFindLeavesRoots()
237 Gia_ObjLutRefIncId( p->pGia, iFan ); in Spl_ManWinFindLeavesRoots()
312 InCount = Spl_ManCountMarkedFanins( p->pGia, iObj, p->vMarksIn ); in Spl_ManFindGoodCand()
343 Gia_ManForEachLut2Vec( p->vNodes, p->pGia, vVec, iObj, i ) in Spl_ManFindOne()
345 Gia_ObjLutRefDecId( p->pGia, iFan ); in Spl_ManFindOne()
352 if ( Gia_ObjLutRefNumId(p->pGia, iObj) == 0 ) in Spl_ManFindOne()
354 assert( Gia_ObjLutRefNumId(p->pGia, iObj) > 0 ); in Spl_ManFindOne()
355 if ( Gia_ObjLutRefNumId(p->pGia, iObj) >= 5 ) // skip nodes with high fanout! in Spl_ManFindOne()
357 nFanouts = Spl_ManLutFanouts( p->pGia, iObj, p->vFanouts, p->vMarksNo, p->vMarksCIO ); in Spl_ManFindOne()
358 if ( Gia_ObjLutRefNumId(p->pGia, iObj) == 1 && nFanouts == 1 ) in Spl_ManFindOne()
370 Gia_ManForEachLut2Vec( p->vNodes, p->pGia, vVec, iObj, i ) in Spl_ManFindOne()
372 …try(p->vMarksNo, iFan) && !Vec_BitEntry(p->vMarksCIO, iFan) && !Gia_ObjLutRefNumId(p->pGia, iFan) ) in Spl_ManFindOne()
384 Gia_ManForEachLut2Vec( p->vNodes, p->pGia, vVec, iObj, i ) in Spl_ManFindOne()
395 if ( Gia_ObjLutRefNumId(p->pGia, iObj) == 0 ) in Spl_ManFindOne()
397 assert( Gia_ObjLutRefNumId(p->pGia, iObj) > 0 ); in Spl_ManFindOne()
398 if ( Gia_ObjLutRefNumId(p->pGia, iObj) >= 5 ) // skip nodes with high fanout! in Spl_ManFindOne()
400 nFanouts = Spl_ManLutFanouts( p->pGia, iObj, p->vFanouts, p->vMarksNo, p->vMarksCIO ); in Spl_ManFindOne()
401 if ( Gia_ObjLutRefNumId(p->pGia, iObj) == 1 && nFanouts == 1 ) in Spl_ManFindOne()
420 Gia_ManForEachLut2Vec( p->vNodes, p->pGia, vVec, iObj, i ) in Spl_ManFindOne()
422 Gia_ObjLutRefIncId( p->pGia, iFan ); in Spl_ManFindOne()
464 assert( Gia_ObjIsLut2(p->pGia, iPivot) ); in Spl_ManComputeOne()
480 Spl_ManLutMffcSize( p->pGia, iPivot, p->vCands, p->vMarksAnd ); in Spl_ManComputeOne()
488 assert( Gia_ObjIsLut2(p->pGia, iObj) ); in Spl_ManComputeOne()
490 CountAdd = Spl_ManLutMffcSize( p->pGia, iObj, p->vCands, p->vMarksAnd ); in Spl_ManComputeOne()
516 int Gia_ManComputeOneWin( Gia_Man_t * pGia, int iPivot, Vec_Int_t ** pvRoots, Vec_Int_t ** pvNodes,… in Gia_ManComputeOneWin() argument
518 Spl_Man_t * p = (Spl_Man_t *)pGia->pSatlutWinman; in Gia_ManComputeOneWin()
523 pGia->pSatlutWinman = NULL; in Gia_ManComputeOneWin()
541 void Gia_ManComputeOneWinStart( Gia_Man_t * pGia, int nAnds, int fReverse ) in Gia_ManComputeOneWinStart() argument
543 assert( pGia->pSatlutWinman == NULL ); in Gia_ManComputeOneWinStart()
544 pGia->pSatlutWinman = Spl_ManAlloc( pGia, nAnds, fReverse ); in Gia_ManComputeOneWinStart()
558 void Spl_ManComputeOneTest( Gia_Man_t * pGia ) in Spl_ManComputeOneTest() argument
561 Gia_ManComputeOneWinStart( pGia, 64, 0 ); in Spl_ManComputeOneTest()
562 Gia_ManForEachLut2( pGia, iLut ) in Spl_ManComputeOneTest()
565 Count = Gia_ManComputeOneWin( pGia, iLut, &vRoots, &vNodes, &vLeaves, &vAnds ); in Spl_ManComputeOneTest()
569 Gia_ManComputeOneWin( pGia, -1, NULL, NULL, NULL, NULL ); in Spl_ManComputeOneTest()