Searched refs:domainSet (Results 1 – 3 of 3) sorted by relevance
| /llvm-project-15.0.7/mlir/lib/Analysis/Presburger/ |
| H A D | PWMAFunction.cpp | 38 assert(point.size() == domainSet.getNumDimAndSymbolVars() && in valueAt()
77 domainSet.print(os); in print()
96 return domainSet.insertVar(kind, pos, num); in insertVar()
103 domainSet.removeVarRange(kind, varStart, varLimit); in removeVarRange()
122 output.insertColumns(domainSet.getVarKindEnd(VarKind::Local), in mergeLocalVars()
123 other.domainSet.getNumLocalVars()); in mergeLocalVars()
125 domainSet.getNumLocalVars()); in mergeLocalVars()
129 domainSet.eliminateRedundantLocalVar(i, j); in mergeLocalVars()
130 other.domainSet.eliminateRedundantLocalVar(i, j); in mergeLocalVars()
143 presburger::mergeLocalVars(domainSet, other.domainSet, merge); in mergeLocalVars()
[all …]
|
| /llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/ |
| H A D | PWMAFunction.h | 48 : domainSet(domain), output(output) {} in MultiAffineFunction()
50 : domainSet(space), output(output) {} in MultiAffineFunction()
52 unsigned getNumInputs() const { return domainSet.getNumDimAndSymbolVars(); } in getNumInputs()
55 return output.getNumColumns() == domainSet.getNumVars() + 1; in isConsistent()
59 const PresburgerSpace &getDomainSpace() const { return domainSet.getSpace(); } in getDomainSpace()
61 const IntegerPolyhedron &getDomain() const { return domainSet; } in getDomain()
107 IntegerPolyhedron domainSet;
|
| /llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/ |
| H A D | IntegerRelationTest.cpp | 31 IntegerPolyhedron domainSet = rel.getDomainSet(); in TEST() local
36 EXPECT_TRUE(domainSet.isEqual(expectedDomainSet)); in TEST()
|