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

[Alexander Shaposhnikov via llvm-commits]

================
@@ -1253,7 +1261,7 @@ static std::optional<bool> checkCondition(CmpInst *Cmp, ConstraintInfo &Info,
   Value *B = Cmp->getOperand(1);
 
   auto R = Info.getConstraintForSolving(Pred, A, B);
-  if (R.empty() || !R.isValid(Info)){
+  if (R.empty() || !R.isValid(Info)) {
----------------
alexander-shaposhnikov wrote:

Removed.

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