[llvm] [WIP][Uniformity Analysis][Assume] Generic assume-based uniformity optimization (PR #160670)

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

InstCombine is not really the right place for this kind of transform, or at least not in this form.

If you want to propagate the condition being true or an icmp equality, the place for that would be the equality propagation in GVN.

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