[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: Linux-->
# :penguin: Linux x64 Test Results

* 7589 tests passed
* 603 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
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt -test-print-invalid /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/IR/print-ir-invalid.mlir | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/IR/print-ir-invalid.mlir
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt -test-print-invalid /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/IR/print-ir-invalid.mlir
# note: command had no output on stdout or stderr
# 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/IR/print-ir-invalid.mlir
# note: command had no output on stdout or stderr
# RUN: at line 2
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt -test-print-invalid /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/IR/print-ir-invalid.mlir --mlir-print-assume-verified  | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/IR/print-ir-invalid.mlir --check-prefix=ASSUME-VERIFIED
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt -test-print-invalid /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/IR/print-ir-invalid.mlir --mlir-print-assume-verified
# .---command stderr------------
# | mlir-opt: Unknown command line argument '--mlir-print-assume-verified'.  Try: '/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt --help'
# | mlir-opt: Did you mean '--mlir-unsafe-print-assume-verified'?
# `-----------------------------
# 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/IR/print-ir-invalid.mlir --check-prefix=ASSUME-VERIFIED
# .---command stderr------------
# | FileCheck error: '<stdin>' is empty.
# | FileCheck command line:  /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_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
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/not /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt /home/gha/actions-runner/_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 | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Pass/invalid-ir-print-after-failure.mlir --check-prefix=CHECK-GENERIC
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/not /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt /home/gha/actions-runner/_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: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_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
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/not /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt /home/gha/actions-runner/_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 | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Pass/invalid-ir-print-after-failure.mlir --check-prefix=CHECK-GENERIC
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/not /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt /home/gha/actions-runner/_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: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_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
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/not /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt /home/gha/actions-runner/_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  | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Pass/invalid-ir-print-after-failure.mlir --check-prefix=CHECK-CUSTOM
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/not /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt /home/gha/actions-runner/_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: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_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
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt /home/gha/actions-runner/_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  | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Pass/invalid-ir-print-after-failure.mlir --check-prefix=CHECK-CUSTOM
# 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/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: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_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
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/not /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt /home/gha/actions-runner/_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 | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Pass/invalid-ir-print-after-failure.mlir --check-prefix=CHECK-CUSTOM
# executed command: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/not /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt /home/gha/actions-runner/_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: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Pass/invalid-ir-print-after-failure.mlir --check-prefix=CHECK-CUSTOM
# .---command stderr------------
# | /home/gha/actions-runner/_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: Unknown command line argument '-mlir-print-assume-verified'. Try: '/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt --help'
# | ^
# | <stdin>:1:24: note: possible intended match here
# | mlir-opt: Unknown command line argument '-mlir-print-assume-verified'. Try: '/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt --help'
# |                        ^
# | 
# | Input file: <stdin>
# | Check file: /home/gha/actions-runner/_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: Unknown command line argument '-mlir-print-assume-verified'. Try: '/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt --help' 
# | check:12'0     X~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
# | check:12'1                            ?                                                                                                                                          possible intended match
# |             2: mlir-opt: 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