From 9bfe2ad73aaa4d03bb1273950f873e3adb83fb29 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 25 Jul 2014 08:58:20 -0700 Subject: Fixing option 'if -G ' after changes. --- src/map/if/ifDelay.c | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'src/map/if/ifDelay.c') diff --git a/src/map/if/ifDelay.c b/src/map/if/ifDelay.c index f75c42df..7fbcd2af 100644 --- a/src/map/if/ifDelay.c +++ b/src/map/if/ifDelay.c @@ -78,16 +78,16 @@ int If_CutDelaySop( If_Man_t * p, If_Cut_t * pCut ) if ( Vec_IntSize(vCover) == 0 ) return -1; // mark the output as complemented -// vAnds = If_CutDelaySopAnds( p, pCut, p->vCover, RetValue ^ pCut->fCompl ); - if ( Vec_IntSize(p->vCover) > p->pPars->nGateSize ) - return ABC_INFINITY; +// vAnds = If_CutDelaySopAnds( p, pCut, vCover, RetValue ^ pCut->fCompl ); + if ( Vec_IntSize(vCover) > p->pPars->nGateSize ) + return -1; // set the area cost assert( If_CutLeaveNum(pCut) >= 0 && If_CutLeaveNum(pCut) <= 16 ); // compute the gate delay - nLitMax = If_CutMaxCubeSize( p->vCover, If_CutLeaveNum(pCut) ); - if ( Vec_IntSize(p->vCover) < 2 ) + nLitMax = If_CutMaxCubeSize( vCover, If_CutLeaveNum(pCut) ); + if ( Vec_IntSize(vCover) < 2 ) { - pCut->Cost = Vec_IntSize(p->vCover); + pCut->Cost = Vec_IntSize(vCover); Delay = (int)(GateDelays[If_CutLeaveNum(pCut)] + 0.5); DelayMax = 0; If_CutForEachLeaf( p, pCut, pLeaf, i ) @@ -95,7 +95,7 @@ int If_CutDelaySop( If_Man_t * p, If_Cut_t * pCut ) } else { - pCut->Cost = Vec_IntSize(p->vCover) + 1; + pCut->Cost = Vec_IntSize(vCover) + 1; Delay = (int)(GateDelays[If_CutLeaveNum(pCut)] + GateDelays[nLitMax] + 0.5); DelayMax = 0; If_CutForEachLeaf( p, pCut, pLeaf, i ) -- cgit v1.2.3