[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:37 PDT 2026 

github-actions[bot] wrote:

<!--PREMERGE ADVISOR COMMENT: Linux-->
# :penguin: Linux x64 Test Results

* 7731 tests passed
* 604 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
/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt /home/gha/actions-runner/_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 | /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/FileCheck /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/test/Interfaces/InferShapedTypeOpInterface/resolve-shaped-type-result-dims.mlir
# 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/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: /home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt /home/gha/actions-runner/_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
# |  #0 0x0000000007e64b48 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Support/Unix/Signals.inc:880:13
# |  #1 0x0000000007e619a1 llvm::sys::RunSignalHandlers() /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Support/Signals.cpp:109:18
# |  #2 0x0000000007e65961 SignalHandler(int, siginfo_t*, void*) /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/lib/Support/Unix/Signals.inc:448:38
# |  #3 0x00007d6fbb56e330 (/lib/x86_64-linux-gnu/libc.so.6+0x45330)
# |  #4 0x000000000f79b2a7 isSentinel /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/ilist_node_base.h:44:36
# |  #5 0x000000000f79b2a7 isKnownSentinel /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/ilist_node_base.h:45:41
# |  #6 0x000000000f79b2a7 operator* /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/ilist_iterator.h:168:22
# |  #7 0x000000000f79b2a7 operator() /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Dialect/MemRef/Transforms/ResolveShapedTypeResultDims.cpp:106:27
# |  #8 0x000000000f79b2a7 (anonymous namespace)::DimOfReifyRankedShapedTypeOpInterface<mlir::tensor::DimOp>::matchAndRewrite(mlir::tensor::DimOp, mlir::PatternRewriter&) const /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Dialect/MemRef/Transforms/ResolveShapedTypeResultDims.cpp:121:7
# |  #9 0x0000000010aff183 operator() /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Rewrite/PatternApplicator.cpp:223:13
# | #10 0x0000000010aff183 void llvm::function_ref<void ()>::callback_fn<mlir::PatternApplicator::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&, llvm::function_ref<bool (mlir::Pattern const&)>, llvm::function_ref<void (mlir::Pattern const&)>, llvm::function_ref<llvm::LogicalResult (mlir::Pattern const&)>)::$_0>(long) /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/STLFunctionalExtras.h:46:12
# | #11 0x0000000010afb31a operator() /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/STLFunctionalExtras.h:0:12
# | #12 0x0000000010afb31a executeAction<mlir::ApplyPatternAction, const mlir::Pattern &> /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/IR/MLIRContext.h:290:7
# | #13 0x0000000010afb31a mlir::PatternApplicator::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&, llvm::function_ref<bool (mlir::Pattern const&)>, llvm::function_ref<void (mlir::Pattern const&)>, llvm::function_ref<llvm::LogicalResult (mlir::Pattern const&)>) /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Rewrite/PatternApplicator.cpp:197:23
# | #14 0x0000000010ad6a12 (anonymous namespace)::GreedyPatternRewriteDriver::processWorklist() /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Transforms/Utils/GreedyPatternRewriteDriver.cpp:0:0
# | #15 0x0000000010ad2fe3 operator() /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Transforms/Utils/GreedyPatternRewriteDriver.cpp:889:11
# | #16 0x0000000010ad2fe3 callback_fn<(lambda at /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Transforms/Utils/GreedyPatternRewriteDriver.cpp:877:9)> /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/STLFunctionalExtras.h:46:12
# | #17 0x0000000010ad2fe3 operator() /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/STLFunctionalExtras.h:69:12
# | #18 0x0000000010ad2fe3 executeAction<(anonymous namespace)::GreedyPatternRewriteIteration, long &> /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/IR/MLIRContext.h:290:7
# | #19 0x0000000010ad2fe3 simplify /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Transforms/Utils/GreedyPatternRewriteDriver.cpp:876:10
# | #20 0x0000000010ad2fe3 mlir::applyPatternsGreedily(mlir::Region&, mlir::FrozenRewritePatternSet const&, mlir::GreedyRewriteConfig, bool*) /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Transforms/Utils/GreedyPatternRewriteDriver.cpp:934:47
# | #21 0x000000000f79abd5 failed /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/Support/LogicalResult.h:43:42
# | #22 0x000000000f79abd5 applyPatternsGreedily /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/Transforms/GreedyPatternRewriteDriver.h:213:20
# | #23 0x000000000f79abd5 (anonymous namespace)::ResolveShapedTypeResultDimsPass::runOnOperation() /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Dialect/MemRef/Transforms/ResolveShapedTypeResultDims.cpp:235:17
# | #24 0x0000000010b5df48 operator() /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Pass/Pass.cpp:0:19
# | #25 0x0000000010b5df48 callback_fn<(lambda at /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Pass/Pass.cpp:607:9)> /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/STLFunctionalExtras.h:46:12
# | #26 0x0000000010b5df48 operator() /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/STLFunctionalExtras.h:69:12
# | #27 0x0000000010b5df48 executeAction<mlir::PassExecutionAction, mlir::Pass &> /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/IR/MLIRContext.h:290:7
# | #28 0x0000000010b5df48 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Pass/Pass.cpp:606:23
# | #29 0x0000000010b5ed36 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Pass/Pass.cpp:688:9
# | #30 0x0000000010b69e1e operator() /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Pass/Pass.cpp:1004:9
# | #31 0x0000000010b69e1e auto void mlir::parallelForEach<__gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>, mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::$_12>(mlir::MLIRContext*, __gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>, __gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>, mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::$_12&&)::'lambda'(__gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>&&)::operator()<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo&>(__gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>&&) const /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/IR/Threading.h:120:12
# | #32 0x0000000010b61bf8 failableParallelForEach<__gnu_cxx::__normal_iterator<OpPMInfo *, std::vector<OpPMInfo, std::allocator<OpPMInfo> > >, (lambda at /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/IR/Threading.h:119:54)> /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/IR/Threading.h:0:18
# | #33 0x0000000010b61bf8 parallelForEach<__gnu_cxx::__normal_iterator<OpPMInfo *, std::vector<OpPMInfo, std::allocator<OpPMInfo> > >, (lambda at /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Pass/Pass.cpp:991:37)> /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/IR/Threading.h:119:9
# | #34 0x0000000010b61bf8 parallelForEach<std::vector<OpPMInfo, std::allocator<OpPMInfo> > &, (lambda at /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Pass/Pass.cpp:991:37)> /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/IR/Threading.h:131:3
# | #35 0x0000000010b61bf8 mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool) /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Pass/Pass.cpp:991:3
# | #36 0x0000000010b5e12f runOnOperation /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Pass/Pass.cpp:0:5
# | #37 0x0000000010b5e12f operator() /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Pass/Pass.cpp:610:22
# | #38 0x0000000010b5e12f callback_fn<(lambda at /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Pass/Pass.cpp:607:9)> /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/STLFunctionalExtras.h:46:12
# | #39 0x0000000010b5e12f operator() /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/STLFunctionalExtras.h:69:12
# | #40 0x0000000010b5e12f executeAction<mlir::PassExecutionAction, mlir::Pass &> /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/include/mlir/IR/MLIRContext.h:290:7
# | #41 0x0000000010b5e12f mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Pass/Pass.cpp:606:23
# | #42 0x0000000010b5ed36 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Pass/Pass.cpp:688:9
# | #43 0x0000000010b66222 mlir::PassManager::runPasses(mlir::Operation*, mlir::AnalysisManager) /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Pass/Pass.cpp:1123:3
# | #44 0x0000000010b65869 mlir::PassManager::run(mlir::Operation*) /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Pass/Pass.cpp:1097:0
# | #45 0x0000000007e7626a performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Tools/mlir-opt/MlirOptMain.cpp:596:7
# | #46 0x0000000007e75798 processBuffer /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Tools/mlir-opt/MlirOptMain.cpp:681:12
# | #47 0x0000000007e75798 operator() /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Tools/mlir-opt/MlirOptMain.cpp:779:12
# | #48 0x0000000007e75798 llvm::LogicalResult llvm::function_ref<llvm::LogicalResult (std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::MemoryBufferRef const&, llvm::raw_ostream&)>::callback_fn<mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&)::$_0>(long, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::MemoryBufferRef const&, llvm::raw_ostream&) /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/STLFunctionalExtras.h:46:12
# | #49 0x0000000010e913b4 operator() /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/STLFunctionalExtras.h:69:12
# | #50 0x0000000010e913b4 mlir::splitAndProcessBuffer(std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::function_ref<llvm::LogicalResult (std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::MemoryBufferRef const&, llvm::raw_ostream&)>, llvm::raw_ostream&, llvm::StringRef, llvm::StringRef)::$_0::operator()(llvm::StringRef) const /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Support/ToolUtilities.cpp:94:13
# | #51 0x0000000010e9104f interleave<const llvm::StringRef *, (lambda at /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Support/ToolUtilities.cpp:81:23), (lambda at /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/STLExtras.h:2301:49), void> /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/STLExtras.h:0:0
# | #52 0x0000000010e9104f interleave<llvm::SmallVector<llvm::StringRef, 8U>, (lambda at /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Support/ToolUtilities.cpp:81:23), llvm::raw_ostream, llvm::StringRef> /home/gha/actions-runner/_work/llvm-project/llvm-project/llvm/include/llvm/ADT/STLExtras.h:2301:3
# | #53 0x0000000010e9104f mlir::splitAndProcessBuffer(std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::function_ref<llvm::LogicalResult (std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::MemoryBufferRef const&, llvm::raw_ostream&)>, llvm::raw_ostream&, llvm::StringRef, llvm::StringRef) /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Support/ToolUtilities.cpp:97:3
# | #54 0x0000000007e6ac26 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Tools/mlir-opt/MlirOptMain.cpp:784:26
# | #55 0x0000000007e6af55 mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Tools/mlir-opt/MlirOptMain.cpp:830:14
# | #56 0x0000000007e6b1cb mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/lib/Tools/mlir-opt/MlirOptMain.cpp:846:10
# | #57 0x0000000007da8729 main /home/gha/actions-runner/_work/llvm-project/llvm-project/mlir/tools/mlir-opt/mlir-opt.cpp:343:33
# | #58 0x00007d6fbb5531ca (/lib/x86_64-linux-gnu/libc.so.6+0x2a1ca)
# | #59 0x00007d6fbb55328b __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x2a28b)
# | #60 0x0000000007da8265 _start (/home/gha/actions-runner/_work/llvm-project/llvm-project/build/bin/mlir-opt+0x7da8265)
# `-----------------------------
# error: command failed with exit status: -11
# 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/Interfaces/InferShapedTypeOpInterface/resolve-shaped-type-result-dims.mlir
# .---command stderr------------
# | /home/gha/actions-runner/_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: /home/gha/actions-runner/_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