[Mlir-commits] [mlir] 189f4ac - [mlir][Presburger] Remove slow applyDomainAndRange test

[llvmlistbot at llvm.org]

Author: Groverkss
Date: 2023-08-21T17:10:29+05:30
New Revision: 189f4aca68938b88f72beee9b792794837cde522

URL: https://github.com/llvm/llvm-project/commit/189f4aca68938b88f72beee9b792794837cde522
DIFF: https://github.com/llvm/llvm-project/commit/189f4aca68938b88f72beee9b792794837cde522.diff

LOG: [mlir][Presburger] Remove slow applyDomainAndRange test

The test creates two maps, which explode in output size when subtracting,
causing the test to take +11 seconds on a debug build. Removing the slow
test until more simplifications in subtraction are added.

Reviewed By: arjunp

Differential Revision: https://reviews.llvm.org/D158406

Added: 
    

Modified: 
    mlir/unittests/Analysis/Presburger/PresburgerRelationTest.cpp

Removed: 
    


################################################################################
diff  --git a/mlir/unittests/Analysis/Presburger/PresburgerRelationTest.cpp b/mlir/unittests/Analysis/Presburger/PresburgerRelationTest.cpp
index edb41050f9dfa6..20bdb6e7c0c508 100644
--- a/mlir/unittests/Analysis/Presburger/PresburgerRelationTest.cpp
+++ b/mlir/unittests/Analysis/Presburger/PresburgerRelationTest.cpp
@@ -100,46 +100,6 @@ TEST(PresburgerRelationTest, intersectDomainAndRange) {
 }
 
 TEST(PresburgerRelationTest, applyDomainAndRange) {
-  {
-    PresburgerRelation map1 = parsePresburgerRelationFromPresburgerSet(
-        {// (x, y) -> (x + N, y - N)
-         "(x, y, a, b)[N] : (x - a + N == 0, y - b - N == 0)",
-         // (x, y) -> (y, x)
-         "(x, y, a, b)[N] : (a - y == 0, b - x == 0)",
-         // (x, y) -> (x + y, x - y)
-         "(x, y, a, b)[N] : (a - x - y == 0, b - x + y == 0)"},
-        2);
-    PresburgerRelation map2 = parsePresburgerRelationFromPresburgerSet(
-        {// (x, y) -> (x + y)
-         "(x, y, r)[N] : (r - x - y == 0)",
-         // (x, y) -> (N)
-         "(x, y, r)[N] : (r - N == 0)",
-         // (x, y) -> (y - x)
-         "(x, y, r)[N] : (r + x - y == 0)"},
-        2);
-
-    map1.applyRange(map2);
-
-    PresburgerRelation map3 = parsePresburgerRelationFromPresburgerSet(
-        {
-            // (x, y) -> (x + y)
-            "(x, y, r)[N] : (r - x - y == 0)",
-            // (x, y) -> (N)
-            "(x, y, r)[N] : (r - N == 0)",
-            // (x, y) -> (y - x - 2N)
-            "(x, y, r)[N] : (r - y + x + 2 * N == 0)",
-            // (x, y) -> (x - y)
-            "(x, y, r)[N] : (r - x + y == 0)",
-            // (x, y) -> (2x)
-            "(x, y, r)[N] : (r - 2 * x == 0)",
-            // (x, y) -> (-2y)
-            "(x, y, r)[N] : (r + 2 * y == 0)",
-        },
-        2);
-
-    EXPECT_TRUE(map1.isEqual(map3));
-  }
-
   {
     PresburgerRelation map1 = parsePresburgerRelationFromPresburgerSet(
         {// (x, y) -> (y, x)