https://gcc.gnu.org/bugzilla/show_bug.cgi?id=39612
--- Comment #38 from Richard Biener <rguenth at gcc dot gnu.org> --- Created attachment 48420 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=48420&action=edit patch Tested on x86_64-unknown-linux-gnu, queued for GCC 11. Note it does not (and cannot) fix the case for where we have a conditionally executed load only - we still emit an unconditional load in the preheader then.