Lines Matching defs:constraints

692   // Add loop bound constraints for values which are loop IVs of the destination
693   // of fusion and equality constraints for symbols which are constants.
833   // Create constraints for the source loop nest using which slice is computed.
854   // Create constraints for the slice loop nest that would be created if the
895   // Create constraints for the src loop nest being sliced.
906   // Create constraints for the slice using the dst loop nest information. We
952   // Use a copy of the region constraints that has upper/lower bounds for each
955   // this on the region itself since they might just be redundant constraints
1028 /// represented as constraints symbolic/parametric in 'loopDepth' loops
1071   // Build the constraints for this region.
1100   // Add equality constraints.
1465                      << "Unable to compute slice bound constraints\n");
1472       // Compute constraints for 'tmpSliceState' in 'tmpSliceCst'.
1476                    << "Unable to compute slice bound constraints\n");
1497         // to unionBoundingBox below expects constraints for each Loop IV, even
1541   // Get slice bounds from slice union constraints 'sliceUnionCst'.
2001 /// constraints drawn from an affine map. Before adding the constraint, the
2002 /// dimensions/symbols of the affine map are aligned with `constraints`.
2004 /// Note: This function adds a new symbol column to the `constraints` for each
2005 /// dimension/symbol that exists in the affine map but not in `constraints`.
2006 static LogicalResult alignAndAddBound(FlatAffineValueConstraints &constraints,
2010   unpackOptionalValues(constraints.getMaybeValues(VarKind::SetDim), dims);
2011   unpackOptionalValues(constraints.getMaybeValues(VarKind::Symbol), syms);
2016     constraints.appendSymbolVar(newSyms[i]);
2017   return constraints.addBound(type, pos, alignedMap);
2033 // finding/proving bounds should be supplied via `constraints`.
2038 //    `op` but are not part of `constraints`, are added as extra symbols.
2045 // In summary, the following constraints are added throughout this function.
2067     Operation *op, FlatAffineValueConstraints constraints) {
2078   unsigned dimOp = constraints.appendDimVar();      // `op`
2079   unsigned dimOpBound = constraints.appendDimVar(); // `op` lower/upper bound
2080   unsigned resultDimStart = constraints.appendDimVar(/*num=*/numResults);
2088           alignAndAddBound(constraints, boundType, dimOp, mapLbUb, operands)))
2094   constraints.getSliceBounds(dimOp, 1, ctx, &opLb, &opUb);
2106   if (failed(constraints.addBound(BoundType::EQ, dimOpBound, alignedBoundMap)))
2111   if (constraints.isEmpty())
2125     FlatAffineValueConstraints newConstr(constraints);
2151   unpackOptionalValues(constraints.getMaybeValues(), newOperands);
2154   for (int64_t i = 0, e = constraints.getNumDimAndSymbolVars(); i < e; ++i) {
2158     if (auto bound = constraints.getConstantBound64(BoundType::EQ, i)) {