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

    <tr>
        <th>Summary</th>
        <td>
            [mlir]Test-Expand-Math triggered Assertion failure "succeeded(ConcreteT::verify(getDefaultDiagnosticEmitFn(ctx), args...))"
        </td>
    </tr>

    <tr>
      <th>Labels</th>
      <td>
            new issue
      </td>
    </tr>

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

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

<pre>
    MLIR built at commit https://github.com/llvm/llvm-project/commit/034bab4c
Reproduced with:
```shell
mlir-opt --test-expand-math temp.mlir
```

`temp.mlir`:
```milr
  func.func @tanh_4xf32(%a : vector<4xf32>) {
    %r = math.tanh %a : vector<4xf32>
 vector.print %r : vector<4xf32>
    return
  }
```
 
trace:
```console
Assertion failed: (succeeded(ConcreteT::verify(getDefaultDiagnosticEmitFn(ctx), args...))), function get, file StorageUniquerSupport.h, line 153.
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-expand-math 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 0x00000001049bcd04 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) + 56
1  mlir-opt                 0x00000001049bbd6c llvm::sys::RunSignalHandlers() + 112
2  mlir-opt 0x00000001049bd39c SignalHandler(int) + 344
3  libsystem_platform.dylib 0x00000001a56894c4 _sigtramp + 56
4  libsystem_pthread.dylib 0x00000001a5671ee0 pthread_kill + 288
5  libsystem_c.dylib 0x00000001a55ac340 abort + 168
6  libsystem_c.dylib 0x00000001a55ab754 err + 0
7  mlir-opt                 0x000000010631e7f4 mlir::FloatAttr::get(mlir::Type, double) (.cold.1) + 0
8  mlir-opt 0x0000000105c778a4 mlir::FloatAttr mlir::detail::StorageUserBase<mlir::FloatAttr, mlir::Attribute, mlir::detail::FloatAttrStorage, mlir::detail::AttributeUniquer, mlir::TypedAttr::Trait>::get<mlir::Type, llvm::APFloat>(mlir::MLIRContext*, mlir::Type, llvm::APFloat) + 296
9  mlir-opt 0x0000000105c77940 mlir::FloatAttr::get(mlir::Type, double) + 152
10 mlir-opt                 0x00000001050e53c4 convertTanhOp(mlir::math::TanhOp, mlir::PatternRewriter&) + 72
11 mlir-opt 0x0000000105e779d0 mlir::PatternApplicator::matchAndRewrite(mlir::Operation*, mlir::PatternRewriter&, llvm::function_ref<bool (mlir::Pattern const&)>, llvm::function_ref<void (mlir::Pattern const&)>, llvm::function_ref<mlir::LogicalResult (mlir::Pattern const&)>) + 1440
12 mlir-opt                 0x0000000105c322e4 mlir::applyPatternsAndFoldGreedily(llvm::MutableArrayRef<mlir::Region>, mlir::FrozenRewritePatternSet const&, mlir::GreedyRewriteConfig) + 4000
13 mlir-opt                 0x00000001059b4500 (anonymous namespace)::TestExpandMathPass::runOnOperation() + 284
14 mlir-opt 0x0000000105be3384 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) + 420
15 mlir-opt                 0x0000000105be38b4 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) + 320
16 mlir-opt                 0x0000000105be5230 mlir::PassManager::run(mlir::Operation*) + 1148
17 mlir-opt 0x0000000105bde6e8 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
18 mlir-opt                 0x0000000105bde2b8 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
19 mlir-opt                 0x0000000105c49834 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
20 mlir-opt 0x0000000105bdc6e0 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
21 mlir-opt                 0x0000000105bdcbd4 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&, bool) + 1208
22 mlir-opt 0x000000010485f7a4 main + 108
23 dyld 0x00000001092e9088 start + 516
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJzsOdlu2zraT8PcEDEkar_IhbP9p0CMBHH-AWZuDIr8LHNKkRqSSuvz9ANqseXYbt3TDlAMxggii_z2nTS1VlQK4AYltyi5v6Kt22hzcwcSrBMKlrVwm6tS8-3N4unTKy5bIR2mDjNd18LhjXONRdEckUdEHivhNm05Y7pG5FHK9_Fx3Rj9T2AOkcceD5HHIIpLWsYMBfcomL9CYzRvGXD8RbiNp9itozTo_-wGpOzXainMtW4cvr52YN01fG2o4tc1dRvsoG5mHuAD-vA6Lu7B0uCYVy3kgI_xulVs5v9hFAeOqs0q_rqOCCI5IgnFKJrjd2BOGxTd9TvRAyIFRtntSAJjRBKDUXSPvYwzTwV_A7tH69dnjRHKjQTOQ2OMDbjWqPEdZfcnTYD7hzOUwbHmTCurJfSrc2vBOKEVXlMhgXv-iOS2ZQyAA0ckv9OKGXDw5klF83cwYr1FJK_A3cOattLdC1opbZ1gD7VwjwqRnLmviBSI3GFqKjubzbq3Yljztu6YVuC6dyEBL502tIL_V-JfLZhl2zTauNnG70uhAIdJNOuFfnl6mC8fsG1LH54Ul22FDXhw7PSPh6uwtgWLyCOmimOhmGw5YLcBzAy1G1xS9rmz5cB-6Sj7jHlbNzvjBjMUFC9GV4bWXuO2BuW8EPgHAnlPt8sP3Tpst3WpJVa0Buv9Asq2BvBWt3hD3wF3mvRA4k8wWCi_Z_DL_O0PrA224DpFQL0Lo5WXCr9Tg1EaPD39bbFa_n1x-_z06R8PryuPgtLAW7DRPh6dxj6Ji72SeK9N8DXoP2EQFyXjQdzJ0oeI3dr-y4sP7E6tty4WSb4HMvTLSltngNaIpN7LQrkuq8gtTtKeZThh-fFzKELJU3ZKhNdWLUWlqPyDKi7B2C6rey5hSHo25KxmPCoYPiCASD4RNIrjnkSEsRSl3VoH9aqR1K21qWd8K0U5IUmTNC9iFuOVFZUztG4O1I0PiLiNAcpP0chCgAAPAKvPQsqODMnznk4ypcNOUEgoi-IA09LnTGeKdEBNv49aZkmMwZgOcSg52WWOSqMQsnXcwfb-eZSaurlzw2tXEPL99tu2AR8bXLelhN7q-YxpyWfh6INBhPy0ExOWZTk9yXKyxsFRIfvvYyGyYG6pBRTdnRKX3E3Q_YooWweHy1OqO8yB_HnIHbGhFB5CeovwvcHeDBXO94id-abijubbJ8b8pROk62ATO_vGf6eVg68Okfkxx9NEBgeQYojf4rwLijj4Oa_f4jAZ0jUMLgq2JIAkYjFmWr2DcW9UbZ6bAz6-Cg8ch82p3i_UOTDqFb4Y4bwb0lGSbBQkPK0vZFnBg2NS86aRgtGuuw_82Wau-MDiQLbnBgz1TfLIH6fkmnpn7K4rA2sU3ZVa-_KQHxHwhrGuV6uLh28QedeC_zSRPfKTrgSj8hVsK91ldIcYiOMh3UNyWRCwiBCYpj9tGrkduNi54o9a8v8zAFzI7UGHWrSOlhLmxtDt6wcFXqHyrukVnsS10X_C6JmBxxLcRJkpdMd1O0DfabUW1ahnHASjntFlehZlnASBtyVVWm1r3dp-bmi6zlsMcQ7WPXQjyIK6zQu1Q5s0rXpWk5Db9UiSDw0ujE_HeglRlMdnStlz86afG89mzmmzi3vTqg8-t_YozM8nwFxRubXCLqiiVV8ffZD7Z6u6sw6fDhMxGU2ZXGbKEqK8_HGVXkQDflL9kMYedCdp-st1PKwM1n5S1plu_tTmROmYAvSc-41B9hdqQLlPaq3HmJ3vRp2dGdNLzZiQKPjAfdTnZBwcmmMc0uJhNAmzMxHIIYUcN2D8zDXvKo79zqw52nJ8Wsd70NUqHCbIDTXAV43vUXd7UkvdGgaLyqDo4UxaH_fSn62IhwE01tlDHYbBORjTNb_QSRxImeNzgvwVyY9t2XaDzJEtF1Brs71t1-s-wI8ReX_AXHGQ4OA8sp9_PvSejz4vdkMSo1L6M91qrQ4UWUhhnhu3oEJ9J3p-Dw1_ZSztIe4FlcCcb3DWme2ZfLnsOTQdROJV0E-cUqvq97HgUYz0090uh4oLR4y4yKNpv7CNFG6u-IvRDKwdpf9NMuO_IpO_CXG6NqbjMZsE5xoJS2HasP5XEX55ReiHynD0RHhpl2Ilj896ZhiE2Ib2I8-Hprt0RqjKj_AX6zXMHiQYZg9CTt8Q5ck6ozGuqVA9xg4hwnwr-RS4IFAEeY6to8OtSzLaYXc5e8VvIl5EBb2CmzDNkixLkohcbW5IVAQsiPIsJMU6zktYJ3mWZSUEYZiG6_JK3JCARAEJsjAKSRjOWBDG62SdZSHhjKchigOoqZAzb5iZNtVVd_F5kwZJTq4kLUHa7icCQhR8wd0mIgQl91fmprtoLNvKojiQwjq7p-KEk91vC51lk3t_xLjuzxjXi-6a04iqAgMcH942twYwIuQ_d9dMrlojb_76fXBnmX8HAAD__1jknpk">