[mlir] mlir::linalg::ReduceOp::parse crashes

[Anonymous7i0em3yd]

git version: 59fd287

system: Ubuntu 18.04.6 LTS

reproduce with: mlir-opt a.mlir

a.mlir:

module {
  func.func @add_dynamic(%arg0: memref<3x4x5xf32>, %arg1 : memref< 3x4x5xi32>, %arg2: memref<3x4x5xf32>, %arg3: memref<3x4x5xf32>) attributes {arm_streaming} {
    linalg.add ins(%arg0, %arg1 : memref<3x4x5xf32>, memref< 3x4x5xi32>) outs(%arg2 : memref<3x4x5xf32>)
    return
  }
}

stack trace:

unsupported non numeric type
UNREACHABLE executed at /data/szy/MLIR/llvm-project/mlir/lib/Dialect/Linalg/IR/LinalgOps.cpp:467!
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: /data/szy/MLIR/llvm-project/install/bin/mlir-opt --split-input-file /data/szy/MLIR/seed/seed19/tmp.ObMmrsq6VK.mlir
1.      MLIR Parser: custom op parser 'builtin.module'
2.      MLIR Parser: custom op parser 'func.func'
3.      MLIR Parser: custom op parser 'linalg.add'
 #0 0x000055e72378adb8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x11bddb8)
 #1 0x000055e7237888be llvm::sys::RunSignalHandlers() (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x11bb8be)
 #2 0x000055e72378b736 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
 #3 0x00007f182941f420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
 #4 0x00007f1828a5c00b raise /build/glibc-LcI20x/glibc-2.31/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
 #5 0x00007f1828a3b859 abort /build/glibc-LcI20x/glibc-2.31/stdlib/abort.c:81:7
 #6 0x000055e723771f3f (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x11a4f3f)
 #7 0x000055e72403a8fd (anonymous namespace)::RegionBuilderHelper::buildBinaryFn(mlir::linalg::BinaryFn, mlir::Value, mlir::Value) LinalgOps.cpp:0:0
 #8 0x000055e72403b339 mlir::linalg::AddOp::regionBuilder(mlir::ImplicitLocOpBuilder&, mlir::Block&, llvm::ArrayRef<mlir::NamedAttribute>) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x1a6e339)
 #9 0x000055e724156c1d void llvm::function_ref<void (mlir::ImplicitLocOpBuilder&, mlir::Block&, llvm::ArrayRef<mlir::NamedAttribute>)>::callback_fn<std::function<void (mlir::ImplicitLocOpBuilder&, mlir::Block&, llvm::ArrayRef<mlir::NamedAttribute>)>>(long, mlir::ImplicitLocOpBuilder&, mlir::Block&, llvm::ArrayRef<mlir::NamedAttribute>) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x1b89c1d)
