Searched refs:iPlace1 (Results 1 – 6 of 6) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/if/ |
H A D | ifDec07.c | 239 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 D | ifDec10.c | 240 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 D | ifDec08.c | 243 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 D | ifDec16.c | 821 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 D | sbdCut2.c | 173 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 D | giaDup.c | 957 int iPlace1 = Gia_ManRandom(0) % Gia_ManCiNum(p); in Gia_ManDupPiPerm() local 961 iLit1 = Abc_Var2Lit( iPlace1+1, Abc_LitIsCompl(iLit1) ); in Gia_ManDupPiPerm()
|