https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93013
--- Comment #7 from Jens Seifert <jens.seifert at de dot ibm.com> --- The modulo at the beginning was done for optimization purpose. As the divide takes long and the special cases are extreme edge cases, it is wise to execute the divide as early as possible on PPC as divide on PPC does not produce signals on bad input. Thank you for citing the C standard regarding another undefined behavior section.
