Lines Matching refs:addBound
217 if (failed(res.addBound(BoundType::LB, ivIdx, lb))) in getHyperrectangular()
222 if (failed(res.addBound(BoundType::UB, ivIdx, ub))) in getHyperrectangular()
589 addBound(BoundType::EQ, val, constOp.value()); in addInductionVarOrTerminalSymbol()
627 addBound(BoundType::LB, pos, forOp.getConstantLowerBound()); in addAffineForOpDomain()
630 if (failed(addBound(BoundType::LB, pos, forOp.getLowerBoundMap(), in addAffineForOpDomain()
636 addBound(BoundType::UB, pos, forOp.getConstantUpperBound() - 1); in addAffineForOpDomain()
640 return addBound(BoundType::UB, pos, forOp.getUpperBoundMap(), in addAffineForOpDomain()
686 if (lbMap && failed(addBound(BoundType::LB, i, lbMap, operands))) in addDomainFromSliceMaps()
688 if (ubMap && failed(addBound(BoundType::UB, i, ubMap, operands))) in addDomainFromSliceMaps()
1172 LogicalResult FlatAffineValueConstraints::addBound(BoundType type, unsigned pos, in addBound() function in FlatAffineValueConstraints
1224 LogicalResult FlatAffineValueConstraints::addBound(BoundType type, unsigned pos, in addBound() function in FlatAffineValueConstraints
1226 return addBound(type, pos, boundMap, /*isClosedBound=*/type != BoundType::UB); in addBound()
1262 LogicalResult FlatAffineValueConstraints::addBound(BoundType type, unsigned pos, in addBound() function in FlatAffineValueConstraints
1274 return addBound(type, pos, computeAlignedMap(map, operands)); in addBound()
1306 if (failed(addBound(BoundType::EQ, pos, lbMap, operands))) in addSliceBounds()
1316 if (failed(addBound(BoundType::LB, pos, lbMap, operands))) in addSliceBounds()
1318 if (failed(addBound(BoundType::UB, pos, ubMap, operands))) in addSliceBounds()
1363 void FlatAffineValueConstraints::addBound(BoundType type, Value val, in addBound() function in FlatAffineValueConstraints
1369 addBound(type, pos, value); in addBound()