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

    <tr>
        <th>Summary</th>
        <td>
            [mlir] --tosa-infer-shapes crashed with assertion failure "invalid index for shaped type".
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            mlir
      </td>
    </tr>

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

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

<pre>
    git version: e9c6f3f5e7e23b23de4eeaa182ebfcb7d2188495

system: ```Ubuntu 20.04.6 LTS (Focal Fossa)```

reproduced with: ```mlir-opt --tosa-infer-shapes a.mlir```

a.mlir:
```
func.func nested @func2() {
  %c16 = arith.constant 16 : index
  %c29 = arith.constant 29 : index
  %13 = tensor.empty(%c16, %c29) : tensor<?x?xi1>
  %26 = tosa.reduce_prod %13 {axis = 0 : i32} : (tensor<?x?xi1>) -> tensor<1x?xi1>
  %44 = tosa.logical_not %26 : (tensor<1x?xi1>) -> tensor<1x?xi1>
  %73 = tensor.empty() : tensor<i32>
  %138 = tosa.transpose %44, %73 : (tensor<1x?xi1>, tensor<i32>) -> tensor<1x?xi1>
 return
}
```


trace:
```
mlir-opt: /data/bin/llvm-project/build/tools/mlir/include/mlir/IR/BuiltinTypeInterfaces.h.inc:195: int64_t mlir::ShapedType::getDimSize(unsigned int) const: Assertion `idx < getRank() && "invalid index for shaped type"' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: /data/bin/llvm-project/build/bin/mlir-opt --tosa-infer-shapes a.mlir
 #0 0x000056132fa89e8f llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/data/bin/llvm-project/build/bin/mlir-opt+0x1640e8f)
 #1 0x000056132fa86ee4 SignalHandler(int) Signals.cpp:0:0
 #2 0x00007ff4dea84420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
 #3 0x00007ff4de56f00b raise (/lib/x86_64-linux-gnu/libc.so.6+0x4300b)
 #4 0x00007ff4de54e859 abort (/lib/x86_64-linux-gnu/libc.so.6+0x22859)
 #5 0x00007ff4de54e729 (/lib/x86_64-linux-gnu/libc.so.6+0x22729)
 #6 0x00007ff4de55ffd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
 #7 0x000056133550108a mlir::ShapeAdaptor::getDimSize(int) const (/data/bin/llvm-project/build/bin/mlir-opt+0x70b808a)
 #8 0x00005613319056d4 mlir::tosa::TransposeOp::inferReturnTypeComponents(mlir::MLIRContext*, std::optional<mlir::Location>, mlir::tosa::TransposeOpAdaptor, llvm::SmallVectorImpl<mlir::ShapedTypeComponents>&) (/data/bin/llvm-project/build/bin/mlir-opt+0x34bc6d4)
 #9 0x0000561331905c89 mlir::detail::InferShapedTypeOpInterfaceInterfaceTraits::Model<mlir::tosa::TransposeOp>::inferReturnTypeComponents(mlir::MLIRContext*, std::optional<mlir::Location>, mlir::ValueShapeRange, mlir::DictionaryAttr, mlir::OpaqueProperties, mlir::RegionRange, llvm::SmallVectorImpl<mlir::ShapedTypeComponents>&) (/data/bin/llvm-project/build/bin/mlir-opt+0x34bcc89)
