[Mlir-commits] [mlir] [MLIR] Change name and description of `mlir-print-assume-verified` to be more explicit. (PR #184812)

[llvmlistbot at llvm.org]

github-actions[bot] wrote:

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

* 3516 tests passed
* 416 tests skipped
* 2 tests failed

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

### MLIR
<details>
<summary>MLIR.IR/print-ir-invalid.mlir</summary>

```
Exit Code: 2

Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe -test-print-invalid C:\_work\llvm-project\llvm-project\mlir\test\IR\print-ir-invalid.mlir | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\IR\print-ir-invalid.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' -test-print-invalid 'C:\_work\llvm-project\llvm-project\mlir\test\IR\print-ir-invalid.mlir'
# 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\IR\print-ir-invalid.mlir'
# note: command had no output on stdout or stderr
# RUN: at line 2
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe -test-print-invalid C:\_work\llvm-project\llvm-project\mlir\test\IR\print-ir-invalid.mlir --mlir-print-assume-verified  | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\IR\print-ir-invalid.mlir --check-prefix=ASSUME-VERIFIED
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' -test-print-invalid 'C:\_work\llvm-project\llvm-project\mlir\test\IR\print-ir-invalid.mlir' --mlir-print-assume-verified
# .---command stderr------------
# | mlir-opt.exe: Unknown command line argument '--mlir-print-assume-verified'.  Try: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe --help'
# | mlir-opt.exe: Did you mean '--mlir-unsafe-print-assume-verified'?
# `-----------------------------
# error: command failed with exit status: 1
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\IR\print-ir-invalid.mlir' --check-prefix=ASSUME-VERIFIED
# .---command stderr------------
# | FileCheck error: '<stdin>' is empty.
# | FileCheck command line:  c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\IR\print-ir-invalid.mlir --check-prefix=ASSUME-VERIFIED
# `-----------------------------
# error: command failed with exit status: 2

--

```
</details>
<details>
<summary>MLIR.Pass/invalid-ir-print-after-failure.mlir</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\not.exe c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe C:\_work\llvm-project\llvm-project\mlir\test\Pass\invalid-ir-print-after-failure.mlir -pass-pipeline='builtin.module(func.func(test-pass-create-invalid-ir{emit-invalid-ir=true signal-pass-failure=true}))' -mlir-print-ir-after-failure 2>&1 | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Pass\invalid-ir-print-after-failure.mlir --check-prefix=CHECK-GENERIC
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\not.exe' 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Pass\invalid-ir-print-after-failure.mlir' '-pass-pipeline=builtin.module(func.func(test-pass-create-invalid-ir{emit-invalid-ir=true signal-pass-failure=true}))' -mlir-print-ir-after-failure
# 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\Pass\invalid-ir-print-after-failure.mlir' --check-prefix=CHECK-GENERIC
# note: command had no output on stdout or stderr
# RUN: at line 2
c:\_work\llvm-project\llvm-project\build\bin\not.exe c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe C:\_work\llvm-project\llvm-project\mlir\test\Pass\invalid-ir-print-after-failure.mlir -pass-pipeline='builtin.module(func.func(test-pass-create-invalid-ir{emit-invalid-ir=true signal-pass-failure=false}))' -mlir-print-ir-after-failure 2>&1 | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Pass\invalid-ir-print-after-failure.mlir --check-prefix=CHECK-GENERIC
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\not.exe' 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Pass\invalid-ir-print-after-failure.mlir' '-pass-pipeline=builtin.module(func.func(test-pass-create-invalid-ir{emit-invalid-ir=true signal-pass-failure=false}))' -mlir-print-ir-after-failure
# 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\Pass\invalid-ir-print-after-failure.mlir' --check-prefix=CHECK-GENERIC
# note: command had no output on stdout or stderr
# RUN: at line 3
c:\_work\llvm-project\llvm-project\build\bin\not.exe c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe C:\_work\llvm-project\llvm-project\mlir\test\Pass\invalid-ir-print-after-failure.mlir -pass-pipeline='builtin.module(func.func(test-pass-create-invalid-ir{emit-invalid-ir=false signal-pass-failure=true}))' -mlir-print-ir-after-failure 2>&1  | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Pass\invalid-ir-print-after-failure.mlir --check-prefix=CHECK-CUSTOM
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\not.exe' 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Pass\invalid-ir-print-after-failure.mlir' '-pass-pipeline=builtin.module(func.func(test-pass-create-invalid-ir{emit-invalid-ir=false signal-pass-failure=true}))' -mlir-print-ir-after-failure
# 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\Pass\invalid-ir-print-after-failure.mlir' --check-prefix=CHECK-CUSTOM
# note: command had no output on stdout or stderr
# RUN: at line 4
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe C:\_work\llvm-project\llvm-project\mlir\test\Pass\invalid-ir-print-after-failure.mlir -pass-pipeline='builtin.module(func.func(test-pass-create-invalid-ir{emit-invalid-ir=false signal-pass-failure=false}))' -mlir-print-ir-after-failure 2>&1  | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Pass\invalid-ir-print-after-failure.mlir --check-prefix=CHECK-CUSTOM
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Pass\invalid-ir-print-after-failure.mlir' '-pass-pipeline=builtin.module(func.func(test-pass-create-invalid-ir{emit-invalid-ir=false signal-pass-failure=false}))' -mlir-print-ir-after-failure
# 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\Pass\invalid-ir-print-after-failure.mlir' --check-prefix=CHECK-CUSTOM
# note: command had no output on stdout or stderr
# RUN: at line 7
c:\_work\llvm-project\llvm-project\build\bin\not.exe c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe C:\_work\llvm-project\llvm-project\mlir\test\Pass\invalid-ir-print-after-failure.mlir -pass-pipeline='builtin.module(func.func(test-pass-create-invalid-ir{emit-invalid-ir=true signal-pass-failure=true}))' -mlir-print-ir-after-failure 2>&1 -mlir-print-assume-verified | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Pass\invalid-ir-print-after-failure.mlir --check-prefix=CHECK-CUSTOM
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\not.exe' 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Pass\invalid-ir-print-after-failure.mlir' '-pass-pipeline=builtin.module(func.func(test-pass-create-invalid-ir{emit-invalid-ir=true signal-pass-failure=true}))' -mlir-print-ir-after-failure -mlir-print-assume-verified
# 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\Pass\invalid-ir-print-after-failure.mlir' --check-prefix=CHECK-CUSTOM
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Pass\invalid-ir-print-after-failure.mlir:12:18: error: CHECK-CUSTOM: expected string not found in input
# | // CHECK-CUSTOM: func @TestCreateInvalidCallInPass
# |                  ^
# | <stdin>:1:1: note: scanning from here
# | mlir-opt.exe: Unknown command line argument '-mlir-print-assume-verified'. Try: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe --help'
# | ^
# | <stdin>:1:28: note: possible intended match here
# | mlir-opt.exe: Unknown command line argument '-mlir-print-assume-verified'. Try: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe --help'
# |                            ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Pass\invalid-ir-print-after-failure.mlir
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |             1: mlir-opt.exe: Unknown command line argument '-mlir-print-assume-verified'. Try: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe --help' 
# | check:12'0     X~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
# | check:12'1                                ?                                                                                                                        possible intended match
# |             2: mlir-opt.exe: Did you mean '--mlir-unsafe-print-assume-verified'? 
# | check:12'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | >>>>>>
# `-----------------------------
# 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/184812