[Mlir-commits] [mlir] 17f4f23 - [MLIR, test] Fix use of undef FileCheck var

[Thomas Preud'homme]

Author: Thomas Preud'homme
Date: 2021-04-06T16:58:09+01:00
New Revision: 17f4f23eeab402c792fb5c6a8e66be6afd88c33f

URL: https://github.com/llvm/llvm-project/commit/17f4f23eeab402c792fb5c6a8e66be6afd88c33f
DIFF: https://github.com/llvm/llvm-project/commit/17f4f23eeab402c792fb5c6a8e66be6afd88c33f.diff

LOG: [MLIR, test] Fix use of undef FileCheck var

MLIR test Transforms/canonicalize.mlir tries to check for the absence of
a sequence of instructions with several CHECK-NOT with one of those
directives using a variable defined in another. However CHECK-NOT are
checked independently so that is using a variable defined in a pattern
that should not occur in the input.

This commit removes the dependency between those CHECK-NOT by replacing
occurences of variables by the regex that were used to define them.

Reviewed By: pifon2a

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

Added: 
    

Modified: 
    mlir/test/Transforms/canonicalize.mlir

Removed: 
    


################################################################################
diff  --git a/mlir/test/Transforms/canonicalize.mlir b/mlir/test/Transforms/canonicalize.mlir
index e54135f21b4b..ba042327dac4 100644
--- a/mlir/test/Transforms/canonicalize.mlir
+++ b/mlir/test/Transforms/canonicalize.mlir
@@ -1129,8 +1129,8 @@ func @simple_clone_elimination() -> memref<5xf32> {
   return %ret : memref<5xf32>
 }
 // CHECK-NEXT: %[[ret:.*]] = memref.alloc()
-// CHECK-NOT: %[[temp:.*]] = memref.clone
-// CHECK-NOT: memref.dealloc %[[temp]]
+// CHECK-NOT: %{{.*}} = memref.clone
+// CHECK-NOT: memref.dealloc %{{.*}}
 // CHECK: return %[[ret]]
 
 // -----