https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90591
--- Comment #1 from Jakub Jelinek <jakub at gcc dot gnu.org> --- We want to add some attribute(s) on the structure types used to pass information in and out (or in the fields), and have some specialized IPA optimization that tries to optimize such cases.