llvm/mlir/lib/CAPI/IR/IntegerSet.cpp

//===- IntegerSet.cpp - C API for MLIR Integer Sets -----------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//

#include "mlir-c/IntegerSet.h"
#include "mlir-c/AffineExpr.h"
#include "mlir/CAPI/AffineExpr.h"
#include "mlir/CAPI/IR.h"
#include "mlir/CAPI/IntegerSet.h"
#include "mlir/CAPI/Utils.h"
#include "mlir/IR/IntegerSet.h"

usingnamespacemlir;

MlirContext mlirIntegerSetGetContext(MlirIntegerSet set) { … }

bool mlirIntegerSetEqual(MlirIntegerSet s1, MlirIntegerSet s2) { … }

void mlirIntegerSetPrint(MlirIntegerSet set, MlirStringCallback callback,
                         void *userData) { … }

void mlirIntegerSetDump(MlirIntegerSet set) { … }

MlirIntegerSet mlirIntegerSetEmptyGet(MlirContext context, intptr_t numDims,
                                      intptr_t numSymbols) { … }

MlirIntegerSet mlirIntegerSetGet(MlirContext context, intptr_t numDims,
                                 intptr_t numSymbols, intptr_t numConstraints,
                                 const MlirAffineExpr *constraints,
                                 const bool *eqFlags) { … }

MlirIntegerSet
mlirIntegerSetReplaceGet(MlirIntegerSet set,
                         const MlirAffineExpr *dimReplacements,
                         const MlirAffineExpr *symbolReplacements,
                         intptr_t numResultDims, intptr_t numResultSymbols) { … }

bool mlirIntegerSetIsCanonicalEmpty(MlirIntegerSet set) { … }

intptr_t mlirIntegerSetGetNumDims(MlirIntegerSet set) { … }

intptr_t mlirIntegerSetGetNumSymbols(MlirIntegerSet set) { … }

intptr_t mlirIntegerSetGetNumInputs(MlirIntegerSet set) { … }

intptr_t mlirIntegerSetGetNumConstraints(MlirIntegerSet set) { … }

intptr_t mlirIntegerSetGetNumEqualities(MlirIntegerSet set) { … }

intptr_t mlirIntegerSetGetNumInequalities(MlirIntegerSet set) { … }

MlirAffineExpr mlirIntegerSetGetConstraint(MlirIntegerSet set, intptr_t pos) { … }

bool mlirIntegerSetIsConstraintEq(MlirIntegerSet set, intptr_t pos) { … }