Home
last modified time | relevance | path

Searched refs:constraints (Results 1 – 25 of 240) sorted by relevance

12345678910

/llvm-project-15.0.7/mlir/lib/Dialect/SCF/Utils/
H A DAffineCanonicalizationUtils.cpp52 constraints.appendSymbolVar(newSyms[i]); in alignAndAddBound()
145 if (constraints.isEmpty()) in canonicalizeMinMaxOp()
215 lbv ? constraints.appendDimVar(lbv) : constraints.appendDimVar(/*num=*/1); in addLoopRangeConstraints()
218 ubv ? constraints.appendDimVar(ubv) : constraints.appendDimVar(/*num=*/1); in addLoopRangeConstraints()
232 constraints.addInequality(ineqLb); in addLoopRangeConstraints()
252 /*dimCount=*/constraints.getNumDimVars(), in addLoopRangeConstraints()
271 FlatAffineValueConstraints constraints; in canonicalizeMinMaxOpInLoop() local
325 FlatAffineValueConstraints constraints; in rewritePeeledMinMaxOp() local
326 constraints.appendDimVar({iv, ub, step}); in rewritePeeledMinMaxOp()
338 constraints.addInequality({-1, 1, -1, 0}); in rewritePeeledMinMaxOp()
[all …]
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DSimplex.h434 : LexSimplexBase(constraints.getNumVars()) { in LexSimplexBase()
435 intersectIntegerRelation(constraints); in LexSimplexBase()
440 intersectIntegerRelation(constraints); in LexSimplexBase()
487 : LexSimplexBase(constraints) {} in LexSimplex()
584 SymbolicLexSimplex(const IntegerRelation &constraints, in SymbolicLexSimplex() argument
600 : SymbolicLexSimplex(constraints, symbolDomain, in SymbolicLexSimplex()
606 SymbolicLexSimplex(const IntegerRelation &constraints, in SymbolicLexSimplex() argument
608 : SymbolicLexSimplex(constraints, in SymbolicLexSimplex()
699 explicit Simplex(const IntegerRelation &constraints) in Simplex() argument
700 : Simplex(constraints.getNumVars()) { in Simplex()
[all …]
/llvm-project-15.0.7/mlir/lib/IR/
H A DIntegerSet.cpp22 return set->constraints.size(); in getNumConstraints()
42 return set->constraints; in getConstraints()
71 SmallVector<AffineExpr, 8> constraints; in replaceDimsAndSymbols() local
72 constraints.reserve(getNumConstraints()); in replaceDimsAndSymbols()
74 constraints.push_back( in replaceDimsAndSymbols()
77 return get(numResultDims, numResultSyms, constraints, getEqFlags()); in replaceDimsAndSymbols()
H A DIntegerSetDetail.h33 ArrayRef<AffineExpr> constraints; member
40 std::get<2>(key) == constraints && std::get<3>(key) == eqFlags;
49 res->constraints = allocator.copyInto(std::get<2>(key)); in construct()
/llvm-project-15.0.7/llvm/utils/
H A Dconvert-constraint-log-to-z3.py51 constraints = [g.strip() for g in group.split('\n') if g.strip() != '']
53 for c in constraints[:-1]:
61 for c in constraints[:-1]:
63 expected = constraints[-1].strip()
/llvm-project-15.0.7/llvm/test/Verifier/
H A Dcallbr.ll3 ; CHECK: Number of label constraints does not match number of callbr dests
16 ; CHECK-NOT: Number of label constraints does not match number of callbr dests
28 ; CHECK: Number of label constraints does not match number of callbr dests
41 ; CHECK: Label constraints can only be used with callbr
48 ; CHECK: Number of label constraints does not match number of callbr dests
/llvm-project-15.0.7/mlir/tools/mlir-tblgen/
H A DCodeGenHelpers.cpp65 const llvm::ArrayRef<DagLeaf> constraints) { in emitPatternConstraints() argument
66 collectPatternConstraints(constraints); in emitPatternConstraints()
191 const ConstraintMap &constraints, StringRef selfName, in emitConstraints() argument
195 for (auto &it : constraints) { in emitConstraints()
300 const llvm::ArrayRef<DagLeaf> constraints) { in collectPatternConstraints() argument
301 for (auto &leaf : constraints) { in collectPatternConstraints()
/llvm-project-15.0.7/clang/test/Analysis/exploded-graph-rewriter/
H A Dconstraints_diff.dot22 "constraints": [
61 "constraints": [
85 "constraints": null,
H A Denvironment_diff.dot18 "constraints": null,
74 "constraints": null,
124 "constraints": null,
/llvm-project-15.0.7/mlir/test/mlir-pdll/Parser/
H A Drewrite-failure.pdll86 // CHECK: inline `Attr`, `Value`, and `ValueRange` type constraints are not permitted on arguments …
93 // CHECK: arguments and results are only permitted to use core constraints, such as `Attr`, `Op`, `…
137 // CHECK: inline `Attr`, `Value`, and `ValueRange` type constraints are not permitted on arguments …
144 // CHECK: results are only permitted to use core constraints, such as `Attr`, `Op`, `Type`, `TypeRa…
/llvm-project-15.0.7/mlir/test/Dialect/Shape/
H A Dremove-shape-constraints.mlir1 // RUN: mlir-opt -allow-unregistered-dialect -split-input-file -remove-shape-constraints -canonical…
2 // RUN: mlir-opt -allow-unregistered-dialect -split-input-file -remove-shape-constraints <%s | File…
41 // With a non-const value, we cannot fold away the code, but all constraints
/llvm-project-15.0.7/mlir/docs/
H A DPDLL.md124 that adds additional constraints to its inputs:
159 // The same constraints that we defined above:
863 [constraint](#constraints-with-multiple-results) or
877 entity. These constraints can only be applied via the
969 Aside from the core constraints, additional constraints can also be defined
1022 constraint is defined with no result constraints:
1175 constraints.
1217 Aside from the core constraints, certain constraints imported from ODS may use a unique
1221 * `Attr` constraints
1224 * `Type` constraints
[all …]
H A DOpDefinitions.md98 `Type`, which stands for constraints for common C++ types.
216 - provide a handle to reference for other places like constraints.
282 Right now, the following primitive constraints are supported:
295 TODO: Design and implement more primitive constraints
351 ### Operation traits and constraints
564 [constraints](#constraints) specified on various entities of the op. To perform
1120 constraints of being a float, `TensorOf<[F32]>` for the constraints of being a
1134 [Operation traits and constraints](#operation-traits-and-constraints).
1145 [Operation traits and constraints](#operation-traits-and-constraints).
1219 TODO: Build up a library of reusable primitive constraints
[all …]
H A DShapeInference.md4 inference for [ShapedType][ShapedType]. Type constraints are along (at least)
8 constraints/bounds in the system for that operation (e.g., the output of a
10 valuable constraints that could be captured even without full knowledge of the
23 executed, but not the intended way to specify shape constraints in general.
33 - For example, specifying equality constraints on type/constituents of a
72 * It allows reusing the constraints between, say, Tensor and Memref
92 * **Shape error detection** Many operations will have constraints on their
93 operands. If the constraints are not satisfied or cannot be determined if
167 constraints (e.g., checking equality of two dimensions resulting in
201 * The goal is that the shape functions and the constraints one could
[all …]
/llvm-project-15.0.7/mlir/include/mlir/Dialect/MLProgram/IR/
H A DMLProgramOps.td169 It is fully expected that these constraints are not suitable for
174 without additional consideration to evaluation order constraints. See
175 `global_load_graph` for op which allows for explicit ordering constraints.
252 It is fully expected that these constraints are not suitable for all
257 without additional consideration to evaluation order constraints.
298 It is fully expected that these constraints are not suitable for
303 without additional consideration to evaluation order constraints. See
304 `global_store_graph` for op which allows for explicit ordering constraints.
340 It is fully expected that these constraints are not suitable for
345 without additional consideration to evaluation order constraints.
/llvm-project-15.0.7/mlir/include/mlir/TableGen/
H A DCodeGenHelpers.h117 void emitPatternConstraints(const ArrayRef<DagLeaf> constraints);
181 void collectPatternConstraints(ArrayRef<DagLeaf> constraints);
195 void emitConstraints(const ConstraintMap &constraints, StringRef selfName,
/llvm-project-15.0.7/mlir/test/mlir-pdll/CodeGen/MLIR/
H A Ddecl.pdll39 // Test range based constraints.
52 // Test single entity constraints.
83 // Test user defined constraints.
/llvm-project-15.0.7/clang/include/clang/StaticAnalyzer/Core/
H A DAnalyses.def71 "Purge symbols, bindings, and constraints before every statement")
75 "Purge symbols, bindings, and constraints before every basic block")
78 "Do not purge symbols, bindings, or constraints")
/llvm-project-15.0.7/mlir/lib/Tools/PDLL/Parser/
H A DParser.cpp282 SmallVectorImpl<ast::ConstraintRef> &constraints);
1591 constraints); in defineVariableDecl()
1606 constraints); in defineVariableDecl()
1610 SmallVectorImpl<ast::ConstraintRef> &constraints) { in parseVariableDeclConstraintList() argument
1618 constraints.push_back(*constraint); in parseVariableDeclConstraintList()
1886 SmallVector<ast::ConstraintRef> constraints; in parseIdentifierExpr() local
2202 SmallVector<ast::ConstraintRef> constraints; in parseUnderscoreExpr() local
2299 SmallVector<ast::ConstraintRef> constraints; in parseLetStmt() local
2314 for (ast::ConstraintRef constraint : constraints) { in parseLetStmt()
2563 for (const ast::ConstraintRef &ref : constraints) in validateVariableConstraints()
[all …]
/llvm-project-15.0.7/mlir/include/mlir/IR/
H A DPatternBase.td38 // type/attribute type constraints, etc.) and bound to a name for later use.
40 // multi-entity constraints. Operands in the source pattern can have
102 // Multi-entity constraints. Each constraint here involves multiple entities
103 // matched in source pattern and places further constraints on them as a
105 list<dag> constraints = preds;
201 // either ordering of constraints. Example:
215 // Common value constraints
/llvm-project-15.0.7/mlir/lib/CAPI/IR/
H A DIntegerSet.cpp44 const MlirAffineExpr *constraints, in mlirIntegerSetGet() argument
47 (void)unwrapList(static_cast<size_t>(numConstraints), constraints, in mlirIntegerSetGet()
/llvm-project-15.0.7/llvm/test/Assembler/
H A Dinline-asm-constraint-error.ll13 ; CHECK-PARSE-FAIL: failed to parse constraints
49 ; CHECK-INCORRECT-STRUCT-ELEMENTS: number of output constraints does not match number of return str…
56 ; CHECK-INCORRECT-ARG-NUM: number of input constraints does not match number of parameters
/llvm-project-15.0.7/mlir/lib/Dialect/Linalg/Utils/
H A DUtils.cpp239 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()
271 if (failed(constraints.addBound(IntegerPolyhedron::EQ, 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()
[all …]
/llvm-project-15.0.7/mlir/test/python/ir/
H A Dinteger_set.py119 print(len(set0.constraints))
124 for cstr in set0.constraints:
/llvm-project-15.0.7/clang-tools-extra/docs/clang-tidy/checks/modernize/
H A Dmacro-to-enum.rst13 within the constraints outlined below.
15 Potential macros for replacement must meet the following constraints:
39 Each cluster of macros meeting the above constraints is presumed to

12345678910