Searched defs:addBound (Results 1 – 5 of 5) sorted by relevance
| /llvm-project/mlir/include/mlir/Analysis/Presburger/ |
| H A D | IntegerRelation.h | 451 void addBound(BoundType type, unsigned pos, int64_t value) { in addBound() function
458 void addBound(BoundType type, ArrayRef<int64_t> expr, int64_t value) { in addBound() function
|
| /llvm-project/mlir/lib/Analysis/ |
| H A D | FlatLinearValueConstraints.cpp | 737 LogicalResult FlatLinearConstraints::addBound( in addBound() function in FlatLinearConstraints
791 LogicalResult FlatLinearConstraints::addBound( in addBound() function in FlatLinearConstraints
1188 void FlatLinearValueConstraints::addBound(BoundType type, Value val, in addBound() function in FlatLinearValueConstraints
|
| /llvm-project/mlir/lib/Dialect/Affine/Analysis/ |
| H A D | AffineStructures.cpp | 215 LogicalResult FlatAffineValueConstraints::addBound(BoundType type, unsigned pos, in addBound() function in FlatAffineValueConstraints
|
| /llvm-project/mlir/lib/Interfaces/ |
| H A D | ValueBoundsOpInterface.cpp | 177 void ValueBoundsConstraintSet::addBound(BoundType type, int64_t pos, in addBound() function in ValueBoundsConstraintSet
|
| /llvm-project/mlir/lib/Analysis/Presburger/ |
| H A D | IntegerRelation.cpp | 1480 void IntegerRelation::addBound(BoundType type, unsigned pos, addBound() function in IntegerRelation
1495 void IntegerRelation::addBound(BoundType type, ArrayRef<DynamicAPInt> expr, addBound() function in IntegerRelation
|