diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-01 00:43:43 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-10-01 00:43:43 -0700 |
| commit | 16f79036976a091b58ed4a612dbef37ba49c0a0f (patch) | |
| tree | c5f03e843ce9994ae6b2fe1c882010e12699d918 /src/map/if/ifDec16.c | |
| parent | 8340b65dc8fbc00399bc20fe3ed24545883034f2 (diff) | |
| download | abc-16f79036976a091b58ed4a612dbef37ba49c0a0f.tar.gz abc-16f79036976a091b58ed4a612dbef37ba49c0a0f.tar.bz2 abc-16f79036976a091b58ed4a612dbef37ba49c0a0f.zip | |
Changes in specialized matching.
Diffstat (limited to 'src/map/if/ifDec16.c')
| -rw-r--r-- | src/map/if/ifDec16.c | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/map/if/ifDec16.c b/src/map/if/ifDec16.c index aa73f445..de1d9ac4 100644 --- a/src/map/if/ifDec16.c +++ b/src/map/if/ifDec16.c @@ -24,8 +24,6 @@ ABC_NAMESPACE_IMPL_START -#define IF_USE_CASE3 0 // 0 allowed; 1 not allowed; 2 exclusive - //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -2020,11 +2018,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) - if ( IF_USE_CASE3 == 0 ) + if ( p->pPars->nStructType == 0 ) // allowed G2 = If_CluCheck( p, pLeftOver, R2.nVars, 0, 0, nLutLeaf2, nLutRoot, &R, &Func0, &Func2, NULL, 0 ); - else if ( IF_USE_CASE3 == 1 ) + else if ( p->pPars->nStructType == 1 ) // not allowed G2 = If_CluCheck( p, pLeftOver, R2.nVars, 1, 0, nLutLeaf2, nLutRoot, &R, &Func0, &Func2, NULL, 0 ); - else if ( IF_USE_CASE3 == 2 ) + else if ( p->pPars->nStructType == 2 ) // required G2 = If_CluCheck( p, pLeftOver, R2.nVars, 0, 1, nLutLeaf2, nLutRoot, &R, &Func0, &Func2, NULL, 0 ); else assert( 0 ); |