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

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

> @dtcxzyw , many thanks, actually the suggested test has already been added (GitHub seems to hide resolved comment threads) (see [c13819c](https://github.com/llvm/llvm-project/commit/c13819ccea048833d24214221cc52d0b52eaf4a9))

All the test cases should be handled by `InstSimplify`.

> Could you please provide the link to the code repo?

I mean the link to the `real-world application".

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