https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80925
--- Comment #17 from Bill Schmidt <wschmidt at gcc dot gnu.org> --- That is the usual approach, and there are already some predicates involving alignment. It's a matter of going through and figuring out which ones will do what's needed. I spent some tiresome weeks working through this when we first made the unaligned loads cheaper.