| Issue |
60210
|
| Summary |
[mlir] Test-transform-dialect-interpreter Pass crashed with Assertion failure "expected valid attribute name and value"
|
| Labels |
|
| Assignees |
|
| Reporter |
Colloportus0
|
MLIR built at commit https://github.com/llvm/llvm-project/commit/a0dab4950
Reproduced with:
`mlir-opt --test-transform-dialect-interpreter temp.mlir`
temp.mlir:
``` milr
#map = affine_map<(d0, d1) -> (d0, d1)>
#map1 = affine_map<(d0, d1) -> (d0)>
module {
func.func @func(%arg0: tensor<?x?xf32>, %arg1: tensor<?xf32>) -> tensor<?xf32> {
%0 = linalg.generic {indexing_maps = [#map, #map1], iterator_types = ["parallel", "reduction"]} ins(%arg0 : tensor<?x?xf32>) outs(%arg1 : tensor<?xf32>) {
^bb0(%in: f32, %out: f32):
%1 = llvm.fmul %in, %in : f32
%2 = llvm.fadd %1, %out : f32
linalg.yield %2 : f32
} -> tensor<?xf32>
return %0 : tensor<?xf32>
}
transform.sequence failures(propagate) {
^bb0(%arg0: !pdl.operation):
%0 = transform.structured.match ops{["linalg.generic"]} in %arg0
%for_op, %fill_op, %split_linalg_op, %combining_linalg_op = transform.structured.tile_reduction_using_scf %0 by tile_sizes = [0, 5]
}
}
```
trace:
```console
Assertion failed: (name && value && "expected valid attribute name and value"), function NamedAttribute, file Attributes.cpp, line 28.
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 --test-transform-dialect-interpreter temp.mlir
Stack dump without symbol names (ensure you have llvm-symbolizer in your PATH or set the environment var `LLVM_SYMBOLIZER_PATH` to point to it):
0 mlir-opt 0x0000000104f386b8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) + 56
1 mlir-opt 0x0000000104f37720 llvm::sys::RunSignalHandlers() + 112
2 mlir-opt 0x0000000104f38d50 SignalHandler(int) + 344
3 libsystem_platform.dylib 0x00000001aad414c4 _sigtramp + 56
4 libsystem_pthread.dylib 0x00000001aad29ee0 pthread_kill + 288
5 libsystem_c.dylib 0x00000001aac64340 abort + 168
6 libsystem_c.dylib 0x00000001aac63754 err + 0
7 mlir-opt 0x0000000106cfc888 mlir::NamedAttribute::NamedAttribute(mlir::StringAttr, mlir::Attribute) (.cold.2) + 0
8 mlir-opt 0x0000000106643598 mlir::NamedAttribute::NamedAttribute(mlir::StringAttr, mlir::Attribute) + 72
9 mlir-opt 0x0000000105027058 mlir::arith::ConstantOp::build(mlir::OpBuilder&, mlir::OperationState&, mlir::TypedAttr) + 172
10 mlir-opt 0x000000010509bd64 mlir::arith::ConstantOp mlir::OpBuilder::create<mlir::arith::ConstantOp, mlir::Attribute&>(mlir::Location, mlir::Attribute&) + 140
11 mlir-opt 0x00000001055a00f0 mlir::detail::PartialReductionOpInterfaceInterfaceTraits::FallbackModel<(anonymous namespace)::LinalgOpPartialReductionInterface<mlir::linalg::GenericOp>>::generateInitialTensorForPartialReduction(mlir::detail::PartialReductionOpInterfaceInterfaceTraits::Concept const*, mlir::Operation*, mlir::OpBuilder&, mlir::Location, llvm::ArrayRef<mlir::OpFoldResult>, llvm::ArrayRef<int>) + 1228
12 mlir-opt 0x0000000105a7d444 mlir::scf::tileReductionUsingScf(mlir::PatternRewriter&, mlir::PartialReductionOpInterface, llvm::ArrayRef<mlir::OpFoldResult>) + 900
13 mlir-opt 0x00000001054c1300 mlir::transform::TileReductionUsingScfOp::applyToOne(mlir::linalg::LinalgOp, mlir::transform::ApplyToEachResultList&, mlir::transform::TransformState&) + 236
14 mlir-opt 0x0000000105503aac mlir::DiagnosedSilenceableFailure mlir::transform::detail::applyTransformToEach<mlir::transform::TileReductionUsingScfOp>(mlir::transform::TileReductionUsingScfOp, llvm::ArrayRef<mlir::Operation*>, llvm::SmallVectorImpl<mlir::transform::ApplyToEachResultList>&, mlir::transform::TransformState&) + 272
15 mlir-opt 0x000000010550365c mlir::transform::TransformEachOpTrait<mlir::transform::TileReductionUsingScfOp>::apply(mlir::transform::TransformResults&, mlir::transform::TransformState&) + 224
16 mlir-opt 0x000000010550330c mlir::transform::detail::TransformOpInterfaceInterfaceTraits::Model<mlir::transform::TileReductionUsingScfOp>::apply(mlir::transform::detail::TransformOpInterfaceInterfaceTraits::Concept const*, mlir::Operation*, mlir::transform::TransformResults&, mlir::transform::TransformState&) + 72
17 mlir-opt 0x0000000105f121f4 mlir::transform::TransformState::applyTransform(mlir::transform::TransformOpInterface) + 1232
18 mlir-opt 0x0000000105f25640 mlir::transform::SequenceOp::apply(mlir::transform::TransformResults&, mlir::transform::TransformState&) + 356
19 mlir-opt 0x0000000105f0bf40 mlir::transform::detail::TransformOpInterfaceInterfaceTraits::Model<mlir::transform::SequenceOp>::apply(mlir::transform::detail::TransformOpInterfaceInterfaceTraits::Concept const*, mlir::Operation*, mlir::transform::TransformResults&, mlir::transform::TransformState&) + 72
20 mlir-opt 0x0000000105f121f4 mlir::transform::TransformState::applyTransform(mlir::transform::TransformOpInterface) + 1232
21 mlir-opt 0x0000000105f14ef0 mlir::transform::applyTransforms(mlir::Operation*, mlir::transform::TransformOpInterface, mlir::transform::TransformOptions const&) + 148
22 mlir-opt 0x0000000106579d60 (anonymous namespace)::TestTransformDialectInterpreterPass::runOnOperation() + 256
23 mlir-opt 0x00000001065b4428 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) + 428
24 mlir-opt 0x00000001065b4958 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) + 320
25 mlir-opt 0x00000001065b62d4 mlir::PassManager::run(mlir::Operation*) + 1148
26 mlir-opt 0x00000001065af698 performActions(llvm::raw_ostream&, bool, bool, std::__1::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, llvm::function_ref<mlir::LogicalResult (mlir::PassManager&)>, bool, bool) + 504
27 mlir-opt 0x00000001065af268 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>>, llvm::function_ref<mlir::LogicalResult (mlir::PassManager&)>, mlir::DialectRegistry&, bool, bool, bool, bool, bool, bool, bool)::$_0>(long, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&) + 704
28 mlir-opt 0x0000000106619f5c 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) + 656
29 mlir-opt 0x00000001065ad690 mlir::MlirOptMain(llvm::raw_ostream&, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::function_ref<mlir::LogicalResult (mlir::PassManager&)>, mlir::DialectRegistry&, bool, bool, bool, bool, bool, bool, bool) + 216
30 mlir-opt 0x00000001065adb84 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&, bool) + 1208
31 mlir-opt 0x0000000104ddaae4 main + 108
32 dyld 0x000000010a01d088 start + 516
```
![]()
_______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
