Lines Matching refs:constraints
239 FlatAffineValueConstraints constraints; in getUpperBoundForIndex() local
243 if (!constraints.containsVar(value)) { in getUpperBoundForIndex()
244 constraints.appendDimVar(value); in getUpperBoundForIndex()
248 constraints.findVar(value, &pos); in getUpperBoundForIndex()
249 return pos < constraints.getNumDimVars(); in getUpperBoundForIndex()
254 bool exists = constraints.findVar(value, &pos); in getUpperBoundForIndex()
269 AffineMap map = constraints.computeAlignedMap(applyOp.getAffineMap(), in getUpperBoundForIndex()
271 if (failed(constraints.addBound(IntegerPolyhedron::EQ, in getUpperBoundForIndex()
278 AffineMap map = constraints.computeAlignedMap(minOp.getAffineMap(), in getUpperBoundForIndex()
280 if (failed(constraints.addBound(IntegerPolyhedron::UB, in getUpperBoundForIndex()
291 auto ubConst = constraints.getConstantBound( in getUpperBoundForIndex()
301 constraints.getSliceBounds(pos, 1, value.getContext(), &lowerBounds, in getUpperBoundForIndex()
310 constraints.getAllValues(&boundOperands); in getUpperBoundForIndex()