<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/119853>119853</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 = 20 : ui64, smin = 20 : i64, smax = 30 : i64 } : 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.I3HZxNRNPo.mlir
#0 0x00005569ec5bf348 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x111f348)
#1 0x00005569ec5bce5e llvm::sys::RunSignalHandlers() (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x111ce5e)
#2 0x00005569ec5bfcdd SignalHandler(int) Signals.cpp:0:0
#3 0x00007f19eece8420 __restore_rt (/lib/x86_64-linux-gnu/libpthread.so.0+0x14420)
#4 0x00007f19ee32500b raise /build/glibc-LcI20x/glibc-2.31/signal/../sysdeps/unix/sysv/linux/raise.c:51:1
#5 0x00007f19ee304859 abort /build/glibc-LcI20x/glibc-2.31/stdlib/abort.c:81:7
#6 0x00007f19ee304729 get_sysdep_segment_value /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:509:8
#7 0x00007f19ee304729 _nl_load_domain /build/glibc-LcI20x/glibc-2.31/intl/loadmsgcat.c:970:34
#8 0x00007f19ee315fd6 (/lib/x86_64-linux-gnu/libc.so.6+0x33fd6)
#9 0x00005569ef5b2a91 (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x4112a91)
#10 0x00005569ef5b290f mlir::IntegerAttr::get(mlir::Type, llvm::APInt const&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x411290f)
#11 0x00005569ef4b3a5e mlir::dataflow::IntegerValueRangeLattice::onUpdate(mlir::DataFlowSolver*) const (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x4013a5e)
#12 0x00005569ef4b5945 void llvm::function_ref<void (mlir::Value, mlir::IntegerValueRange const&)>::callback_fn<mlir::dataflow::IntegerRangeAnalysis::visitOperation(mlir::Operation*, llvm::ArrayRef<mlir::dataflow::IntegerValueRangeLattice const*>, llvm::ArrayRef<mlir::dataflow::IntegerValueRangeLattice*>)::$_1>(long, mlir::Value, mlir::IntegerValueRange const&) IntegerRangeAnalysis.cpp:0:0
#13 0x00005569f26321cc void llvm::function_ref<void (mlir::Value, mlir::ConstantIntRanges const&)>::callback_fn<mlir::intrange::detail::defaultInferResultRanges(mlir::InferIntRangeInterface, llvm::ArrayRef<mlir::IntegerValueRange>, llvm::function_ref<void (mlir::Value, mlir::IntegerValueRange const&)>)::$_0>(long, mlir::Value, mlir::ConstantIntRanges const&) InferIntRangeInterface.cpp:0:0
#14 0x00005569ec8b15e3 mlir::arith::ShLIOp::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+0x14115e3)
#15 0x00005569ec89b921 mlir::detail::InferIntRangeInterfaceInterfaceTraits::Model<mlir::arith::ShLIOp>::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+0x13fb921)
#16 0x00005569f2631d76 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+0x7191d76)
#17 0x00005569ef4b3fec 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+0x4013fec)
#18 0x00005569ef4b7309 mlir::dataflow::AbstractSparseForwardDataFlowAnalysis::visitOperation(mlir::Operation*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x4017309)
#19 0x00005569ef4b69a9 mlir::dataflow::AbstractSparseForwardDataFlowAnalysis::initializeRecursively(mlir::Operation*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x40169a9)
#20 0x00005569ef4b6c5d mlir::dataflow::AbstractSparseForwardDataFlowAnalysis::initializeRecursively(mlir::Operation*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x4016c5d)
#21 0x00005569ef4b6c5d mlir::dataflow::AbstractSparseForwardDataFlowAnalysis::initializeRecursively(mlir::Operation*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x4016c5d)
#22 0x00005569ef4947be mlir::DataFlowSolver::initializeAndRun(mlir::Operation*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x3ff47be)
#23 0x00005569ec8ef754 (anonymous namespace)::ArithUnsignedWhenEquivalentPass::runOnOperation() UnsignedWhenEquivalent.cpp:0:0
#24 0x00005569ef4ca3d6 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x402a3d6)
#25 0x00005569ef4cad00 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+0x402ad00)
#26 0x00005569ef4cd2d2 mlir::PassManager::run(mlir::Operation*) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x402d2d2)
#27 0x00005569ef4c5a4a performActions(llvm::raw_ostream&, std::shared_ptr<llvm::SourceMgr> const&, mlir::MLIRContext*, mlir::MlirOptMainConfig const&) MlirOptMain.cpp:0:0
#28 0x00005569ef4c569d 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 0x00005569ef571235 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+0x40d1235)
#30 0x00005569ef4bf685 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+0x401f685)
#31 0x00005569ef4bf92f mlir::MlirOptMain(int, char**, llvm::StringRef, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x401f92f)
#32 0x00005569ef4bfc5e mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&) (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x401fc5e)
#33 0x00005569ec59fe37 main (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x10ffe37)
#34 0x00007f19ee306083 __libc_start_main /build/glibc-LcI20x/glibc-2.31/csu/../csu/libc-start.c:342:3
#35 0x00005569ec59f9ae _start (/data/szy/MLIR/llvm-release/llvm-project/build/bin/mlir-opt+0x10ff9ae)
```
</pre>
<img width="1" height="1" alt="" src="http://email.email.llvm.org/o/eJzkWl9z4ygS_zTkhYoLgf4-5EGTxLWpSnZSycxd1b24EEIytzLSAkri_fRXINn6E3symY137-amUh4bNXT_ft00jYBqLUrJ-QUIPoHg6oy2Zl2ri-fnbegl3llW59uLUhj4xJUWtQQkhRnDScESErGQZT7FHipixBLCoqRgIc-TiMXIK2KAUoBSvdWGb2w_EKKvWStNC714gfxFCG-_PIIQdXKKN6rOW8bhszDrXn5TCXVeNwbCc6qEWZ-30pmbnz-vuTznv7fiiVZcGkgXVnY_GkBp30JSCG1DiLo_-6NoJVvYDwh8ZLg2K72uViJeyfpZ0QbgGOAEngNyDUUMQfQJoBQCHDBtCATkCjpjFqyW2lBpoG1MobCIoZVDTsgOvLBgVlndylzbgWC7EdI99VDXKfQBvoTthr64Ztw1t3273onjibjeiZN9MwTR1cwMb2SrXlfCmWa776DUT1wVVf0MyKXUzxbudAA84FC8qDgzeyjd6HthxU2rpOuzbwXRVe-MMffaUPYbNIoyDkh6QACQy1b-JutnCcg1ICmyA3KlaudLIQ0vuYJm23CYCQOfRW7WEODY-SyvuZYARwZuqGFr-ESrdiZnGUwASnex5UINL3NqKMBL_ccW4OXd7c0DwMuqetqcK15xqvnuZ6Pqf3NmAF668MJLIVnV5nxocF0fTa1oyb9K8XvL1WPbNLUyCxvXXuwQaUONYPCylkxxw7_APloBSXNuqKi677txNFefrBXkcpC76bhIjVHWq8MD2yKy1vBp83jcUd9exXHZ_XA9mqnkl23Dc2dD91NRYTrPAZKW3AAcWzova2n4i4EAp7Z_qkobRSHA4WKxsK4DwaeBDBt3R4FaIuYiE8g9ornM2_h7gN_qeIgMh1m7ThMHHaNmj_9Qh46VS-iyC7Qx1yu-v5HGPSTXILiyMZRqzZURtbS5UreMcZ7zHOB4CKuu7xNXotjeyCeqBJVGAxyX3FzxgraVuRK0lLU2gl1vhFlKgGNmXuwkwZeQqlJ3DnJ_ESyoqHi-ACi9v71OH6-hbrONMJDCrC2h4jbOoanh2phGW-14CfCyFGbdZgtWb_p59Ho6Ca1brgFeQipz2M8qaNYcMkX1GmaU_ebShtX96LJI3m6aLomgBXT_7lVdKrqxZrcbbpH-6OzOWlHl9n8h-6ntFqK31qEjujTneWT9ujSbZnFDfvnXy68Pv97X3RrlVheCIHpBCKEgCBPOgqwgfjzyv97q7su9EtI4Ar64LIrjQUjR51WtjeJ004eRkMbNLrumfRgNAH9CL57nWRO7bGoBeDMAjAf8EICHVj6KUtLqFyrziivdL7insdFaMdiI5ySzPIcTawCOe866Zr1gTdOvQ6gfhfSjRIWXcM547GMEVyvFtakVXynTY6lEBvDyJQ5XoX9eCdm-nJey7R40Zq04zRe6XqDOVt_HaLDUn-ggOEAog4oKbTPEHnNZiYyd37IbjF72P_GCeJZCZz_ASzt_l3qrc97YCdZK8dI1PDlTZGt_uqEXDJA08Owy1ZsRTM1AfhwkkGa1w_h9Zpi848H1chpiqyHqNYRzDRFOYMnNqrN4pXlpp_KqW8u_U6mQxiKvappvdMlopzdAidXeK44OKV7JamV7rfJ6Q23x9Wf0JZGNGuL3CuOpQi8o8vA7IoXZGAldjBBS5OEQI8k4mosgwzTxTjGNfM-zQ3eK7UxHc8UJKo4s2KM6YLrQ2ew0X97coucy10nSgcWRoGLAMUlZhZ8RGvDxwk8N7QrkEap_2Dh8oLLkt9QY0dWxJK3l1yantgAZ4byihi6r-vmxrp5sakktsG5lPwU85FkAAzw8gxckfgCfapGPiLf7IFtDrBQvALl0TycYHN5pzfeKibHj9sUfo1VlV-1VISdVzkFW3TCppNVWi36deBJamM8NV9TaN7Fp1JrO4kgpun1wUN7rxx2ItK_RPmTQ3XBJJwawv_JcQ1zVspzS-l6m4SHuZsuVDQMyCoMChwR7jH1EGFz2G-AbaZwJ-l1hIKRRttfrGjvvCtMbWXD1wHVb9cNP7HFPd5otEapw1dCbfntF6St3n2RKjCMAvSMCvkkyPMzCgRjwJ4VPnHkBJyMtrqztt5zr25vPzc5Hr13wBr2v7P0Qet8MtRPVj75niRoyajClMckS7B3dYh5yzf5Lt2nsRO_qnFcTFg_44_q4S_60AXa_yBszZMAJ-e_Mtj9XBJDC-niIgHCWTL08CuH_cVY7BemRl1haB9KjeZ1WcPZWnfbTVxSnKiELzgbm4xnzEUHJUebTTBtFmXlsqNJ8WatnqvJdDfyDrjgVTAtkgJnMYIYJ_RCYQgojaCX-4A-ctUqLJ15t_wa0Fs8eLUZztCzIfyq0LMgHtPNN3s-NdrbnS_woG29pZzvSGZBU5g_tXz4bSVFYKwcMZFpl8SIKfKuYylpuN3WroaQbrhu3NCa7jCrM-mv_Xvafay6v929l76nuXaZa-VmOs45FdLjT6xoa-1NqGSV5eKT4-9x8qT83VnGa08bUaq9_Qq6z7K1ya3TK0cffHZW07M4esrqu3AliD-KEL3x9hC3iwU3BnI8coXfzcS8aXgnJZ0FnRfcwww8naNzJqrqR2ih3ZFCrV6NOBTrN3YPe9nuquK1Mi3pUQZ_MBzlCgw_CmQ9ynOOZ6TsyDkbgX5KisLVqsHlWzbGA-hQ2XBW12qSuRtVvnGpok_eHCmuqeL5qjALkcujxWLeK8btSAXI9KlnHTh0dSr5y-F0l1OfG3FEhL2tZiHKy5x49PZAk4jm4MBm_Z7mtS8Fo1W0AjlfnxzoAHO-xt-4E8hX2O76p1fZTWxTdBNjL9xuQVc4rbvjxPnanOStX5x54--3OiKTv9eXJ8YxWQUErzswDL4U2avs6OL4VAEff4_xXeOaN8JwdGUQeJsEIuG4qYVKZ36uaca13tv4tQfc_OCW-KTF-9miUkKXdAB5rPlEqzq3D96mYzHcCRRgHh-fBzzaLT1SMWwIHeudbjyLBxVF6-8KErWlXgqTvDZm3uDkZ5gQPZ2pkfuhUsMmZ2o9j_pvAsdGJGpnuTIKk4CSC_UHxx797RIUdf9A-uxOAQhQTuFpVImMrbagyq_ecWTPd7i4HdF_dQzeOO70mPrafve5gjjyhHHZaT4U9oTvm9xcEz_ILkickoWf8wouIj-KAJNHZ-iKIEYm5xwISZCEPESYo8RHFYRB4HkXRmbjACPse9oiHMPGiRZCTsCgSFEZBlge5B3zEN1RUC2vkolblmbuSdOF5SRyQs4pmvNLunizG3VU_DIKrM3XhQGVtqYGPKqGNHkYwwlTubq3rEFy9eX_I3XXi-qxV1cWPX6HqTX66wP8JAAD__4tupgY">