diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-28 18:58:43 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-28 18:58:43 -0700 |
| commit | f5a8cf99c0f0b89297833018256f4efa4dac6cb0 (patch) | |
| tree | 375c32e11ff0069c6c42702d59e5b73651f7fbf9 /src/base/abci | |
| parent | d8d820052efb7eee832586b202628ec69c6d55aa (diff) | |
| download | abc-f5a8cf99c0f0b89297833018256f4efa4dac6cb0.tar.gz abc-f5a8cf99c0f0b89297833018256f4efa4dac6cb0.tar.bz2 abc-f5a8cf99c0f0b89297833018256f4efa4dac6cb0.zip | |
Improvements to LMS code.
Diffstat (limited to 'src/base/abci')
| -rw-r--r-- | src/base/abci/abcRec3.c | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/base/abci/abcRec3.c b/src/base/abci/abcRec3.c index 33c51e5e..5f9b6b4f 100644 --- a/src/base/abci/abcRec3.c +++ b/src/base/abci/abcRec3.c @@ -795,15 +795,13 @@ static inline int If_CutComputeDelay( If_Man_t * p, If_Cut_t * pCut, char * pCan static inline int If_CutFindBestStruct( If_Man_t * pIfMan, If_Cut_t * pCut, char * pCanonPerm, unsigned * puCanonPhase, int * pBestPo ) { Lms_Man_t * p = s_pMan3; - int i, nLeaves, * pTruthId, iFirstPo, iFirstPoNext, iBestPo; + int i, * pTruthId, iFirstPo, iFirstPoNext, iBestPo; int BestDelay = ABC_INFINITY, BestArea = ABC_INFINITY, Delay, Area; + int nLeaves = If_CutLeaveNum( pCut ); clock_t clk; // semicanonicize the function clk = clock(); - nLeaves = If_CutLeaveNum( pCut ); - for ( i = 0; i < Abc_MaxInt(nLeaves, 6); i++ ) - pCanonPerm[i] = i; memcpy( p->pTemp1, If_CutTruthW(pCut), p->nWords * sizeof(word) ); // uCanonPhase = luckyCanonicizer_final_fast( p->pTemp1, nLeaves, pCanonPerm ); *puCanonPhase = Kit_TruthSemiCanonicize( (unsigned *)p->pTemp1, (unsigned *)p->pTemp2, nLeaves, pCanonPerm ); |