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

[Marina Taylor via llvm-commits]

================
@@ -1460,6 +1460,13 @@ static bool checkAndReplaceCondition(
           checkCondition(Cmp->getPredicate(), Cmp->getOperand(0),
                          Cmp->getOperand(1), Cmp, Info))
     return ReplaceCmpWithConstant(Cmp, *ImpliedCondition);
+
+  if (Cmp->hasSameSign())
----------------
citymarina wrote:

No necessity from my side; I'll constrain it to `isRelational` as requested by @artagnon.

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