Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DPWMAFunction.cpp152 MultiAffineFunction commonFunc = *this; in isEqualWhereDomainsOverlap() local
155 commonFunc.mergeLocalVars(other); in isEqualWhereDomainsOverlap()
158 commonFunc.domainSet.append(other.domainSet); in isEqualWhereDomainsOverlap()
168 IntegerPolyhedron commonDomainMatching = commonFunc.getDomain(); in isEqualWhereDomainsOverlap()
171 subtract(commonFunc.output.getRow(row), other.output.getRow(row))); in isEqualWhereDomainsOverlap()
175 return commonFunc.getDomain().isSubsetOf(commonDomainMatching); in isEqualWhereDomainsOverlap()