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

[llvmlistbot at llvm.org]

github-actions[bot] wrote:

<!--PREMERGE ADVISOR COMMENT: Linux-->
# :penguin: Linux x64 Test Results

* 8845 tests passed
* 647 tests skipped
* 1 test failed

## Failed Tests
(click on a test name to see its output)

### MLIR
<details>
<summary>MLIR.Dialect/Bufferization/Transforms/one-shot-module-bufferize.mlir</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 2
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Dialect/Bufferization/Transforms/one-shot-module-bufferize.mlir -one-shot-bufferize="bufferize-function-boundaries=1" -canonicalize -drop-equivalent-buffer-results -split-input-file | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Dialect/Bufferization/Transforms/one-shot-module-bufferize.mlir
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Dialect/Bufferization/Transforms/one-shot-module-bufferize.mlir -one-shot-bufferize=bufferize-function-boundaries=1 -canonicalize -drop-equivalent-buffer-results -split-input-file
# .---command stderr------------
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Dialect/Bufferization/Transforms/one-shot-module-bufferize.mlir:603:37: error: custom op 'func.call' inherent attribute 'no_inline' cannot be parsed from attr-dict when strict properties in assembly format is enabled
# |     %3 = func.call @inner_func(%t1) {no_inline} : (tensor<?xf32>) -> tensor<?xf32>
# |                                     ^
# `-----------------------------
# error: command failed with exit status: 1
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Dialect/Bufferization/Transforms/one-shot-module-bufferize.mlir
# .---command stderr------------
# | /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Dialect/Bufferization/Transforms/one-shot-module-bufferize.mlir:582:17: error: CHECK-LABEL: expected string not found in input
# | // CHECK-LABEL: func private @inner_func(
# |                 ^
# | <stdin>:200:55: note: scanning from here
# |  func.func @no_inline_execute_region_not_canonicalized() {
# |                                                       ^
# | <stdin>:235:5: note: possible intended match here
# |  func.func private @init_and_dot(%arg0: memref<64xf32, strided<[?], offset: ?>>, %arg1: memref<64xf32, strided<[?], offset: ?>>, %arg2: memref<f32, strided<[], offset: ?>>) {
# |     ^
# | 
# | Input file: <stdin>
# | Check file: /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Dialect/Bufferization/Transforms/one-shot-module-bufferize.mlir
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |              .
# |              .
# |              .
# |            195: } 
# |            196:  
# |            197: // ----- 
# |            198: module { 
# |            199:  func.func private @foo() 
# |            200:  func.func @no_inline_execute_region_not_canonicalized() { 
# | label:582'0                                                          {       search range start (exclusive)
# | label:582'1                                                                  error: no match found in search range
# |            201:  scf.execute_region no_inline { 
# |            202:  func.call @foo() : () -> () 
# |            203:  scf.yield 
# |            204:  } 
# |            205:  return 
# |              .
# |              .
# |              .
# |            230:  } 
# |            231: } 
# |            232:  
# |            233: // ----- 
# |            234: module { 
# |            235:  func.func private @init_and_dot(%arg0: memref<64xf32, strided<[?], offset: ?>>, %arg1: memref<64xf32, strided<[?], offset: ?>>, %arg2: memref<f32, strided<[], offset: ?>>) { 
# | label:582'2         ?                                                                                                                                                                            possible intended match
# |            236:  %cst = arith.constant 0.000000e+00 : f32 
# |            237:  linalg.fill ins(%cst : f32) outs(%arg2 : memref<f32, strided<[], offset: ?>>) 
# |            238:  linalg.dot ins(%arg0, %arg1 : memref<64xf32, strided<[?], offset: ?>>, memref<64xf32, strided<[?], offset: ?>>) outs(%arg2 : memref<f32, strided<[], offset: ?>>) 
# |            239:  return 
# |            240:  } 
# |              .
# |              .
# |              .
# |            440:  %cast_0 = memref.cast %0 : memref<*xf32> to memref<64x20x40xf32, strided<[?, ?, ?], offset: ?>> 
# |            441:  return %cast_0 : memref<64x20x40xf32, strided<[?, ?, ?], offset: ?>> 
# |            442:  } 
# |            443:  func.func private @relu_unranked(memref<*xf32>) -> memref<*xf32> 
# |            444: } 
# |            445:  
# | label:582'3      } search range end (exclusive)
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1

--

```
</details>

If these failures are unrelated to your changes (for example tests are broken or flaky at HEAD), please open an issue at https://github.com/llvm/llvm-project/issues and add the `infrastructure` label.

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