Lines Matching refs:posB
368 void IntegerRelation::swapVar(unsigned posA, unsigned posB) { in swapVar() argument
370 assert(posB < getNumVars() && "invalid position B"); in swapVar()
372 if (posA == posB) in swapVar()
375 inequalities.swapColumns(posA, posB); in swapVar()
376 equalities.swapColumns(posA, posB); in swapVar()
1140 void IntegerRelation::eliminateRedundantLocalVar(unsigned posA, unsigned posB) { in eliminateRedundantLocalVar() argument
1142 assert(posB < getNumLocalVars() && "Invalid local var position"); in eliminateRedundantLocalVar()
1146 posB += localOffset; in eliminateRedundantLocalVar()
1147 inequalities.addToColumn(posB, posA, 1); in eliminateRedundantLocalVar()
1148 equalities.addToColumn(posB, posA, 1); in eliminateRedundantLocalVar()
1149 removeVar(posB); in eliminateRedundantLocalVar()