[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:

Can you please add an alive2 proof to the PR description?

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