| /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/ |
| H A D | PresburgerSpaceTest.cpp | 42 space.removeVarRange(VarKind::Domain, 0, 1); in TEST()
46 space.removeVarRange(VarKind::Symbol, 0, 1); in TEST()
47 space.removeVarRange(VarKind::Range, 0, 1); in TEST()
94 space.removeVarRange(VarKind::Domain, 0, 1); in TEST()
98 space.removeVarRange(VarKind::Symbol, 0, 1); in TEST()
99 space.removeVarRange(VarKind::Range, 0, 1); in TEST()
|
| H A D | IntegerPolyhedronTest.cpp | 190 set.removeVarRange(VarKind::SetDim, 0, 2); in TEST()
193 set.removeVarRange(VarKind::Local, 1, 1); in TEST()
196 set.removeVarRange(VarKind::Local, 0, 1); in TEST()
|
| /llvm-project-15.0.7/mlir/include/mlir/Dialect/Affine/Analysis/ |
| H A D | AffineStructures.h | 320 void removeVarRange(presburger::VarKind kind, unsigned varStart,
322 using IntegerPolyhedron::removeVarRange;
574 void removeVarRange(VarKind kind, unsigned varStart,
576 using IntegerRelation::removeVarRange;
|
| /llvm-project-15.0.7/mlir/lib/Analysis/Presburger/ |
| H A D | IntegerRelation.cpp | 151 removeVarRange(kind, num, curNum); in truncateVarKind()
224 space.removeVarRange(VarKind::Local, 0, getNumLocalVars()); in computeReprWithOnlyDivLocals()
289 removeVarRange(kind, pos, pos + 1); in removeVar()
294 void IntegerRelation::removeVarRange(VarKind kind, unsigned varStart, in removeVarRange() function in IntegerRelation
307 space.removeVarRange(kind, varStart, varLimit); in removeVarRange()
334 removeVarRange(kind, relativeStart, relativeLimit); in removeVarRange()
459 removeVarRange(pos, pos + values.size()); in setAndEliminate()
802 boundedSet.removeVarRange(numBoundedDims, boundedSet.getNumVars()); in findIntegerSample()
1014 removeVarRange(posStart, posLimit); in gaussianEliminateVars()
1281 removeVarRange(srcKind, varStart, varLimit); in convertVarKind()
[all …]
|
| H A D | PWMAFunction.cpp | 99 void MultiAffineFunction::removeVarRange(VarKind kind, unsigned varStart, in removeVarRange() function in MultiAffineFunction
103 domainSet.removeVarRange(kind, varStart, varLimit); in removeVarRange()
|
| H A D | PresburgerSpace.cpp | 94 void PresburgerSpace::removeVarRange(VarKind kind, unsigned varStart, in removeVarRange() function in PresburgerSpace
|
| /llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/ |
| H A D | IntegerRelation.h | 261 virtual void removeVarRange(VarKind kind, unsigned varStart,
687 void removeVarRange(unsigned varStart, unsigned varLimit);
|
| H A D | PWMAFunction.h | 75 void removeVarRange(VarKind kind, unsigned varStart, unsigned varLimit);
|
| H A D | PresburgerSpace.h | 135 void removeVarRange(VarKind kind, unsigned varStart, unsigned varLimit);
|
| /llvm-project-15.0.7/mlir/lib/Dialect/Affine/Analysis/ |
| H A D | AffineStructures.cpp | 714 void FlatAffineValueConstraints::removeVarRange(VarKind kind, unsigned varStart, in removeVarRange() function in FlatAffineValueConstraints
716 IntegerPolyhedron::removeVarRange(kind, varStart, varLimit); in removeVarRange()
1699 removeVarRange(0, oldDomain); in inverse()
1729 void FlatAffineRelation::removeVarRange(VarKind kind, unsigned varStart, in removeVarRange() function in FlatAffineRelation
1735 FlatAffineValueConstraints::removeVarRange(kind, varStart, varLimit); in removeVarRange()
|