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

[Nikita Popov via llvm-commits]

nikic wrote:

> > This should have some dedicated tests in test/Analysis/ScalarEvolution.
> 
> I struggled to write scalar-evolution specific tests because the output does not seem to show `icmp` expressions and the change is not related to calculating backed taken counts which many of the tests focus on. Have you advice for how best to test the `isKnownPredicate` routines in isolation?

Hm, in this case maybe using IndVars would be more convenient? And then check whether certain icmps in the loop fold or not?

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