<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/61044>61044</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[mlir] Convert-Tensor-To-SPIRV Pass triggers Assertion Failure "ArrayType needs at least one element".
</td>
</tr>
<tr>
<th>Labels</th>
<td>
new issue
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
Colloportus0
</td>
</tr>
</table>
<pre>
MLIR built at commit 398cddf6
Reproduced with:
`mlir-opt --convert-tensor-to-spirv temp.mlir`
temp.mlir:
``` milr
module {
func.func @main(%arg0: tensor<1x1x2x2x1xf16>) -> (tensor<1x1x2x2x2xf16> , tensor<1x1x2x0xf16> ) {
%0 = "tosa.const"() {value = dense<[[[[[6.835930e-01, 9.765620e-01]]]]]> : tensor<1x1x1x1x2xf16>} : () -> tensor<1x1x1x1x2xf16>
%1 = "tosa.const"() {value = dense<> : tensor<1x1x2x0xf16>} : () -> tensor<1x1x2x0xf16>
%2 = "tosa.reciprocal"(%0) : (tensor<1x1x1x1x2xf16>) -> tensor<1x1x1x1x2xf16>
%3 = "tosa.mul"(%arg0, %2) {shift = 0 : i32} : (tensor<1x1x2x2x1xf16>, tensor<1x1x1x1x2xf16>) -> tensor<1x1x2x2x2xf16>
return %3, %1 : tensor<1x1x2x2x2xf16>, tensor<1x1x2x0xf16>
}
}
```
trace:
```console
mlir-opt --convert-tensor-to-spirv temp.mlir
Assertion failed: (elementCount && "ArrayType needs at least one element"), function get, file SPIRVTypes.cpp, line 52.
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-tensor-to-spirv 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 0x0000000104ebc770 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) + 56
1 mlir-opt 0x0000000104ebb7d8 llvm::sys::RunSignalHandlers() + 112
2 mlir-opt 0x0000000104ebce08 SignalHandler(int) + 344
3 libsystem_platform.dylib 0x000000019cc194c4 _sigtramp + 56
4 libsystem_pthread.dylib 0x000000019cc01ee0 pthread_kill + 288
5 libsystem_c.dylib 0x000000019cb3c340 abort + 168
6 libsystem_c.dylib 0x000000019cb3b754 err + 0
7 mlir-opt 0x0000000106c80d04 mlir::spirv::ArrayType::get(mlir::Type, unsigned int, unsigned int) (.cold.1) + 0
8 mlir-opt 0x0000000105e06db8 mlir::spirv::ArrayType::get(mlir::Type, unsigned int) + 208
9 mlir-opt 0x0000000105e18104 std::__1::__function::__func<std::__1::enable_if<std::is_invocable_v<mlir::SPIRVTypeConverter::SPIRVTypeConverter(mlir::spirv::TargetEnvAttr, mlir::SPIRVConversionOptions const&)::$_5, mlir::TensorType, llvm::SmallVectorImpl<mlir::Type>&, llvm::ArrayRef<mlir::Type>>, std::__1::function<std::__1::optional<mlir::LogicalResult> (mlir::Type, llvm::SmallVectorImpl<mlir::Type>&, llvm::ArrayRef<mlir::Type>)>>::type mlir::TypeConverter::wrapCallback<mlir::TensorType, std::__1::enable_if<std::is_invocable_v<mlir::SPIRVTypeConverter::SPIRVTypeConverter(mlir::spirv::TargetEnvAttr, mlir::SPIRVConversionOptions const&)::$_5, mlir::TensorType>, std::__1::function<std::__1::optional<mlir::LogicalResult> (mlir::Type, llvm::SmallVectorImpl<mlir::Type>&, llvm::ArrayRef<mlir::Type>)>>::type mlir::TypeConverter::wrapCallback<mlir::TensorType, mlir::SPIRVTypeConverter::SPIRVTypeConverter(mlir::spirv::TargetEnvAttr, mlir::SPIRVConversionOptions const&)::$_5>(mlir::SPIRVTypeConverter::SPIRVTypeConverter(mlir::spirv::TargetEnvAttr, mlir::SPIRVConversionOptions const&)::$_5&&)::'lambda'(mlir::TensorType, llvm::SmallVectorImpl<mlir::Type>&, llvm::ArrayRef<mlir::Type>)>(mlir::SPIRVTypeConverter::SPIRVTypeConverter(mlir::spirv::TargetEnvAttr, mlir::SPIRVConversionOptions const&)::$_5&&)::'lambda'(mlir::Type, llvm::SmallVectorImpl<mlir::Type>&, llvm::ArrayRef<mlir::Type>), std::__1::allocator<std::__1::enable_if<std::is_invocable_v<mlir::SPIRVTypeConverter::SPIRVTypeConverter(mlir::spirv::TargetEnvAttr, mlir::SPIRVConversionOptions const&)::$_5, mlir::TensorType, llvm::SmallVectorImpl<mlir::Type>&, llvm::ArrayRef<mlir::Type>>, std::__1::function<std::__1::optional<mlir::LogicalResult> (mlir::Type, llvm::SmallVectorImpl<mlir::Type>&, llvm::ArrayRef<mlir::Type>)>>::type mlir::TypeConverter::wrapCallback<mlir::TensorType, std::__1::enable_if<std::is_invocable_v<mlir::SPIRVTypeConverter::SPIRVTypeConverter(mlir::spirv::TargetEnvAttr, mlir::SPIRVConversionOptions const&)::$_5, mlir::TensorType>, std::__1::function<std::__1::optional<mlir::LogicalResult> (mlir::Type, llvm::SmallVectorImpl<mlir::Type>&, llvm::ArrayRef<mlir::Type>)>>::type mlir::TypeConverter::wrapCallback<mlir::TensorType, mlir::SPIRVTypeConverter::SPIRVTypeConverter(mlir::spirv::TargetEnvAttr, mlir::SPIRVConversionOptions const&)::$_5>(mlir::SPIRVTypeConverter::SPIRVTypeConverter(mlir::spirv::TargetEnvAttr, mlir::SPIRVConversionOptions const&)::$_5&&)::'lambda'(mlir::TensorType, llvm::SmallVectorImpl<mlir::Type>&, llvm::ArrayRef<mlir::Type>)>(mlir::SPIRVTypeConverter::SPIRVTypeConverter(mlir::spirv::TargetEnvAttr, mlir::SPIRVConversionOptions const&)::$_5&&)::'lambda'(mlir::Type, llvm::SmallVectorImpl<mlir::Type>&, llvm::ArrayRef<mlir::Type>)>, std::__1::optional<mlir::LogicalResult> (mlir::Type, llvm::SmallVectorImpl<mlir::Type>&, llvm::ArrayRef<mlir::Type>)>::operator()(mlir::Type&&, llvm::SmallVectorImpl<mlir::Type>&, llvm::ArrayRef<mlir::Type>&&) + 384
10 mlir-opt 0x00000001066aa340 mlir::TypeConverter::convertType(mlir::Type, llvm::SmallVectorImpl<mlir::Type>&) + 764
11 mlir-opt 0x00000001066a9c60 mlir::detail::ConversionPatternRewriterImpl::remapValues(llvm::StringRef, std::__1::optional<mlir::Location>, mlir::PatternRewriter&, mlir::ValueRange, llvm::SmallVectorImpl<mlir::Value>&) + 220
12 mlir-opt 0x00000001066ae740 mlir::ConversionPattern::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&) const + 160
13 mlir-opt 0x000000010691e0a0 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&)>) + 1420
14 mlir-opt 0x00000001066b993c (anonymous namespace)::OperationLegalizer::legalize(mlir::Operation*, mlir::ConversionPatternRewriter&) + 1948
15 mlir-opt 0x00000001066b2564 (anonymous namespace)::OperationConverter::convertOperations(llvm::ArrayRef<mlir::Operation*>, llvm::function_ref<void (mlir::Diagnostic&)>) + 960
16 mlir-opt 0x00000001066b462c mlir::applyPartialConversion(mlir::Operation*, mlir::ConversionTarget&, mlir::FrozenRewritePatternSet const&, llvm::DenseSet<mlir::Operation*, llvm::DenseMapInfo<mlir::Operation*, void>>*) + 80
17 mlir-opt 0x00000001062f3440 (anonymous namespace)::ConvertTensorToSPIRVPass::runOnOperation() + 316
18 mlir-opt 0x0000000106677364 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) + 428
19 mlir-opt 0x0000000106677894 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) + 320
20 mlir-opt 0x0000000106679204 mlir::PassManager::run(mlir::Operation*) + 1148
21 mlir-opt 0x0000000106672724 performActions(llvm::raw_ostream&, std::__1::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) + 476
22 mlir-opt 0x0000000106672324 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>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&)::$_1>(long, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&) + 520
23 mlir-opt 0x00000001066dc7e8 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
24 mlir-opt 0x000000010667056c mlir::MlirOptMain(llvm::raw_ostream&, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) + 132
25 mlir-opt 0x0000000106670d5c mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&, bool) + 1972
26 mlir-opt 0x0000000104d5a12c main + 108
27 dyld 0x000000010a12d088 start + 516
zsh: abort mlir-opt --convert-tensor-to-spirv temp.mlir
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWl1P67jW_jXhxqJKnO8LLroLaJBAIEBbet-bynFWW59x7BzbYdP59Ud2kjZpGzbM2WeGmdlVBU2yvPysDz9esU20ZmsBcOHFX7z48ow0ZiPVxUJyLmupTKP9s0KW24u725tHVDSMG0QMorKqmEEIhXlGy3KVeP6l588foVaybCiU6BszGy-cI9Q-8RK_4kydy9qg83MqxQsoc25AaKnOjTzXNVMvyEBVz6ycl_hdO_d3fz-c7_S1X1QxrrpOKlk2HJCXfmmvEVo1gs7sH-RFfkWY8HDm4ZiotW_Btf174SJ4DV7xK34NXldB4oVXHs7RuRdeIQ9nR0K4E0IeXhyq8PtnyKoYILE3Yh954SXyMDZSkxmVQhsPY4fJCb8Q3oCTKUFo8MKFC8v-m8yyMM5DH879wPaez9IkTnB7HV-OvhbgoY0tyM7G9NIJdN07c6eFh2YEHzfjFJi9t74LZSA6BIJHQBRQVitJCe_RxL5D1Gqetu1j1oejTqtm35tLK7xwyDpX6A1bGdfAdzhYiAfGvpF_izfQTLgIH-JVYBolHOYOVnAqCoN20wndqfTSy24A7n6Mx2Mv145bRSgcj1mbMZJDzw0fIgbXYq41KMOkQCvCOJSdO4FDBcIsZCMM8nDi4cTGaa4U2T5va0ACoNSWvzgQbZAUgLo2Loa5td-yhVO9BuOuGQf09HDz-NWq0DNa1_Y2ZwJQjGctoIfbq_nTFdJNYWmRoKJZIwWWQJGRaGNMra0b8LWHr9fMbJpiRmXl4WvOX_p_57WS_wJqPHzNtG5Ae_gaEVEiJihvSkBmA4gqojeoIPRX59uu-ydD6K-obKp652x_5vn5g5JrRSpE1LqxVloQ6OPu3qt3tC4bg_S2KiRHglSgneuFbhSgrWzQhrwAcga1Quw3UIgJ-0yhh_nzL0gqpME4e0C8MCWFBYdeiEJe4t_efr1bPv3f3Zf725v_v3pc2iaW6I1EtWTCeZQZG62drWhvlP_qt5_Aj6Cgaeo7LFY2nOutbn88KCaMM-vZpSjO9kKKfFtKbRSQyuXQAjGbHzny8BcUdzNdMOjy8DOGUKRldgrCYyOe2FoQ_gsRJQele_7EX1AQ4LYbPG0Z-BkaKfBwNgAaRlGrIkSIs0JvtYFqWXNiVlJVs3LLWTFQmVMa5BGN0FKztVGkqkfmRiMlZqOAlKd0-AGAjzqB5a-Mc6cGZ1mrJx7qoSc0FCENIx-Rwg4d54qka5p8v2mRxhECpVzDjonS9wUqoZlf-hHqi4xw7kZC-3NHIO2lI4ZsL-me4AVqhKulyjZfDq9tWLIZlbycBX2QOozZ-zDG4Cdlkf1AjC0K7Hcuzk9nWwxBFvgR0qZslS2XQf-jZ8vhtRcujkVBkILDkq2GT5leMvEiqXv04oWLPeAd4y5ajoLp-0M7Bx55JmoN5kq8zI1R1vYD5a0CzaS4r60JGnWVTNJxiyXsaBmPmz47quzduR_XTxXh_CtQI9VNVfORLW1Yrjo22bdxMXuE1UnhdjY-duTe4ye8LJ0lZNz9rVwzSvgj6Iabrqg9zoz_oSnWnc4gd9fYmXgsdBDjb4rUC8K5nebGCkfO_0ck2c80-F4afMpwWnOzT4nMlcWDeyknVVESD6fjfPijeK7Nir-4s_4QN53kAcK5pMS4N7Z_BCH-nHV_zro_Z90_PQ0-ZTj_-hPJz1n3s826U1TwqUd7CxCUKwzcutIJIMmR6h8Pp4tkuySVdUtSgf--NZmEkDDy36arbgmzteiH-LoFmyY92ODkokiSkJwmQ3AlGMJ4-3uf6g_EGFDiEb4pZqDr2YooqEj9lXC30DtYfnwyiom1dehH0o6Sdlq6Go-7g9674O2fu_4fiVh_wFeuzdhZGHcrWQGechako0geOai9XRFDN3NRdoBHEb13-WytxPPvW5m35NKtIfbwwtPw8gB84h9rnNc1Z111_WPhDZ3dFxVL5UZRISUf80anYEyXV28qeZGs_K-VTPDa-_R2K9nRLjWidw76Is9DavsgQoptJRvdbjPUbqE-P_D2LayJ22Jo7_Pu8p2hmRyng-QO8qhbHw3iiewucJxE74Z8msF2j8d0cJJeRwZ9OBMuGVkLqQ2jR-HKdyMlmTI1SjAdeJDUNd8-EGUY4Xtvftj9be1wxE_XSv4GfVC6ED2BGSTb0PJLEBqewEz76lj8jtQ3YiXfbGJd2L8czntXZb2n0vflNV6FUeR_L0m63OjqQOnqpgeiuz0j1Yh7MUC32zAKg35fKpuIW5qGSTQxW93Xz_K-tt3MS1Lv2E414mCka30UwungzgXhW830HRFkDa4gtNQ2tQsR4X6U5ZMmZPnHTXhgNXAmDhnBiu6QJT_cpjH_a30jtFFuD9YWZEcTxFCA7PdTeuwPRIEwNk_7zN-lYdjzK35vUZXmeLTRNfTEybiP3dHvUPakiKfqoxSnOEI1qJVU1ZweU9vxRutxuaM3REG5rI3ywsWgPpGNonC3VrbGHpLBHvXd7c3jQgoDr-bI4Xecqfva3BFmyXjF1sPZq83GtBtQeKqiSXGIh24cT5G_Z049tr4R7N8NHFl_B5VU2y_NatWm4HHDElak4WZZAgcD0413K17TUdm_UNBuVWC5EiNDBt78cHz_OAtH8x8Hah5hzbRR2-PMeSs79u-pQfsGzaVY_9m2vRG9dht_RxLhO0mipCmMd5o5M3NRPihJQese_SfJ2b_FGHtTYj_PtP_buCb9-QwcTbGUHyf0dG7__cdqO1OF_Vmaqeo99ct42kfddE43pJ24D4rI0ev693APYxfkaQ_sdK0dlTEJbK1NmGhb9Oc0cIrKLS-HwiTApZ9lSBvSHZyJ-5LwN-0O4rZHatyn-vAJsMPjfWflRVjmYU7O4CJI0jTOgjgOzjYXyQr7QUHTJCIRgSAlUUlpkdB8FfpBnNIzdoF9HPoYZ4Ef49CfQV6uIF35RRmWtKSBF_lQEcZn1sczqdZn7jTcRRL4UXTGSQFcu9PKGAv4htxDD2MvvjxTF-7YWdGstRf5nGmj91oMM9wdc3ZWxZeoK7XP21r7_Fmeu2ob2XoIGcXWa1Aa7Y8aXhPGGwUfOFE4O2sUv_j9p_-cyf8JAAD___uP1gI">