Home
last modified time | relevance | path

Searched refs:emptySet (Results 1 – 2 of 2) sorted by relevance

/llvm-project-15.0.7/mlir/unittests/Analysis/Presburger/
H A DPresburgerSetTest.cpp377 PresburgerSet emptySet = in TEST() local
384 EXPECT_FALSE(universe.isEqual(emptySet)); in TEST()
386 EXPECT_FALSE(emptySet.isEqual(universe)); in TEST()
388 EXPECT_TRUE(emptySet.isEqual(emptySet)); in TEST()
393 EXPECT_TRUE(universe.unionSet(emptySet).isEqual(universe)); in TEST()
397 EXPECT_TRUE(emptySet.unionSet(emptySet).isEqual(emptySet)); in TEST()
399 EXPECT_FALSE(universe.unionSet(emptySet).isEqual(emptySet)); in TEST()
401 EXPECT_FALSE(universe.unionSet(universe).isEqual(emptySet)); in TEST()
403 EXPECT_FALSE(emptySet.unionSet(emptySet).isEqual(universe)); in TEST()
406 EXPECT_TRUE(set.subtract(set).isEqual(emptySet)); in TEST()
/llvm-project-15.0.7/mlir/test/CAPI/
H A Dir.c1493 MlirIntegerSet emptySet = mlirIntegerSetEmptyGet(ctx, 2, 1); in printIntegerSet() local
1499 mlirIntegerSetDump(emptySet); in printIntegerSet()
1501 if (!mlirIntegerSetIsCanonicalEmpty(emptySet)) in printIntegerSet()
1505 if (!mlirIntegerSetEqual(emptySet, anotherEmptySet)) in printIntegerSet()