[llvm] [LSR][term-fold] Ensure the simple recurrence is reachable from the current loop (PR #83085)

[Patrick O'Neill via llvm-commits]

================
@@ -6811,7 +6811,7 @@ canFoldTermCondOfLoop(Loop *L, ScalarEvolution &SE, DominatorTree &DT,
   // If ToFold does not have an incoming value from LoopLatch then the simple
----------------
patrick-rivos wrote:

Updated comment and order of comparison to match the new comment.

Also updated PR message to be the squashed commit message.

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