[llvm] [SCEV] BECount to zero if `((-1 + (1 smax %x))<nsw> /u %x)` holds (PR #104580)

[Nikita Popov via llvm-commits]

https://github.com/nikic commented:

Looks like this generalizes to any positive constant: https://alive2.llvm.org/ce/z/aS3SUe

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