<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/64074>64074</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[mlir] `test-vector-unrolling-patterns` pass crashed with assertion error "Iteratees do not have equal length"
</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 585cbe3f
Reproduced with:
`mlir-opt -test-vector-unrolling-patterns=unroll-based-on-type temp.mlir`
temp.mlir:
``` milr
module {
func.func @func1(%arg0: tensor<23x12xf16>, %arg1: tensor<?x?x12xi16>, %arg2: vector<23x21x23xi1>) -> i1 {
%cst = arith.constant 2.05639219E+9 : f32
%true = arith.constant true
%c0 = arith.constant 0 : index
%c5 = arith.constant 5 : index
%c6 = arith.constant 6 : index
%111 = vector.broadcast %cst : f32 to vector<21x12x12xf32>
%112 = vector.fma %111, %111, %111 : vector<21x12x12xf32>
vector.print %112 : vector<21x12x12xf32>
return %true : i1
}
}
```
trace:
```console
Assertion failed: (all_equal({range_size(t), range_size(u), range_size(args)...}) && "Iteratees do not have equal length"), function zip_equal, file STLExtras.h, line 876.
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-vector-unrolling-patterns=unroll-based-on-type temp.mlir
#0 0x0000000102e18f18 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/workspace/build/bin/mlir-opt+0x1002f8f18)
#1 0x0000000102e171b4 llvm::sys::RunSignalHandlers() (/workspace/build/bin/mlir-opt+0x1002f71b4)
#2 0x0000000102e195c4 SignalHandler(int) (/workspace/build/bin/mlir-opt+0x1002f95c4)
#3 0x00000001be7894c4 (/usr/lib/system/libsystem_platform.dylib+0x1803414c4)
#4 0x00000001be771ee0 (/usr/lib/system/libsystem_pthread.dylib+0x180329ee0)
#5 0x00000001be6ac340 (/usr/lib/system/libsystem_c.dylib+0x180264340)
#6 0x00000001be6ab754 (/usr/lib/system/libsystem_c.dylib+0x180263754)
#7 0x00000001078f1840 mlir::computeSum(llvm::ArrayRef<long long>) (.cold.1) (/workspace/build/bin/mlir-opt+0x104dd1840)
#8 0x0000000106a6967c llvm::SmallVector<long long, CalculateSmallVectorDefaultInlinedElements<long long>::value> computeElementwiseMulImpl<long long>(llvm::ArrayRef<long long>, llvm::ArrayRef<long long>) (/workspace/build/bin/mlir-opt+0x103f4967c)
#9 0x0000000104bce50c (anonymous namespace)::UnrollElementwisePattern::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&) const (/workspace/build/bin/mlir-opt+0x1020ae50c)
#10 0x0000000106a9b0f0 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+0x103f7b0f0)
#11 0x0000000106a983ec 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+0x103f783ec)
#12 0x00000001054c7420 (anonymous namespace)::GreedyPatternRewriteDriver::processWorklist() (/workspace/build/bin/mlir-opt+0x1029a7420)
#13 0x00000001054c4c50 mlir::applyPatternsAndFoldGreedily(mlir::Region&, mlir::FrozenRewritePatternSet const&, mlir::GreedyRewriteConfig, bool*) (/workspace/build/bin/mlir-opt+0x1029a4c50)
#14 0x0000000105420640 (anonymous namespace)::TestVectorUnrollingPatterns::runOnOperation() (/workspace/build/bin/mlir-opt+0x102900640)
#15 0x00000001054682a8 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/workspace/build/bin/mlir-opt+0x1029482a8)
#16 0x0000000105468998 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/workspace/build/bin/mlir-opt+0x102948998)
#17 0x0000000105469a4c mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool) (/workspace/build/bin/mlir-opt+0x102949a4c)
#18 0x0000000105468404 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/workspace/build/bin/mlir-opt+0x102948404)
#19 0x0000000105468998 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/workspace/build/bin/mlir-opt+0x102948998)
#20 0x000000010546a82c mlir::PassManager::run(mlir::Operation*) (/workspace/build/bin/mlir-opt+0x10294a82c)
#21 0x0000000105462d14 performActions(llvm::raw_ostream&, std::__1::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) (/workspace/build/bin/mlir-opt+0x102942d14)
#22 0x0000000105462368 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+0x102942368)
#23 0x00000001054e034c 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+0x1029c034c)
#24 0x000000010545cd1c 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+0x10293cd1c)
#25 0x000000010545d18c mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/workspace/build/bin/mlir-opt+0x10293d18c)
#26 0x0000000102b23510 main (/workspace/build/bin/mlir-opt+0x100003510)
#27 0x000000010e201088
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWk1v4zjS_jXMhYhBUR-WDjk4Tvy-ATroIOnZPQY0VbK5TZEakkri-fULSnIsyulJ4u1dDBozmLYVqVj11FPFYlE0s1ZsFMAFSi9RenXGWrfV5mKppdSNNq615Gyty93F7Zebe7xuhXSYOcx1XQuHcZqnfA1xhcgVIot7aIwuWw4lfhZui-IFxv0TlJFaCnOuG4fPHVh3_gTcaXPeKqOlFGpz3jDnwCiL4qv-5vmaWSjPtTp3uwawg7qZeSUoI4PS7vNwP168Guv_x7WQZkBQ67KVgNH8sv8b46pVfOY_MEqI_44QzRFNmdkQD92BstqgeEnjl4i-VFGG4mtEl7iXiQIZFK9e_L-IvoiJIPWCvbu9Mhq90PhFRJ1Ugc9RfI1FNIaG_VBuHUbxFWZGuO2Ma2UdUw7TGUmzuKBRcY3oZYG99iqmwVBnWnhrrL8f2iBviZFOqVAlvITS6VvS6Y-ks7eksx9IR1HUifdEzdZGs5IzT8Geic5N7PSIy8jz7WMTU09mr69TRsfKqpoNJoaoBFc4jM-bOgdFjRHKHQy8OwxjbMC1Ro2CssAi2iOdXw0Z-3oRJvBerk90wzgcJ7lnVsshrAtrwTihFa6YkFB6c4jmTMpH-L1l0mf4_NIwtYFHK_4ARHOHaOHJCG62b91kZmMRLWazmcdLC4xohmiGEaU3DgxzABaXGivt8JY9Ae5MYglq47aI0kGnn2odxD9Es0e1xJWQgB--fbl-cYbZ2dbfk0IBzufZrHfu7sv14uEa23btaw_D63aDDfgq5bNi61xjPT10hehqI9y2Xc-4rhFdSfm0_zpvjP4XcIfoSljbgkV0hZkqsVBctiVgtwXMDbNbvGb8e8f5YP7BMf4dl23dvAaBzBAp7ozeGFZjZjZtDcp5EPjnVbt9UscEkxfS_xcRClFeRTnuXIsXKF7Yne0v7nySdmC_dRlD84OQYc-P2joDrO6Ct8RCuT6UOaKrZ22-26YbtPK1vvTfQiG62vuD6CV5iQihlTfvI_qKL5rgm0fr5C189616EBvF5P8zVUowtrN9CgRvIYBAJxCKlCc4MIZofrLHXltgLh6ZW8M8LxKeDHpba3zGiTWiK7uzDur-z_76sZHMVdrUs3LXyXgTOYmTKJmYSEIT8wiAfNCE2xpg5cQCLQBIYCENLGSMx8kHLfBQN82SOAl1ZxPd63n6QYKOdMfzNGRmPo713GdjQvC-D4gXXNdN6-ChrYMJsDCG7e6hQvFSarXB_mNYhxHNZ1zLchadkB5JWXoAAcJ8jDBjWZHN-WhCPNRMyn_sF5ADGrrESyZ5K5mDkcwVVKyV7kb5qlheSxhqTehHp_mJyRZ8VzGQMAg_Cwu3rbypG3nk_kcoWuKP8vgZ5uIq8cQEzBVj5pI1h5Twbh1TWu1q3VqsWA2D-qJH9FtXRkeu3vUltn9aM8e3C1Xew7MRzhfFQ6p8bfziJbRCdOG9PDwZVAyDTFcyC9z1Mp91kxLmvXh10xdMEiZIsSYVOba-aBopOOvS5Oe6Mg7oflV-NF1Q11pLHKgeFPTe90wcZcVEyZMW5X-s5DD4i94IzuQ92Fa6j-kdcgPR5JH2l7pjSJt-0RmWnpMiGldzH7AgotEkonkM_O-I_tSInhAmH4UgTEGfkCZ8nlDyXn35PwNQ7kLSr4x4ggFwYzQHa_-pzXcpPORTmhpaMI8lABtPwCY8HVcJ1jRyD8suVLnSsuywCrkLGL2HTZdGWZhGK6P_gL1Dg54HcCPix9I9C4P0UqtKdAuWT64uQU_x2DsUeJyEHlOSJe-G5xtY1y-Uv-2b7LvXHrtrfVv1VY1m02nhIR5LADYNwWY5ZfmIsBIcE3I_l7_pr80ds3ZRsuZ1-ptWTVLf2qPZ_uM6sFBM7qywt0yxja8D-3Ascau6tzvliV0-LRLvTeBuNnW3KD7v7p1owLcxk0rnRV-9yH66_2HxtPZGWWe6LZtfDo6q61igt9w_GLDfMQPK3ahK76fKaemfeAYDiucTiv0M-TTFo1xf2J3iXddH856ZU2B6FAHMfJoJCUl-ocRPSBK4W_yd-P_lxKdkQjHLKZ8g2_v6Zv6EVJ0CyVsMIEUTSLSMEtyA8Zv3RdfU2HdesFhX9o8eH6PhTciWGSgfG9ft-w77Qd0aDrcb0-_c3lp9b7_c3C-1cvDijuJ2K4X52rhbJlS_Lo9bpxOo8J4GVNApFXE2ngBhL3dK83fMVKvE7y0cMXULtTa7y7aq-qw_Hlj2m-XHEiQ4-PFgv2OeNKvTCBav22rOpFwz_v2xUoEjI-Y_nQv_Ow8PeK8Ek8Cd7wetM7vjLPuzTDpsqKLhxcHwzuIvGr1TMj_Owro06cCBxMGCbBsp3EKVd_0OYO_ZXySff4n596cSh2Xv5O6G-5AGMZ_sQVJeRvztOfLrz_nP8xl7ugI-J9uktIzyH_M5dC18y_r-ZBEmwIMzQm3uoXrfx1Owe2gB9mDPQ9c0TiOCaybUpw8RCPFjA-VBtw-URCTP8ZungfisvIjLIi7YGVxEWUEoKaKEnm0vqjnMaU7TPJ2zsmRFuS4gKkkSQ8xJlvIzcUEJjcmcJlESU0pnFbCqStI1TeZRGaUpSgjUTMiZZ3mmzeasOx67yBIyT84kW4O03W8EKFXwjLuHiFKUXp2Zi-5gbd1uLEqIFNbZgxYnnOx-XNCFKb3CKCPvnIhlBDfM2v4UbvgpAWavB5tgjDYfPnM8a428OP1osHP_3wEAAP__INYKow">