[llvm] [ConstraintElim] Simplify `MinMaxIntrinsic` (PR #75306)

[Florian Hahn via llvm-commits]

================
@@ -341,6 +341,271 @@ end:
   ret i32 0
 }
 
+; Test from PR75155
+define i32 @simplify_slt_smax_val(i32 %a, i32 %b) {
----------------
fhahn wrote:

might be good to reduce the integer widths to i16 or something to reduce the complexity of verification for Alive2.

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