Home
last modified time | relevance | path

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

/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DSimplex.h731 bool isBoundedAlongConstraint(unsigned constraintIndex);
737 bool isMarkedRedundant(unsigned constraintIndex) const;
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DSimplex.cpp1365 bool Simplex::isBoundedAlongConstraint(unsigned constraintIndex) { in isBoundedAlongConstraint() argument
1370 return computeOptimum(Direction::Up, con[constraintIndex]).isBounded(); in isBoundedAlongConstraint()
1375 bool Simplex::isMarkedRedundant(unsigned constraintIndex) const { in isMarkedRedundant()
1376 const Unknown &u = con[constraintIndex]; in isMarkedRedundant()