[mlir][transform] Fix typo in ApplyConversionPatternsOp

[springerm]

Summary

Also add extra test cases for partial/full conversion.

mlir/include/mlir/Dialect/Transform/IR/TransformOps.td

let description = [{
     This transform fails silently if the dialect conversion was unsuccessful.
   }];
 
   let arguments = (ins TransformHandleTypeInterface:$target,
                        OptionalAttr<StrArrayAttr>:$legal_ops,
                        OptionalAttr<StrArrayAttr>:$illegal_ops,
                        OptionalAttr<StrArrayAttr>:$legal_dialects,
                        OptionalAttr<StrArrayAttr>:$illegal_dialects,
-                       UnitAttr:$partialConversion);
+                       UnitAttr:$partial_conversion);
   let results = (outs);
   let regions = (region
       MaxSizedRegion<1>:$patterns,
       VariadicRegion<MaxSizedRegion<1>>:$default_type_converter_region);
 
   let assemblyFormat = [{
     `to` $target $patterns
     (`with` `type_converter` $default_type_converter_region^)?

mlir/test/Dialect/Transform/test-pattern-application.mlir

 
 transform.sequence failures(propagate) {
 ^bb1(%arg1: !transform.any_op):
   %0 = transform.structured.match ops{["func.func"]} in %arg1 : (!transform.any_op) -> !transform.any_op
   transform.apply_conversion_patterns to %0 {
     transform.apply_conversion_patterns.transform.test_conversion_patterns
   } with type_converter {
     transform.apply_conversion_patterns.transform.test_type_converter
-  } {illegal_ops = ["test.foo"],
-     legal_ops = ["func.func", "func.return", "test.new_op"]}
+  } {legal_ops = ["func.func", "func.return", "test.new_op"]}
+      : !transform.any_op
+}
+
+// -----
+
+// Full dialect conversion fails because test.bar is not replaced and not legal.
+
+// expected-note @below{{target op}}
+func.func @full_dialect_conversion_failed() -> tensor<5xf32> {
+  %0 = "test.foo"() {replace_with_new_op = "test.bar"} : () -> (tensor<5xf32>)
+  // expected-error @below{{failed to legalize operation 'test.bar'}}
+  "test.bar"() : () -> ()
+  return %0 : tensor<5xf32>
+}
+
+transform.sequence failures(propagate) {
+^bb1(%arg1: !transform.any_op):
+  %0 = transform.structured.match ops{["func.func"]} in %arg1 : (!transform.any_op) -> !transform.any_op
+  // expected-error @below{{dialect conversion failed}}
+  transform.apply_conversion_patterns to %0 {
+    transform.apply_conversion_patterns.transform.test_conversion_patterns
+  } with type_converter {
+    transform.apply_conversion_patterns.transform.test_type_converter
+  } {legal_ops = ["func.func", "func.return", "test.new_op"]}
       : !transform.any_op
 }
 
 // -----
 
+// Partial dialect conversion succeeds because test.bar is not explicitly
+// illegal.
+
+// CHECK-LABEL: func @partial_dialect_conversion
+//  CHECK-NEXT:   %[[m:.*]] = "test.new_op"() : () -> memref<5xf32>
+//  CHECK-NEXT:   %[[cast:.*]] = builtin.unrealized_conversion_cast %0 : memref<5xf32> to tensor<5xf32>
+//  CHECK-NEXT:   "test.bar"
+//  CHECK-NEXT:   return %[[cast]]
+func.func @partial_dialect_conversion() -> tensor<5xf32> {
+  %0 = "test.foo"() {replace_with_new_op = "test.bar"} : () -> (tensor<5xf32>)
+  "test.bar"() : () -> ()
+  return %0 : tensor<5xf32>
+}
+
+transform.sequence failures(propagate) {
+^bb1(%arg1: !transform.any_op):
+  %0 = transform.structured.match ops{["func.func"]} in %arg1 : (!transform.any_op) -> !transform.any_op
+  transform.apply_conversion_patterns to %0 {
+    transform.apply_conversion_patterns.transform.test_conversion_patterns
+  } with type_converter {
+    transform.apply_conversion_patterns.transform.test_type_converter
+  } {legal_ops = ["func.func", "func.return", "test.new_op"],
+     partial_conversion} : !transform.any_op
+}
+
+// -----
+
 transform.sequence failures(propagate) {
 ^bb1(%arg1: !transform.any_op):
   %0 = transform.structured.match ops{["func.func"]} in %arg1 : (!transform.any_op) -> !transform.any_op
   // expected-error @below{{conversion target is not specified}}
   transform.apply_conversion_patterns to %0 {
     transform.apply_conversion_patterns.transform.test_conversion_patterns
   } with type_converter {
     transform.apply_conversion_patterns.transform.test_type_converter