<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/64064>64064</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[mlir] Inline pass crashed with assertion failure "(succeeded(ConcreteT::verify(getDefaultDiagnosticEmitFn(ctx), args...)))"
</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 -inline temp.mlir`
This is an issue similar to [issue](https://github.com/llvm/llvm-project/issues/61056), where `tensor.empty` is initialized with a negative index `%133`.
temp.mlir:
``` milr
module {
func.func @func1() {
%true_0 = arith.constant true
%cst = arith.constant 6.483200e+04 : f16
%true_2 = arith.constant true
%c7 = arith.constant 7 : index
%c12 = arith.constant 12 : index
%c20 = arith.constant 20 : index
%c28 = arith.constant 28 : index
%38 = memref.alloca_scope -> (tensor<?x?xf32>) {
%133 = index.sub %c12, %c20
%158 = tensor.empty(%c28, %133) : tensor<?x?xf32> // !!!!!!!!!!!
memref.alloca_scope.return %158 : tensor<?x?xf32>
}
%91 = scf.index_switch %c7 -> vector<28x28xf16>
default {
%146 = math.tanh %38 : tensor<?x?xf32>
%149 = vector.broadcast %cst : f16 to vector<28x28xf16>
scf.yield %149 : vector<28x28xf16>
}
return
}
}
```
trace:
```console
<unknown>:0: error: invalid tensor dimension size
Assertion failed: (succeeded(ConcreteT::verify(getDefaultDiagnosticEmitFn(ctx), args...))), function get, file StorageUniquerSupport.h, line 180.
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 -inline temp.mlir
#0 0x0000000100d10f18 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/workspace/build/bin/mlir-opt+0x1002f8f18)
#1 0x0000000100d0f1b4 llvm::sys::RunSignalHandlers() (/workspace/build/bin/mlir-opt+0x1002f71b4)
#2 0x0000000100d115c4 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 0x00000001052f8348 mlir::detail::skipDefaultMemorySpace(mlir::Attribute) (.cold.1) (/workspace/build/bin/mlir-opt+0x1048e0348)
#8 0x0000000103452b04 mlir::RankedTensorType mlir::detail::StorageUserBase<mlir::RankedTensorType, mlir::TensorType, mlir::detail::RankedTensorTypeStorage, mlir::detail::TypeUniquer, mlir::ShapedType::Trait>::get<llvm::ArrayRef<long long>, mlir::Type, mlir::Attribute>(mlir::MLIRContext*, llvm::ArrayRef<long long>, mlir::Type, mlir::Attribute) (/workspace/build/bin/mlir-opt+0x102a3ab04)
#9 0x00000001034529f0 mlir::RankedTensorType::get(llvm::ArrayRef<long long>, mlir::Type, mlir::Attribute) (/workspace/build/bin/mlir-opt+0x102a3a9f0)
#10 0x00000001027ad458 (anonymous namespace)::ReplaceEmptyTensorStaticShapeDims::matchAndRewrite(mlir::tensor::EmptyOp, mlir::PatternRewriter&) const (/workspace/build/bin/mlir-opt+0x101d95458)
#11 0x00000001049930f0 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)
#12 0x00000001049903ec 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)
#13 0x00000001033bf420 (anonymous namespace)::GreedyPatternRewriteDriver::processWorklist() (/workspace/build/bin/mlir-opt+0x1029a7420)
#14 0x00000001033bcc50 mlir::applyPatternsAndFoldGreedily(mlir::Region&, mlir::FrozenRewritePatternSet const&, mlir::GreedyRewriteConfig, bool*) (/workspace/build/bin/mlir-opt+0x1029a4c50)
#15 0x0000000103376c5c (anonymous namespace)::Canonicalizer::runOnOperation() (/workspace/build/bin/mlir-opt+0x10295ec5c)
#16 0x00000001033602a8 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/workspace/build/bin/mlir-opt+0x1029482a8)
#17 0x0000000103360998 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)
#18 0x0000000103386418 (anonymous namespace)::InlinerPass::optimizeSCCAsync(llvm::MutableArrayRef<mlir::CallGraphNode*>, mlir::MLIRContext*)::$_0::operator()(mlir::CallGraphNode*) const (/workspace/build/bin/mlir-opt+0x10296e418)
#19 0x0000000103385f3c (anonymous namespace)::InlinerPass::inlineSCC((anonymous namespace)::Inliner&, (anonymous namespace)::CGUseList&, (anonymous namespace)::CallGraphSCC&, mlir::MLIRContext*) (/workspace/build/bin/mlir-opt+0x10296df3c)
#20 0x000000010337e1cc (anonymous namespace)::InlinerPass::runOnOperation() (/workspace/build/bin/mlir-opt+0x1029661cc)
#21 0x00000001033602a8 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/workspace/build/bin/mlir-opt+0x1029482a8)
#22 0x0000000103360998 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)
#23 0x000000010336282c mlir::PassManager::run(mlir::Operation*) (/workspace/build/bin/mlir-opt+0x10294a82c)
#24 0x000000010335ad14 performActions(llvm::raw_ostream&, std::__1::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) (/workspace/build/bin/mlir-opt+0x102942d14)
#25 0x000000010335a368 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)
#26 0x00000001033d834c 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)
#27 0x0000000103354d1c 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)
#28 0x000000010335518c mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/workspace/build/bin/mlir-opt+0x10293d18c)
#29 0x0000000100a1b510 main (/workspace/build/bin/mlir-opt+0x100003510)
#30 0x000000010c1d1088
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsWt1y27iSfhr4BhUVCJAUeeELRbZnU5VsXHam9tIFgk0JaxLkAqBt5em3AFKWQFn-0WTOnJozKUeUwEb_fuhugOTGyJUCOEfJZ5RcnPHerlt9vmzruu1abXtDzoq23Jx_-_rlBhe9rC3mFou2aaTFOMkSUQCrELlAZHEDnW7LXkCJH6VdI7bAeLiDUoKbWupPbWfxJ6lqqQBbaLqZG0UpGcn854-1NFgazBWWxvSAjWxkzTW2LUbJZz-GkgtEs7W1nUFsgegVolcradd9MRNtg-hVXT9sL5863f4vCIvolZ9rEL1KI5KkiOaILvHjGjRglBILyrR6Bk1nN05jp4aSVvJa_hxtwhwrWHErHwBLVcKTm4doEjGGUjIbDNizjC2eHTD84UbWevRK05Z9DRjNP4_zcNUrMXMfGMXEXSNEM0RzvE-EMaKJ1T3cEYzYBeZa2vVMtMpYrix2dwJSYexLdOkszhglBBD9TGLsolVF6ThzK4G-T8L8JbK55-m9tOMqohdZ-tGQeGRNXzTSjx4yp9mLxNkR5mwgb6DRUM14XbeC3xnRdoDxJ8QuMaLZAArElohdPbn_FaOIXbqgBDHxDCPGPEcvamb6YjTZwWwwZjohGVQIoOdC7mwZZzlsOWlsgY8og4cFgBGN3vgbpL9g8EyD7bXa6XRU2J4H5xeBO_PI22JENfMOuDOP0or1iBDv0AcQ1vOk2RPNnhzgnPrPXEqoeF_bl1wbp0OwuF3PLFfr5wC-Q9ORQ-45DDrMCt3yUnC3OLZrxK8Al2ZeVHOfnbNxI6Eud4wXb81C84s9S7f-Hgeefbn7EiaOLcr9xWou4DC5OMS39bg2EVv26l61j8ppwRbEqQhaOw3dYnjgtSxH1-FSNqCMbBU28ufIYGEMaOvGKi5rKN00RDPTCwFQQolotmyV0GDhh9OFLR5Ay8rhdwX2YojkheQr1RorxWUj7ZVCNBP2acy8XK_MbDbzv_JxzGU9L3QF1v-WNeBb22q-gt-V_L8e9G3fudo0W7v7vpRE2Tb3Xn-9XNxeYtMXrkBxXPQrrMGRu7ieXjAwVyWWStR9CdiuAQvNzRoXXNz7YIziby0X97jsm-45Ok6z_Fq3K80bZ3HfgLJOidcq4jalMYLJExn-RYSUEamiDHtdvcfNxgxfrrVU1kv_4bFBsx2R5o93rbEaeINo6pwmlfUpxeWYq8dW35vOT7pyFb50V6kQvdoq6CrEU0QIrbIqcvVop18U6keqqIhf0u-mV7dypXj9X1yVNWgzFraPqzCPijhQgU5cFCUixoEwRLOTLc4TEYpje-IKmGd5LOKRb2-0g5AsEL0yG2OhGX4O3--6mtuq1c2s3HgaJyIjLI7iiYg4FDGPAMg7Rdi1Bl5OJNAcgAQSkkBCygWL3ylBhLxpGrM45J1OeBfz5J0OOuDN5knomfl-rBNaZSzO8LbTYosSLJf1CL172Y1J6Bs0rd7cDhHPduQLa7UsegsjNGairctZdAJQ4gwIi8Olke3ryuKEFiTe0_WGq3sof_j8-2PTwREztqnPgP7MDSC2PM7CLe3d3WPj-9ynHEZpxyc4ojENh0S3a95B6aUNhJpLO1QexBYumbPlLi8stOabG6jcYKtW2H34riow4ED1XcAc7V4k3fZk2SoLTxbRha8Lv07Wx-FAOeMFCaGbT-GQV-QVOOz8tp_K_yJb8mq3xF3SD6oSnfMydj0jzbhq1aZpe4MVb2Bkn48GQldzAZeuxR3MvLXcSuGBcyGbsVA03Ir1QpU38KilDdfrts9z3z2f711o5zW3FrQa52pf7XLsNwIfNTsq8yROssDsoNjFec5IEMJR-qLraim43Wr6mkXfO9DctTsjal83ZR_V2z7pTns0FG1b44D1yGCwfvDEiJSjTB5aWf5hJrvJX9uVFLy-AeNb-vfwHbGCaHxHh6-t91Crh35h7BpOiiir5gWZAJlOIkoYiH8i-ksjekKYMgYiCBMLcicrqpiSt_LNbxqg3IROv9DyAUaFO90KMOZ_Wn1fS6fyKf0ozfk8piGm4omyQiT7WYJ3Xb1VyyxUedXWpddV1pvAozew8jBKQxhd6fYnbA0a-dyC3XP8PvXghZF62apKrhyBA5cH6CkWxyIJLU5Ci-epSMRb4Vm6mw5M8uc2IrpX39Xe-jktIAmIJERPGqqXEsqPNY3fux_t9-6aG7Moefe84HWvJmA35mB9H1_5C8XrjZHmG1d8NTROQwCWuFf-ALY8cUtG8zijPKxS86m5ef5xc69lB25POsltjvTZivSX2x-mS2O-KGO13zC7AnCQT_cJBsnDjVH3a65B2S-qareL4zTAx1mehy4OW3uWpXH0Zv_zxe_xtYfOWNmsbORPuF0uF2ajRNDofestL2rY6_d2hi95Xf-mebf-77YEZ9S0AZx2w3tVlRypqq9wP7Xe0jyFOAodl08cl1TszUxx4LjhtOR2ufQKvWfuiNW3UtJvvxv4Kp-z6JsZbHSU1yR9IwQneK-sWJDIKJnkWYjEx733a7JsmkYiVC76j8qylP6TZf_kLEsnXV9KMyommm1tfRE_oatOUYlnNAT5pLdLeBnFuANdtbpZ-J7ZvHH0amw53Lq7i8aDqjXXUN51VgdHJLdtrwV8W2nELo80d4enHnv3aqm_d_Ybl2po-_Y78xNcQcsoDlyRTF3B0v0FEG4VTtlbHHqq9wdPB54ajvc-91U1oP5w4vhY6a6EGiwcn8wuD_ZC0wjmz2dagtd1wcX9XaUCQ_Y8_2Es_Oss3Ol7IXkNwrrthrF6c4iy15C06yyi4UzOn0j9xba9Er1TkM_SMC9N9hNlxuL9vGS6WtqFKq-HDebWsn8TPP8t1t-rFLuyN1xPiLkgLA4T_2RTlcRlJF5eI3__Nf9xfzJRRqE_JzuoJImy4_4cuxax5kN_Mjngv7VaqpXbJb1p4ym6l1EW6h5sYgiPiiQiuOFSffjxIiEsiYKzlPCBr4jKiGQZfvGNAHxWnrMyZzk_g_MozUmUz-cpPVufu8u8LChPqjxLyyhhLMoh4SSpHLbjM3lOCWVkTuMoojSOZmleEMEEn88hnUcJQTGBhst65rw8a_XqzD8JP09jksZnNS-gNv6dMUoVPA7vaSFKUXJxps_9M_SiXxkUk1oaa3ZcrLS1f9nMhym5wMP2BHfcmOGR-vOLVsHbB70G7Pj_ya8f0LNe1-d_4LUy557_DwAA__-qe9GH">