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

[Alexander Shaposhnikov via llvm-commits]

================
@@ -0,0 +1,39 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
+; RUN: opt -passes=constraint-elimination -S %s | FileCheck %s
+
+define i1 @abs_int_min_is_not_poison(i32 %arg) {
----------------
alexander-shaposhnikov wrote:

ping @fhahn - happy to send a separate PR with the tests, but need a clarification regarding "constant arguments" - what did you mean 

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