[Bug tree-optimization/96753] Missed optimization on modulo when left side value is known to be greater than right side value

[glisse at gcc dot gnu.org]

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

--- Comment #2 from Marc Glisse <glisse at gcc dot gnu.org> ---
Maybe using vrp_evaluate_conditional (or some other similar helper) instead of
manually comparing ranges in simplify_div_or_mod_using_ranges would help.