Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/
H A DSimplexTest.cpp479 Simplex::IneqType::Cut); // y >= 1. in TEST()
481 Simplex::IneqType::Cut); // x <= 1. in TEST()
483 Simplex::IneqType::Cut); // y >= 2. in TEST()
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DSimplex.h784 enum class IneqType { Redundant, Cut, Separate }; enumerator
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DPresburgerRelation.cpp720 else if (type == Simplex::IneqType::Cut) in typeInequality()
H A DSimplex.cpp2152 return IneqType::Cut; in findIneqType()