https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88952
--- Comment #3 from Christopher Leonard <christopher.leonard at abaco dot com> --- I understand it has to split it, the problem is that %0 defaults to the register holding the most-significant part of the integer. Is this really the desired behavior?
