[llvm-branch-commits] [mlir] [MLIR][NVVM] Enable strict property assembly format (PR #196289)

[via llvm-branch-commits]

github-actions[bot] wrote:

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

* 3715 tests passed
* 422 tests skipped
* 1 test failed

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

### MLIR
<details>
<summary>MLIR.python/dialects/nvvm.py</summary>

```
Exit Code: 1

Command Output (stdout):
--
# RUN: at line 1
"C:/Python312/python.exe" C:\_work\llvm-project\llvm-project\mlir\test\python\dialects\nvvm.py | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\python\dialects\nvvm.py
# executed command: C:/Python312/python.exe 'C:\_work\llvm-project\llvm-project\mlir\test\python\dialects\nvvm.py'
# 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\python\dialects\nvvm.py'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\python\dialects\nvvm.py:276:10: error: CHECK: expected string not found in input
# | # CHECK: %[[STRUCT:.*]] = nvvm.shfl.sync bfly %[[MASK]], %[[I32VAL]], %[[OFF]], %[[CLAMP]] {return_value_and_is_valid} : i32 -> !llvm.struct<(i32, i1)>
# |          ^
# | <stdin>:102:66: note: scanning from here
# |  %1 = nvvm.shfl.sync bfly %arg0, %arg2, %arg3, %arg4 : f32 -> f32
# |                                                                  ^
# | <stdin>:102:66: note: with "MASK" equal to "arg0"
# |  %1 = nvvm.shfl.sync bfly %arg0, %arg2, %arg3, %arg4 : f32 -> f32
# |                                                                  ^
# | <stdin>:102:66: note: with "I32VAL" equal to "arg1"
# |  %1 = nvvm.shfl.sync bfly %arg0, %arg2, %arg3, %arg4 : f32 -> f32
# |                                                                  ^
# | <stdin>:102:66: note: with "OFF" equal to "arg3"
# |  %1 = nvvm.shfl.sync bfly %arg0, %arg2, %arg3, %arg4 : f32 -> f32
# |                                                                  ^
# | <stdin>:102:66: note: with "CLAMP" equal to "arg4"
# |  %1 = nvvm.shfl.sync bfly %arg0, %arg2, %arg3, %arg4 : f32 -> f32
# |                                                                  ^
# | <stdin>:103:5: note: possible intended match here
# |  %2 = nvvm.shfl.sync bfly %arg0, %arg1, %arg3, %arg4 <{return_value_and_is_valid}> : i32 -> !llvm.struct<(i32, i1)>
# |     ^
# | 
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\python\dialects\nvvm.py
# | 
# | -dump-input=help explains the following input dump.
# | 
# | Input was:
# | <<<<<<
# |              .
# |              .
# |              .
# |             97:  
# |             98: TEST: test_shfl_sync_infer_type 
# |             99: module { 
# |            100:  func.func @shfl_sync_ops(%arg0: i32, %arg1: i32, %arg2: f32, %arg3: i32, %arg4: i32) -> i32 { 
# |            101:  %0 = nvvm.shfl.sync bfly %arg0, %arg1, %arg3, %arg4 : i32 -> i32 
# |            102:  %1 = nvvm.shfl.sync bfly %arg0, %arg2, %arg3, %arg4 : f32 -> f32 
# | check:276'0                                                                      X error: no match found
# | check:276'1                                                                        with "MASK" equal to "arg0"
# | check:276'2                                                                        with "I32VAL" equal to "arg1"
# | check:276'3                                                                        with "OFF" equal to "arg3"
# | check:276'4                                                                        with "CLAMP" equal to "arg4"
# |            103:  %2 = nvvm.shfl.sync bfly %arg0, %arg1, %arg3, %arg4 <{return_value_and_is_valid}> : i32 -> !llvm.struct<(i32, i1)> 
# | check:276'0     ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | check:276'5         ?                                                                                                                possible intended match
# |            104:  return %0 : i32 
# | check:276'0     ~~~~~~~~~~~~~~~~~
# |            105:  } 
# | check:276'0     ~~~
# |            106: } 
# | check:276'0     ~~
# |            107:  
# | check:276'0     ~
# |            108:  
# | check:276'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/196289