[llvm] [SCEV] Add predicate in SolveLinEq to ensure B is a multiple of A. (PR #108777)

[David Sherwood via llvm-commits]

================
@@ -1652,10 +1658,9 @@ exit:
   ret void
 }
 
-; TODO: It feels like we should be able to calculate the symbolic max
-; exit count for the loop.inc block here, in the same way as
-; ptr_induction_eq_1. The problem seems to be in howFarToZero when the
-; ControlsOnlyExit is set to false.
+; %a and %b may not have the same alignment, so the loop may only via the early
----------------
david-arm wrote:

nit: s/so the loop may only via/so the loop may only exit via/

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