/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
H A D | giaSat.c | 119 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 D | aigMffc.c | 48 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 D | aigMffc.c | 62 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 D | aigScl.c | 241 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 D | ifReduce.c | 109 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 D | abcSpeedup.c | 58 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 D | abcDebug.c | 118 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 D | absRefSelect.c | 73 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 D | abcNetlist.c | 55 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 D | abcDfs.c | 554 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 D | abcMinBase.c | 279 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 D | fpgaFanout.c | 50 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 D | mapperFanout.c | 50 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 D | nwkFanio.c | 47 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 D | nwkSpeedup.c | 163 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 D | fraigFanout.c | 50 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 D | mfsDiv.c | 47 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 D | mfsResub_.c | 74 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 D | mfsResub.c | 47 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 D | amapMatch.c | 147 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 D | ivyCutTrav.c | 225 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 D | ivyRwr.c | 159 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 D | ivyFanout.c | 186 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 D | wlcWin.c | 80 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 D | resDivs.c | 50 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 …]
|