https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121624
--- Comment #3 from Andrew Pinski <pinskia at gcc dot gnu.org> --- The patch is correct but not always enough to do what is needed I think. For an example a vector return, sometimes different register sets. One legal question do you have a copyright assignment or you can handle this with the dco? See https://gcc.gnu.org/contribute.html#legal for more information. Once can confirm on the dco or the copyright, I will apply the patch and work on improving it for the other cases.