<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/61858>61858</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[MLIR]`convertFuncOpTypes` leads to assertion failure `isa<To>(Val) && "cast<Ty>() argument of incompatible type!"
</td>
</tr>
<tr>
<th>Labels</th>
<td>
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
BealZephyr
</td>
</tr>
</table>
<pre>
Test commit: https://github.com/llvm/llvm-project/commit/00701d32b7a495a69a420e0d9958ab15091da028
Steps to reproduce:
```
mlir-opt test.mlir -test-legalize-type-conversion
```
Test case:
```
llvm.func @main() {
llvm.return
}
```
Crash trace:
```
mlir-opt: /home/ty/llvm-project/llvm/include/llvm/Support/Casting.h:567: decltype(auto) llvm::cast(const From&) [with To = mlir::FunctionType; 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: /home/ty/llvm-project/build/bin/mlir-opt test.mlir -test-legalize-type-conversion
#0 0x000055efdf3145da llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/home/ty/llvm-project/build/bin/mlir-opt+0x22b5da)
#1 0x000055efdf31186c SignalHandler(int) Signals.cpp:0:0
#2 0x00007fdda409b980 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x12980)
#3 0x00007fdda2d4ce87 raise /build/glibc-CVJwZb/glibc-2.27/signal/../sysdeps/unix/sysv/linux/raise.c:51:0
#4 0x00007fdda2d4e7f1 abort /build/glibc-CVJwZb/glibc-2.27/stdlib/abort.c:81:0
#5 0x00007fdda2d3e3fa __assert_fail_base /build/glibc-CVJwZb/glibc-2.27/assert/assert.c:89:0
#6 0x00007fdda2d3e472 (/lib/x86_64-linux-gnu/libc.so.6+0x30472)
#7 0x000055efe0cb60c3 convertFuncOpTypes(mlir::FunctionOpInterface, mlir::TypeConverter&, mlir::ConversionPatternRewriter&) DialectConversion.cpp:0:0
#8 0x000055efe0ca4ff8 mlir::ConversionPattern::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&) const (/home/ty/llvm-project/build/bin/mlir-opt+0x1bbbff8)
#9 0x000055efe0ffe2d9 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&)>) (/home/ty/llvm-project/build/bin/mlir-opt+0x1f152d9)
#10 0x000055efe0caf9c7 (anonymous namespace)::OperationLegalizer::legalize(mlir::Operation*, mlir::ConversionPatternRewriter&) DialectConversion.cpp:0:0
#11 0x000055efe0cb0628 (anonymous namespace)::OperationConverter::convertOperations(llvm::ArrayRef<mlir::Operation*>, llvm::function_ref<void (mlir::Diagnostic&)>) DialectConversion.cpp:0:0
#12 0x000055efe0cb40e0 mlir::applyPartialConversion(mlir::Operation*, mlir::ConversionTarget&, mlir::FrozenRewritePatternSet const&, llvm::DenseSet<mlir::Operation*, llvm::DenseMapInfo<mlir::Operation*, void>>*) (/home/ty/llvm-project/build/bin/mlir-opt+0x1bcb0e0)
#13 0x000055efe0a8e9b2 (anonymous namespace)::TestTypeConversionDriver::runOnOperation() TestPatterns.cpp:0:0
#14 0x000055efe0c32cde mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/home/ty/llvm-project/build/bin/mlir-opt+0x1b49cde)
#15 0x000055efe0c33b33 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (.constprop.510) Pass.cpp:0:0
#16 0x000055efe0c341bd mlir::PassManager::run(mlir::Operation*) (/home/ty/llvm-project/build/bin/mlir-opt+0x1b4b1bd)
#17 0x000055efe0c28133 performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#18 0x000055efe0c28801 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
#19 0x000055efe0c289f1 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
#20 0x000055efe0cfa900 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) (/home/ty/llvm-project/build/bin/mlir-opt+0x1c11900)
#21 0x000055efe0c23b13 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (/home/ty/llvm-project/build/bin/mlir-opt+0x1b3ab13)
#22 0x000055efe0c2633e mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&, bool) (/home/ty/llvm-project/build/bin/mlir-opt+0x1b3d33e)
#23 0x000055efdf2e0540 main (/home/ty/llvm-project/build/bin/mlir-opt+0x1f7540)
#24 0x00007fdda2d2fc87 __libc_start_main /build/glibc-CVJwZb/glibc-2.27/csu/../csu/libc-start.c:344:0
#25 0x000055efdf2f33aa _start (/home/ty/llvm-project/build/bin/mlir-opt+0x20a3aa)
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzcWV9v2zgS_zTMCxGDIiVZesiD49S4HhokaIJ92BdjJFI2rzSpI6k23k9_oCT_key0bpPb21ugjSWRnJnf_GaG_8A5udJC3KDkFiV3V9D4tbE3twLU76Jeb-1VYfj25lk4j0uz2UiP2Ayvva8dYjNEF4guVtKvm2JSmg2iC6W-7n6ua2v-JUqP6KIfSheETEnEGS2mEOcJpDnElAjC8zzJoIgSkkccCM0QuUNk1v198qJ22BtsRW0Nb0oRVB91QCnp_7WvGyXttak99sL5SXjD1-HxWokVKPmHuPbbWlyXRn8V1kmjz0rpIIP7gTIckE6qRpcYxWQDUiOaIZpjNL3te2DcdbLCN1bj3Vc0vTsrcW7BrbG3cIzzPMLABaKLtdkIRBd-e-r4ng6pS9Vwcfjw1NS1saHHHJyXejVZIzZL0mkQyUWpgosQzaDxJqBph7EZYrMSnEc0K412Hi9sID1t8Sa336Rf42eDEbvDwcRuwKLRpZdGPweJ7LYdM-rSNiV3QffMOWFDd4xSIh0gNn82iH1ANPsNVKso6EsxorQ1hc2ft117aAS7ajZCe2wqLHVpNjV4WSiBOzwRohTRKa5AKsEnnTcfP32YPX3Arik20mPARbMKoWasD0H307EunWuEQ3SBQXPcex77tcBly2wB5ZeW3ckuvKH8gnmzqfd0kwki-aM1KwubPST3Y7aLRioefkMULn4xDzCijGDyQgghSSIqXrEoTjgcxYDbuu7h0UrtWwDPbbzS7NDJwrelcd4K6EJkjqX2HYHZr8BA9Ja8UFokHBDND7ZGI1ujLC3xk1xpUP8AzZWwiGa96u6zm5R1cDZp_-8F0V7QtOIcYpIXeUbwcmmF88aKpfW95UoWiC5esnSZxtdK6ubleqWbrqH2ayuAT5yZkNbgiOYZGdjLjtVQHpcim2IL0gl8hH2lZFFez3_757ffi_0rndApogvXokB0MZmEt63jog4B12j50n342lqjm_Daip6UIb2jIeB4ZImYVhGGwrRIL7PE884b7ahWSTZSkgyVMMEqwMsltHm-DIm4LOBy7N24_UOnMh-qTMcq4ym9gLsysJa2rDEST-mAtelRlAlSFikpGe5Sx4cK91CHIuYQzU4r30P9UXthqzZD5qO6N-9khChNh63zfWI-gvfC6s_im5W7njm-k6BE6Q_dzod1NrQc4qrKvqel-7wBX65nmvc6B7geamEhAEN0NjT5vKHdXPGWtI-KoqiqbMBIPsBVVYLy_NSUWV0rWYI39r1xzY8KYtUzvbSiQmxeGKPwQHQvoHNF55Z20vqOkK9G8jcLOQz-ZFayBPVZuEb5y-S-rVRHVZRQnu85C6WajGKxystpUALa6O3GNA5r2AhXt5mSj1j51E9bvdW7WexCCt8hmwKCaFQHSEqzixEccr1bSnWv-2Y3mD9n1sL284jFAb6fDqA7CSttnJflgOULodMR9JgIcuRgqGu1fQTrJaiDqJ9m5xnsSviTYriw5g-x46xn8En4o5g99sSd0E48Cf-6706730P9UVfmu0OCS4PTgt9mb06QoiyIIIMEYQMfQybygv4ovMJO5TCTBB_eWfl1F2S20Q_6CEe7TA5DeieeWQwFQ-Ih2YyWXBzRwYUHqXZOejYP9SM4N-NQ7yutbfSoyjh3wvvrETHToLZOunvQsApZOsehrIbfRrebVv4eC8qoiPOSiwEJyQg7Kxj7aeyPshZK6nF5Cl33kNJ3d8Zw0nLuo3bettsHY8_MascdOs1dQ2_7I1ihfciKXZ7tgn7SvtfW1JMkCiGMg7DzoZSO3BlHBR9ZscN1NnCGbnkz3UVU8AHdo6UdzSLGcC1sZexmVp4W5tONjfO83xitwQq-rL1FbH4Y8WQaW4r7lUXsw6BiHUDef_r4eW60Fy_-hKd7Je1D7e9BhhmkkqvjmRoftZ73fzbGl5EI19aUwrnbpqraDdJF8Bot_92IE3j3YmPsdifqqD8XFTTKL7lQwovXx_QV9VLMx_36ueuzWEnn7fZkJnhu92OPbbLMLnJXPnZXXkX4tXXUryy8_jx3vk5qO_X35zlKFVB-WVZ6YPaRn_6C4XGe9gtTpuuC6FTBpuCAwsbyr8MKzZTRqz_Xsd8x6YcJQ0eL-gpycrwudLWSfqb546ji_C_Q_R8m6Xd7HJYB3e8bJ8cyinIyWJDS0X6HsiJi5_Ps71Yl3rjOYFBEbODK0f6JpoyJV13Zr-bKNXTrttGO5clbqVdhd3gB4HeJjYJxxgbrZMoGJ69UkCQmeANSv_HcYJrEwyAcHVTSqsymeLlUsiiXzoP1y17rRUeIpWt2Z6fdY9vYymmPE1kcDwtcMsRZMQaAO8VvO8wmwOBwmD266rniN4znLIcrcROlGaE0SbLkan2TQ0F5XEAcJ-U0oqwscqiSikbTbMpSYFfyhhLKCGMRiaI8TiYJRJRMgQJLU05IhGIiNiDVpL2XMnZ11V5a3KRRlmRXCgqh3O5G0N60gIpm5VBMlHTeHYZ56VV7dxiWryi5Qyk5cyaaEqwE8PYOD_b3OxVI1VjxX7vnwVeNVTe_fn3TOuM_AQAA__9CLwOm">