https://gcc.gnu.org/bugzilla/show_bug.cgi?id=114212
--- Comment #2 from Andrew Pinski <pinskia at gcc dot gnu.org> --- For mod, it is `MIN<a,64> % 64` -> `a >= 64 ? 0 : a` `(a >= 64 ? 64 : a) % 64` -> `a >= 64 ? (64 % 64) : (a % 64)` -> `a >= 64 ? 0 : a` as a will be `a < 64` in the false case.