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

[Alexander Shaposhnikov via llvm-commits]

alexander-shaposhnikov wrote:

Addressed comments.
P.S. The suggested edit from clang-format seems to be off (perhaps, the bot might be running an outdated version of the tool)  
<img width="1350" alt="Screenshot 2023-12-03 at 4 58 05 AM" src="https://github.com/llvm/llvm-project/assets/6532716/19f9b17d-fdb4-41cc-8b78-153454dec783">


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