llvm/mlir/lib/Dialect/Affine/IR/AffineValueMap.cpp

//===- AffineValueMap.cpp - MLIR Affine Value Map 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/Dialect/Affine/IR/AffineValueMap.h"
#include "mlir/Dialect/Affine/IR/AffineOps.h"

usingnamespacemlir;
usingnamespacemlir::affine;

AffineValueMap::AffineValueMap(AffineMap map, ValueRange operands,
                               ValueRange results)
    : … { … }

void AffineValueMap::reset(AffineMap map, ValueRange operands,
                           ValueRange results) { … }

void AffineValueMap::composeSimplifyAndCanonicalize() { … }

void AffineValueMap::difference(const AffineValueMap &a,
                                const AffineValueMap &b, AffineValueMap *res) { … }

// Returns true and sets 'indexOfMatch' if 'valueToMatch' is found in
// 'valuesToSearch' beginning at 'indexStart'. Returns false otherwise.
static bool findIndex(Value valueToMatch, ArrayRef<Value> valuesToSearch,
                      unsigned indexStart, unsigned *indexOfMatch) { … }

bool AffineValueMap::isMultipleOf(unsigned idx, int64_t factor) const { … }

/// This method uses the invariant that operands are always positionally aligned
/// with the AffineDimExpr in the underlying AffineMap.
bool AffineValueMap::isFunctionOf(unsigned idx, Value value) const { … }

Value AffineValueMap::getOperand(unsigned i) const { … }

ArrayRef<Value> AffineValueMap::getOperands() const { … }

AffineMap AffineValueMap::getAffineMap() const { … }

AffineValueMap::~AffineValueMap() = default;