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

//===- PresburgerSpaceTest.cpp - Tests for PresburgerSpace ----------------===//
//
// 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/PresburgerSpace.h"
#include <gmock/gmock.h>
#include <gtest/gtest.h>

usingnamespacemlir;
usingnamespacepresburger;

TEST(PresburgerSpaceTest, insertId) { … }

TEST(PresburgerSpaceTest, insertIdSet) { … }

TEST(PresburgerSpaceTest, removeIdRange) { … }

TEST(PresburgerSpaceTest, insertVarIdentifier) { … }

TEST(PresburgerSpaceTest, removeVarRangeIdentifier) { … }

TEST(PresburgerSpaceTest, IdentifierIsEqual) { … }

TEST(PresburgerSpaceTest, convertVarKind) { … }

TEST(PresburgerSpaceTest, convertVarKindLocals) { … }

TEST(PresburgerSpaceTest, convertVarKind2) { … }

TEST(PresburgerSpaceTest, mergeAndAlignSymbols) { … }