<table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Issue</th>
<td>
<a href=https://github.com/llvm/llvm-project/issues/58807>58807</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>
arith-unsigned-when-equivalent Pass violated assertion and crashed.
</td>
</tr>
<tr>
<th>Labels</th>
<td>
new issue
</td>
</tr>
<tr>
<th>Assignees</th>
<td>
</td>
</tr>
<tr>
<th>Reporter</th>
<td>
Colloportus0
</td>
</tr>
</table>
<pre>
MLIR built at commit https://github.com/llvm/llvm-project/commit/52516782972730ff065a34123a9d8876da08c254
Reproduced with:
`mlir-opt --arith-unsigned-when-equivalent issue.mlir`
[issue.mlir.txt](https://github.com/llvm/llvm-project/files/9936438/issue.mlir.txt)
```console
Assertion failed: (!isUninitialized()), function getValue, file IntegerRangeAnalysis.h, line 42.
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 --arith-unsigned-when-equivalent issue.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 0x00000001034d7a20 llvm::sys::PrintStackTrace(llvm::raw_ostream&, int) + 72
1 mlir-opt 0x00000001034d7f3c PrintStackTraceSignalHandler(void*) + 28
2 mlir-opt 0x00000001034d604c llvm::sys::RunSignalHandlers() + 148
3 mlir-opt 0x00000001034d980c SignalHandler(int) + 252
4 libsystem_platform.dylib 0x00000001a33254c4 _sigtramp + 56
5 libsystem_pthread.dylib 0x00000001a330dee0 pthread_kill + 288
6 libsystem_c.dylib 0x00000001a3248340 abort + 168
7 libsystem_c.dylib 0x00000001a3247754 err + 0
8 mlir-opt 0x0000000106ec5660 mlir::dataflow::IntegerValueRange::getValue() const + 68
9 mlir-opt 0x00000001038caf30 staticallyNonNegative(mlir::DataFlowSolver&, mlir::Value) + 88
10 mlir-opt 0x00000001038caeb8 staticallyNonNegative(mlir::DataFlowSolver&, mlir::Operation*)::$_0::operator()(mlir::Value) const + 44
11 mlir-opt 0x00000001038cae38 bool std::__1::all_of<llvm::detail::indexed_accessor_range_base<mlir::OperandRange, mlir::OpOperand*, mlir::Value, mlir::Value, mlir::Value>::iterator, staticallyNonNegative(mlir::DataFlowSolver&, mlir::Operation*)::$_0>(llvm::detail::indexed_accessor_range_base<mlir::OperandRange, mlir::OpOperand*, mlir::Value, mlir::Value, mlir::Value>::iterator, llvm::detail::indexed_accessor_range_base<mlir::OperandRange, mlir::OpOperand*, mlir::Value, mlir::Value, mlir::Value>::iterator, staticallyNonNegative(mlir::DataFlowSolver&, mlir::Operation*)::$_0) + 80
12 mlir-opt 0x00000001038cad74 bool llvm::all_of<mlir::OperandRange, staticallyNonNegative(mlir::DataFlowSolver&, mlir::Operation*)::$_0>(mlir::OperandRange&&, staticallyNonNegative(mlir::DataFlowSolver&, mlir::Operation*)::$_0) + 84
13 mlir-opt 0x00000001038cacc0 staticallyNonNegative(mlir::DataFlowSolver&, mlir::Operation*) + 68
14 mlir-opt 0x00000001038cac48 (anonymous namespace)::ArithUnsignedWhenEquivalentPass::runOnOperation()::'lambda'(mlir::Operation*)::operator()(mlir::Operation*) const + 36
15 mlir-opt 0x00000001038cabfc decltype(static_cast<(anonymous namespace)::ArithUnsignedWhenEquivalentPass::runOnOperation()::'lambda'(mlir::Operation*)&>(fp)(static_cast<mlir::Operation*>(fp0))) std::__1::__invoke<(anonymous namespace)::ArithUnsignedWhenEquivalentPass::runOnOperation()::'lambda'(mlir::Operation*)&, mlir::Operation*>((anonymous namespace)::ArithUnsignedWhenEquivalentPass::runOnOperation()::'lambda'(mlir::Operation*)&, mlir::Operation*&&) + 36
16 mlir-opt 0x00000001038caba0 llvm::Optional<bool> std::__1::__invoke_void_return_wrapper<llvm::Optional<bool>, false>::__call<(anonymous namespace)::ArithUnsignedWhenEquivalentPass::runOnOperation()::'lambda'(mlir::Operation*)&, mlir::Operation*>((anonymous namespace)::ArithUnsignedWhenEquivalentPass::runOnOperation()::'lambda'(mlir::Operation*)&, mlir::Operation*&&) + 52
17 mlir-opt 0x00000001038cab44 std::__1::__function::__alloc_func<(anonymous namespace)::ArithUnsignedWhenEquivalentPass::runOnOperation()::'lambda'(mlir::Operation*), std::__1::allocator<(anonymous namespace)::ArithUnsignedWhenEquivalentPass::runOnOperation()::'lambda'(mlir::Operation*)>, llvm::Optional<bool> (mlir::Operation*)>::operator()(mlir::Operation*&&) + 52
18 mlir-opt 0x00000001038c96a4 std::__1::__function::__func<(anonymous namespace)::ArithUnsignedWhenEquivalentPass::runOnOperation()::'lambda'(mlir::Operation*), std::__1::allocator<(anonymous namespace)::ArithUnsignedWhenEquivalentPass::runOnOperation()::'lambda'(mlir::Operation*)>, llvm::Optional<bool> (mlir::Operation*)>::operator()(mlir::Operation*&&) + 52
19 mlir-opt 0x000000010713e79c std::__1::__function::__value_func<llvm::Optional<bool> (mlir::Operation*)>::operator()(mlir::Operation*&&) const + 84
20 mlir-opt 0x00000001070fda04 std::__1::function<llvm::Optional<bool> (mlir::Operation*)>::operator()(mlir::Operation*) const + 48
21 mlir-opt 0x00000001070fd6f8 mlir::ConversionTarget::isLegal(mlir::Operation*) const::$_12::operator()() const + 80
22 mlir-opt 0x00000001070fd530 mlir::ConversionTarget::isLegal(mlir::Operation*) const + 160
23 mlir-opt 0x00000001070f9708 computeConversionSet(llvm::iterator_range<llvm::ilist_iterator<llvm::ilist_detail::node_options<mlir::Block, true, false, void>, false, false>>, mlir::Location, llvm::SmallVectorImpl<mlir::Operation*>&, mlir::ConversionTarget*) + 320
24 mlir-opt 0x00000001070f97d0 computeConversionSet(llvm::iterator_range<llvm::ilist_iterator<llvm::ilist_detail::node_options<mlir::Block, true, false, void>, false, false>>, mlir::Location, llvm::SmallVectorImpl<mlir::Operation*>&, mlir::ConversionTarget*) + 520
25 mlir-opt 0x00000001070fee34 (anonymous namespace)::OperationConverter::convertOperations(llvm::ArrayRef<mlir::Operation*>, llvm::function_ref<void (mlir::Diagnostic&)>) + 336
26 mlir-opt 0x00000001070fec4c mlir::applyPartialConversion(llvm::ArrayRef<mlir::Operation*>, mlir::ConversionTarget&, mlir::FrozenRewritePatternSet const&, llvm::DenseSet<mlir::Operation*, llvm::DenseMapInfo<mlir::Operation*, void>>*) + 124
27 mlir-opt 0x00000001070ff140 mlir::applyPartialConversion(mlir::Operation*, mlir::ConversionTarget&, mlir::FrozenRewritePatternSet const&, llvm::DenseSet<mlir::Operation*, llvm::DenseMapInfo<mlir::Operation*, void>>*) + 72
28 mlir-opt 0x00000001038c5ab8 (anonymous namespace)::ArithUnsignedWhenEquivalentPass::runOnOperation() + 376
29 mlir-opt 0x0000000106fc3184 mlir::detail::OpToOpPassAdaptor::run(mlir::Pass*, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int) + 512
30 mlir-opt 0x0000000106fc3854 mlir::detail::OpToOpPassAdaptor::runPipeline(mlir::OpPassManager&, mlir::Operation*, mlir::AnalysisManager, bool, unsigned int, mlir::PassInstrumentor*, mlir::PassInstrumentation::PipelineParentInfo const*) + 364
31 mlir-opt 0x0000000106fc5a98 mlir::PassManager::runPasses(mlir::Operation*, mlir::AnalysisManager) + 108
32 mlir-opt 0x0000000106fc5870 mlir::PassManager::run(mlir::Operation*) + 864
33 mlir-opt 0x0000000106faac84 performActions(llvm::raw_ostream&, bool, bool, llvm::SourceMgr&, mlir::MLIRContext*, llvm::function_ref<mlir::LogicalResult (mlir::PassManager&)>, bool, bool) + 560
34 mlir-opt 0x0000000106faa818 processBuffer(llvm::raw_ostream&, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, bool, bool, bool, bool, bool, bool, llvm::function_ref<mlir::LogicalResult (mlir::PassManager&)>, mlir::DialectRegistry&, llvm::ThreadPool*) + 496
35 mlir-opt 0x0000000106faa5e0 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::operator()(std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&) const + 204
36 mlir-opt 0x0000000106faa4f4 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&) + 80
37 mlir-opt 0x00000001071a71e8 llvm::function_ref<mlir::LogicalResult (std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&)>::operator()(std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, llvm::raw_ostream&) const + 96
38 mlir-opt 0x00000001071a6ccc 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) + 128
39 mlir-opt 0x0000000106fa7f4c 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) + 320
40 mlir-opt 0x0000000106fa8154 mlir::MlirOptMain(llvm::raw_ostream&, std::__1::unique_ptr<llvm::MemoryBuffer, std::__1::default_delete<llvm::MemoryBuffer>>, mlir::PassPipelineCLParser const&, mlir::DialectRegistry&, bool, bool, bool, bool, bool, bool, bool, bool) + 296
41 mlir-opt 0x0000000106fa8d00 mlir::MlirOptMain(int, char**, llvm::StringRef, mlir::DialectRegistry&, bool) + 2888
42 mlir-opt 0x0000000102d17e58 main + 148
43 dyld 0x000000011ffed088 start + 516
zsh: abort mlir-opt --arith-unsigned-when-equivalent issue.mlir
```
</pre>
<img width="1px" height="1px" alt="" src="http://email.email.llvm.org/o/eJztW1tzo7gS_jXOiyou7uAHPziXqU1Vskkls3PqnBdKBmGzgyVWEsl4fv1pCbABX6JkJ7vJ1LhSMUao1f31Rd2SmLN0Pb25vrpH8yovJMISJWy1yiVaSlmKkTsbOZ_gb5HLZTUfQxv8KIrH9uu05OxPkkj4WfeDC9_x7SCMnEnohK6VZVbgY9ezHRdP0igKgxRbUeL43si6GFmz-v89AUJplZAUPcFQMC5qmgNrVeT8lJUSnZ5iDo2nFRX5gpL09GlJ6Cn5q8ofcUGoRLkQFRmr56Fbl_zIP9u2jeU3OfIvRk70YhmzvCACvicTN_DcCK4GZJ1Jb1jgQv8ljApWkPruTAjCZc4oyjDQS7WwDhCzc_EHzWkuc1zk36FB3Zzov3OUVTTRnRZEfsFFRfRN6I-uqCQLwu8xXZAZxcVa5GK8VM1FTgnynHE97t315ezhEolqrvSLQeMLxEnJuESSvVzfWnIFBsI0RTlNiiolSC4JSjgWSzTHyVfJcUKa4R8k3EBptSrVKPqWNUb6c8fZguMVwnxRrUCRig_0KrUPRtLGxCqJxHo1ZwWieEWEAptQUXGC1qxCS_xIkJatfgiQ5yCOauPobvb5N8Q4EkRq0Qh9zDmjikn0iDkC3V5ff7mJH_57c3Z7ffW_y_tYdYHbCtOS5VSDm2vL2IiNtsINP9Y3q_7YluulIXYszZvq687EWtQXdxwIazE_K4RBoO1DHD_FTEhOMCgtUGYAz8LwIPYZCp2aBduchcxN0GC8B9ADLn4DvReEw-CPLAdjnbWDgNnqQRzjQQLLS_bJeV_R3liidgk9iu01w7jGw0wiK0FD5jvoOH4Dj4fAd-bAhiSruCywzBhfjdM13OyQxK4LYSzxUAyGCaYO9qao-EFNxO8RkUvQSNrQ6BOxUkIs1DwRf82LooGxETDoEkpaEkMBset4ketZCM-VS2uIgoZCaEwhDH0PEc51_yaGRmYAByTxAzB87YhafSmWOCvYU_2riVM6eOlgVd_exjOtWhUqa-5b5ieG-o0SnLkWEhLLPMFFsf6d0d_JAn49KuJbti6ArU_A1gMrHpUJaCfZNjfc1CbR6sC2jJkg8-jvM3FbEo5VvK_9qr45crzYqi-Zbme8nSOiPfxvofSayda2zaVwIzRnEDOFTGu6cWzXFyBWzLKRe7712JRImMvq65ym5BtJY5wkRAjGY66UHc-xAI2fD0SkaW0KA-GbNi38Ht0Y3XIvG35kC9X52-rlsheHPwokH4_jt1Ri6_ZN6LMdY4dJQ692mC2gG0c5jNebG-ShoYOG0j8BZht9XGMwk-QHBPIBZ71JxfbMefEilTJiyuh6xSpRZ5GlzrsacWcqQf2jyU__A-np5SY7vcOiSWZ4RW9ph6eog1ZY4NU8xXCxq7IhtkdC_1Di7QzgNkmJ7RvLPc8SlJKkkOtSwV6rI06wkGDR7wQQULm28qysoegzeaBf08Nqi6vJnjkujnP6yL6SdyXqYevWIn0ERpu4M-kbZWBulLhbEN2Wii6GOetchV6A4YgqY1WmxJzIitP4ieMS-OolMbvUdI2NC7Gdh-JYRaRfVvGGVtEWYXZobhWet1fx7aJJ-xtUxxJ99x1p8Hx_is0SHeTfDZ-1Nxz1vef6v2z62msTkalNTAJsZhO_rOHjWsPEyBpC2yXhJDGyhkdVdbQ28S-It83Y2qzZMVt5CK0sxdY-k9-K-E8K1Ft-aBcEzZYflChBFnUmi3NGIcEXQPsz5gsi67u5uIaqoHieida2vdh2DogxwL4p_xyz8k8x7LvWj2O4Wb1ruTCrm4CLSWhFagOnrCTZsvAA43dXJtpauq7pe2aRF7mQ8abY3m3qrhFQlpKYaUMSvWz7DMLVVxUfJG_2KXQOBRd6pbibV_USrMt-inCtgp5GphtpHlYQDr-QBPi7WpXF8TR_kHTsqGVbGLpOi7ZZZajRTq1faL8KbX-Dtlk9CmgT4nrP1eEbjuqhJWk4Seqfm2bR09CMc7y-J3sWarrCdVFpQypUE6qXwrkfPi9yvKBMQC1ax3VNoTG0tupxzKoeJXriJR1coXIp1neYq33CLcavEumYsgba_MTZd0LvyRNkGOQOSwBX2XoTYeuntwxcECqIcoWDDOw-foPLK5qxo11ak1bsb6zJdtq50qxkAEgz27NMID3Myc8BXbsh6Bgn1j6ev916WO0hYeshZvldkCWuHXndjadO3LwtP7PbUg07S3Gp42wzek-9mq-hZg_rvN1ov8EUL4heltZ5FHy3-9TdfVffbnB2zbI5JVLkv1yku7wkatd_YLnq0Q2nRwvxV8nY7aSGugKz5nonX2VYs2MP4G3y3fIObggNypxbB9lO0kHj6K5ZJgkw-ngSDUZv5dmABvfUSQYjZ98BpQlBVrsbbZYyKs6i0HqGs6OZok5UN4CY5YhBhnECrgKk1Jb2LNmdDXfPD7RKb7872QGreEJuFrtWpc4UQVyU5JvciViD2bObgizUgv89EVUh0Y57di24rUD7vDXO1ibOrlkqp0CJ7AiVnKnNrrMqy_TJgGOY7JZZFc3_gtKxlP1E7oasGF-3NPd1TEmGQV5I9goiyeHOm5xtqI_nvt8G-V6yU0CGeE8WkLPy9c6E9lkfbLjT3Gws15s0Qd41ywCVknzSdZgbuIIy9gbn9B0r698B_6Um0rjPaFMoHzpm8D6gHKq4WzY7VhsSzfJrZVhe1p1q-_p4jQLfKUqbVRy1h6HO58UZ7Qnyy6Xe1qX0CRFGF-8HwV1P6q5_uYb1lI1Dm0Q_pat8wAi4mVnNajrQXpAk3QUGURa5nNH0bpAQvQ_RfwrbOvrE_rTWbs_VuqZlMQ6z3sLRr_D-w8N7f-3YM63uod7oVfcfQzN9lNt6_fwaKnZBeG85623g7sPutIHOM10NwFFqHS4hmrWMZInrVYtB2fogeU4XalHVWL72PHx7itgzWxxwUjskPkRv4Kt_1t1zUbou0p3OfQI2qC21In0MuTkK7tsNVt-FfrumPiSuPxuOXvyixeb9lhMytYMg9H3b8qyTdOqmE3eCT2QuCzJ9hqgyJfSYswJLkiK8eTlGvVWi3yQh6fik4sX09W-o-FFkhSfLqe0S25-Hqe1l2PMDN8n8JEgyl2RB5pM0OinwnBRiOvLPRo5DyVMtMVyP_IuTfOpYjmMrESM3dKyxb0UWQO15wXxuubY_8iwCKivGio8x44sTPtUszauFgEa1pSO2jSCqQoTo4YA-ruSS8ek5Kwqm3sqphHWix59q_v8PQ78pdA">