Home
last modified time | relevance | path

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

/llvm-project/mlir/unittests/Analysis/Presburger/
H A DPresburgerRelationTest.cpp156 SymbolicLexOpt lexmin1 = rel1.findSymbolicIntegerLexMin(); in TEST()
201 SymbolicLexOpt lexmin2 = rel2.findSymbolicIntegerLexMin(); in TEST()
238 SymbolicLexOpt lexmin3 = rel3.findSymbolicIntegerLexMin(); in TEST()
H A DIntegerPolyhedronTest.cpp1203 SymbolicLexOpt result = poly.findSymbolicIntegerLexMin(); in expectSymbolicIntegerLexMin()
1226 TEST(IntegerPolyhedronTest, findSymbolicIntegerLexMin) { in TEST() argument
H A DIntegerRelationTest.cpp124 .findSymbolicIntegerLexMin(); in TEST()
/llvm-project/mlir/include/mlir/Analysis/Presburger/
H A DPresburgerRelation.h137 SymbolicLexOpt findSymbolicIntegerLexMin() const;
H A DIntegerRelation.h736 SymbolicLexOpt findSymbolicIntegerLexMin() const;
/llvm-project/mlir/lib/Analysis/Presburger/
H A DPresburgerRelation.cpp254 s = cs.findSymbolicIntegerLexMin(); in findSymbolicIntegerLexOpt()
265 SymbolicLexOpt PresburgerRelation::findSymbolicIntegerLexMin() const { in findSymbolicIntegerLexMin() function in PresburgerRelation
H A DIntegerRelation.cpp284 SymbolicLexOpt IntegerRelation::findSymbolicIntegerLexMin() const { in findSymbolicIntegerLexMin()
311 /// findSymbolicIntegerLexMax is implemented using findSymbolicIntegerLexMin as
315 /// 2. findSymbolicIntegerLexMin is called on the range negated relation to in findSymbolicIntegerLexMax()
331 flippedRel.findSymbolicIntegerLexMin(), in findSymbolicIntegerLexMax()
281 SymbolicLexOpt IntegerRelation::findSymbolicIntegerLexMin() const { findSymbolicIntegerLexMin() function in IntegerRelation