Issue 202797
Summary [mlir] mlir-opt crashes with assertion `Index < size() && "invalid index for value range"' failed at llvm/ADT/STLExtras.h:1248.
Labels
Assignees
Reporter Aran-414
    git version: d33b8093ce336b92d01f55033aed7021f5244eec

MLIR Program:
```mlir
module {
  func.func @m0() -> i32 {
    %0:2 = scf.while : () -> (i32, i64) {
      %1 = "test.condition"() : () -> i1
      %2 = "test.get_some_value"() : () -> i32
      %3 = "test.get_some_value"() : () -> i64
      scf.condition(%1) %2, %3 : i32, i64
    } do {
 ^bb0(%arg0: i32, %arg1: i64):
      scf.yield
    }
    return %0#0 : i32
  }
}
```

Reproduce Command: `mlir-opt -xegpu-blocking a.mlir`

StackTrace:
```
mlir-opt: /data2/dependency/dev/llvm-project/llvm/include/llvm/ADT/STLExtras.h:1248: ReferenceT llvm::detail::indexed_accessor_range_base<DerivedT, BaseT, T, PointerT, ReferenceT>::operator[](size_t) const [with DerivedT = mlir::OperandRange; BaseT = mlir::OpOperand*; T = mlir::Value; PointerT = mlir::Value; ReferenceT = mlir::Value; size_t = long unsigned int]: Assertion `Index < size() && "invalid index for value range"' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace and instructions to reproduce the bug.
Stack dump:
0. Program arguments: /data2/dependency/dev/llvm-project/build/bin/mlir-opt -xegpu-blocking a.mlir
 #0 0x000055e7f098fbcf llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0x25ccbcf)
 #1 0x000055e7f098c29c llvm::sys::RunSignalHandlers() (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0x25c929c)
 #2 0x000055e7f098c437 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
 #3 0x00007fa34fc2a420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
 #4 0x00007fa34f71500b raise (/lib/x86_64-linux-gnu/libc.so.6+0x4300b)
 #5 0x00007fa34f6f4859 abort (/lib/x86_64-linux-gnu/libc.so.6+0x22859)
 #6 0x00007fa34f6f4729 (/lib/x86_64-linux-gnu/libc.so.6+0x22729)
 #7 0x00007fa34f705fd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
 #8 0x000055e7f559a4c9 _ZN4llvm12function_refIFvPN4mlir9OperationEEE11callback_fnIZNS1_6detail4walkILNS1_9WalkOrderE1ENS1_15ForwardIteratorEZNS1_5xegpu43doSCFStructuralTypeConversionWithTensorTypeES3_NS1_13TypeConverterEEUlNS1_3scf7YieldOpEE3_SE_vEENSt9enable_ifIXaantsrSt11disjunctionIJSt7is_sameIT2_S3_ESI_ISJ_PNS1_6RegionEESI_ISJ_PNS1_5BlockEEEE5valuesrSI_IT3_vE5valueESS_E4typeES3_OT1_EUlS3_E_EEvlS3_ XeGPUUtils.cpp:0:0
 #9 0x000055e7f559942c void mlir::detail::walk<mlir::ForwardIterator>(mlir::Operation*, llvm::function_ref<void (mlir::Operation*)>, mlir::WalkOrder) (.constprop.1) XeGPUUtils.cpp:0:0
#10 0x000055e7f559942c void mlir::detail::walk<mlir::ForwardIterator>(mlir::Operation*, llvm::function_ref<void (mlir::Operation*)>, mlir::WalkOrder) (.constprop.1) XeGPUUtils.cpp:0:0
#11 0x000055e7f55a2360 mlir::xegpu::doSCFStructuralTypeConversionWithTensorType(mlir::Operation*, mlir::TypeConverter) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0x71df360)
#12 0x000055e7f551a0d0 (anonymous namespace)::XeGPUBlockingPass::runOnOperation() XeGPUBlocking.cpp:0:0
#13 0x000055e7f9723f01 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0xb360f01)
#14 0x000055e7f9724290 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0xb361290)
#15 0x000055e7f9726344 mlir::PassManager::runPasses(mlir::Operation*, mlir::AnalysisManager) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0xb363344)
#16 0x000055e7f97273d1 mlir::PassManager::run(mlir::Operation*) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0xb3643d1)
#17 0x000055e7f0a573cb performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#18 0x000055e7f0a57e73 processBuffer(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::MemoryBufferRef, mlir::MlirOptMainConfig const&, mlir::DialectRegistry&, mlir::SourceMgrDiagnosticVerifierHandler*, llvm::ThreadPoolInterface*) MlirOptMain.cpp:0:0
#19 0x000055e7f0a580fb llvm::LogicalResult llvm::function_ref<llvm::LogicalResult (std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::MemoryBufferRef const&, 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::MemoryBufferRef, llvm::raw_ostream&)>(long, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, llvm::MemoryBufferRef const&, llvm::raw_ostream&) MlirOptMain.cpp:0:0
#20 0x000055e7f9b02e45 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::MemoryBufferRef const&, llvm::raw_ostream&)>, llvm::raw_ostream&, llvm::StringRef, llvm::StringRef) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0xb73fe45)
#21 0x000055e7f0a4df54 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (.part.0) MlirOptMain.cpp:0:0
#22 0x000055e7f0a58617 mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0x2695617)
#23 0x000055e7f0a58853 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0x2695853)
#24 0x000055e7f088dadc main (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0x24caadc)
#25 0x00007fa34f6f6083 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x24083)
#26 0x000055e7f096c0ce _start (/data2/dependency/dev/llvm-project/build/bin/mlir-opt+0x25a90ce)
Aborted (core dumped)
```
_______________________________________________
llvm-bugs mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs

Reply via email to