Home
last modified time | relevance | path

Searched refs:MultiAffineFunction (Results 1 – 2 of 2) sorted by relevance

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DPWMAFunction.cpp31 for (const MultiAffineFunction &piece : pieces) in getDomain()
69 for (const MultiAffineFunction &piece : pieces) in valueAt()
85 bool MultiAffineFunction::isEqual(const MultiAffineFunction &other) const { in isEqual()
113 for (MultiAffineFunction &piece : pieces) in truncateOutput()
118 void MultiAffineFunction::mergeLocalVars(MultiAffineFunction &other) { in mergeLocalVars()
146 bool MultiAffineFunction::isEqualWhereDomainsOverlap( in isEqualWhereDomainsOverlap()
147 MultiAffineFunction other) const { in isEqualWhereDomainsOverlap()
152 MultiAffineFunction commonFunc = *this; in isEqualWhereDomainsOverlap()
211 addPiece(MultiAffineFunction(domain, output)); in addPiece()
221 for (const MultiAffineFunction &piece : pieces) in print()
[all …]
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DPWMAFunction.h45 class MultiAffineFunction {
47 MultiAffineFunction(const IntegerPolyhedron &domain, const Matrix &output) in MultiAffineFunction() function
49 MultiAffineFunction(const Matrix &output, const PresburgerSpace &space) in MultiAffineFunction() function
80 void mergeLocalVars(MultiAffineFunction &other);
85 bool isEqualWhereDomainsOverlap(MultiAffineFunction other) const;
90 bool isEqual(const MultiAffineFunction &other) const;
146 void addPiece(const MultiAffineFunction &piece);
154 MultiAffineFunction &getPiece(unsigned i) { return pieces[i]; } in getPiece()
205 llvm::function_ref<PresburgerSet(MultiAffineFunction mafA,
206 MultiAffineFunction mafB)>
[all …]