llvm/mlir/lib/IR/IntegerSet.cpp

//===- IntegerSet.cpp - MLIR Integer Set class ----------------------------===//
//
// 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/IR/IntegerSet.h"
#include "IntegerSetDetail.h"

usingnamespacemlir;
usingnamespacemlir::detail;

unsigned IntegerSet::getNumDims() const { … }
unsigned IntegerSet::getNumSymbols() const { … }
unsigned IntegerSet::getNumInputs() const { … }

unsigned IntegerSet::getNumConstraints() const { … }

unsigned IntegerSet::getNumEqualities() const { … }

unsigned IntegerSet::getNumInequalities() const { … }

bool IntegerSet::isEmptyIntegerSet() const { … }

ArrayRef<AffineExpr> IntegerSet::getConstraints() const { … }

AffineExpr IntegerSet::getConstraint(unsigned idx) const { … }

/// Returns the equality bits, which specify whether each of the constraints
/// is an equality or inequality.
ArrayRef<bool> IntegerSet::getEqFlags() const { … }

/// Returns true if the idx^th constraint is an equality, false if it is an
/// inequality.
bool IntegerSet::isEq(unsigned idx) const { … }

MLIRContext *IntegerSet::getContext() const { … }

/// Walk all of the AffineExpr's in this set. Each node in an expression
/// tree is visited in postorder.
void IntegerSet::walkExprs(function_ref<void(AffineExpr)> callback) const { … }

IntegerSet IntegerSet::replaceDimsAndSymbols(
    ArrayRef<AffineExpr> dimReplacements, ArrayRef<AffineExpr> symReplacements,
    unsigned numResultDims, unsigned numResultSyms) { … }