From 9b3dd44cd6cf0acb6e3df56ec0b20b512ef2b1eb Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 13 Aug 2013 13:01:18 -0700 Subject: Enabling additional matching feature in the LUT mapper. --- src/map/if/ifDec16.c | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'src/map/if/ifDec16.c') 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; } } -- cgit v1.2.3