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

[Florian Hahn via llvm-commits]

================
@@ -11,8 +11,8 @@ define i1 @test_and_ule(i4 %x, i4 %y, i4 %z) {
 ; CHECK-NEXT: Adding 'ule %y, %z'
 ; CHECK-NEXT:  constraint: %y + -1 * %z <= 0
 
-; CHECK: Checking   %t.1 = icmp ule i4 %x, %z
-; CHECK: Condition   %t.1 = icmp ule i4 %x, %z implied by dominating constraints
+; CHECK: Checking ule i4 %x, i4 %z
----------------
fhahn wrote:

Could we pass in the original value if we are not optimizing a use, so we can retain the info which instruction from the input we try to simplify?

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