Lines Matching defs:ValueBoundsConstraintSet

76 ValueBoundsConstraintSet::Variable::Variable(OpFoldResult ofr)
79 ValueBoundsConstraintSet::Variable::Variable(Value indexValue)
82 ValueBoundsConstraintSet::Variable::Variable(Value shapedValue, int64_t dim)
85 ValueBoundsConstraintSet::Variable::Variable(OpFoldResult ofr,
107 ValueBoundsConstraintSet::Variable::Variable(AffineMap map,
148 ValueBoundsConstraintSet::Variable::Variable(AffineMap map,
153 ValueBoundsConstraintSet::ValueBoundsConstraintSet(
161 char ValueBoundsConstraintSet::ID = 0;
177 void ValueBoundsConstraintSet::addBound(BoundType type, int64_t pos,
200 AffineExpr ValueBoundsConstraintSet::getExpr(Value value,
249 AffineExpr ValueBoundsConstraintSet::getExpr(OpFoldResult ofr) {
257 AffineExpr ValueBoundsConstraintSet::getExpr(int64_t constant) {
261 int64_t ValueBoundsConstraintSet::insert(Value value,
292 int64_t ValueBoundsConstraintSet::insert(bool isSymbol) {
305 int64_t ValueBoundsConstraintSet::insert(AffineMap map, ValueDimList operands,
327 int64_t ValueBoundsConstraintSet::insert(const Variable &var, bool isSymbol) {
331 int64_t ValueBoundsConstraintSet::getPos(Value value,
349 AffineExpr ValueBoundsConstraintSet::getPosExpr(int64_t pos) {
356 bool ValueBoundsConstraintSet::isMapped(Value value,
363 void ValueBoundsConstraintSet::processWorklist() {
419 void ValueBoundsConstraintSet::projectOut(int64_t pos) {
435 void ValueBoundsConstraintSet::projectOut(
450 void ValueBoundsConstraintSet::projectOutAnonymous(
464 LogicalResult ValueBoundsConstraintSet::computeBound(
474   ValueBoundsConstraintSet cstr(ctx, stopCondition);
564     ValueBoundsConstraintSet::ValueDim valueDim = *cstr.positionToValueDim[i];
567     if (dim == ValueBoundsConstraintSet::kIndexValue) {
585 LogicalResult ValueBoundsConstraintSet::computeDependentBound(
590       [&](Value v, std::optional<int64_t> d, ValueBoundsConstraintSet &cstr) {
596 LogicalResult ValueBoundsConstraintSet::computeIndependentBound(
624       [&](Value v, std::optional<int64_t> d, ValueBoundsConstraintSet &cstr) {
630 FailureOr<int64_t> ValueBoundsConstraintSet::computeConstantBound(
637                                   ValueBoundsConstraintSet &cstr) {
641   ValueBoundsConstraintSet cstr(
653 void ValueBoundsConstraintSet::populateConstraints(Value value,
667 int64_t ValueBoundsConstraintSet::populateConstraints(AffineMap map,
677 ValueBoundsConstraintSet::computeConstantDelta(Value value1, Value value2,
692 bool ValueBoundsConstraintSet::comparePos(int64_t lhsPos,
739 bool ValueBoundsConstraintSet::populateAndCompare(const Variable &lhs,
747 bool ValueBoundsConstraintSet::compare(const Variable &lhs,
752                            ValueBoundsConstraintSet &cstr) {
760   ValueBoundsConstraintSet cstr(lhs.getContext(), stopCondition);
766 FailureOr<bool> ValueBoundsConstraintSet::areEqual(const Variable &var1,
768   if (ValueBoundsConstraintSet::compare(var1, ComparisonOperator::EQ, var2))
770   if (ValueBoundsConstraintSet::compare(var1, ComparisonOperator::LT, var2) ||
771       ValueBoundsConstraintSet::compare(var1, ComparisonOperator::GT, var2))
777 ValueBoundsConstraintSet::areOverlappingSlices(MLIRContext *ctx,
842 ValueBoundsConstraintSet::areEquivalentSlices(MLIRContext *ctx,
883 void ValueBoundsConstraintSet::dump() const {
912 ValueBoundsConstraintSet::BoundBuilder &
913 ValueBoundsConstraintSet::BoundBuilder::operator[](int64_t dim) {
922 void ValueBoundsConstraintSet::BoundBuilder::operator<(AffineExpr expr) {
929 void ValueBoundsConstraintSet::BoundBuilder::operator<=(AffineExpr expr) {
933 void ValueBoundsConstraintSet::BoundBuilder::operator>(AffineExpr expr) {
937 void ValueBoundsConstraintSet::BoundBuilder::operator>=(AffineExpr expr) {
944 void ValueBoundsConstraintSet::BoundBuilder::operator==(AffineExpr expr) {
951 void ValueBoundsConstraintSet::BoundBuilder::operator<(OpFoldResult ofr) {
955 void ValueBoundsConstraintSet::BoundBuilder::operator<=(OpFoldResult ofr) {
959 void ValueBoundsConstraintSet::BoundBuilder::operator>(OpFoldResult ofr) {
963 void ValueBoundsConstraintSet::BoundBuilder::operator>=(OpFoldResult ofr) {
967 void ValueBoundsConstraintSet::BoundBuilder::operator==(OpFoldResult ofr) {
971 void ValueBoundsConstraintSet::BoundBuilder::operator<(int64_t i) {
975 void ValueBoundsConstraintSet::BoundBuilder::operator<=(int64_t i) {
979 void ValueBoundsConstraintSet::BoundBuilder::operator>(int64_t i) {
983 void ValueBoundsConstraintSet::BoundBuilder::operator>=(int64_t i) {
987 void ValueBoundsConstraintSet::BoundBuilder::operator==(int64_t i) {