Searched refs:low2High (Results 1 – 2 of 2) sorted by relevance
725 word low2High, high2Low, temp; in If_CluSwapVars() local750 low2High = (pTruth[w] & PPMasks[iVar][jVar - 1] ) << shift; in If_CluSwapVars()754 pTruth[w] = pTruth[w] | low2High | high2Low; in If_CluSwapVars()765 low2High = (pTruth[w + j] & PPMasks[iVar][5]) >> shift; in If_CluSwapVars()770 pTruth[w + step + j] |= low2High; in If_CluSwapVars()
1554 word low2High, high2Low; in Abc_TtSwapVars() local1561 low2High = (pTruth[j] & s_Truths6[iVar]) >> shift; in Abc_TtSwapVars()1564 pTruth[j+jStep] = (pTruth[j+jStep] & s_Truths6[iVar]) | low2High; in Abc_TtSwapVars()