#10 0x000056133196f624 (anonymous namespace)::propagateShapesInRegion(mlir::Region&) TosaInferShapes.cpp:0:0
#11 0x00005613319715fa (anonymous namespace)::TosaInferShapes::runOnOperation() TosaInferShapes.cpp:0:0
#12 0x00005613326fd85e mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data/bin/llvm-project/build/bin/mlir-opt+0x42b485e)
#13 0x00005613326fdd3a mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/data/bin/llvm-project/build/bin/mlir-opt+0x42b4d3a)
#14 0x00005613326fe73c mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::'lambda'(mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo&)::operator()(mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo&) const Pass.cpp:0:0
#15 0x00005613326fce95 mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool) (/data/bin/llvm-project/build/bin/mlir-opt+0x42b3e95)
#16 0x00005613326fd5fa mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data/bin/llvm-project/build/bin/mlir-opt+0x42b45fa)
#17 0x00005613326fdd3a mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/data/bin/llvm-project/build/bin/mlir-opt+0x42b4d3a)
#18 0x00005613326fe564 mlir::PassManager::run(mlir::Operation*) (/data/bin/llvm-project/build/bin/mlir-opt+0x42b5564)
#19 0x00005613326ef2d3 performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#20 0x00005613326f07a4 processBuffer(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::MlirOptMainConfig const&, mlir::DialectRegistry&, llvm::ThreadPool*) MlirOptMain.cpp:0:0
#21 0x00005613326f0954 mlir::LogicalResult llvm::function_ref<mlir::LogicalResult (std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, 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&)::'lambda'(std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>(long, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&) MlirOptMain.cpp:0:0
#22 0x00005613327efc44 mlir::splitAndProcessBuffer(std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::function_ref<mlir::LogicalResult (std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>, llvm::raw_ostream&, bool, bool) (/data/bin/llvm-project/build/bin/mlir-opt+0x43a6c44)
#23 0x00005613326e91b7 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (/data/bin/llvm-project/build/bin/mlir-opt+0x42a01b7)
#24 0x00005613326f0aa1 mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/data/bin/llvm-project/build/bin/mlir-opt+0x42a7aa1)
#25 0x00005613326f0f06 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/data/bin/llvm-project/build/bin/mlir-opt+0x42a7f06)
#26 0x000056132f9c150b main (/data/bin/llvm-project/build/bin/mlir-opt+0x157850b)
#27 0x00007ff4de550083 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x24083)
#28 0x000056132fa5a1ee _start (/data/bin/llvm-project/build/bin/mlir-opt+0x16111ee)
Aborted (core dumped)
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWl9T4zgS_zTiRUVKlvz3gYcQSB1VQ0EBt68p2W4nunEkryTPwn36K8lOYpvAZBZudm7rtpZMYkndv_71H7WicGPEWgJcoOgSRVdnvLUbpS-4VPJlq1pzu3g8y1X5crEWFn8DbYSSiM0xZEVcsSqCBCjLKSshBOA8SCnkVZEnJQ3SNMwiRK4QmXev5sVY2LrVKCbd___MW2lbTMmMhLMYf3l6xIimS1XwGi-VMRzRbD95KEtDo1XZFlDiP4TdjIRua6HPVWPx-blVhp8LWYE-NxvegMF85oaPyuyHWP9xMqdqZTFzL1iCsVBiFBL3kSKaIpphlFx2EzFGNCqCGCN2hbkWdjMrlDSWS4v90zkWsoTn4Wy3_vVs__T17ID5yRakUXoG28a-eAxOKaKLXiDqV3fTEFsgtnx2fyJA7HogjnZIHVUzDY7TleN2pym55M_C-Cmkg8MoSq78W0TTN8TTDJ8jdn3QHhzVHYYH3bVai4LXK6nsHtZYRfDjCpI3uJpw42warQtYekBmNZemUQY6yD3HXvQ7ABevxJ-AWYNttewDMLk6GonDV6t5AW-F7C4ROpjLkluO6DIXEtFlXX_bnjda_QsK6x62oi4RXVqlaoPo0mcCXQpZ1G0Jhwc3D4guL1tRWyGfXhq4kRZ0xQsws81MyAKxeZBFXdTaOFxZvMspNn90GVi6Vd3nNdgrsX0U_wZE01b6QlS6dY4onwROztwY0FYo6RJclM8YsQVeg33g8uvOlTRGLlwoFfIbr0XZpQyulMY-7UtsnVZKEU1wxUUN5ayj6P7L9fzxGps23wqLOc7bNdbQKG2xVXhjbWMcWLpEdLkWdtPms0Jte_5e0yiMacHxh7l0KDx72G4AF5qbDc558dW7rFf_aHnxFZftttn7kMyw_-9eq7XmW8z1ut2CtOYHvNgNnlIHu6hDlBFMngkhJIoDRiueZpBW2BvpfWVeTPfmXgtpPewnH3o0PUzS_I-VMlYD33qXLHbO9H76E8gRvSTPQRwSSCu3E-zRBhO0MUCIH8Va8vofXJY1aETTXnn32MyKxpFM_N9eEO0FJVUVlsDTMKQEr1YajFUaVtr22GuRI7p8TuNVHJ7XQrbP52vZdgON3Wjg5cyoGekQOykjvGykJoorQnKsufAl5XvyCyc59pJDRkg-khyOJYeQRhnmuToJ-UAypWmUjSRHU8nJ3pMny0zoWGY8lhlVVRn_mEzGqjIeyUwGscCiiAQk5dOqMy95Y5U-UneG5eZjcZqQPCUpH2FLh9iCjERxGQ6wubTs3j3ttpi7pnvgk_XB7wauYi7UtlHSlwGaHgTcfrl5WChp4dkiOncZZ2zZDanGFU1eI7Y4zP-iCm59C-c3qO8g2bFGF4NK8Ljldf0bFFbpm20zFn-o8AO8TlX84SrAwryIy3DEbjZlt0izgU0lWC7q7v2No_MA767Zb1z7N0-aC9tXuVtVwti0N1x1_Zd46zdet-CteeByDePBK1F4Wfplbq0ej901_PcW7rVq3J7qdqrh6AOshZJ7kb-Ez4v0UEFc4Sdjn8dVTEOnZX9iwZJvwTR-b8o6iI1WDV9z21FmbmRn6Mg3u0ce9ZMy_BAxR7YOhyQYI0mCqOLfQzIR3G-brbyTdw3oztldT3MSBDqEQOOqTCN4IwHumid119xzY0a1ULdjGtyEPjaHUbPHNhmZS16_GGFuueRr8MGWK1W7f6cN3YciIaR5mEYwigQ2Nb5k_IeNvxcN1ELCiIRu6t6m-NPZGC5yqm6ksdp3ea7azt-b0BcEP9Bjv-capL2Rleq7ZifhEwgvGR8RHk4Ih4QVP0z4INLn5kUWvp7QtOOpzxJEk5pv85Ijmowc83kq7pr7W8dYl_C7GuxWOQ-4DPwpivu-wwk7nuHRhPMCsuiTOf9woDDIolGgxNPMdJXx71qWomqcJcn_y9LPLUvptCxFcTjBubP8aGyNifs4wCiKwxHAbAwQKloy3ICulN7Ofa9mvnOM3reJZsM1lKvGasQWg_5MtbqA27VG7HpH9iQ8Xveeg7Fa6LvG3nIhF0pWYj2QkeHB6NEaRcnEASThIW60KsCYy7aq_GH8JPNaKX5v4ZV5t7BV-mUnajC_hIq3tV2VUIOFt9e4Nv36dJvH3TSvobCuPTRWv_TjBz1P_ux_7_NpfhJdwZSuLBrG65fua9AHMG1tB4qqVvpYWWmoJqeE4QJE059H59tOzfZHo4LXdc6Lr6tKjmAPePoFw-O4209MmaNdzC_jFZrWSq5_LrHvQPp-woxPOQlURThMGNPUws5leT-pOH-Fdf-DSfrujEOn8DnNIuNxEY52Rzo5xkEW5MnxRPu7lYmPdhqcBHky4nJ6QiOcB29y2bd8xYZ3zd188p2P1UKuH6B65_H7RHzcwITzYGTg9DhEKhJ_ioH_dUsqEo8siUc3GFkRRCTHWy7kBy9LoiSNBlcETlUy-dKdkJTh1aoWebEylmu7Gug99av9kKRspCUdX8lEPADAnfyP3v8EQQCH737mudL-_p2mhdLgb8-gPGDZ3YGelReszFjGz-AiSEgQExKT7GxzQUPKWMjzKiZpCTmJ8pDFUcCDmEeUQ3omLiihLKCEBSQiJJuxJHMzk6RgKYM4QCGBLRf1zFkxU3p95i_-LpKQsuSs5jnUxv-igtLu3pSi6OpMX3ij83ZtUEhqYaw5CLDC1v5XGH5BdHX00s5fIvY_ecB8fzFacVG3Gk65AJ2dtbq--PP3mt7C_wQAAP__0j1rGw">