Home
last modified time | relevance | path

Searched refs:unionLexMax (Results 1 – 3 of 3) sorted by relevance

/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/
H A DPWMAFunctionTest.cpp208 EXPECT_TRUE(func1.unionLexMax(func2).isEqual(func1)); in TEST()
209 EXPECT_TRUE(func2.unionLexMax(func1).isEqual(func1)); in TEST()
234 EXPECT_TRUE(func1.unionLexMax(func2).isEqual(result)); in TEST()
235 EXPECT_TRUE(func2.unionLexMax(func1).isEqual(result)); in TEST()
259 EXPECT_TRUE(func1.unionLexMax(func2).isEqual(result)); in TEST()
260 EXPECT_TRUE(func2.unionLexMax(func1).isEqual(result)); in TEST()
402 EXPECT_TRUE(func1.unionLexMax(func2).isEqual(result)); in TEST()
443 EXPECT_TRUE(func1.unionLexMax(func2).isEqual(result)); in TEST()
444 EXPECT_TRUE(func2.unionLexMax(func1).isEqual(result)); in TEST()
481 EXPECT_TRUE(func1.unionLexMax(func2).isEqual(result)); in TEST()
[all …]
/llvm-project-15.0.7/mlir/include/mlir/Analysis/Presburger/
H A DPWMAFunction.h184 PWMAFunction unionLexMax(const PWMAFunction &func);
/llvm-project-15.0.7/mlir/lib/Analysis/Presburger/
H A DPWMAFunction.cpp358 PWMAFunction PWMAFunction::unionLexMax(const PWMAFunction &func) { in unionLexMax() function in PWMAFunction