[llvm] [SCEV] Use AddRec monotonicity in isKnownViaNonRecursiveReasoning. (PR #218280)

[Florian Hahn via llvm-commits]

================

----------------
fhahn wrote:

They should test the code paths with SCEV-printing only: removal of `umin` for BTCs and exit values

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