https://gcc.gnu.org/bugzilla/show_bug.cgi?id=109112
--- Comment #4 from Jakub Jelinek <jakub at gcc dot gnu.org> --- One way to improve this case would be to teach IPA SRA/CP etc. to perform some optimizations on the .ASSUME ifn calls and their corresponding functions, in this case if SRA would turn the argument from aggregate to scalar.
