[llvm] [ConstraintElim] Add facts implied by llvm.abs (PR #73189)

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

What is the motivation of this patch? Is this pattern from a real-world application? IMHO we should not add optimizations to improve the "coverage".


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