<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/64325>64325</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[mlir] 'GenericOpSparsifier::matchAndRewrite' crashed with 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 b4c54b20
Reproduced with:
`mlir-opt "--sparse-compiler=enable-amx enable-arm-sve vl=4" temp.mlir`
temp.mlir:
``` milr
module {
llvm.func @aligned_alloc(i1, i1) -> !llvm.ptr
llvm.func @printF16(i16)
func.func @func1(%arg0: f32, %arg1: vector<25xi32>){
%cst = arith.constant dense<30> : vector<25xindex>
%false = arith.constant false
%cst_11 = arith.constant 2.414400e+04 : f16
%c1 = arith.constant 1 : index
%c4 = arith.constant 4 : index
%31 = builtin.unrealized_conversion_cast %c1 : index to i1
%32 = builtin.unrealized_conversion_cast %c1 : index to i1
%39 = tensor.empty(%c4) : tensor<?xi64>
%40 = tensor.empty(%c1) : tensor<?x25x25xi32>
%41 = tensor.empty(%c1) : tensor<?xi16>
%42 = tensor.empty(%c1) : tensor<?xf32>
%383 = scf.if %false -> (memref<25xf32>) {
%1297 = llvm.mlir.constant(25 : index) : i1
%1298 = llvm.mlir.constant(1 : index) : i1
%1317 = llvm.mlir.constant(25 : index) : i1
%1318 = llvm.mlir.constant(1 : index) : i1
%1319 = llvm.mul %1317, %32 : i1
%1320 = llvm.mlir.null : !llvm.ptr
%1321 = llvm.getelementptr %1320[%1319] : (!llvm.ptr, i1) -> !llvm.ptr, i16
%1322 = llvm.ptrtoint %1321 : !llvm.ptr to i1
%1323 = llvm.mlir.constant(16 : index) : i1
%1324 = llvm.mlir.constant(1 : index) : i1
%1325 = llvm.sub %1323, %1324 : i1
%1326 = llvm.add %1322, %1325 : i1
%1327 = llvm.urem %1326, %1323 : i1
%1328 = llvm.sub %1326, %1327 : i1
%1329 = llvm.call @aligned_alloc(%1323, %1328) : (i1, i1) -> !llvm.ptr
%1330 = llvm.mlir.undef : !llvm.struct<(ptr, ptr, i1, array<2 x i1>, array<2 x i1>)>
%1331 = llvm.insertvalue %1329, %1330[0] : !llvm.struct<(ptr, ptr, i1, array<2 x i1>, array<2 x i1>)>
%1332 = llvm.insertvalue %1329, %1331[1] : !llvm.struct<(ptr, ptr, i1, array<2 x i1>, array<2 x i1>)>
%1333 = llvm.mlir.constant(0 : index) : i1
%1334 = llvm.insertvalue %1333, %1332[2] : !llvm.struct<(ptr, ptr, i1, array<2 x i1>, array<2 x i1>)>
%1335 = llvm.insertvalue %32, %1334[3, 0] : !llvm.struct<(ptr, ptr, i1, array<2 x i1>, array<2 x i1>)>
%1336 = llvm.insertvalue %1317, %1335[3, 1] : !llvm.struct<(ptr, ptr, i1, array<2 x i1>, array<2 x i1>)>
%1337 = llvm.insertvalue %1317, %1336[4, 0] : !llvm.struct<(ptr, ptr, i1, array<2 x i1>, array<2 x i1>)>
%1338 = llvm.insertvalue %1318, %1337[4, 1] : !llvm.struct<(ptr, ptr, i1, array<2 x i1>, array<2 x i1>)>
%1339 = builtin.unrealized_conversion_cast %1338 : !llvm.struct<(ptr, ptr, i1, array<2 x i1>, array<2 x i1>)> to memref<?x25xi16>
linalg.broadcast ins(%41 : tensor<?xi16>) outs(%1339 : memref<?x25xi16>) dimensions = [1]
%1340 = llvm.mlir.constant(25 : index) : i1
%1341 = llvm.mlir.constant(1 : index) : i1
%1342 = llvm.mlir.null : !llvm.ptr
%1343 = llvm.getelementptr %1342[%1340] : (!llvm.ptr, i1) -> !llvm.ptr, f32
%1344 = llvm.ptrtoint %1343 : !llvm.ptr to i1
%1345 = llvm.mlir.constant(16 : index) : i1
%1346 = llvm.mlir.constant(1 : index) : i1
%1347 = llvm.sub %1345, %1346 : i1
%1348 = llvm.add %1344, %1347 : i1
%1349 = llvm.urem %1348, %1345 : i1
%1350 = llvm.sub %1348, %1349 : i1
%1351 = llvm.call @aligned_alloc(%1345, %1350) : (i1, i1) -> !llvm.ptr
%1352 = llvm.mlir.undef : !llvm.struct<(ptr, ptr, i1, array<1 x i1>, array<1 x i1>)>
%1353 = llvm.insertvalue %1351, %1352[0] : !llvm.struct<(ptr, ptr, i1, array<1 x i1>, array<1 x i1>)>
%1354 = llvm.insertvalue %1351, %1353[1] : !llvm.struct<(ptr, ptr, i1, array<1 x i1>, array<1 x i1>)>
%1355 = llvm.mlir.constant(0 : index) : i1
%1356 = llvm.insertvalue %1355, %1354[2] : !llvm.struct<(ptr, ptr, i1, array<1 x i1>, array<1 x i1>)>
%1357 = llvm.insertvalue %1340, %1356[3, 0] : !llvm.struct<(ptr, ptr, i1, array<1 x i1>, array<1 x i1>)>
%1358 = llvm.insertvalue %1341, %1357[4, 0] : !llvm.struct<(ptr, ptr, i1, array<1 x i1>, array<1 x i1>)>
%1359 = builtin.unrealized_conversion_cast %1358 : !llvm.struct<(ptr, ptr, i1, array<1 x i1>, array<1 x i1>)> to memref<25xf32>
scf.yield %1359 : memref<25xf32>
} else {
%1297 = llvm.mlir.constant(25 : index) : i1
%1298 = llvm.mlir.constant(1 : index) : i1
%1299 = llvm.mlir.null : !llvm.ptr
%1300 = llvm.getelementptr %1299[%1297] : (!llvm.ptr, i1) -> !llvm.ptr, f32
%1301 = llvm.ptrtoint %1300 : !llvm.ptr to i1
%1302 = llvm.mlir.constant(16 : index) : i1
%1303 = llvm.mlir.constant(1 : index) : i1
%1304 = llvm.sub %1302, %1303 : i1
%1305 = llvm.add %1301, %1304 : i1
%1306 = llvm.urem %1305, %1302 : i1
%1307 = llvm.sub %1305, %1306 : i1
%1308 = llvm.call @aligned_alloc(%1302, %1307) : (i1, i1) -> !llvm.ptr
%1309 = llvm.mlir.undef : !llvm.struct<(ptr, ptr, i1, array<1 x i1>, array<1 x i1>)>
%1310 = llvm.insertvalue %1308, %1309[0] : !llvm.struct<(ptr, ptr, i1, array<1 x i1>, array<1 x i1>)>
%1311 = llvm.insertvalue %1308, %1310[1] : !llvm.struct<(ptr, ptr, i1, array<1 x i1>, array<1 x i1>)>
%1312 = llvm.mlir.constant(0 : index) : i1
%1313 = llvm.insertvalue %1312, %1311[2] : !llvm.struct<(ptr, ptr, i1, array<1 x i1>, array<1 x i1>)>
%1314 = llvm.insertvalue %1297, %1313[3, 0] : !llvm.struct<(ptr, ptr, i1, array<1 x i1>, array<1 x i1>)>
%1315 = llvm.insertvalue %1298, %1314[4, 0] : !llvm.struct<(ptr, ptr, i1, array<1 x i1>, array<1 x i1>)>
%1316 = builtin.unrealized_conversion_cast %1315 : !llvm.struct<(ptr, ptr, i1, array<1 x i1>, array<1 x i1>)> to memref<25xf32>
scf.yield %1316 : memref<25xf32>
}
return
}
}
```
trace:
```console
Assertion failed: (isa<To>(Val) && "cast<Ty>() argument of incompatible type!"), function cast, file Casting.h, line 566.
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 "--sparse-compiler=enable-amx enable-arm-sve vl=4" temp.mlir
#0 0x0000000104658548 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/workspace/build/bin/mlir-opt+0x1002f8548)
#1 0x00000001046567e4 llvm::sys::RunSignalHandlers() (/workspace/build/bin/mlir-opt+0x1002f67e4)
#2 0x0000000104658bf4 SignalHandler(int) (/workspace/build/bin/mlir-opt+0x1002f8bf4)
#3 0x00000001a46cd4c4 (/usr/lib/system/libsystem_platform.dylib+0x1803414c4)
#4 0x00000001a46b5ee0 (/usr/lib/system/libsystem_pthread.dylib+0x180329ee0)
#5 0x00000001a45f0340 (/usr/lib/system/libsystem_c.dylib+0x180264340)
#6 0x00000001a45ef754 (/usr/lib/system/libsystem_c.dylib+0x180263754)
#7 0x0000000108911d94 llvm::operator+(llvm::Twine const&, llvm::Twine const&) (.cold.1) (/workspace/build/bin/mlir-opt+0x1045b1d94)
#8 0x0000000105cf0de4 (anonymous namespace)::GenericOpSparsifier::matchAndRewrite(mlir::linalg::GenericOp, mlir::PatternRewriter&) const (/workspace/build/bin/mlir-opt+0x101990de4)
#9 0x00000001082fbb74 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&)>)::$_2::operator()() const (/workspace/build/bin/mlir-opt+0x103f9bb74)
#10 0x00000001082f8e70 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&)>) (/workspace/build/bin/mlir-opt+0x103f98e70)
#11 0x0000000106d412b4 (anonymous namespace)::GreedyPatternRewriteDriver::processWorklist() (/workspace/build/bin/mlir-opt+0x1029e12b4)
#12 0x0000000106d3eae4 mlir::applyPatternsAndFoldGreedily(mlir::Region&, mlir::FrozenRewritePatternSet const&, mlir::GreedyRewriteConfig, bool*) (/workspace/build/bin/mlir-opt+0x1029deae4)
#13 0x0000000105cd00e0 (anonymous namespace)::SparsificationPass::runOnOperation() (/workspace/build/bin/mlir-opt+0x1019700e0)
#14 0x0000000106ce1e34 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/workspace/build/bin/mlir-opt+0x102981e34)
#15 0x0000000106ce2524 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/workspace/build/bin/mlir-opt+0x102982524)
#16 0x0000000105cfbf90 mlir::sparse_tensor::SparsificationAndBufferizationPass::runOnOperation() (/workspace/build/bin/mlir-opt+0x10199bf90)
#17 0x0000000106ce1e34 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/workspace/build/bin/mlir-opt+0x102981e34)
#18 0x0000000106ce2524 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/workspace/build/bin/mlir-opt+0x102982524)
#19 0x0000000106ce43bc mlir::PassManager::run(mlir::Operation*) (/workspace/build/bin/mlir-opt+0x1029843bc)
#20 0x0000000106cdc808 performActions(llvm::raw_ostream&, std::__1::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) (/workspace/build/bin/mlir-opt+0x10297c808)
#21 0x0000000106cdbd30 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&) (/workspace/build/bin/mlir-opt+0x10297bd30)
#22 0x0000000106d5abe0 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) (/workspace/build/bin/mlir-opt+0x1029fabe0)
#23 0x0000000106cd66e4 mlir::MlirOptMain(llvm::raw_ostream&, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (/workspace/build/bin/mlir-opt+0x1029766e4)
#24 0x0000000106cd6b54 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/workspace/build/bin/mlir-opt+0x102976b54)
#25 0x000000010436358c main (/workspace/build/bin/mlir-opt+0x10000358c)
#26 0x000000010fced088
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsW1tvpDgW_jXOi5WSsQ0FD3moJJ3dlrrVUbq1-xgZMBVvG8Mak07Nr1_ZQHGpS6pIJjPamVYrlYDPOd-5-sMkrKrEWnF-Bfxr4N9esNo8FfrqppCyKAtt6gpdxEW6ufr65fMDjGshDWQGJkWeCwNhTBOfxhgBdAvQ6oGXukjrhKfwlzBPgKwgbO6AAOVS6MuiNBBgfHlZlUxX_DIp8lJIrgG55YrFkl-y_AV23-r8snrm8FkCcksBxtDwvFxYRSBoTTZf--tktTXY_Ie5kLpFkRdpLTkEy-vmZwilfM4XWa0SCChi0oYifWRSFgnAofAAvoH2awQvAfkEAfacQGn0XgWlFsrceYGTDaxYu8wu2K6ynx7AIcA-02tko5QRbE01Vzx75ZknptCA3GD_RRAMyCeAowFwaBcnlYGA3EKmhXlaJIWqDFMGplxVHJAbghzoqTaV8herb6gpY7Li-3S5G1Ojj563by1eUI9ShDjA14g6w5kXjIX3CnpubQNstJruW0371XC0nDTKXZEKtaiV5kyK33j6mBTqmetKFOoxYTZoLZJOjSmg8CbK8Hsqi5wyw1VV6AXPS7NpCiChrkrIqr0HyA0gdy8ioNMMUXRIhbdXBfZf-tIZKfLOU2QreaoCn6ci20VBQuJ0VEm2EFlfgm2fhTnPNc-ais26-oejBnB6PBwtnSLXiHYEbAsF4BD7g8pqkQmvVdFIh4elvSPCW_vEm2t_oOLtIKKBhlp2yNqhQjA8JIjRxLSqpXSL9wy7XsrrpdbccMlzrkxpdKfU7iYNLuDfturCocbDg9XdCXZN4t5kabQphDIDMCO8TQvuqiBHwhy8UikE07cmyVVDq6Gq4w5UmyRn4aBo0IuyNO1C0ov6h0UH9VlrnncKe1lyWDbch3gguoT7IjUoxoTZctrdW3d8D7vAnbjxbjGSaQXXKuXZqCQqo-vE2GGEw7bEBjV4A5nWbGNnDXyxV-ys2XsxGk2xzv6gF4SquDbPTNa8C8XWQ2KbAvXt8P7Q4DAJBJ8IywP-tfcRsAYhO9KI6KRWIvSId6QvK4KBf40_2Dv_IDbSdyyhwL92QD-kJgbwgiOh224Z1o0O4EdXx_JEgAHwr-kfEcHwGMCwB7jsAH50BKMzuGvrz--EzRRwS-VaWjollBBKoZhcL2JdsNTBEqpq9gjqHSSkOIJFbapuLyHNrDhgDEcwFTlX1vPKBWc79QYzk063kvOpHPXeyhIonsPIKDnKyCjuGBlFcxiZpeA7JukhRubAHGZkzRp_JhkbAAjeHOvlHn5D_W0H0-AgNaLhHkZGaS86pUYD0WgfI6P94KCH2ZyP9iEeiEb7GJnvncjIBr776DxG1ghNi3c-GfP2jRfvFTLmkyOj2fd65_BbyNgp0Hansn-MswyxkbcwspnYjnTjMUbWCB9jFP6gouhbyNhMx46RCYp6bMGb6dg5ABubx3gEHRTE8s1EZ2bwzuMR_jwecRK2IY_oj4QGgKskW2wEl-kA-uqoDFjeQu6OPd_zVGmgYuapTiMczWEBCB1jATiKWhaAo-V7sQDkHWIBCJ14LoOmm8b5VAAdO9p5bX4humdPRf2jGjp8QIL8PSwA9a2LDh_poGAfC0D9uESHT-3QPt4yFD3MW1B4IhUYBmA593AGTcv4g_mAh46MWNTTJhR9PB_wjh0cDbB56OP5gHekJU87ofGOMTGvry3P-3hS4B1hYnY0brGRDyUFA4CHj5DsvtIDpH8QM_CCs5iB5_95mEG7o7zGDPqfNDe1VnB7pb8LlrfDt9CTN8_dFtO8odYs4btvp21bFbJ9wbqqbKZFoWDGhORpN3ArBsjNj8K5HP6LSdd1OAA4gABjG2V7f9PctzeZXtd244dFBoVKirxkRsSSQ7MpOcAewBg0R8BZrRJn0WmxF4Tk8IZVRqj14slekUJx6AfBogF5_-XT6vsnWNVxLgxkMK7XUPOy0MZm4smYsrJu4juA79bCPNXxIilygO9s5tuPy1IX_-GJAfhOVFXNK4DvIFOpBSvrlEPzxGGiWfUEY5b8dLFrzX83LPkJ0zovt8FEC4Cie12sNcu3rlcux-_6KwcdYyAIohfU_PMQDfzQp6HrVQuJrKpN1Xxzr4UyDvAPl30c9os0-_VYVEZzloPmhYqwwzVq-Njdr0L_rEondGebLLWfQgF81_kE8DV68RDCmTVv07nF503wBUtO9-F7qNV3sVZM_pOpVHJdteVzPgRrYQQBT0MUZxSOjNnCnu1xnI3NkYE5RoMkpQlt9daVtlUnYoDvqk1leN782Hz_WEpmskLni3Tj1lgTISLUo8nYBB2biH3O0YkmzJPmLJ1YwBHnaGTBH1nwM-TOI0-xkIx144C6R9uB7mCsm2dL_8QA7egmS38cmeUw12HkeWk0LLei5JqZQgN8PeqAH7_sYHG8ou2Aw_dckSySQqYLb0bJUD-2oEaowyFqP8lQyl1EmCrUJi_qCiqW81Z91MD6B1dci-Rb-d2OEpEJrpsbOTPJ00qlD_yXFsZ2evfLSGTVHG5PFFh3-yX3zBiuVSutW5ed--e66kWR9WTkajRKEM7ieEl3ra_KUorEZepVn765nIpCAbx63ZVhZrsN57HZfOOikHCkulUwTH5LAA4qeS5E-mYlvfCXYi0SJh94VUtzmt62PgCmj3ha9W42N4N1VkZJFtmEbTNqBzyaZDTkS_R3Rt81ozPSZLMwStNoIw5S6uH49RmjOU8346DfavHcjZpSFwmvqn8X-qcUFvKcLRtH3GIZgcVjsIQzPpwSrCxlB6taqfSukKnDKuRmFNEHvnZlFIzL6E4Xv_HOoVbPd25GG0C_uolCu_qmUJlY2wW2uFyBzvA4tQ6NPCbjLSBFqNnSj6Wnm_yJa5Z7VrVcStfqmxo00ZyseNHSQhhhpKOsJNzjZJiVlBsmZNfCP4pvpYW0Slm57Xpdq0nFV9VOkx9u_5ViclOJ6itTbM11n4UbWCv3u8PpTOqKo9B6M3LXn7iLfXy-u_ei5PapZTLg7NKtF8G7-z-emVX1WdnHXPssYneBnaE6XNBYbm602O-Z5sp8VlnRdci8qg9tBEchDibEJ86i4d7RPCU9dm_cd2t-pdLrOsu4Fr_9Lj0QWUAjxMu_Vg-Ef_fA790D0STElMTJBFnn6976GYdqDiRrcQgJozGkNAlRCEuu7cPpytGa6pUDhMqkza3HR6_t5SemefpYGg3ITS_6vah1wr-uNSCfDuy_X798frgplOEvZidvX6XQ30rzlQnV7MzTB7XzQrG0no5C4U1CEadkOKHGbG4O_duNVK3Ef2u-E6mvPC_0phl3-0Oc8ozV0jymXHLDDwuTTzt0dZpBRzzdnYRJGbPk52OmRo4MIn92LXychz3eW8EkT4xlhJXRm90qO1ZJ_SNVc9gbykKt_2jfjmRvRuXbwh5V_oSD-yzm471ZCrNS6X3zDNB59iep5_-L_ju6ot_2ms8ZOc9sSkc5J5NpFwSj566_VM_P6CEbrlE86TSesX84ni1rSZ5Yw09W4wL4brRQ6weeve7jLOyxP8Y-evyhJCB-mMCcCXX2ITlCVnakfET8s4SnKAzh3jdX8CK9ImlEInbBr7wgQhGJkE8unq583wt4lnJMfR4vOSE4iglZkhj54dKL-IW4wggTFCKMPG9JyIJEaRrEAcbISxBKGKCI50zIhXsTWOj1hXsFdBVQgv0LyWIuK_fHqBgr_gu6mwBj4N9e6Cv38iiu1xWgSIrKVL0WI4x0f8Xq0uTfQoCXp5_XLpvXTe0frkI2ehNXaz7_RdtFreXV_NdiLiz_CwAA__9gGeTs">