diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-09-27 19:18:23 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-09-27 19:18:23 -0700 |
| commit | 1ba9536c006fd707c86dde424ea4191f8a389b77 (patch) | |
| tree | 3623c51bb74f91a9870b0403346860c9c80ebb6d /src/aig/gia/giaOf.c | |
| parent | 1ba16ff782064619d40cba68dd24cbe291aaf538 (diff) | |
| download | abc-1ba9536c006fd707c86dde424ea4191f8a389b77.tar.gz abc-1ba9536c006fd707c86dde424ea4191f8a389b77.tar.bz2 abc-1ba9536c006fd707c86dde424ea4191f8a389b77.zip | |
Experiments with LUT structure mapping.
Diffstat (limited to 'src/aig/gia/giaOf.c')
| -rw-r--r-- | src/aig/gia/giaOf.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/aig/gia/giaOf.c b/src/aig/gia/giaOf.c index 016719ac..6bd0c0dc 100644 --- a/src/aig/gia/giaOf.c +++ b/src/aig/gia/giaOf.c @@ -120,8 +120,8 @@ static inline void Of_CutSetDelay2( int * pCut, int d ) static inline int Of_CutVar( int * pCut, int v ) { return Abc_Lit2Var(Of_CutLeaves(pCut)[v]); } static inline int Of_CutFlag( int * pCut, int v ) { return Abc_LitIsCompl(Of_CutLeaves(pCut)[v]); } -static inline int Of_CutCleanFlag( int * pCut, int v ) { Of_CutLeaves(pCut)[v] = Abc_LitRegular(Of_CutLeaves(pCut)[v]); } -static inline int Of_CutSetFlag( int * pCut, int v ) { Of_CutLeaves(pCut)[v] |= 1; } +static inline void Of_CutCleanFlag( int * pCut, int v ) { Of_CutLeaves(pCut)[v] = Abc_LitRegular(Of_CutLeaves(pCut)[v]); } +static inline void Of_CutSetFlag( int * pCut, int v ) { Of_CutLeaves(pCut)[v] |= 1; } #define Of_SetForEachCut( pList, pCut, i ) for ( i = 0, pCut = pList + 1; i < pList[0]; i++, pCut += Of_CutSize(pCut) + OF_CUT_EXTRA ) #define Of_ObjForEachCut( pCuts, i, nCuts ) for ( i = 0, i < nCuts; i++ ) @@ -829,7 +829,7 @@ void Of_ManCutMatch( Of_Man_t * p, int iObj, int * pCut, int * pDelay1, int * pD int Delays[6], Perm[6]; int DelayLut1 = p->pPars->nDelayLut1; int DelayLut2 = p->pPars->nDelayLut2; - int k, iVar, Flag, Delay, DelayMax = 0; + int k, iVar, Flag, Delay; Of_CutForEachVarFlag( pCut, iVar, Flag, k ) { Delays[k] = Of_ObjDelay1(p, iVar) + DelayLut1; |