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

//===- Utils.cpp - Tests for Utils file ----------===//
//
// 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/Utils.h"

#include <gmock/gmock.h>
#include <gtest/gtest.h>

usingnamespacemlir;
usingnamespacepresburger;

static DivisionRepr
parseDivisionRepr(unsigned numVars, unsigned numDivs,
                  ArrayRef<ArrayRef<DynamicAPInt>> dividends,
                  ArrayRef<DynamicAPInt> divisors) { … }

static void checkEqual(DivisionRepr &a, DivisionRepr &b) { … }

TEST(UtilsTest, ParseAndCompareDivisionReprTest) { … }

TEST(UtilsTest, DivisionReprNormalizeTest) { … }

TEST(UtilsTest, convolution) { … }