<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/60018>60018</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[mlir] Convert-vector-to-llvm crashes due to unregister dialect
</td>
</tr>
<tr>
<th>Labels</th>
<td>
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
Colloportus0
</td>
</tr>
</table>
<pre>
MLIR built at commit https://github.com/llvm/llvm-project/commit/a5ddd920
Reproduced with:
`mlir-opt -C temp.mlir`
temp.mlir:
```
func.func @func(%arg0: tensor<?xf32>, %arg1: vector<5xf32>, %arg2: index) {
%1 = vector.transfer_write %arg1, %arg0[%arg2] : vector<5xf32>, tensor<?xf32>
return
}
```
trace:
```console
LLVM ERROR: Building op `tensor.dim` but it isn't registered in this MLIRContext: the dialect may not be loaded or this operation isn't registered by the dialect. See also https://mlir.llvm.org/getting_started/Faq/#registered-loaded-dependent-whats-up-with-dialects-management
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 -convert-vector-to-llvm temp.mlir
Stack dump without symbol names (ensure you have llvm-symbolizer in your PATH or set the environment var `LLVM_SYMBOLIZER_PATH` to point to it):
0 mlir-opt 0x00000001048d05bc llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) + 56
1 mlir-opt 0x00000001048cf624 llvm::sys::RunSignalHandlers() + 112
2 mlir-opt 0x00000001048d0c54 SignalHandler(int) + 344
3 libsystem_platform.dylib 0x00000001a56894c4 _sigtramp + 56
4 libsystem_pthread.dylib 0x00000001a5671ee0 pthread_kill + 288
5 libsystem_c.dylib 0x00000001a55ac340 abort + 168
6 mlir-opt 0x00000001048971f4 llvm::report_fatal_error(llvm::Twine const&, bool) + 468
7 mlir-opt 0x00000001059fc580 void mlir::OpBuilder::createOrFold<mlir::tensor::DimOp, mlir::Value&, long long&>(llvm::SmallVectorImpl<mlir::Value>&, mlir::Location, mlir::Value&, long long&) + 524
8 mlir-opt 0x000000010561dc3c mlir::vector::createOrFoldDimOp(mlir::OpBuilder&, mlir::Location, mlir::Value, long long) + 216
9 mlir-opt 0x0000000105601d84 MaterializeTransferMask<mlir::vector::TransferWriteOp>::matchAndRewrite(mlir::vector::TransferWriteOp, mlir::PatternRewriter&) const + 332
10 mlir-opt 0x0000000105d6fbd0 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&)>) + 1440
11 mlir-opt 0x0000000105b1d4b0 (anonymous namespace)::OperationLegalizer::legalize(mlir::Operation*, mlir::ConversionPatternRewriter&) + 1948
12 mlir-opt 0x0000000105b16b1c (anonymous namespace)::OperationConverter::convertOperations(llvm::ArrayRef<mlir::Operation*>, llvm::function_ref<void (mlir::Diagnostic&)>) + 928
13 mlir-opt 0x0000000105b18d18 mlir::applyPartialConversion(mlir::Operation*, mlir::ConversionTarget&, mlir::FrozenRewritePatternSet const&, llvm::DenseSet<mlir::Operation*, llvm::DenseMapInfo<mlir::Operation*, void>>*) + 80
14 mlir-opt 0x0000000105875fdc (anonymous namespace)::LowerVectorToLLVMPass::runOnOperation() + 1320
15 mlir-opt 0x0000000105adb4dc mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) + 420
16 mlir-opt 0x0000000105adba0c mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) + 320
17 mlir-opt 0x0000000105add388 mlir::PassManager::run(mlir::Operation*) + 1148
18 mlir-opt 0x0000000105ad6840 performActions(llvm::raw_ostream&, bool, bool, std::__1::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, llvm::function_ref<mlir::LogicalResult (mlir::PassManager&)>, bool, bool) + 504
19 mlir-opt 0x0000000105ad6410 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>>, llvm::function_ref<mlir::LogicalResult (mlir::PassManager&)>, mlir::DialectRegistry&, bool, bool, bool, bool, bool, bool, bool)::$_0>(long, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&) + 704
20 mlir-opt 0x0000000105b4102c 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) + 656
21 mlir-opt 0x0000000105ad4838 mlir::MlirOptMain(llvm::raw_ostream&, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::function_ref<mlir::LogicalResult (mlir::PassManager&)>, mlir::DialectRegistry&, bool, bool, bool, bool, bool, bool, bool) + 216
22 mlir-opt 0x0000000105ad4d2c mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&, bool) + 1208
23 mlir-opt 0x00000001047730a0 main + 108
24 dyld 0x000000010926d088 start + 516
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWd1v4joW_2vSFwvkOCGEhz5QWnRHKmpFq7vafUFOfAjecexc22mH-9ev7CSQ8DGXuTsPo9VWFSHJ8fn4nU8bagwvJMB9MHkIJo93tLY7pe8XSghVKW1rg-8yxfb3q-cva5TVXFhELcpVWXKLdtZWJojmAVkGZFlwu6uzca7KgCyF-Oguo0qrf0NuA7Js1gVkSSeMsRnBAX4M8HwNlVaszoGhT253QTRHzYsgwaXgeqQqi0YLZKGsxu5BkLQrm8_j82h-WNj8t4y2tczH7gMFMXbXgKQBmVBdYCfNgjRKB9EiiJbfthEJoqeALFBDETqKD8itp5icvSfuPZcMvgVkhlAwfWiFIkcQoiB6bJePrabSbEFvPjW3cOB_YIWdG1qmk0d0VfAlfRuRGmytJerwmz6e4NGStbhpmsM5ZrmSRgnomDw__75CT-v1y9rp81BzwbgskKpQkOBGkzHjpQM7qy3iFnEjAzK1SEPBjQUNDHGJ7I4b5OJooaSFb9YDvwPEOBWQW1TSPZLKogyQUJQBQ0o3i1QFmlqu5CXO2b7PZYzeABAVRp1EpwuPsQvHsdKFi1awlstiYyzVFlhAlkv6hyeNjsxHjSIjBhVIBtKOPnfUmlFdjVygjlqhZlRSSQsoQdoGs9fnp_nbEzJ15vKEoqwukAaXUcieanZD3nBjajABWSIqHZa5qBl4s3NNzQ5lNP_qnTluxL9Zmn9FrC6rg3fxOMCzV60KTUtEdVE7ZZ0S6JhhuZIfoO2oibmRVSOnRy_tTpj7bFW1RWZfZkogSUswKCApSFNrQHtVox39AOTNaYj4n6BdNOxVrdHr_P0352UD1lsD8oNrJZ1q6INqF2Au-jZv_1w9vDx_-dfTeuOWuFCzClWKS4-nKymzo6XoaBL-hpu_EMcpw5Ms97o42mhu9qb58qq5tN6sd58RJD0Safq5UcZqoGVAEpd8XDpxKCAPaJI0IsOeyNO_gQr5NiHxJRXWtXzjhaTiNyqZAG18gWqkhCFpxJDrluWTGA0YBCTtKRrFccMiQkjwzOyNhXJTCWq3Spdjthc867GkkySdxXmMNoYXVtOyGpgbD5jYnQbKLvGYhgAYtQSbr1wIz4akacNn0ueTX-AwoXkUY0QzlzgeiqRdmlyDYjYNt32Em6zbbKmlYgNaKz1w7_snl4BcxbOtezOlRAdb3Imb3ubgyWybT1KMPhRnqGtI0fyl8lUT2ttcA7XwopdKsCBaHOm6su6-P_LypXL6HF__TkUNrZZCycJ_uHvXFHo2vZVUiN99Dn8pKzEQ0fBwC5Ih82eV-xJ7o8guAUgbV-mNACUhy6O8J6Hrb6fAtPanl1D8Id0Hijdak7AN5NnlKJokOGRpjFbUgubU1az3tnOvqPk6ALSvf0f0D9fdXyoHs39eUpvv5pKtwff9gVXfWz8w55VaC1q2PHTrBB-5TYpHbZUI8WWjWLLNGD7nOK8qwXN60OJ72r50nTgg879Wb9HLQzd0uYUbDdsgWrgsQwPWLYNeLs7aaecqE59m_y2TfhgVPKdiDaYW9ja-bYGO43awCsPb0iALWZxhJ4NKJfelqk3TPSvff2YnaD9D4aOw1Ua0tze6ZuHbuuFKXo4hb8IsbktdSC6HTxYmWZjfrHIj1B5qXnN7eG0GFWuuNd2vT9wxMOiHI-GR00IqY3l-5q4Z6UyNrpmasjDtIUirSuxfqbaciiOaPwz_O9UF2LPytdTqT-ic0rroDeygKx0tfwRp4A3sdazOyVe0-iK36rtLHIS-Yj35Bw1UaRfX8W1xnU4nW_aXQfKsPkE3DepduQHvlZp2DtK1fJE91Y5DUNTtFsPJZa9RlsWs31oYWMpFZ-27eqmcnDmj1aHW6Vqe5LkxZw687tq5pGJvuFn58V8fx4cFqqXfWbP-uBgfTEiumkDxj5vwyisQXJ7WA0d60Cz56TYNq78xX6Sx2m8r3Ix11h76BI3k5kWr-yvVIK2L0i7uD0F49Pz0tiikjEVpeiK9s-ei34dwdGP3oSSm19yVpDFGFWg3Rc_z88J2vnvosOyuxrKGdLMJ2z3Bjmpgm8q6DX5vqlO1zmFV6CB6GpSGoxX9zfVpHfh7XW8YQF0vHdrQToK4nQTD2a1OSuIQo2uK_B3Nz7GsJf-jhjMsV1AqvX-ot9smwM8XMtjSWtgNAwEWri9uC2Yf6VOfzw5zYE6FcFv1zVYODFkJrl8qu6Jc_kX0_BoW_sxYGnRsAbld-9MXvb-SL7dd20YTkHiD2-2Rn_9_FQTPYsTn0LTLIYJvHCPjEJN-vzCV4HYu2atWORjTaf-LZMb_RCZ_l-JybUy6gxMSXmskcRr1G9b_K8JPrwjDnT8ht3apmA0ybOiZdhDKd7QZeU6a7pvVXBZuY3OzXe3sQXA7e5DLe5R4Oo0wxaikXDYrDgtixPaC9YlnJGE4TZE_6266dYfDydH_HbuP2Cya0Tu4D5NplCQkjqK73f2M4RzneY5n6QwgnIQJjpOUTnOGw-l0i-_4PcEkwmEYYxJGk2hMtnQbspSSbTrLJhkJYgwl5eJwCH_nT7XvE4zD9E7QDITpfobS9_7EOKsLE8RYcGPNcZnlVvgfrDygk0e0uHxs7Y_GwSBWA7IK1bI71-9-K7irtbj_-2fxXvH_BAAA__-QHk84">