[llvm] [SCEV] - Add positive-stride predicate for backedge-taken count. (PR #222261)

[Florian Hahn via llvm-commits]

================
@@ -0,0 +1,53 @@
+; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 4
----------------
fhahn wrote:

This looks odd, latest version of the script uses `--version 6`?

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