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

    <tr>
        <th>Summary</th>
        <td>
            [mlir] constant float or int?? informal mlir input raise crash
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            mlir
      </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  a.mlir`


a.mlir:  
``` 
func.func @float_vector234(%arg0: vector<1xf16>) {
   %0 = arith.constant sparse<[[0, 0], [256, 256], [512, 512]], 0101>:vector<1x2x256xf16>
   return
 }


``` 
stack trace:

``` 
/data/szy/MLIR/my_issues/test.mlir:2:65: error: unexpected decimal integer literal for a floating point value
   %0 = arith.constant sparse<[[0, 0], [256, 256], [512, 512]], 0101>:vector<1x2x256xf16>
 ^
/data/szy/MLIR/my_issues/test.mlir:2:65: note: add a trailing dot to make the literal a float
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 /data/szy/MLIR/my_issues/test.mlir
1.      MLIR Parser: custom op parser 'func.func'
2.      MLIR Parser: custom op parser 'arith.constant'
 #0 0x000055bbee812db8 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x11bddb8)
 #1 0x000055bbee8108be llvm::sys::RunSignalHandlers() (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x11bb8be)
 #2 0x000055bbee813736 SignalHandler(int, siginfo_t*, void*) Signals.cpp:0:0
 #3 0x00007f0e88c7e420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
 #4 0x000055bbf1905418 mlir::SparseElementsAttr::verify(llvm::function_ref<mlir::InFlightDiagnostic ()>, mlir::ShapedType, mlir::DenseIntElementsAttr, mlir::DenseElementsAttr) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x42b0418)
 #5 0x000055bbf19052cd mlir::SparseElementsAttr::getChecked(llvm::function_ref<mlir::InFlightDiagnostic ()>, mlir::ShapedType, mlir::DenseElementsAttr, mlir::DenseElementsAttr) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x42b02cd)
 #6 0x000055bbf4999d23 mlir::detail::Parser::parseSparseElementsAttr(mlir::Type) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x7344d23)
 #7 0x000055bbf49815d0 mlir::detail::AsmParserImpl<mlir::OpAsmParser>::parseAttribute(mlir::Attribute&, mlir::Type) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x732c5d0)
 #8 0x000055bbeea8dcab llvm::ParseResult mlir::AsmParser::parseAttribute<mlir::TypedAttr>(mlir::TypedAttr&, mlir::Type) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x1438cab)
 #9 0x000055bbeea4287f mlir::arith::ConstantOp::parse(mlir::OpAsmParser&, mlir::OperationState&) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x13ed87f)
