diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-01-05 14:05:07 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-01-05 14:05:07 -0800 |
| commit | 19ad75f125e5a99014d8549233f1d120acea9677 (patch) | |
| tree | 96b13a36570b4b8d61b6effd523213e55962cef5 /src/opt/sfm | |
| parent | 6642e40af55770233f0f5db0153a8edc5bd774b6 (diff) | |
| download | abc-19ad75f125e5a99014d8549233f1d120acea9677.tar.gz abc-19ad75f125e5a99014d8549233f1d120acea9677.tar.bz2 abc-19ad75f125e5a99014d8549233f1d120acea9677.zip | |
Migrating back to using 'float' in area-flow computation in &nf.
Diffstat (limited to 'src/opt/sfm')
| -rw-r--r-- | src/opt/sfm/sfmLib.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/opt/sfm/sfmLib.c b/src/opt/sfm/sfmLib.c index f9b2ef6a..1dffb164 100644 --- a/src/opt/sfm/sfmLib.c +++ b/src/opt/sfm/sfmLib.c @@ -323,7 +323,7 @@ void Sfm_LibPrepareAdd( Sfm_Lib_t * p, word * pTruth, int * Perm, int nFanins, M { Sfm_Fun_t * pObj; int InvPerm[SFM_SUPP_MAX], Profile[SFM_SUPP_MAX]; - int Area = (int)pCellBot->Area + (pCellTop ? (int)pCellTop->Area : 0); + int Area = (int)pCellBot->AreaW + (pCellTop ? (int)pCellTop->AreaW : 0); int i, k, Id, Prev, Offset, * pProf, iFunc = Vec_MemHashInsert( p->vTtMem, pTruth ); if ( iFunc == Vec_IntSize(&p->vLists) ) { |