<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/108163>108163</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[mlir][arith] -arith-emulate-wide-int crashes in EmulateWideInt.cpp:160: Value constructResultVector(ConversionPatternRewriter &, Location, VectorType, ValueRange): Assertion `resultShape.back() == static_cast<int64_t>(resultComponents.size()) && "Wrong number of result components"' failed.
</td>
</tr>
<tr>
<th>Labels</th>
<td>
mlir
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
axeabc
</td>
</tr>
</table>
<pre>
git version: 761bf333e378b52614c
system: `Ubuntu 18.04.6 LTS`
reproduce with: `mlir-opt -arith-emulate-wide-int a.mlir`
This case also crashes in `-memref-emulate-wide-int`
a.mlir:
```
module {
func.func @test_muli_vector(%arg0: vector<8xi64>, %arg1: vector<8xi64>) -> vector<8xi64> {
%0 = arith.extsi %arg1: vector<8xi64> to vector<8xi128>
%1 = arith.extsi %arg0: vector<8xi64> to vector<8xi128>
%2 = arith.muli %0, %1 : vector<8xi128>
%3 = arith.trunci %2 : vector<8xi128> to vector<8xi64>
return %3 : vector<8xi64>
}
}
```
stack trace:
```
mlir-opt: /data/szy/MLIR/llvm-release/llvm-project/mlir/lib/Dialect/Arith/Transforms/EmulateWideInt.cpp:160: Value constructResultVector(ConversionPatternRewriter &, Location, VectorType, ValueRange): Assertion `resultShape.back() == static_cast<int64_t>(resultComponents.size()) && "Wrong number of result components"' failed.
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 -arith-emulate-wide-int a.mlir
#0 0x00005575a3b54128 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x10d7128)
#1 0x00005575a3b51c3e llvm::sys::RunSignalHandlers() (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x10d4c3e)
#2 0x00005575a3b54abd SignalHandler(int) Signals.cpp:0:0
#3 0x00007f938c563420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
#4 0x00007f938bba000b raise /build/glibc-LcI20x/glibc-2.31/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
#5 0x00007f938bb7f859 abort /build/glibc-LcI20x/glibc-2.31/stdlib/abort.c:81:7
#6 0x00007f938bb7f729 get_sysdep_segment_value /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:509:8
#7 0x00007f938bb7f729 _nl_load_domain /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:970:34
#8 0x00007f938bb90fd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
#9 0x00005575a3e31afe (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x13b4afe)
#10 0x00005575a3e3a636 (anonymous namespace)::ConvertExtSI::matchAndRewrite(mlir::arith::ExtSIOp, mlir::arith::ExtSIOpAdaptor, mlir::ConversionPatternRewriter&) const EmulateWideInt.cpp:0:0
#11 0x00005575a3e3a2a0 mlir::OpConversionPattern<mlir::arith::ExtSIOp>::matchAndRewrite(mlir::Operation*, llvm::ArrayRef<mlir::Value>, mlir::ConversionPatternRewriter&) const (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x13bd2a0)
#12 0x00005575a6ca4b11 mlir::ConversionPattern::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&) const (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x4227b11)
#13 0x00005575a962fc91 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
#14 0x00005575a962c94b 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+0x6baf94b)
#15 0x00005575a6ca5b53 (anonymous namespace)::OperationLegalizer::legalize(mlir::Operation*, mlir::ConversionPatternRewriter&) DialectConversion.cpp:0:0
#16 0x00005575a6ca4bb7 mlir::OperationConverter::convert(mlir::ConversionPatternRewriter&, mlir::Operation*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x4227bb7)
#17 0x00005575a6ca5d7f mlir::OperationConverter::convertOperations(llvm::ArrayRef<mlir::Operation*>) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x4228d7f)
#18 0x00005575a6cad96b mlir::applyPartialConversion(mlir::Operation*, mlir::ConversionTarget const&, mlir::FrozenRewritePatternSet const&, mlir::ConversionConfig) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x423096b)
#19 0x00005575a3e2de26 (anonymous namespace)::EmulateWideIntPass::runOnOperation() EmulateWideInt.cpp:0:0
#20 0x00005575a6c462d6 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41c92d6)
#21 0x00005575a6c46c40 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+0x41c9c40)
#22 0x00005575a6c49282 mlir::PassManager::run(mlir::Operation*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41cc282)
#23 0x00005575a6c41ab1 performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#24 0x00005575a6c4170b 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
#25 0x00005575a6cee3a5 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+0x42713a5)
#26 0x00005575a6c3cb35 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+0x41bfb35)
#27 0x00005575a6c3cddf mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41bfddf)
#28 0x00005575a6c3d10e mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41c010e)
#29 0x00005575a3b34d67 main (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x10b7d67)
#30 0x00007f938bb81083 __libc_start_main /build/glibc-LcI20x/glibc-2.31/csu/../csu/libc-start.c:342:3
#31 0x00005575a3b348ee _start (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x10b78ee)
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWk1v4zjS_jXKhYhBkfo85OBOYrwBEiRI8s4cBYqkZO5IlJak0kn_-gUp2ZZkOx894x7sYoBuxxLJqnqqnioWLRGtRSk5v_DCb154dUY6s27UBXnlJKdnecPeLkphwAtXWjTSw0sQR35eYIw5jpM8RJEfUA9eeXDZf-o3bXhtJ3oR_P-8k6YDfrKAwSICt89PXgTHsxVvVcM6ysF3YdbDqroS6rxpDTgnSpj1Oa-7ihh-_l0wfi6kAWRhp8xEPa-FBpRoDkilG0AV0WuugZBW5HnNa8WLPVFbGYNIPAiz990_0F_XDesqDrz4W38NACg6SRf2A3gBNFybrO4qkb1wahrlocRDIVEltJiGe_gyeRVR4OFrD12Cftw_Mp6Ccw9f749MTLAyIPDwFXCOWvBXo8W7goFpJjd9lFh1Y4H-EYGHkXxCIBoJtC5yVg8esMqWHwnAIwFGdZKKjdhDS-cW9Q7dylPcdEpuxB7y_TDVi68GLmy_zEihDaF_AKMI5TviHKbPwGhHcLRixBAPrfSPNw-t7m5vHj20qqqX-lzxihPNN5etav7FqfHQypETrSqRe2h1JUjV315an3ho9ayI1EWjau2h1XXP8d8F4zfSLGjbenjpRy5-v5Gq44A2UhvVUfPIdVeZ3zaUvWzkkOgPxBiu5CP_roThCngoshG7bSgxtg6gS9Cven5rubuygh-JLLmHUqtpqTVXdq5NP-X0PK1Jyxc5oX-49EhtWG1ktSFG0IwSbTx8KaSJgsy4LEj6hZdN3TaSS6MXWvzg_WonwJoVAQ-h31UjSyC7OucKNAXoFwK6Xekh5KEYFERUnC36sDzcXi-froHu8loYQEDelUDxtlHGkmhtTKttYNHKQ6tSmHWXL2hTD9HZD5LQuuM2AoBIBoSkVcc4MGveFyNgkTu2DOqfHH9YV7db-sCFB9MH1ZSK1ICosqud7T9Lm7wTFbN_hRxI9Jm62ieAhzAE8BVCCMMwDgnOw8BHCXDY8dLDttT3Xx6UkMaheXbJgJLdJEW-Z402ipN6IJEtuy52yV-IyUPf4KsPWez35Nhi8GcYfIr5IQyPnXwSpSTV_xHJKq70hqMnMTOgmE_MRHNXk5yBiUEeSgbP9bf1kNnQ_d8KwoOguEhxQsMIBwiCLFNcm0bxTJkBUV9KXpMoi4LzSsju9byUXT_QmrXihC10s4C9xUGA4MTeYKwmzwmEMAeKCM3BCHxZiZye39IbBF-3l2iBfetLh8JDq8XCXr1pxlubPJ0Ur_2NF2eN7OylE72gHl6Gdmfzd5aEU0viIglTQPLGIf2cJYb13nCrnJLEKol3SqK5khiloOQm6-3ONC9tpmYvrr5-Uq-QxuKvGsJqXVLSqw6hrZ_JTnd8SHcmq8wuzFhTE9vj_BmVaWxJhIOdzmSqM4UFiz5BHGopEznKYFywaEKZdEJxjn1S8JOkF84DUuzSyxYBONNNIuzwENnIt7rpNJCk5rp11SvtK0K_G5rrV_N009-piaHrpWTDtuihZNM04qUrqf1Xt-K-tbXuvfElI63bd8fTjm7Brnim_dYNDm7xo0JgIftzyIjAkaL7dk-Vhy_fxYOvP3bDfcvV0CIsLbJdpV0qRd4eeTHR4tqGoSH-qhNOQx2GCJxQZ1KZI0qC3Pffs_XrPtqN_GK4AUJx7vsTuHgMN41QQVMfvDSCjUJpTz3W_ky5cLrRoSnbcISSqrL9TlZMaTUgXLZtJShxnfdf667L43bmTVOBiehBQO_h3tsDGT8E-6eE7AZum1JQUvWN-OfkDuXJQ0EG-y65amRpibLn3MOVIZiFmKZBvu_Vf0L0J0J0imyNclKkQT7J1nBWnMLcHmvf39e2wbrlJanEDz6AqYbLT0b2oyI9nFJ30w6TMdorr3kMDugfduONsbS_nNj6vkWXh6Q6VCeJlquteTyJVjyPFouLz2PdDuvJAevgvjoBeDJGBgglLC4mGJMZRpZG4-JC2rZ6eyDKCFLt4vVlyj0TVXIzyrvxtJVqfvBN8AcqPB2dvRN62chClCfzFYZpNM3eWUeMGEcfdqXT1u-B6OH8qjp5L0euc4fXT_SJCE4DFkSIRSP3MG6IqDaReW7uW6tz07tuVM-qotZ7sTse1aUk1ZsW-o5IUnLXD9ttwP7tpPt1mp3wN4PApykanVSsS_y5S2gAv-ySB9HySsh5ObVTt0jfLUs_5aPp3qv1jfulz55N7Uljb3MeT-g19wOD7Q9EcWluZNFskudk5dKnKQ0mnTeadd5BihI0s37jj4M8_BVV3qcUJWhiNp6Z7ZPcBy1XRaPqJd0v4Pu_kGnDhl-n1kRxlrVGTTqSp6ZTlN-VysPXR6qaBXbZSMNfzV7Y7yqh7ltzR8RQ8sb9CxiNHi4YwRxfDHNwrF36mf5qC7-T4t8d34N_x-tGvX3riqLPhO18xgvSVSZjvOKGH19jDymz7m8ehI9PMiM_fTacJ8ezs27ovh55KbRRb_v8eI8DRw4YvxLJO5H5mKGzrphzTMIRdt1Wwiwle1AN5VpvzP1bePdfmBXvzhiPPRklZGlb02O3T9RpxT4m4aQmz04ZmOY4PJwN_2u5fJpdLy9yPPVwPPcwY8VRDw-tCl2TvilZfpU4H7nnZLAZmxx30Oy4g5kP-V8C-2_BR6EPJz-co-kRJccBi2IwPHE4wYOxPGbR5My8fQY5PIlIfJhgkGWVyGmmDVEm-8rzD6q7zROn_qsbdHLckxAcIPu5U-_P8Secg17xqTyQ8FEIti8SnLELzFKckjN-4ccogoEfJfhsfUGwTxmOMGEBTlgSBTCJ0gAxPycMIj84ExcIogCmvg8T6CO8YDSMOKYYh6nvJ3HsBZDXRFQLa-eiUeWZe5J94cPEj_BZRXJeafeCEEL9iwjIC6_O1IXDlXel9gJYCW30ToIRpnIvFbkF4ZUXfuufKIRXRx8_j17Z-ecdho_fYTjrVHXx8y8pDNF9uUD_CQAA___vV7qk">