Lines Matching refs:constraints
68 FlatAffineValueConstraints constraints) { in canonicalizeMinMaxOp() argument
72 affine::simplifyConstrainedMinMaxOp(op, std::move(constraints)); in canonicalizeMinMaxOp()
150 FlatAffineValueConstraints constraints; in canonicalizeMinMaxOpInLoop() local
167 if (failed(addLoopRangeConstraints(constraints, iv, lb, ub, step))) in canonicalizeMinMaxOpInLoop()
171 return canonicalizeMinMaxOp(rewriter, op, constraints); in canonicalizeMinMaxOpInLoop()
202 FlatAffineValueConstraints constraints; in rewritePeeledMinMaxOp() local
203 constraints.appendDimVar({iv}); in rewritePeeledMinMaxOp()
204 constraints.appendSymbolVar({ub, step}); in rewritePeeledMinMaxOp()
206 constraints.addBound(BoundType::EQ, 1, *constUb); in rewritePeeledMinMaxOp()
208 constraints.addBound(BoundType::EQ, 2, *constStep); in rewritePeeledMinMaxOp()
216 constraints.addInequality({-1, 1, -1, 0}); in rewritePeeledMinMaxOp()
223 constraints.addInequality({1, -1, 1, -1}); in rewritePeeledMinMaxOp()
226 return canonicalizeMinMaxOp(rewriter, op, constraints); in rewritePeeledMinMaxOp()