https://gcc.gnu.org/bugzilla/show_bug.cgi?id=121011
--- Comment #2 from Richard Biener <rguenth at gcc dot gnu.org> --- There's a duplicate about this (assigned to me even, IIRC). final value replacement is currently done opportunistically rather than as utility to passes where it would be useful (DCE of the loop, avoiding reduction compute).