#10 0x000055bbf497b7e4 (anonymous namespace)::OperationParser::parseOperation() Parser.cpp:0:0
#11 0x000055bbf49869a4 (anonymous namespace)::OperationParser::parseBlock(mlir::Block*&) Parser.cpp:0:0
#12 0x000055bbf498485c (anonymous namespace)::OperationParser::parseRegion(mlir::Region&, llvm::ArrayRef<mlir::OpAsmParser::Argument>, bool) Parser.cpp:0:0
#13 0x000055bbf4982acc (anonymous namespace)::CustomOpAsmParser::parseOptionalRegion(mlir::Region&, llvm::ArrayRef<mlir::OpAsmParser::Argument>, bool) Parser.cpp:0:0
#14 0x000055bbf4a84e32 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)
#15 0x000055bbeee957fa mlir::func::FuncOp::parse(mlir::OpAsmParser&, mlir::OperationState&) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x18407fa)
#16 0x000055bbf497b7e4 (anonymous namespace)::OperationParser::parseOperation() Parser.cpp:0:0
#17 0x000055bbf497a5ad mlir::parseAsmSourceFile(llvm::SourceMgr const&, mlir::Block*, mlir::ParserConfig const&, mlir::AsmParserState*, mlir::AsmParserCodeCompleteContext*) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x73255ad)
#18 0x000055bbf1819f0f 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)
#19 0x000055bbf1818e8e mlir::parseSourceFileForTool(std::shared_ptr<llvm::SourceMgr> const&, mlir::ParserConfig const&, bool) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x41c3e8e)
#20 0x000055bbf181867f performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#21 0x000055bbf18183ed 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
#22 0x000055bbf18c3275 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+0x426e275)
#23 0x000055bbf1812405 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)
#24 0x000055bbf18126af mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x41bd6af)
#25 0x000055bbf18129de mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x41bd9de)
#26 0x000055bbee7f1337 main (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x119c337)
#27 0x00007f0e8829c083 __libc_start_main /build/glibc-LcI20x/glibc-2.31/csu/../csu/libc-start.c:342:3
#28 0x000055bbee7f0e9e _start (/data/szy/MLIR/llvm-project/install/bin/mlir-opt+0x119be9e)
``` 

interesting case. dalao @CoTinker why 
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzcWltv27qW_jXMC1GDInV9yIPixJgCLVo0nXk1KHJJ5kQWNSSVJvPrD0jJtuQkbfeu9-4-p2himRdzfd-6m-HWqqYDuEbJDUpur_jgdtpcf_v2nEZFdFVp-XzdKIcfwVilO8RKnBS1pHmW1wLijNSEkiSvYybjKo9ykGkugMSkiBEpESnts3Ww9_tQSv67Gjo34ChfkXiV4g9f71FKxnUGeqPlIAB_U243rd-3yrzTvcOYr_zzcTUi5TTCSoz9QErG__5NPXRi5X9hFJO61dxtH0E4bSiLEc0RTbhpiN86DiO2jp7qKEXsDtECo-wGkRJjjGhCMGK3mBvldiuhO-t457DtubGA2DqQdkMQXWOCklv_ipIbmqT-yb8cx5KI-if_ktxOwyQikT-SlTMx6BNN0oMwQQoDbjCdf0bZ7RH-ArB1XDxgZ7gAxF5bgOhGcscR3dj_f0Z08_HD-y-IbvbPW2XtABbRjQPrDpRSxMo08QSBMTqQPHTw1INwILEEofa8xapz0IDBrXJgeItrbTDHgW_VNbjXqnP4kbcD_HPoRMndr9DRaecZxlxKzD3hqvVQpXbYabznD4DdDo6MTGwgUn7-cFfe32E7VHvlMMfV0GADvTZh48653nrN0Q2im0a53VCthN4jumnbx8PLu97o_wXhEN0cxcS8k1h1oh3keLQw3O5wxcVDMIcVIuV9sA457PvROMgKh3-fjW4M32NummEPnbPB616n5vx8r7q2RXRTqc4zd3DUP8QsKaNJFL8Mf_ZmEIxNDNbpPdY9DqZhMKLZ0akRzRAp6c_vXJrbuB0jyggmT4QQkiRVBZBHVFY5DnyzEjEfucaHz0Z1LpD4NXgYzU-LDP-21dYZ4HtEg50qf0SBQ5z5FSoRvSFPUVRJWeWIFpPM0ZnMJK_gNZm_DN29ajre_hfvZAvGBnkuKFaVV3ASi56JxTKW4oUAiOaBmTW2qlFdrbcO0dK_f9RKhsdi2mFXovemSsLPeACbDshqAnkuMogpwdutAeu0ga1xE7JWVYhunvJ0m8bvWtUNT--abhgnerczwOXK6hUZYcQxJScQ8QxEHRUkiaMcTyEAsfI-WNRdC8FXSuem8Ucwqn5eWIU3U6d0tzVQI7Y-fcb7btOqZuduFW86bZ0So9xFSD3r-Wk73oP8-tzDcvwWOgvvO7eQ4-WK5fSl9B7TisTRzByTc8qokD9BWQNuvQPxAPJvpe23cUaFPHGWzjmLi6KQlM1EkeC4aqfIc4hriJWBylcIpflp74j7UpJnLI4lZSfJs6XkeZRI8obkpd2Pwr_f9-1Cl5_649yYrQ_YPBpVDQ4WkGaj6VJnlwZLRSJn0SBfhDSeS8GrWaQNCL6AHVo3k2kG7RVccxq89HL0iLsXOhwn_lrAUcxywasT4GIJOKZ5Vs9OD1l0fFxPqfRTP4O5ADFX8jmMTz0Y7t383vFJrRfDxEDmWT1i8tmSLC02qzKI_Vm8093zXg8Wd3wPtg9pvTiT74UmjzNTMh0XnGUrf2x05ihpwX_h2JtWi4cFvdNIOZH3phz0TI44T8Sfl-MLNCP2kyCHoaDik3OUxvDnL2dBfOH446qx7pyCeKV1-1007AwN5eKHaNahHnxx9KROD5O3vxvXou6IeR4DozN_OWZF32-ZmgvYqhBUj0A204pP_a844UHSRTp1RnXNIV_-RKb2MQovbXVQrTxK8AMuQ4gbafv5lT9J1f9wo7hUYtPyJtShTo4T2614eoqi8U3FrRJbG3AjthY7bhaL_cDWN36-XRqnRymOK3jbasHHBvQw75ekr9YrC4JfH79YiotpDYyeomOyiPhQJFnNz9gcn7yB_fOCfR6TrOYnOOnvCfZnVVHGEz6vgccawO7v9WAEbFS7bCDH4Y-NwaFBfUHgKdTPR0dh1rqrVfPGxqNOJubLN6bXWsJa7_sWHKx15-DJTd3YxQqrJOHypKZ80TPkUVGT-pyvBVlHz7I7bkBue180rV-hELG7S7P4wbuy0t3oiRekJY5EXJNZqVKc0ZJDDm_TstHma4jWl2DnTR4OqetikBnkcIRMyTnkNKtxD6bWZl-GQG5_8GXLBcB7IHO7X8y1ynzq3UeuuhfsFHg2-zIs0OgcHAM5S2ofdKOErz1CB_FmZn1rw1zxQ6f-b4AX2D_CXpvnm6GuYZnCJNR8aN1Wgvf5t_dMeWueis81UBxbOMHbtuLiYVt3izw9I-lndfmX45n1_Yq3IJwv96wzzy-N43sGMC5BNN6SsYlrddf8vUi-o5kfmCddmqdgNEtmwG3fKld28rPRAqw9yPpbjO7f0CW-u2I-N9Z5vrh9a_hy30OlQLPkFH3ZWYCiMUleN_3_NMe9WD6rZExmjMbnjKa8fpPR6dvwscEop9TzRwzjR3RcEmbKT5UKTc5hFhIuAvPvw1PIWRmSLtqgrI4Yy_Ceq-5ityWFYCw7HZgtLjNoIUjO8Hbbqsp3nty47XT6pvLNM6Kbxs-9-yDeU_J0fEtXLEJ0I-yA6Ga1Oj6GyfA5K9-_sZj639PZ-RlYAgXg8dTLwa2gOPC7uIUmZWjMwYYLYsEtrLDkLdcYxWStv6ruAQz-tnvGV_KayYIV_AquoyymeZ4kBbnaXeekgCRLZJELXkdS1izhIFkkZCU4j5MrdU0JTQijCUkTFpFVIUmWpxHJ6hSqPCEoJrDnql15UCttmqtwNXkdMZoX0VXLK2ht-HsISoNFUoqS2ytzHUiohsaimLTKOnv6BKdcG_6GImxIbvHxcjtcAGNtwr0g2yC2warzBS5vg71j1fWDw4YrO13eXg2mvf7zN8ITjMdr-q8AAAD__68Haa8">