[llvm] [ConstraintElimination] Add eq/ne facts to signed constraint system (PR #121423)

[Nikita Popov via llvm-commits]

================

----------------
nikic wrote:

Could you please also add a test that shows that we use signed decomposition for the signed equality constraints?

https://github.com/llvm/llvm-project/pull/121423