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

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

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

usingnamespacemlir;
usingnamespacepresburger;

TEST(PresburgerRelationTest, intersectDomainAndRange) { … }

TEST(PresburgerRelationTest, applyDomainAndRange) { … }

TEST(PresburgerRelationTest, inverse) { … }

TEST(PresburgerRelationTest, symbolicLexOpt) { … }

TEST(PresburgerRelationTest, getDomainAndRangeSet) { … }

TEST(PresburgerRelationTest, convertVarKind) { … }