[mlir][transform] Clean up test-interpreter.mlir test

[springerm]

Summary

Remove redundant CHECK lines. This test does not use FileCheck.

[ftynse]

It wasn't missing, it was never necessary in this test. Specifically, the sequence doesn't do anything with the function declaration here so there is no point in checking that it is still present.

[springerm]

There is a CHECK-NOT in line 259, should I remove it instead?

[springerm]

(The CHECK-LABEL was necessary so that the call @bar of the test afterwards is not matched by the CHECK-NOT.)

[ftynse]

Yes, let's drop that, it isn't really necessary. We see that the transformation was applied from the remark it emits. And the point of that test is not crashing because there is no second attempt at erasing the op.

[springerm]

address comments

mlir/test/Dialect/Transform/test-interpreter.mlir

-// RUN: mlir-opt %s --test-transform-dialect-interpreter -allow-unregistered-dialect --split-input-file --verify-diagnostics
+// RUN: mlir-opt %s --test-transform-dialect-interpreter -allow-unregistered-dialect --split-input-file --verify-diagnostics | FileCheck %s
 
 transform.sequence failures(propagate) {
 ^bb0(%arg0: !transform.any_op):
   // expected-remark @below {{applying transformation}}
   transform.test_transform_op
 }
 
 // -----
^bb2(%arg2: !pdl.operation):
       // expected-remark @below {{applying second time}}
       transform.test_emit_remark_and_erase_operand %2, "applying second time"
     }
   }
 }
 
 // -----
 
+// CHECK-LABEL: func private @bar
 func.func private @bar()
 
 func.func @foo() {
   call @bar() : () -> ()
   return
 }
 
 transform.with_pdl_patterns {