| /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/ |
| H A D | PresburgerSpaceTest.cpp | 20 space.insertVar(VarKind::Domain, 0, 2); in TEST()
24 space.insertVar(VarKind::Range, 0, 1); in TEST()
34 space.insertVar(VarKind::SetDim, 0, 2); in TEST()
63 space.insertVar(VarKind::Domain, 0, 2); in TEST()
67 space.insertVar(VarKind::Range, 0, 1); in TEST()
|
| /llvm-project-15.0.7/mlir/include/mlir/Dialect/Affine/Analysis/ |
| H A D | AffineStructures.h | 285 return insertVar(VarKind::SetDim, pos, num);
288 return insertVar(VarKind::Symbol, pos, num);
291 return insertVar(VarKind::Local, pos, num);
295 unsigned insertVar(presburger::VarKind kind, unsigned pos,
297 unsigned insertVar(presburger::VarKind kind, unsigned pos, ValueRange vals);
|
| /llvm-project-15.0.7/mlir/lib/Analysis/Presburger/ |
| H A D | PWMAFunction.cpp | 91 unsigned MultiAffineFunction::insertVar(VarKind kind, unsigned pos, in insertVar() function in MultiAffineFunction
96 return domainSet.insertVar(kind, pos, num); in insertVar()
|
| H A D | Utils.cpp | 275 relA.insertVar(VarKind::Local, relA.getNumLocalVars(), in mergeLocalVars()
277 relB.insertVar(VarKind::Local, 0, initLocals); in mergeLocalVars()
|
| H A D | IntegerRelation.cpp | 51 space.insertVar(VarKind::Local, 0, newNumLocals); in setSpaceExceptLocals()
260 unsigned IntegerRelation::insertVar(VarKind kind, unsigned pos, unsigned num) { in insertVar() function in IntegerRelation
263 unsigned insertPos = space.insertVar(kind, pos, num); in insertVar()
271 return insertVar(kind, pos, num); in appendVar()
1267 unsigned newVarsBegin = insertVar(dstKind, pos, convertCount); in convertVarKind()
2262 unsigned IntegerPolyhedron::insertVar(VarKind kind, unsigned pos, in insertVar() function in IntegerPolyhedron
2266 return IntegerRelation::insertVar(kind, pos, num); in insertVar()
|
| H A D | PresburgerSpace.cpp | 72 unsigned PresburgerSpace::insertVar(VarKind kind, unsigned pos, unsigned num) { in insertVar() function in PresburgerSpace
|
| /llvm-project-15.0.7/mlir/lib/Dialect/Affine/Analysis/ |
| H A D | AffineStructures.cpp | 170 insertVar(VarKind::Local, getNumVarKind(VarKind::Local), in FlatAffineValueConstraints()
274 insertVar(VarKind::SetDim, pos, vals); in appendDimVar()
280 insertVar(VarKind::Symbol, pos, vals); in appendSymbolVar()
286 return insertVar(VarKind::SetDim, pos, vals); in insertDimVar()
291 return insertVar(VarKind::Symbol, pos, vals); in insertSymbolVar()
294 unsigned FlatAffineValueConstraints::insertVar(VarKind kind, unsigned pos, in insertVar() function in FlatAffineValueConstraints
296 unsigned absolutePos = IntegerPolyhedron::insertVar(kind, pos, num); in insertVar()
306 unsigned FlatAffineValueConstraints::insertVar(VarKind kind, unsigned pos, in insertVar() function in FlatAffineValueConstraints
312 unsigned absolutePos = IntegerPolyhedron::insertVar(kind, pos, num); in insertVar()
|
| /llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/ |
| H A D | IntegerRelation.h | 239 virtual unsigned insertVar(VarKind kind, unsigned pos, unsigned num = 1);
790 unsigned insertVar(VarKind kind, unsigned pos, unsigned num = 1) override;
|
| H A D | PWMAFunction.h | 72 unsigned insertVar(VarKind kind, unsigned pos, unsigned num = 1);
|
| H A D | PresburgerSpace.h | 131 unsigned insertVar(VarKind kind, unsigned pos, unsigned num = 1);
|