<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/149956>149956</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[MLIR] Segmentation Fault when converting `VectorLoadOp`
</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: [f3a3270](https://github.com/llvm/llvm-project/commit/f3a3270dbca3649b7d56aaa42cb8481fb34e2d67)
Step to reproduce:
```
mlir-opt test.mlir -convert-vector-to-spirv
```
Minimized test case:
```
module {
memref.global "private" constant @__constant_7xf32 : memref<7xf32, #spirv.storage_class<StorageBuffer>> = dense<121.710007> {alignment = 64 : i64}
llvm.func @main() {
%0 = llvm.mlir.constant(0 : index) : i64
%1 = builtin.unrealized_conversion_cast %0 : i64 to index
%2 = memref.get_global @__constant_7xf32 : memref<7xf32, #spirv.storage_class<StorageBuffer>>
%3 = vector.load %2[%1] : memref<7xf32, #spirv.storage_class<StorageBuffer>>, vector<7xf32>
llvm.return
}
}
```
Crash backtrace:
```
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 test.mlir -convert-vector-to-spirv
#0 0x00005649ee4011f8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/home/workdir/llvm-project/build/bin/mlir-opt+0x18c41f8)
#1 0x00005649ee3fe875 llvm::sys::RunSignalHandlers() (/home/workdir/llvm-project/build/bin/mlir-opt+0x18c1875)
#2 0x00005649ee402311 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
#3 0x00007f63f5846520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
#4 0x00005649f1e6a703 mlir::Type::getContext() const (/home/workdir/llvm-project/build/bin/mlir-opt+0x532d703)
#5 0x00005649f113ee1b mlir::spirv::PointerType::get(mlir::Type, mlir::spirv::StorageClass) (/home/workdir/llvm-project/build/bin/mlir-opt+0x4601e1b)
#6 0x00005649f1c30b30 (anonymous namespace)::VectorLoadOpConverter::matchAndRewrite(mlir::vector::LoadOp, mlir::vector::LoadOpAdaptor, mlir::ConversionPatternRewriter&) const VectorToSPIRV.cpp:0:0
#7 0x00005649f1c30d2e mlir::OpConversionPattern<mlir::vector::LoadOp>::matchAndRewrite(mlir::vector::LoadOp, mlir::vector::LoadOpGenericAdaptor<llvm::ArrayRef<mlir::ValueRange>>, mlir::ConversionPatternRewriter&) const (/home/workdir/llvm-project/build/bin/mlir-opt+0x50f3d2e)
#8 0x00005649f1c307d7 mlir::OpConversionPattern<mlir::vector::LoadOp>::matchAndRewrite(mlir::Operation*, llvm::ArrayRef<mlir::ValueRange>, mlir::ConversionPatternRewriter&) const (/home/workdir/llvm-project/build/bin/mlir-opt+0x50f37d7)
#9 0x00005649f1d0d206 mlir::ConversionPattern::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&) const (/home/workdir/llvm-project/build/bin/mlir-opt+0x51d0206)
#10 0x00005649f46778fd 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 0x00005649f46746af 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+0x7b376af)
#12 0x00005649f1d0e25e (anonymous namespace)::OperationLegalizer::legalize(mlir::Operation*, mlir::ConversionPatternRewriter&) DialectConversion.cpp:0:0
#13 0x00005649f1d0d317 mlir::OperationConverter::convert(mlir::ConversionPatternRewriter&, mlir::Operation*) (/home/workdir/llvm-project/build/bin/mlir-opt+0x51d0317)
#14 0x00005649f1d0e70f mlir::OperationConverter::convertOperations(llvm::ArrayRef<mlir::Operation*>) (/home/workdir/llvm-project/build/bin/mlir-opt+0x51d170f)
#15 0x00005649f1d1aba5 void llvm::function_ref<void ()>::callback_fn<applyConversion(llvm::ArrayRef<mlir::Operation*>, mlir::ConversionTarget const&, mlir::FrozenRewritePatternSet const&, mlir::ConversionConfig, (anonymous namespace)::OpConversionMode)::$_0>(long) DialectConversion.cpp:0:0
#16 0x00005649f1d13423 applyConversion(llvm::ArrayRef<mlir::Operation*>, mlir::ConversionTarget const&, mlir::FrozenRewritePatternSet const&, mlir::ConversionConfig, (anonymous namespace)::OpConversionMode) DialectConversion.cpp:0:0
#17 0x00005649f1d134fe mlir::applyPartialConversion(mlir::Operation*, mlir::ConversionTarget const&, mlir::FrozenRewritePatternSet const&, mlir::ConversionConfig) (/home/workdir/llvm-project/build/bin/mlir-opt+0x51d64fe)
#18 0x00005649f1c34cb6 (anonymous namespace)::ConvertVectorToSPIRVPass::runOnOperation() VectorToSPIRVPass.cpp:0:0
#19 0x00005649f1ca95e3 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/home/workdir/llvm-project/build/bin/mlir-opt+0x516c5e3)
#20 0x00005649f1ca9e82 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+0x516ce82)
#21 0x00005649f1cac65e mlir::PassManager::run(mlir::Operation*) (/home/workdir/llvm-project/build/bin/mlir-opt+0x516f65e)
#22 0x00005649f1ca45cb performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#23 0x00005649f1ca4224 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
#24 0x00005649f1d54125 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+0x5217125)
#25 0x00005649f1c9d412 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+0x5160412)
#26 0x00005649f1c9d6c8 mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/home/workdir/llvm-project/build/bin/mlir-opt+0x51606c8)
#27 0x00005649f1c9d8e2 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/home/workdir/llvm-project/build/bin/mlir-opt+0x51608e2)
#28 0x00005649ee3dfb57 main (/home/workdir/llvm-project/build/bin/mlir-opt+0x18a2b57)
#29 0x00007f63f582dd90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#30 0x00007f63f582de40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#31 0x00005649ee3df5f5 _start (/home/workdir/llvm-project/build/bin/mlir-opt+0x18a25f5)
Segmentation fault (core dumped)
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzsWttu27rSfhrmhohBUaIkX-TCcer_L9CgQVKsW4MSRwp3ZdKbotJkPf0GKdk62Dk1zlrYh8KNDxRnvvnmwCElXteyVAAXiF0idnXGG3uvzUX9C4CLs0yLpwsLtcW53mykReECI3ZZhDykCUHsCtH03tptjcIFoitEV6W09002y_UG0VVVPezezrdG_wNyi-iqE0VXnRiR5TyMo3mWCBZzziOaZ2mUBkUWRkBFnCA6R2TRvu4sbLHV2MDWaNHk4DSTBYpJ9yKLTSXNud5a7IDP3Dd8nmv1AMaeP0ButTm3-rzeSvMwmYnI4loquZF_gsCt2bw-pkGLpgKMkktEFngDGwPFrKx0xiuMKN0a-cAtIEpxrlVtubIYRWS93n1bJ49FSLFjs52MwqX_CdElRjT02Ga11YaXsM4rXtcoXN613y-bogCDwi8o_IJReIUFKAdyGdBglgSEkMSPJJe8kqXagNMeXuE48gplHKHkyuHGzi-zolG5Q7fhUiGaIjrf2YUxRpQRP9lf6qic7WxANCWtQCXg0U_rpJOFmxf4eVkjKyvVrFEGeOV4XbeuqKVW65zXdqfDz3WebeXt9VMvZ8cx2PWO508htNcber1tvMwqzYUH47KEsgCxq1Moo8tOwV5Ci8CzbcA2RnlArcO6v-N4XRpe3-OM5z-t4cey4ebbl8XdF1w32UZazHHWlC55tLGO7Hcnr6zrBmpEV5grgaXKq0YAtveA8zGSmU9Wnv_EotlsW1xkhv2_G6NLwzeYm7Jx8Vl7Lt-Vto5ogskjIYSwOJoDRCQIitRz57SFi_qpbj_cGKmsx_LDc0TT_iLDf611bQ3wDaKx84h0sT3HPhdW93oDiK5-afNTSHNIh4tv4d5d8qx2JiB6SR6DNI-CIm2Ll4MbjOCGBaQJOwb3tlF3slS8-n-uRAWm3qXlCRAFacJ6RHRCIA2DAI90I5p6Ppa4lqVUhV5bRBc-cLUU_uO8m1HP8q3zM_H_WwVhpyAp4rBgaRQzSjo7KpkhunpM43UcnVdSNY_npWragXxW61nsMUeUUdIjjgaIiwBinpDQR05L3Y-nLbSfSrBLrSw82o49Xyo-ziELqUhI2CNiI0RBCBBkA0RtvLZhqKWyYEYYEU0n6Ony-Oyufix9OTlFNEQxCSDIekvikSV5SLLQO4srrZ42uqmx4huotz6F5i2qP3xiftNcfN8u22SFDvuG2_x-ocQt_DLSrYYDS3dVz31uJ4_tPhxfCL51P40uW-6XkhtuLRjV6TI-lXc-bzH-0Hc3X2__OBKkydRuQWGgZGfYQA0Kly_a4qr76Sn4P1BgZL5jIlz2tWNhDH-69StRL-EPXjVwy1UJ_XLzXu4-ni-kCAWFPsrSKduJSD6f7e9bMNxKrbrq9S7q_i7eEpH0vM1HvAkiKIlfgvV-TvqRz7UsEISSuGvqaRgMl_EiipMkLYRfXgZecl2qg7pu2y0_2hb2vftzXlWu-1gX44jpjFlst5XM-T54TsfM8nmcmdZuR5AeCGjJbIntQuxVYz8kpB_4pkuZ8-oW6qayb5PbFXtEozXxP6SVVqWLiQNyJ_UV-ZZi7N8o5sUhpf_zzwf88_GsTLIwiXnRZyWd1BugDF7rBvZ--Qal3-11uKvu6xud-FqJvZK8gtz2lx0JunBaLsNgvMx0yidNS7fhGAF9Gc7ymNSuMT5JrQyDpPdKNPVKQoq3m7Ufrkd7oKNL4MiWEwUZC0SQkEGQjZtnEfCMsw-Xfr7dVk-9037D1OPB-IObEuwg-YaXrYz-E3aR0cXJ3bNX90KXWhWybE8OXsmtftK1FvBSVX5LgsQT6sOIhvi_hro3UZQcUFQMNwaerBturOTViLP31bhP5eY0SRtHBfRJO-3gozyLX3NBV49GW7EbfzDmD2Ea9V0NuPIb9oNrj3ho3BTnfM5geBwgwHJZ7VzxQ3_fOjn7DVSnerLEuu314qW6PhxZKF491bK-5oqX4Lenrqdw743yJ-viZAdKLIhzBuHeEZRMrYeUvtv6G7mFSqrp2uwu3Rv14jL3W3SMe7a6_qpqa_xZoNvjHzR1wwtaze1Ah_2GG1D2qyr0LjFOtfzGOaS0ZzyYMJ7HDCZAd6Yfja5PaBDiImZ9clI6QRixPMNbMIU2m0V-uPYfnn_WVnSHT_fcgFhv7fis4U43Jofr0qDwyzN16Prb19v96dvEmdeVNN-39prLrkgNu1k8GD1MdxpOjaM0ws91zr_Tau9tb5T8ZwMHtl_DRpun7gx_yJWAgjeVXQuowMLzc_YHMc974PUd7YCkt_ry0-3p0XUr6y2Usrbm6TA4XgqAZ1qav9KSFzzzSnhOmnMWBZSNDnMraRdK3BidQ13vsP4tQfdvmBIvXjEcu7NGqtJ1qs_9fIrCS4MkoKwvvOOtTD4XUUCPR_1_Ws6eZBUjUTBYZ-MpmXGePktm11Dk97xtHRbvDYfXmDiRhXGe9hYmUwtTeD5c3mPhX2JKCgNnpeP7mqLIWII3XKpT3LHkNGP9-Qedj28oUiHm77yhSOdiTvYC9_eQ9wIhIni9dnPWteXGrgeWvFkFRAMVwZQfVjDcCj8NQ6zo6tAdlPsOGfti4BTk2oC_CQ-iA7V7POBMXIRiHs75GVwECQsDFpJ5fHZ_QfMCwigUWcKSIp5TAjDnXLAk4UFQiPhMXlBCGUmoe0uDeJYHjAVBzHjKaBDNAUUENlxWM_8sgzblmX9y4CKI5nMWn1U8g6r2Dx1R6kOWUsSuzsyFNz1ryhpFpJK1rXsJVtrKP6jk-kvErvDI3pW399c9-PNRt9uUqsQoJsN7lM7oxlQXv__cQ2fAwwX9VwAAAP__hHaVFg">