Fix compiler problems.

This commit is contained in:
Alan Mishchenko 2026-03-10 22:26:43 -07:00
parent fa5029da95
commit cf5aef3889
2 changed files with 4 additions and 6 deletions

View File

@ -226,7 +226,7 @@ void If_ManSimpleSort( int * pArray, int nSize )
void If_ManDumpCut( If_Cut_t * pCut, int nLutSize, Vec_Int_t * vCuts ) void If_ManDumpCut( If_Cut_t * pCut, int nLutSize, Vec_Int_t * vCuts )
{ {
int i; int i;
for ( i = 0; i < pCut->nLeaves; i++ ) for ( i = 0; i < (int)pCut->nLeaves; i++ )
Vec_IntPush( vCuts, pCut->pLeaves[i] ); Vec_IntPush( vCuts, pCut->pLeaves[i] );
for ( ; i < nLutSize; i++ ) for ( ; i < nLutSize; i++ )
Vec_IntPush( vCuts, -1 ); Vec_IntPush( vCuts, -1 );

View File

@ -216,8 +216,7 @@ void If_ObjPerformMappingAnd( If_Man_t * p, If_Obj_t * pObj, int Mode, int fPrep
pCut->fUseless = (Delay > IF_FLOAT_LARGE/2); pCut->fUseless = (Delay > IF_FLOAT_LARGE/2);
pCut->Delay = Delay; pCut->Delay = Delay;
IfMapBestCutDone: IfMapBestCutDone:
// if ( pCut->nLeaves == 9 && !pCut->fUseless ) ;
// Abc_Print( 1, "Delay-debug(Map9-best): obj=%d delay=%.2f\n", pObj->Id, pCut->Delay );
} }
else if ( p->pPars->fUserRecLib ) else if ( p->pPars->fUserRecLib )
pCut->Delay = If_CutDelayRecCost3( p, pCut, pObj ); pCut->Delay = If_CutDelayRecCost3( p, pCut, pObj );
@ -294,7 +293,7 @@ IfMapBestCutDone:
if ( !If_CutMergeOrdered( p, pCut0, pCut1, pCut ) ) if ( !If_CutMergeOrdered( p, pCut0, pCut1, pCut ) )
continue; continue;
} }
if ( p->pPars->fUserLutDec && !fFirst && pCut->nLeaves > p->pPars->nLutDecSize ) if ( p->pPars->fUserLutDec && !fFirst && (int)pCut->nLeaves > p->pPars->nLutDecSize )
continue; continue;
if ( pObj->fSpec && pCut->nLeaves == (unsigned)p->pPars->nLutSize ) if ( pObj->fSpec && pCut->nLeaves == (unsigned)p->pPars->nLutSize )
continue; continue;
@ -492,8 +491,7 @@ IfMapBestCutDone:
assert( pCut->fUseless || pCut->Config != 0 ); assert( pCut->fUseless || pCut->Config != 0 );
pCut->Delay = pCut->fUseless ? IF_FLOAT_LARGE : p->CutDelayCur; pCut->Delay = pCut->fUseless ? IF_FLOAT_LARGE : p->CutDelayCur;
IfMapCutEvalDone: IfMapCutEvalDone:
// if ( pCut->nLeaves == 9 && !pCut->fUseless ) ;
// Abc_Print( 1, "Delay-debug(Map9): obj=%d delay=%.2f\n", pObj->Id, pCut->Delay );
} }
else if ( p->pPars->fUserRecLib ) else if ( p->pPars->fUserRecLib )
pCut->Delay = If_CutDelayRecCost3( p, pCut, pObj ); pCut->Delay = If_CutDelayRecCost3( p, pCut, pObj );