[llvm-branch-commits] [llvm] [llvm-mc] Add -verify=<prefixes> diagnostic-verification mode (PR #227569)

[via llvm-branch-commits]

github-actions[bot] wrote:

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

* 142999 tests passed
* 3386 tests skipped
* 2 tests failed

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

### MLIR
<details>
<summary>MLIR.Transforms/test-legalizer-analysis.mlir</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 1
c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe -allow-unregistered-dialect -test-legalize-patterns="test-legalize-mode=analysis" -verify-diagnostics C:\_work\llvm-project\llvm-project\mlir\test\Transforms\test-legalizer-analysis.mlir | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Transforms\test-legalizer-analysis.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' -allow-unregistered-dialect -test-legalize-patterns=test-legalize-mode=analysis -verify-diagnostics 'C:\_work\llvm-project\llvm-project\mlir\test\Transforms\test-legalizer-analysis.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Transforms\test-legalizer-analysis.mlir:2:4: error: line offset '-2' is before the start of the file
# | // expected-remark at -2 {{op 'builtin.module' is legalizable}}
# |    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | C:\_work\llvm-project\llvm-project\mlir\test\Transforms\test-legalizer-analysis.mlir:0:0: error: unexpected remark: op 'builtin.module' is legalizable
# | C:\_work\llvm-project\llvm-project\mlir\test\Transforms\test-legalizer-analysis.mlir:2:4: error: line offset '-2' is before the start of the file
# | // expected-remark at -2 {{op 'builtin.module' is legalizable}}
# |    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | C:\_work\llvm-project\llvm-project\mlir\test\Transforms\test-legalizer-analysis.mlir:4:4: error: expected remark "op 'func.func' is legalizable" was not produced
# | // expected-remark at +1 {{op 'func.func' is legalizable}}
# |    ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | C:\_work\llvm-project\llvm-project\mlir\test\Transforms\test-legalizer-analysis.mlir:6:6: error: expected remark "op 'test.illegal_op_a' is legalizable" was not produced
# |   // expected-remark at +1 {{op 'test.illegal_op_a' is legalizable}}
# |      ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | C:\_work\llvm-project\llvm-project\mlir\test\Transforms\test-legalizer-analysis.mlir:9:10: error: expected remark "op 'test.invalid' is legalizable" was not produced
# |       // expected-remark at +1 {{op 'test.invalid' is legalizable}}
# |          ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# `-----------------------------
# 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\Transforms\test-legalizer-analysis.mlir'
# note: command had no output on stdout or stderr

--

```
</details>

### LLVM
<details>
<summary>LLVM.tools/llvm-mc/verify/basic.s</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 4
rm -rf C:\_work\llvm-project\llvm-project\build\test\tools\llvm-mc\verify\Output\basic.s.tmp && split-file C:\_work\llvm-project\llvm-project\llvm\test\tools\llvm-mc\verify\basic.s C:\_work\llvm-project\llvm-project\build\test\tools\llvm-mc\verify\Output\basic.s.tmp
# executed command: rm -rf 'C:\_work\llvm-project\llvm-project\build\test\tools\llvm-mc\verify\Output\basic.s.tmp'
# note: command had no output on stdout or stderr
# executed command: split-file 'C:\_work\llvm-project\llvm-project\llvm\test\tools\llvm-mc\verify\basic.s' 'C:\_work\llvm-project\llvm-project\build\test\tools\llvm-mc\verify\Output\basic.s.tmp'
# note: command had no output on stdout or stderr
# RUN: at line 9
c:\_work\llvm-project\llvm-project\build\bin\llvm-mc.exe -triple riscv32 -verify C:\_work\llvm-project\llvm-project\build\test\tools\llvm-mc\verify\Output\basic.s.tmp/match.s
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\llvm-mc.exe' -triple riscv32 -verify 'C:\_work\llvm-project\llvm-project\build\test\tools\llvm-mc\verify\Output\basic.s.tmp/match.s'
# note: command had no output on stdout or stderr
# RUN: at line 12
c:\_work\llvm-project\llvm-project\build\bin\llvm-mc.exe -triple riscv32 -verify=check C:\_work\llvm-project\llvm-project\build\test\tools\llvm-mc\verify\Output\basic.s.tmp/match-custom-prefix.s
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\llvm-mc.exe' -triple riscv32 -verify=check 'C:\_work\llvm-project\llvm-project\build\test\tools\llvm-mc\verify\Output\basic.s.tmp/match-custom-prefix.s'
# note: command had no output on stdout or stderr
# RUN: at line 17
not c:\_work\llvm-project\llvm-project\build\bin\llvm-mc.exe -triple riscv32 -verify C:\_work\llvm-project\llvm-project\build\test\tools\llvm-mc\verify\Output\basic.s.tmp/near-miss.s 2>&1    | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\build\test\tools\llvm-mc\verify\Output\basic.s.tmp/near-miss.s --check-prefix=NEAR-MISS
# executed command: not 'c:\_work\llvm-project\llvm-project\build\bin\llvm-mc.exe' -triple riscv32 -verify 'C:\_work\llvm-project\llvm-project\build\test\tools\llvm-mc\verify\Output\basic.s.tmp/near-miss.s'
# 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\build\test\tools\llvm-mc\verify\Output\basic.s.tmp/near-miss.s' --check-prefix=NEAR-MISS
# note: command had no output on stdout or stderr
# RUN: at line 21
not c:\_work\llvm-project\llvm-project\build\bin\llvm-mc.exe -triple riscv32 -verify C:\_work\llvm-project\llvm-project\build\test\tools\llvm-mc\verify\Output\basic.s.tmp/unexpected.s 2>&1    | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\build\test\tools\llvm-mc\verify\Output\basic.s.tmp/unexpected.s --check-prefix=UNEXPECTED
# executed command: not 'c:\_work\llvm-project\llvm-project\build\bin\llvm-mc.exe' -triple riscv32 -verify 'C:\_work\llvm-project\llvm-project\build\test\tools\llvm-mc\verify\Output\basic.s.tmp/unexpected.s'
# 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\build\test\tools\llvm-mc\verify\Output\basic.s.tmp/unexpected.s' --check-prefix=UNEXPECTED
# note: command had no output on stdout or stderr
# RUN: at line 25
not c:\_work\llvm-project\llvm-project\build\bin\llvm-mc.exe -triple riscv32 -verify C:\_work\llvm-project\llvm-project\build\test\tools\llvm-mc\verify\Output\basic.s.tmp/missing.s 2>&1    | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\build\test\tools\llvm-mc\verify\Output\basic.s.tmp/missing.s --check-prefix=MISSING
# executed command: not 'c:\_work\llvm-project\llvm-project\build\bin\llvm-mc.exe' -triple riscv32 -verify 'C:\_work\llvm-project\llvm-project\build\test\tools\llvm-mc\verify\Output\basic.s.tmp/missing.s'
# 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\build\test\tools\llvm-mc\verify\Output\basic.s.tmp/missing.s' --check-prefix=MISSING
# note: command had no output on stdout or stderr
# RUN: at line 33
not c:\_work\llvm-project\llvm-project\build\bin\llvm-mc.exe -triple riscv32 -verify -I C:\_work\llvm-project\llvm-project\build\test\tools\llvm-mc\verify\Output\basic.s.tmp C:\_work\llvm-project\llvm-project\build\test\tools\llvm-mc\verify\Output\basic.s.tmp/main-include.s 2>&1    | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\build\test\tools\llvm-mc\verify\Output\basic.s.tmp/included-missing.s --check-prefix=INCLUDE-MISSING
# executed command: not 'c:\_work\llvm-project\llvm-project\build\bin\llvm-mc.exe' -triple riscv32 -verify -I 'C:\_work\llvm-project\llvm-project\build\test\tools\llvm-mc\verify\Output\basic.s.tmp' 'C:\_work\llvm-project\llvm-project\build\test\tools\llvm-mc\verify\Output\basic.s.tmp/main-include.s'
# 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\build\test\tools\llvm-mc\verify\Output\basic.s.tmp/included-missing.s' --check-prefix=INCLUDE-MISSING
# note: command had no output on stdout or stderr
# RUN: at line 38
not c:\_work\llvm-project\llvm-project\build\bin\llvm-mc.exe -triple riscv32 -verify C:\_work\llvm-project\llvm-project\build\test\tools\llvm-mc\verify\Output\basic.s.tmp/outside-comment.s 2>&1    | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\build\test\tools\llvm-mc\verify\Output\basic.s.tmp/outside-comment.s --check-prefix=UNEXPECTED
# executed command: not 'c:\_work\llvm-project\llvm-project\build\bin\llvm-mc.exe' -triple riscv32 -verify 'C:\_work\llvm-project\llvm-project\build\test\tools\llvm-mc\verify\Output\basic.s.tmp/outside-comment.s'
# 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\build\test\tools\llvm-mc\verify\Output\basic.s.tmp/outside-comment.s' --check-prefix=UNEXPECTED
# note: command had no output on stdout or stderr
# RUN: at line 46
c:\_work\llvm-project\llvm-project\build\bin\llvm-mc.exe -triple riscv32 -verify C:\_work\llvm-project\llvm-project\build\test\tools\llvm-mc\verify\Output\basic.s.tmp/no-diagnostics.s
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\llvm-mc.exe' -triple riscv32 -verify 'C:\_work\llvm-project\llvm-project\build\test\tools\llvm-mc\verify\Output\basic.s.tmp/no-diagnostics.s'
# .---command stdout------------
# | 	addi	a0, a0, 1
# | 
# `-----------------------------
# RUN: at line 51
c:\_work\llvm-project\llvm-project\build\bin\llvm-mc.exe -triple riscv32 -verify -validate-cfi -filetype=null C:\_work\llvm-project\llvm-project\build\test\tools\llvm-mc\verify\Output\basic.s.tmp/cfi.s
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\llvm-mc.exe' -triple riscv32 -verify -validate-cfi -filetype=null 'C:\_work\llvm-project\llvm-project\build\test\tools\llvm-mc\verify\Output\basic.s.tmp/cfi.s'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\build\test\tools\llvm-mc\verify\Output\basic.s.tmp/cfi.s:8:4: error: expected error "changed register X10, that register X10's unwinding rule uses, but there is no CFI directives about it" was not produced
# |         # expected-error at -1 {{changed register X10, that register X10's unwinding rule uses, but there is no CFI directives about it}}
# |           ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# `-----------------------------
# 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/227569