<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/64070>64070</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [mlir] test-written-to Pass crashed with assertion failure  "Can't derive arg mapping for yield-like op."
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          Colloportus0
      </td>
    </tr>
</table>

<pre>
    MLIR built at commit  585cbe3f
Reproduced with:  
` mlir-opt --test-written-to temp.mlir`

temp.mlir:
```
 milr module {
  func.func @func1(%arg0: vector<23x23xi1>, %arg1: f32, %arg2: f32) -> memref<23x23xf16> {
    %c2 = arith.constant 2 : index
    %c3 = arith.constant 3 : index
    %c12 = arith.constant 12 : index
    %c14 = arith.constant 14 : index
    %c17 = arith.constant 17 : index
    %c28 = arith.constant 28 : index
    %6 = tensor.empty() : tensor<14xi64>
    %30 = index.maxs %c12, %c28
    %55 = scf.parallel (%arg3, %arg4) = (%c14, %c3) to (%30, %c2) step (%c28, %c17) init (%6) -> tensor<14xi64> {
      %131 = tensor.empty() : tensor<14xi64>
      scf.reduce(%131)  : tensor<14xi64> {
      ^bb0(%arg5: tensor<14xi64>, %arg6: tensor<14xi64>):
 %139 = tensor.empty() : tensor<14xi64>
        scf.reduce.return %139 : tensor<14xi64>
      }
      scf.yield
    }
    %alloc_35 = memref.alloc() : memref<23x23xf16>
    return %alloc_35 : memref<23x23xf16>
  }
}

```
 
trace:
```console
Assertion failed: (results.size() == operands.size() && "Can't derive arg mapping for yield-like op."), function visitOperation, file SparseAnalysis.cpp, line 474.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: mlir-opt --test-written-to temp.mlir
 #0 0x0000000102d3cf18 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/workspace/build/bin/mlir-opt+0x1002f8f18)
 #1 0x0000000102d3b1b4 llvm::sys::RunSignalHandlers() (/workspace/build/bin/mlir-opt+0x1002f71b4)
 #2 0x0000000102d3d5c4 SignalHandler(int) (/workspace/build/bin/mlir-opt+0x1002f95c4)
 #3 0x00000001be7894c4 (/usr/lib/system/libsystem_platform.dylib+0x1803414c4)
 #4 0x00000001be771ee0 (/usr/lib/system/libsystem_pthread.dylib+0x180329ee0)
 #5 0x00000001be6ac340 (/usr/lib/system/libsystem_c.dylib+0x180264340)
 #6 0x00000001be6ab754 (/usr/lib/system/libsystem_c.dylib+0x180263754)
 #7 0x00000001072f4f74 mlir::dataflow::AbstractSparseBackwardDataFlowAnalysis::visitOperation(mlir::Operation*) (.cold.5) (/workspace/build/bin/mlir-opt+0x1048b0f74)
 #8 0x000000010537d7d8 mlir::dataflow::AbstractSparseBackwardDataFlowAnalysis::visitOperation(mlir::Operation*) (/workspace/build/bin/mlir-opt+0x1029397d8)
 #9 0x000000010537d8ac mlir::dataflow::AbstractSparseBackwardDataFlowAnalysis::visit(mlir::ProgramPoint) (/workspace/build/bin/mlir-opt+0x1029398ac)
#10 0x0000000105351928 mlir::DataFlowSolver::initializeAndRun(mlir::Operation*) (/workspace/build/bin/mlir-opt+0x10290d928)
#11 0x0000000104e908c0 (anonymous namespace)::TestWrittenToPass::runOnOperation() (/workspace/build/bin/mlir-opt+0x10244c8c0)
#12 0x000000010538c2a8 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/workspace/build/bin/mlir-opt+0x1029482a8)
#13 0x000000010538c998 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/workspace/build/bin/mlir-opt+0x102948998)
#14 0x000000010538e82c mlir::PassManager::run(mlir::Operation*) (/workspace/build/bin/mlir-opt+0x10294a82c)
#15 0x0000000105386d14 performActions(llvm::raw_ostream&, std::__1::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) (/workspace/build/bin/mlir-opt+0x102942d14)
#16 0x0000000105386368 mlir::LogicalResult llvm::function_ref<mlir::LogicalResult (std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>::callback_fn<mlir::MlirOptMain(llvm::raw_ostream&, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&)::$_1>(long, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&) (/workspace/build/bin/mlir-opt+0x102942368)
#17 0x000000010540434c mlir::splitAndProcessBuffer(std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::function_ref<mlir::LogicalResult (std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>, llvm::raw_ostream&, bool, bool) (/workspace/build/bin/mlir-opt+0x1029c034c)
#18 0x0000000105380d1c mlir::MlirOptMain(llvm::raw_ostream&, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (/workspace/build/bin/mlir-opt+0x10293cd1c)
#19 0x000000010538118c mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/workspace/build/bin/mlir-opt+0x10293d18c)
#20 0x0000000102a47510 main (/workspace/build/bin/mlir-opt+0x100003510)
#21 0x000000010e4a9088 

``` 