#10 0x000055e724140f33 fillStructuredOpRegion(mlir::OpBuilder&, mlir::Region&, mlir::TypeRange, mlir::TypeRange, llvm::ArrayRef<mlir::NamedAttribute>, llvm::function_ref<void (mlir::ImplicitLocOpBuilder&, mlir::Block&, llvm::ArrayRef<mlir::NamedAttribute>)>) LinalgOps.cpp:0:0
#11 0x000055e72402f573 parseNamedStructuredOp(mlir::OpAsmParser&, mlir::OperationState&, unsigned int, llvm::function_ref<void (mlir::ImplicitLocOpBuilder&, mlir::Block&, llvm::ArrayRef<mlir::NamedAttribute>)>) LinalgOps.cpp:0:0
#12 0x000055e72403b4cc mlir::linalg::AddOp::parse(mlir::OpAsmParser&, mlir::OperationState&) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x1a6e4cc)
#13 0x000055e7298f37e4 (anonymous namespace)::OperationParser::parseOperation() Parser.cpp:0:0
#14 0x000055e7298fe9a4 (anonymous namespace)::OperationParser::parseBlock(mlir::Block*&) Parser.cpp:0:0
#15 0x000055e7298fc85c (anonymous namespace)::OperationParser::parseRegion(mlir::Region&, llvm::ArrayRef<mlir::OpAsmParser::Argument>, bool) Parser.cpp:0:0
#16 0x000055e7298faacc (anonymous namespace)::CustomOpAsmParser::parseOptionalRegion(mlir::Region&, llvm::ArrayRef<mlir::OpAsmParser::Argument>, bool) Parser.cpp:0:0
#17 0x000055e7299fce32 mlir::function_interface_impl::parseFunctionOp(mlir::OpAsmParser&, mlir::OperationState&, bool, mlir::StringAttr, llvm::function_ref<mlir::Type (mlir::Builder&, llvm::ArrayRef<mlir::Type>, llvm::ArrayRef<mlir::Type>, mlir::function_interface_impl::VariadicFlag, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>&)>, mlir::StringAttr, mlir::StringAttr) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x742fe32)
#18 0x000055e723e0d7fa mlir::func::FuncOp::parse(mlir::OpAsmParser&, mlir::OperationState&) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x18407fa)
#19 0x000055e7298f37e4 (anonymous namespace)::OperationParser::parseOperation() Parser.cpp:0:0
#20 0x000055e7298fe9a4 (anonymous namespace)::OperationParser::parseBlock(mlir::Block*&) Parser.cpp:0:0
#21 0x000055e7298fc6d5 (anonymous namespace)::OperationParser::parseRegion(mlir::Region&, llvm::ArrayRef<mlir::OpAsmParser::Argument>, bool) Parser.cpp:0:0
#22 0x000055e7268b1b9e mlir::ModuleOp::parse(mlir::OpAsmParser&, mlir::OperationState&) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x42e4b9e)
#23 0x000055e7298f37e4 (anonymous namespace)::OperationParser::parseOperation() Parser.cpp:0:0
#24 0x000055e7298f25ad mlir::parseAsmSourceFile(llvm::SourceMgr const&, mlir::Block*, mlir::ParserConfig const&, mlir::AsmParserState*, mlir::AsmParserCodeCompleteContext*) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x73255ad)
#25 0x000055e726791f0f mlir::parseSourceFile(std::shared_ptr<llvm::SourceMgr> const&, mlir::Block*, mlir::ParserConfig const&, mlir::LocationAttr*) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x41c4f0f)
#26 0x000055e726790e8e mlir::parseSourceFileForTool(std::shared_ptr<llvm::SourceMgr> const&, mlir::ParserConfig const&, bool) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x41c3e8e)
#27 0x000055e72679067f performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#28 0x000055e7267903ed 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
#29 0x000055e72683b726 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)::$_0::operator()(llvm::StringRef) const ToolUtilities.cpp:0:0
#30 0x000055e72683b39d 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) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x426e39d)
#31 0x000055e72678a405 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x41bd405)
#32 0x000055e72678a6af mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x41bd6af)
#33 0x000055e72678a9de mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x41bd9de)
#34 0x000055e723769337 main (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x119c337)
#35 0x00007f1828a3d083 __libc_start_main /build/glibc-LcI20x/glibc-2.31/csu/../csu/libc-start.c:342:3
#36 0x000055e723768e9e _start (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x119be9e)

[llvmbot]

@llvm/issue-subscribers-mlir

Author: None (wwy6191)

git version: 59fd287

system: Ubuntu 18.04.6 LTS

reproduce with: mlir-opt --split-input-file a.mlir

a.mlir:

