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

//===- PWMAFunctionTest.cpp - Tests for PWMAFunction ----------------------===//
//
// 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
//
//===----------------------------------------------------------------------===//
//
// This file contains tests for PWMAFunction.
//
//===----------------------------------------------------------------------===//

#include "Parser.h"

#include "mlir/Analysis/Presburger/PWMAFunction.h"
#include "mlir/Analysis/Presburger/PresburgerRelation.h"
#include "mlir/IR/MLIRContext.h"

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

usingnamespacemlir;
usingnamespacepresburger;

ElementsAre;

TEST(PWAFunctionTest, isEqual) { … }

TEST(PWMAFunction, valueAt) { … }

TEST(PWMAFunction, removeIdRangeRegressionTest) { … }

TEST(PWMAFunction, eliminateRedundantLocalIdRegressionTest) { … }

TEST(PWMAFunction, unionLexMaxSimple) { … }

TEST(PWMAFunction, unionLexMinSimple) { … }

TEST(PWMAFunction, unionLexMaxComplex) { … }

TEST(PWMAFunction, unionLexMinComplex) { … }

TEST(PWMAFunction, unionLexMinWithDivs) { … }