https://gcc.gnu.org/bugzilla/show_bug.cgi?id=116283
--- Comment #1 from Jeffrey A. Law <law at gcc dot gnu.org> --- Code is a bit nonsensical in that it masks a shift by a crazy value (3629), but the underlying bug is real. Ultimately we're going to rely on the fact that hardware truncates the count (mask with 0x3f) and since we're shifting a SImode value, we really just care about 0x1f. So we can just mask off undesirable bits. Initial testing in flight.
