https://gcc.gnu.org/bugzilla/show_bug.cgi?id=112758
--- Comment #11 from Eric Botcazou <ebotcazou at gcc dot gnu.org> --- > It says those upper bits are well-defined, i.e. whatever MD pattern is used > for it eventually will emit machine code that has the exact same result for > those upper bits. No, that's not true, the set of "register operations" is restricted.
