Searched refs:relA (Results 1 – 3 of 3) sorted by relevance
| /llvm-project-15.0.7/mlir/lib/Analysis/Presburger/ |
| H A D | Utils.cpp | 266 IntegerRelation &relA, IntegerRelation &relB, in mergeLocalVars() argument
268 assert(relA.getSpace().isCompatible(relB.getSpace()) && in mergeLocalVars()
274 unsigned initLocals = relA.getNumLocalVars(); in mergeLocalVars()
275 relA.insertVar(VarKind::Local, relA.getNumLocalVars(), in mergeLocalVars()
280 DivisionRepr divsA = relA.getLocalReprs(); in mergeLocalVars()
|
| H A D | IntegerRelation.cpp | 1166 IntegerRelation &relA = *this; in mergeLocalVars() local
1169 unsigned oldALocals = relA.getNumLocalVars(); in mergeLocalVars()
1173 auto merge = [&relA, &relB, oldALocals](unsigned i, unsigned j) -> bool { in mergeLocalVars()
1184 relA.eliminateRedundantLocalVar(i, j); in mergeLocalVars()
1193 return relA.getNumLocalVars() - oldALocals; in mergeLocalVars()
|
| /llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/ |
| H A D | Utils.h | 234 void mergeLocalVars(IntegerRelation &relA, IntegerRelation &relB,
|