<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/92064>92064</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
Crash when using --pass-pipeline="builtin.module(func.func(tosa-to-linalg))"
</td>
</tr>
<tr>
<th>Labels</th>
<td>
new issue
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
wangyongj1a
</td>
</tr>
</table>
<pre>
I have the following MLIR program:
test.mlir:
```
module {
func.func nested @func1() {
%33 = tensor.empty() : tensor<1x1x1xi1>
%output_real, %output_imag = "tosa.rfft2d"(%33) : (tensor<1x1x1xi1>) -> (tensor<1x1x1xi1>, tensor<1x1x1xi1>)
return
}
}
```
The above MLIR program will cause a crash when using the following command:
```
mlir-opt --pass-pipeline="builtin.module(func.func(tosa-to-linalg))" test.mlir
```
And the crash backtrace is:
```
mlir-opt: /data/tmp/v0514/llvm-project/llvm/include/llvm/Support/Casting.h:566: decltype(auto) llvm::cast(const From&) [with To = mlir::FloatType; From = mlir::Type]: Assertion `isa<To>(Val) && "cast<Ty>() argument of incompatible 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/tmp/v0514/llvm-project/build/bin/mlir-opt --pass-pipeline=builtin.module(func.func(tosa-to-linalg)) test.mlir
#0 0x0000556fdf39c6ef llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/data/tmp/v0514/llvm-project/build/bin/mlir-opt+0x15946ef)
#1 0x0000556fdf399744 SignalHandler(int) Signals.cpp:0:0
#2 0x00007fa27c8c7420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
#3 0x00007fa27c39400b raise (/lib/x86_64-linux-gnu/libc.so.6+0x4300b)
#4 0x00007fa27c373859 abort (/lib/x86_64-linux-gnu/libc.so.6+0x22859)
#5 0x00007fa27c373729 (/lib/x86_64-linux-gnu/libc.so.6+0x22729)
#6 0x00007fa27c384fd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
#7 0x0000556fe1bf7a2e (anonymous namespace)::RFFT2dConverter::matchAndRewrite(mlir::tosa::RFFT2dOp, mlir::PatternRewriter&) const TosaToLinalg.cpp:0:0
#8 0x0000556fe1bc552f mlir::detail::OpOrInterfaceRewritePatternBase<mlir::tosa::RFFT2dOp>::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&) const (/data/tmp/v0514/llvm-project/build/bin/mlir-opt+0x3dbd52f)
#9 0x0000556fe52d41a8 mlir::PatternApplicator::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&, llvm::function_ref<bool (mlir::Pattern const&)>, llvm::function_ref<void (mlir::Pattern const&)>, llvm::function_ref<mlir::LogicalResult (mlir::Pattern const&)>) (/data/tmp/v0514/llvm-project/build/bin/mlir-opt+0x74cc1a8)
#10 0x0000556fe23ab396 (anonymous namespace)::OperationLegalizer::legalize(mlir::Operation*, mlir::ConversionPatternRewriter&) DialectConversion.cpp:0:0
#11 0x0000556fe23acb9e mlir::OperationConverter::convert(mlir::ConversionPatternRewriter&, mlir::Operation*) (/data/tmp/v0514/llvm-project/build/bin/mlir-opt+0x45a4b9e)
#12 0x0000556fe23b289b mlir::OperationConverter::convertOperations(llvm::ArrayRef<mlir::Operation*>) (/data/tmp/v0514/llvm-project/build/bin/mlir-opt+0x45aa89b)
#13 0x0000556fe23b2eed mlir::applyFullConversion(mlir::Operation*, mlir::ConversionTarget const&, mlir::FrozenRewritePatternSet const&, mlir::ConversionConfig) (/data/tmp/v0514/llvm-project/build/bin/mlir-opt+0x45aaeed)
#14 0x0000556fe1bba34d (anonymous namespace)::TosaToLinalg::runOnOperation() TosaToLinalgPass.cpp:0:0
#15 0x0000556fe230d881 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data/tmp/v0514/llvm-project/build/bin/mlir-opt+0x4505881)
#16 0x0000556fe230dd6a mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/data/tmp/v0514/llvm-project/build/bin/mlir-opt+0x4505d6a)
#17 0x0000556fe230e6fc mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::'lambda'(mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo&)::operator()(mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo&) const Pass.cpp:0:0
#18 0x0000556fe230cdd5 mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool) (/data/tmp/v0514/llvm-project/build/bin/mlir-opt+0x4504dd5)
#19 0x0000556fe230d606 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data/tmp/v0514/llvm-project/build/bin/mlir-opt+0x4505606)
#20 0x0000556fe230dd6a mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/data/tmp/v0514/llvm-project/build/bin/mlir-opt+0x4505d6a)
#21 0x0000556fe230e524 mlir::PassManager::run(mlir::Operation*) (/data/tmp/v0514/llvm-project/build/bin/mlir-opt+0x4506524)
#22 0x0000556fe22ff9ab performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#23 0x0000556fe2300364 processBuffer(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::MlirOptMainConfig const&, mlir::DialectRegistry&, llvm::ThreadPoolInterface*) MlirOptMain.cpp:0:0
#24 0x0000556fe2300514 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
#25 0x0000556fe2405d6e 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&, llvm::StringRef, llvm::StringRef) (/data/tmp/v0514/llvm-project/build/bin/mlir-opt+0x45fdd6e)
#26 0x0000556fe22f8114 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (/data/tmp/v0514/llvm-project/build/bin/mlir-opt+0x44f0114)
#27 0x0000556fe230066c mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/data/tmp/v0514/llvm-project/build/bin/mlir-opt+0x44f866c)
#28 0x0000556fe2300b36 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/data/tmp/v0514/llvm-project/build/bin/mlir-opt+0x44f8b36)
#29 0x0000556fdf2bc3fb main (/data/tmp/v0514/llvm-project/build/bin/mlir-opt+0x14b43fb)
#30 0x00007fa27c375083 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x24083)
#31 0x0000556fdf36b73e _start (/data/tmp/v0514/llvm-project/build/bin/mlir-opt+0x156373e)
Aborted (core dumped)
```
My git version is 4c79d38f82e1f6fe8575d88d8c74f2f1806b19ce.
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWl9z4ygS_zTkhYpLAv19yIPjxHWpSiqpxHWvLgRIZgeDDlAS76e_0h_bkmInzqxvdm9rZzxjS0DT_etfNw0SsVYUivMrEF6D8OaCVG6lzdUbUcVGq-I3n1xkmm2u7uCKvHLoVhzmWkr9JlQBH-7vnmFpdGHIGuAp8G6AN3XcuslaCrO7AyKv-zSXa80qySGIr9trCPNK0Un9H1TcOs4gCLz60gcoASjtd4UQoBBjCPANdFxZbSZ8XbrNtieedrcBnvnv9V_hA3w7GK4rV1ZuaTiRAM16d8SaFI1kgJDTlkxMnjvEAEKN-BDj7RwAJQenQSm8BPj2ePvssHoo3WtouKuM2l6D-KZDcfdjCOdixSHJ9CsfuAO-CSkhJZXlkEBqiF3BtxVXsLK154Z-pHq9JooddZgU5lKXDl5elsTay1KUXArFAb4BCGWVkE6oSetWgJKdN2sQtCWXTl9KoYgsajPrD4J7khyacKpYo2GrdkboD2cI5VDYr1RsfTNnxBGA5m5dAjR_9UI_AGgu5ev6sjT6N05ddwnQXCgqK8b3N16qstSm7jEj1glVTFYAT8MoqmUzTqXblLWZpHK69nczDE8BnlJiHUAJ1co6ODd6DVDUECa8fhNuBRe6Idc2NvB0LjVxi1ocvm4GjNqbpvCmnnhqLTdOaAVB5AlLAJ4tdMOc5N81jVPYTBbV1G30wLPFpm2vG4kpqjVXDuocCkX1uiROZJLD1hi_oXgMcyIkZ5MW06f72-nLLbRVthYOEphVBTS8xgY6DVfOlY070BygeSHcqsomtLZ5C-QIb2FtxS1Ac0gUgx3sh9zcTf_iCP0BWbUud073JrD589RxfGuV_Ybba7qy-lsogOafUPvbvB6TGgKEPei9e57nhWGUsxynNOJ5jzF2Y9sfT0Yo11i8qCEAKNl3MuRtqa0znLSEmkGhXOvx5A8ZDdC19-6HaRDxfJ-BAML-SOs0DgL4IgpF5L-IYpIbgJJOifa2ndCy9pPX_NsJQp2gOCcopgmNA-TB5dJw67ThS-M6G6TIAJq_J9EyCmpMq_fLQlVtQ-lWhhM2sXritRoHAfIG-uLBNDgNPC-DhgjLT5BPa8lRIznAnpcNJAdDyTFOwrTOtidp3pOMUBKmA8nhWHK88-jJMmM0lBkNZSZBzqLvycQ4Z9FAZtzjAvezPCaoQZUorTZrXVmoyJrbsmFt2jL2eT5fIDbT6pUbx7tktiaOrqaKPfM3I1xN8X2iq8OpP_SxrGm-b38iznGjuqGmy6ttol1oSxb6vgnEwyxMhibQMER5TzjjjgjZ_n4sH82dctzkhPJuum7ya2I5wLNPlca3X9v6WHJD6kwO0PR0K88S65hlLETDWE_74ISIBT5JPuo0LUspKHH6BGd-z8BZLx3WybUeuDQ8B3iWaS3hQHQnoMWkxaerqo4KedWC_WEh-8H3uhCUyGduK-lOk3umRB0HlPok2TmvztP95YUjTDKcRl8F584997wgUvy-jU_ZXZ7oyza6rdDqMG1vBJGcun23j7FZW-CPLKBZyuGB-UfJhLaXA10_12h2SGpj1Zn8E4QkyFI-8A8aWpehJM1Ot27XbAf1wNQYsnke8XJg0hlZF4SEJGk2sAqPreKc9awiZSk380rKvUO-zakFMQV3vVDqd5sb_TtXw-z8crT3XuhMq1wUZ4WGczaAJhguNRnBAfsqIPsLWFfxVepR9WBqSvh-tydiD1RctQLh0DceSxL_6Fq30I9lLWrKSLlL7aZSo7Rm7QdPHffhVBG5scI-EEWKOvZmsM7j9XelmrMGdtb6NQi9MEn8gReiMQgsIt8G4Wm7FRhyt-66s-3TvPJTqAyXS2vvlHWm2eRoc2A97XdoZ24bOt2fiOHK3alcb4PjnPnOC1lEBsDHI-B5lNNvA9-j_tRuFL1blxKgpMWrixmAYknWGSMAxQMHnW-Kx_LpoUZuu5LX93QzqvZEsw7_iom7-u94xCcjzClj4ZkxPxthAsbCAWHScaRGXvS3T1eRF_VBQN4_6epPSVfIH6erEAUjfbcIHOTa_6iO9KIQBQNFh3UkyvOUZLDkJtdmPaUfS8SPR0bWse7IaUUMZ8vSGYBn-xEvujKUPxQG4NsjhdTD_d3zTCvH390H1z5IYR5L90BEV2X1d0Gw13owh6FRRel5OApgaTTl1l5Xed4cOJ1kXqXEfyr-wbwHvtZmsxXV6894TirploxL7vjxMfXO_vZ0m_v9up3QMy-EdWbzYde7aM63nrSWu5OHjk9f4haMcQv9PoGHm9Wf2d3-OlyPezfdHatQImVG6I9lrgZq93D6C_LksP9PjJ2D5c5fxisokVoVvxbYT1T6OmCG26OgXhL6xw22lMJNFXsapZ4_w7r_wyD9tEe_7cUZoYpnnh-9fbbFNGcsGhzKoGi0mCb-IGn-jZPJmTANcs_3hwXKeOPnRRE9imlXOdIVaWvE6XfJ8RUg5zM0iSI6MHS82_IyHJ3F0F9mUYaHu4908LAPZRTnGVwToc70fDHIApwPDhB3T0W3z75CL8FwuZQio0vriHHL3vynPg0LvAQPZhk9xYyyGHPYyj_Xo9MIx3ifXKaZNs3bKyih2vDm2XX_fHD4ysLDBhbCwe5sEgoLAxqnDCd5grifRzlPwjhkScISGgc5yv3EizI_pXxywa4wS3FKLviVH_thFPkojC9WVyFiNPR9lCdR4mUeJQSnEY9ITv3Iwyi6EFfIq5c9P_ACHPjxxPOTkKKIEFrDE1IQeHxNhJzUMEy0KS6a5_ZXKfKi4EKSjEvbvCuEkOJvsGkECIHw5sJcNdBlVWFB4Elhnd1LccJJfjUbv4dytjdKLiojr37-nYTGvP8GAAD__-d_W0I">