[Bug tree-optimization/96433] Failed to optimize (A / N) * N <= A

[pinskia at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96433

--- Comment #6 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
Note what LLVM detects/matches is exactly:

 (for unsigned types)
(A % B) <= A -> true
(A % B) > A -> true