[llvm] [ConstraintElim] Check the other signedness when hasSameSign (PR #128168)

[Ramkumar Ramachandra via llvm-commits]

================
@@ -303,3 +303,43 @@ define i1 @ugt_assumed_positive_values(i8 %a, i8 %b) {
 
   ret i1 %result
 }
+
+define i1 @samesign_flipped_signedness_1(i8 %a, i8 %b)  {
----------------
artagnon wrote:

I would call this implied_condition_gt_slt (or whatever are the two icmps). Same for the other test. The current name doesn't covey that much information.

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