Home
last modified time | relevance | path

Searched refs:pFanin (Results 1 – 25 of 224) sorted by relevance

123456789

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaSat.c119 Gia_Obj_t * pFanin; in Gia_ManSatPartCollectSuper() local
147 Gia_Obj_t * pFanin; in Gia_ManSatPartCreate_rec() local
207 Gia_Obj_t * pFanin; in Gia_ManSatPartCountClauses() local
211 if ( pFanin->fMark0 ) in Gia_ManSatPartCountClauses()
224 if ( pFanin->fMark0 ) in Gia_ManSatPartCountClauses()
253 Gia_Obj_t * pFanin; in Gia_ManSatPartCount() local
259 if ( pFanin->fMark0 ) in Gia_ManSatPartCount()
264 if ( pFanin->fMark0 ) in Gia_ManSatPartCount()
284 Gia_Obj_t * pFanin; in Gia_ManSatPartCountNodes() local
310 Gia_Obj_t * pFanin; in Gia_ManSatPartPrint() local
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/
H A DaigMffc.c48 Aig_Obj_t * pFanin; in Aig_NodeDeref_rec() local
57 if ( --pFanin->nRefs == 0 && (!LevelMin || pFanin->Level > LevelMin) ) in Aig_NodeDeref_rec()
60 *pPower += Power0 + 2.0 * pProbs[pFanin->Id] * (1.0 - pProbs[pFanin->Id]); in Aig_NodeDeref_rec()
68 if ( --pFanin->nRefs == 0 && (!LevelMin || pFanin->Level > LevelMin) ) in Aig_NodeDeref_rec()
71 *pPower += Power1 + 2.0 * pProbs[pFanin->Id] * (1.0 - pProbs[pFanin->Id]); in Aig_NodeDeref_rec()
88 Aig_Obj_t * pFanin; in Aig_NodeRef_rec() local
94 if ( pFanin->nRefs++ == 0 && (!LevelMin || pFanin->Level > LevelMin) ) in Aig_NodeRef_rec()
102 if ( pFanin->nRefs++ == 0 && (!LevelMin || pFanin->Level > LevelMin) ) in Aig_NodeRef_rec()
120 Aig_Obj_t * pFanin; in Aig_NodeRefLabel_rec() local
127 if ( pFanin->nRefs++ == 0 && (!LevelMin || pFanin->Level > LevelMin) ) in Aig_NodeRefLabel_rec()
[all …]
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/aig/
H A DaigMffc.c62 Aig_Obj_t * pFanin; in Aig_NodeDeref_rec() local
68 assert( pFanin->nRefs > 0 ); in Aig_NodeDeref_rec()
69 if ( --pFanin->nRefs == 0 && (!LevelMin || pFanin->Level > LevelMin) ) in Aig_NodeDeref_rec()
77 assert( pFanin->nRefs > 0 ); in Aig_NodeDeref_rec()
78 if ( --pFanin->nRefs == 0 && (!LevelMin || pFanin->Level > LevelMin) ) in Aig_NodeDeref_rec()
96 Aig_Obj_t * pFanin; in Aig_NodeRef_rec() local
102 if ( pFanin->nRefs++ == 0 && (!LevelMin || pFanin->Level > LevelMin) ) in Aig_NodeRef_rec()
110 if ( pFanin->nRefs++ == 0 && (!LevelMin || pFanin->Level > LevelMin) ) in Aig_NodeRef_rec()
128 Aig_Obj_t * pFanin; in Aig_NodeRefLabel_rec() local
135 if ( pFanin->nRefs++ == 0 && (!LevelMin || pFanin->Level > LevelMin) ) in Aig_NodeRefLabel_rec()
[all …]
H A DaigScl.c241 Aig_Obj_t * pObj, * pFanin; in Aig_ManCountMergeRegs() local
278 Aig_Obj_t * pObj, * pFanin; in Aig_ManReduceLachesCount() local
288 if ( pFanin->fMarkB ) in Aig_ManReduceLachesCount()
291 pFanin->fMarkB = 1; in Aig_ManReduceLachesCount()
295 if ( pFanin->fMarkA ) in Aig_ManReduceLachesCount()
298 pFanin->fMarkA = 1; in Aig_ManReduceLachesCount()
305 Diffs += pFanin->fMarkA && pFanin->fMarkB; in Aig_ManReduceLachesCount()
306 pFanin->fMarkA = pFanin->fMarkB = 0; in Aig_ManReduceLachesCount()
339 if ( pFanin->fMarkB ) in Aig_ManReduceLachesOnce()
352 if ( pFanin->fMarkA ) in Aig_ManReduceLachesOnce()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/
H A DifReduce.c109 If_Obj_t * pFanin; in If_ManImproveCutCost() local
130 If_Obj_t * pFanin; in If_ManImproveNodeExpand() local
156 pFanin->fMark = 0; in If_ManImproveNodeExpand()
239 If_Obj_t * pFanin; in If_ManImproveNodeUpdate() local
315 If_Obj_t * pFanin; in If_ManImproveNodeFaninUpdate() local
319 if ( !pFanin->fMark ) in If_ManImproveNodeFaninUpdate()
323 pFanin->fMark = 1; in If_ManImproveNodeFaninUpdate()
326 if ( !pFanin->fMark ) in If_ManImproveNodeFaninUpdate()
347 If_Obj_t * pFanin; in If_ManImproveNodeFaninCompact0() local
377 If_Obj_t * pFanin; in If_ManImproveNodeFaninCompact1() local
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcSpeedup.c58 Abc_Obj_t * pFanin; in Abc_NtkDelayTraceSortPins() local
61 Abc_ObjForEachFanin( pNode, pFanin, i ) in Abc_NtkDelayTraceSortPins()
106 Abc_Obj_t * pNode, * pFanin; in Abc_NtkDelayTraceLut() local
471 Abc_Obj_t * pFanin; in Abc_NtkDelayTraceTCEdges() local
546 if ( !Abc_ObjIsCi(pFanin) && Abc_ObjSlack(pFanin) < tDelta ) in Abc_NtkSpeedup()
590 if ( Abc_ObjIsCi(pFanin) ) in Abc_NtkSpeedup()
602 …printf( "%d(%.2f)%s ", pFanin->Id, Abc_ObjSlack(pFanin), (puTCEdges[pNode->Id] & (1<<k))? "*":"" ); in Abc_NtkSpeedup()
790 Abc_Obj_t * pFanin; in Abc_NtkPowerCriticalEdges() local
795 if ( pProb[pFanin->Id] >= Limit ) in Abc_NtkPowerCriticalEdges()
887 if ( Abc_ObjIsCi(pFanin) ) in Abc_NtkPowerdown()
[all …]
H A DabcDebug.c118 Abc_Obj_t * pObj, * pFanin; in Abc_NtkCountFaninsTotal() local
121 Abc_ObjForEachFanin( pObj, pFanin, k ) in Abc_NtkCountFaninsTotal()
127 if ( Abc_ObjIsNode(pObj) && Abc_NodeIsConst(pFanin) ) in Abc_NtkCountFaninsTotal()
147 Abc_Obj_t * pObj, * pFanin; in Abc_NtkFindGivenFanin() local
150 Abc_ObjForEachFanin( pObj, pFanin, k ) in Abc_NtkFindGivenFanin()
161 *ppFanin = pFanin; in Abc_NtkFindGivenFanin()
183 Abc_Obj_t * pObj, * pFanin, * pConst; in Abc_NtkAutoDebugModify() local
188 Abc_NtkFindGivenFanin( pNtk, Step, &pObj, &pFanin ); in Abc_NtkAutoDebugModify()
190 if ( Abc_ObjIsPo(pObj) && Abc_NodeIsConst(pFanin) ) in Abc_NtkAutoDebugModify()
197 Abc_ObjTransferFanout( pFanin, pConst ); in Abc_NtkAutoDebugModify()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/
H A DabsRefSelect.c73 Gia_Obj_t * pObj, * pFanin; in Ga2_StructAnalize() local
97 printf( "%6d ", Gia_ObjId(p, pFanin) ); in Ga2_StructAnalize()
98 if ( pFanin->fMark0 && pFanin->fMark1 ) in Ga2_StructAnalize()
100 else if ( pFanin->fMark0 && !pFanin->fMark1 ) in Ga2_StructAnalize()
102 else if ( !pFanin->fMark0 && pFanin->fMark1 ) in Ga2_StructAnalize()
104 else if ( !pFanin->fMark0 && !pFanin->fMark1 ) in Ga2_StructAnalize()
130 Gia_Obj_t * pObj, * pFanin; in Rnm_ManFilterSelected() local
166 if ( Rnm_ObjIsJust(p, pFanin) || Rnm_ObjCount(p, pFanin) > 1 ) in Rnm_ManFilterSelected()
212 Gia_Obj_t * pObj, * pFanin, * pFanin2; in Rnm_ManFilterSelectedNew() local
232 Rnm_ObjAddToCount(p, pFanin); in Rnm_ManFilterSelectedNew()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/
H A DabcNetlist.c55 Abc_Obj_t * pObj, * pFanin; in Abc_NtkToLogic() local
282 for ( pFanin = pObj; pFanin; pFanin = (Abc_Obj_t *)pFanin->pData ) in Abc_NtkAigToLogicSop()
297 if ( pFanin->pCopy->pCopy ) in Abc_NtkAigToLogicSop()
305 pFanin = Abc_ObjFanin0(pObj); in Abc_NtkAigToLogicSop()
306 if ( pFanin->pCopy->pCopy ) in Abc_NtkAigToLogicSop()
345 Abc_Obj_t * pObj, * pFanin; in Abc_NtkAigToLogicSopBench() local
386 pFanin = Abc_ObjFanin0(pObj); in Abc_NtkAigToLogicSopBench()
416 Abc_Obj_t * pObj, * pFanin; in Abc_NtkAigToLogicSopNand() local
425 if ( Abc_ObjIsNode(pFanin) ) in Abc_NtkAigToLogicSopNand()
462 pFanin = Abc_ObjFanin0(pObj); in Abc_NtkAigToLogicSopNand()
[all …]
H A DabcDfs.c554 if ( Abc_ObjIsCi(pFanin) || (Abc_NtkIsStrash(pFanin->pNtk) && Abc_AigNodeIsConst(pFanin)) ) in Abc_NtkDfs_iter()
716 for ( pFanin = (Abc_Obj_t *)pNode->pData; pFanin; pFanin = (Abc_Obj_t *)pFanin->pData ) in Abc_NtkIsDfsOrdered()
793 pFanin = Abc_ObjFanin0(pFanin); in Abc_NtkDfsWithBoxes_rec()
1180 for ( pFanin = (Abc_Obj_t *)pNode->pData; pFanin; pFanin = (Abc_Obj_t *)pFanin->pData ) in Abc_AigDfs_rec()
1553 pFanin = Abc_ObjFanin0Ntk(pFanin); in Abc_NtkIsAcyclic_rec()
1569 for ( pFanin = (Abc_Obj_t *)pNode->pData; pFanin; pFanin = (Abc_Obj_t *)pFanin->pData ) in Abc_NtkIsAcyclic_rec()
1672 pFanin = Abc_ObjFanin0(pFanin); in Abc_NtkIsAcyclicWithBoxes_rec()
1673 pFanin = Abc_ObjFanin0Ntk(pFanin); in Abc_NtkIsAcyclicWithBoxes_rec()
1675 pFanin = Abc_ObjFanin0(pFanin); in Abc_NtkIsAcyclicWithBoxes_rec()
1677 if ( Abc_ObjIsPi(pFanin) || Abc_ObjIsLatch(pFanin) || Abc_ObjIsBlackbox(pFanin) ) in Abc_NtkIsAcyclicWithBoxes_rec()
[all …]
H A DabcMinBase.c279 if ( pObj == pFanin ) in Abc_NodeCheckDupFanin()
305 if ( pObj != pFanin ) in Abc_NodeCollapseSuppSize()
307 Abc_ObjForEachFanin( pFanin, pObj, i ) in Abc_NodeCollapseSuppSize()
328 if ( pObj == pFanin ) in Abc_ObjFaninNumberNew()
346 Abc_Obj_t * pFanin; in Abc_NodeCollapsePermMap() local
350 Abc_ObjForEachFanin( pNode, pFanin, i ) in Abc_NodeCollapsePermMap()
352 if ( pFanin == pSkip ) in Abc_NodeCollapsePermMap()
414 assert( Abc_NtkIsBddLogic(pFanin->pNtk) ); in Abc_NodeCollapse()
415 assert( Abc_ObjIsNode(pFanin) ); in Abc_NodeCollapse()
559 … bFanin = Hop_Permute( pMan, (Hop_Obj_t *)pFanin->pData, Abc_ObjFaninNum(pFanin), pPermFanin ); in Abc_NodeCollapseFunc1()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/fpga/
H A DfpgaFanout.c50 assert( !Fpga_IsComplement(pFanin) ); in Fpga_NodeAddFaninFanout()
52 assert( Fpga_Regular(pFanout->p1) == pFanin || Fpga_Regular(pFanout->p2) == pFanin ); in Fpga_NodeAddFaninFanout()
54 pPivot = pFanin->pFanPivot; in Fpga_NodeAddFaninFanout()
57 pFanin->pFanPivot = pFanout; in Fpga_NodeAddFaninFanout()
61 if ( Fpga_Regular(pPivot->p1) == pFanin ) in Fpga_NodeAddFaninFanout()
63 if ( Fpga_Regular(pFanout->p1) == pFanin ) in Fpga_NodeAddFaninFanout()
76 assert( Fpga_Regular(pPivot->p2) == pFanin ); in Fpga_NodeAddFaninFanout()
77 if ( Fpga_Regular(pFanout->p1) == pFanin ) in Fpga_NodeAddFaninFanout()
105 ppFanList = &pFanin->pFanPivot; in Fpga_NodeRemoveFaninFanout()
107 Fpga_NodeForEachFanoutSafe( pFanin, pFanout, pFanout2 ) in Fpga_NodeRemoveFaninFanout()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mapper/
H A DmapperFanout.c50 assert( !Map_IsComplement(pFanin) ); in Map_NodeAddFaninFanout()
52 assert( Map_Regular(pFanout->p1) == pFanin || Map_Regular(pFanout->p2) == pFanin ); in Map_NodeAddFaninFanout()
54 pPivot = pFanin->pFanPivot; in Map_NodeAddFaninFanout()
57 pFanin->pFanPivot = pFanout; in Map_NodeAddFaninFanout()
61 if ( Map_Regular(pPivot->p1) == pFanin ) in Map_NodeAddFaninFanout()
63 if ( Map_Regular(pFanout->p1) == pFanin ) in Map_NodeAddFaninFanout()
76 assert( Map_Regular(pPivot->p2) == pFanin ); in Map_NodeAddFaninFanout()
77 if ( Map_Regular(pFanout->p1) == pFanin ) in Map_NodeAddFaninFanout()
105 ppFanList = &pFanin->pFanPivot; in Map_NodeRemoveFaninFanout()
107 Map_NodeForEachFanoutSafe( pFanin, pFanout, pFanout2 ) in Map_NodeRemoveFaninFanout()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/nwk/
H A DnwkFanio.c47 Nwk_Obj_t * pFanin; in Nwk_ObjCollectFanins() local
50 Nwk_ObjForEachFanin( pNode, pFanin, i ) in Nwk_ObjCollectFanins()
51 Vec_PtrPush( vNodes, pFanin ); in Nwk_ObjCollectFanins()
90 if ( pTemp == pFanin ) in Nwk_ObjFindFanin()
168 assert( pObj->pMan == pFanin->pMan ); in Nwk_ObjAddFanin()
172 if ( Nwk_ObjReallocIsNeeded(pFanin) ) in Nwk_ObjAddFanin()
173 Nwk_ManReallocNode( pFanin ); in Nwk_ObjAddFanin()
177 pFanin->pFanio[pFanin->nFanins + pFanin->nFanouts++] = pObj; in Nwk_ObjAddFanin()
206 Limit = pFanin->nFanins + pFanin->nFanouts; in Nwk_ObjDeleteFanin()
210 pFanin->pFanio[k++] = pFanin->pFanio[i]; in Nwk_ObjDeleteFanin()
[all …]
H A DnwkSpeedup.c163 Nwk_Obj_t * pFanin; in Nwk_ManDelayTraceTCEdges() local
170 Nwk_ObjForEachFanin( pNode, pFanin, k ) in Nwk_ManDelayTraceTCEdges()
177 Nwk_ObjForEachFanin( pNode, pFanin, k ) in Nwk_ManDelayTraceTCEdges()
185 Nwk_ObjForEachFanin( pNode, pFanin, k ) in Nwk_ManDelayTraceTCEdges()
207 Nwk_Obj_t * pNode, * pFanin, * pFanin2; in Nwk_ManSpeedup() local
249 if ( !Nwk_ObjIsCi(pFanin) && Nwk_ObjSlack(pFanin) < tDelta ) in Nwk_ManSpeedup()
271 Nwk_ObjForEachFanin( pNode, pFanin, k ) in Nwk_ManSpeedup()
293 Nwk_ObjForEachFanin( pNode, pFanin, k ) in Nwk_ManSpeedup()
295 if ( Nwk_ObjIsCi(pFanin) ) in Nwk_ManSpeedup()
306 Nwk_ObjForEachFanin( pNode, pFanin, k ) in Nwk_ManSpeedup()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fraig/
H A DfraigFanout.c50 assert( !Fraig_IsComplement(pFanin) ); in Fraig_NodeAddFaninFanout()
52 assert( Fraig_Regular(pFanout->p1) == pFanin || Fraig_Regular(pFanout->p2) == pFanin ); in Fraig_NodeAddFaninFanout()
54 pPivot = pFanin->pFanPivot; in Fraig_NodeAddFaninFanout()
57 pFanin->pFanPivot = pFanout; in Fraig_NodeAddFaninFanout()
61 if ( Fraig_Regular(pPivot->p1) == pFanin ) in Fraig_NodeAddFaninFanout()
63 if ( Fraig_Regular(pFanout->p1) == pFanin ) in Fraig_NodeAddFaninFanout()
76 assert( Fraig_Regular(pPivot->p2) == pFanin ); in Fraig_NodeAddFaninFanout()
77 if ( Fraig_Regular(pFanout->p1) == pFanin ) in Fraig_NodeAddFaninFanout()
105 ppFanList = &pFanin->pFanPivot; in Fraig_NodeRemoveFaninFanout()
107 Fraig_NodeForEachFanoutSafe( pFanin, pFanout, pFanout2 ) in Fraig_NodeRemoveFaninFanout()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/mfs/
H A DmfsDiv.c47 Abc_Obj_t * pFanin; in Abc_MfsWinMarkTfi_rec() local
59 Abc_ObjForEachFanin( pObj, pFanin, i ) in Abc_MfsWinMarkTfi_rec()
120 Abc_Obj_t * pFanin; in Abc_MfsNodeDeref_rec() local
125 Abc_ObjForEachFanin( pNode, pFanin, i ) in Abc_MfsNodeDeref_rec()
128 if ( --pFanin->vFanouts.nSize == 0 ) in Abc_MfsNodeDeref_rec()
147 Abc_Obj_t * pFanin; in Abc_MfsNodeRef_rec() local
151 Abc_ObjForEachFanin( pNode, pFanin, i ) in Abc_MfsNodeRef_rec()
153 if ( pFanin->vFanouts.nSize++ == 0 ) in Abc_MfsNodeRef_rec()
196 Abc_Obj_t * pObj, * pFanout, * pFanin; in Abc_MfsComputeDivisors() local
288 Abc_ObjForEachFanin( pNode, pFanin, k ) in Abc_MfsComputeDivisors()
[all …]
H A DmfsResub_.c74 Abc_Obj_t * pFanin, * pNode; in Abc_NtkMfsPrintResubStats() local
80 if ( !Abc_ObjIsCi(pFanin) && Abc_ObjFanoutNum(pFanin) == 1 ) in Abc_NtkMfsPrintResubStats()
148 Abc_Obj_t * pFanin; in Abc_NtkMfsSolveSatResub() local
298 Abc_Obj_t * pFanin; in Abc_NtkMfsSolveSatResub2() local
442 Abc_Obj_t * pFanin; in Abc_NtkMfsEdgeSwapEval() local
462 Abc_Obj_t * pFanin; in Abc_NtkMfsEdgePower() local
488 Abc_Obj_t * pFanin; in Abc_NtkMfsResubNode() local
492 if ( !Abc_ObjIsCi(pFanin) && Abc_ObjFanoutNum(pFanin) == 1 ) in Abc_NtkMfsResubNode()
501 if ( Abc_ObjIsCi(pFanin) || Abc_ObjFanoutNum(pFanin) != 1 ) in Abc_NtkMfsResubNode()
511 if ( !Abc_ObjIsCi(pFanin) && Abc_ObjFanoutNum(pFanin) == 1 ) in Abc_NtkMfsResubNode()
[all …]
H A DmfsResub.c47 Abc_Obj_t * pObjNew, * pFanin; in Abc_NtkMfsUpdateNetwork() local
74 Abc_Obj_t * pFanin, * pNode; in Abc_NtkMfsPrintResubStats() local
80 if ( !Abc_ObjIsCi(pFanin) && Abc_ObjFanoutNum(pFanin) == 1 ) in Abc_NtkMfsPrintResubStats()
172 Abc_Obj_t * pFanin; in Abc_NtkMfsSolveSatResub() local
326 Abc_Obj_t * pFanin; in Abc_NtkMfsSolveSatResub2() local
490 Abc_Obj_t * pFanin; in Abc_NtkMfsEdgeSwapEval() local
510 Abc_Obj_t * pFanin; in Abc_NtkMfsEdgePower() local
541 Abc_Obj_t * pFanin; in Abc_NtkMfsResubNode() local
545 if ( !Abc_ObjIsCi(pFanin) && Abc_ObjFanoutNum(pFanin) == 1 ) in Abc_NtkMfsResubNode()
554 if ( Abc_ObjIsCi(pFanin) || Abc_ObjFanoutNum(pFanin) != 1 ) in Abc_NtkMfsResubNode()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/amap/
H A DamapMatch.c147 Amap_Obj_t * pFanin; in Amap_ManComputeMapping_rec() local
277 Amap_Obj_t * pFanin; in Amap_CutAreaDeref() local
283 if ( (int)pFanin->fPolar != fCompl && pFanin->nFouts[fCompl] == 1 ) in Amap_CutAreaDeref()
285 if ( --pFanin->nFouts[fCompl] + pFanin->nFouts[!fCompl] == 0 && Amap_ObjIsNode(pFanin) ) in Amap_CutAreaDeref()
304 Amap_Obj_t * pFanin; in Amap_CutAreaRef2() local
312 if ( (int)pFanin->fPolar != fCompl && pFanin->nFouts[fCompl] == 0 ) in Amap_CutAreaRef2()
314 if ( pFanin->nFouts[fCompl]++ + pFanin->nFouts[!fCompl] == 0 && Amap_ObjIsNode(pFanin) ) in Amap_CutAreaRef2()
361 Amap_Obj_t * pFanin; in Amap_CutAreaRef() local
367 if ( (int)pFanin->fPolar != fCompl && pFanin->nFouts[fCompl] == 0 ) in Amap_CutAreaRef()
369 if ( pFanin->nFouts[fCompl]++ + pFanin->nFouts[!fCompl] == 0 && Amap_ObjIsNode(pFanin) ) in Amap_CutAreaRef()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ivy/
H A DivyCutTrav.c225 Ivy_Obj_t * pTemp, * pFanin; in Ivy_NodeComputeVolume() local
237 if ( !pFanin->fMarkA ) in Ivy_NodeComputeVolume()
239 pFanin->fMarkA = 1; in Ivy_NodeComputeVolume()
243 if ( !pFanin->fMarkA ) in Ivy_NodeComputeVolume()
245 pFanin->fMarkA = 1; in Ivy_NodeComputeVolume()
315 if ( !pFanin->fMarkA ) in Ivy_NodeComputeVolume2()
317 pFanin->fMarkA = 1; in Ivy_NodeComputeVolume2()
322 if ( pFanin && !pFanin->fMarkA ) in Ivy_NodeComputeVolume2()
324 pFanin->fMarkA = 1; in Ivy_NodeComputeVolume2()
341 pFanin->fMarkA = 0; in Ivy_NodeComputeVolume2()
[all …]
H A DivyRwr.c159 Ivy_Obj_t * pFanin; in Ivy_NodeRewrite() local
207 assert( Ivy_ObjIsNode(pFanin) || Ivy_ObjIsCi(pFanin) ); in Ivy_NodeRewrite()
208 pFanin = Ivy_NotCond(pFanin, ((uPhase & (1<<i)) > 0) ); in Ivy_NodeRewrite()
220 Ivy_ObjRefsInc( Ivy_Regular(pFanin) ); in Ivy_NodeRewrite()
366 Rwt_Node_t * pNode, * pFanin; in Rwt_CutEvaluate() local
561 Ivy_Obj_t * pRootNew, * pFanin; in Ivy_GraphUpdateNetwork3() local
568 Ivy_ObjRefsInc( Ivy_Regular(pFanin) ); in Ivy_GraphUpdateNetwork3()
576 Ivy_ObjRefsDec( Ivy_Regular(pFanin) ); in Ivy_GraphUpdateNetwork3()
599 pFanin = Ivy_Regular(pFanin); in Ivy_GraphUpdateNetwork3()
600 if ( !Ivy_ObjIsNone(pFanin) && Ivy_ObjRefs(pFanin) == 0 ) in Ivy_GraphUpdateNetwork3()
[all …]
H A DivyFanout.c186 if ( pFanin->pFanout ) in Ivy_ObjAddFanout()
188 *Ivy_ObjNextFanoutPlace(pFanin, pFanout) = pFanin->pFanout; in Ivy_ObjAddFanout()
189 *Ivy_ObjPrevFanoutPlace(pFanin, pFanin->pFanout) = pFanout; in Ivy_ObjAddFanout()
191 pFanin->pFanout = pFanout; in Ivy_ObjAddFanout()
208 assert( pFanin->pFanout != NULL ); in Ivy_ObjDeleteFanout()
210 ppPlace1 = Ivy_ObjNextFanoutPlace(pFanin, pFanout); in Ivy_ObjDeleteFanout()
211 ppPlaceN = Ivy_ObjPrevNextFanoutPlace(pFanin, pFanout); in Ivy_ObjDeleteFanout()
216 ppPlace2 = Ivy_ObjPrevFanoutPlace(pFanin, pFanout); in Ivy_ObjDeleteFanout()
217 ppPlaceN = Ivy_ObjNextPrevFanoutPlace(pFanin, pFanout); in Ivy_ObjDeleteFanout()
240 ppPlace = Ivy_ObjPrevNextFanoutPlace(pFanin, pFanoutOld); in Ivy_ObjPatchFanout()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/
H A DwlcWin.c80 Wlc_Obj_t * pFanin; int i; in Wlc_ObjHasArithmFanins() local
82 Wlc_ObjForEachFaninObj( p, pObj, pFanin, i ) in Wlc_ObjHasArithmFanins()
83 if ( Wlc_ObjHasArithm_rec(p, pFanin) ) in Wlc_ObjHasArithmFanins()
89 Wlc_Obj_t * pFanin; int i; in Wlc_WinCompute_rec() local
98 Wlc_ObjForEachFaninObj( p, pObj, pFanin, i ) in Wlc_WinCompute_rec()
104 Wlc_Obj_t * pFanin; int i; in Wlc_WinCleanMark_rec() local
108 Wlc_ObjForEachFaninObj( p, pObj, pFanin, i ) in Wlc_WinCleanMark_rec()
109 Wlc_WinCleanMark_rec( p, pFanin ); in Wlc_WinCleanMark_rec()
122 Wlc_Obj_t * pFanin; int i; in Wlc_WinCompute() local
124 if ( Wlc_ObjHasArithm_rec(p, pFanin) ) in Wlc_WinCompute()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/res/
H A DresDivs.c50 Abc_Obj_t * pObj, * pFanout, * pFanin; in Res_WinDivisors() local
152 Abc_Obj_t * pFanin; in Res_WinMarkTfi_rec() local
159 Abc_ObjForEachFanin( pObj, pFanin, i ) in Res_WinMarkTfi_rec()
160 Res_WinMarkTfi_rec( p, pFanin ); in Res_WinMarkTfi_rec()
222 Abc_Obj_t * pFanin; in Res_NodeDeref_rec() local
227 Abc_ObjForEachFanin( pNode, pFanin, i ) in Res_NodeDeref_rec()
229 assert( pFanin->vFanouts.nSize > 0 ); in Res_NodeDeref_rec()
230 if ( --pFanin->vFanouts.nSize == 0 ) in Res_NodeDeref_rec()
249 Abc_Obj_t * pFanin; in Res_NodeRef_rec() local
253 Abc_ObjForEachFanin( pNode, pFanin, i ) in Res_NodeRef_rec()
[all …]

123456789