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

[Yingwei Zheng via llvm-commits]

dtcxzyw wrote:

> @dtcxzyw - yes, llvm.abs calls originate e.g. from std::abs and this showed up multiple times when i was testing the patch internally.

Great! Please add a more complicated test that can only be handled by `ConstraintElim` as @fhahn suggested.
Could you please provide the link to the code repo? I would like to add it into my benchmark :)


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