Home
last modified time | relevance | path

Searched refs:PMasks (Results 1 – 12 of 12) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/lucky/
H A DluckyFast6.c76 static word PMasks[5][3] = { in Extra_Truth6SwapAdjacent() local
84 …return (t & PMasks[iVar][0]) | ((t & PMasks[iVar][1]) << (1 << iVar)) | ((t & PMasks[iVar][2]) >> … in Extra_Truth6SwapAdjacent()
H A DluckySwap.c145 static word PMasks[5][3] = { in Kit_TruthSwapAdjacentVars_64bit() local
159 …pInOut[i] = (pInOut[i] & PMasks[iVar][0]) | ((pInOut[i] & PMasks[iVar][1]) << Shift) | ((pInOut[i]… in Kit_TruthSwapAdjacentVars_64bit()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcNpnSave.c260 static word PMasks[5][3] = { in Npn_TruthSwapAdjacentVars() local
268 return (t & PMasks[v][0]) | ((t & PMasks[v][1]) << (1 << v)) | ((t & PMasks[v][2]) >> (1 << v)); in Npn_TruthSwapAdjacentVars()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/
H A DifDec10.c44 static word PMasks[5][3] = { variable
209 …pOut[i] = (pIn[i] & PMasks[iVar][0]) | ((pIn[i] & PMasks[iVar][1]) << Shift) | ((pIn[i] & PMasks[i… in If_Dec10SwapAdjacent()
H A DifDec08.c44 static word PMasks[5][3] = { variable
212 …pOut[i] = (pIn[i] & PMasks[iVar][0]) | ((pIn[i] & PMasks[iVar][1]) << Shift) | ((pIn[i] & PMasks[i… in If_Dec08SwapAdjacent()
H A DifDec07.c44 static word PMasks[5][3] = { variable
235 return (t & PMasks[v][0]) | ((t & PMasks[v][1]) << (1 << v)) | ((t & PMasks[v][2]) >> (1 << v)); in If_Dec6SwapAdjacent()
H A DifDec16.c56 static word PMasks[5][3] = { variable
410 …pOut[i] = (pIn[i] & PMasks[iVar][0]) | ((pIn[i] & PMasks[iVar][1]) << Shift) | ((pIn[i] & PMasks[i… in If_CluSwapAdjacent()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/extra/
H A DextraUtilTruth.c116 static unsigned PMasks[4][3] = { in Extra_TruthSwapAdjacentVars() local
130 …pOut[i] = (pIn[i] & PMasks[iVar][0]) | ((pIn[i] & PMasks[iVar][1]) << Shift) | ((pIn[i] & PMasks[i… in Extra_TruthSwapAdjacentVars()
H A DextraUtilMisc.c2268 static word PMasks[5][3] = { in Extra_Truth6SwapAdjacent() local
2276 return (t & PMasks[v][0]) | ((t & PMasks[v][1]) << (1 << v)) | ((t & PMasks[v][2]) >> (1 << v)); in Extra_Truth6SwapAdjacent()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/mpm/
H A DmpmPre.c778 static word PMasks[5][3] = { in Extra_Truth6SwapAdjacent() local
786 …return (t & PMasks[iVar][0]) | ((t & PMasks[iVar][1]) << (1 << iVar)) | ((t & PMasks[iVar][2]) >> … in Extra_Truth6SwapAdjacent()
/dports/math/stp/stp-2.3.3/lib/extlib-abc/aig/kit/
H A DkitTruth.c64 static const unsigned PMasks[4][3] = { in Kit_TruthSwapAdjacentVars() local
78 …pOut[i] = (pIn[i] & PMasks[iVar][0]) | ((pIn[i] & PMasks[iVar][1]) << Shift) | ((pIn[i] & PMasks[i… in Kit_TruthSwapAdjacentVars()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/kit/
H A DkitTruth.c48 static unsigned PMasks[4][3] = { in Kit_TruthSwapAdjacentVars() local
62 …pOut[i] = (pIn[i] & PMasks[iVar][0]) | ((pIn[i] & PMasks[iVar][1]) << Shift) | ((pIn[i] & PMasks[i… in Kit_TruthSwapAdjacentVars()