Home
last modified time | relevance | path

Searched refs:universeSquare (Results 1 – 6 of 6) sorted by relevance

/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/mlir/unittests/Analysis/
H A DPresburgerSetTest.cpp587 PresburgerSet universeSquare = rect.unionSet(rect.complement()); in TEST() local
588 EXPECT_TRUE(universeRect.isEqual(universeSquare)); in TEST()
590 EXPECT_FALSE(universeSquare.isEqual(square)); in TEST()
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/mlir/unittests/Analysis/
H A DPresburgerSetTest.cpp587 PresburgerSet universeSquare = rect.unionSet(rect.complement()); in TEST() local
588 EXPECT_TRUE(universeRect.isEqual(universeSquare)); in TEST()
590 EXPECT_FALSE(universeSquare.isEqual(square)); in TEST()
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/mlir/unittests/Analysis/
H A DPresburgerSetTest.cpp587 PresburgerSet universeSquare = rect.unionSet(rect.complement()); in TEST() local
588 EXPECT_TRUE(universeRect.isEqual(universeSquare)); in TEST()
590 EXPECT_FALSE(universeSquare.isEqual(square)); in TEST()
/dports/devel/llvm12/llvm-project-12.0.1.src/mlir/unittests/Analysis/
H A DPresburgerSetTest.cpp587 PresburgerSet universeSquare = rect.unionSet(rect.complement()); in TEST() local
588 EXPECT_TRUE(universeRect.isEqual(universeSquare)); in TEST()
590 EXPECT_FALSE(universeSquare.isEqual(square)); in TEST()
/dports/devel/llvm13/llvm-project-13.0.1.src/mlir/unittests/Analysis/
H A DPresburgerSetTest.cpp587 PresburgerSet universeSquare = rect.unionSet(rect.complement());
588 EXPECT_TRUE(universeRect.isEqual(universeSquare));
590 EXPECT_FALSE(universeSquare.isEqual(square));
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/mlir/unittests/Analysis/
H A DPresburgerSetTest.cpp601 PresburgerSet universeSquare = rect.unionSet(rect.complement()); in TEST() local
602 EXPECT_TRUE(universeRect.isEqual(universeSquare)); in TEST()
604 EXPECT_FALSE(universeSquare.isEqual(square)); in TEST()