<table border="1" cellspacing="0" cellpadding="8">
    <tr>
        <th>Issue</th>
        <td>
            <a href=https://github.com/llvm/llvm-project/issues/132747>132747</a>
        </td>
    </tr>

    <tr>
        <th>Summary</th>
        <td>
            [mlir]  -split-input-file crashes
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Assignees</th>
      <td>
      </td>
    </tr>

    <tr>
      <th>Reporter</th>
      <td>
          wwy6191
      </td>
    </tr>
</table>

<pre>
    git version: 59fd2878fce470f02058f43d4b818ed68ce04094

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<16xf16>, %arg1: tensor<?xf16>) -> tensor<16xf16> {
    %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>
    %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>
  }
  func.func private @mlirAsyncRuntimeAddRef(!llvm.ptr, i64)
  func.func private @mlirAsyncRuntimeDropRef(!llvm.ptr, i64)
  func.func private @mlirAsyncRuntimeCreateToken() ->!llvm.ptr
  func.func private @mlirAsyncRuntimeCreateValue(i64) ->!llvm.ptr
  func.func private @mlirAsyncRuntimeCreateGroup(i64) ->!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) -> i1
  func.func private @mlirAsyncRuntimeIsValueError(!llvm.ptr) -> i1
  func.func private @mlirAsyncRuntimeIsGroupError(!llvm.ptr) -> 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&, 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<llvm::ParseResult (mlir::OpAsmParser&, mlir::NamedAttrList&)>::callback_fn<mlir::linalg::ReduceOp::parse(mlir::OpAsmParser&, mlir::OperationState&)::$_0>(long, mlir::OpAsmParser&, mlir::NamedAttrList&) LinalgOps.cpp:0:0
