[Mlir-commits] [mlir] [MLIR][MemRef] Fix DimOfReifyRankedShapedTypeOpInterface IR-change on failure (PR #188973)
llvmlistbot at llvm.org
llvmlistbot at llvm.org
Fri Mar 27 04:56:38 PDT 2026
github-actions[bot] wrote:
<!--PREMERGE ADVISOR COMMENT: Windows-->
# :window: Windows x64 Test Results
* 3584 tests passed
* 415 tests skipped
* 1 test failed
## Failed Tests
(click on a test name to see its output)
### MLIR
<details>
<summary>MLIR.Interfaces/InferShapedTypeOpInterface/resolve-shaped-type-result-dims.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\Interfaces\InferShapedTypeOpInterface\resolve-shaped-type-result-dims.mlir --pass-pipeline="builtin.module(func.func(resolve-shaped-type-result-dims{error-on-pattern-iteration-limit=false}))" -split-input-file | c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe C:\_work\llvm-project\llvm-project\mlir\test\Interfaces\InferShapedTypeOpInterface\resolve-shaped-type-result-dims.mlir
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Interfaces\InferShapedTypeOpInterface\resolve-shaped-type-result-dims.mlir' '--pass-pipeline=builtin.module(func.func(resolve-shaped-type-result-dims{error-on-pattern-iteration-limit=false}))' -split-input-file
# .---command stderr------------
# | PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace and instructions to reproduce the bug.
# | Stack dump:
# | 0. Program arguments: c:\\_work\\llvm-project\\llvm-project\\build\\bin\\mlir-opt.exe C:\\_work\\llvm-project\\llvm-project\\mlir\\test\\Interfaces\\InferShapedTypeOpInterface\\resolve-shaped-type-result-dims.mlir --pass-pipeline=builtin.module(func.func(resolve-shaped-type-result-dims{error-on-pattern-iteration-limit=false})) -split-input-file
# | Exception Code: 0xC0000005
# | #0 0x00007ff62c773aa1 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x2323aa1)
# | #1 0x00007ff62b965923 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x1515923)
# | #2 0x00007ff62de71eb7 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x3a21eb7)
# | #3 0x00007ff62de6e98f mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x3a1e98f)
# | #4 0x00007ff62c9c3ea6 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x2573ea6)
# | #5 0x00007ff62c9c3512 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x2573512)
# | #6 0x00007ff62c9c09ad mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x25709ad)
# | #7 0x00007ff62c7730ce mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x23230ce)
# | #8 0x00007ff62a7d0867 (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x380867)
# | #9 0x00007ff62a7d1196 (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x381196)
# | #10 0x00007ff62a7d3b41 (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x383b41)
# | #11 0x00007ff62a7d061c (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x38061c)
# | #12 0x00007ff62a7d1196 (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x381196)
# | #13 0x00007ff62a7d715e (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x38715e)
# | #14 0x00007ff62a7d6bf3 (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x386bf3)
# | #15 0x00007ff62a4608e7 (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x108e7)
# | #16 0x00007ff62a45fa9f (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0xfa9f)
# | #17 0x00007ff62a7c0f70 (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x370f70)
# | #18 0x00007ff62a7c0bd9 (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x370bd9)
# | #19 0x00007ff62a45383e (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x383e)
# | #20 0x00007ff62a453bee (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x3bee)
# | #21 0x00007ff62a453fa4 (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x3fa4)
# | #22 0x00007ff62a451450 (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x1450)
# | #23 0x00007ff631fa6780 mlir::detail::FallbackTypeIDResolver::registerImplicitTypeID(class llvm::StringRef) (c:\_work\llvm-project\llvm-project\build\bin\mlir-opt.exe+0x7b56780)
# | #24 0x00007fff09e94cb0 (C:\Windows\System32\KERNEL32.DLL+0x14cb0)
# | #25 0x00007fff1415edcb (C:\Windows\SYSTEM32\ntdll.dll+0x7edcb)
# `-----------------------------
# error: command failed with exit status: 0xc0000005
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe' 'C:\_work\llvm-project\llvm-project\mlir\test\Interfaces\InferShapedTypeOpInterface\resolve-shaped-type-result-dims.mlir'
# .---command stderr------------
# | C:\_work\llvm-project\llvm-project\mlir\test\Interfaces\InferShapedTypeOpInterface\resolve-shaped-type-result-dims.mlir:134:17: error: CHECK-LABEL: expected string not found in input
# | // CHECK-LABEL: func @test_unreifiable_result_shapes(
# | ^
# | <stdin>:44:57: note: scanning from here
# | func.func @reify_shaped_type_using_reify_dim_of_result(%arg0: tensor<2x3x?xf32>, %arg1: tensor<?x5xf32>) -> (index, index, index, index, index) {
# | ^
# | <stdin>:49:36: note: possible intended match here
# | %result1, %result2 = "test.reify_shaped_type_using_reify_result_shapes"(%arg0, %arg1) : (tensor<2x3x?xf32>, tensor<?x5xf32>) -> (tensor<?x5xf32>, tensor<2x3x?xf32>)
# | ^
# |
# | Input file: <stdin>
# | Check file: C:\_work\llvm-project\llvm-project\mlir\test\Interfaces\InferShapedTypeOpInterface\resolve-shaped-type-result-dims.mlir
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 39: }
# | 40: }
# | 41:
# | 42: // -----
# | 43: module {
# | 44: func.func @reify_shaped_type_using_reify_dim_of_result(%arg0: tensor<2x3x?xf32>, %arg1: tensor<?x5xf32>) -> (index, index, index, index, index) {
# | label:134'0 X~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ error: no match found
# | 45: %c3 = arith.constant 3 : index
# | label:134'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 46: %c2 = arith.constant 2 : index
# | label:134'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 47: %c5 = arith.constant 5 : index
# | label:134'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 48: %c0 = arith.constant 0 : index
# | label:134'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 49: %result1, %result2 = "test.reify_shaped_type_using_reify_result_shapes"(%arg0, %arg1) : (tensor<2x3x?xf32>, tensor<?x5xf32>) -> (tensor<?x5xf32>, tensor<2x3x?xf32>)
# | label:134'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | label:134'1 ? possible intended match
# | 50: %dim = tensor.dim %arg1, %c0 : tensor<?x5xf32>
# | label:134'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 51: %dim_0 = tensor.dim %arg0, %c2 : tensor<2x3x?xf32>
# | label:134'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 52: return %dim, %c5, %c2, %c3, %dim_0 : index, index, index, index, index
# | label:134'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 53: }
# | label:134'0 ~~~
# | 54: }
# | label:134'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/188973
More information about the Mlir-commits
mailing list