<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/132755>132755</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 @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 0x00005625234eddb8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x11bddb8)
#1 0x00005625234eb8be llvm::sys::RunSignalHandlers() (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x11bb8be)
#2 0x00005625234ee736 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
#3 0x00007fed4e47d420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
#4 0x00007fed4daba00b raise /build/glibc-LcI20x/glibc-2.31/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
#5 0x00007fed4da99859 abort /build/glibc-LcI20x/glibc-2.31/stdlib/abort.c:81:7
#6 0x00005625234d4f3f (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x11a4f3f)
#7 0x0000562523d9d8fd (anonymous namespace)::RegionBuilderHelper::buildBinaryFn(mlir::linalg::BinaryFn, mlir::Value, mlir::Value) LinalgOps.cpp:0:0
#8 0x0000562523d9e339 mlir::linalg::AddOp::regionBuilder(mlir::ImplicitLocOpBuilder&, mlir::Block&, llvm::ArrayRef<mlir::NamedAttribute>) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x1a6e339)
#9 0x0000562523eb9c1d 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 0x0000562523ea3f33 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 0x0000562523d92573 parseNamedStructuredOp(mlir::OpAsmParser&, mlir::OperationState&, unsigned int, llvm::function_ref<void (mlir::ImplicitLocOpBuilder&, mlir::Block&, llvm::ArrayRef<mlir::NamedAttribute>)>) LinalgOps.cpp:0:0
#12 0x0000562523d9e4cc mlir::linalg::AddOp::parse(mlir::OpAsmParser&, mlir::OperationState&) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x1a6e4cc)
#13 0x00005625296567e4 (anonymous namespace)::OperationParser::parseOperation() Parser.cpp:0:0
#14 0x00005625296619a4 (anonymous namespace)::OperationParser::parseBlock(mlir::Block*&) Parser.cpp:0:0
#15 0x000056252965f85c (anonymous namespace)::OperationParser::parseRegion(mlir::Region&, llvm::ArrayRef<mlir::OpAsmParser::Argument>, bool) Parser.cpp:0:0
#16 0x000056252965dacc (anonymous namespace)::CustomOpAsmParser::parseOptionalRegion(mlir::Region&, llvm::ArrayRef<mlir::OpAsmParser::Argument>, bool) Parser.cpp:0:0
#17 0x000056252975fe32 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 0x0000562523b707fa mlir::func::FuncOp::parse(mlir::OpAsmParser&, mlir::OperationState&) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x18407fa)
#19 0x00005625296567e4 (anonymous namespace)::OperationParser::parseOperation() Parser.cpp:0:0
#20 0x00005625296619a4 (anonymous namespace)::OperationParser::parseBlock(mlir::Block*&) Parser.cpp:0:0
#21 0x000056252965f6d5 (anonymous namespace)::OperationParser::parseRegion(mlir::Region&, llvm::ArrayRef<mlir::OpAsmParser::Argument>, bool) Parser.cpp:0:0
#22 0x0000562526614b9e mlir::ModuleOp::parse(mlir::OpAsmParser&, mlir::OperationState&) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x42e4b9e)
#23 0x00005625296567e4 (anonymous namespace)::OperationParser::parseOperation() Parser.cpp:0:0
#24 0x00005625296555ad 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 0x00005625264f4f0f 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 0x00005625264f3e8e mlir::parseSourceFileForTool(std::shared_ptr<llvm::SourceMgr> const&, mlir::ParserConfig const&, bool) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x41c3e8e)
#27 0x00005625264f367f performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#28 0x00005625264f33ed 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 0x000056252659e726 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 0x000056252659e39d 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 0x00005625264ed405 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 0x00005625264ed6af mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x41bd6af)
#33 0x00005625264ed9de mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x41bd9de)
#34 0x00005625234cc337 main (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x119c337)
#35 0x00007fed4da9b083 __libc_start_main /build/glibc-LcI20x/glibc-2.31/csu/../csu/libc-start.c:342:3
#36 0x00005625234cbe9e _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/eJzsWm9z26j2_jTkDRMPAv19kReKG8_u_JJNp-nuWw8C5PCrhLSAWvt--jsgxbIUO8lufbfpndtpXQsO8DwP5xyOJVFj5EYJcQWiaxB9uKCdfWz01bdvuzjIgoui4burjbTwq9BGNgqQHEZZyXGapCUTYYJKhFGUliHhYZEGqeBxygQKURYClAOUm52xonbjQIx-LzplOxikCxQuYnj7-QHEqLfTotUN75iA36R9HOzrSurLprUQXpq2kvZSqrazl6WsBKQL17sfD1A-tLihKHcd_q-7qBveVQKC5BqgHMKyU2zhPiAIEeV8zXeK1pIBnAIcUb1BbpJa1FqUgCzJNtxG25JgQG4AXsLeJoATI9hbyZkVfsNM5AWbDFJrtSw6K4zDT3W9NlYLWku1AcmHPScIK6lotVlQzqFU5oDLKchzNKe4ZLDp7DghfmmWzIHRwnZaeVgg-eA2o_-c7YqxlH2BVlMmAMmPGHTKdG3baCs4VI2CqquFlgzaXSsAyn__7dNNvvwlv769gWIrWOfsqIUArzi1FOCV-dcO4NXd7a-fAF5V1df6stXN_wtmAV55X8GrShYArz5IWvXNt15FgFd-TH9135oFa1tA8jBOAA4Ayj_e3uQPN9B0RS0tpLDoNlALhxXaBj5a2xrHCa8AXm2kfeyKBWvqAcVzMNKYThiAV5Aqt32s6riA9lFApql5hAVlX7xQC4DyB68b7-q2lw0toP_zUTcbTWtI9aarhbLGh8KbxJDKWFpVAK8KqQZxfOBdPg-8EzMaIfjwX5ABvLJ1u7gv7mpt_oz_-L8-NFEeDFjdIPiRaiN8wLLO2KaGTQtb3wYBTopOVlaqRR-8ACcA5fjtw_dB3o8kbx85BlI_FAJMEERbhBCKYhxhEgrOixT6vSQ5IC7L9V8-aqms36DP3q9xOhpp-m3d9MELcOwiTirrwsuH1vdsE8DXaBsEhUM1xCDAJJhhLtJCHMP8qVMPcqNo9QtVvBK6D_UzwnILj7DwDJZISAwnAABOvTJLaORGqrJZW4Bzd_21kdx_zYYRT4GJ_L9-ATIskJSChyJMeIgRXK-1MLbRYq3twKwP_W0ar-PwspKq215uVNd3tPZRC8oXplmgnkYYYjSSCA_X4LSgCBVQU2l8fDjXdcGwqWTBLm_Zrxht95d4QQInqMcP8GqxcFc7w0XrMkCn5LZv-OqhqM5d-qkXDJA8CgDJgwFGNIWRZWmUQVo0nuPbYFje6-BH-RVSt8KT48fT3eJhScqzeQZ1s42iJpO1eMbTkru1qGrUrm46AxWthWl9YGWD84qNbNS1Yyr0L6JqfVwDknvy11JRvVspgNOhNgAk7-O7_z4aLOFo8QetOnG0KYPzI-HQ89IZAUFIBo8vnHN-3w554ZDCBOmvdVtJJu1tw-7bvUE8RXZdNezL0DpGd6413X3yJ_Ro-hutBc-fCorhcD_TZtLYsR03M5toIYqMBdzH7wFIl56tbNS6LyV87z8ugPv0nYxWlTto16UCZGksn4L8sQBv3FHSqM105p_JQYrUuUDvIO50mh6pgpKSEFjKqnqwumO204Lft314TyQ_TfTJeNb8edeKT1RtxAvNf12X5Xv04xfyk5M8mOUnHCWkL3z8hIfCzyTPTT0UTXPU963Q1JF_sNSKobtT_mclh8M5_vNJheepPGTs9VTutfwe6c6ZjkPGxmgjh3yyOIoTEb52tu7x7evlJ4r7nqFU7A2OyBhOl42DjH7HssO2p88cIR_EO4kjmtEv04j9fRxHstIk97zikoc-MVj1v9iGxFI0TfUim3jGhlP2Kpul_6XzbOlhOx1NWv1oXpMCMEuiUhB8EC_73CGVFbqkTKxl3VYHRFaDxffmrx7podmD1VJtXB55MZ9Nj5dpZpsms1e0dMOfnTOvWb5Rqj-olpRLtqqoryf2pc56zbbbIBgKaGokWxvPG5Ale6R6Yuwa1lZTac1Td49ib0GrqmHUNvqg35nETyn4tMDH28-VHZMQO9cas-O0cC8SlJR0pmb_zTnY-0v2aegAj3SyH5LsMXofyR4H82Qf8-inTfZ4UonEcRAWmTjwqzt_e-zd-WSIhQO690n8YwoQPCtAoiii_EABP1lu6oem00ysZDW9Zdc33200ZI0y9lQdmk9bezDLRpVyc2Lgfk8G5fMT3cuGi2VTt5WwYtkoK7Z2uP91pkxIsFNk3KZJoRSHZViicq7XRKx9tjePVAu-bq1L90ckBOTm3CreuuNFNqo_Hc4oSxgwR3yUJZ7JQkQqTsuyavRnH9bnUOekDk-Z42yUHamRcjKnHCclbIUuG13nvrgwr9zePgN5R-TQ7yd9ldT3rb2jUj1TJ4MHvUfSQjonR8ThjanbZiOZq4dNV9nT1d6pAYcb3yn5Zyeecb8TdaN3111ZimlZxUVJu8quuXAxf3rMUEsdnj_zHTh1a-uohG_dy_84nxHd8FTOnbbG6t1z53jJAXoTgMM1mt49exc784p7Tgq4OMpEguMD4v6ZXK74R90wYcwT1h_idD9hSLxocdjX__ZwFd2p5qmbua-Nr0wa3Rcm02riYFzvqtAdE79bWUkrxZHbUNPnjs4RSMb_5wjv0RHOVjfHbo_3x_D0KW4cCh6i6HgO_G_L4GcrbAqn2agonisa0_KkosMN7P7uRz7UIH_FMV6T45w0YzqWrITMaWZcnIXmP8cn42M9SsLpk2jGCElgTaU62-PozE05Ljh_uF6glMD1upIFWxtLtV0Pq7_pQTsz3dPD_v6r7_Tz-KfuJMTuc1h79tidFSITsF_1fHTdpAPd_WtXF_yK8Ixk9EJcBUmIU5zGaXbxeBWSMsyigHKaEVawlLOgSEOB4zgocIzQhbzCCEeI4DCIUBhGC1GwqOQJSWnISo4JCJGoqawWDuai0ZsL_9rTVUBwEkUXFS1EZZ5eRNRXnkzRbQwIUSWNNeM4K23lX1n0rhh9OPJ6oH9vSpiLTldXf_91rAHa1yv87wAAAP__-KOcfA">