</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzcWV9v4yoW_zTuC2qEAcf2Qx8y6VQ70lRTtSPtY4XhOGEHgxfwtL2ffoXtJHaa3JnJjvaublXFMRzO-Z2_HAj3Xm0MwE2SfUiy2yveha11N2urtW2tC53HV5WVbzf3nz89oqpTOiAekLBNowJCWZGJCmid4NsErx6hdVZ2AiR6UWGb0BVCw0yyxKjRyl3bNqDr6wA-XL84FQKY62BRgKZdxPlkiccF_edhnK72jMb__hU1SjvUWNlpQEn-YRxFdWfEIn6ghOH4TBNSJCTjboMjrO8ggnUJXRP6SuirShP6MSFrNJCkkaSm5DBC9iMluk7oR9RA46DeM6jTZRydIEBxpSAoobeIOxW2C2GND9wEFAdXSBkJr3NqeoqanqNOTzJPz3JP2Ul6dpY-P0mfn6MnxUllizP0y546gPHWLaBpw1vvorInH4YTuk7Zq1qy6J3pWor7xT3TRcNf_WiQ0WGCFDPyLOvJvagXLXdca9BoHw_04GU2iL8dJ0XKdgxpnAl2nKB4LyiO-wDtbkn8XI_mi3PKqDDOLffB8167eeT0oFOaXmoh1KvqIKbiIDulaVx4ZuU76dnHqsJ7C2Vn5O3ttjxHUO7zdtCovFyjqU4LB6Fz5sDzR4uT_PbYOm8KtJxEyZQiaqW1Fc90CJwh2Rf92ATwyRpw4HIAOWH2g1V7GIcvJ8veWB4dF_C-NMbcsxqG0ZX34IKyBtVcaZARQkIKB77TwS-8-gP2Kt1GZW0Ljhs5nyLLhCxRQsiam4TkAUlw6jsg7jao4W2rzAbV1qHeqtdafQNk20VCYn7EOIkluAfxXXkVvkQR8bWfUhrQU8udh5Xh-s0rvxBtG6e0MoBYzhaDKg-fP66ePiLfVXHv4ajqNshB3KViam5DaH00BrlLyN1GhW1XLYRtEnKn9ffd47p19l8gQkLulPcd-ITcIW4kUkboTgIKW0DCcb9FFRffeguP4p8CF9-Q7Jp2b3K8SHD54OzG8SbaomvABN97-Wc2u11mUIzwKx7-UkwkFXVaoB41XSV05d_88OXBKRN6HF9715PiQOT4y7P1wQFvenetkTJhcF6RkLsX6775tl90F7dxGZ_KJORuBzUhH_BrijGpizqNbj_gS4_wVWnFTuF77MyT2hiu_8GN1OD8Pn5-FUKeVmwGgRxBkJlgaCYsIcXFGpeZmIujE3EV5EXJBBv5dt7FYFJVQu78mw_QDK_D9-dW81Bb1yzkW08TRRSYspQdiWBzEXkKgH9SRNg64PJIAikB8ExCNpOw5IKyn5Qg5rzJklE257084l3l2U8a6B1vmmdzy-RTX-ekZnXO0K4NpCvJA6-1fRneVpWPWRqGEvKBi28v3MlbHvidti-7kjLQHlef4sB0MroaY2ghrJaL7IKIYkWF63yuVDFVKqO5zGXxFyj1K2qQkpa5nJeC8liNgovfp8YM_VhYH-xlaR3RF1zs0cc6hufos7QkUyfskD1Z_R3GsdjBKa7VH7Ay8rH7zQbGsiTFDOKs1jIocSH6pOXGmrfGdh4Z3sDIvhxgfAUf_jnsMF_tA_ejSV1nvphpZFwCkTFRCDyDSOZWLAThs1CGwJXeGeir_dJGSCvJ2_7MNSKbuzpijiZco3PGnc7sIueeG76JlX-NKmt1fHamP9DKC3c_UrKC8LlH6LG6Zfnr6j6oFmI_cxQ-kXSvxfK36z9dFEV9Mj64vkux7h3XOcEgeZgYsT9wByZ8MrVF_fnu0qBnRVnOTcyOTAwFEUfIdrqejJ__Og8ZL8i8VGRHkJYyZagFF_f2Vd_M-h_0Xz7IYer5OR0bpS13IJ_bEE8qh6VPtnMC7jcunsVGyx7Fwv3nT49rawK8hnd-u9fKfWnDPVdmbU2tNhMel5iCyJTNTLE8NgVdThPgs90owfVjf6SYtIW7pv95OO-cW5CQ4r2lOqP-3cE7S91DY93bh66uh6h_v1BCzTsdniVoCHB-Mf04HmHPe7DsieKM4FrH48BzbWaKTCz_y7Hwv9Nwsr8prkGER9goH9zb-yj7s0gaSBLCnofbskJbs_mrdfsT710S-XQ5r0uzTjRjmFE2rUu-1SqsjHxwVoD3O83-T-L5b5F_f0px2PaG5wU-F5iyeeE_atQLLFNxOkf-_jl_Qc8tZDq359GJoUjT4rw9x65FbPnQn6zmAfAUnDKbR6h_rOMl2GVazLCT-cUMZ3mWYtRwZX75jgFjmqWzNprMOn1gvMRFgU7e-o2jV_KGypKW_Apu0mWJCWZ5Sq-2N5BTXpUkhUxKVtUVkIJLUlSsEDkBnl2pG4IJxTlhKU0LShaVoGmWS1FLWi5FWicMQ8OVXkRbL6zbXPXXYzdLhnN8pXkF2ve_ERFi4AX1kwkhSXZ75W76i7Wq2_iEYa188AcuQQXd_7jUOyu7Rce3YbG1Gy7cxl-NEJ_dWHYO0CUXj1ed0zeX3wn2ev8nAAD__-AUBxA">