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

[Florian Hahn 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) {
----------------
fhahn wrote:

Could you submit the tests separately and also add a version with constant arguments (both positive and negative)?

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