[llvm] [SCEV] Fold (C1 * A /u C2) -> A /u (C2 /u C1), if C2 > C1. (PR #157656)

[Florian Hahn via llvm-commits]

fhahn wrote:

@zmodem thank you very much for the reproducer! The issue was a missing check that D is a multiple of C2, if C2 > 1. Recommitted with an extra check: f78150d2d477b31b46d1afdd255020689f2ddccf

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