[llvm] [ConstraintElimination] Exact right shifts extension (PR #223207)

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

> I don't understand why it also works for ashr exact in the unsigned constraint system.

Let me be clear. Now `ashr exact X, C` and `lshr exact X, C` yield the same decomposition result. Is that correct?


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