[Mlir-commits] [mlir] [mlir] add normal form checked transform interface (PR #192647)

[llvmlistbot at llvm.org]

github-actions[bot] wrote:

<!--PREMERGE ADVISOR COMMENT: Windows-->
# :window: Windows x64 Test Results

* 3624 tests passed
* 417 tests skipped
* 1 test failed

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

### MLIR
<details>
<summary>MLIR.Dialect/Transform/normal-forms.mlir</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Transform\normal-forms.mlir --split-input-file --verify-diagnostics --transform-interpreter | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Transform\normal-forms.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Transform\normal-forms.mlir' --split-input-file --verify-diagnostics --transform-interpreter
# note: command had no output on stdout or stderr
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Transform\normal-forms.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Transform\normal-forms.mlir:151:16: error: CHECK-SAME: is not on the same line as the previous match
# | // CHECK-SAME: test.counting_normal_form_count = 5 : i64
# |                ^
# | <stdin>:53:87: note: 'next' match was here
# |  transform.payload attributes {normal_forms = [#transform.test_counting_normal_form], test.counting_normal_form_count = 5 : i64} {
# |                                                                                       ^
# | <stdin>:38:19: note: previous match ended here
# |  transform.payload attributes {normal_forms = [#transform.test_single_block_normal_form<nested true>]} {
# |                   ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Dialect\Transform\normal-forms.mlir
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |           .
# |           .
# |           .
# |          48: // ----- 
# |          49: // ----- 
# |          50: // ----- 
# |          51: // ----- 
# |          52: module attributes {transform.with_named_sequence} { 
# |          53:  transform.payload attributes {normal_forms = [#transform.test_counting_normal_form], test.counting_normal_form_count = 5 : i64} { 
# | same:151                                                                                           !~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~     error: match on wrong line
# |          54:  transform.test_dummy_payload_op : () -> () 
# |          55:  } 
# |          56:  transform.named_sequence @__transform_main(%arg0: !transform.any_op) { 
# |          57:  %0 = transform.structured.match ops{["transform.payload"]} in %arg0 : (!transform.any_op) -> !transform.normalized_op<#transform.test_counting_normal_form> 
# |          58:  transform.yield  
# |          59:  } 
# |          60: } 
# |          61:  
# | >>>>>>
# `-----------------------------
# 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/192647