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

[Florian Hahn 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)) {
----------------
fhahn wrote:

unrelated reformat.

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