Home
last modified time | relevance | path

Searched refs:MlirIntegerSet (Results 1 – 7 of 7) sorted by relevance

/llvm-project-15.0.7/mlir/include/mlir-c/
H A DIntegerSet.h38 DEFINE_C_API_STRUCT(MlirIntegerSet, const void);
54 MLIR_CAPI_EXPORTED bool mlirIntegerSetEqual(MlirIntegerSet s1,
55 MlirIntegerSet s2);
60 MLIR_CAPI_EXPORTED void mlirIntegerSetPrint(MlirIntegerSet set,
65 MLIR_CAPI_EXPORTED void mlirIntegerSetDump(MlirIntegerSet set);
78 MLIR_CAPI_EXPORTED MlirIntegerSet
89 MLIR_CAPI_EXPORTED MlirIntegerSet mlirIntegerSetReplaceGet(
90 MlirIntegerSet set, const MlirAffineExpr *dimReplacements,
116 mlirIntegerSetGetNumInequalities(MlirIntegerSet set);
120 mlirIntegerSetGetConstraint(MlirIntegerSet set, intptr_t pos);
[all …]
/llvm-project-15.0.7/mlir/lib/CAPI/IR/
H A DIntegerSet.cpp19 MlirContext mlirIntegerSetGetContext(MlirIntegerSet set) { in mlirIntegerSetGetContext()
23 bool mlirIntegerSetEqual(MlirIntegerSet s1, MlirIntegerSet s2) { in mlirIntegerSetEqual()
55 MlirIntegerSet
56 mlirIntegerSetReplaceGet(MlirIntegerSet set, in mlirIntegerSetReplaceGet()
69 bool mlirIntegerSetIsCanonicalEmpty(MlirIntegerSet set) { in mlirIntegerSetIsCanonicalEmpty()
73 intptr_t mlirIntegerSetGetNumDims(MlirIntegerSet set) { in mlirIntegerSetGetNumDims()
77 intptr_t mlirIntegerSetGetNumSymbols(MlirIntegerSet set) { in mlirIntegerSetGetNumSymbols()
81 intptr_t mlirIntegerSetGetNumInputs(MlirIntegerSet set) { in mlirIntegerSetGetNumInputs()
85 intptr_t mlirIntegerSetGetNumConstraints(MlirIntegerSet set) { in mlirIntegerSetGetNumConstraints()
89 intptr_t mlirIntegerSetGetNumEqualities(MlirIntegerSet set) { in mlirIntegerSetGetNumEqualities()
[all …]
/llvm-project-15.0.7/mlir/include/mlir-c/Bindings/Python/
H A DInterop.h313 mlirPythonIntegerSetToCapsule(MlirIntegerSet integerSet) { in mlirPythonIntegerSetToCapsule()
322 static inline MlirIntegerSet mlirPythonCapsuleToIntegerSet(PyObject *capsule) { in mlirPythonCapsuleToIntegerSet()
324 MlirIntegerSet integerSet = {ptr}; in mlirPythonCapsuleToIntegerSet()
/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/lib/Bindings/Python/
H A DIRModule.h990 PyIntegerSet(PyMlirContextRef contextRef, MlirIntegerSet integerSet) in PyIntegerSet()
993 operator MlirIntegerSet() const { return integerSet; } in MlirIntegerSet() function
994 MlirIntegerSet get() const { return integerSet; } in get()
1005 MlirIntegerSet integerSet;
H A DIRAffine.cpp495 MlirIntegerSet rawIntegerSet = mlirPythonCapsuleToIntegerSet(capsule.ptr()); in createFromCapsule()
884 MlirIntegerSet set = mlirIntegerSetGet( in populateIRAffine()
895 MlirIntegerSet set = in populateIRAffine()
923 MlirIntegerSet set = mlirIntegerSetReplaceGet( in populateIRAffine()
/llvm-project-15.0.7/mlir/test/CAPI/
H A Dir.c1493 MlirIntegerSet emptySet = mlirIntegerSetEmptyGet(ctx, 2, 1); in printIntegerSet()
1504 MlirIntegerSet anotherEmptySet = mlirIntegerSetEmptyGet(ctx, 2, 1); in printIntegerSet()
1522 MlirIntegerSet set = mlirIntegerSetGet(ctx, 2, 1, 2, constraints, flags); in printIntegerSet()
1531 MlirIntegerSet replaced = mlirIntegerSetReplaceGet(set, repl, &s0, 1, 2); in printIntegerSet()