#11 0x00005600601843da parseDstStyleOp(mlir::OpAsmParser&, mlir::OperationState&, llvm::function_ref<llvm::ParseResult (mlir::OpAsmParser&, mlir::NamedAttrList&)>) LinalgOps.cpp:0:0
#12 0x0000560060187302 mlir::linalg::ReduceOp::parse(mlir::OpAsmParser&, mlir::OperationState&) (/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*&) Parser.cpp:0:0
#15 0x0000560065a5b85c (anonymous namespace)::OperationParser::parseRegion(mlir::Region&, llvm::ArrayRef<mlir::OpAsmParser::Argument>, bool) Parser.cpp:0:0
#16 0x0000560065a59acc (anonymous namespace)::CustomOpAsmParser::parseOptionalRegion(mlir::Region&, llvm::ArrayRef<mlir::OpAsmParser::Argument>, bool) Parser.cpp:0:0
#17 0x0000560065b5be32 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 0x000056005ff6c7fa mlir::func::FuncOp::parse(mlir::OpAsmParser&, mlir::OperationState&) (/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*&) Parser.cpp:0:0
#21 0x0000560065a5b6d5 (anonymous namespace)::OperationParser::parseRegion(mlir::Region&, llvm::ArrayRef<mlir::OpAsmParser::Argument>, bool) Parser.cpp:0:0
#22 0x0000560062a10b9e mlir::ModuleOp::parse(mlir::OpAsmParser&, mlir::OperationState&) (/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&, mlir::Block*, mlir::ParserConfig const&, mlir::AsmParserState*, mlir::AsmParserCodeCompleteContext*) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x73255ad)
#25 0x00005600628f0f0f 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 0x00005600628efe8e mlir::parseSourceFileForTool(std::shared_ptr<llvm::SourceMgr> const&, mlir::ParserConfig const&, bool) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x41c3e8e)
#27 0x00005600628ef67f performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#28 0x00005600628ef3ed 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 0x000056006299a726 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 0x000056006299a39d 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 0x00005600628e9405 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 0x00005600628e96af mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x41bd6af)
#33 0x00005600628e99de mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/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)
``` 
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzsWllz27oV_jXwC8YaEOD64AdGsdrMOE1q595XDkgcymi4FQAdq7--A5CSSEW2FVu9ye3cTBKRWM7ynZUEudZy3QBcoeAdCt5f8N7ct-rq27dN6CXeRd6KzdVaGvwASsu2QSzFQVIKGkdxWYAfkZJQEsSlz4Sfx14MIowLID5JfERSRFK90QZquw-F5Le8b0yPvXhB_EWIb77coZAM6xR0qhV9AfibNPfj-rqS6rLtDMaXl7qrpLmUTdeby1JWgPnCTu8IIJKOI3YvSe2E-2tv6lb0FWAUvUMkxbjsm2Jh_8PIJwos20zIsgQFjckcD41ojGjA1ZpYggYa3SrEll74WHohYteILvGwwJstQGy1W5HgS8Suj2zeSYItjUECjNh7XMmGV-vFOCKbiRj4KTkS3E7l9fAz8ghZQ2MtqR07ghGNPTshGwGP2Nvdv-IXRe_wpWdxORDBo_EEtMunZ6P3RzDbTx8AlpG_IDsNMgWmV80Bcsfp2Q2W6DxMOiUfuAEbLjbEUr1pitu-MbKGVIhbKB2UXlU91IvOKCuzDH1Ek9PpvFdtdxZCSwXcwJf2KzSO2IDOlOgPkvqdVz0gGg-CvJXa31Tbd2egdl13FS8mek5A-wG0RjJbHV9L5g6Mk-RaqVa9jY4T5a10PuhnxBnCRXo_Qu4ZqV5DznnBucil37g0b3UER-StbuCIpFX1odm6-amUxiI-Ldra8OIrNooXgFh6ZIHtFGSDXWeAucGIrgQ3HNGV_s8G0dXHmw-39gZAjD8E0ZWpu0VC_nnz-bpUH7pty-Dhtiw1GJsYGWJpEtkMCc5C9uKxg8KAwIhGtlWi0V_l-xW1CAX2Z9vWuU7tuM2sz1x2qv0XFAbRlTMSXVUyR3TlFnzqQHEj2-au77pWmUXRddaMNLFUU2OUzHsDeDQvYuk_eA3CTtxIbYYhDQbR-M4o2axd7Vnud6KRktagLB_bjz7Y8MCIhoiGGFHKt4s1rvkGN_AACueAm76qEKWIRrjksgKxQCT9fHOd3l1j3ee1dVec92uswMqOTYvvjem0lYquEF2tpbnv80XR1iMW30Mite5BI7rCvBFYNkXVC8DmHnChuL7HOS--utixvO9cKIm-7oZIIgvs_nxW7VrxGnO17mtojD7dJLLRhls1V7lsRhO5Xv1Iq_76wCSpN4pq9-DPXGlwAVn02rQ1bjvcuTEbmHkvKyObxdDtDzFKT9--y0vDTnb6zlnYj7kBUUYweSSEkCAkJChjSEQeY2fNwfs2erj4rGRjnIm-uGRH4_0ixb9lrTYKeO38bollY7YR-yZDIfqOPHpeLkQej6kZUeYdyBzFORyT-bZv7uS64dXfeSMqUHrstc4mVh7nsBeLHojFIxbimQC2pbLILLGWa9mUbWYQTe39QyuFu0zGHXpMFsT9GxiwkUFUFj4Qj3g-JTjLFGjTKsiUGTUbUtBjHGahf1nJpn-8XDf9MNGZewVcLHS7IIMavk_JXgl_wkOUEQNCcqy41C5CrPfacFhXMi8ub4oPlDzubumCeRZQJz-iq8XC3m20gM7mgL6Rj8PAgxOl6e2tI70oEEsD-4zqjWIEczE8EQcJ5nnrdDxNDCMGHNwuxyG2HLaOHx5yiGiC12CyQeJMw9pmm2ybT09iKhtjNa9aLmq9LvjANyA2Tccj4-gY46ypMrsrE23NZfM2fklkvYb5I8N4zpBCKcITPKWwPhI6H2GsFOHeR5KJo4eUJ3lZnCuofBaWZZEMvGyoT_NTSGjuCeJPYt3lvFvQfWUmozZB2nqYKSgRWx5fjmi8L7yfulTXYwIdUthTRZk6INj1MFfwqrJVLCsbxJb7PUO2HdOQS7mfuuHOZeSTee9bCMNtvR-Yp64I-xlx_U5ctc36cNsPqYNvnLifusOsYy3gzSzgxT4TfKgr77W5M5vKqvYGfZZ_tOFe0Jce6BsxQvEfY9lzVSYe5IzQfRCxqUoBD2gEvuXFm7bZ1G2vccNr0J0r7MmBfLu2YqvibmYsp8OCI0j6B2xFwt_A9l3VFl9n8I4j6Qjek3IEB3LkcVC8Xo5bWA-67wXZDh14c6oU39w6Tz7uE-Oqoa8dn13ytq2e1SY80CbhxYvaLF1D-B3r0ZxWTV79bL2imV55kAObxt0uNcjGgCp5AZmsu2qiyGpc8dZ0NEg6XTY8fdlM8my62m_4sulgnqfe2Wq-k-AFLO32EbbTV54I1e9cSS5ksaq4KxraiGEiy4rHR88bbnKuZZFppzdiy-Keq9liO5AZxaV9HBumByl2K3hVtQU37gF7O2-X7LLw0wAfHz9Xdox8WgKbZMd41reXYRGV_ADN4co62K-X7GOfRCXfq5P8lGRPya-R7Kl3mOxDEfxpkz2l81bbI3kyfV_00b1F-OV80qfg5wnsfJL-nAaEHjYgXsDFBAFHLNX1XdurAlaymr_WGIY_rhUu2mZsIKcA7j1yOjoIs2ybUq6f2LizyYh8-sT0shWwbOuuAgPLtjHwaMZ3BGfKhIwGARd7M80aJRqXpCTlIV4zsHbZXt9zBSLrjJq17TsIEbs-N4o3trzIthmqwxlh8b3CL0m5hyWcwwIlxPA0LKtWfXFhfQ50nsRhmznOpjKDeBKw0aHKYVTiDlTZqjp1zYV-4RXgGZS3ikz9fjZXSfWpMx-5bL5DJ8GT2SNpIT5UjoGYZPKbdi0L2w-f-lZhvmFq-L6R_-7hO90_Qt2qzbu-LGHeVgkoeV-ZTICN-af3jL3UtP4cWuDldxQTkE615f9cn7107yWvoDC22mqjNt87x3MO8OQrkl_CMi-45_z1WpLwiIYTxd3JRdqIz6otQOutrD_F6f6EIfHsiunc7Mjt6PDczexl6zqT8cA8mXcTk32Dq2JbJn4zspJGwpE3UbOzGecILBF_OcKv6Ahn65tDYMm-IZuddNlKlfgkOJ4D_98y-Nkam1z4JNgjSg8RDXn5JKLjYd3w9iMde5AfcYyX4DinmiHft6yMHaqZCDiLmn-cPonY96PMn5-tFjFjER5Pys5zmJsUjEV7hocHkCWJGc6ySuZFpg1XJvuRc7pC99sD0eHSTTo67sSO-dR90zPwDg-UjSABPHA9n7o57B7Qd98rXYgrJhKW8Au48iKfxjQK_eji_srjScgSP4n8MAnCKE-ARLzIGcuLQoBPL-QVJTQgjPqe70c0WhDwGEkoKaPIK8qAIJ9AzWW1cF9atWp94T4OufIYjfzoouI5VHr7hbe6csrk_Vojn1RSG73fZ6Sp3LfgzhWD9xh__zGH-7wE9EWvqqvXf7UyyvZwRf8bAAD__3MKMiw">