https://gcc.gnu.org/bugzilla/show_bug.cgi?id=117816
--- Comment #1 from Konstantinos Eleftheriou <konstantinos.eleftheriou at vrull dot eu> --- The cause of this is that we are not handling the case that we have a REG_EH_REGION note on an instruction in the store-load sequence. Thus, we are inserting instructions after it, leading to it no longer being the last instruction in the block (as it should be). A possible solution would be to reject the transformation when we have instructions that might throw exceptions in the sequence.