https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89544
--- Comment #4 from Richard Earnshaw <rearnsha at gcc dot gnu.org> --- An alternative way of fixing this might be if the backend could somehow control DECL_ARG_TYPE for the parameter, to set it to a variant without the additional alignment.