Searched refs:pTruthU (Results 1 – 3 of 3) sorted by relevance
106 unsigned * pTruthU = (unsigned *)pTruth; in Abc_TtHalfUnShuffleVars() local108 pTruthU[w] = pTruthU[w+1]; in Abc_TtHalfUnShuffleVars()332 unsigned * pTruthU = (unsigned *)pTruth; in Dua_DsdTrySwap() local334 for ( ; pTruthU < pLimitU; pTruthU += 4 ) in Dua_DsdTrySwap()336 c01 = pTruthU[1]; in Dua_DsdTrySwap()337 c10 = pTruthU[2]; in Dua_DsdTrySwap()342 for ( ; pTruthU < pLimitU; pTruthU += 4 ) in Dua_DsdTrySwap()343 ABC_SWAP( unsigned, pTruthU[1], pTruthU[2] ); in Dua_DsdTrySwap()396 for ( ; pTruthU < pLimitU; pTruthU += 4 ) in Dua_DsdCheckDecomp()398 if ( fC0eC1 && pTruthU[0] != pTruthU[1] ) in Dua_DsdCheckDecomp()[all …]
155 unsigned * pTruthU = (unsigned *)pTruth; in Abc_TtCheckEqual2VarCofs() local158 for ( ; pTruthU < pLimitU; pTruthU += 4 ) in Abc_TtCheckEqual2VarCofs()159 if ( pTruthU[Num2] != pTruthU[Num1] ) in Abc_TtCheckEqual2VarCofs()213 unsigned * pTruthU = (unsigned *)pTruth; in Abc_TtCompare2VarCofs() local216 for ( ; pTruthU < pLimitU; pTruthU += 4 ) in Abc_TtCompare2VarCofs()217 if ( pTruthU[Num1] != pTruthU[Num2] ) in Abc_TtCompare2VarCofs()218 return pTruthU[Num1] < pTruthU[Num2] ? -1 : 1; in Abc_TtCompare2VarCofs()261 unsigned * pTruthU = (unsigned *)pTruth; in Abc_TtCompare2VarCofsRev() local264 for ( pLimitU -= 4; pLimitU >= pTruthU; pLimitU -= 4 ) in Abc_TtCompare2VarCofsRev()
1510 unsigned * pTruthU = (unsigned *)pTruth; in Abc_TtSwapAdjacent() local1512 for ( ; pTruthU < pLimitU; pTruthU += 4 ) in Abc_TtSwapAdjacent()1513 ABC_SWAP( unsigned, pTruthU[1], pTruthU[2] ); in Abc_TtSwapAdjacent()