<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/131093>131093</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[MLIR] crashed on legalizeVectorType() with assertion failure: `isa<To>(Val) && "cast<Ty>() argument of incompatible type!"'
</td>
</tr>
<tr>
<th>Labels</th>
<td>
mlir
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
sweead
</td>
</tr>
</table>
<pre>
Test commit: https://github.com/llvm/llvm-project/commit/9e91725fd4d4ee30e98ab2682f93b423590a4ade
Steps to reproduce:
```shell
mlir-opt test.mlir -test-math-to-vcix
```
Test case:
```mlir
#map = affine_map<(d0) -> (d0)>
#map1 = affine_map<(d0) -> (d0 + 1)>
module {
func.func @main(%arg0: tensor<1x8x9xf32>, %arg1: tensor<1x8x9xf32>) {
%1 = llvm.mlir.constant(8 : index) : i64
%2 = llvm.mlir.constant(9 : index) : i64
%15 = bufferization.to_memref %arg1 : tensor<1x8x9xf32> to memref<1x8x9xf32, strided<[?, ?, ?], offset: ?>>
%16 = bufferization.to_memref %arg0 : tensor<1x8x9xf32> to memref<1x8x9xf32, strided<[?, ?, ?], offset: ?>>
%alloc = memref.alloc() {alignment = 64 : i64} : memref<1x8x9xf32>
%alloc_0 = memref.alloc() {alignment = 64 : i64} : memref<1x8x9xf32>
%17 = builtin.unrealized_conversion_cast %1 : i64 to index
%18 = builtin.unrealized_conversion_cast %2 : i64 to index
affine.for %arg7 = 0 to 1 {
affine.for %arg8 = 0 to 8 {
affine.for %arg9 = 0 to 9 {
affine.for %arg10 = 0 to 8 {
affine.for %arg11 = 0 to 9 {
affine.for %arg12 = #map(%arg7) to #map1(%arg7) {
affine.for %arg13 = #map(%arg8) to #map1(%arg8) {
affine.for %arg14 = #map(%arg9) to #map1(%arg9) {
affine.for %arg15 = #map(%arg10) to #map1(%arg10) {
affine.for %arg16 = #map(%arg11) to #map1(%arg11) {
%25 = affine.load %16[%arg12, %arg15, %arg16] : memref<1x8x9xf32, strided<[?, ?, ?], offset: ?>>
%26 = affine.load %15[%arg12, %arg15, %arg16] : memref<1x8x9xf32, strided<[?, ?, ?], offset: ?>>
%27 = affine.load %alloc[%arg12, %arg13, %arg14] : memref<1x8x9xf32>
%29 = index.mul %arg15, %arg13
%30 = index.mul %arg16, %arg14
%31 = index.remu %29, %17
%32 = builtin.unrealized_conversion_cast %31 : index to i64
%33 = index.remu %30, %18
%34 = builtin.unrealized_conversion_cast %33 : index to i64
%35 = llvm.trunc %32 : i64 to i32
%36 = llvm.uitofp %35 : i32 to f32
%43 = math.cos %36 : f32
affine.store %43, %alloc[%arg12, %arg13, %arg14] : memref<1x8x9xf32>
affine.store %43, %alloc_0[%arg12, %arg13, %arg14] : memref<1x8x9xf32>
}
}
}
}
}
}
}
}
}
}
return
}
}
```
Crash trace:
```console
mlir-opt: /home/workdir/llvm-project/llvm/include/llvm/Support/Casting.h:566: decltype(auto) llvm::cast(const From &) [To = mlir::VectorType, 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/workdir/llvm-project/build/bin/./mlir-opt test.mlir -test-math-to-vcix
#0 0x000055c0b7628228 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x12d1228)
#1 0x000055c0b7625d4e llvm::sys::RunSignalHandlers() (/home/workdir/llvm-project/build/bin/./mlir-opt+0x12ced4e)
#2 0x000055c0b7628c31 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
#3 0x00007fc8d0441520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
#4 0x00007fc8d04959fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
#5 0x00007fc8d0441476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
#6 0x00007fc8d04277f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
#7 0x00007fc8d042771b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
#8 0x00007fc8d0438e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
#9 0x000055c0ba905298 mlir::(anonymous namespace)::legalizeVectorType(mlir::Type const&) TestMathToVCIXConversion.cpp:0:0
#10 0x000055c0ba905a61 mlir::(anonymous namespace)::MathSinToVCIX::matchAndRewrite(mlir::math::SinOp, mlir::PatternRewriter&) const TestMathToVCIXConversion.cpp:0:0
#11 0x000055c0bcecbd52 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) PatternApplicator.cpp:0:0
#12 0x000055c0bcec8a4f 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/workdir/llvm-project/build/bin/./mlir-opt+0x6b71a4f)
#13 0x000055c0ba79c42a (anonymous namespace)::GreedyPatternRewriteDriver::processWorklist() GreedyPatternRewriteDriver.cpp:0:0
#14 0x000055c0ba798c73 mlir::applyPatternsGreedily(mlir::Region&, mlir::FrozenRewritePatternSet const&, mlir::GreedyRewriteConfig, bool*) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x4441c73)
#15 0x000055c0ba90467b mlir::(anonymous namespace)::TestMathToVCIX::runOnOperation() TestMathToVCIXConversion.cpp:0:0
#16 0x000055c0ba71ecd3 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x43c7cd3)
#17 0x000055c0ba71f572 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x43c8572)
#18 0x000055c0ba7259be 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)::$_0>(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)::$_0&&)::'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 Pass.cpp:0:0
#19 0x000055c0ba720dcb mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x43c9dcb)
#20 0x000055c0ba71ee2c mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x43c7e2c)
#21 0x000055c0ba71f572 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x43c8572)
#22 0x000055c0ba721d4e mlir::PassManager::run(mlir::Operation*) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x43cad4e)
#23 0x000055c0ba71a2cb performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#24 0x000055c0ba719f23 llvm::LogicalResult llvm::function_ref<llvm::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&)::$_0>(long, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&) MlirOptMain.cpp:0:0
#25 0x000055c0ba7c5475 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::raw_ostream&)>, llvm::raw_ostream&, llvm::StringRef, llvm::StringRef) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x446e475)
#26 0x000055c0ba713b82 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x43bcb82)
#27 0x000055c0ba713e33 mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x43bce33)
#28 0x000055c0ba714042 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x43bd042)
#29 0x000055c0b76079af main (/home/workdir/llvm-project/build/bin/./mlir-opt+0x12b09af)
#30 0x00007fc8d0428d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#31 0x00007fc8d0428e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#32 0x000055c0b7607505 _start (/home/workdir/llvm-project/build/bin/./mlir-opt+0x12b0505)
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzsW11z2yre_zTkhokHgV4vcuE6zfN05nSaaTJn986DJGSzRaAF1Cbn0--AZEuy5SQ-dXt2z3SmTWQBP37_V_5gQo3hG8nYDYjegej2irZ2q_SN-cYYLa9yVT7fPDJjYaHqmltAlnBrbWMAWQJ8B_Ddhtttmy8KVQN8J8TX3a_rRqt_scICfNcPxXcZy4IER1UZliFjBLEspTmOU1xlJA8xiTJEQ1oygJYALR8sawy0CmrWaFW2BXOToiWIUffPbJkQAC1rwfW1aiy0zNiF-wSv3eN1Te322qrrrwV_Gg8EaNnJRM0hphvtPmNS0wYCcgtpVXHJ1jVtAFkBnJYI4AxeA_Ie7j4B8n4_JnjTIAjwOxjsh9aqbAWDIHkH0BLCqpXFwv2AIEQ15RLgFOCI6g1yBrBMGqUBWQVP6VP2VBHsUPAKdn2CF_pkcD8JdN07ts5eXm-LQkljqbQApyl0OFyW7MmN8x_icBiKTw_NXhkaRH5s3lYV0_wParmSC6vWNas1q3ZiwJNyOKfo-k4a8Aoaq3nJSqf06B0gd14rw6_o1j2pqjLMu7J7R953NvDE4jcQQz-bWKc0KoQqPL1uhoV_4T0jc0algm9kzaT1feJwr_bk1j_O8DqCX6MfN0GQ9LrlwnK5aKVmVPA_WLkulPzKtOFKrgtq7M4vPbjTaOdIA1B6BhA-BdRF6KJSujdrRw-5fsEoSGZ6pkPPdNfzqFM2dMomcLOQAXoLZhC8BDoP3IVpl5v2aSRxJrWqfx1M38_hziGTOeT0BHJ6GnkOO5zDzk5gZy9hz6FHc-gBOgHfNZzGn5shnp0hODVD8NoMXcaNRmvLQihadjnLZZTe2KNVIBo9xyA6GaPfn5xO0Y1n6Ub_rXSTObpdDpxlTEbP4QuM96sL7nKCz0KLuhVzopOXSRI0DxFPuLwMEYwgNKvbjloPECQ9WYLPyLIkGFZ8n2jj10iQGRIE7UikOxLhOSTILAnXEg21itW-ruoFHJYGgl9hHA8YLbeqavbISzfagVSvgYSd2K4uXRTK7HGXrwztndJYpVmHs7P3pdzzT028RheJjOT2BINTLfPv-7fHjYdvpp_Hn4bn4Ukz22o5IPc_R3uJlaZmC62mRzsUVxMrwUZ7FJ-Q8N1W1Qzgu29Kfym5Pt4y9RspLgvRlmx48dA2jdKux4oay-VmsQVkGcWxwy1ZIexzwwBOaWuVW1P8MLIEZOmiBODUV-nwTqsaAhz7ZSd696g6t3R7H9_5d1ZYpR891qrvPengm6JbN-vSGKZdoQxBjLihgKweld9spL9T4WdwE8UQYOxJkNXjc9fuGqnetL6oVBXkslB1Qy3PBYOdJAHAGOAEVpQLVi4AWt7_9n758B6aNq-5hRTm7cbtEJW2LgTP3pxyY1pmAL6DVJawVzi0WwYLb9acFl-8aRd-S0qLL7Bs66YzNFoAlN1rtdG03kti3mhjl9VK99vt7-4WAN-9dSPrCggE0RNCCEVRgfIkxinG6cjc5tl0D_eaS-t5P3oHxenQSdNva2WsZrT2NlpB7vZvzmLpdwkA8Dv0FOAywN7IPeXggHJUhmyO8udWPvCNpOL_qSwF02a3B7kMq4KVIRtY4UNFFiSAk_kBTr1eVtDwDZeVWluAl-7zV8VL_5j1I8yiaJxvIP-_m4D0EyRVkZYoDIMIo14WwXOA757SeB2H14LL9ul6I9uuoVgYtYg95xBHGA2MwylgFmVVARu71YyW6y9ciPPQszirigE9OqQbJjHcGC_eubTDJB6A4ykwTpKKQJq7wD0LFqdJRQbY5Ag2yM8GDPIBMJ0CkpRl8XmAJGPZSPBs7GE0QxHO0lEudelaKvlcq9ZASWtmGh-oWdcs2MbXPOOcnE4zMfRZvc_nj8zYj9RuH9Xvqw__XO3rpAPPdPGIDonROHg7MTfJA5fdPN2rmtpiu5TlZ_ZNczsl6nJY9_TA5afGhc_QeE-tZVr243QvSrdYnSHQJMMUrMjLCPsgHaWZqpWFW67WXTXiW7sE43cJ3VophMv760oCsjpiuWwawQtqlX5d6k8N0_4Yqc8YL4u8Os0zV8qH3xHA2Pj9OeCrwn4XyNDwm9rwgorPzLTCvg0327lWuEZdESCU3DhjHyl3xr74wL4pDatjlf6yz3fY5zKrbJwnAQ2rLgc6y5FJqkmyIsQUvpJg_k8zVj5P7XCr-VfWy9BoVTBj_qH0F8F9dev4nx4141DhAa20SMjIB2jTiB2U8cBcPE_0-JltvPPEU-e50-oPtpu9B3hgdqTuce-Oct97pWTFN66Dc6m-uriIUcIwDIqEDEaJDvJ_GCf52_P_NC_3FWUrP8lRTKVnrkjx1B4BK8qxPUpmKRe7yH1Un5p7asyypM0-2HUrDxzdmKPYPh31S0nFs-HmI5V046J-Z4YVbKX_pqy8aJEckiIpypFNkgMNVFGCz9bAPW-Y4PIw1bmue8Hii6tkmj2N-SCN1X5LpPRMeh136GbuGnru91QzaT_ISu2i5oKRQIo0SvCg9XSqdRxlOYNuE91VDwPthmoqBBN3Sr-nxRaQ1Xq9ke26eHrqOqzXUumairVbNLo1aHWu-UYhtDTPsvhQNwLgtNN6trfmR6ecXrHGlt37r75M_OGTjmb0R0E_Q9LuELdb_X7ERKOiZID_-NuHzyslLXvabfp-GfyvMPgvrf-9wsyfCY7eJYLWeUkBTgBOfxn75xt7Yg_V9IruN8Y_WPK4y7q_zP6Xmb0_a3HAM2V5dlAeobLIL5wbLlbYZWWR7ws7jA43FAwXf_sNBcPFoIHg14bi528oMD6ImKAM2QHZnfizXjbV3uVY0v13H47lwalMQHGRw4bpSul66c-UzCtfGO1Tl9lSzcp1Y_XkCOpBtbpgHzcakPcnTj-OK-xRm-D6U2M_Ui67c5HJUfeo9Thp4YOznSCrMIGnDsf-zGnaXvZW8n-37Ej2j6xW-vmdv0w40VXJKtoKuy6ZYJadHrMvw05b4PVD65GS3mrLHy7PwO6WU8EK-5ltuLH6-dg5XnKAo21bd5b8MyV5wTKvuOf08C0pojCJRoKbRnC7lOV9d8i54_qXON3_YEi82GPc9mA1l5vPrDr5-mKnrzELk2hIvodnnSRP8bzn_93i9lKrWV7k6WjNPTw6JYyQkwrtC4xiS7tSYnmuW7ymjQtKychwQIwPjiqDEIWn3eYcKX-WOCUKR0bLptcvUJLRCtaUy0td98hRRocvovb3ZnbXBdIyO_M2Bs7KDA2AwSEgCxFcr92YtbFU2_VImjdPwcLRFPhQRxGKYAd-OS1FaJeb0OQO21V5Q8qMZPSK3QRJGKQRDkJytb1hKUVpjBmK4jCOsjRnLMNJGldplmdBFV3xG4xwhEhAUBJmiCyqCGc5DlmCGa6itAQhYjXlYuFvVSq9ufK3sW4CEqCMXAmaM2H8HyZh7L0TYxDdXukbL13ebgwIkeDGmgHBciv8HzO5shJEt901LlZCJeHsVQrn2t-43UK6v8hWUS5azfw9rh93p-2q1eLmz99X65X09Qb_JwAA___YrxME">