diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-08-13 13:01:18 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-08-13 13:01:18 -0700 |
| commit | 9b3dd44cd6cf0acb6e3df56ec0b20b512ef2b1eb (patch) | |
| tree | 23b56ce106e53c97c8b80240370192c02836d28c /src/map/if/ifDec16.c | |
| parent | ee1e20ddf8716d057fa8e5ce18485afac2b7a871 (diff) | |
| download | abc-9b3dd44cd6cf0acb6e3df56ec0b20b512ef2b1eb.tar.gz abc-9b3dd44cd6cf0acb6e3df56ec0b20b512ef2b1eb.tar.bz2 abc-9b3dd44cd6cf0acb6e3df56ec0b20b512ef2b1eb.zip | |
Enabling additional matching feature in the LUT mapper.
Diffstat (limited to 'src/map/if/ifDec16.c')
| -rw-r--r-- | src/map/if/ifDec16.c | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/map/if/ifDec16.c b/src/map/if/ifDec16.c index 729b0489..372473a7 100644 --- a/src/map/if/ifDec16.c +++ b/src/map/if/ifDec16.c @@ -1796,13 +1796,13 @@ int If_CluCheckDecInU( word t, int nVars ) Cof2[1] = Abc_Tt6Cofactor1( t, v ); for ( u = v+1; u < nVars; u++ ) { - Cof4[0] = Abc_Tt6Cofactor0( Cof2[0], u ); - Cof4[1] = Abc_Tt6Cofactor1( Cof2[0], u ); - Cof4[2] = Abc_Tt6Cofactor0( Cof2[1], u ); - Cof4[3] = Abc_Tt6Cofactor1( Cof2[1], u ); - if ( Cof4[0] == Cof4[1] && Cof4[0] == Cof4[2] ) + Cof4[0] = Abc_Tt6Cofactor0( Cof2[0], u ); // 00 + Cof4[1] = Abc_Tt6Cofactor1( Cof2[0], u ); // 01 + Cof4[2] = Abc_Tt6Cofactor0( Cof2[1], u ); // 10 + Cof4[3] = Abc_Tt6Cofactor1( Cof2[1], u ); // 11 + if ( Cof4[0] == Cof4[1] && Cof4[0] == Cof4[2] ) // F * a return 1; - if ( Cof4[0] == Cof4[2] && Cof4[0] == Cof4[3] ) + if ( Cof4[0] == Cof4[2] && Cof4[0] == Cof4[3] ) // !F * a return 1; } } |