<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/131766>131766</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[MLIR] `Segmentation fault` when running `tosa-to-linalg` pass
</td>
</tr>
<tr>
<th>Labels</th>
<td>
mlir
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
sweead
</td>
</tr>
</table>
<pre>
test commit: [bd1be8a](https://github.com/llvm/llvm-project/commit/bd1be8a242384d98ef2087f4571b464e01501f5a)
step to reproduce:
`
mlir-opt test.mlir --pass-pipeline="builtin.module(func.func(tosa-to-linalg))"
`
test case:
```
func.func @main(%arg0: tensor<2x3xi32>, %arg1: tensor<2x3xi32>, %arg2: tensor<1xi8>) {
%0 = tosa.mul %arg0, %arg1, %arg2 : (tensor<2x3xi32>, tensor<2x3xi32>, tensor<1xi8>) -> tensor<2x3xi32>
return
}
```
Crash backtrace:
```
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.mlir --pass-pipeline=builtin.module(func.func(tosa-to-linalg))
#0 0x00005602fd8bb020 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/home/workdir/llvm-project/build/bin/mlir-opt+0x16ef020)
#1 0x00005602fd8b7f2f llvm::sys::RunSignalHandlers() (/home/workdir/llvm-project/build/bin/mlir-opt+0x16ebf2f)
#2 0x00005602fd8b807a SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
#3 0x00007f2b2b187520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
#4 0x000056030094478c mlir::DenseElementsAttr::getNumElements() const (/home/workdir/llvm-project/build/bin/mlir-opt+0x477878c)
#5 0x000056030064594a auto mlir::DenseElementsAttr::getValues<mlir::IntegerAttr>() const (/home/workdir/llvm-project/build/bin/mlir-opt+0x447994a)
#6 0x000056030065792d createLinalgBodyCalculationForElementwiseOp(mlir::Operation*, mlir::ValueRange, llvm::ArrayRef<mlir::Type>, mlir::ConversionPatternRewriter&) (.constprop.0) TosaToLinalg.cpp:0:0
#7 0x000056030065d1af void llvm::function_ref<void (mlir::OpBuilder&, mlir::Location, mlir::ValueRange)>::callback_fn<emitElementwiseComputation(mlir::ConversionPatternRewriter&, mlir::Location, mlir::Operation*, mlir::ValueRange, llvm::ArrayRef<mlir::OpFoldResult>, mlir::TypeConverter const&)::'lambda0'(mlir::OpBuilder&, mlir::Location, mlir::ValueRange)>(long, mlir::OpBuilder&, mlir::Location, mlir::ValueRange) TosaToLinalg.cpp:0:0
#8 0x00005602fe1d9daf buildGenericRegion(mlir::OpBuilder&, mlir::Location, mlir::Region&, mlir::ValueRange, mlir::ValueRange, llvm::function_ref<void (mlir::OpBuilder&, mlir::Location, mlir::ValueRange)>) LinalgOps.cpp:0:0
#9 0x00005602fe23ace2 mlir::linalg::GenericOp::build(mlir::OpBuilder&, mlir::OperationState&, mlir::TypeRange, mlir::ValueRange, mlir::ValueRange, llvm::ArrayRef<mlir::AffineMap>, llvm::ArrayRef<mlir::utils::IteratorType>, llvm::StringRef, llvm::StringRef, llvm::function_ref<void (mlir::OpBuilder&, mlir::Location, mlir::ValueRange)>, llvm::ArrayRef<mlir::NamedAttribute>) (/home/workdir/llvm-project/build/bin/mlir-opt+0x206ece2)
#10 0x00005602fe23ae8b mlir::linalg::GenericOp::build(mlir::OpBuilder&, mlir::OperationState&, mlir::TypeRange, mlir::ValueRange, mlir::ValueRange, llvm::ArrayRef<mlir::AffineMap>, llvm::ArrayRef<mlir::utils::IteratorType>, llvm::function_ref<void (mlir::OpBuilder&, mlir::Location, mlir::ValueRange)>, llvm::ArrayRef<mlir::NamedAttribute>) (/home/workdir/llvm-project/build/bin/mlir-opt+0x206ee8b)
#11 0x0000560300677620 elementwiseMatchAndRewriteHelper(mlir::Operation*, mlir::ValueRange, mlir::ConversionPatternRewriter&, mlir::TypeConverter const&) TosaToLinalg.cpp:0:0
#12 0x000056030067fa7e mlir::OpConversionPattern<mlir::tosa::MulOp>::matchAndRewrite(mlir::Operation*, llvm::ArrayRef<mlir::ValueRange>, mlir::ConversionPatternRewriter&) const (/home/workdir/llvm-project/build/bin/mlir-opt+0x44b3a7e)
#13 0x00005603008877fc mlir::ConversionPattern::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&) const (/home/workdir/llvm-project/build/bin/mlir-opt+0x46bb7fc)
#14 0x000056030362a926 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&)>) (/home/workdir/llvm-project/build/bin/mlir-opt+0x745e926)
#15 0x000056030088ae0c (anonymous namespace)::OperationLegalizer::legalize(mlir::Operation*, mlir::ConversionPatternRewriter&) DialectConversion.cpp:0:0
#16 0x000056030088b38c mlir::OperationConverter::convert(mlir::ConversionPatternRewriter&, mlir::Operation*) (/home/workdir/llvm-project/build/bin/mlir-opt+0x46bf38c)
#17 0x000056030088f14c mlir::OperationConverter::convertOperations(llvm::ArrayRef<mlir::Operation*>) (/home/workdir/llvm-project/build/bin/mlir-opt+0x46c314c)
#18 0x00005603008917b9 mlir::applyFullConversion(mlir::Operation*, mlir::ConversionTarget const&, mlir::FrozenRewritePatternSet const&, mlir::ConversionConfig) (/home/workdir/llvm-project/build/bin/mlir-opt+0x46c57b9)
#19 0x0000560300637967 (anonymous namespace)::TosaToLinalg::runOnOperation() TosaToLinalgPass.cpp:0:0
#20 0x00005603007e7201 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/home/workdir/llvm-project/build/bin/mlir-opt+0x461b201)
#21 0x00005603007e76b1 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/home/workdir/llvm-project/build/bin/mlir-opt+0x461b6b1)
#22 0x00005603007e7a56 mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::'lambda'(mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo&)::operator()(mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo&) const Pass.cpp:0:0
#23 0x00005603007e66ed mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool) (/home/workdir/llvm-project/build/bin/mlir-opt+0x461a6ed)
#24 0x00005603007e6fb6 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/home/workdir/llvm-project/build/bin/mlir-opt+0x461afb6)
#25 0x00005603007e76b1 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/home/workdir/llvm-project/build/bin/mlir-opt+0x461b6b1)
#26 0x00005603007e8565 mlir::PassManager::run(mlir::Operation*) (/home/workdir/llvm-project/build/bin/mlir-opt+0x461c565)
#27 0x00005603007d82f7 performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#28 0x00005603007d8dc5 processBuffer(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::MlirOptMainConfig const&, mlir::DialectRegistry&, llvm::ThreadPoolInterface*) MlirOptMain.cpp:0:0
#29 0x00005603007d8f7d 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&)::'lambda'(std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>(long, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&) MlirOptMain.cpp:0:0
#30 0x00005603008e19ae 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) (/home/workdir/llvm-project/build/bin/mlir-opt+0x47159ae)
#31 0x00005603007cfeac mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (/home/workdir/llvm-project/build/bin/mlir-opt+0x4603eac)
#32 0x00005603007d90e0 mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/home/workdir/llvm-project/build/bin/mlir-opt+0x460d0e0)
#33 0x00005603007d9607 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/home/workdir/llvm-project/build/bin/mlir-opt+0x460d607)
#34 0x00005602fd7fab5f main (/home/workdir/llvm-project/build/bin/mlir-opt+0x162eb5f)
#35 0x00007f2b2b16ed90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#36 0x00007f2b2b16ee40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#37 0x00005602fd88e865 _start (/home/workdir/llvm-project/build/bin/mlir-opt+0x16c2865)
Segmentation fault (core dumped)
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzsWltT4zi3_TXiRUVKlu8PPJhLzlDVDBRQ55WS7W2jM7bkI8ndML_-K9kOviQQwmT6m5marjSJLVlaa-2trS1ZTGteCoAz5J8j__KEteZZqjP9A4DlJ6nMX88MaIMzWdfcIDfByD9PcyeFiCH_EtHo2ZhGIzdBdI3ouuTmuU1XmawRXVfV983XaaPk_0FmEF0PTdH10Az1qBt5eRxBQUkUFp4fOqkXeEAcnziFzxCNEUkQSbSBBhuJFTRK5m0GtluSoIAgktQVV6eyMdjiXdkrfHraMK1PG95AxQUg9xJRmra8Mlysapm3FSAaFa3IVvYPopGRmp0aeVpxwarSdmw_tO8E9yh6PZie9N5_SILf2sLIIzXjAtEIUZ-pkljtDAgtFXIv6Iv7wl2K3CtEL3Bfw9lbg85qOC886opjjMJz2zvGtiLByL3Elsmqbiu86X7Sz9gg7ixKo3e63Xd7AuEUuVc765MEKzCtEh1CFF4uNEMkuVBMP-OUZb8ZxbIdut59u0oerrBu05obzHDaltYJpDLWHQ72QK51CxrRNWYix1xkVZsDNs-AszmSFSLJg2HZbzhv66bHRVa4-3enZKlYjZkq2xqEsQjwp5zwcA8k1kguweSFEEL8gNAij9KUUII7hm6C3ES_6v7HneLCdLAfOzlpNFZS7MeT1EYBqxENrDG5MJ0LWUddP8saEF3_kOq3nKtt5Sz03H5bz15v2CJ6Tl6cAApCyQjXWcANC1rsgnvfigdeClb9wkRegdIdlOMgSgtajIjoAlFEQoZnfSMadXpcYM1LLgr5ZBBN7PV3yfPuZzw8oVdZY12CdP_7Dtyhg7CgKU2dKPQpGXhUPEV0_RIFT4Fnjdu-nJai7QuylZaroMPsUX-qoTcidgmJPS-Mss7JeukuQWi4qqDzv8SY4XYJ5te23twf5Myk0OaPi-qFYRRG2QjRn0EMPD_2GGatkZ_C-b-sskPRvRgrXwsDJai-2tWR0XthHHtsRB_M0fthTHOcKWAGvnUj8FzmrxesytqKGS7FWqqBxw-u4bZBNBqR3zagulqDz4wlHc17Jkqw98dBkCjFXu-hmAnw-NrAEGnHmxdSfAeluRR3zBhQ4h5-KG6sywbDaFl1IjVKNivrQvhRavYoexo7nDVcUM8dVnRuPsFng5Il9KQ6jF3pgvK5VXuAMQX8TWaDFu8JEVuS3d2MVZUNuk-FQO4F1NxMRL6QddOaoa3os4rsh3Ika902a1nl96DbymxZzZqyx2lA9U7c26svRjSsWJ3mjCAaHldXGlVSlEvGf6DRfe4UTYMrOHmcswJ3Q_F_QIDi2T2USxMeCmjTRPCRvfbb8c_3ahrjXqjbZtc8Ec-0oi7LgE6aG-b-7vcg3m3TXw6x7VNY3xz8wTADW8XWN_eK9sVBkRQFF3DDmmFE7KneGl4N2cC1saClmgTB8eEHo7go7dOfuf0TzLyX2a-shtxOZTxtDWzS9T86jVESQAZ0WBhR1yFLh4Io_deh9jvUP9tFIEpHF3Hm030YBpRgGKfZG2ay50Tkwyz6C1RNlw8fPmF-ZYp-d6L8aNqxtOiCVsFCmLnsFoaZ-Ha51f-6aavb5i0jqedqfKjDHvtOxDk0qTta1pu6LITRF9yZaFEUhkX2EazDNRlL_lxmQZqGRTYymy2Y3ICymAbbYJKmqXhmo8KxmX0QXFIpq3lwGRqY54WHRqgvNDIWfJMlz1jVZ6-fa_cIsSn0fIj7Fnur-Qt_ZEAy2w0TUrzWstVYsBp00-1mxAu7fIOSVfx32Mx1w-UnjbhvCF5yVkFmxmo7YlCwgJ-6s1X6W-dvAW5Y9fSXX1zUzCkdwSpekBZuNBlL4YJW4XgH0Hor1rMNqHfWUBMuR3IyL8hcx5vQieZ0YidM4wkd1jTV67qtqtEEB7vQI1MlmMmQmVZbK_k7bOw5WPfh3dpjoxdSFLw8liZ-mMajJvF89nTDOAj3DbzphDxsKrbiVkz0iZbz9h3Ty2UQoi4ls95DCClxJhLkYBivNuo_ytvGtpPkrHkL3KoVi6Cl9ZZ93rdcIlj1qrm-YYKVdoxdYBul7Xcruhcj-dH2R73ASSlx3rSnzpJ9kB7O_m6zrTx3VVv1jdSHgeNLcsxnQa2vhTaq2wWXasc0Oa3Q99wXDNjvmAJhrkUhN2PhWAHNSYN0ojhdKs784GDFJ56e6FeRXddNhWjUC7Xc11lu6xyvi9vm7sZKNt1Okk2_1OlH4E_peEjk3hng7kLwIID8yIIfxU1YAPnoJt4SdZEe7iZ_o7DEinTMxaj_b1j6yWEpWCge-YG_ALqhvtO7_oRM0Mn8wB8RzjPBMI9oEeIGVCFVnWTbSd72W0Zt8r5IPzMF-VNj1Gwh8iBblcFNqZB79U5GdPPt-v5CCgMvZsuYNxVXt425YXxIl2ZbCJPSHUEqWpLLMx83Smag9XlbFN0uyKe4tYL_fwtb3G6glup109Skfg4FayvzlEMFBt5_xr3a2jn4iPC03rB8uYeSa6Net9aoj88KWH4nZXUtDKiiS_SS_aLFS9GKcPreaL6u_MpC9OeJ-r5p33tBtdMMf0En2W38T46anZnMX8Yq4-utvwSkj0eLO1_oRODEbLpJqZuKm0Tkd4ug89-g9jccoR_WOOz10TEmz9DxYzZutrqLdV5WAMt2D8J_Wgg5RiZCXGDjJo67WMLlMQHyrphDUpg9sz79Sw5_m_ixEsdhmBMgI0N3yTAg4VEY_hQqAQlHKt7svFVYsNQvcM24OMbZLgqpX4x9-fOjVwHk8YFHr2icxxM7BMsGwSP46ck-86QNU-ZpwuTTXYA36SKcn0eLIAp83Dd-DIUyGm2S-Aco31Y5uAsGtoNMKuhONr6tfjdnLk_yMzeP3ZidwJkTepRGMQ3jk-ezwiugcGKXhh4jfuznQZz74GSp56WUkvSEn1FCfeI6EYkdz41XFEJS0DAnaewGLADkEagZr1aWykqq8qQ7jnnmuE4YBCcVS6HS3XFkSjuXpRT5lyfqrKOetqVGHqm4NnpswXBTdUeY7RoB-ZcYBWSbMgoI_vEMAqtWCC5KW2tx3DIguGFan7SqOvv6sdKByvcz-p8AAAD__yCjEmk">