Searched refs:foundRepr (Results 1 – 4 of 4) sorted by relevance
| /llvm-project-15.0.7/mlir/lib/Analysis/Presburger/ |
| H A D | Utils.cpp | 186 ArrayRef<bool> foundRepr, in checkExplicitRepresentation() argument
194 if (!foundRepr[c] && dividend[c] != 0) { in checkExplicitRepresentation()
217 const IntegerRelation &cst, ArrayRef<bool> foundRepr, unsigned pos, in computeSingleVarRepr() argument
220 assert(foundRepr.size() == cst.getNumVars() && in computeSingleVarRepr()
234 if (!checkExplicitRepresentation(cst, foundRepr, dividend, pos)) in computeSingleVarRepr()
247 if (!checkExplicitRepresentation(cst, foundRepr, dividend, pos)) in computeSingleVarRepr()
|
| H A D | IntegerRelation.cpp | 917 SmallVector<bool, 8> foundRepr(getNumVars(), false); in getLocalReprs() local
919 foundRepr[i] = true; in getLocalReprs()
929 if (!foundRepr[i + localOffset]) { in getLocalReprs()
931 computeSingleVarRepr(*this, foundRepr, localOffset + i, in getLocalReprs()
939 foundRepr[localOffset + i] = true; in getLocalReprs()
|
| /llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/ |
| H A D | Utils.h | 218 ArrayRef<bool> foundRepr, unsigned pos,
|
| /llvm-project-15.0.7/mlir/lib/Dialect/Affine/Analysis/ |
| H A D | AffineStructures.cpp | 862 SmallVector<bool, 8> foundRepr(cst.getNumVars(), false); in detectAsFloorDiv() local
865 foundRepr[i] = true; in detectAsFloorDiv()
869 auto ulPair = computeSingleVarRepr(cst, foundRepr, pos, dividend, divisor); in detectAsFloorDiv()
|