<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/118268>118268</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[mlir] -tosa-to-arith crashes
</td>
</tr>
<tr>
<th>Labels</th>
<td>
mlir
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
Emilyaxe
</td>
</tr>
</table>
<pre>
git version: 0a44b24d6697ee8542583
system: `Ubuntu 18.04.6 LTS`
reproduce with: `mlir-opt -tosa-to-arith" a.mlir`
a.mlir:
```
module {
func.func @main() {
%1 = "tosa.const"() <{value = dense<0> : tensor<1x24x2xi32>}> : () -> tensor<1x24x2xi32>
%4 = "tosa.const"() <{value = dense<20> : tensor<1x24x2xi32>}> : () -> tensor<1x24x2xi32>
%16 = tosa.int_div %4, %1 : (tensor<1x24x2xi32>, tensor<1x24x2xi32>) -> tensor<1x24x2xi32>
return
}
}
```
stack trace:
```
mlir-opt: /data/szy/MLIR/llvm-release/llvm-project/llvm/lib/Support/APInt.cpp:1552: APInt llvm::APInt::udiv(const APInt &) const: Assertion `RHS.U.VAL != 0 && "Divide by zero?"' 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 a.mlir -tosa-to-arith
#0 0x0000561baebecf88 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x1185f88)
#1 0x0000561baebeaa9e llvm::sys::RunSignalHandlers() (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x1183a9e)
#2 0x0000561baebed91d SignalHandler(int) Signals.cpp:0:0
#3 0x00007f4ba3f4d420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
#4 0x00007f4ba358a00b raise /build/glibc-LcI20x/glibc-2.31/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
#5 0x00007f4ba3569859 abort /build/glibc-LcI20x/glibc-2.31/stdlib/abort.c:81:7
#6 0x00007f4ba3569729 get_sysdep_segment_value /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:509:8
#7 0x00007f4ba3569729 _nl_load_domain /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:970:34
#8 0x00007f4ba357afd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
#9 0x0000561baec6b548 llvm::APInt::udiv(llvm::APInt const&) const (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x1204548)
#10 0x0000561baec6cc2f llvm::APInt::sdiv(llvm::APInt const&) const (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x1205c2f)
#11 0x0000561bb1222ab7 mlir::tosa::IntDivOp::fold(mlir::tosa::IntDivOpGenericAdaptor<llvm::ArrayRef<mlir::Attribute>>) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x37bbab7)
#12 0x0000561bb11d5ec1 llvm::LogicalResult mlir::Op<mlir::tosa::IntDivOp, mlir::OpTrait::ZeroRegions, mlir::OpTrait::OneResult, mlir::OpTrait::OneTypedResult<mlir::TensorType>::Impl, mlir::OpTrait::ZeroSuccessors, mlir::OpTrait::NOperands<2u>::Impl, mlir::OpTrait::OpInvariants, mlir::OpTrait::SameOperandsAndResultElementType, mlir::InferShapedTypeOpInterface::Trait, mlir::OpTrait::ResultsBroadcastableShape, mlir::OpTrait::tosa::TosaElementwiseOperator, mlir::ConditionallySpeculatable::Trait, mlir::OpTrait::AlwaysSpeculatableImplTrait, mlir::MemoryEffectOpInterface::Trait, mlir::tosa::TosaOp::Trait>::foldSingleResultHook<mlir::tosa::IntDivOp>(mlir::Operation*, llvm::ArrayRef<mlir::Attribute>, llvm::SmallVectorImpl<mlir::OpFoldResult>&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x376eec1)
#13 0x0000561bb11d5260 mlir::RegisteredOperationName::Model<mlir::tosa::IntDivOp>::foldHook(mlir::Operation*, llvm::ArrayRef<mlir::Attribute>, llvm::SmallVectorImpl<mlir::OpFoldResult>&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x376e260)
#14 0x0000561bb21cc93d mlir::Operation::fold(llvm::ArrayRef<mlir::Attribute>, llvm::SmallVectorImpl<mlir::OpFoldResult>&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x476593d)
#15 0x0000561bb21ccce3 mlir::Operation::fold(llvm::SmallVectorImpl<mlir::OpFoldResult>&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x4765ce3)
#16 0x0000561bb210d06a mlir::OpBuilder::tryFold(mlir::Operation*, llvm::SmallVectorImpl<mlir::Value>&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x46a606a)
#17 0x0000561bb208706c (anonymous namespace)::OperationLegalizer::legalize(mlir::Operation*, mlir::ConversionPatternRewriter&) DialectConversion.cpp:0:0
#18 0x0000561bb2086437 mlir::OperationConverter::convert(mlir::ConversionPatternRewriter&, mlir::Operation*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x461f437)
#19 0x0000561bb208760f mlir::OperationConverter::convertOperations(llvm::ArrayRef<mlir::Operation*>) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x462060f)
#20 0x0000561bb208d7cb mlir::applyPartialConversion(mlir::Operation*, mlir::ConversionTarget const&, mlir::FrozenRewritePatternSet const&, mlir::ConversionConfig) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x46267cb)
#21 0x0000561bb19a57f9 (anonymous namespace)::TosaToArith::runOnOperation() TosaToArithPass.cpp:0:0
#22 0x0000561bb2027316 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x45c0316)
#23 0x0000561bb2027c40 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+0x45c0c40)
#24 0x0000561bb202a212 mlir::PassManager::run(mlir::Operation*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x45c3212)
#25 0x0000561bb2022aba performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#26 0x0000561bb202270d 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
#27 0x0000561bb20ce985 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+0x4667985)
#28 0x0000561bb201c6f5 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+0x45b56f5)
#29 0x0000561bb201c99f mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x45b599f)
#30 0x0000561bb201ccce mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x45b5cce)
#31 0x0000561baebcda77 main (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x1166a77)
#32 0x00007f4ba356b083 __libc_start_main /build/glibc-LcI20x/glibc-2.31/csu/../csu/libc-start.c:342:3
#33 0x0000561baebcd5ee _start (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x11665ee)
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzcWl1z46jS_jXKjSouhL4vcqF8-N1UJZtUnN2L98aFUMvhDAYdQJl4fv0pkGzJmtjJzFnvnt2piW1EQz9Pd9NqkIjWbCUALrz40ouvz0hrXqS6uFkzviFvcFbKanOxYsZ_BaWZFF5Y-IhEUYmjKknyFCCLIxxnoYcKDxV6ow2srZCXoN_KVpjWD7IZimaJf_e88BLUySlolKxaCv5XZl56-TVn6lw2xj83UpNzI8-Jsr0Y-2RmO3fDPVT0V-xIVNgO99821rJqOfheeumhwq9bQWf2w_citCZMeDjzcL7t9n3fw3Hge-G172FsFc-oFNp4GG8lwysvvXwlvAUnVoHQ4IVXyAtvfAvAgNBSeeFV8IajN_zGQuyFN156vRXoJzq37QPCOyjRz0DBfzQWa5PEqXAwmDDLir06fB6-2prMzXZgEnx1aPpPWUKBaZVwDQseFf3nxNfaEPrFN4pQ8MLiHYFtTHVg5xUxxMNz_W3j4fn93e2Th-ecv67PFXAgGrbNRsl_ATV9036x0sPzRds0UtnLxeOtMDPaNF5YBHGM7fzumu8GhIUXFq7d_Wwr9urhzLmzl_NwYk3RediO1hqUYVLYpfD0y2L22-z34s73cGDdgDr5xEbGNXtlFfjlxv8GSnrh3AVI6teEcahmHioe726KxY2v23LNjE_8sl35Cix030j_xZhGW1x47uH5ipmXtpxRuR6x3bcB07oF7eG5T0TlM0F5W4FvXsCniugXvyT0i_OB1b1wLqnaddN5BM189-9RyZUia5-oVbsGYfRPu6RsGa_st13M813W6DLCNHm4YA6Rj94QQihOgpJACbTOspGn9EZ3Px4VE8YxeHYxhbNBSJGvS6mNArJ2vrjymTBuVdol9Yfx8PAleguCLK4zu1J7AsGEACE5vEfgqRULthKE_0JExUHpbeY4CcaQ5DBgxBOMVR5U_h4aD2e9zbrLul9ByP11s4T9LGkdlSSsoyrCyF8uFWgjFSyV6bl0K_ItS5ZJdM6ZaN_OV6LtOhrzooBUMy1nqMMaRRgNSKM9HXFGECp9RZgGf8R5xVlJz-_oLUZvuyaehYE1ocPv4flsZlsbXUFjV0gr2Ft34dVBEa1tuqln1AuLOLAJo4cR78NI8izOfVJKx_FzMEzV2cGNchoyqyHtNSRTDSnO_RWYZYd4qWFl1-Kyv6V8TikTxjLnklRrvaKk0xuj3GrvFafvKV4KvrSjlpW0d-L_Tl-e2qgJo15htq8wJXWVfCJSqI2RxMVIGNZVMsRIvhfNNCnjKDua3Cd9fWYfZfmTLEKMojjqE4XNE2gCm1Jcvw9b_7WwY4rrAfY4v5UBxpiUqd9XeF5Y2Jze_boV5pq9PjRdq5ZWQ3ZM8P9AgGK0qEhjXLkxIqwU2TxB7YVXwwyFMYqVrQFbjHTlygkMEKZlScp0MADeM0BQxUCDkd_u5IpRwp9At9yMDGMNcXXUTvhqT_xZEdYHwP-Dkk-wYlLoI1IPAjqtx2WeNw1UveAY0bOr8myvs6eDtm74B7AWLaWgtVTHkP360IAiotK2Am4_O_1DcyteiWLEliCHxRZkDdv5C9Ezu-Fg06Vjszf0VtSgFi-kgcp2Wh0GVN2XpWHRTXxYWze9vlSSVJRoQ0oObrojYwZfP0tNemhfme5g21jfG3slRcVsfUk43ywaoC0nTs_nEBb8K9no8Thr53dG3cNaqs1NXQM1n7HDPo3twu413wzLfMHEiveh-IuUXz6Ke7t0szEZaxS7g8WFBfAjWWBPfLEmnP8O1EjlIm086qGZS75bBTd9Fj1J-kgAaDCkj3CaPnCCRka2y1wbUFDt7PArWfdOuZcV8E-Yc-cKZ_5_tnFxggbjRmPj4oDSPKz899iP70l_bxtEaRLnYTXYIJ7agEL4Azb4nyFFIRxIJfukUIUSskfq0k4G21WhNvNpvXE48o8x_t2W26elmpAEJWSgmu5RRVmKEmoVEyHFZi1b7QuyBt24XW8-IXcHK8LZt60heN88aom9O09_evhIjAElnuCrYsZuBx39a0Y4UDOITXaFFn42gZ9EYfpe-HWTmC1S2jX3gB6Hc_VuUFtKJ_JTUEfhqA7Mp35KUP15ortu_XEG2mN3skI3SjBK0FDpYzQhWKW0HBEkTcM3j0QZRvjgqR-OtGeiVjDezIzF5kp-g63b-yBYHJQeJr2Somar0xkqSWk5GGp_S5STOK3zj1asLaGeZaG6Q3UvLFQrHsTIYO4waCT1SPT0EMbqxvtOwqnNlYNJKjCE8V2VKB8aO89ui9Ur3nOaFfjOX4c9WQjCN5rpeyLIClwpW0rp6vpWuEcW1QmP36KYojBIBl-EU3vQCP2wPR5ZA5yJadq0ojuaRzPQTxloPMiquhXaKHcCa3cIxTGB0Q19i_2RKBDmVtRyu1pOlhljimg0VGE4mviA4ABPoG-N8W4E_hnZPKYhDvCAOZ5gxqQkfgOqlmpd0O8T9fdnzNpU_XHNC1FQLRuzf4axkK2icL9SXnhzIIFZVldSGHgz3zn8njP10Jh7wvrstnf-M-p9J0kkU3Ipqg4eWQzX61Y45kvlbkiHBng423FvBft3C99x77aal21ddwtgJ19BTVpulhVwsBX2oTH9Cc-4bJt6IN_tfCjhvCT0y7IWe_fRkZE-68uT8xnQ9cVVtwFUm--D41gAdCIejpao209zKVZ_LpMjnvkgPCcVL4U8i0fEdcOZKUT1qCQFrbdY_5Kg-xsuiaMSe_sgo5hY2eLz0OUTlVNJmmfxkIonO4iAJnX8_jr4p63i09zpyjipR-bNp-bN8_qgefvChL6QrgSZbp0_DJmPbHMyznk-bGVCNOVMKfwhnP8icpTCQG7yxJlWJE39_rHdCZ4lJwlJh23w7lny9vlhibLQXy45K-lSG6LM8keeIFLdbh_Vdj9dp5vHPUsMI2w_e93hlHkM4HdaT8U9hq3lJ6-wnFUXYZWHOTmDiyANwwBHWZadvVwQyAEhHFYRRjHEAc1QjPKoTPIqq0sgZ-wCIxwFGGGUhlGUzpIAAPIkD-sS46wGL0KwJozPLNSZVKsz957HRRBkOMnOOCmBa_deGMYuIDH24uszdeGole1KexHiTBs9zGCY4e5dMjcgvp68jdG9LwL6rFX84udfQ-kRvl7g_wQAAP__ZLrl9A">