https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82853
--- Comment #7 from Marc Glisse <glisse at gcc dot gnu.org> --- Is that a special case of a more generic transformation, which might apply for other values of 3, 0, == etc, or is this meant only literally for x%3==0?
