b5279973df
and gcc's code generation should be the same as for arm32, so I think this is safe.
and gcc's code generation should be the same as for arm32, so I think this is safe.