https://gcc.gnu.org/bugzilla/show_bug.cgi?id=90579
--- Comment #11 from Richard Biener <rguenth at gcc dot gnu.org> --- OK, so push_partial_def could simply record the first non-constant def and upon the second, if it completes all bits handle some easy cases (VEC_PERM_EXPR, COMPLEX_EXPR come to my mind, eventually also CONSTRUCTOR) and else fail. Will look into this tomorrow, it shouldn't be too awkward and removing STLF when a read is detected to overlap two previous writes is definitely worth trouble.