From 797aeee5d7f0ca5537ca2e53e3c9261ef165f68d Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 5 Mar 2019 21:59:43 -0800 Subject: Updating canonical form computation procedures (compiler warnings). --- src/aig/gia/giaPf.c | 2 +- src/opt/dau/dauCanon.c | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) (limited to 'src') diff --git a/src/aig/gia/giaPf.c b/src/aig/gia/giaPf.c index 703e3912..c453dc56 100644 --- a/src/aig/gia/giaPf.c +++ b/src/aig/gia/giaPf.c @@ -908,7 +908,7 @@ void Pf_ManPrintStats( Pf_Man_t * p, char * pTitle ) if ( !p->pPars->fVerbose ) return; printf( "%s : ", pTitle ); - printf( "Delay =%8.2f ", p->pPars->MapDelay ); + printf( "Delay =%8.2f ", (float)p->pPars->MapDelay ); printf( "Area =%12.2f ", p->pPars->MapArea ); printf( "Gate =%6d ", (int)p->pPars->Area ); printf( "Inv =%6d ", (int)p->nInvs ); diff --git a/src/opt/dau/dauCanon.c b/src/opt/dau/dauCanon.c index b93521d0..a5558c1e 100644 --- a/src/opt/dau/dauCanon.c +++ b/src/opt/dau/dauCanon.c @@ -2381,7 +2381,7 @@ static void Abc_TgReorderFGrps(Abc_TgMan_t * pMan) for (i = 0; i < n; i++) { char iv = pMan->pPerm[i]; - for (j = i; j > 0 && pMan->symPhase[(int)pFGrps[j - 1]] > pMan->symPhase[iv]; j--) + for (j = i; j > 0 && pMan->symPhase[(int)pFGrps[j - 1]] > pMan->symPhase[(int)iv]; j--) pFGrps[j] = pFGrps[j - 1]; pFGrps[j] = iv; } -- cgit v1.2.3