Home
last modified time | relevance | path

Searched refs:IntegerSet (Results 1 – 25 of 33) sorted by relevance

12

/llvm-project-15.0.7/mlir/include/mlir/IR/
H A DIntegerSet.h44 class IntegerSet {
48 constexpr IntegerSet() {} in IntegerSet() function
49 explicit IntegerSet(ImplType *set) : set(set) {} in IntegerSet() function
115 return IntegerSet( in getFromOpaquePointer()
124 inline ::llvm::hash_code hash_value(IntegerSet arg) { in hash_value()
133 struct DenseMapInfo<mlir::IntegerSet> {
134 static mlir::IntegerSet getEmptyKey() {
136 return mlir::IntegerSet(static_cast<mlir::IntegerSet::ImplType *>(pointer));
138 static mlir::IntegerSet getTombstoneKey() {
140 return mlir::IntegerSet(static_cast<mlir::IntegerSet::ImplType *>(pointer));
[all …]
H A DAffineExpr.h28 class IntegerSet; variable
H A DBuiltinAttributes.td677 def Builtin_IntegerSetAttr : Builtin_Attr<"IntegerSet"> {
678 let summary = "An Attribute containing an IntegerSet object";
692 let parameters = (ins "IntegerSet":$value);
694 AttrBuilderWithInferredContext<(ins "IntegerSet":$value), [{
698 let extraClassDeclaration = "using ValueType = IntegerSet;";
/llvm-project-15.0.7/mlir/lib/IR/
H A DIntegerSet.cpp15 unsigned IntegerSet::getNumDims() const { return set->dimCount; } in getNumDims()
16 unsigned IntegerSet::getNumSymbols() const { return set->symbolCount; } in getNumSymbols()
17 unsigned IntegerSet::getNumInputs() const { in getNumInputs()
21 unsigned IntegerSet::getNumConstraints() const { in getNumConstraints()
25 unsigned IntegerSet::getNumEqualities() const { in getNumEqualities()
33 unsigned IntegerSet::getNumInequalities() const { in getNumInequalities()
37 bool IntegerSet::isEmptyIntegerSet() const { in isEmptyIntegerSet()
41 ArrayRef<AffineExpr> IntegerSet::getConstraints() const { in getConstraints()
45 AffineExpr IntegerSet::getConstraint(unsigned idx) const { in getConstraint()
57 MLIRContext *IntegerSet::getContext() const { in getContext()
[all …]
H A DCMakeLists.txt19 IntegerSet.cpp
H A DMLIRContext.cpp1012 IntegerSet IntegerSet::get(unsigned dimCount, unsigned symbolCount, in get()
1022 return IntegerSet(storage); in get()
/llvm-project-15.0.7/mlir/test/python/ir/
H A Dinteger_set.py18 is1 = IntegerSet.get_empty(1, 1, ctx)
22 is2 = IntegerSet._CAPICreate(capsule)
37 set0 = IntegerSet.get(2, 1, [d0 - d1, s0 - c42], [True, False])
41 set1 = IntegerSet.get_empty(1, 1)
49 IntegerSet.get(2, 1, [], [])
55 IntegerSet.get(2, 1, [d0 - d1], [True, False])
61 IntegerSet.get(2, 1, [0], [True])
67 IntegerSet.get(2, 1, [None], [True])
106 set0 = IntegerSet.get(2, 1, [d0 - d1, s0 - c42, s0 - d0], [True, False, False])
135 set = IntegerSet.get(2, 0, [d0 + d1], [True])
[all …]
/llvm-project-15.0.7/mlir/lib/AsmParser/
H A DAffineParser.cpp55 ParseResult parseAffineMapOrIntegerSetInline(AffineMap &map, IntegerSet &set);
57 IntegerSet &result);
658 IntegerSet &result) { in parseIntegerSetConstraints()
681 result = IntegerSet::get(numDims, numSymbols, zero, true); in parseIntegerSetConstraints()
686 result = IntegerSet::get(numDims, numSymbols, constraints, isEqs); in parseIntegerSetConstraints()
696 IntegerSet &set) { in parseAffineMapOrIntegerSetReference()
701 IntegerSet set; in parseAffineMapReference()
708 ParseResult Parser::parseIntegerSetReference(IntegerSet &set) { in parseIntegerSetReference()
752 IntegerSet set; in parseIntegerSet()
754 return IntegerSet(); in parseIntegerSet()
[all …]
H A DParser.h303 IntegerSet &set);
305 ParseResult parseIntegerSetReference(IntegerSet &set);
H A DAsmParserImpl.h427 ParseResult printIntegerSet(IntegerSet &set) override { in printIntegerSet()
/llvm-project-15.0.7/mlir/lib/Dialect/Affine/Transforms/
H A DSimplifyAffineStructures.cpp60 IntegerSet simplify(IntegerSet set) { return simplifyIntegerSet(set); } in simplify()
/llvm-project-15.0.7/mlir/include/mlir/Dialect/Affine/Analysis/
H A DAffineStructures.h29 class IntegerSet; variable
86 explicit FlatAffineValueConstraints(IntegerSet set);
89 IntegerSet set);
209 IntegerSet getAsIntegerSet(MLIRContext *context) const;
613 getFlattenedAffineExprs(IntegerSet set,
H A DUtils.h376 IntegerSet simplifyIntegerSet(IntegerSet set);
/llvm-project-15.0.7/mlir/lib/CAPI/IR/
H A DIntegerSet.cpp37 return wrap(IntegerSet::getEmptySet(static_cast<unsigned>(numDims), in mlirIntegerSetEmptyGet()
49 return wrap(IntegerSet::get( in mlirIntegerSetGet()
H A DCMakeLists.txt9 IntegerSet.cpp
/llvm-project-15.0.7/mlir/include/mlir/CAPI/
H A DIntegerSet.h22 DEFINE_C_API_METHODS(MlirIntegerSet, mlir::IntegerSet)
/llvm-project-15.0.7/mlir/unittests/Dialect/Affine/Analysis/
H A DAffineStructuresParser.cpp19 IntegerSet set = parseIntegerSet(str, context, printDiagnosticInfo); in parseIntegerSetToFAC()
/llvm-project-15.0.7/mlir/include/mlir/AsmParser/
H A DAsmParser.h85 IntegerSet parseIntegerSet(llvm::StringRef str, MLIRContext *context,
/llvm-project-15.0.7/mlir/python/mlir/_mlir_libs/_mlir/
H A Dir.pyi63 "IntegerSet",
689 class IntegerSet:
691 def _CAPICreate(self) -> IntegerSet: ...
694 def get(*args, **kwargs) -> IntegerSet: ...
696 def get_empty(*args, **kwargs) -> IntegerSet: ...
697 …_exprs: list, symbol_exprs: list, num_result_dims: int, num_result_symbols: int) -> IntegerSet: ...
699 def __eq__(self, arg0: IntegerSet) -> bool: ...
/llvm-project-15.0.7/flang/lib/Optimizer/Transforms/
H A DAffinePromotion.cpp176 mlir::IntegerSet getIntegerSet() const { in getIntegerSet()
242 integerSet = mlir::IntegerSet::get( in fromCmpIOp()
265 llvm::Optional<mlir::IntegerSet> integerSet;
/llvm-project-15.0.7/mlir/lib/Dialect/Affine/IR/
H A DAffineOps.cpp981 static_assert(llvm::is_one_of<MapOrSet, AffineMap, IntegerSet>::value, in canonicalizeMapOrSetAndOperands()
1060 void mlir::canonicalizeSetAndOperands(IntegerSet *set, in canonicalizeSetAndOperands()
1062 canonicalizeMapOrSetAndOperands<IntegerSet>(set, operands); in canonicalizeSetAndOperands()
2308 auto isTriviallyFalse = [](IntegerSet iSet) { in matchAndRewrite()
2312 auto isTriviallyTrue = [](IntegerSet iSet) { in matchAndRewrite()
2317 IntegerSet affineIfConditions = op.getIntegerSet(); in matchAndRewrite()
2364 IntegerSet condition = conditionAttr.getValue(); in verify()
2453 IntegerSet AffineIfOp::getIntegerSet() { in getIntegerSet()
2459 void AffineIfOp::setIntegerSet(IntegerSet newSet) { in setIntegerSet()
2463 void AffineIfOp::setConditional(IntegerSet set, ValueRange operands) { in setConditional()
[all …]
/llvm-project-15.0.7/mlir/lib/Dialect/Affine/Analysis/
H A DAffineStructures.cpp131 IntegerSet set, std::vector<SmallVector<int64_t, 8>> *flattenedExprs, in getFlattenedAffineExprs()
152 FlatAffineValueConstraints::FlatAffineValueConstraints(IntegerSet set) in FlatAffineValueConstraints()
1519 IntegerSet
1523 return IntegerSet::get(getNumDimVars(), getNumSymbolVars(), in getAsIntegerSet()
1546 return IntegerSet(); in getAsIntegerSet()
1570 return IntegerSet::get(numDims, numSyms, exprs, eqFlags); in getAsIntegerSet()
H A DUtils.cpp1357 IntegerSet mlir::simplifyIntegerSet(IntegerSet set) { in simplifyIntegerSet()
1360 return IntegerSet::getEmptySet(set.getNumDims(), set.getNumSymbols(), in simplifyIntegerSet()
/llvm-project-15.0.7/mlir/include/mlir/Dialect/Affine/IR/
H A DAffineOps.h372 void canonicalizeSetAndOperands(IntegerSet *set,
H A DAffineOps.td432 OpBuilder<(ins "IntegerSet":$set, "ValueRange":$args,
434 OpBuilder<(ins "TypeRange":$resultTypes, "IntegerSet":$set,
441 IntegerSet getIntegerSet();
442 void setIntegerSet(IntegerSet newSet);
445 void setConditional(IntegerSet set, ValueRange operands);

12