| Issue |
131093
|
| Summary |
[MLIR] crashed on legalizeVectorType() with assertion failure: `isa<To>(Val) && "cast<Ty>() argument of incompatible type!"'
|
| Labels |
mlir
|
| Assignees |
|
| Reporter |
sweead
|
Test commit: https://github.com/llvm/llvm-project/commit/9e91725fd4d4ee30e98ab2682f93b423590a4ade
Steps to reproduce:
```shell
mlir-opt test.mlir -test-math-to-vcix
```
Test case:
```mlir
#map = affine_map<(d0) -> (d0)>
#map1 = affine_map<(d0) -> (d0 + 1)>
module {
func.func @main(%arg0: tensor<1x8x9xf32>, %arg1: tensor<1x8x9xf32>) {
%1 = llvm.mlir.constant(8 : index) : i64
%2 = llvm.mlir.constant(9 : index) : i64
%15 = bufferization.to_memref %arg1 : tensor<1x8x9xf32> to memref<1x8x9xf32, strided<[?, ?, ?], offset: ?>>
%16 = bufferization.to_memref %arg0 : tensor<1x8x9xf32> to memref<1x8x9xf32, strided<[?, ?, ?], offset: ?>>
%alloc = memref.alloc() {alignment = 64 : i64} : memref<1x8x9xf32>
%alloc_0 = memref.alloc() {alignment = 64 : i64} : memref<1x8x9xf32>
%17 = builtin.unrealized_conversion_cast %1 : i64 to index
%18 = builtin.unrealized_conversion_cast %2 : i64 to index
affine.for %arg7 = 0 to 1 {
affine.for %arg8 = 0 to 8 {
affine.for %arg9 = 0 to 9 {
affine.for %arg10 = 0 to 8 {
affine.for %arg11 = 0 to 9 {
affine.for %arg12 = #map(%arg7) to #map1(%arg7) {
affine.for %arg13 = #map(%arg8) to #map1(%arg8) {
affine.for %arg14 = #map(%arg9) to #map1(%arg9) {
affine.for %arg15 = #map(%arg10) to #map1(%arg10) {
affine.for %arg16 = #map(%arg11) to #map1(%arg11) {
%25 = affine.load %16[%arg12, %arg15, %arg16] : memref<1x8x9xf32, strided<[?, ?, ?], offset: ?>>
%26 = affine.load %15[%arg12, %arg15, %arg16] : memref<1x8x9xf32, strided<[?, ?, ?], offset: ?>>
%27 = affine.load %alloc[%arg12, %arg13, %arg14] : memref<1x8x9xf32>
%29 = index.mul %arg15, %arg13
%30 = index.mul %arg16, %arg14
%31 = index.remu %29, %17
%32 = builtin.unrealized_conversion_cast %31 : index to i64
%33 = index.remu %30, %18
%34 = builtin.unrealized_conversion_cast %33 : index to i64
%35 = llvm.trunc %32 : i64 to i32
%36 = llvm.uitofp %35 : i32 to f32
%43 = math.cos %36 : f32
affine.store %43, %alloc[%arg12, %arg13, %arg14] : memref<1x8x9xf32>
affine.store %43, %alloc_0[%arg12, %arg13, %arg14] : memref<1x8x9xf32>
}
}
}
}
}
}
}
}
}
}
return
}
}
```
Crash trace:
```console
mlir-opt: /home/workdir/llvm-project/llvm/include/llvm/Support/Casting.h:566: decltype(auto) llvm::cast(const From &) [To = mlir::VectorType, From = mlir::Type]: Assertion `isa<To>(Val) && "cast<Ty>() argument of incompatible 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: /home/workdir/llvm-project/build/bin/./mlir-opt test.mlir -test-math-to-vcix
#0 0x000055c0b7628228 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x12d1228)
#1 0x000055c0b7625d4e llvm::sys::RunSignalHandlers() (/home/workdir/llvm-project/build/bin/./mlir-opt+0x12ced4e)
#2 0x000055c0b7628c31 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
#3 0x00007fc8d0441520 (/lib/x86_64-linux-gnu/libc.so.6+0x42520)
#4 0x00007fc8d04959fc pthread_kill (/lib/x86_64-linux-gnu/libc.so.6+0x969fc)
#5 0x00007fc8d0441476 gsignal (/lib/x86_64-linux-gnu/libc.so.6+0x42476)
#6 0x00007fc8d04277f3 abort (/lib/x86_64-linux-gnu/libc.so.6+0x287f3)
#7 0x00007fc8d042771b (/lib/x86_64-linux-gnu/libc.so.6+0x2871b)
#8 0x00007fc8d0438e96 (/lib/x86_64-linux-gnu/libc.so.6+0x39e96)
#9 0x000055c0ba905298 mlir::(anonymous namespace)::legalizeVectorType(mlir::Type const&) TestMathToVCIXConversion.cpp:0:0
#10 0x000055c0ba905a61 mlir::(anonymous namespace)::MathSinToVCIX::matchAndRewrite(mlir::math::SinOp, mlir::PatternRewriter&) const TestMathToVCIXConversion.cpp:0:0
#11 0x000055c0bcecbd52 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 0x000055c0bcec8a4f 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&)>) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x6b71a4f)
#13 0x000055c0ba79c42a (anonymous namespace)::GreedyPatternRewriteDriver::processWorklist() GreedyPatternRewriteDriver.cpp:0:0
#14 0x000055c0ba798c73 mlir::applyPatternsGreedily(mlir::Region&, mlir::FrozenRewritePatternSet const&, mlir::GreedyRewriteConfig, bool*) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x4441c73)
#15 0x000055c0ba90467b mlir::(anonymous namespace)::TestMathToVCIX::runOnOperation() TestMathToVCIXConversion.cpp:0:0
#16 0x000055c0ba71ecd3 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x43c7cd3)
#17 0x000055c0ba71f572 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x43c8572)
#18 0x000055c0ba7259be auto void mlir::parallelForEach<__gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>, mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::$_0>(mlir::MLIRContext*, __gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>, __gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>, mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::$_0&&)::'lambda'(__gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>&&)::operator()<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo&>(__gnu_cxx::__normal_iterator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo*, std::vector<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo, std::allocator<mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool)::OpPMInfo>>>&&) const Pass.cpp:0:0
#19 0x000055c0ba720dcb mlir::detail::OpToOpPassAdaptor::runOnOperationAsyncImpl(bool) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x43c9dcb)
#20 0x000055c0ba71ee2c mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x43c7e2c)
#21 0x000055c0ba71f572 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x43c8572)
#22 0x000055c0ba721d4e mlir::PassManager::run(mlir::Operation*) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x43cad4e)
#23 0x000055c0ba71a2cb performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#24 0x000055c0ba719f23 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
#25 0x000055c0ba7c5475 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) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x446e475)
#26 0x000055c0ba713b82 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x43bcb82)
#27 0x000055c0ba713e33 mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x43bce33)
#28 0x000055c0ba714042 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/home/workdir/llvm-project/build/bin/./mlir-opt+0x43bd042)
#29 0x000055c0b76079af main (/home/workdir/llvm-project/build/bin/./mlir-opt+0x12b09af)
#30 0x00007fc8d0428d90 (/lib/x86_64-linux-gnu/libc.so.6+0x29d90)
#31 0x00007fc8d0428e40 __libc_start_main (/lib/x86_64-linux-gnu/libc.so.6+0x29e40)
#32 0x000055c0b7607505 _start (/home/workdir/llvm-project/build/bin/./mlir-opt+0x12b0505)
```
![]()
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
