[mlir] Minimize testcase

Signed-off-by: ikulagin <[email protected]>

Author: ikulagin

mlir/test/Analysis/test-liveness.mlir

@@ -503,56 +503,15 @@ func.func @nested_region4(%arg0: index, %arg1: index, %arg2: index) {
   // CHECK-NEXT: LiveIn:{{ *$}}
   // CHECK-NEXT: LiveOut:{{ *$}}
 
-  // CHECK-NEXT: BeginLivenessIntervals
-  // CHECK-NEXT: [[VAL3:[a-z0-9_]+]]{{ *:}}
-  // CHECK-NEXT: %{{.*}} = arith.constant 0
-  // CHECK-NEXT: %{{.*}} = arith.constant 1
-  // CHECK-NEXT: %{{.*}} = scf.for
-  // COM:         Skipping the body of the scf.for...
-  // CHECK:      }
-
-  // CHECK-NEXT: [[VAL4:[a-z0-9_]+]]{{ *:}}
-  // CHECK-NEXT: %{{.*}} = arith.constant 1
-  // CHECK-NEXT: %{{.*}} = scf.for
-  // COM:         Skipping the body of the scf.for...
-  // CHECK:      }
-  // CHECK-NEXT: %{{.*}} = arith.addi %{{.*}}, %{{.*}} : {{[a-z0-9]}}
-
-  // CHECK-NEXT: [[VAL5:[a-z0-9_]+]]{{ *:}}
-  // CHECK-NEXT: %{{.*}} = scf.for
-  // COM:         Skipping the body of the scf.for...
-  // CHECK:      }
-  // CHECK-NEXT: EndLivenessIntervals
-
-  // CHECK-NEXT: BeginCurrentlyLive
-  // CHECK-NEXT: %{{.*}} = arith.constant 0
-  // CHECK-SAME: arg0@0 arg1@0 arg2@0 [[VAL3]]
-  // CHECK-NEXT: %{{.*}} = arith.constant 1
-  // CHECK-SAME: arg0@0 arg1@0 arg2@0 [[VAL3]] [[VAL4]]
-  // CHECK-NEXT: %{{.*}} = scf.for
-  // COM:          Skipping the body of the scf.for...
-  // CHECK:      }
-  // CHECK-SAME: arg0@0 arg1@0 arg2@0 [[VAL3]] [[VAL4]] [[VAL5]]
-  // CHECK-NEXT: EndCurrentlyLive
+  // CHECK: {{^// +}}[[VAL3:[a-z0-9_]+]]{{ *:}}
+  // CHECK: {{^// +}}[[VAL4:[a-z0-9_]+]]{{ *:}}
   %c0_i32 = arith.constant 0 : i32
   %c1_i32 = arith.constant 1 : i32
 
   %0 = scf.for %arg3 = %arg0 to %arg1 step %arg2 iter_args(%arg4 = %c0_i32) -> (i32) {
-    // CHECK-NEXT: Block: 1
+    // CHECK: Block: 1
     // CHECK-NEXT: LiveIn: [[VAL4]]{{ *$}}
     // CHECK-NEXT: LiveOut:{{ *$}}
-    // CHECK-NEXT: BeginLivenessIntervals
-    // CHECK-NEXT: [[VAL8:[a-z0-9_]+]]{{ *:}}
-    // CHECK-NEXT: %{{.*}} = arith.addi
-    // CHECK-NEXT: scf.yield
-    // CHECK-NEXT: EndLivenessIntervals
-
-    // CHECK-NEXT: BeginCurrentlyLive
-    // CHECK-NEXT: %{{.*}} = arith.addi
-    // CHECK-SAME: [[VAL4]] arg0@1 arg1@1 [[VAL8]]
-    // CHECK-NEXT: scf.yield %{{[a-z0-9]+}}
-    // CHECK-SAME: [[VAL8]]
-    // CHECK-NEXT: EndCurrentlyLive
     %1 = arith.addi %arg4, %c1_i32 : i32
     scf.yield %1 : i32
   }