diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-03-05 21:59:43 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-03-05 21:59:43 -0800 |
| commit | 797aeee5d7f0ca5537ca2e53e3c9261ef165f68d (patch) | |
| tree | 6125c99e60f6cb6cc046c8b18896288e1b53c9e9 /src | |
| parent | 3d238a962642314865d0cfde12fe012c51d8ac76 (diff) | |
| download | abc-797aeee5d7f0ca5537ca2e53e3c9261ef165f68d.tar.gz abc-797aeee5d7f0ca5537ca2e53e3c9261ef165f68d.tar.bz2 abc-797aeee5d7f0ca5537ca2e53e3c9261ef165f68d.zip | |
Updating canonical form computation procedures (compiler warnings).
Diffstat (limited to 'src')
| -rw-r--r-- | src/aig/gia/giaPf.c | 2 | ||||
| -rw-r--r-- | src/opt/dau/dauCanon.c | 2 |
2 files changed, 2 insertions, 2 deletions
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; } |