Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DSimplex.h534 unboundedDomain(PresburgerSet::getEmpty(domainSpace)) {} in SymbolicLexMin()
543 PresburgerSet unboundedDomain; member
/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/
H A DIntegerRelationTest.cpp140 EXPECT_TRUE(lexmin.unboundedDomain.isIntegerEmpty()); in TEST()
H A DIntegerPolyhedronTest.cpp1188 EXPECT_TRUE(result.unboundedDomain.isEqual(expectedUnboundedDomain)); in expectSymbolicIntegerLexMin()
1189 if (!result.unboundedDomain.isEqual(expectedUnboundedDomain)) in expectSymbolicIntegerLexMin()
1190 result.unboundedDomain.dump(); in expectSymbolicIntegerLexMin()
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DSimplex.cpp446 result.unboundedDomain.unionInPlace(domainPoly); in recordOutput()
455 result.unboundedDomain.unionInPlace(domainPoly); in recordOutput()
H A DIntegerRelation.cpp219 lexminResult.lexmin.getDomain().unionSet(lexminResult.unboundedDomain); in computeReprWithOnlyDivLocals()