diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-06 16:50:04 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-06 16:50:04 -0800 |
| commit | 7cce97b4b305c4fc4593f8426648228c3ca63b82 (patch) | |
| tree | 28a538553a27bfa9b92b7aee969d5c30bc518eb6 /src | |
| parent | e84dcb78622008a64a230a6edb57f6dd167b46a9 (diff) | |
| download | abc-7cce97b4b305c4fc4593f8426648228c3ca63b82.tar.gz abc-7cce97b4b305c4fc4593f8426648228c3ca63b82.tar.bz2 abc-7cce97b4b305c4fc4593f8426648228c3ca63b82.zip | |
Added new switch to the LUT matching code.
Diffstat (limited to 'src')
| -rw-r--r-- | src/map/if/ifDec16.c | 18 |
1 files changed, 5 insertions, 13 deletions
diff --git a/src/map/if/ifDec16.c b/src/map/if/ifDec16.c index e2599d7d..3abb836e 100644 --- a/src/map/if/ifDec16.c +++ b/src/map/if/ifDec16.c @@ -23,6 +23,7 @@ ABC_NAMESPACE_IMPL_START +#define IF_USE_CASE3 //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// @@ -781,19 +782,6 @@ void If_CluSwapVars( word * pTruth, int nVars, int * V2P, int * P2V, int iVar, i } else { -/* - iStep = If_CluWordNum(iVar + 1)/2; - jStep = If_CluWordNum(jVar + 1)/2; - for (w = 0; w < nWords; w += 2*jStep) - { - for (i = 0; i < jStep; i += 2*iStep) - { - temp = pTruth[w + iStep + i]; - pTruth[w + iStep + i] = pTruth[w + jStep + i]; - pTruth[w + jStep + i] = temp; - } - } -*/ iStep = If_CluWordNum(iVar + 1)/2; jStep = If_CluWordNum(jVar + 1)/2; for (w = 0; w < nWords; w += 2*jStep) @@ -1879,7 +1867,11 @@ If_Grp_t If_CluCheck3( If_Man_t * p, word * pTruth0, int nVars, int nLutLeaf, in } // the new variable is at the bottom - skip it (iVarStart = 1) +#ifdef IF_USE_CASE3 + G2 = If_CluCheck( p, pLeftOver, R2.nVars, 0, nLutLeaf2, nLutRoot, &R, &Func0, &Func2, NULL, 0 ); +#else G2 = If_CluCheck( p, pLeftOver, R2.nVars, 1, nLutLeaf2, nLutRoot, &R, &Func0, &Func2, NULL, 0 ); +#endif if ( G2.nVars == 0 ) { if ( pHashed ) |