llvm/mlir/lib/Analysis/Presburger/LinearTransform.cpp

//===- LinearTransform.cpp - MLIR LinearTransform 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/Analysis/Presburger/LinearTransform.h"
#include "mlir/Analysis/Presburger/IntegerRelation.h"
#include "mlir/Analysis/Presburger/Matrix.h"
#include <utility>

usingnamespacemlir;
usingnamespacepresburger;

LinearTransform::LinearTransform(IntMatrix &&oMatrix) : … { … }
LinearTransform::LinearTransform(const IntMatrix &oMatrix) : … { … }

std::pair<unsigned, LinearTransform>
LinearTransform::makeTransformToColumnEchelon(const IntMatrix &m) { … }

IntegerRelation LinearTransform::applyTo(const IntegerRelation &rel) const { … }