<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/61054>61054</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[mlir] Convert scf to SPIRV pass triggers Assertion failure "cast<Ty>() argument of incompatible type!"
</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-scf-to-spirv temp.mlir`
temp.mlir:
``` milr
module {
func.func @func1() {
%c595672731_i32 = arith.constant 595672731 : i32
%cst_5 = arith.constant 0x4E2D0EB9 : f32
%c9 = arith.constant 9 : index
%alloc_22 = memref.alloc() : memref<13x7xf32>
%21 = tensor.empty() : tensor<13x7xf32>
%mapped = linalg.map ins(%alloc_22 : memref<13x7xf32>) outs(%21 : tensor<13x7xf32>)
(%in: f32) {
%279 = scf.index_switch %c9 -> i32
default {
%292 = vector.broadcast %c9 : index to vector<13xindex>
scf.yield %c595672731_i32 : i32
}
linalg.yield %cst_5 : f32
}
return
}
}
```
trace:
```console
Assertion failed: (isa<To>(Val) && "cast<Ty>() argument of incompatible type!"), function cast, file Casting.h, line 567.
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-scf-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 0x000000010461a5b4 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) + 56
1 mlir-opt 0x000000010461961c llvm::sys::RunSignalHandlers() + 112
2 mlir-opt 0x000000010461ac4c 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 0x00000001063ebaf4 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>&&) (.cold.1) + 0
8 mlir-opt 0x000000010557e4c8 convertVectorType(mlir::spirv::TargetEnv const&, mlir::SPIRVConversionOptions const&, mlir::VectorType, std::__1::optional<mlir::spirv::StorageClass>) + 1576
9 mlir-opt 0x000000010557de14 std::__1::__function::__func<std::__1::enable_if<std::is_invocable_v<mlir::SPIRVTypeConverter::SPIRVTypeConverter(mlir::spirv::TargetEnvAttr, mlir::SPIRVConversionOptions const&)::$_4, mlir::VectorType, 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::VectorType, std::__1::enable_if<std::is_invocable_v<mlir::SPIRVTypeConverter::SPIRVTypeConverter(mlir::spirv::TargetEnvAttr, mlir::SPIRVConversionOptions const&)::$_4, mlir::VectorType>, std::__1::function<std::__1::optional<mlir::LogicalResult> (mlir::Type, llvm::SmallVectorImpl<mlir::Type>&, llvm::ArrayRef<mlir::Type>)>>::type mlir::TypeConverter::wrapCallback<mlir::VectorType, mlir::SPIRVTypeConverter::SPIRVTypeConverter(mlir::spirv::TargetEnvAttr, mlir::SPIRVConversionOptions const&)::$_4>(mlir::SPIRVTypeConverter::SPIRVTypeConverter(mlir::spirv::TargetEnvAttr, mlir::SPIRVConversionOptions const&)::$_4&&)::'lambda'(mlir::VectorType, llvm::SmallVectorImpl<mlir::Type>&, llvm::ArrayRef<mlir::Type>)>(mlir::SPIRVTypeConverter::SPIRVTypeConverter(mlir::spirv::TargetEnvAttr, mlir::SPIRVConversionOptions const&)::$_4&&)::'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&)::$_4, mlir::VectorType, 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::VectorType, std::__1::enable_if<std::is_invocable_v<mlir::SPIRVTypeConverter::SPIRVTypeConverter(mlir::spirv::TargetEnvAttr, mlir::SPIRVConversionOptions const&)::$_4, mlir::VectorType>, std::__1::function<std::__1::optional<mlir::LogicalResult> (mlir::Type, llvm::SmallVectorImpl<mlir::Type>&, llvm::ArrayRef<mlir::Type>)>>::type mlir::TypeConverter::wrapCallback<mlir::VectorType, mlir::SPIRVTypeConverter::SPIRVTypeConverter(mlir::spirv::TargetEnvAttr, mlir::SPIRVConversionOptions const&)::$_4>(mlir::SPIRVTypeConverter::SPIRVTypeConverter(mlir::spirv::TargetEnvAttr, mlir::SPIRVConversionOptions const&)::$_4&&)::'lambda'(mlir::VectorType, llvm::SmallVectorImpl<mlir::Type>&, llvm::ArrayRef<mlir::Type>)>(mlir::SPIRVTypeConverter::SPIRVTypeConverter(mlir::spirv::TargetEnvAttr, mlir::SPIRVConversionOptions const&)::$_4&&)::'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>&&) + 104
10 mlir-opt 0x0000000105e10a9c mlir::TypeConverter::convertType(mlir::Type, llvm::SmallVectorImpl<mlir::Type>&) + 764
11 mlir-opt 0x0000000105e15184 mlir::TypeConverter::convertType(mlir::Type) + 64
12 mlir-opt 0x000000010583a12c (anonymous namespace)::ConstantCompositeOpPattern::matchAndRewrite(mlir::arith::ConstantOp, mlir::arith::ConstantOpAdaptor, mlir::ConversionPatternRewriter&) const + 292
13 mlir-opt 0x0000000104784860 mlir::OpConversionPattern<mlir::arith::ConstantOp>::matchAndRewrite(mlir::Operation*, llvm::ArrayRef<mlir::Value>, mlir::ConversionPatternRewriter&) const + 184
14 mlir-opt 0x0000000105e14ec4 mlir::ConversionPattern::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&) const + 200
15 mlir-opt 0x0000000106084924 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
16 mlir-opt 0x0000000105e20098 (anonymous namespace)::OperationLegalizer::legalize(mlir::Operation*, mlir::ConversionPatternRewriter&) + 1948
17 mlir-opt 0x0000000105e1ff4c (anonymous namespace)::OperationLegalizer::legalize(mlir::Operation*, mlir::ConversionPatternRewriter&) + 1616
18 mlir-opt 0x0000000105e18cc0 (anonymous namespace)::OperationConverter::convertOperations(llvm::ArrayRef<mlir::Operation*>, llvm::function_ref<void (mlir::Diagnostic&)>) + 960
19 mlir-opt 0x0000000105e1ad88 mlir::applyPartialConversion(mlir::Operation*, mlir::ConversionTarget&, mlir::FrozenRewritePatternSet const&, llvm::DenseSet<mlir::Operation*, llvm::DenseMapInfo<mlir::Operation*, void>>*) + 80
20 mlir-opt 0x0000000105a034b4 (anonymous namespace)::SCFToSPIRVPass::runOnOperation() + 340
21 mlir-opt 0x0000000105dddac0 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) + 428
22 mlir-opt 0x0000000105dddff0 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) + 320
23 mlir-opt 0x0000000105ddf960 mlir::PassManager::run(mlir::Operation*) + 1148
24 mlir-opt 0x0000000105dd8e80 performActions(llvm::raw_ostream&, std::__1::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) + 476
25 mlir-opt 0x0000000105dd8a80 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
26 mlir-opt 0x0000000105e42e54 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
27 mlir-opt 0x0000000105dd6cc8 mlir::MlirOptMain(llvm::raw_ostream&, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) + 132
28 mlir-opt 0x0000000105dd74b8 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&, bool) + 1972
29 mlir-opt 0x00000001044b73c0 main + 108
30 dyld 0x0000000109925088 start + 516
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsW19P6zjT_zThxqJKnD9NLrgoBbRIIBCgI73vTeXYTupnHTuP7QDdT__ITtImtIVydsWye4qODsUZj2d-M56ZTG2kNSsFpWdefO7FFyeoMUupzuaSc1lLZRrtn-SSrM5ub64fQN4wbgAyAMuqYgaAMEsxIUXi-ReeP3ugtZKkwZSAF2aWXjgDoH3iJX7FmTqVtQGnp1iKZ6rMqcbFqZGnumbqGRha1RNL5CV-N8n9vxkPZ2tm7T9QMa66FSpJGk6BNz1v_wagaASe2P-AF_n2d-DB1IOZpQE9EQAejHGcxckUTsNgwUIIvPACIMXMcoKl0AYJA9YEwCrFQjier80i3jXNf40u4YV_eZ65eYVlPpqY7ZrVEjNB6GtP7sEYcS7xArbiVbRStJi4sV6rcNYNe-E8CF-nr0UIvfBytCAM3HRDhZZqQqvarAbT2-F3pleorilxLDgTiJeTCtWACe2YDEXcIwvMgGxMRw6D_avCbLOwXdrSM9GB2Blxgw2ctkBqXEwcbgv9wgxedhifeuElYCPw7Q-hBWq4GfpM_2N5Zi3UzxQbqSa5kohgpM3abr2JjOxoWhXcoF3wLU8r3IpRTna63BuvckJML8YDHeYbJp3ftaB0aEwvBisrahol1gNrjpsP4x3VM2l3nkKYbu8666fSbjU3PNOaKsOkAAVinBIrjQdTppEXzp-ks2X6A3FnM5h4MAEehBZI-3zVPrcPkSqbigoDZAGYwLKqkWE5p8CsaurBwIPW7h6cu43tVnRc7ADjFMyRNkyUk6Ud4UxQECfTSSvk_c3l7PES6Ca3UQuBvCmBoja-Westjam11RNeefCqZGbZ5BMsKw9ecf7c_zqtlfwPxcaDV0zrhmoPXgEkiBWWN4QCs6QAK6SXIEf4dwdet_yjQfh3QJqqXqPpTzw_u1eyVKhaq67dvjk4Tr7h7WKubAzQqyqXHAhUUW1tQYVuFAUr2YAleqbAadMSsT-oAkzYZwrcz55-A1IBTY1ThopnpqRwRnlGCniJf3Pz43bx-H-353c31_9_-bCwU2wgNhLUkgkHJzPWTmtFwUYj_9VvfwI_SgIU55GTxdKGM73S7Yd7xYRxaj05B4Tphkihl4XURlFUOWeaAyZM61rnIO7SUDBY8u3PWIQsCfAuER4a8chKgfhvSBBOle6DJDwHQdBtNbhfMxxhMGJgd8RG0DCKWhah3dO5XmlDq0XNkSmkqiZkxVk-YJlhHGQRjsBCs9IoVNUjdaMRE7NUFJFdPPyAUh90BIvfGeeODUzTlk885IN3cMhDHEY-QLndNw6KpJuafDw1n8YRoEq5iV2cmR5mqCSkOSoioA1pzbNYBP2HPhYM__bC-TYpFSjndMGK4VOmF0w8S-wePXvhvK8zwtnj_fXDj6dVTeftJqT7x2G6meb2aPvxCamSmkvxPDNGWVd9w7xloJkUd7VVQQNXATi_zlo6D0aLeDz1yWXLJxcT5wPffawQ5z9cHrquaj7SxVHbQJuM58yUQqsHl6S3iS39fAfmG8R3oCydJmi8_I0sGUb8geqGG5cZh4h9gSoWTqeQG7X5BIyJ3tj4RaF6jji3cXzMcAT-L-FkRzf4yA2-pTldWfUtJXM14GBsylGVE-TB6dgfvirOtV7xDwfrS2DaGQfcOx9q335-iYB4zLrHrHvMun-7G3xLc_7zE8kx6363rLsvFHzr3d4KSJUrDFzvZIcgyRbrv16czpIWhwmWnEyCvgnT9SDSw3oQcTylEU5B15JrZWzV-MAZB072KY8cEg-XO9gXBsI8GqlQSeccad214V3_Jp52PaTsYBQIDX7VTkz0nlGONeGXFgMf7Yh_oZMd3eAjN_iW5vyuZU50aJnzZXHuG9eEB4N17MQcs-6vEm5_CSc7usEx6x6z7jcH69iJ-Sd1Ys5B4HcHYAL_sL4DDXyU4ffDVdea2WrK_DzWrbDTpBc22HngJ6ZBHKTRnxGuXWi9DjwMlDREAcTWsZCQYlXJRreHvmp3bKrbNPPuWOlcVrXUzNC7-h4ZQ1XXqamQwcuZIA_0RTEzls4dTB2zuavH-3knyYyg2vnbkHKz6bv1uxVVh7ULAe2RpKw7YhWEh53kmqZRmviDte7qrdVGVt6tWL9f3oPkzu0lm_jh7AD3_4F40xcRPwNFkPZOER26UyKKo_fW-ryOmycfWs7v2qpBvHOvJH4aZTDa5jira866t5e_VryhifqibdGeTM6l5OO43DEYp6PLd5k8S0b-NJM9eeMwvl1MjWCPfXKgq0Dfz9KP4sca7RtaIndgtB3n3Z8HmuYjl3cqZFF3oDCY7gu1RRF9GPK-UuQk6E-dpvtETjH2DxZ5d95YP9aj47A7Q85IoU877wVDpZDaMLzlYVl_PjzI9qmKSJoOk0Nd89U9UoYhvkHz0_C35eTWtyJXSv5Be6N0JnqkZvQdykbzCyo0faRmP1bb5LeovhaFfHeKhbDvF8x6qNIOKXhgfYP8MMqjj5zkcX71JF0Bfe--yLFjqhF3YiBTujlk3Muwp2whhCA8TJqEGsR4r-WTtIWC1n0u71d7E5K03jLcfpPOBOIrzfQtEqikrj6wMdj-boS7iESGB7oj2IUDeGBFRAgpis-rdM9qypl4Gxcs6VrS5C_XcZy4tL4W2ih3D8BWTluZbUiANl-09bLfI0WFsd7a-__aGcM-McDDyqmYkCIblVNDJHb6wRiO_qB8H81htM8DU5r6oKaqkKqa4e0At33ef_v1Sy-RomRRG-WF80GRLxuF6W2p7MvX7q9Vb2-uH-ZSGPpqtgC_5Uzd1eYWMRuSC1YO027rnf2Xp3B3rWPVQ-kQxnFu_5liYFv7RrD_NnRL-1taSbU6b4qidcHtid3tpwWhnBq6f_K6FbrfKps3Tdy1ixbFuN4eoPlp-36dhqMsyCk2D7Rk2qjVtue85x3euoERtK0VLkX5d-v2jvXa2yTrIHFo9RhBGg8reV1zZmaC3CuJqda99N_EZ_8Ve-xdik2eaX93TYX-mhDcU1ITkmCc7vbtf_9ebTNVf3sS7qnhCZlG-X6MunSOl6hN3G9KyUejmChtmX6A3EPbBdm0F2x3xR1F-TS0NRxiomusdSk39AFZcTIkzjIY-2kKtEHd_a24f3fZfQv0hJyFJAszdELPgmQ6jbMwSOOT5RmMUY6j3I9pTKOIIpThIKPUL_y8CHyMT9gZ9GHoQ5gGkZ_AeEKCKPMDhGOc5CTEUy_yaYUYn1iUJlKVJ-5O5VkS-HF0wlFOuXZX0iEU9AW4hx6EXnxxos7c_cW8KbUX-ZxpozdcDDPc3WV3MMcXoHudAhoXwEjgimdQI62BUawsqdJgfIO1UfTnL6ieNIqf_fx1Uqf9_wIAAP__cWBTuw">