Home
last modified time | relevance | path

Searched refs:iPlace1 (Results 1 – 6 of 6) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/
H A DifDec07.c239 int iPlace0, iPlace1; in If_Dec6MoveTo() local
244 iPlace1 = Var2Pla[v]; in If_Dec6MoveTo()
247 Var2Pla[Pla2Var[iPlace1]]--; in If_Dec6MoveTo()
248 Pla2Var[iPlace0] ^= Pla2Var[iPlace1]; in If_Dec6MoveTo()
249 Pla2Var[iPlace1] ^= Pla2Var[iPlace0]; in If_Dec6MoveTo()
250 Pla2Var[iPlace0] ^= Pla2Var[iPlace1]; in If_Dec6MoveTo()
272 int iPlace0, iPlace1; in If_Dec7MoveTo() local
277 iPlace1 = Var2Pla[v]; in If_Dec7MoveTo()
280 Var2Pla[Pla2Var[iPlace1]]--; in If_Dec7MoveTo()
281 Pla2Var[iPlace0] ^= Pla2Var[iPlace1]; in If_Dec7MoveTo()
[all …]
H A DifDec10.c240 int iPlace0, iPlace1, Count = 0; in If_Dec10MoveTo() local
245 iPlace1 = Var2Pla[v]+1; in If_Dec10MoveTo()
249 Var2Pla[Pla2Var[iPlace1]]--; in If_Dec10MoveTo()
250 Pla2Var[iPlace0] ^= Pla2Var[iPlace1]; in If_Dec10MoveTo()
251 Pla2Var[iPlace1] ^= Pla2Var[iPlace0]; in If_Dec10MoveTo()
252 Pla2Var[iPlace0] ^= Pla2Var[iPlace1]; in If_Dec10MoveTo()
H A DifDec08.c243 int iPlace0, iPlace1, Count = 0; in If_Dec08MoveTo() local
248 iPlace1 = Var2Pla[v]+1; in If_Dec08MoveTo()
252 Var2Pla[Pla2Var[iPlace1]]--; in If_Dec08MoveTo()
253 Pla2Var[iPlace0] ^= Pla2Var[iPlace1]; in If_Dec08MoveTo()
254 Pla2Var[iPlace1] ^= Pla2Var[iPlace0]; in If_Dec08MoveTo()
255 Pla2Var[iPlace0] ^= Pla2Var[iPlace1]; in If_Dec08MoveTo()
H A DifDec16.c821 int iPlace0, iPlace1, Count = 0; in If_CluMoveVar() local
826 iPlace1 = Var2Pla[v]+1; in If_CluMoveVar()
830 Var2Pla[Pla2Var[iPlace1]]--; in If_CluMoveVar()
831 Pla2Var[iPlace0] ^= Pla2Var[iPlace1]; in If_CluMoveVar()
832 Pla2Var[iPlace1] ^= Pla2Var[iPlace0]; in If_CluMoveVar()
833 Pla2Var[iPlace0] ^= Pla2Var[iPlace1]; in If_CluMoveVar()
839 iPlace1 = Var2Pla[v]; in If_CluMoveVar()
843 Var2Pla[Pla2Var[iPlace1]]--; in If_CluMoveVar()
844 Pla2Var[iPlace0] ^= Pla2Var[iPlace1]; in If_CluMoveVar()
845 Pla2Var[iPlace1] ^= Pla2Var[iPlace0]; in If_CluMoveVar()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sbd/
H A DsbdCut2.c173 int Lit0m, Lit1m, Fan0, Fan1, iPlace0, iPlace1; in Sbd_ManCutExpandOne() local
184 iPlace1 = Vec_IntFind( vCut, Fan1 ); in Sbd_ManCutExpandOne()
185 if ( iPlace0 == -1 && iPlace1 == -1 ) in Sbd_ManCutExpandOne()
192 if ( iPlace1 == -1 && Fan1 ) in Sbd_ManCutExpandOne()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaDup.c957 int iPlace1 = Gia_ManRandom(0) % Gia_ManCiNum(p); in Gia_ManDupPiPerm() local
961 iLit1 = Abc_Var2Lit( iPlace1+1, Abc_LitIsCompl(iLit1) ); in Gia_ManDupPiPerm()