Searched refs:s_CMasks6 (Results 1 – 2 of 2) sorted by relevance
33 static word s_CMasks6[5] = { variable144 …rn ((pTruth[0] >> (Num2 * (1 << iVar))) & s_CMasks6[iVar]) == ((pTruth[0] >> (Num1 * (1 << iVar)))… in Abc_TtCheckEqual2VarCofs()149 …if ( ((pTruth[w] >> Num2 * shift) & s_CMasks6[iVar]) != ((pTruth[w] >> Num1 * shift) & s_CMasks6[i… in Abc_TtCheckEqual2VarCofs()192 word Cof1 = (pTruth[0] >> (Num1 * (1 << iVar))) & s_CMasks6[iVar]; in Abc_TtCompare2VarCofs()193 word Cof2 = (pTruth[0] >> (Num2 * (1 << iVar))) & s_CMasks6[iVar]; in Abc_TtCompare2VarCofs()204 Cof1 = (pTruth[w] >> Num1 * shift) & s_CMasks6[iVar]; in Abc_TtCompare2VarCofs()205 Cof2 = (pTruth[w] >> Num2 * shift) & s_CMasks6[iVar]; in Abc_TtCompare2VarCofs()240 word Cof1 = (pTruth[0] >> (Num1 * (1 << iVar))) & s_CMasks6[iVar]; in Abc_TtCompare2VarCofsRev()241 word Cof2 = (pTruth[0] >> (Num2 * (1 << iVar))) & s_CMasks6[iVar]; in Abc_TtCompare2VarCofsRev()252 Cof1 = (pTruth[w] >> Num1 * shift) & s_CMasks6[iVar]; in Abc_TtCompare2VarCofsRev()[all …]
307 static word s_CMasks6[3] = { in Abc_TtCountGenerate() local331 printf( "0%d", bit_count[s_CMasks6[c] & i] ); in Abc_TtCountGenerate()