<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/118449>118449</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[mlir] -arm-sme-vector-legalization crashes
</td>
</tr>
<tr>
<th>Labels</th>
<td>
mlir
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
wwy6191
</td>
</tr>
</table>
<pre>
git version: d09707070c7460d0887eae8f7022e816510d5eb1
system: `Ubuntu 18.04.6 LTS`
reproduce with: `mlir-opt -arm-sme-vector-legalization a.mlir`
a.mlir:
```
func.func @vector_mask_empty(%m0: vector<16x2xi1>, %arg1: vector<16x16xf32>) -> vector<16x16xf32> {
%0 = vector.mask %m0 { vector.yield %arg1 : vector<16x16xf32> } : vector<16x2xi1> -> vector<16x16xf32>
return %0 : vector<16x16xf32>
}
```
stack trace:
```
mlir-opt: /data/szy/MLIR/llvm-release/llvm-project/llvm/include/llvm/Support/Casting.h:662: decltype(auto) llvm::dyn_cast(From *) [To = mlir::vector::OuterProductOp, From = mlir::Operation]: Assertion `detail::isPresent(Val) && "dyn_cast on a non-existent value"' 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/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt -arm-sme-vector-legalization /data/szy/MLIR/seed/seed6/tmp.h3wL7Ub7GL.mlir
#0 0x0000562089388f88 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x1185f88)
#1 0x0000562089386a9e llvm::sys::RunSignalHandlers() (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x1183a9e)
#2 0x000056208938991d SignalHandler(int) Signals.cpp:0:0
#3 0x00007f4dc1a14420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
#4 0x00007f4dc105100b raise /build/glibc-LcI20x/glibc-2.31/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
#5 0x00007f4dc1030859 abort /build/glibc-LcI20x/glibc-2.31/stdlib/abort.c:81:7
#6 0x00007f4dc1030729 get_sysdep_segment_value /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:509:8
#7 0x00007f4dc1030729 _nl_load_domain /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:970:34
#8 0x00007f4dc1041fd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
#9 0x00005620897e223d (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x15df23d)
#10 0x00005620897e1f48 mlir::OneToNOpConversionPattern<mlir::vector::MaskOp>::matchAndRewrite(mlir::Operation*, mlir::OneToNPatternRewriter&, mlir::OneToNTypeMapping const&, mlir::OneToNTypeMapping const&, mlir::ValueRange) const (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x15def48)
#11 0x000056208c84ed60 mlir::OneToNConversionPattern::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&) const (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x464bd60)
#12 0x000056208f2e2a21 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
#13 0x000056208f2df6eb 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+0x70dc6eb)
#14 0x000056208c83e11f (anonymous namespace)::GreedyPatternRewriteDriver::processWorklist() GreedyPatternRewriteDriver.cpp:0:0
#15 0x000056208c83aaaf mlir::applyPatternsAndFoldGreedily(mlir::Region&, mlir::FrozenRewritePatternSet const&, mlir::GreedyRewriteConfig, bool*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x4637aaf)
#16 0x000056208c84eff4 mlir::applyPartialOneToNConversion(mlir::Operation*, mlir::TypeConverter&, mlir::FrozenRewritePatternSet const&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x464bff4)
#17 0x00005620897d9074 (anonymous namespace)::VectorLegalizationPass::runOnOperation() VectorLegalization.cpp:0:0
#18 0x000056208c7c3936 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x45c0936)
#19 0x000056208c7c4260 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+0x45c1260)
#20 0x000056208c7c6832 mlir::PassManager::run(mlir::Operation*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x45c3832)
#21 0x000056208c7bf0da performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#22 0x000056208c7bed2d 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
#23 0x000056208c86afa5 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+0x4667fa5)
#24 0x000056208c7b8d15 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+0x45b5d15)
#25 0x000056208c7b8fbf mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x45b5fbf)
#26 0x000056208c7b92ee mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x45b62ee)
#27 0x0000562089369a77 main (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x1166a77)
#28 0x00007f4dc1032083 __libc_start_main /build/glibc-LcI20x/glibc-2.31/csu/../csu/libc-start.c:342:3
#29 0x00005620893695ee _start (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x11665ee)
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWl9T4zgS_zTiRUVKlvz3gYcMTPamCg4KZvceU7LVNrqxZZ8kM2Q__ZVkh8QmAXZmc1t3dfMHYqul_nX3T90tO9wYWSmACxR9QtHVGe_tY6svvn_fxEEWnOWt2FxU0uIn0Ea2CrElFiRLiPtbJGFMBEnTBDikZUIohTSIo4CICPIAkSUiS7MxFho3D8Xk17xXtsdBuiDhIsbXXx9QTAY5DZ1uRV8A_i7t4yjf1FKft53F-Jzr5tw0cP4EhW31eQ0Vr-Xv3MpWYb5wgi9LIbIc77Alxu5GTIZ_7qLsVbFwPzAKybDauuHm2xqazm4QTRGNGuKmDoOIXQbxM32WAWKfEb3EiEZcV8FcIoifS0a9TIbPEft8eBSj5BMiDheNCEbsahRbOAzY63Yi27sbCbXYqsRHdWKUXL0aHTG_AcYD0WB7rbZ4jhlFlii5Gv27705jefENW80LQGx5QGAbQx9SuhLcckRX5vcNoqub6y_3iK7q-qk511ADN7C97HT7TyjseInoSqqi7gXsbjz0XddqJ3HJjZWqWjjaxDH1JIWitpsOEE15b1sXEz-NLRFbio1aF9xYRNOVbhuM6NIJoOjT19aHZCQPYsutM9zn296CvvMstbedo8IwezLhtgPtWYmiKwdkaQxoz1IUEwGWy3oQlOZOgwHlUPzGaw-AxojGGFG6RYgdu7Fq1Tk8S2NBWfzE6x4QpYgmuOSyBrFAZHl3_Xn58BmbPm-kxRznfYU1OP9g2-JHazvj1NIVoqtK2sc-XxRts3PmzOfSmB4MoivMlcCj67F9BFxobh5xzotvPuZO94OngOibbmAAWWD_5063leYN5rrqG1DW_DAF8l7Wwv2WCtHVS1Z4MykcUWQAxPgrRnRlm27xyL5fJ7_myS_XQ9YgDiUjmDwTQkgUU5JmLE3LNN3jkNmY4cOdlsp6F3z1m4CmOyHNv69bYzXwxsf2EksXbxfp9E90BKKfyHMQpFGZpohmowHBzICYZ3DIgPtePchK8fpvXIkatPHgToWR8Qx2GOkMY5YFAk_QIJqOPhtum0XROZ4R_39YhY2rJGUoioAHYUgJXq81GNtqWGs72lLLHNHVcxqv4_C8lqp_Pq9UPwx09lEDFwvTLsiA1a2yQxpOdJAoICTHmksDeM_mqpZ5cX5dfKHk-eWSLljgXOjxI7paLNzVxgjo3BbrlXwebjx5KKp3l37pRYHYMnKlJhhhRFMYjKRRhnneehs_BsOKwQ9-lteQOg3JqCGea0hohiuw6wHx2kDlNvPa56GPKpXKOsvrlovGVAUf9EYkc9pHxckhxWtVr92stWgbLtXP6csSxxoWjgrTqcIwKEX8AaYUjiOx5whjpcsiW45kEzYnQCkTJ9lGkSgpE4Nit9PJTHFQhul-TVLwtf37bXfZqrGPu-PWglaIXR4udTfcfLvtXN33lw23xeNSiXv4rqV1Oe5QwXNV9PKV2lHVOFWPeXAu9XXTwQ3vOqkqXLTK1eYflPvN8fKeq8qlmUHmRDGAMkx3MZik2yINQcTkFfwDEfhx_x7y7AktDuMwFzHZWTxJ3iUFymmAn1op9qqMa7Qd-LWGErFLPzrUlxdyFbyuXT-xLqd8HM1bdl0tC_5CzT_PV5fHceZtW-PJ0uMCe6TLxvPAu8b-1CK7geu2kgWv78H0tf3YutkwjGi4Jv5GWreqcix55dxZWXXxZdP4ijKG_LVL_x-fn4jPKfZpQkQRQ77bp-E0MzEIgtIp5qpVm6btDVa8AdP57nWkzC8aQGymUbnS8glGizrdFmDMP1r9rZb-JOWsOT7rAL2iGSzOebnHCN519XYps1Ri1dbCry_rzcS591B5Rs3qwEq3v8MWxLjOA9gjVWNAPkpftqqUlRNwPNueDk-RUVnCebmLVDyvIWUZvnaJtpLX83rywX3m6ucw6VAtft9nJ_JDmJdluPNDMu1nREaS8D3G_ubbl-u9I-AdN-MRR_fqVu05xZP19YQDJE0nEUkKlrF4z2H7B_rb7mt72zmlS8G7l3yoezXLBca8bpWOBmypeL0x0txwxSsXsi0pL3Gv_LM7ccJDZRgVJGPxLjLZzB8hnXQ5H_PHneyglmpeG5zoi5nz7u_nHTQtN8Z8UcZq_2Ci1Qfq0b7AoHkYGLHfcQ3KflFlu90dJ8sSURHQvb6LklkM4pTRGfStMw4ycOrLU2FmKaM7zNPuOMlLIjjuQJetbpa-npp3npwYK8YHF49cg1h3Vk_K70Pb6wJuKo3Y5yNJ3ll12SoLz_ZVwG9qqW87e8OlGtL_JOntjb5OEpTOjANB93vgaWPwI53Ei-29kv_q4ZXtN9C0evOpL8thA7zICyh5X9u1gBosHJ_jevFZnzOPwPsN-56TPhrLk9uzQ3cleQ2Fdd2CsXrzmhxvEeBIH_2ftOSNyLxDTzbtKmJe8mjPcNPV0i6VuBtaui3Wv4R0_4Vb4k2J_bEHq6Wq7qE8evtEzVWclDzapeJwlq1SEUSH98H_2i4-TaXLIxHsuTeau7fMy6PuHRuT4pEPLcjyj1LmPd-czOYy351baDyzOaMAf4rNf41xMQXYGTc9jLA440mCx4fRJ3hDEsc8SXbaZw-pGSUpw-t1LfNibSzXdv1HnosXpt--gBg--kG_jn9CzkLqfo66s7nlEQAetJ7K9ujF8y_vkM_EBRMZy_gZXAQJYzSIkyQ7e7zIWZKIBELGeFzQJIlzkQdJzPMwAUHy_ExeUELDgBJGMhIH2aIUSRLkZZKyMo6CWKCQQMNlvXAgF62uzvyLz4sgSMMwO6t5DrXxX42g1FORUhRdnekLb1TeVwaFpJbGmt0KVtraf53CT4iu3n5L6V-ngjnrdX3x429pR7xPF_TfAQAA__-GunNd">