HomeIsabelle/Phabricator

Register mask is in an instruction and needs to be converted on big-endian.