Searched refs:findConstraintWithNonZeroAt (Results 1 – 3 of 3) sorted by relevance
| /llvm-project-15.0.7/mlir/lib/Analysis/Presburger/ |
| H A D | IntegerRelation.cpp | 469 bool IntegerRelation::findConstraintWithNonZeroAt(unsigned colIdx, bool isEq, in findConstraintWithNonZeroAt() function in IntegerRelation
985 if (!findConstraintWithNonZeroAt(pivotCol, /*isEq=*/true, &pivotRow)) { in gaussianEliminateVars()
987 if (!findConstraintWithNonZeroAt(pivotCol, /*isEq=*/false, &pivotRow)) { in gaussianEliminateVars()
2088 return !findConstraintWithNonZeroAt(pos, /*isEq=*/false, &rowPos) && in isColZero()
2089 !findConstraintWithNonZeroAt(pos, /*isEq=*/true, &rowPos); in isColZero()
|
| /llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/ |
| H A D | IntegerRelation.h | 668 bool findConstraintWithNonZeroAt(unsigned colIdx, bool isEq,
|
| /llvm-project-15.0.7/mlir/lib/Dialect/Affine/Analysis/ |
| H A D | AffineStructures.cpp | 1037 if (!findConstraintWithNonZeroAt(pos, /*isEq=*/true, &idx)) { in getSliceBounds()
|