[llvm] [LLVM][SCEV] Look through common vscale multiplicand when simplifying compares. (PR #141798)

[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/141798