[Mlir-commits] [mlir] [MLIR][Transform] Enable strict property assembly format (PR #217290)

[LLVM Continuous Integration]

llvm-ci wrote:

LLVM Buildbot has detected a new failure on builder `ppc64le-mlir-rhel-clang` running on `ppc64le-mlir-rhel-test` while building `mlir` at step 6 "test-build-check-mlir-build-only-check-mlir".

Full details are available at: https://lab.llvm.org/buildbot/#/builders/129/builds/52151

<details>
<summary>Here is the relevant piece of the build log for the reference</summary>

```
Step 6 (test-build-check-mlir-build-only-check-mlir) failure: test (failure)
******************** TEST 'MLIR :: Dialect/Linalg/vectorization/convolution-with-patterns.mlir' FAILED ********************
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 1
/home/buildbots/llvm-external-buildbots/workers/ppc64le-mlir-rhel-test/ppc64le-mlir-rhel-clang-build/build/bin/mlir-opt -transform-interpreter -split-input-file  /home/buildbots/llvm-external-buildbots/workers/ppc64le-mlir-rhel-test/ppc64le-mlir-rhel-clang-build/llvm-project/mlir/test/Dialect/Linalg/vectorization/convolution-with-patterns.mlir | /home/buildbots/llvm-external-buildbots/workers/ppc64le-mlir-rhel-test/ppc64le-mlir-rhel-clang-build/build/bin/FileCheck /home/buildbots/llvm-external-buildbots/workers/ppc64le-mlir-rhel-test/ppc64le-mlir-rhel-clang-build/llvm-project/mlir/test/Dialect/Linalg/vectorization/convolution-with-patterns.mlir
# executed command: /home/buildbots/llvm-external-buildbots/workers/ppc64le-mlir-rhel-test/ppc64le-mlir-rhel-clang-build/build/bin/mlir-opt -transform-interpreter -split-input-file /home/buildbots/llvm-external-buildbots/workers/ppc64le-mlir-rhel-test/ppc64le-mlir-rhel-clang-build/llvm-project/mlir/test/Dialect/Linalg/vectorization/convolution-with-patterns.mlir
# .---command stderr------------
# | /home/buildbots/llvm-external-buildbots/workers/ppc64le-mlir-rhel-test/ppc64le-mlir-rhel-clang-build/llvm-project/mlir/test/Dialect/Linalg/vectorization/convolution-with-patterns.mlir:941:37: error: custom op 'transform.get_parent_op' inherent attribute 'isolated_from_above' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# |     %1 = transform.get_parent_op %0 {isolated_from_above} : (!transform.any_op) -> !transform.any_op
# |                                     ^
# `-----------------------------
# error: command failed with exit status: 1
# executed command: /home/buildbots/llvm-external-buildbots/workers/ppc64le-mlir-rhel-test/ppc64le-mlir-rhel-clang-build/build/bin/FileCheck /home/buildbots/llvm-external-buildbots/workers/ppc64le-mlir-rhel-test/ppc64le-mlir-rhel-clang-build/llvm-project/mlir/test/Dialect/Linalg/vectorization/convolution-with-patterns.mlir
# .---command stderr------------
# | /home/buildbots/llvm-external-buildbots/workers/ppc64le-mlir-rhel-test/ppc64le-mlir-rhel-clang-build/llvm-project/mlir/test/Dialect/Linalg/vectorization/convolution-with-patterns.mlir:927:17: error: CHECK-LABEL: expected string not found in input
# | // CHECK-LABEL: func @generic_conv_1d_nwc_wcf_unsigned_input_memref
# |                 ^
# | <stdin>:486:48: note: scanning from here
# |  func.func @conv_1d_nwc_wcf_mixed_int_fp_memref(%arg0: memref<1x2x3xi8>, %arg1: memref<1x3x2xi8>, %arg2: memref<1x2x2xf32>) {
# |                                                ^
# | <stdin>:502:27: note: possible intended match here
# |  %0 = transform.structured.match ops{["linalg.conv_1d_nwc_wcf", "linalg.generic"]} in %arg0 : (!transform.any_op) -> !transform.any_op
# |                           ^
# | 
# | Input file: <stdin>
# | Check file: /home/buildbots/llvm-external-buildbots/workers/ppc64le-mlir-rhel-test/ppc64le-mlir-rhel-clang-build/llvm-project/mlir/test/Dialect/Linalg/vectorization/convolution-with-patterns.mlir
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |              .
# |              .
# |              .
# |            481: // ----- 
# |            482: #map = affine_map<(d0, d1, d2, d3) -> (d0, d1, d3)> 
# |            483: #map1 = affine_map<(d0, d1, d2, d3) -> (d3, d2)> 
# |            484: #map2 = affine_map<(d0, d1, d2, d3) -> (d0, d1, d2)> 
# |            485: module { 
# |            486:  func.func @conv_1d_nwc_wcf_mixed_int_fp_memref(%arg0: memref<1x2x3xi8>, %arg1: memref<1x3x2xi8>, %arg2: memref<1x2x2xf32>) { 
# | label:927'0                                                   {                                                                                 search range start (exclusive)
# | label:927'1                                                                                                                                     error: no match found in search range
# |            487:  %cst = arith.constant 0.000000e+00 : f32 
# |            488:  %c0 = arith.constant 0 : index 
# |            489:  %c0_i8 = arith.constant 0 : i8 
# |            490:  %0 = vector.transfer_read %arg0[%c0, %c0, %c0], %c0_i8 {in_bounds = [true, true, true]} : memref<1x2x3xi8>, vector<1x2x3xi8> 
# |            491:  %1 = vector.transfer_read %arg1[%c0, %c0, %c0], %c0_i8 {in_bounds = [true, true, true]} : memref<1x3x2xi8>, vector<1x3x2xi8> 
# |              .
...

```

</details>

https://github.com/llvm/llvm-project/pull/217290