<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/118756>118756</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[mlir] -convert-tensor-to-spirv 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: adf892d743d91afc1af7893f97c770db31c26916
system: `Ubuntu 18.04.6 LTS`
reproduce with: `mlir-opt -convert-tensor-to-spirv a.mlir`
a.mlir:
```
func.func @signExtiConstantVector() -> vector<4xi48> {
%vector = arith.constant dense<[1, 3, 5, 7]> : vector<4xi8>
%ext = arith.extsi %vector : vector<4xi8> to vector<4xi48>
return %ext : vector<4xi48>
}
```
stack trace:
```
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-tensor-to-spirv /data/szy/MLIR/seed/seed0/tmp.IpbOKrOrO4.mlir
#0 0x0000563b726c7048 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x1188048)
#1 0x0000563b726c4b5e llvm::sys::RunSignalHandlers() (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x1185b5e)
#2 0x0000563b726c79dd SignalHandler(int) Signals.cpp:0:0
#3 0x00007f75e94b6420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
#4 0x0000563b75cc78f3 mlir::Type::getContext() const (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x47888f3)
#5 0x0000563b75c31023 mlir::VectorType::get(llvm::ArrayRef<long>, mlir::Type, llvm::ArrayRef<bool>) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x46f2023)
#6 0x0000563b77539158 (anonymous namespace)::convertVectorType(mlir::spirv::TargetEnv const&, mlir::SPIRVConversionOptions const&, mlir::VectorType, std::optional<mlir::spirv::StorageClass>) SPIRVConversion.cpp:0:0
#7 0x0000563b77538c70 std::_Function_handler<std::optional<llvm::LogicalResult> (mlir::Type, llvm::SmallVectorImpl<mlir::Type>&), std::enable_if<std::is_invocable_v<mlir::SPIRVTypeConverter::SPIRVTypeConverter(mlir::spirv::TargetEnvAttr, mlir::SPIRVConversionOptions const&)::$_5, mlir::VectorType, llvm::SmallVectorImpl<mlir::Type>&>, std::function<std::optional<llvm::LogicalResult> (mlir::Type, llvm::SmallVectorImpl<mlir::Type>&)>>::type mlir::TypeConverter::wrapCallback<mlir::VectorType, std::enable_if<std::is_invocable_v<mlir::SPIRVTypeConverter::SPIRVTypeConverter(mlir::spirv::TargetEnvAttr, mlir::SPIRVConversionOptions const&)::$_5, mlir::VectorType>, std::function<std::optional<llvm::LogicalResult> (mlir::Type, llvm::SmallVectorImpl<mlir::Type>&)>>::type mlir::TypeConverter::wrapCallback<mlir::VectorType, mlir::SPIRVTypeConverter::SPIRVTypeConverter(mlir::spirv::TargetEnvAttr, mlir::SPIRVConversionOptions const&)::$_5>(mlir::SPIRVTypeConverter::SPIRVTypeConverter(mlir::spirv::TargetEnvAttr, mlir::SPIRVConversionOptions const&)::$_5&&) const::'lambda'(mlir::VectorType, llvm::SmallVectorImpl<mlir::Type>&)>(mlir::SPIRVTypeConverter::SPIRVTypeConverter(mlir::spirv::TargetEnvAttr, mlir::SPIRVConversionOptions const&)::$_5&&) const::'lambda'(mlir::Type, llvm::SmallVectorImpl<mlir::Type>&)>::_M_invoke(std::_Any_data const&, mlir::Type&&, llvm::SmallVectorImpl<mlir::Type>&) SPIRVConversion.cpp:0:0
#8 0x0000563b75b5cb8d mlir::TypeConverter::convertType(mlir::Type, llvm::SmallVectorImpl<mlir::Type>&) const (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x461db8d)
#9 0x0000563b75b5ec47 mlir::TypeConverter::convertType(mlir::Type) const (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x461fc47)
#10 0x0000563b7753bf33 (anonymous namespace)::FuncOpConversion::matchAndRewrite(mlir::func::FuncOp, mlir::func::FuncOpAdaptor, mlir::ConversionPatternRewriter&) const SPIRVConversion.cpp:0:0
#11 0x0000563b7513d781 mlir::OpConversionPattern<mlir::func::FuncOp>::matchAndRewrite(mlir::func::FuncOp, mlir::func::FuncOpGenericAdaptor<llvm::ArrayRef<mlir::ValueRange>>, mlir::ConversionPatternRewriter&) const (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x3bfe781)
#12 0x0000563b7513d0ba mlir::OpConversionPattern<mlir::func::FuncOp>::matchAndRewrite(mlir::Operation*, llvm::ArrayRef<mlir::ValueRange>, mlir::ConversionPatternRewriter&) const (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x3bfe0ba)
#13 0x0000563b75b62704 mlir::ConversionPattern::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&) const (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x4623704)
#14 0x0000563b78627851 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
#15 0x0000563b7862451b 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+0x70e551b)
#16 0x0000563b75b637d3 (anonymous namespace)::OperationLegalizer::legalize(mlir::Operation*, mlir::ConversionPatternRewriter&) DialectConversion.cpp:0:0
#17 0x0000563b75b62827 mlir::OperationConverter::convert(mlir::ConversionPatternRewriter&, mlir::Operation*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x4623827)
#18 0x0000563b75b639ff mlir::OperationConverter::convertOperations(llvm::ArrayRef<mlir::Operation*>) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x46249ff)
#19 0x0000563b75b69bbb mlir::applyPartialConversion(mlir::Operation*, mlir::ConversionTarget const&, mlir::FrozenRewritePatternSet const&, mlir::ConversionConfig) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x462abbb)
#20 0x0000563b7547fd4b (anonymous namespace)::ConvertTensorToSPIRVPass::runOnOperation() TensorToSPIRVPass.cpp:0:0
#21 0x0000563b75b037a6 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x45c47a6)
#22 0x0000563b75b040d0 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+0x45c50d0)
#23 0x0000563b75b066a2 mlir::PassManager::run(mlir::Operation*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x45c76a2)
#24 0x0000563b75afef4a performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#25 0x0000563b75afeb9d 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
#26 0x0000563b75baad75 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+0x466bd75)
#27 0x0000563b75af8b85 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+0x45b9b85)
#28 0x0000563b75af8e2f mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x45b9e2f)
#29 0x0000563b75af915e mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x45ba15e)
#30 0x0000563b726a7b37 main (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x1168b37)
#31 0x00007f75e8ad4083 __libc_start_main /build/glibc-LcI20x/glibc-2.31/csu/../csu/libc-start.c:342:3
#32 0x0000563b726a76ae _start (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x11686ae)
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWl1T47wV_jXiRkNGlvx5wYU3kJYpDAzQ9zYj27Kjvo7sSjKQ99d3JDvxRxJYls3udtsdNhBJPjrPcz50JIsqxQvB2AXwvgDv8ow2elXJi5eXje9EzllSZZuLgmv4zKTilQAkhjTLwwhngUuyyKF56tA8CCOSR0EaBChLiJNiP3J8gGKAYrVRmq3Nc8BH_0waoRvohDPkznx48_QIfNSOk6yWVdakDL5wverGr0suz6taQ3ieVuKZSX2umVCVPNfVuaq5fIZ0ZgbtxAAUdy0khtA0-Kj9MV_yRqQz8wGBiwzwq1fN55VQmgr9B0t1JQEOAY7gOSBX8LltIXP3lbuhaQHBF4CMYOy1nRCQS0gl16tZ2smBGROKATIH3hcH4Dkk5sMzHwHwLq0YEo-EG9lbuexVD4SyV634aLr9J6Gu9lU14iTTjRS90PjgMBBcdtwNqVKapn9CLWnKAIkPDLi_uYofr6BqkjXXkMKkKaBkdSW10Welda3Mg3gB8KLgetUks7RaA7woy-ftr_NaVv9iqQZ4wZVqmAJ4AanIIBdp2WQM6hWDqaRqBROa_mm1mQEUP1rlsmZdt7qhGbT_7mVVSLqGVBbNmgmtrB_hRUY1BXih_toAvLi9uX7Yzi9Zyahi--okDS8z85sLgBc7PzzqhkcmUYxl3S8E8EKv69l1ndz9Q97JO7f1U2Q0JAiiV4QQ8nySBNhPA-SG0DJFYkBMFLV_3EsutIX_ZE2Dw36QpC_LSmnJ6Bpg3_gbF9o4s_Xp70YCwF_Qq-OEIXJNqHQAnAkAN_HYIQAPjXjkhaDl36nISiZVF3Cn0dFLPNbriKckR1kGR9oAHHactc1qltbGx5D930ohnZQgDzwWuYnvYgSXS8mUriRbSt1hKXkC8OI19Je-e15y0byeF6JpO2q9koxmM1XNUKur62LUa-oONfXSNAhzAru0Bkj8tKlZ-1fB9LwSmr3qjkebhU7BphuEYZiTXkdvrCNxEB7q2KbTkaYjb42lpJsHlgMyLytRmFyE51OMeA4PPpFUVWmfOInjuH6OER5A9YdQA49EjheaiamoxGZdNQoKumaqthEZtdp2mWJAAw57dDZrdECpLJi-Es-t7brQ7Yc-3l8__DG30swSfFdrXgl1ZPBwujlUOmubK_sQLQGZH9ThUVeSFmxeUqU6XifTHgiEYMJKmAaon3K5aERqZl2uutgi80P69Pa9qQqe0vKBqabUdpkcMrbvD49rWpYt4Ot1PcbW-t2V5ScaUcEETUq25PlQH66WXDxXqe16HkmyPBhxLReaHW9_z8Cx1vKDtu2cCWB36b1l6Q-z0obbjoC8M9ZPNBK5sj-mQ29qNkkFE_ZfJK3ntCxNWTCSeSQAfkOr_29Y8Jc0iUEc_pKamQZ_Vwdse4KSrpOMAhyMFPhkCmkt_jsQ8Vmnt-vdrU0mf5p1vl8EY7FZmtrkyHLdTux37d8w_Vcs0-GoTku8NAmzt0OzK132ipZP0HTCutR3siTM-mItmuBlqRt8Bu9pdc9TN2h1N5soNCmpkpyQ9wpNU2fd1b0LtK1rqtNVLLIH9iK5HuMyS8Xw2bFPTnvjjNb2YGQ4qJ_unmrNpOjmkSNzv-2cBvBo2-g5JAtCZzDNEFc30cjH9pBso_H7wf8bE0zydMvCcCUdbEgGSZWWDXugomDdevgNvJ3A1UiSsyB0elfDU-ZRQk_N_F3NJLVFCo6P7u2OUfnr8IgS2vNIxunGxwFy31L04yz1PT8Yq-tjEiC3xzo6lgh9HISeA58rng0sua1Dl9Ja0_a2ZxM7F0m7sm-Zj32qgxfXdclTaqPt-3I1P65nUlXluBLuBIwLjKs3hWzBfkrIkUr96-QOaiDUVmf2cAVHcI_cA9nYm9jX9Zxkn9L_2-cT9jlFnAaIeZ6T9HHqT3ISCbJ3y4idpW5YQUv-17Y4KruvX2nW9xLzJaclS_WbRUEwTakhDuCByQ-XcSNF31ZnfkiqhXSic0VMQjwo98KpnaI8_3qgu2517GD1CLoTHpxiN8rzHuCkFvejJBkmFFrX5eaeSs1pOShgP-pp7abxyBZrIau_2NbsnRM8Hh3dC51XIufF6YiiSdJHLB4V_p4b5JmbvBexnVc82VdRT5Uttu_tAa7plY24EwP27NuBvbH70YfHJXmCSED9AUMZ05SXW-M8VXe1kbMrj7upJ8lQqT3zHTdsLGi5UVzdUkELZjce9rwfz2Ej7Ovq7IRvtlwvdQPq96bBEz5clKEP83HPa1ZyMc2iZugO5psJ6ZsIGq-3Sl0LpaV9M2r2c3sL8nBAO3Pb0el-TyUT-lrk1TZ4TpYovdRDGeptMCmyke9TPFF9S8ZBD_wRyd1LA5_iXufxOzyas9ylsGYyr-Q6Tvfz9v7r290xklpRybJlrcf7z8eqkSm7LSQgV0fymUG1e0E4MfhtyeVdrW8p75LdsFqBg94DScKbgkui4SZgXBl9Sym1w94I_u-G7WG_ZetKbr40ed4GwG58xnLalHqZsZJpdvyZ3eb8uAXe37EMSPpaW54cT69dV2s9sIIrLTf7zvGWAxzZSPxIJG9Y5h33nBTAlGaBB4cHziXXscjuZZUypba6_hSn-y8MiTdHjI6HteSiMLXoseYTVVd-kgVen4qDSbYKk9A7HAe_WxSfZqVLoiQc0BtO6WU4P0pvV5ikK9qWIPFHXeY9bk6GmeF-Z4OjCebI8dh3wfxzwFFne1EKYDK9jUaDhARwTbk4zTUtP0xIvyveXSWzF6xCmrkoJHC5LHmSLpWmUi87VXZSC9N3fpNeY_S6-4pnxAF4kaoG4MVstvvTdlo5sxSQmLjYfHZz4ylynzLYznoq7D7dMr-7XnmWXZAsIhE9YxdOQAgJfc8hZ6sLSiPsJb7LIuxEXsTchBCael7up5QGqXPGLzDCroORh0LHc8gsirycEYqCwCHU90PgIramvJwZJWeVLM7szcsLxwkDzz8racJKZW8DY2xdEWPgXZ7JCwsqaQoFXFRypVUvQXNd2hvE9gHv8vg1SXuXk6mzRpYX335FtNP1-QL_JwAA__9W0-mz">