| Issue |
128316
|
| Summary |
[MLIR]`-one-shot-bufferize=test-analysis-only` triggers Assertion Failure `idx < size()'
|
| Labels |
mlir
|
| Assignees |
|
| Reporter |
xisang0
|
Test on commit: https://github.com/llvm/llvm-project/commit/a9882bda96228ca23e166a817f93a7dbc99763cb
steps to reproduce:
```
mlir-opt test.mlir -one-shot-bufferize=test-analysis-only
```
test case:
```
module {
func.func @main(%arg0: tensor<13x21x3xf32> {bufferization.access = "read"}) -> (tensor<13x21x3xf32>, tensor<3x1xi32>) {
%1 = call @reduce_max_constant() : () -> tensor<3x1xi32>
return {__equivalent_func_args__ = [-1], __inplace_operands_attr__ = ["true"]} %arg0, %1: tensor<13x21x3xf32>, tensor<3x1xi32>
}
func.func @reduce_max_constant() -> tensor<3x1xi32> {
%cst = arith.constant dense<[[1, 2, 3], [4, 5, 6], [7, 8, 9]]> : tensor<3x3xi32>
%0 = tosa.reduce_max %cst {__inplace_operands_attr__ = ["false"], axis = 1 : i32} : (tensor<3x3xi32>) -> tensor<3x1xi32>
return {__inplace_operands_attr__ = ["true"]} %0 : tensor<3x1xi32>
}
}
```
crash trace:
```
mlir-opt: /home/workdir/llvm-project-19/llvm/include/llvm/ADT/SmallVector.h:291: reference llvm::SmallVectorTemplateCommon<llvm::StringRef>::operator[](size_type) [T = llvm::StringRef]: Assertion `idx < size()' failed.
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 /home/workdir/test.mlir -one-shot-bufferize=test-analysis-only
#0 0x0000557bbd0dc998 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (./mlir-opt+0x108a998)
#1 0x0000557bbd0da4be llvm::sys::RunSignalHandlers() (./mlir-opt+0x10884be)
#2 0x0000557bbd0dd3a8 SignalHandler(int) Signals.cpp:0:0
#3 0x000071bec347e520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
#4 0x000071bec34d29fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
#5 0x000071bec347e476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
#6 0x000071bec34647f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
#7 0x000071bec346471b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
#8 0x000071bec3475e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
#9 0x0000557bbd64ead5 void llvm::function_ref<void (mlir::Operation*)>::callback_fn<annotateOpsWithBufferizationMarkers(mlir::Operation*, mlir::bufferization::OneShotAnalysisState const&)::$_0>(long, mlir::Operation*) OneShotAnalysis.cpp:0:0
#10 0x0000557bbd1ee8de void mlir::detail::walk<mlir::ForwardIterator>(mlir::Operation*, llvm::function_ref<void (mlir::Operation*)>, mlir::WalkOrder) (./mlir-opt+0x119c8de)
#11 0x0000557bbd1ee8de void mlir::detail::walk<mlir::ForwardIterator>(mlir::Operation*, llvm::function_ref<void (mlir::Operation*)>, mlir::WalkOrder) (./mlir-opt+0x119c8de)
#12 0x0000557bbd6489e0 mlir::bufferization::analyzeOp(mlir::Operation*, mlir::bufferization::OneShotAnalysisState&, mlir::bufferization::BufferizationStatistics*) (./mlir-opt+0x15f69e0)
#13 0x0000557bbd6605c4 mlir::bufferization::insertTensorCopies(mlir::Operation*, mlir::bufferization::OneShotBufferizationOptions const&, mlir::bufferization::BufferizationStatistics*) (./mlir-opt+0x160e5c4)
#14 0x0000557bbd648ad8 mlir::bufferization::runOneShotBufferize(mlir::Operation*, mlir::bufferization::OneShotBufferizationOptions const&, mlir::bufferization::BufferizationStatistics*) (./mlir-opt+0x15f6ad8)
#15 0x0000557bbd61c9ce (anonymous namespace)::OneShotBufferizePass::runOnOperation() Bufferize.cpp:0:0
#16 0x0000557bc03ad3bf mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (./mlir-opt+0x435b3bf)
#17 0x0000557bc03adba2 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (./mlir-opt+0x435bba2)
#18 0x0000557bc03b034e mlir::PassManager::run(mlir::Operation*) (./mlir-opt+0x435e34e)
#19 0x0000557bc03a8e6b performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#20 0x0000557bc03a8acb 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
#21 0x0000557bc0451df5 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) (./mlir-opt+0x43ffdf5)
#22 0x0000557bc03a39b2 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (./mlir-opt+0x43519b2)
#23 0x0000557bc03a3c63 mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (./mlir-opt+0x4351c63)
#24 0x0000557bc03a3e72 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (./mlir-opt+0x4351e72)
#25 0x0000557bbd0bbc27 main (./mlir-opt+0x1069c27)
#26 0x000071bec3465d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#27 0x000071bec3465e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#28 0x0000557bbd0bb795 _start (./mlir-opt+0x1069795)
Aborted (core dumped)
```
![]()
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
