<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/107805>107805</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[mlir] [vector] -convert-vector-to-llvm crashes
</td>
</tr>
<tr>
<th>Labels</th>
<td>
mlir
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
axeabc
</td>
</tr>
</table>
<pre>
git version: 0f5033053a3d4
system: `Ubuntu 18.04.6 LTS`
reproduce with: `mlir-opt -convert-vector-to-llvm a.mlir`
a.mlir:
```
module {
func.func @block_arguments(%arg0: tensor<?xf32>,%arg1: vector<4xf32>) -> tensor<?xf32> {
%c0_0 = arith.constant 0 : index
%0 = vector.transfer_write %arg1, %arg0[%c0_0] : vector<4xf32>, tensor<?xf32>
return %0 : tensor<?xf32>
}
}
```
stack trace:
```
LLVM ERROR: Building op `tensor.dim` but it isn't known in this MLIRContext: the dialect may not be loaded or this operation hasn't been added 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: /data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt -convert-vector-to-llvm /data/szy/MLIR/seed/seed29/tmp.pG6EyC8vQO.mlir
#0 0x000055b910f09ff8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x10d3ff8)
#1 0x000055b910f07b0e llvm::sys::RunSignalHandlers() (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x10d1b0e)
#2 0x000055b910f0a98d SignalHandler(int) Signals.cpp:0:0
#3 0x00007f5f28b9b420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
#4 0x00007f5f281d800b raise /build/glibc-LcI20x/glibc-2.31/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
#5 0x00007f5f281b7859 abort /build/glibc-LcI20x/glibc-2.31/stdlib/abort.c:81:7
#6 0x000055b910f29c97 llvm::report_fatal_error(llvm::Twine const&, bool) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x10f3c97)
#7 0x000055b91187e4cc void mlir::OpBuilder::createOrFold<mlir::tensor::DimOp, mlir::Value&, long&>(llvm::SmallVectorImpl<mlir::Value>&, mlir::Location, mlir::Value&, long&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x1a484cc)
#8 0x000055b9135a7771 mlir::vector::createOrFoldDimOp(mlir::OpBuilder&, mlir::Location, mlir::Value, long) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x3771771)
#9 0x000055b91355f84e (anonymous namespace)::MaterializeTransferMask<mlir::vector::TransferWriteOp>::matchAndRewrite(mlir::vector::TransferWriteOp, mlir::PatternRewriter&) const VectorTransforms.cpp:0:0
#10 0x000055b9169d6aa1 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
#11 0x000055b9169d375b 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&)>) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x6b9d75b)
#12 0x000055b9140566a3 (anonymous namespace)::OperationLegalizer::legalize(mlir::Operation*, mlir::ConversionPatternRewriter&) DialectConversion.cpp:0:0
#13 0x000055b914055707 mlir::OperationConverter::convert(mlir::ConversionPatternRewriter&, mlir::Operation*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x421f707)
#14 0x000055b9140568cf mlir::OperationConverter::convertOperations(llvm::ArrayRef<mlir::Operation*>) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x42208cf)
#15 0x000055b91405e4bb mlir::applyPartialConversion(mlir::Operation*, mlir::ConversionTarget const&, mlir::FrozenRewritePatternSet const&, mlir::ConversionConfig) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x42284bb)
#16 0x000055b913a5b646 (anonymous namespace)::ConvertVectorToLLVMPass::runOnOperation() ConvertVectorToLLVMPass.cpp:0:0
#17 0x000055b913ff6e26 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41c0e26)
#18 0x000055b913ff7790 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41c1790)
#19 0x000055b913ff9dd2 mlir::PassManager::run(mlir::Operation*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41c3dd2)
#20 0x000055b913ff2601 performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#21 0x000055b913ff225b 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
#22 0x000055b91409eef5 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) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x4268ef5)
#23 0x000055b913fed685 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41b7685)
#24 0x000055b913fed92f mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41b792f)
#25 0x000055b913fedc5e mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41b7c5e)
#26 0x000055b910eeac37 main (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x10b4c37)
#27 0x00007f5f281b9083 __libc_start_main /build/glibc-LcI20x/glibc-2.31/csu/../csu/libc-start.c:342:3
#28 0x000055b910eea7be _start (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x10b47be)
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWltz4ygW_jXkhbILoftDHhwn3u2qpJJNsr2PLoSObLYl0ABK4vn1W0jyRYqdpGfGM7VbW9VtW-IA33duHCDMGLGSAJcovELh9QVr7FrpS_YGLOMXmco3lyth8QtoI5RE_gyTIiS-T0Kf-XmAyDUis-7TbIyFyomgiPwza6RtsJdMSTCN8O3zE4rIobSGWqu84YBfhV33vapS6ImqLZ5wJV9A28kLcKv0xKpJWb5UmE2dyGio_qXfP7rW9h_uniuVNyVgFF91zxgXjeRT94FRQLJS8R9LpldNBdIaRBNEQ6ZXxGGyII3SyJ8jf_FW-BT5N4jOOwHPCXT4kD8Pds0pniD_5ljXQwwYIxpysiQY-deYaWHXU66ksUxa7F7OsJA5vPXyiIadZDfh1GomTQF6-aqFBbxFROd4iz686idA4TU-AXV-lOAOoQbbaLmd-7g2emEUX_fa3_0YmcFYxn9gqxmHvamOSt7efr_DN4-P949u0qtGlLmQK6xq5yIdhmkuKtchaywWFgsjEY0t_iHVq8RCYrsWBt_dfnucK2nhzbbo14BzwUrgFldsg6WyOANcKpZDjpXuOqkaNLNCSbxm_agZgMQsd1LZ5nCYKX4CwKw0Cq-trY3jRReILpw_Tp3DTpVeIbpYgbVCrpbGMm0hR3SxYL-0or6GlTAWNOSTDskkhxpkDtJOXtfMmklTT1yITPpJzaRikq3AeWunr4fbm9nTDTZNVgmLGc6aFdZQK22xHSNbCbtusilXFaILh7D_mtRa_Ru4RXQhjGnAILrATOZYSF42ObS0uWZmjTPGf7RmnHbTP7WGzZuq3tmVTBFJH7RaaVbhfWi5IKeLnFmG6ML8ukF04Wy0haChBGbgPaLMuYD7FrJX7odJ4sQcBlrNuy-aIrqwVT2t_xbdbObJyz_uuxyyDTafYPJGCCFhmKUeKUhaFAlu9eXPkO9yXffjQQtpWw08t55Nk72QZq9LZawGViEauWgT0rr80OaYP0wPiF6RN4_kflEkiKZ7Dt6IQ5wROMbhsZFPYiVZ-Xcm8xJ0lwPPBdPLCAxg0hFMliY5HgBCNOk11702U147ZyPt_91Afj9QXIQFTbI0CyjBy6UGY5WGpbY9o1JkiC7ekmgZBZNSyOZtspJN11DbtQaWT42akg5xEFAywBsMpvHyhJAMayaMS8M78qtSZHxyy79R8rZ7pFPfc7psWSC6mE7d08bkULuAa6R46168tGhk4x7boacc-bPQLTneHkk4RJLFSZhilqmW6deQ2LzTRturnSRxk8T7SaKheWjK0_jAi7pEsyyYZeUStFZ6EAPPr0ICbhe2PgYypcqzeVfh8zQeWCs-hO8lMQSc4xclcrwtGvzZfd0uMtA_cg3Mwr1eqDJH_nwvt13_3O9rUd3Xjs---TsrG-hZlkqu3E-3yh6o46liZfm9TVffqrocjN51dx2i4bi3ircr0ueznUmtLEgCzgdqTQ7V6ocsjmPvANy21hirs9dackz3P0V7y_kshP049uLYGxBOh4TDIglcvCdMKrmpVGOwZBWYul0E0g7rHbOgBSvFr_Dc12t3zPwYWP1QU1uhf7ma7r52vtC-r5jl65nMH6Gt9gb6-6j_QHEPzFrQsh9D9-7SRibuPLLrrnR1JL-65WSwJkZpHjHmdaG0d3BXVTujLTUUyJ-3rd1ysmPDWVm6GmJZyIEmeoCzui4FZztSH5G_3xZriM4-Zzs_jdMlJTwYuh_gIHWlfcn8KdnfNci-4VatBGflI5imtF8bt_c7RIMl6VNPHyXvlHvcxN7IxH4cZu-1-n8T_Q4TnSNhRVmax2G2S1jOlIOyKiBhFDH_s4S1M9YtrNq01ZMp-8cvWnbe1uVGKHk86Vx3O5m92HFn9EcMwpjE-Mj83Th2t3x3jwOsHyOaHxu1ZXUWawXUK2ISD6wVjK2V8OLrXHfNZlBtzLRmm8fWZ08QPJtHBpSShBcDjuGIIwTZYXJhdV1uHpi2gpV7e_20yz0zvQI7KDn3YgutfoWt8XtXeDopvR90rmQhzlVuBJQmQTaM3kHV7bMwi4Los-jtfaNfzNXt7fe7B2b6TZ5u5L080F-7wzvR43g4DippvygioNGBsnKwTJRbOz2r-9oNNctZvVsndCNHOdKYd5Y8beOZZOXGCHPXnn_o_WZijhvZHmPmZ9xhBx4n0OXxnUqSkUriOCU_rZIHUUMp5Di5OtEd0w-T1G_S0XAlNuabNFa35zRuB_duqT4U6GbuGnrsD0yDtN9kobahdLbk6XEvTsnADOnIDGme0xH6rT6O-uGfkfM97uc5PYRNyQg2jYiHa9CuBJ_x9-n8_XmSsXl_lrNmGvJlbfWgPnlSjeZwt9LIvzmR4w4PScdmvyuFvq_tHRN9AjysZvBB69GEQb0xPxpm-FTx9FuqrR39RopfGnhH_w4qpTdXTVF0kbCTz6FgTWmXOZRg4XQft2UZ1YJjI3y-rznQ01fNeXY-e3R9LfbYHkPrzXv_-MgHTmw3_kwmH1jmcw8d1cgpQBEecDd1KexM5g9acTBmC_cv8bv_wqj4UOKw7clqIVeuUD31-kx1V5RAEQ5ysj_MWZBHSXg8Gv7XYvk8q14WR8lQw8FYwyktTmq4L1X4mnVFyexnHecz9ZyNdkoHmx8ajmnzEP4Q2n8RPx7CgN_wmgCAcT_GFRPyPAf9WcD9wQ6axqPLkJQkPl4uS5Hx7t512aP50sUIN832fqb72Ta247S3JH5A3ed--mTMP84AdxOfSwNxdmCC3R36RX7p56mfsgu49GIaJmEaevHF-tILqB-FlHtFXBRBHHII_NDjfubFJEljeiEuKaEBSUlKQhp68TQCYAFJYs8vqAdZjAICFRPl7mr7or0rvvRInJDwomQZlKb9SxJKW7ekFIXXF_qy5ZU1K4MCUgpjzX4EK2zZ_vVJ2yG8xii86s-0w-uTV7ztTTQYfNHo8vK333D3wF8u6X8CAAD__5cizzM">