[Bug tree-optimization/34417] simplify '(x & A) % B' if 'B > A/2'

[pinskia at gcc dot gnu.org]

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

Andrew Pinski <pinskia at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Last reconfirmed|2007-12-10 13:40:29         |2021-7-26

--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> ---
(In reply to Andrew Pinski from comment #2)
> (In reply to comment #1)
> > Confirmed.
> > 
> > VRP could do this, though we generally avoid creating control flow and extra
> > basic blocks here.
> 
> We could create a COND_EXPR here, though I don't know if that would be a
> good idea on some targets.

Or we could just create the MIN_EXPR :) since that is what it is.