diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-24 17:39:38 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-24 17:39:38 -0700 |
| commit | 6b96d9a84e1356295c8c25588915701bd9160001 (patch) | |
| tree | 620261ecac8299bd3b259a11bef7b513efefb7a4 /src/map | |
| parent | 5cd1396b3d752c968cd558f02625ce5f12688415 (diff) | |
| download | abc-6b96d9a84e1356295c8c25588915701bd9160001.tar.gz abc-6b96d9a84e1356295c8c25588915701bd9160001.tar.bz2 abc-6b96d9a84e1356295c8c25588915701bd9160001.zip | |
Integrating GIA with LUT mapping.
Diffstat (limited to 'src/map')
| -rw-r--r-- | src/map/if/if.h | 2 | ||||
| -rw-r--r-- | src/map/if/ifMan.c | 1 |
2 files changed, 2 insertions, 1 deletions
diff --git a/src/map/if/if.h b/src/map/if/if.h index f74a59da..24910d75 100644 --- a/src/map/if/if.h +++ b/src/map/if/if.h @@ -333,7 +333,7 @@ static inline void * If_ObjCopy( If_Obj_t * pObj ) { r static inline int If_ObjLevel( If_Obj_t * pObj ) { return pObj->Level; } static inline void If_ObjSetLevel( If_Obj_t * pObj, int Level ) { pObj->Level = Level; } static inline void If_ObjSetCopy( If_Obj_t * pObj, void * pCopy ) { pObj->pCopy = pCopy; } -static inline void If_ObjSetChoice( If_Obj_t * pObj, If_Obj_t * pEqu ) { pObj->pEquiv = pEqu; } +static inline void If_ObjSetChoice( If_Obj_t * pObj, If_Obj_t * pEqu ) { assert( pObj->Id > pEqu->Id ); pObj->pEquiv = pEqu; } static inline If_Cut_t * If_ObjCutBest( If_Obj_t * pObj ) { return &pObj->CutBest; } static inline unsigned If_ObjCutSign( unsigned ObjId ) { return (1 << (ObjId % 31)); } diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c index 3028e370..6946afa1 100644 --- a/src/map/if/ifMan.c +++ b/src/map/if/ifMan.c @@ -337,6 +337,7 @@ void If_ManCreateChoice( If_Man_t * p, If_Obj_t * pObj ) // mark the largest level if ( p->nLevelMax < (int)pObj->Level ) p->nLevelMax = (int)pObj->Level; + p->nChoices++; } /**Function************************************************************* |