<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/120882>120882</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
[mlir] -arith-unsigned-when-equivalent crashes
</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: bc29fc937c6cb4a210f80c93c79fc6ed97c801f8
system: `Ubuntu 18.04.6 LTS`
reproduce with: `mlir-opt -arith-unsigned-when-equivalent a.mlir`
a.mlir:
```
func.func @test_shl_i8_nowrap() -> i8 {
%cst3 = arith.constant 3 : i8
%0 = test.with_bounds { umin = 10 : i64, umax = 15 : ui64, smin = 10 : si64, smax = 15 : si64 } : i8
%1 = arith.shli %0, %cst3 overflow<nsw> : i8
%2 = test.reflect_bounds %1 : i8
return %2: i8
}
```
stack trace:
```
<unknown>:0: error: integer type bit width (8) doesn't match value bit width (64)
mlir-opt: /data/szy/MLIR/llvm-release/llvm-project/mlir/include/mlir/IR/StorageUniquerSupport.h:180: static ConcreteT mlir::detail::StorageUserBase<mlir::IntegerAttr, mlir::Attribute, mlir::detail::IntegerAttrStorage, mlir::detail::AttributeUniquer, mlir::TypedAttr::Trait>::get(MLIRContext *, Args &&...) [ConcreteT = mlir::IntegerAttr, BaseT = mlir::Attribute, StorageT = mlir::detail::IntegerAttrStorage, UniquerT = mlir::detail::AttributeUniquer, Traits = <mlir::TypedAttr::Trait>, Args = <mlir::Type &, const llvm::APInt &>]: Assertion `succeeded( ConcreteT::verifyInvariants(getDefaultDiagnosticEmitFn(ctx), args...))' 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-release/llvm-project/build/bin/mlir-opt -arith-unsigned-when-equivalent /data/szy/MLIR/seed726/tmp.M9zUoiOZMu.mlir
#0 0x000055a9d52aa418 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x11ee418)
#1 0x000055a9d52a7f2e llvm::sys::RunSignalHandlers() (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x11ebf2e)
#2 0x000055a9d52aadad SignalHandler(int) Signals.cpp:0:0
#3 0x00007f919dfba420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
#4 0x00007f919d5f700b raise /build/glibc-LcI20x/glibc-2.31/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
#5 0x00007f919d5d6859 abort /build/glibc-LcI20x/glibc-2.31/stdlib/abort.c:81:7
#6 0x00007f919d5d6729 get_sysdep_segment_value /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:509:8
#7 0x00007f919d5d6729 _nl_load_domain /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:970:34
#8 0x00007f919d5e7fd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
#9 0x000055a9d82f37b1 (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x42377b1)
#10 0x000055a9d82f362f mlir::IntegerAttr::get(mlir::Type, llvm::APInt const&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x423762f)
#11 0x000055a9d8438c02 test::TestReflectBoundsOp::inferResultRanges(llvm::ArrayRef<mlir::ConstantIntRanges>, llvm::function_ref<void (mlir::Value, mlir::ConstantIntRanges const&)>) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x437cc02)
#12 0x000055a9d87d9291 mlir::detail::InferIntRangeInterfaceInterfaceTraits::Model<test::TestReflectBoundsOp>::inferResultRanges(mlir::detail::InferIntRangeInterfaceInterfaceTraits::Concept const*, mlir::Operation*, llvm::ArrayRef<mlir::ConstantIntRanges>, llvm::function_ref<void (mlir::Value, mlir::ConstantIntRanges const&)>) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x471d291)
#13 0x000055a9db3e4066 mlir::intrange::detail::defaultInferResultRanges(mlir::InferIntRangeInterface, llvm::ArrayRef<mlir::IntegerValueRange>, llvm::function_ref<void (mlir::Value, mlir::IntegerValueRange const&)>) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x7328066)
#14 0x000055a9d81f4bdc mlir::dataflow::IntegerRangeAnalysis::visitOperation(mlir::Operation*, llvm::ArrayRef<mlir::dataflow::IntegerValueRangeLattice const*>, llvm::ArrayRef<mlir::dataflow::IntegerValueRangeLattice*>) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x4138bdc)
#15 0x000055a9d81f7c99 mlir::dataflow::AbstractSparseForwardDataFlowAnalysis::visitOperation(mlir::Operation*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x413bc99)
#16 0x000055a9d81f7339 mlir::dataflow::AbstractSparseForwardDataFlowAnalysis::initializeRecursively(mlir::Operation*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x413b339)
#17 0x000055a9d81f75ed mlir::dataflow::AbstractSparseForwardDataFlowAnalysis::initializeRecursively(mlir::Operation*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x413b5ed)
#18 0x000055a9d81f75ed mlir::dataflow::AbstractSparseForwardDataFlowAnalysis::initializeRecursively(mlir::Operation*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x413b5ed)
#19 0x000055a9d81d59ee mlir::DataFlowSolver::initializeAndRun(mlir::Operation*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41199ee)
#20 0x000055a9d55e1854 (anonymous namespace)::ArithUnsignedWhenEquivalentPass::runOnOperation() UnsignedWhenEquivalent.cpp:0:0
#21 0x000055a9d820ad66 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x414ed66)
#22 0x000055a9d820b690 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x414f690)
#23 0x000055a9d820dc62 mlir::PassManager::run(mlir::Operation*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x4151c62)
#24 0x000055a9d82063da performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#25 0x000055a9d820602d 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
#26 0x000055a9d82b1985 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-release/llvm-project/build/bin/mlir-opt+0x41f5985)
#27 0x000055a9d8200015 mlir::MlirOptMain(llvm::raw_ostream&, std::unique_ptr<llvm::MemoryBuffer, std::default_delete<llvm::MemoryBuffer>>, mlir::DialectRegistry&, mlir::MlirOptMainConfig const&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x4144015)
#28 0x000055a9d82002bf mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41442bf)
#29 0x000055a9d82005ee mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x41445ee)
#30 0x000055a9d528af07 main (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x11cef07)
#31 0x00007f919d5d8083 __libc_start_main /build/glibc-LcI20x/glibc-2.31/csu/../csu/libc-start.c:342:3
#32 0x000055a9d528aa7e _start (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x11cea7e)
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzkWl1v27jS_jXMDRGDor4vcqEmMd4ADRok7XuAc2NQ5EjmqUxpSSqJ99cfkFJsSUmabrfZ4uwWgWuTM5x55otDSswYWSuAMxR_QPHFCevtttVnDw_7JMiDk7IV-7NaWnwP2shWobDAJad5xfMw5QkvI0YDUmWE5yFP84onIPKUZySoMkQKRAqzNxZ2jg8l5EvZK9vjIFuRaJXgj5_vUEIGOg2dbkXPAT9Iux3pd43Up21n8SnT0m5Pe-W1FacPW1Cn8Fsv71kDymK2cqSHxRApxpGwwNgNJGT4cz-qXvGV-8AoIhaM3Zhts5HZRrUPmnWIZojm-BSFl1hmGKUfECkwojE3NsQovMBemRVvlbFMWewGCywdYOzoiCdyC68clk3Z9koYtxDud1L52YAMTEmE6Dnud-xxGI79cD-OmwW5OYzP6d04RunFQpFgoq3ZNtIr5_ifwLT3oKumfUDhuTIPDvB8AXpEoqFqgNsDmGH1J2INttfKsxwGUXoxemNqfGMZ_4qtZhxQWLxAgMLzXn1V7YNC4SUKC-IWBK1b70ypLNSgsd13gEtp8YMUdosRzbzTRAtGIZpavGOWb_E9a_oFnbNgjkjxFFs-1OhaMMsQXZvf94iurz9e3SK6bpr73amGBpiBp5-dbv8D3CK69vFF11LxphdwHPCsd7bVrIYvSv7Wg77ru67VduXiOsg8ImOZlRyft4prsPAZj-GKwkKAZbIZvj-tY0B_cFqE50e6q8EWhbXaOfU44UZk2VuYD0_XnfCOIl6nPSw3oplTft53ILwOw0_NpB08h8KiBoto5sx53ioLjxYjWjj-QtcuiBJEk9Vq5VyH4g9HY7iwexWoM8SSZAZ5RLSkeRv_CPBbjC8Zw2M2nmnmoNdMc8D_EsNglXPsywt2MTcKvrlS1k-Glyi-cDFUGAPayla5Wml6zgEECESzY1gNvPegZbW_UvdMS6asQTSrwV5AxfrGXkhWq9ZYyS930q4Vohm3jy5J6DlmujaDg_xfiismGxArRIqbj5fF3SU2fbmTFjNc9jXW4OIc2xZvre2Mk07XiK5rabd9ueLtbsyj5-kkjenBILrGTAk8ZhW2W8BcM7PFJeNffdlwsu98FRH9rhuKCFlh_-9Gt7VmO6d2vwOH9Eezu-xlI9z_Uo2p_V0b0SuyDIBInV_XdtetrvPfv7Ty07-v-2GT8ttLSDB5JISQOGa5iCljUZBN_G_2Zvhyo6Wy3gCffRWl2ZFIs4dNa6wGthvDSCrrs8ttaj_NDIh-II9BABAF2VBNHYBgASCtKLwE4LZXd7JWrPk_pkQD2ow77vvoWFYUjjrSpZEFE3imDaLZaLNh2Kx41437EBlXCcdV0ioPclGVLKIEbzYajG01bLQdsTSyRHT9mCWbJDptpOofT2vVDxOd3WpgYmXaFRl0jSJKjppGMxlxlRJSYs2kcRXigLluZMlPP_IrSh4PP-kqDJwJvf6Irl3-rs3eCOhcgvVKPg4D914V1buffukVR2ERB26bGtWI52qIJItzzMrWY_w-NawY7OC5vITMSUhHCclSQkpzXIPdDBpvDNQulTfDXv6dQqWyDnnTMrEzNWeD3JjkTvooOH1J8EY1G8e1Ee2Oue7rz8jLUxc1YTQKzOYCIa1E8h2Rwl2MJD5GwrASyTFG8mk0Z7QK0zJ4jzSKaJimZTAIdplOloITWr2yYU_6gPlG56rTcnvzm56vXO9SDhyOhFZHHLOSlUVhxgn1_e6oJhh7OzS-H3zf-6kbJqSqQN-C6Rt7y1Tt9q1JFS60ZvtbqGZ7-_l4XLhSTyxDJ3Bkc0cSt5tvtGe9b6XAM6v9v8uAeff1bNWpCb2E9zFkmHJO6NGQs7qapSKnefBq61WBftLXRYquGD9-GZqpgfS6FdCg8PwNj1y-7pQ_rYLrpKA7RGYxN_-nDjRzPhtn_lExkAaC5pOiEE5joAwhIkkyUVMqq516z90hhkb06pv-e9ln32H0sRh5w90OCvwEoz9b9a8xehrSjCTJ0ejRLPGCKioFnyYes2w44U-U9voWijV7I8cwv5dG2kk0Zz8c4y9KPJrpI7NWcjjm09IZf2LRp-XeJ9yDMCsFP1o-Xlg-5Xn-quWL0rjDi73rmDawbvUD0-KCWbZu2ocfdMV7wSx5nh9hJkuYYfhTYEolrWSN_B1ugffayHto9r8CbRhO0KZLtDGIvxXaGMQRbfaPQjvvlgMR5wATtE9Q7trmHvQSSKHEbf8LsjHIc4ADBjq_JIghyOLICWaqVftd2xus2A5M57fG_KmiSrv9Mt5Y_GsL6vJwX3HDzOgy3atPalp1HKKXmRYHYqfWvI-mhInZ1j_d7D91n9tPnRNcCNbZVh_kz4zrNXur3Zrc_43xd80Uq4dbubJtG3-5PoJ4x6uQKIhATHZlShf2KJOc_GF73MgOGqlgEXSO9AAz-ekGmjI5UVfKWO0v01r9bNU5wSB5mBh1v2EaXGdatZMO-r18UCU5OfogXPhA8IQuVH8yxosR-Jekdxzw5HiMotFC5yQUDHegq1bvCt-jmjfu-4wV43XblmkQm84dwc-PHHdtrzlc1xqFl5OWderUyXX9M4dfN1J_6uw1k-q8VZWsZ0f2yewLRSJegiNUTBq_j20tOWuGA8Dr3flrDIhmB-y9v5t_hv0adq3ef-irakiAA_14ANkIaMDC6zzupLloV5ceyA_HUc6apmT866ZSs152YqTv9eW745nsgpK5w_Ut1NJYvX8eHN8KgIEE0WhD_MJZ06r6r0XyDc-8EZ7zRpeWQZ7FE-Cma6QtlLjRLQdjnnT9JUH3P5gS36SYzt1ZLVXtDoCvDb9TKa7iPIuPpThdVCtCgvjlPPi7ZfE77c4RCSbmzZbmpWX1qnnHxoRv2dCCFH80ZN6yzbthpuXxtpnmS8zx7ADy45h_Ebh4cjJZPr7MWEVSPD5CeYfnehwqkh6lB4tnORnJQrzZNLLkG2OZtps_8jSHm_7psdnw1U_6dfxznTCi7nOUTZfIWQp4kPpe2Fn6ZPnDqzMn4iwUeZizEzgL0jDKEpIF-cn2jFUhz0sRAYMqFEGSkCSu0jQgIqxYkpUn8owSGgWUUpJHSZyvkiDNk4jlTDCWc8pQRGDHZLNySq5aXZ_4h_VnASVZRk8aVkJj_BtklA4vwVAUX5zoMw-q7GuDItJIY81xBStt49868wzxxZtP1v1bAGBOet2c_fjLBaPK92f0vwEAAP__bSAc3g">