llvm/mlir/unittests/Analysis/Presburger/MatrixTest.cpp

//===- MatrixTest.cpp - Tests for Matrix ----------------------------------===//
//
// 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/Matrix.h"
#include "./Utils.h"
#include "mlir/Analysis/Presburger/Fraction.h"
#include <gmock/gmock.h>
#include <gtest/gtest.h>

usingnamespacemlir;
usingnamespacepresburger;

TEST(MatrixTest, ReadWrite) { … }

TEST(MatrixTest, SwapColumns) { … }

TEST(MatrixTest, SwapRows) { … }

TEST(MatrixTest, resizeVertically) { … }

TEST(MatrixTest, insertColumns) { … }

TEST(MatrixTest, insertRows) { … }

TEST(MatrixTest, resize) { … }

template <typename T>
static void checkMatEqual(const Matrix<T> m1, const Matrix<T> m2) { … }

static void checkHermiteNormalForm(const IntMatrix &mat,
                                   const IntMatrix &hermiteForm) { … }

TEST(MatrixTest, computeHermiteNormalForm) { … }

TEST(MatrixTest, inverse) { … }

TEST(MatrixTest, intInverse) { … }

TEST(MatrixTest, gramSchmidt) { … }

void checkReducedBasis(FracMatrix mat, Fraction delta) { … }

TEST(MatrixTest, LLL) { … }

TEST(MatrixTest, moveColumns) { … }