module {
  func.func @<!-- -->reduce_different_inputs(%arg0: tensor&lt;16xf16&gt;, %arg1: tensor&lt;?xf16&gt;) -&gt; tensor&lt;16xf16&gt; {
    %reduce = linalg.reduce ins(%arg0 : tensor&lt;16xf16&gt;) outs(%arg1 : tensor&lt;?xf16&gt;) dimensions = 0 (1) index 1 (1) (1) (1) (1) (1) (1) (1) ({ -1, 1 : tensor&lt;128xf16&gt;, -1 : tensor&lt;128xf16&gt;}) -&gt; tensor&lt;128xf16&gt;
    %reduce_0 = linalg.reduce ins(%arg0 : tensor&lt;16xf16&gt;) outs(%arg1 : tensor&lt;?xf16&gt;) dimensions = 0 (1) index 1 (1) (1) (1) (1) (1) (1) (1) ({ -1, 1 : tensor&lt;128xf16&gt;, -1 : tensor&lt;128xf16&gt;}) -&gt; tensor&lt;128xf16&gt;
    return %reduce_0 : tensor&lt;128xf16&gt;
  }
  func.func private @<!-- -->mlirAsyncRuntimeAddRef(!llvm.ptr, i64)
  func.func private @<!-- -->mlirAsyncRuntimeDropRef(!llvm.ptr, i64)
  func.func private @<!-- -->mlirAsyncRuntimeCreateToken() -&gt;!llvm.ptr
  func.func private @<!-- -->mlirAsyncRuntimeCreateValue(i64) -&gt;!llvm.ptr
  func.func private @<!-- -->mlirAsyncRuntimeCreateGroup(i64) -&gt;!llvm.ptr
  func.func private @<!-- -->mlirAsyncRuntimeEmplaceToken(!llvm.ptr)
  func.func private @<!-- -->mlirAsyncRuntimeEmplaceValue(!llvm.ptr)
  func.func private @<!-- -->mlirAsyncRuntimeSetTokenError(!llvm.ptr)
  func.func private @<!-- -->mlirAsyncRuntimeSetValueError(!llvm.ptr)
  func.func private @<!-- -->mlirAsyncRuntimeIsTokenError(!llvm.ptr) -&gt; i1
  func.func private @<!-- -->mlirAsyncRuntimeIsValueError(!llvm.ptr) -&gt; i1
  func.func private @<!-- -->mlirAsyncRuntimeIsGroupError(!llvm.ptr) -&gt; i1
  func.func private @<!-- -->mlirAsyncRuntimeAwaitToken(!llvm.ptr)
  func.func private @<!-- -->mlirAsyncRuntimeAwaitValue(!llvm.ptr)
  func.func private @<!-- -->mlirAsyncRuntimeAwaitAllInGroup(!llvm.ptr)
  func.func private @

stack trace:

within split at /data/szy/MLIR/seed/seed0/tmp.90QLPEfrIp.mlir:1 offset :3:97: error: expected '['
    %reduce = linalg.reduce ins(%arg0 : tensor<16xf16>) outs(%arg1 : tensor<?xf16>) dimensions = 0 (1) index 1 (1) (1) (1) (1) (1) (1) (1) ({ -1, 1 : tensor<128xf16>, -1 : tensor<128xf16>}) -> tensor<128xf16>
                                                                                                ^
mlir-opt: /data/szy/MLIR/llvm-project/mlir/lib/IR/OperationSupport.cpp:129: Attribute mlir::NamedAttrList::set(StringRef, Attribute): Assertion `value && "attributes may never be null"' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: /data/szy/MLIR/llvm-project/install/bin/mlir-opt --split-input-file /data/szy/MLIR/seed/seed0/tmp.90QLPEfrIp.mlir
1.      MLIR Parser: custom op parser 'builtin.module'
2.      MLIR Parser: custom op parser 'func.func'
3.      MLIR Parser: custom op parser 'linalg.reduce'
 #<!-- -->0 0x000056005f8e9db8 llvm::sys::PrintStackTrace(llvm::raw_ostream&amp;, int) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x11bddb8)
 #<!-- -->1 0x000056005f8e78be llvm::sys::RunSignalHandlers() (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x11bb8be)
 #<!-- -->2 0x000056005f8ea736 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
 #<!-- -->3 0x00007fc4e0101420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
 #<!-- -->4 0x00007fc4df73e00b raise /build/glibc-LcI20x/glibc-2.31/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
 #<!-- -->5 0x00007fc4df71d859 abort /build/glibc-LcI20x/glibc-2.31/stdlib/abort.c:81:7
 #<!-- -->6 0x00007fc4df71d729 get_sysdep_segment_value /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:509:8
 #<!-- -->7 0x00007fc4df71d729 _nl_load_domain /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:970:34
 #<!-- -->8 0x00007fc4df72efd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
 #<!-- -->9 0x0000560062a9bfc9 (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x436ffc9)
#<!-- -->10 0x00005600602b1d04 llvm::ParseResult llvm::function_ref&lt;llvm::ParseResult (mlir::OpAsmParser&amp;, mlir::NamedAttrList&amp;)&gt;::callback_fn&lt;mlir::linalg::ReduceOp::parse(mlir::OpAsmParser&amp;, mlir::OperationState&amp;)::$_0&gt;(long, mlir::OpAsmParser&amp;, mlir::NamedAttrList&amp;) LinalgOps.cpp:0:0
#<!-- -->11 0x00005600601843da parseDstStyleOp(mlir::OpAsmParser&amp;, mlir::OperationState&amp;, llvm::function_ref&lt;llvm::ParseResult (mlir::OpAsmParser&amp;, mlir::NamedAttrList&amp;)&gt;) LinalgOps.cpp:0:0
#<!-- -->12 0x0000560060187302 mlir::linalg::ReduceOp::parse(mlir::OpAsmParser&amp;, mlir::OperationState&amp;) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x1a5b302)
#<!-- -->13 0x0000560065a527e4 (anonymous namespace)::OperationParser::parseOperation() Parser.cpp:0:0
#<!-- -->14 0x0000560065a5d9a4 (anonymous namespace)::OperationParser::parseBlock(mlir::Block*&amp;) Parser.cpp:0:0
#<!-- -->15 0x0000560065a5b85c (anonymous namespace)::OperationParser::parseRegion(mlir::Region&amp;, llvm::ArrayRef&lt;mlir::OpAsmParser::Argument&gt;, bool) Parser.cpp:0:0
#<!-- -->16 0x0000560065a59acc (anonymous namespace)::CustomOpAsmParser::parseOptionalRegion(mlir::Region&amp;, llvm::ArrayRef&lt;mlir::OpAsmParser::Argument&gt;, bool) Parser.cpp:0:0
#<!-- -->17 0x0000560065b5be32 mlir::function_interface_impl::parseFunctionOp(mlir::OpAsmParser&amp;, mlir::OperationState&amp;, bool, mlir::StringAttr, llvm::function_ref&lt;mlir::Type (mlir::Builder&amp;, llvm::ArrayRef&lt;mlir::Type&gt;, llvm::ArrayRef&lt;mlir::Type&gt;, mlir::function_interface_impl::VariadicFlag, std::__cxx11::basic_string&lt;char, std::char_traits&lt;char&gt;, std::allocator&lt;char&gt;&gt;&amp;)&gt;, mlir::StringAttr, mlir::StringAttr) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x742fe32)
#<!-- -->18 0x000056005ff6c7fa mlir::func::FuncOp::parse(mlir::OpAsmParser&amp;, mlir::OperationState&amp;) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x18407fa)
#<!-- -->19 0x0000560065a527e4 (anonymous namespace)::OperationParser::parseOperation() Parser.cpp:0:0
#<!-- -->20 0x0000560065a5d9a4 (anonymous namespace)::OperationParser::parseBlock(mlir::Block*&amp;) Parser.cpp:0:0
#<!-- -->21 0x0000560065a5b6d5 (anonymous namespace)::OperationParser::parseRegion(mlir::Region&amp;, llvm::ArrayRef&lt;mlir::OpAsmParser::Argument&gt;, bool) Parser.cpp:0:0
#<!-- -->22 0x0000560062a10b9e mlir::ModuleOp::parse(mlir::OpAsmParser&amp;, mlir::OperationState&amp;) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x42e4b9e)
#<!-- -->23 0x0000560065a527e4 (anonymous namespace)::OperationParser::parseOperation() Parser.cpp:0:0
#<!-- -->24 0x0000560065a515ad mlir::parseAsmSourceFile(llvm::SourceMgr const&amp;, mlir::Block*, mlir::ParserConfig const&amp;, mlir::AsmParserState*, mlir::AsmParserCodeCompleteContext*) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x73255ad)
#<!-- -->25 0x00005600628f0f0f mlir::parseSourceFile(std::shared_ptr&lt;llvm::SourceMgr&gt; const&amp;, mlir::Block*, mlir::ParserConfig const&amp;, mlir::LocationAttr*) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x41c4f0f)
#<!-- -->26 0x00005600628efe8e mlir::parseSourceFileForTool(std::shared_ptr&lt;llvm::SourceMgr&gt; const&amp;, mlir::ParserConfig const&amp;, bool) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x41c3e8e)
#<!-- -->27 0x00005600628ef67f performActions(llvm::raw_ostream&amp;, std::shared_ptr&lt;llvm::SourceMgr&gt; const&amp;, mlir::MLIRContext*, mlir::MlirOptMainConfig const&amp;) MlirOptMain.cpp:0:0
#<!-- -->28 0x00005600628ef3ed llvm::LogicalResult llvm::function_ref&lt;llvm::LogicalResult (std::unique_ptr&lt;llvm::MemoryBuffer, std::default_delete&lt;llvm::MemoryBuffer&gt;&gt;, llvm::raw_ostream&amp;)&gt;::callback_fn&lt;mlir::MlirOptMain(llvm::raw_ostream&amp;, std::unique_ptr&lt;llvm::MemoryBuffer, std::default_delete&lt;llvm::MemoryBuffer&gt;&gt;, mlir::DialectRegistry&amp;, mlir::MlirOptMainConfig const&amp;)::$_0&gt;(long, std::unique_ptr&lt;llvm::MemoryBuffer, std::default_delete&lt;llvm::MemoryBuffer&gt;&gt;, llvm::raw_ostream&amp;) MlirOptMain.cpp:0:0
#<!-- -->29 0x000056006299a726 mlir::splitAndProcessBuffer(std::unique_ptr&lt;llvm::MemoryBuffer, std::default_delete&lt;llvm::MemoryBuffer&gt;&gt;, llvm::function_ref&lt;llvm::LogicalResult (std::unique_ptr&lt;llvm::MemoryBuffer, std::default_delete&lt;llvm::MemoryBuffer&gt;&gt;, llvm::raw_ostream&amp;)&gt;, llvm::raw_ostream&amp;, llvm::StringRef, llvm::StringRef)::$_0::operator()(llvm::StringRef) const ToolUtilities.cpp:0:0
#<!-- -->30 0x000056006299a39d mlir::splitAndProcessBuffer(std::unique_ptr&lt;llvm::MemoryBuffer, std::default_delete&lt;llvm::MemoryBuffer&gt;&gt;, llvm::function_ref&lt;llvm::LogicalResult (std::unique_ptr&lt;llvm::MemoryBuffer, std::default_delete&lt;llvm::MemoryBuffer&gt;&gt;, llvm::raw_ostream&amp;)&gt;, llvm::raw_ostream&amp;, llvm::StringRef, llvm::StringRef) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x426e39d)
#<!-- -->31 0x00005600628e9405 mlir::MlirOptMain(llvm::raw_ostream&amp;, std::unique_ptr&lt;llvm::MemoryBuffer, std::default_delete&lt;llvm::MemoryBuffer&gt;&gt;, mlir::DialectRegistry&amp;, mlir::MlirOptMainConfig const&amp;) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x41bd405)
#<!-- -->32 0x00005600628e96af mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&amp;) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x41bd6af)
#<!-- -->33 0x00005600628e99de mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&amp;) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x41bd9de)
#<!-- -->34 0x000056005f8c8337 main (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x119c337)
#<!-- -->35 0x00007fc4df71f083 __libc_start_main /build/glibc-LcI20x/glibc-2.31/csu/../csu/libc-start.c:342:3
#<!-- -->36 0x000056005f8c7e9e _start (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x119be9e)

[llvmbot]

@llvm/issue-subscribers-mlir-linalg

Author: None (wwy6191)

git version: 59fd287

system: Ubuntu 18.04.6 LTS

reproduce with: mlir-opt --split-input-file a.mlir

a.mlir:

module {
  func.func @<!-- -->reduce_different_inputs(%arg0: tensor&lt;16xf16&gt;, %arg1: tensor&lt;?xf16&gt;) -&gt; tensor&lt;16xf16&gt; {
    %reduce = linalg.reduce ins(%arg0 : tensor&lt;16xf16&gt;) outs(%arg1 : tensor&lt;?xf16&gt;) dimensions = 0 (1) index 1 (1) (1) (1) (1) (1) (1) (1) ({ -1, 1 : tensor&lt;128xf16&gt;, -1 : tensor&lt;128xf16&gt;}) -&gt; tensor&lt;128xf16&gt;
    %reduce_0 = linalg.reduce ins(%arg0 : tensor&lt;16xf16&gt;) outs(%arg1 : tensor&lt;?xf16&gt;) dimensions = 0 (1) index 1 (1) (1) (1) (1) (1) (1) (1) ({ -1, 1 : tensor&lt;128xf16&gt;, -1 : tensor&lt;128xf16&gt;}) -&gt; tensor&lt;128xf16&gt;
    return %reduce_0 : tensor&lt;128xf16&gt;
  }
  func.func private @<!-- -->mlirAsyncRuntimeAddRef(!llvm.ptr, i64)
  func.func private @<!-- -->mlirAsyncRuntimeDropRef(!llvm.ptr, i64)
  func.func private @<!-- -->mlirAsyncRuntimeCreateToken() -&gt;!llvm.ptr
  func.func private @<!-- -->mlirAsyncRuntimeCreateValue(i64) -&gt;!llvm.ptr
  func.func private @<!-- -->mlirAsyncRuntimeCreateGroup(i64) -&gt;!llvm.ptr
  func.func private @<!-- -->mlirAsyncRuntimeEmplaceToken(!llvm.ptr)
  func.func private @<!-- -->mlirAsyncRuntimeEmplaceValue(!llvm.ptr)
  func.func private @<!-- -->mlirAsyncRuntimeSetTokenError(!llvm.ptr)
  func.func private @<!-- -->mlirAsyncRuntimeSetValueError(!llvm.ptr)
  func.func private @<!-- -->mlirAsyncRuntimeIsTokenError(!llvm.ptr) -&gt; i1
  func.func private @<!-- -->mlirAsyncRuntimeIsValueError(!llvm.ptr) -&gt; i1
  func.func private @<!-- -->mlirAsyncRuntimeIsGroupError(!llvm.ptr) -&gt; i1
  func.func private @<!-- -->mlirAsyncRuntimeAwaitToken(!llvm.ptr)
  func.func private @<!-- -->mlirAsyncRuntimeAwaitValue(!llvm.ptr)
  func.func private @<!-- -->mlirAsyncRuntimeAwaitAllInGroup(!llvm.ptr)
  func.func private @

stack trace:

within split at /data/szy/MLIR/seed/seed0/tmp.90QLPEfrIp.mlir:1 offset :3:97: error: expected '['
    %reduce = linalg.reduce ins(%arg0 : tensor<16xf16>) outs(%arg1 : tensor<?xf16>) dimensions = 0 (1) index 1 (1) (1) (1) (1) (1) (1) (1) ({ -1, 1 : tensor<128xf16>, -1 : tensor<128xf16>}) -> tensor<128xf16>
                                                                                                ^
mlir-opt: /data/szy/MLIR/llvm-project/mlir/lib/IR/OperationSupport.cpp:129: Attribute mlir::NamedAttrList::set(StringRef, Attribute): Assertion `value && "attributes may never be null"' failed.
PLEASE submit a bug report to https://github.com/llvm/llvm-project/issues/ and include the crash backtrace.
Stack dump:
0.      Program arguments: /data/szy/MLIR/llvm-project/install/bin/mlir-opt --split-input-file /data/szy/MLIR/seed/seed0/tmp.90QLPEfrIp.mlir
1.      MLIR Parser: custom op parser 'builtin.module'
2.      MLIR Parser: custom op parser 'func.func'
3.      MLIR Parser: custom op parser 'linalg.reduce'
 #<!-- -->0 0x000056005f8e9db8 llvm::sys::PrintStackTrace(llvm::raw_ostream&amp;, int) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x11bddb8)
 #<!-- -->1 0x000056005f8e78be llvm::sys::RunSignalHandlers() (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x11bb8be)
 #<!-- -->2 0x000056005f8ea736 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
 #<!-- -->3 0x00007fc4e0101420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
 #<!-- -->4 0x00007fc4df73e00b raise /build/glibc-LcI20x/glibc-2.31/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
 #<!-- -->5 0x00007fc4df71d859 abort /build/glibc-LcI20x/glibc-2.31/stdlib/abort.c:81:7
 #<!-- -->6 0x00007fc4df71d729 get_sysdep_segment_value /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:509:8
 #<!-- -->7 0x00007fc4df71d729 _nl_load_domain /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:970:34
 #<!-- -->8 0x00007fc4df72efd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
 #<!-- -->9 0x0000560062a9bfc9 (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x436ffc9)
#<!-- -->10 0x00005600602b1d04 llvm::ParseResult llvm::function_ref&lt;llvm::ParseResult (mlir::OpAsmParser&amp;, mlir::NamedAttrList&amp;)&gt;::callback_fn&lt;mlir::linalg::ReduceOp::parse(mlir::OpAsmParser&amp;, mlir::OperationState&amp;)::$_0&gt;(long, mlir::OpAsmParser&amp;, mlir::NamedAttrList&amp;) LinalgOps.cpp:0:0
#<!-- -->11 0x00005600601843da parseDstStyleOp(mlir::OpAsmParser&amp;, mlir::OperationState&amp;, llvm::function_ref&lt;llvm::ParseResult (mlir::OpAsmParser&amp;, mlir::NamedAttrList&amp;)&gt;) LinalgOps.cpp:0:0
#<!-- -->12 0x0000560060187302 mlir::linalg::ReduceOp::parse(mlir::OpAsmParser&amp;, mlir::OperationState&amp;) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x1a5b302)
#<!-- -->13 0x0000560065a527e4 (anonymous namespace)::OperationParser::parseOperation() Parser.cpp:0:0
#<!-- -->14 0x0000560065a5d9a4 (anonymous namespace)::OperationParser::parseBlock(mlir::Block*&amp;) Parser.cpp:0:0
#<!-- -->15 0x0000560065a5b85c (anonymous namespace)::OperationParser::parseRegion(mlir::Region&amp;, llvm::ArrayRef&lt;mlir::OpAsmParser::Argument&gt;, bool) Parser.cpp:0:0
#<!-- -->16 0x0000560065a59acc (anonymous namespace)::CustomOpAsmParser::parseOptionalRegion(mlir::Region&amp;, llvm::ArrayRef&lt;mlir::OpAsmParser::Argument&gt;, bool) Parser.cpp:0:0
#<!-- -->17 0x0000560065b5be32 mlir::function_interface_impl::parseFunctionOp(mlir::OpAsmParser&amp;, mlir::OperationState&amp;, bool, mlir::StringAttr, llvm::function_ref&lt;mlir::Type (mlir::Builder&amp;, llvm::ArrayRef&lt;mlir::Type&gt;, llvm::ArrayRef&lt;mlir::Type&gt;, mlir::function_interface_impl::VariadicFlag, std::__cxx11::basic_string&lt;char, std::char_traits&lt;char&gt;, std::allocator&lt;char&gt;&gt;&amp;)&gt;, mlir::StringAttr, mlir::StringAttr) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x742fe32)
#<!-- -->18 0x000056005ff6c7fa mlir::func::FuncOp::parse(mlir::OpAsmParser&amp;, mlir::OperationState&amp;) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x18407fa)
#<!-- -->19 0x0000560065a527e4 (anonymous namespace)::OperationParser::parseOperation() Parser.cpp:0:0
#<!-- -->20 0x0000560065a5d9a4 (anonymous namespace)::OperationParser::parseBlock(mlir::Block*&amp;) Parser.cpp:0:0
#<!-- -->21 0x0000560065a5b6d5 (anonymous namespace)::OperationParser::parseRegion(mlir::Region&amp;, llvm::ArrayRef&lt;mlir::OpAsmParser::Argument&gt;, bool) Parser.cpp:0:0
#<!-- -->22 0x0000560062a10b9e mlir::ModuleOp::parse(mlir::OpAsmParser&amp;, mlir::OperationState&amp;) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x42e4b9e)
#<!-- -->23 0x0000560065a527e4 (anonymous namespace)::OperationParser::parseOperation() Parser.cpp:0:0
#<!-- -->24 0x0000560065a515ad mlir::parseAsmSourceFile(llvm::SourceMgr const&amp;, mlir::Block*, mlir::ParserConfig const&amp;, mlir::AsmParserState*, mlir::AsmParserCodeCompleteContext*) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x73255ad)
#<!-- -->25 0x00005600628f0f0f mlir::parseSourceFile(std::shared_ptr&lt;llvm::SourceMgr&gt; const&amp;, mlir::Block*, mlir::ParserConfig const&amp;, mlir::LocationAttr*) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x41c4f0f)
#<!-- -->26 0x00005600628efe8e mlir::parseSourceFileForTool(std::shared_ptr&lt;llvm::SourceMgr&gt; const&amp;, mlir::ParserConfig const&amp;, bool) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x41c3e8e)
#<!-- -->27 0x00005600628ef67f performActions(llvm::raw_ostream&amp;, std::shared_ptr&lt;llvm::SourceMgr&gt; const&amp;, mlir::MLIRContext*, mlir::MlirOptMainConfig const&amp;) MlirOptMain.cpp:0:0
#<!-- -->28 0x00005600628ef3ed llvm::LogicalResult llvm::function_ref&lt;llvm::LogicalResult (std::unique_ptr&lt;llvm::MemoryBuffer, std::default_delete&lt;llvm::MemoryBuffer&gt;&gt;, llvm::raw_ostream&amp;)&gt;::callback_fn&lt;mlir::MlirOptMain(llvm::raw_ostream&amp;, std::unique_ptr&lt;llvm::MemoryBuffer, std::default_delete&lt;llvm::MemoryBuffer&gt;&gt;, mlir::DialectRegistry&amp;, mlir::MlirOptMainConfig const&amp;)::$_0&gt;(long, std::unique_ptr&lt;llvm::MemoryBuffer, std::default_delete&lt;llvm::MemoryBuffer&gt;&gt;, llvm::raw_ostream&amp;) MlirOptMain.cpp:0:0
#<!-- -->29 0x000056006299a726 mlir::splitAndProcessBuffer(std::unique_ptr&lt;llvm::MemoryBuffer, std::default_delete&lt;llvm::MemoryBuffer&gt;&gt;, llvm::function_ref&lt;llvm::LogicalResult (std::unique_ptr&lt;llvm::MemoryBuffer, std::default_delete&lt;llvm::MemoryBuffer&gt;&gt;, llvm::raw_ostream&amp;)&gt;, llvm::raw_ostream&amp;, llvm::StringRef, llvm::StringRef)::$_0::operator()(llvm::StringRef) const ToolUtilities.cpp:0:0
#<!-- -->30 0x000056006299a39d mlir::splitAndProcessBuffer(std::unique_ptr&lt;llvm::MemoryBuffer, std::default_delete&lt;llvm::MemoryBuffer&gt;&gt;, llvm::function_ref&lt;llvm::LogicalResult (std::unique_ptr&lt;llvm::MemoryBuffer, std::default_delete&lt;llvm::MemoryBuffer&gt;&gt;, llvm::raw_ostream&amp;)&gt;, llvm::raw_ostream&amp;, llvm::StringRef, llvm::StringRef) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x426e39d)
#<!-- -->31 0x00005600628e9405 mlir::MlirOptMain(llvm::raw_ostream&amp;, std::unique_ptr&lt;llvm::MemoryBuffer, std::default_delete&lt;llvm::MemoryBuffer&gt;&gt;, mlir::DialectRegistry&amp;, mlir::MlirOptMainConfig const&amp;) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x41bd405)
#<!-- -->32 0x00005600628e96af mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&amp;) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x41bd6af)
#<!-- -->33 0x00005600628e99de mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&amp;) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x41bd9de)
#<!-- -->34 0x000056005f8c8337 main (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x119c337)
#<!-- -->35 0x00007fc4df71f083 __libc_start_main /build/glibc-LcI20x/glibc-2.31/csu/../csu/libc-start.c:342:3
#<!-- -->36 0x000056005f8c7e9e _start (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x119be9e)

[joker-eph]

Adjusting the title: the crash is unrelated to --split-input-file, it is a parser crash.

Also @wwy6191 : you provided a truncated input again, you probably need to fix your script somehow. And your input test case could be reduced further by removing all the function declarations keeping only the first one, and removing the unused first op:

  func.func @reduce_different_inputs(%arg0: tensor<16xf16>, %arg1: tensor<?xf16>) -> tensor<16xf16> {
    %reduce_0 = linalg.reduce ins(%arg0 : tensor<16xf16>) outs(%arg1 : tensor<?xf16>) dimensions = 0 (1) index 1 (1) (1) (1) (1) (1) (1) (1) ({ -1, 1 : tensor<128xf16>, -1 : tensor<128xf16>}) -> tensor<128xf16>
    return %reduce_0 : tensor<128xf16>
  }

[Anonymous7i0em3yd]

Adjusting the title: the crash is unrelated to --split-input-file, it is a parser crash.

Also @wwy6191 : you provided a truncated input again, you probably need to fix your script somehow. And your input test case could be reduced further by removing all the function declarations keeping only the first one, and removing the unused first op:

  func.func @reduce_different_inputs(%arg0: tensor<16xf16>, %arg1: tensor<?xf16>) -> tensor<16xf16> {
    %reduce_0 = linalg.reduce ins(%arg0 : tensor<16xf16>) outs(%arg1 : tensor<?xf16>) dimensions = 0 (1) index 1 (1) (1) (1) (1) (1) (1) (1) ({ -1, 1 : tensor<128xf16>, -1 : tensor<128xf16>}) -> tensor<128xf16>
    return %reduce_0 : tensor<128xf16>
  }

@joker-eph My clipboard seems to be broken, sry. Text edited.

[CoTinker]

Actually the Op now is linalg.add, not linalg.reduce.

[joker-eph]

The initial report was for an IR with reduce, this is confusing. There is already #132755 to cover the AddOp crash, should we update the description in this one for the Reduce issue?