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

//===- IntegerRelationTest.cpp - Tests for IntegerRelation 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/IntegerRelation.h"
#include "Parser.h"
#include "mlir/Analysis/Presburger/PresburgerSpace.h"
#include "mlir/Analysis/Presburger/Simplex.h"

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

usingnamespacemlir;
usingnamespacepresburger;

TEST(IntegerRelationTest, getDomainAndRangeSet) { … }

TEST(IntegerRelationTest, inverse) { … }

TEST(IntegerRelationTest, intersectDomainAndRange) { … }

TEST(IntegerRelationTest, applyDomainAndRange) { … }

TEST(IntegerRelationTest, symbolicLexmin) { … }

TEST(IntegerRelationTest, symbolicLexmax) { … }

TEST(IntegerRelationTest, swapVar) { … }

TEST(IntegerRelationTest, mergeAndAlignSymbols) { … }

// Check that mergeAndAlignSymbols unions symbol variables when they are
// disjoint.
TEST(IntegerRelationTest, mergeAndAlignDisjointSymbols) { … }

// Check that mergeAndAlignSymbols is correct when a suffix of identifiers is
// shared; i.e. identifiers are [A, B, C, D] and [E, F, C, D].
TEST(IntegerRelationTest, mergeAndAlignCommonSuffixSymbols) { … }

TEST(IntegerRelationTest, setId) { … }

TEST(IntegerRelationTest, convertVarKind) { … }

TEST(IntegerRelationTest, convertVarKindToLocal) { … }