<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/108371>108371</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[mlir] -inline crashes in BuiltinTypeInterfaces.h.inc:242: bool mlir::detail::ShapedTypeTrait<mlir::MemRefType>::isDynamicDim(unsigned int) const [ConcreteType = mlir::MemRefType]: Assertion `idx < getRank() && "invalid index for shaped type"' 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: 8168088f0a9015b
system: `Ubuntu 18.04.6 LTS`
reproduce with: `mlir-opt -inline a.mlir`
`-canonicalize` also crashes
a.mlir:
```
module {
func.func private @callee(%i: index, %j: index, %k: index, %m: memref<?xf32>) {
%c0 = arith.constant 0 : index
%c0_0 = arith.constant 0 : index
%dim = memref.dim %m, %c0_0 : memref<?xf32>
%0 = arith.cmpi sge, %i, %c0 : index
%1 = arith.cmpi slt, %i, %dim : index
%2 = arith.andi %0, %1 : i1
%c1 = arith.constant 1 : index
%dim_1 = memref.dim %m, %c1 : memref<?xf32>
%3 = arith.cmpi sge, %j, %c0 : index
%4 = arith.cmpi slt, %j, %dim_1 : index
%5 = arith.andi %3, %4 : i1
%6 = arith.andi %2, %5 : i1
cf.assert %6, "ERROR: Runtime op verification failed\0A%12 = \22memref.load\22(%2, %3, %4) : (memref<?xf32>, index, index) -> f32\0A^ out-of-bounds access\0ALocation: loc(\22/data/szy/MLIR/seed729/tmp.Jv59r4jk.mlir\22:8:12)"
%7 = memref.load %m[%i] : memref<?xf32>
gpu.barrier
return
}
}
```
stack trace:
```
mlir-opt: /data/szy/MLIR/llvm-release/llvm-project/build/tools/mlir/include/mlir/IR/BuiltinTypeInterfaces.h.inc:242: bool mlir::detail::ShapedTypeTrait<mlir::MemRefType>::isDynamicDim(unsigned int) const [ConcreteType = mlir::MemRefType]: Assertion `idx < getRank() && "invalid index for shaped type"' 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 -inline a.mlir
#0 0x00005615507f82c8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x10dc2c8)
#1 0x00005615507f5dde llvm::sys::RunSignalHandlers() (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x10d9dde)
#2 0x00005615507f8c5d SignalHandler(int) Signals.cpp:0:0
#3 0x00007f49b0fc5420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
#4 0x00007f49b060200b raise /build/glibc-LcI20x/glibc-2.31/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
#5 0x00007f49b05e1859 abort /build/glibc-LcI20x/glibc-2.31/stdlib/abort.c:81:7
#6 0x00007f49b05e1729 get_sysdep_segment_value /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:509:8
#7 0x00007f49b05e1729 _nl_load_domain /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:970:34
#8 0x00007f49b05f2fd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
#9 0x00005615508bb44b mlir::detail::ShapedTypeTrait<mlir::MemRefType>::isDynamicDim(unsigned int) const (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x119f44b)
#10 0x0000561550fa0e2d (anonymous namespace)::SimplifyDimOfAllocOp::matchAndRewrite(mlir::memref::DimOp, mlir::PatternRewriter&) const GPUDialect.cpp:0:0
#11 0x000056155631b5b1 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
#12 0x000056155631826b 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+0x6bfc26b)
#13 0x000056155399a65f (anonymous namespace)::GreedyPatternRewriteDriver::processWorklist() GreedyPatternRewriteDriver.cpp:0:0
#14 0x0000561553996e8f mlir::applyPatternsAndFoldGreedily(mlir::Region&, mlir::FrozenRewritePatternSet const&, mlir::GreedyRewriteConfig, bool*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x427ae8f)
#15 0x000056155393cb2b (anonymous namespace)::Canonicalizer::runOnOperation() Canonicalizer.cpp:0:0
#16 0x000056155391f156 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x4203156)
#17 0x000056155391fac0 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+0x4203ac0)
#18 0x00005615539241e6 llvm::LogicalResult llvm::function_ref<llvm::LogicalResult (mlir::OpPassManager&, mlir::Operation*)>::callback_fn<mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int)::$_0>(long, mlir::OpPassManager&, mlir::Operation*) Pass.cpp:0:0
#19 0x000056155399bb34 mlir::Inliner::Impl::optimizeCallable(mlir::CallGraphNode*, llvm::StringMap<mlir::OpPassManager, llvm::MallocAllocator>&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x427fb34)
#20 0x00005615539a2221 mlir::Inliner::Impl::optimizeSCCAsync(llvm::MutableArrayRef<mlir::CallGraphNode*>, mlir::MLIRContext*)::$_0::operator()(mlir::CallGraphNode*) const Inliner.cpp:0:0
#21 0x000056155399b97c mlir::Inliner::Impl::optimizeSCCAsync(llvm::MutableArrayRef<mlir::CallGraphNode*>, mlir::MLIRContext*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x427f97c)
#22 0x000056155399c510 mlir::Inliner::doInlining() (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x4280510)
#23 0x0000561553945575 (anonymous namespace)::InlinerPass::runOnOperation() InlinerPass.cpp:0:0
#24 0x000056155391f156 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x4203156)
#25 0x000056155391fac0 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+0x4203ac0)
#26 0x0000561553922102 mlir::PassManager::run(mlir::Operation*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x4206102)
#27 0x000056155391a931 performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#28 0x000056155391a58b 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
#29 0x00005615539c6f25 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+0x42aaf25)
#30 0x00005615539159b5 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+0x41f99b5)
#31 0x0000561553915c5f mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41f9c5f)
#32 0x0000561553915f8e mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41f9f8e)
#33 0x00005615507d8f07 main (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x10bcf07)
#34 0x00007f49b05e3083 __libc_start_main /build/glibc-LcI20x/glibc-2.31/csu/../csu/libc-start.c:342:3
#35 0x00005615507d8a8e _start (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x10bca8e)
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWl9v2zqy_zTKCxGDov5YesiD48Tn5iK5CZwe3EeDIimbLUVqSSon7qdfkJJtSbGbdFvv6S4KtIElDTkzv_nNcCgRG8PXkrGrILkOkpsL3NiN0lf4leGCXBSKbq8CeBPA2Zpb8MK04UoG0QxkYZrBLCshzmGYFK1M-9dsjWWVEwpS-GfRSNuAMJvAeJKC-0_PQQr70prVWtGGMPAXt5tuVCW4vlS1BZdcCi4ZwBN3azQ0SOElwVJJTrDgX1mQQoCFUYBobDbM9GW7CaLD0PYfaK8rRRvBQDC9bq8BKBtJJu4PqDV_wZaBIIYEC8FYgLIAJdzZyiVlrwGagwAln8c3voxveFAqVmlWBtE8iBavZYSC6DZAeV81cLIEgiC6AVhzu5kQJY3F0gJ3czfnUHr1XfKUV168NWbiL519rZ3dbMdt7U8z0FnVHJg16-bg-7nemBCgJHwzUNjRwNbEY8aj3mAsKfeWdKPCdkx4UEXCY8CEp4FZhd-CJvwQMNFpYD6fBqYdG5_G5vMBm9UpD5Ij6ETduPgNOukRadRJJ0NpAAApJ9gYpq0f2oqh2-Xycekkl420vGJA1a5S8JITbLmSoMRcMBokczhzEWrDFyRzhDqMhcLUX7eZtdO_t9rnh6sMKDuaPfNDlnU_cnAZRLfACXi1yS1Qjb1U5WWhGkkNwIQwY_zDe9Xa6TQIRZwNrS0Lii0O0MJ83QZo8XB_t3QXjNEpygO0sFU9-d-XJNfx5y9tdfHDolkWRLMQBU4IDUIz7RPLOd0yK7n2tE9u3qfWum4mBdaaM324qZlttNzFdHrTlbj9j1GtMxaTL8BqTNihHh6vil0ZbrE_CocQL9WlZoJhw3aXtVafGbEBWhQNF9RBpZQwAVp4lNCCSyIayg43_FTXDReWy0_bmt1Jy3SJCTOTzYRLEkQzFDtoQaGUALtSHs0os5iL9vfzBteMuuGfNOY2iOYHuQdWLVnpnjk4_S1ubrYSV5zc8CpAWSP9QkgBl9bxx1cKECTXcyWJZpa5wW38js2a3DjrZj45HOeDFHL6CoJoDtbMLrH84rmdgwClAUpd3nD5ggWnLWVBqTQw3gNg3YSOgNMudSZtOJ7ub2fPt8A0RcUtwKBo1kCzWmkLrAIba2vj7EKLAC3W3G6aYkJU1UXlbXC4MQ1zUQFYOit8TIDdsHb9BAUmXzxLOvXPnje0qeo9beAEgCet1hpXAOt1UzFpzQ-zpeCyo8axHmBXuiII4CuEECZpmCRwWmaIZMC76oNjtqb98aS5tN74T57zKDsIafzXShmrGa58YOa78Pto_TQfAnQNX0NICSKOBAcfwpEPCaXsmA_LRj7ztcTif7CkgmmzZ9M5zMypS86emWgMNUkoGBgUoKxDrr1tJqR2PIH-_36iqJtoWsZ5AUuSxAiC1UozY5VmK7-wOI8ELwK0eM3SVRpfCi6b18u1bNoHtd1ohunEqAlsLY5jBAf2xgM1KUQQFkBjbhjoOb8WvCCX9-QOwdf9JZpEocPSexGgxWTirraGstrlSiP5a3vjxVsjG3fpp564MpWErvgfLEkGliQszJIc4EJ5Tz9miaUtGn6UV5I5JdODknSsZIpyV3ZWrd0rw9YuM1cvWDQfRoBL6_x3y1Rl1gS3qhOY-xVur3t6TPdKipUbuKKqwlz-mMp86kgUxQed2VBniUqafoA4xFEm9ZSJopKmA8rkA4pnRRHHxb9zoTlDIod5GcfF3ktXboY1s8SQIdeEZG4Xta1UY4DEFTO1r5N55y6vasHL7Q2vHsuZEIo81u2TCluymUm6ZH9pbl1lPQCxa2PcbzeydsX18PgJW8u07EZqX3x3WPzx9OcNx4IR-7aIOCcGRTONwiIpQvCiOO1VTrdzcwvxqu2l_NO2Zu7j4jZzbo1blXIQws60WV0L18Eq_b6zjzXTbQ-JZu_7OT9tp29vBlN3E7TQtDB1Pe-7zv7QJIcH92rtNthLZhphPzZvx5wAxSvob2RCybWL8Btwj4cYjUKcobR4i-rvEP1AiM5RctKiJCgdlpyoH8ooz3GalO-VnD80Y3Q7DMyN5i-sc6rWym3f_l_pL4I7t3wzdHrUcZLFI8tSlpU9XuC6FrvZzEzShRLUq-BiO4B4ydaeV-mQVwutvrKdHd08z8z2ItGXbo3vpOdKlnztBBzbPGPPEq8YTTHLykG8kiEqESlQ8V685r23cJ0_upGPspd0PkIDueNBSYfqwzJM0hPr8GP9ST3WT9iYGcX1vgroRo4ywJg3SX-6HMwkFlvDzQOWeO3KwS4IczBeus8SERiFSTqIyHQMCSbwuyF54jVz26hRUXSie0_Tn47RsM4acyeN1X6bqPSRQtwX2L2TcQ8625-wZtLeyVLtkuh8iQEjTOAgDNkwDCgOWQpO1eAfK9rfE5f3G5pfKWdONAZDNd_hPHCyxytJPirvRRHFvYnu_FuF3UVVdwCp2vKKf2VzLAQuxDBf3M0_NK43_6fcDnk2XJ6freZy_YDrAfojd_oDHrDrpn1L3TYxt10ffJ5SXxZR3Gc0gkOEMEIo_DhCz_P5zGwlGbxQeWisQ22mNd4uPeG_gV7b3_Q2T_d3y7mSlr3aHbV7bGl1u-i72uFb-W_HZref6Pw4yhIUjlmST8kvhcG5yJBPyYAMaAQESUJ4Cgiq_CV3qXuu91AxymASDkowGvWScZJMk_d6k85wX9FOdyY9qeM8iX_3JaO-BCW_-5JfoC9Bo44ZoRCikfU7PI7ycLyinsfsNIRoYPa4q8V5FIKa6VLpauY7JvPOq3pjafeafIM1o6va6kGD9awaTdjD2i2sJ3Zd42o7eCa4fqztA-ay3Y_199Cg9_R4wcjG_iVZ8VPbxb37jeT_aNgb9x9YpfT2uinLNhP28pSVuBF2RZlglp0e4_rK0RuIcRDebz57OH00nGf352Bd957R7eCN1du3_PgWB072sr9EZN5n6KhBJmmJkp7vphbcziR9al-27Mz9W3j3H5gV35R4u21wjeKp22eqyRiXKOnX5Gi0IQiTvEiOZ8N_Wy6fBeGwzPNiiHA4Rpgk5UmEu1aFbHDblBzdb36LOO_Bcza3STJ4qRihsdtlxn6K23-Tf2XGBv5Fww_kNCvhFHSfPs_whb4gJZwODIhHn2EjmEVgtRK8ICtjsbar7_kQS0yz-_Td_vQP_Tz-k2zkD-NEB_XJ2H-cMdAqPhcCuB-C_cGlC3oV0TzK8QW7CqcoDeMwQfHF5iokMY0xCwmjKJnSkkQ5LihLEoqmMSHRBb9CEMUwD1EYxgmKJqiMp5CFdIqyKS4ZCmLIKszFxNk5UXp94U_QXIUwi6bhhcAFE8afo0WoPdeEguTmQl95v4pmbYIYCm6sOcxguRX-7G17fuxmf9ilO8IKuAS_z0WdPBd10Whx9a8ffOoi93KF_hkAAP__V7ihEQ">